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/Intranetwork_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/Intranetwork_3.pddl
Parsing...
Parsing: [0.010s CPU, 0.014s wall-clock]
Normalizing task... [0.000s CPU, 0.001s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.004s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.010s CPU, 0.012s wall-clock]
Preparing model... [0.010s CPU, 0.012s wall-clock]
Generated 173 rules.
Computing model... [0.700s CPU, 0.695s wall-clock]
14434 relevant atoms
21741 auxiliary atoms
36175 final queue length
49178 total queue pushes
Completing instantiation... [0.900s CPU, 0.900s wall-clock]
Instantiating: [1.640s CPU, 1.637s wall-clock]
Computing fact groups...
Finding invariants...
26 initial candidates
Finding invariants: [0.020s CPU, 0.021s wall-clock]
Checking invariant weight... [0.000s CPU, 0.001s wall-clock]
Instantiating groups... [0.000s CPU, 0.001s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.000s wall-clock]
Choosing groups...
566 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.030s CPU, 0.037s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.001s wall-clock]
Building dictionary for full mutex groups... [0.010s 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.080s CPU, 0.084s wall-clock]
Translating task: [1.210s CPU, 1.214s 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.144s wall-clock]
Translator variables: 568
Translator derived variables: 0
Translator facts: 1198
Translator goal facts: 1
Translator mutex groups: 3
Translator total mutex groups size: 67
Translator operators: 12589
Translator axioms: 0
Translator task size: 70190
Translator peak memory: 73020 KB
Writing output... [0.190s CPU, 0.185s wall-clock]
Done! [3.280s CPU, 3.274s 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.
568 variables of 568 necessary
0 of 3 mutex groups necessary.
12589 of 12589 operators necessary.
0 of 0 axiom rules necessary.
Initializing mutex computation...
Mutex computation initialized with 1198 fluents.
iteration for mutex detection and operator pruning
Initialize m_index fw
Initialized mvalues forward: reached=322624, notReached=1109972, spurious=2608
Initialize m_ops fw
Computing mutexes...
Mutex computation finished with reached=1397476, notReached=35120, spurious=2608
20 operators are spurious because were not triggered
H^2 mutexes added fw: 35120, unreachable: 0
0 of 12569 operators detected as spurious
Total mutex and disambiguation time: 8.40932 iterations: 2
17560 of 17560 mutex groups necessary.
12569 of 12589 operators necessary.
0 of 0 axiom rules necessary.
Change id of operators: 12569
Change id of mutexes
Change id of goals
Change id of initial state
Remove unreachable facts from variables: 568
17560 of 17560 mutex groups necessary.
12569 of 12569 operators necessary.
0 of 0 axiom rules necessary.
Updating causal graph and pruning unnecessary facts
568 variables of 568 of 568 necessary
The causal graph is not acyclic.
568 variables of 568 necessary
17560 of 17560 mutex groups necessary.
12569 of 12569 operators necessary.
0 of 0 axiom rules necessary.
Building domain transition graphs...
solveable in poly time 0
Building successor generator...
Preprocessor variables: 568
Preprocessor facts: 1198
Preprocessor derived variables: 0
Preprocessor operators: 12569
Preprocessor mutex groups: 17560
Preprocessor task size: 105142
Writing output...
Preprocessor time: 9.29804s
Preprocessor peak memory: 53648 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.000349454s]
Simplifying transitions... done!
done reading input! [t=0.361081s]
building causal graph...done! [t=0.369329s]
packing state variables...Variables: 568
Bytes per state: 76
done! [t=0.369528s]
done initalizing global data [t=0.369534s]
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() = 12064
leader_operators.size() = 505
Initializing Symbolic Variables
Sym variable order: 1 30 329 23 349 109 26 449 44 309 469 229 49 69 409 29 205 249 495 35 89 389 429 209 6 149 385 305 173 369 365 345 85 245 189 543 285 473 113 105 325 269 125 273 465 129 289 456 22 165 373 425 145 433 136 193 169 225 65 185 253 405 316 445 416 93 265 233 10 116 213 153 516 293 376 296 157 507 485 56 336 436 333 353 413 313 13 133 196 53 297 38 476 393 277 453 148 276 156 396 37 397 73 356 96 236 317 457 337 256 237 76 57 477 519 176 357 216 208 377 14 328 492 257 97 31 308 207 197 268 5 428 437 347 288 68 267 388 168 217 137 77 128 177 417 368 248 227 108 188 48 247 348 127 47 228 387 88 408 468 87 327 187 146 4 306 67 117 398 166 287 186 407 266 467 326 427 307 147 448 386 206 126 486 426 466 338 246 446 107 3 406 46 318 489 346 86 226 82 142 78 167 158 447 366 238 98 362 258 438 66 222 15 286 102 218 402 282 162 367 358 242 478 122 106 378 219 422 178 522 139 458 418 442 118 19 202 278 62 302 298 382 58 28 479 342 179 138 59 534 182 2 262 279 198 322 52 99 482 79 359 379 112 36 319 132 239 525 339 419 16 199 432 462 159 392 299 41 152 92 192 172 459 72 399 474 439 332 400 280 312 414 259 372 119 232 260 412 472 212 440 460 9 452 320 274 292 300 340 60 180 360 352 252 272 160 100 394 17 504 510 120 528 220 80 194 254 454 420 11 200 134 240 354 214 434 140 111 380 314 154 54 480 91 39 351 234 114 411 294 451 174 32 334 423 431 8 210 74 163 171 374 94 471 251 191 71 311 310 231 501 151 391 430 230 291 271 131 150 263 51 270 190 371 470 450 498 7 331 110 183 211 123 483 350 90 130 170 45 330 290 443 70 383 390 63 323 224 403 250 20 463 444 410 83 283 223 370 335 343 481 464 103 244 537 143 303 540 284 124 243 42 33 344 375 324 50 184 104 21 64 204 484 364 384 203 55 24 235 404 264 164 513 304 363 84 95 40 275 27 475 155 181 395 424 75 144 195 135 255 175 461 241 12 435 215 121 295 115 18 61 321 455 161 531 361 355 101 341 141 441 261 421 81 301 201 221 401 315 381 25 43 34 281 415 520 499 529 541 535 505 526 502 511 544 490 567 532 523 496 493 514 517 538 508 487 555 545 563 0 497 494 512 565 558 506 518 509 500 488 561 549 560 562 564 515 566 542 539 521 527 530 524 533 536 491 503 557 547 548 552 550 553 554 556 551 546 559 
Num variables: 568 => 580
Initialize Symbolic Manager(1160, 13793, 16000000, 0)
Generating binary variables
Symbolic Variables... Done.
Mutex initialized bw. Total mutex added: 1110 Invariant groups: 0
Mutex initialized fw. Total mutex added: 0 Invariant groups: 0
Initializing SymbolicStackelberg...
Search initialized: 2.256s
Starting Stackelberg bounded search...
 opt: 8.239 reg: 0 solved: 1 total time: 16.5334
L = 0, leader states: 1, follower subproblems: 1, F:100000, total time: 16.5335
 opt: 7.334 reg: 0 solved: 1 total time: 23.9262
 opt: 7.174 reg: 0 solved: 1 total time: 31.0928
 opt: 7.127 reg: 0 solved: 1 total time: 38.2122
 opt: 7.138 reg: 0 solved: 1 total time: 45.3429
 opt: 7.13 reg: 0 solved: 1 total time: 52.4655
 opt: 7.201 reg: 0 solved: 1 total time: 59.6591
 opt: 7.158 reg: 0 solved: 1 total time: 66.8097
 opt: 7.151 reg: 0 solved: 1 total time: 73.9532
 opt: 7.118 reg: 0 solved: 1 total time: 81.0636
 opt: 7.072 reg: 0 solved: 1 total time: 88.1284
 opt: 7.12 reg: 0 solved: 1 total time: 95.2402
 opt: 7.039 reg: 0 solved: 1 total time: 102.271
 opt: 7.05 reg: 0 solved: 1 total time: 109.315
 opt: 7.926 reg: 0 solved: 1 total time: 117.232
 opt: 7.26 reg: 0 solved: 1 total time: 124.485
 opt: 7.682 reg: 0 solved: 1 total time: 132.158
 opt: 10.116 reg: 0 solved: 2 total time: 142.263
 opt: 7.212 reg: 0 solved: 1 total time: 149.467
 opt: 7.778 reg: 0 solved: 1 total time: 157.237
 opt: 7.863 reg: 0 solved: 1 total time: 165.092
 opt: 4.467 reg: 0 solved: 1 total time: 169.554
L = 1, leader states: 2.09715e+06, follower subproblems: 2.09715e+06, F:100000, total time: 169.554
 opt: 7.396 reg: 0 solved: 2 total time: 177.037
 opt: 11.879 reg: 0 solved: 2 total time: 188.903
L = 2, leader states: 6.97357e+09, follower subproblems: 6.97357e+09, F:100000, total time: 188.904
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
@@@T202652@@@
Done!
real 202.81
user 201.23
sys 1.24
slurmstepd-dhabi04: error: Detected 1 oom-kill event(s) in step 4402073.batch cgroup. Some of your processes may have been killed by the cgroup out-of-memory handler.
