INFO     Running translator.
INFO     translator input: ['/nfs/home/student.aau.dk/rtollu18/dat7/netstack/pddl-domains/domain-cc.pddl', '/nfs/home/student.aau.dk/rtollu18/dat7/netstack/zoo_pddl/GtsCe_3.pddl']
INFO     translator arguments: []
INFO     translator time limit: None
INFO     translator memory limit: 25600 MB
INFO     callstring: /usr/bin/python2 /nfs/home/student.aau.dk/rtollu18/dat7/netstack/stackelberg-planner-sls/translate/translate.py /nfs/home/student.aau.dk/rtollu18/dat7/netstack/pddl-domains/domain-cc.pddl /nfs/home/student.aau.dk/rtollu18/dat7/netstack/zoo_pddl/GtsCe_3.pddl
Parsing...
Parsing: [0.010s CPU, 0.015s wall-clock]
Normalizing task... [0.000s CPU, 0.001s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.005s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.010s CPU, 0.011s wall-clock]
Preparing model... [0.020s CPU, 0.012s wall-clock]
Generated 173 rules.
Computing model... [0.670s CPU, 0.675s wall-clock]
14470 relevant atoms
21837 auxiliary atoms
36307 final queue length
49334 total queue pushes
Completing instantiation... [0.910s CPU, 0.910s wall-clock]
Instantiating: [1.630s CPU, 1.628s wall-clock]
Computing fact groups...
Finding invariants...
26 initial candidates
Finding invariants: [0.020s CPU, 0.020s wall-clock]
Checking invariant weight... [0.000s CPU, 0.000s wall-clock]
Instantiating groups... [0.010s CPU, 0.001s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.000s wall-clock]
Choosing groups...
578 uncovered facts
Choosing groups: [0.000s CPU, 0.001s wall-clock]
Building translation key... [0.000s CPU, 0.004s wall-clock]
Computing fact groups: [0.040s CPU, 0.036s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.001s wall-clock]
Building dictionary for full mutex groups... [0.000s CPU, 0.001s wall-clock]
Building mutex information...
Building mutex information: [0.000s CPU, 0.001s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.090s CPU, 0.081s wall-clock]
Translating task: [1.210s CPU, 1.206s wall-clock]
0 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
4 propositions removed
Detecting unreachable propositions: [0.140s CPU, 0.143s wall-clock]
Translator variables: 580
Translator derived variables: 0
Translator facts: 1222
Translator goal facts: 1
Translator mutex groups: 3
Translator total mutex groups size: 67
Translator operators: 12613
Translator axioms: 0
Translator task size: 70358
Translator peak memory: 73020 KB
Writing output... [0.180s CPU, 0.182s wall-clock]
Done! [3.250s CPU, 3.253s wall-clock]
INFO     Running preprocessor (release).
INFO     preprocessor input: output.sas
INFO     preprocessor arguments: []
INFO     preprocessor time limit: None
INFO     preprocessor memory limit: 25600 MB
INFO     callstring: /nfs/home/student.aau.dk/rtollu18/dat7/netstack/stackelberg-planner-sls/preprocess/preprocess < output.sas
Building causal graph...
The causal graph is not acyclic.
580 variables of 580 necessary
0 of 3 mutex groups necessary.
12613 of 12613 operators necessary.
0 of 0 axiom rules necessary.
Initializing mutex computation...
Mutex computation initialized with 1222 fluents.
iteration for mutex detection and operator pruning
Initialize m_index fw
Initialized mvalues forward: reached=336400, notReached=1154252, spurious=2632
Initialize m_ops fw
Computing mutexes...
Mutex computation finished with reached=1455908, notReached=34744, spurious=2632
23 operators are spurious because were not triggered
H^2 mutexes added fw: 34744, unreachable: 0
0 of 12590 operators detected as spurious
Total mutex and disambiguation time: 9.25706 iterations: 2
17372 of 17372 mutex groups necessary.
12590 of 12613 operators necessary.
0 of 0 axiom rules necessary.
Change id of operators: 12590
Change id of mutexes
Change id of goals
Change id of initial state
Remove unreachable facts from variables: 580
17372 of 17372 mutex groups necessary.
12590 of 12590 operators necessary.
0 of 0 axiom rules necessary.
Updating causal graph and pruning unnecessary facts
580 variables of 580 of 580 necessary
The causal graph is not acyclic.
580 variables of 580 necessary
17372 of 17372 mutex groups necessary.
12590 of 12590 operators necessary.
0 of 0 axiom rules necessary.
Building domain transition graphs...
solveable in poly time 0
Building successor generator...
Preprocessor variables: 580
Preprocessor facts: 1222
Preprocessor derived variables: 0
Preprocessor operators: 12590
Preprocessor mutex groups: 17372
Preprocessor task size: 104920
Writing output...
Preprocessor time: 10.1564s
Preprocessor peak memory: 55404 KB
done
INFO     Running search (release).
INFO     search input: output
INFO     search arguments: ['--search', 'sym_stackelberg(optimal_engine=symbolic(plan_reuse_minimal_task_upper_bound=true,plan_reuse_upper_bound=true),upper_bound_pruning=false,min_relevant_follower_cost=100000)']
INFO     search time limit: None
INFO     search memory limit: 25600 MB
INFO     search executable: /nfs/home/student.aau.dk/rtollu18/dat7/netstack/stackelberg-planner-sls/search/downward
INFO     callstring: /nfs/home/student.aau.dk/rtollu18/dat7/netstack/stackelberg-planner-sls/search/downward --search 'sym_stackelberg(optimal_engine=symbolic(plan_reuse_minimal_task_upper_bound=true,plan_reuse_upper_bound=true),upper_bound_pruning=false,min_relevant_follower_cost=100000)' --plan-file sas_plan < output
reading input... [t=0.000260413s]
Simplifying transitions... done!
done reading input! [t=0.36728s]
building causal graph...done! [t=0.375804s]
packing state variables...Variables: 580
Bytes per state: 76
done! [t=0.375981s]
done initalizing global data [t=0.375986s]
Begin sort_operators()...
Begin divide_ariables()...
Begin clean_follower_actions()...
Begin create_new_variable_indices()...
Begin check_leader_vars_follower_preconditioned()...
Begin compute_leader_facts_ops_sets()...
leader_variable_domain.size() = 505
leader_vars_follower_preconditioned.size() = 504
follower_operators.size() = 12085
leader_operators.size() = 505
Initializing Symbolic Variables
Sym variable order: 1 24 32 81 26 121 45 23 43 27 29 25 185 540 61 201 321 182 241 344 361 102 421 221 261 301 381 181 481 282 281 18 401 244 442 482 85 362 141 262 322 341 462 101 461 441 142 242 484 162 422 342 19 382 544 302 36 122 202 554 161 465 265 402 425 222 62 365 345 184 285 445 82 275 550 105 284 405 22 144 364 304 205 165 104 145 485 195 305 21 444 464 404 385 125 384 324 65 245 124 264 224 315 215 225 325 84 395 204 164 335 295 355 75 55 424 64 415 114 37 235 258 314 94 12 95 474 155 435 375 374 238 475 154 234 354 398 518 455 115 175 98 174 135 454 394 74 214 11 255 514 138 334 118 529 254 290 198 414 378 15 294 358 370 78 274 478 434 134 458 54 318 58 270 178 390 110 218 298 230 158 450 223 194 50 501 418 338 310 278 438 470 150 63 7 410 330 383 130 403 123 190 70 350 210 250 443 283 469 239 430 343 463 103 20 299 170 99 243 483 263 399 90 547 439 179 119 363 139 163 143 183 323 419 479 472 203 379 83 459 79 532 508 69 259 16 159 423 229 303 129 279 209 359 497 2 339 59 249 89 429 409 309 109 412 72 369 319 192 199 132 232 149 6 329 169 269 52 389 392 289 368 473 9 219 148 41 172 332 212 452 372 49 312 428 108 252 293 349 152 53 432 112 189 228 352 188 292 68 449 268 308 248 153 92 5 333 272 313 88 213 227 493 208 467 448 408 273 168 453 73 35 468 328 127 48 233 288 10 393 388 128 460 433 113 207 348 173 373 413 511 47 87 407 193 447 39 327 347 147 367 253 187 167 93 247 4 260 80 60 33 380 267 320 160 353 427 480 387 17 111 107 400 133 100 300 291 120 340 180 420 240 360 490 287 200 440 191 280 311 67 417 536 431 171 371 471 251 140 505 220 231 331 397 297 8 131 271 307 457 357 411 211 197 97 14 451 437 337 351 117 177 77 246 477 137 257 391 317 346 71 386 51 217 277 42 40 166 326 237 226 34 57 377 186 286 466 526 426 266 106 91 3 96 46 486 151 406 306 157 146 316 206 356 38 86 276 126 236 66 366 56 446 336 436 13 296 256 396 176 196 216 376 416 76 476 522 30 28 456 136 31 44 156 116 509 523 541 530 551 533 515 487 519 491 537 527 502 506 548 498 512 555 545 494 579 564 567 492 557 572 517 488 525 521 535 0 553 496 539 573 500 569 566 570 575 576 524 543 489 542 504 503 578 499 495 520 516 538 534 513 556 552 510 546 577 528 549 531 574 507 571 568 562 563 559 561 558 560 565 
Num variables: 580 => 592
Initialize Symbolic Manager(1184, 13513, 16000000, 0)
Generating binary variables
Symbolic Variables... Done.
Mutex initialized bw. Total mutex added: 834 Invariant groups: 0
Mutex initialized fw. Total mutex added: 0 Invariant groups: 0
Initializing SymbolicStackelberg...
Search initialized: 2.104s
Starting Stackelberg bounded search...
 opt: 2.334 reg: 0 solved: 1 total time: 10.8463
L = 0, leader states: 1, follower subproblems: 1, F:100000, total time: 10.8464
 opt: 0.248 reg: 0 solved: 1 total time: 11.1582
 opt: 0.246 reg: 0 solved: 1 total time: 11.4048
 opt: 0.24 reg: 0 solved: 1 total time: 11.6453
 opt: 0.245 reg: 0 solved: 1 total time: 11.891
 opt: 0.249 reg: 0 solved: 1 total time: 12.1407
 opt: 0.253 reg: 0 solved: 1 total time: 12.3943
 opt: 0.253 reg: 0 solved: 1 total time: 12.6477
 opt: 0.255 reg: 0 solved: 1 total time: 12.9036
 opt: 0.254 reg: 0 solved: 1 total time: 13.1586
 opt: 0.261 reg: 0 solved: 1 total time: 13.42
 opt: 0.264 reg: 0 solved: 1 total time: 13.6847
 opt: 0.266 reg: 0 solved: 1 total time: 13.9508
 opt: 0.263 reg: 0 solved: 1 total time: 14.2143
 opt: 0.248 reg: 0 solved: 1 total time: 14.4631
 opt: 0.268 reg: 0 solved: 1 total time: 14.7316
 opt: 0.263 reg: 0 solved: 1 total time: 14.9952
 opt: 2.612 reg: 0 solved: 2 total time: 17.6055
L = 1, leader states: 2.09715e+06, follower subproblems: 2.09715e+06, F:100000, total time: 17.6077
 opt: 2.005 reg: 0 solved: 1 total time: 19.7457
 opt: 3.184 reg: 0.001 solved: 2 total time: 22.9283
 opt: 0.491 reg: 0 solved: 1 total time: 23.4221
 opt: 0.219 reg: 0 solved: 1 total time: 23.6422
 opt: 2.49 reg: 0 solved: 2 total time: 26.131
L = 2, leader states: 6.97357e+09, follower subproblems: 6.97357e+09, F:100000, total time: 26.1333
Command '['/nfs/home/student.aau.dk/rtollu18/dat7/netstack/stackelberg-planner-sls/search/downward', '--search', 'sym_stackelberg(optimal_engine=symbolic(plan_reuse_minimal_task_upper_bound=true,plan_reuse_upper_bound=true),upper_bound_pruning=false,min_relevant_follower_cost=100000)', '--plan-file', 'sas_plan']' returned non-zero exit status 137
@@@T53999@@@
Done!
real 54.25
user 52.83
sys 1.16
slurmstepd-dhabi06: error: Detected 1 oom-kill event(s) in step 4401969.batch cgroup. Some of your processes may have been killed by the cgroup out-of-memory handler.
