Remove planner results with memouts
This removes all results obtained with our planner where memouts were encountered. These were mainly due to the fact that we didn’t configure the planner to respect the memory limit in the first place. With this configuration now in place, we can redo all the affected measurements in order to get actual, useful results.
This commit is contained in:
@@ -1,301 +0,0 @@
|
||||
planner.py version 0.0.1
|
||||
|
||||
Time: 3.01s
|
||||
Memory: 344MB
|
||||
|
||||
Iteration 1
|
||||
Queue: [5]
|
||||
Grounded Until: 0
|
||||
Grounding... [('step', [1]), ('step', [2]), ('step', [3]), ('step', [4]), ('step', [5]), ('check', [5])]
|
||||
Grounding Time: 1.35s
|
||||
Memory: 413MB (+69MB)
|
||||
Unblocking actions...
|
||||
Solving...
|
||||
Solving Time: 0.11s
|
||||
Memory: 428MB (+15MB)
|
||||
UNSAT
|
||||
Iteration Time: 1.74s
|
||||
|
||||
Iteration 2
|
||||
Queue: [7]
|
||||
Grounded Until: 5
|
||||
Grounding... [('step', [6]), ('step', [7]), ('check', [7])]
|
||||
Grounding Time: 0.43s
|
||||
Memory: 428MB (+0MB)
|
||||
Unblocking actions...
|
||||
Solving...
|
||||
Solving Time: 0.10s
|
||||
Memory: 435MB (+7MB)
|
||||
UNSAT
|
||||
Iteration Time: 0.70s
|
||||
|
||||
Iteration 3
|
||||
Queue: [9]
|
||||
Grounded Until: 7
|
||||
Grounding... [('step', [8]), ('step', [9]), ('check', [9])]
|
||||
Grounding Time: 0.41s
|
||||
Memory: 435MB (+0MB)
|
||||
Unblocking actions...
|
||||
Solving...
|
||||
Solving Time: 2.47s
|
||||
Memory: 445MB (+10MB)
|
||||
UNKNOWN
|
||||
Iteration Time: 3.02s
|
||||
|
||||
Iteration 4
|
||||
Queue: [14, 9]
|
||||
Grounded Until: 9
|
||||
Grounding... [('step', [10]), ('step', [11]), ('step', [12]), ('step', [13]), ('step', [14]), ('check', [14])]
|
||||
Grounding Time: 1.02s
|
||||
Memory: 449MB (+4MB)
|
||||
Unblocking actions...
|
||||
Solving...
|
||||
Solving Time: 2.46s
|
||||
Memory: 470MB (+21MB)
|
||||
UNKNOWN
|
||||
Iteration Time: 3.80s
|
||||
|
||||
Iteration 5
|
||||
Queue: [9, 19, 14]
|
||||
Grounded Until: 14
|
||||
Blocking actions...
|
||||
Solving...
|
||||
Solving Time: 2.27s
|
||||
Memory: 470MB (+0MB)
|
||||
UNKNOWN
|
||||
Iteration Time: 2.28s
|
||||
|
||||
Iteration 6
|
||||
Queue: [19, 14, 27, 9]
|
||||
Grounded Until: 14
|
||||
Grounding... [('step', [15]), ('step', [16]), ('step', [17]), ('step', [18]), ('step', [19]), ('check', [19])]
|
||||
Grounding Time: 1.04s
|
||||
Memory: 470MB (+0MB)
|
||||
Unblocking actions...
|
||||
Solving...
|
||||
Solving Time: 3.14s
|
||||
Memory: 493MB (+23MB)
|
||||
UNKNOWN
|
||||
Iteration Time: 4.56s
|
||||
|
||||
Iteration 7
|
||||
Queue: [14, 27, 9, 39, 19]
|
||||
Grounded Until: 19
|
||||
Blocking actions...
|
||||
Solving...
|
||||
Solving Time: 2.89s
|
||||
Memory: 493MB (+0MB)
|
||||
UNKNOWN
|
||||
Iteration Time: 2.91s
|
||||
|
||||
Iteration 8
|
||||
Queue: [27, 9, 39, 19, 55, 14]
|
||||
Grounded Until: 19
|
||||
Grounding... [('step', [20]), ('step', [21]), ('step', [22]), ('step', [23]), ('step', [24]), ('step', [25]), ('step', [26]), ('step', [27]), ('check', [27])]
|
||||
Grounding Time: 1.71s
|
||||
Memory: 534MB (+41MB)
|
||||
Unblocking actions...
|
||||
Solving...
|
||||
Solving Time: 4.61s
|
||||
Memory: 599MB (+65MB)
|
||||
UNKNOWN
|
||||
Iteration Time: 6.87s
|
||||
|
||||
Iteration 9
|
||||
Queue: [9, 39, 19, 55, 14, 78, 27]
|
||||
Grounded Until: 27
|
||||
Blocking actions...
|
||||
Solving...
|
||||
Solving Time: 2.92s
|
||||
Memory: 599MB (+0MB)
|
||||
UNKNOWN
|
||||
Iteration Time: 2.95s
|
||||
|
||||
Iteration 10
|
||||
Queue: [39, 19, 55, 14, 78, 27, 110, 9]
|
||||
Grounded Until: 27
|
||||
Grounding... [('step', [28]), ('step', [29]), ('step', [30]), ('step', [31]), ('step', [32]), ('step', [33]), ('step', [34]), ('step', [35]), ('step', [36]), ('step', [37]), ('step', [38]), ('step', [39]), ('check', [39])]
|
||||
Grounding Time: 3.32s
|
||||
Memory: 712MB (+113MB)
|
||||
Unblocking actions...
|
||||
Solving...
|
||||
Solving Time: 4.02s
|
||||
Memory: 774MB (+62MB)
|
||||
UNKNOWN
|
||||
Iteration Time: 8.17s
|
||||
|
||||
Iteration 11
|
||||
Queue: [19, 55, 14, 78, 27, 110, 9, 155, 39]
|
||||
Grounded Until: 39
|
||||
Blocking actions...
|
||||
Solving...
|
||||
Solving Time: 3.55s
|
||||
Memory: 774MB (+0MB)
|
||||
UNKNOWN
|
||||
Iteration Time: 3.59s
|
||||
|
||||
Iteration 12
|
||||
Queue: [55, 14, 78, 27, 110, 9, 155, 39, 218, 19]
|
||||
Grounded Until: 39
|
||||
Grounding... [('step', [40]), ('step', [41]), ('step', [42]), ('step', [43]), ('step', [44]), ('step', [45]), ('step', [46]), ('step', [47]), ('step', [48]), ('step', [49]), ('step', [50]), ('step', [51]), ('step', [52]), ('step', [53]), ('step', [54]), ('step', [55]), ('check', [55])]
|
||||
Grounding Time: 3.35s
|
||||
Memory: 872MB (+98MB)
|
||||
Unblocking actions...
|
||||
Solving...
|
||||
Solving Time: 4.19s
|
||||
Memory: 966MB (+94MB)
|
||||
UNKNOWN
|
||||
Iteration Time: 8.64s
|
||||
|
||||
Iteration 13
|
||||
Queue: [14, 78, 27, 110, 9, 155, 39, 218, 19, 308, 55]
|
||||
Grounded Until: 55
|
||||
Blocking actions...
|
||||
Solving...
|
||||
Solving Time: 3.29s
|
||||
Memory: 966MB (+0MB)
|
||||
UNKNOWN
|
||||
Iteration Time: 3.34s
|
||||
|
||||
Iteration 14
|
||||
Queue: [78, 27, 110, 9, 155, 39, 218, 19, 308, 55, 435, 14]
|
||||
Grounded Until: 55
|
||||
Grounding... [('step', [56]), ('step', [57]), ('step', [58]), ('step', [59]), ('step', [60]), ('step', [61]), ('step', [62]), ('step', [63]), ('step', [64]), ('step', [65]), ('step', [66]), ('step', [67]), ('step', [68]), ('step', [69]), ('step', [70]), ('step', [71]), ('step', [72]), ('step', [73]), ('step', [74]), ('step', [75]), ('step', [76]), ('step', [77]), ('step', [78]), ('check', [78])]
|
||||
Grounding Time: 4.93s
|
||||
Memory: 1104MB (+138MB)
|
||||
Unblocking actions...
|
||||
Solving...
|
||||
Solving Time: 4.67s
|
||||
Memory: 1214MB (+110MB)
|
||||
UNKNOWN
|
||||
Iteration Time: 11.21s
|
||||
|
||||
Iteration 15
|
||||
Queue: [27, 110, 9, 155, 39, 218, 19, 308, 55, 435, 14, 613, 78]
|
||||
Grounded Until: 78
|
||||
Blocking actions...
|
||||
Solving...
|
||||
Solving Time: 4.04s
|
||||
Memory: 1214MB (+0MB)
|
||||
UNKNOWN
|
||||
Iteration Time: 4.11s
|
||||
|
||||
Iteration 16
|
||||
Queue: [110, 9, 155, 39, 218, 19, 308, 55, 435, 14, 613, 78, 865, 27]
|
||||
Grounded Until: 78
|
||||
Grounding... [('step', [79]), ('step', [80]), ('step', [81]), ('step', [82]), ('step', [83]), ('step', [84]), ('step', [85]), ('step', [86]), ('step', [87]), ('step', [88]), ('step', [89]), ('step', [90]), ('step', [91]), ('step', [92]), ('step', [93]), ('step', [94]), ('step', [95]), ('step', [96]), ('step', [97]), ('step', [98]), ('step', [99]), ('step', [100]), ('step', [101]), ('step', [102]), ('step', [103]), ('step', [104]), ('step', [105]), ('step', [106]), ('step', [107]), ('step', [108]), ('step', [109]), ('step', [110]), ('check', [110])]
|
||||
Grounding Time: 8.94s
|
||||
Memory: 1538MB (+324MB)
|
||||
Unblocking actions...
|
||||
Solving...
|
||||
Solving Time: 5.23s
|
||||
Memory: 1721MB (+183MB)
|
||||
UNKNOWN
|
||||
Iteration Time: 16.46s
|
||||
|
||||
Iteration 17
|
||||
Queue: [9, 155, 39, 218, 19, 308, 55, 435, 14, 613, 78, 865, 27, 1220, 110]
|
||||
Grounded Until: 110
|
||||
Blocking actions...
|
||||
Solving...
|
||||
Solving Time: 4.69s
|
||||
Memory: 1721MB (+0MB)
|
||||
UNKNOWN
|
||||
Iteration Time: 4.79s
|
||||
|
||||
Iteration 18
|
||||
Queue: [155, 39, 218, 19, 308, 55, 435, 14, 613, 78, 865, 27, 1220, 110, 1720, 9]
|
||||
Grounded Until: 110
|
||||
Grounding... [('step', [111]), ('step', [112]), ('step', [113]), ('step', [114]), ('step', [115]), ('step', [116]), ('step', [117]), ('step', [118]), ('step', [119]), ('step', [120]), ('step', [121]), ('step', [122]), ('step', [123]), ('step', [124]), ('step', [125]), ('step', [126]), ('step', [127]), ('step', [128]), ('step', [129]), ('step', [130]), ('step', [131]), ('step', [132]), ('step', [133]), ('step', [134]), ('step', [135]), ('step', [136]), ('step', [137]), ('step', [138]), ('step', [139]), ('step', [140]), ('step', [141]), ('step', [142]), ('step', [143]), ('step', [144]), ('step', [145]), ('step', [146]), ('step', [147]), ('step', [148]), ('step', [149]), ('step', [150]), ('step', [151]), ('step', [152]), ('step', [153]), ('step', [154]), ('step', [155]), ('check', [155])]
|
||||
Grounding Time: 9.83s
|
||||
Memory: 1993MB (+272MB)
|
||||
Unblocking actions...
|
||||
Solving...
|
||||
Solving Time: 3.22s
|
||||
Memory: 2196MB (+203MB)
|
||||
UNKNOWN
|
||||
Iteration Time: 16.23s
|
||||
|
||||
Iteration 19
|
||||
Queue: [39, 218, 19, 308, 55, 435, 14, 613, 78, 865, 27, 1220, 110, 1720, 9, 2426, 155]
|
||||
Grounded Until: 155
|
||||
Blocking actions...
|
||||
Solving...
|
||||
Solving Time: 3.78s
|
||||
Memory: 2196MB (+0MB)
|
||||
UNKNOWN
|
||||
Iteration Time: 3.92s
|
||||
|
||||
Iteration 20
|
||||
Queue: [218, 19, 308, 55, 435, 14, 613, 78, 865, 27, 1220, 110, 1720, 9, 2426, 155, 39]
|
||||
Grounded Until: 155
|
||||
Grounding... [('step', [156]), ('step', [157]), ('step', [158]), ('step', [159]), ('step', [160]), ('step', [161]), ('step', [162]), ('step', [163]), ('step', [164]), ('step', [165]), ('step', [166]), ('step', [167]), ('step', [168]), ('step', [169]), ('step', [170]), ('step', [171]), ('step', [172]), ('step', [173]), ('step', [174]), ('step', [175]), ('step', [176]), ('step', [177]), ('step', [178]), ('step', [179]), ('step', [180]), ('step', [181]), ('step', [182]), ('step', [183]), ('step', [184]), ('step', [185]), ('step', [186]), ('step', [187]), ('step', [188]), ('step', [189]), ('step', [190]), ('step', [191]), ('step', [192]), ('step', [193]), ('step', [194]), ('step', [195]), ('step', [196]), ('step', [197]), ('step', [198]), ('step', [199]), ('step', [200]), ('step', [201]), ('step', [202]), ('step', [203]), ('step', [204]), ('step', [205]), ('step', [206]), ('step', [207]), ('step', [208]), ('step', [209]), ('step', [210]), ('step', [211]), ('step', [212]), ('step', [213]), ('step', [214]), ('step', [215]), ('step', [216]), ('step', [217]), ('step', [218]), ('check', [218])]
|
||||
Grounding Time: 14.92s
|
||||
Memory: 2591MB (+395MB)
|
||||
Unblocking actions...
|
||||
Solving...
|
||||
Solving Time: 5.20s
|
||||
Memory: 2925MB (+334MB)
|
||||
UNKNOWN
|
||||
Iteration Time: 24.72s
|
||||
|
||||
Iteration 21
|
||||
Queue: [19, 308, 55, 435, 14, 613, 78, 865, 27, 1220, 110, 1720, 9, 2426, 155, 39, 218]
|
||||
Grounded Until: 218
|
||||
Blocking actions...
|
||||
Solving...
|
||||
Solving Time: 4.98s
|
||||
Memory: 2925MB (+0MB)
|
||||
UNKNOWN
|
||||
Iteration Time: 5.18s
|
||||
|
||||
Iteration 22
|
||||
Queue: [308, 55, 435, 14, 613, 78, 865, 27, 1220, 110, 1720, 9, 2426, 155, 39, 218, 19]
|
||||
Grounded Until: 218
|
||||
Grounding... [('step', [219]), ('step', [220]), ('step', [221]), ('step', [222]), ('step', [223]), ('step', [224]), ('step', [225]), ('step', [226]), ('step', [227]), ('step', [228]), ('step', [229]), ('step', [230]), ('step', [231]), ('step', [232]), ('step', [233]), ('step', [234]), ('step', [235]), ('step', [236]), ('step', [237]), ('step', [238]), ('step', [239]), ('step', [240]), ('step', [241]), ('step', [242]), ('step', [243]), ('step', [244]), ('step', [245]), ('step', [246]), ('step', [247]), ('step', [248]), ('step', [249]), ('step', [250]), ('step', [251]), ('step', [252]), ('step', [253]), ('step', [254]), ('step', [255]), ('step', [256]), ('step', [257]), ('step', [258]), ('step', [259]), ('step', [260]), ('step', [261]), ('step', [262]), ('step', [263]), ('step', [264]), ('step', [265]), ('step', [266]), ('step', [267]), ('step', [268]), ('step', [269]), ('step', [270]), ('step', [271]), ('step', [272]), ('step', [273]), ('step', [274]), ('step', [275]), ('step', [276]), ('step', [277]), ('step', [278]), ('step', [279]), ('step', [280]), ('step', [281]), ('step', [282]), ('step', [283]), ('step', [284]), ('step', [285]), ('step', [286]), ('step', [287]), ('step', [288]), ('step', [289]), ('step', [290]), ('step', [291]), ('step', [292]), ('step', [293]), ('step', [294]), ('step', [295]), ('step', [296]), ('step', [297]), ('step', [298]), ('step', [299]), ('step', [300]), ('step', [301]), ('step', [302]), ('step', [303]), ('step', [304]), ('step', [305]), ('step', [306]), ('step', [307]), ('step', [308]), ('check', [308])]
|
||||
Grounding Time: 32.60s
|
||||
Memory: 3695MB (+770MB)
|
||||
Unblocking actions...
|
||||
Solving...
|
||||
Solving Time: 12.54s
|
||||
Memory: 4053MB (+358MB)
|
||||
UNKNOWN
|
||||
Iteration Time: 52.41s
|
||||
|
||||
Iteration 23
|
||||
Queue: [55, 435, 14, 613, 78, 865, 27, 1220, 110, 1720, 9, 2426, 155, 39, 218, 19, 308]
|
||||
Grounded Until: 308
|
||||
Blocking actions...
|
||||
Solving...
|
||||
Solving Time: 5.95s
|
||||
Memory: 4106MB (+53MB)
|
||||
UNKNOWN
|
||||
Iteration Time: 6.22s
|
||||
|
||||
Iteration 24
|
||||
Queue: [435, 14, 613, 78, 865, 27, 1220, 110, 1720, 9, 2426, 155, 39, 218, 19, 308, 55]
|
||||
Grounded Until: 308
|
||||
Grounding... [('step', [309]), ('step', [310]), ('step', [311]), ('step', [312]), ('step', [313]), ('step', [314]), ('step', [315]), ('step', [316]), ('step', [317]), ('step', [318]), ('step', [319]), ('step', [320]), ('step', [321]), ('step', [322]), ('step', [323]), ('step', [324]), ('step', [325]), ('step', [326]), ('step', [327]), ('step', [328]), ('step', [329]), ('step', [330]), ('step', [331]), ('step', [332]), ('step', [333]), ('step', [334]), ('step', [335]), ('step', [336]), ('step', [337]), ('step', [338]), ('step', [339]), ('step', [340]), ('step', [341]), ('step', [342]), ('step', [343]), ('step', [344]), ('step', [345]), ('step', [346]), ('step', [347]), ('step', [348]), ('step', [349]), ('step', [350]), ('step', [351]), ('step', [352]), ('step', [353]), ('step', [354]), ('step', [355]), ('step', [356]), ('step', [357]), ('step', [358]), ('step', [359]), ('step', [360]), ('step', [361]), ('step', [362]), ('step', [363]), ('step', [364]), ('step', [365]), ('step', [366]), ('step', [367]), ('step', [368]), ('step', [369]), ('step', [370]), ('step', [371]), ('step', [372]), ('step', [373]), ('step', [374]), ('step', [375]), ('step', [376]), ('step', [377]), ('step', [378]), ('step', [379]), ('step', [380]), ('step', [381]), ('step', [382]), ('step', [383]), ('step', [384]), ('step', [385]), ('step', [386]), ('step', [387]), ('step', [388]), ('step', [389]), ('step', [390]), ('step', [391]), ('step', [392]), ('step', [393]), ('step', [394]), ('step', [395]), ('step', [396]), ('step', [397]), ('step', [398]), ('step', [399]), ('step', [400]), ('step', [401]), ('step', [402]), ('step', [403]), ('step', [404]), ('step', [405]), ('step', [406]), ('step', [407]), ('step', [408]), ('step', [409]), ('step', [410]), ('step', [411]), ('step', [412]), ('step', [413]), ('step', [414]), ('step', [415]), ('step', [416]), ('step', [417]), ('step', [418]), ('step', [419]), ('step', [420]), ('step', [421]), ('step', [422]), ('step', [423]), ('step', [424]), ('step', [425]), ('step', [426]), ('step', [427]), ('step', [428]), ('step', [429]), ('step', [430]), ('step', [431]), ('step', [432]), ('step', [433]), ('step', [434]), ('step', [435]), ('check', [435])]
|
||||
Grounding Time: 45.77s
|
||||
Memory: 5036MB (+930MB)
|
||||
Unblocking actions...
|
||||
Solving...
|
||||
Solving Time: 13.25s
|
||||
Memory: 5600MB (+564MB)
|
||||
UNKNOWN
|
||||
Iteration Time: 69.79s
|
||||
|
||||
Iteration 25
|
||||
Queue: [14, 613, 78, 865, 27, 1220, 110, 1720, 9, 2426, 155, 39, 218, 19, 308, 55, 435]
|
||||
Grounded Until: 435
|
||||
Blocking actions...
|
||||
Solving...
|
||||
Solving Time: 7.98s
|
||||
Memory: 5600MB (+0MB)
|
||||
UNKNOWN
|
||||
Iteration Time: 8.37s
|
||||
|
||||
Iteration 26
|
||||
Queue: [613, 78, 865, 27, 1220, 110, 1720, 9, 2426, 155, 39, 218, 19, 308, 55, 435, 14]
|
||||
Grounded Until: 435
|
||||
Grounding... [('step', [436]), ('step', [437]), ('step', [438]), ('step', [439]), ('step', [440]), ('step', [441]), ('step', [442]), ('step', [443]), ('step', [444]), ('step', [445]), ('step', [446]), ('step', [447]), ('step', [448]), ('step', [449]), ('step', [450]), ('step', [451]), ('step', [452]), ('step', [453]), ('step', [454]), ('step', [455]), ('step', [456]), ('step', [457]), ('step', [458]), ('step', [459]), ('step', [460]), ('step', [461]), ('step', [462]), ('step', [463]), ('step', [464]), ('step', [465]), ('step', [466]), ('step', [467]), ('step', [468]), ('step', [469]), ('step', [470]), ('step', [471]), ('step', [472]), ('step', [473]), ('step', [474]), ('step', [475]), ('step', [476]), ('step', [477]), ('step', [478]), ('step', [479]), ('step', [480]), ('step', [481]), ('step', [482]), ('step', [483]), ('step', [484]), ('step', [485]), ('step', [486]), ('step', [487]), ('step', [488]), ('step', [489]), ('step', [490]), ('step', [491]), ('step', [492]), ('step', [493]), ('step', [494]), ('step', [495]), ('step', [496]), ('step', [497]), ('step', [498]), ('step', [499]), ('step', [500]), ('step', [501]), ('step', [502]), ('step', [503]), ('step', [504]), ('step', [505]), ('step', [506]), ('step', [507]), ('step', [508]), ('step', [509]), ('step', [510]), ('step', [511]), ('step', [512]), ('step', [513]), ('step', [514]), ('step', [515]), ('step', [516]), ('step', [517]), ('step', [518]), ('step', [519]), ('step', [520]), ('step', [521]), ('step', [522]), ('step', [523]), ('step', [524]), ('step', [525]), ('step', [526]), ('step', [527]), ('step', [528]), ('step', [529]), ('step', [530]), ('step', [531]), ('step', [532]), ('step', [533]), ('step', [534]), ('step', [535]), ('step', [536]), ('step', [537]), ('step', [538]), ('step', [539]), ('step', [540]), ('step', [541]), ('step', [542]), ('step', [543]), ('step', [544]), ('step', [545]), ('step', [546]), ('step', [547]), ('step', [548]), ('step', [549]), ('step', [550]), ('step', [551]), ('step', [552]), ('step', [553]), ('step', [554]), ('step', [555]), ('step', [556]), ('step', [557]), ('step', [558]), ('step', [559]), ('step', [560]), ('step', [561]), ('step', [562]), ('step', [563]), ('step', [564]), ('step', [565]), ('step', [566]), ('step', [567]), ('step', [568]), ('step', [569]), ('step', [570]), ('step', [571]), ('step', [572]), ('step', [573]), ('step', [574]), ('step', [575]), ('step', [576]), ('step', [577]), ('step', [578]), ('step', [579]), ('step', [580]), ('step', [581]), ('step', [582]), ('step', [583]), ('step', [584]), ('step', [585]), ('step', [586]), ('step', [587]), ('step', [588]), ('step', [589]), ('step', [590]), ('step', [591]), ('step', [592]), ('step', [593]), ('step', [594]), ('step', [595]), ('step', [596]), ('step', [597]), ('step', [598]), ('step', [599]), ('step', [600]), ('step', [601]), ('step', [
|
||||
Reference in New Issue
Block a user