Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 26996 | 1800.11 | 1800.9 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data6_3.opb |
MD5SUM | f675f355e04fd5af6f49610fb88dbbd3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 24674 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24674 |
Optimality of the best value was proved | NO |
Number of variables | 540 |
Total number of constraints | 4476 |
Number of constraints which are clauses | 2532 |
Number of constraints which are cardinality constraints (but not clauses) | 264 |
Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 1380 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 116904 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1380 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 116904 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.13 c Initial problem consists of 540 variables and 4626 constraints. 0.15 c No problem reductions applied in OPT. instance. 0.15 c preprocess terminated. Elapsed time: 0.143 0.15 c After prepocess the problem consists of 540 variables and 4626 constraints. 0.15 c Initial Lower Bound: 0 0.23 c Restart #1 #Var: 540 LB: 0 @ 0.214 0.38 c Restart #2 #Var: 540 LB: 0 @ 0.373 0.70 c Restart #3 #Var: 540 LB: 0 @ 0.693 0.92 c Restart #4 #Var: 540 LB: 0 @ 0.91 1.15 c Sol. found (all assignments made)... 1.15 o 29515 1.15 c NEW SOLUTION FOUND: 29515 @ 1.142 1.15 c Sol. found (all assignments made)... 1.15 c Sol. found (all assignments made)... 1.15 o 28994 1.15 c NEW SOLUTION FOUND: 28994 @ 1.143 1.15 c Sol. found (all assignments made)... 1.15 c Sol. found (all assignments made)... 1.15 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 o 28434 1.17 c NEW SOLUTION FOUND: 28434 @ 1.158 1.17 c Sol. found (all assignments made)... 1.17 o 28308 1.17 c NEW SOLUTION FOUND: 28308 @ 1.158 1.17 c Sol. found (all assignments made)... 1.17 o 27913 1.17 c NEW SOLUTION FOUND: 27913 @ 1.158 1.17 c Sol. found (all assignments made)... 1.17 o 27787 1.17 c NEW SOLUTION FOUND: 27787 @ 1.159 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.22 o 27353 1.22 c NEW SOLUTION FOUND: 27353 @ 1.209 1.22 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.24 c Sol. found (all assignments made)... 1.24 c Sol. found (all assignments made)... 1.25 c Sol. found (all assignments made)... 1.25 c Sol. found (all assignments made)... 1.25 c Sol. found (all assignments made)... 1.25 c Sol. found (all assignments made)... 1.25 c Sol. found (all assignments made)... 1.25 c Sol. found (all assignments made)... 1.25 c Sol. found (all assignments made)... 1.26 c Sol. found (all assignments made)... 1.26 c Sol. found (all assignments made)... 1.26 c Sol. found (all assignments made)... 1.26 c Sol. found (all assignments made)... 1.26 c Sol. found (all assignments made)... 1.27 c Sol. found (all assignments made)... 1.28 c Sol. found (all assignments made)... 1.28 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.57 c Restart #5 #Var: 540 LB: 0 @ 1.563 1.83 c Sol. found (all assignments made)... 1.84 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 2.02 c Sol. found (all assignments made)... 2.02 c Sol. found (all assignments made)... 2.28 c Sol. found (all assignments made)... 2.29 c Sol. found (all assignments made)... 2.33 c Sol. found (all assignments made)... 2.39 c Restart #6 #Var: 540 LB: 0 @ 2.378 2.66 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.74 c Sol. found (all assignments made)... 2.75 c Sol. found (all assignments made)... 2.75 c Sol. found (all assignments made)... 2.76 c Sol. found (all assignments made)... 2.76 c Sol. found (all assignments made)... 2.76 c Sol. found (all assignments made)... 2.76 c Sol. found (all assignments made)... 2.77 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.93 c Restart #7 #Var: 540 LB: 0 @ 2.916 3.50 c Restart #8 #Var: 540 LB: 0 @ 3.491 3.55 c Sol. found (all assignments made)... 3.61 c Sol. found (all assignments made)... 3.65 c Sol. found (all assignments made)... 3.65 c Sol. found (all assignments made)... 3.65 c Sol. found (all assignments made)... 3.65 c Sol. found (all assignments made)... 3.65 c Sol. found (all assignments made)... 3.65 c Sol. found (all assignments made)... 3.65 c Sol. found (all assignments made)... 3.66 c Sol. found (all assignments made)... 3.67 c Sol. found (all assignments made)... 3.67 c Sol. found (all assignments made)... 3.67 c Sol. found (all assignments made)... 3.67 c Sol. found (all assignments made)... 3.67 c Sol. found (all assignments made)... 3.67 c Sol. found (all assignments made)... 3.67 c Sol. found (all assignments made)... 3.67 c Sol. found (all assignments made)... 3.68 c Sol. found (all assignments made)... 3.68 c Sol. found (all assignments made)... 3.68 c Sol. found (all assignments made)... 3.68 c Sol. found (all assignments made)... 3.68 c Sol. found (all assignments made)... 3.69 c Sol. found (all assignments made)... 3.69 c Sol. found (all assignments made)... 3.69 c Sol. found (all assignments made)... 3.69 c Sol. found (all assignments made)... 3.69 c Sol. found (all assignments made)... 3.69 c Sol. found (all assignments made)... 3.69 c Sol. found (all assignments made)... 3.70 c Sol. found (all assignments made)... 3.70 c Sol. found (all assignments made)... 3.70 c Sol. found (all assignments made)... 3.70 c Sol. found (all assignments made)... 3.70 c Sol. found (all assignments made)... 3.70 c Sol. found (all assignments made)... 3.71 c Sol. found (all assignments made)... 3.71 c Sol. found (all assignments made)... 3.75 c Sol. found (all assignments made)... 3.75 c Sol. found (all assignments made)... 3.76 c Sol. found (all assignments made)... 3.77 c Sol. found (all assignments made)... 3.78 c Sol. found (all assignments made)... 3.78 c Sol. found (all assignments made)... 3.79 c Sol. found (all assignments made)... 3.79 c Sol. found (all assignments made)... 3.79 c Sol. found (all assignments made)... 3.80 c Sol. found (all assignments made)... 3.80 c Sol. found (all assignments made)... 3.80 c Sol. found (all assignments made)... 3.80 c Sol. found (all assignments made)... 3.80 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.85 c Sol. found (all assignments made)... 3.85 c Sol. found (all assignments made)... 3.85 c Sol. found (all assignments made)... 3.92 c Sol. found (all assignments made)... 4.01 c Sol. found (all assignments made)... 4.01 c Sol. found (all assignments made)... 4.01 c Sol. found (all assignments made)... 4.01 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.06 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.10 c Sol. found (all assignments made)... 4.13 c Sol. found (all assignments made)... 4.13 c Sol. found (all assignments made)... 4.13 c Sol. found (all assignments made)... 4.14 c Sol. found (all assignments made)... 4.14 c Sol. found (all assignments made)... 4.14 c Sol. found (all assignments made)... 4.14 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 5.70 c CHANGE to LPR mode... UB: 27353 MIS: 0 LPR: 17422 (0.6755) Diff: 0 5.70 c Restart #0 #Var: 540 LB: 0 @ 5.679 85.72 c Restart #1 #Var: 540 LB: 17422 @ 85.668 157.83 c Sol. found (all assignments made)... 161.06 c Restart #2 #Var: 540 LB: 17422 @ 160.98 182.41 c Sol. found (all assignments made)... 182.89 c Sol. found (all assignments made)... 195.12 c Sol. found (all assignments made)... 195.61 c Sol. found (all assignments made)... 195.61 o 27288 195.61 c NEW SOLUTION FOUND: 27288 @ 195.51 212.50 o 27094 212.50 c NEW SOLUTION FOUND: 27094 @ 212.4 236.87 c Sol. found (all assignments made)... 255.04 c Restart #3 #Var: 540 LB: 17422 @ 254.93 276.18 c Sol. found (all assignments made)... 276.42 c Sol. found (all assignments made)... 344.96 c Restart #4 #Var: 540 LB: 17422 @ 344.81 387.40 c Sol. found (all assignments made)... 404.22 c Sol. found (all assignments made)... 446.16 c Restart #5 #Var: 540 LB: 17422 @ 445.97 553.98 c Restart #6 #Var: 540 LB: 17422 @ 553.75 603.12 c Sol. found (all assignments made)... 605.58 c Sol. found (all assignments made)... 674.55 c Restart #7 #Var: 540 LB: 17422 @ 674.19 761.10 c Sol. found (all assignments made)... 771.64 c Sol. found (all assignments made)... 775.31 c Sol. found (all assignments made)... 775.34 c Sol. found (all assignments made)... 776.52 c Sol. found (all assignments made)... 783.38 c Sol. found (all assignments made)... 787.64 c Restart #8 #Var: 540 LB: 17422 @ 787.24 937.60 c Restart #9 #Var: 540 LB: 17422 @ 937.14 1073.68 c Sol. found (all assignments made)... 1139.75 c Restart #10 #Var: 540 LB: 17422 @ 1139.2 1344.37 c Restart #11 #Var: 540 LB: 17422 @ 1343.8 1380.62 c Sol. found (all assignments made)... 1387.80 c Sol. found (all assignments made)... 1396.17 c Sol. found (all assignments made)... 1399.83 o 26996 1399.83 c NEW SOLUTION FOUND: 26996 @ 1399.2 1409.88 c Sol. found (all assignments made)... 1435.01 c Sol. found (all assignments made)... 1456.69 c Sol. found (all assignments made)... 1461.38 c Sol. found (all assignments made)... 1487.58 c Sol. found (all assignments made)... 1515.32 c Sol. found (all assignments made)... 1542.08 c Restart #12 #Var: 540 LB: 17422 @ 1541.4 1582.83 c Sol. found (all assignments made)... 1587.70 c Sol. found (all assignments made)... 1597.95 c Sol. found (all assignments made)... 1598.72 c Sol. found (all assignments made)... 1626.26 c Sol. found (all assignments made)... 1631.99 c Sol. found (all assignments made)... 1641.94 c Sol. found (all assignments made)... 1645.66 c Sol. found (all assignments made)... 1706.57 c Restart #13 #Var: 540 LB: 17422 @ 1705.8 1713.78 c Sol. found (all assignments made)... 1799.56 c Sol. found (all assignments made)... 1800.89 s SATISFIABLE 1800.89 c Cost: 26996 1800.89 v -x361 -x362 x363 -x364 x365 -x366 x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 x381 -x382 1800.89 v -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 x398 x399 -x400 -x401 x402 -x403 -x404 1800.89 v -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 1800.89 v -x426 -x427 -x428 -x429 x430 x431 -x432 x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 1800.89 v x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 x466 x467 -x468 x469 1800.89 v -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 1800.89 v -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 x501 -x502 -x503 -x504 x505 -x506 -x507 x508 -x509 -x510 -x511 -x512 1800.89 v -x513 x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 1800.89 v -x534 x535 x536 x537 x538 x539 -x540 -x2 -x38 -x74 -x110 x146 -x182 -x218 -x254 -x290 -x326 -x3 -x39 -x75 -x111 -x147 x183 -x219 1800.89 v -x255 -x291 -x327 -x4 -x40 -x76 x112 -x148 -x184 -x220 -x256 -x292 -x328 -x5 -x41 -x77 -x113 -x149 -x185 -x221 -x257 -x293 1800.89 v x329 -x6 -x42 -x78 -x114 -x150 -x186 -x222 -x258 x294 -x330 -x7 -x43 -x79 -x115 -x151 -x187 x223 -x259 -x295 -x331 -x9 x45 -x81 1800.89 v -x117 -x153 -x189 -x225 -x261 -x297 -x333 -x10 -x46 -x82 -x118 -x154 x190 -x226 -x262 -x298 -x334 x11 -x47 -x83 -x119 -x155 1800.89 v -x191 -x227 -x263 -x299 -x335 -x12 -x48 -x84 -x120 -x156 -x192 -x228 x264 -x300 -x336 -x13 -x49 -x85 -x121 -x157 -x193 -x229 1800.89 v x265 -x301 -x337 -x14 -x50 -x86 x122 -x158 -x194 -x230 -x266 -x302 -x338 -x16 -x52 x88 -x124 -x160 -x196 -x232 -x268 -x304 1800.89 v -x340 -x17 -x53 -x89 -x125 -x161 -x197 -x233 -x269 x305 -x341 -x18 -x54 -x90 -x126 x162 -x198 -x234 -x270 -x306 -x342 x19 -x55 1800.89 v -x91 -x127 -x163 -x199 -x235 -x271 -x307 -x343 -x20 -x56 -x92 -x128 -x164 -x200 -x236 -x272 x308 -x344 -x21 -x57 -x93 -x129 1800.89 v -x165 -x201 -x237 -x273 -x309 x345 -x23 -x59 -x95 -x131 x167 -x203 -x239 -x275 -x311 -x347 -x24 x60 -x96 -x132 -x168 -x204 1800.89 v -x240 -x276 -x312 -x348 -x25 x61 -x97 -x133 -x169 -x205 -x241 -x277 -x313 -x349 -x26 -x62 x98 -x134 -x170 -x206 -x242 -x278 1800.89 v -x314 -x350 -x27 -x63 -x99 -x135 -x171 -x207 x243 -x279 -x315 -x351 -x28 -x64 -x100 -x136 -x172 -x208 -x244 x280 -x316 -x352 1800.89 v -x30 -x66 -x102 -x138 -x174 x210 -x246 -x282 -x318 -x354 -x31 -x67 x103 -x139 -x175 -x211 -x247 -x283 -x319 -x355 -x32 -x68 1800.89 v -x104 -x140 -x176 -x212 -x248 -x284 -x320 x356 x33 -x69 -x105 -x141 -x177 -x213 -x249 -x285 -x321 -x357 -x34 -x70 -x106 -x142 1800.89 v -x178 -x214 x250 -x286 -x322 -x358 -x35 -x71 -x107 x143 -x179 -x215 -x251 -x287 -x323 -x359 -x8 -x44 x80 x116 x152 -x188 -x224 1800.89 v -x260 x296 x332 x15 x51 -x87 -x123 -x159 x195 x231 -x267 -x303 x339 -x22 -x58 x94 x130 -x166 x202 x238 x274 -x310 -x346 x29 -x65 1800.89 v -x101 x137 x173 -x209 -x245 -x281 x317 x353 -x36 x72 -x108 -x144 x180 x216 -x252 x288 x324 -x360 x1 x37 x73 -x109 -x145 -x181 1800.89 v x217 x253 -x289 -x325 1800.89 c Exit Code: 10 1800.89 c Total time: 1800.1 s
OK 26996
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node6/watcher-40258-1149400255 -o ROOT/results/node6/solver-40258-1149400255 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node6/40258-1149400255/instance-40258-1149400255.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.98 0.99 2/64 25427 /proc/meminfo: memFree=1559272/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=4664 CPUtime=0 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 136 0 0 0 0 0 0 0 19 0 1 0 205687661 4775936 117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2191448 0 0 4096 0 0 0 0 17 1 0 0 /proc/25427/statm: 1166 120 100 55 0 46 0 [startup+10.0027 s] /proc/loadavg: 0.93 0.98 0.99 2/64 25427 /proc/meminfo: memFree=1544232/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=22720 CPUtime=9.97 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 11859 0 1 0 992 5 0 0 25 0 1 0 205687661 23265280 4227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2653911 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 5680 4227 435 55 0 4572 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 22720 [startup+20.0096 s] /proc/loadavg: 0.94 0.98 0.99 2/64 25427 /proc/meminfo: memFree=1543272/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=21544 CPUtime=19.97 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 23519 0 1 0 1987 10 0 0 25 0 1 0 205687661 22061056 4387 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343172 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 5386 4387 435 55 0 4278 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 21544 [startup+30.0156 s] /proc/loadavg: 0.95 0.98 0.99 2/64 25427 /proc/meminfo: memFree=1543400/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=21316 CPUtime=29.98 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 34494 0 1 0 2982 16 0 0 25 0 1 0 205687661 21827584 4347 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343498 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 5329 4347 435 55 0 4221 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 21316 [startup+40.0216 s] /proc/loadavg: 0.95 0.98 0.99 2/64 25427 /proc/meminfo: memFree=1543656/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=21100 CPUtime=39.98 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 44836 0 1 0 3977 21 0 0 25 0 1 0 205687661 21606400 4277 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159197609 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 5275 4277 435 55 0 4167 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 21100 [startup+50.0276 s] /proc/loadavg: 0.96 0.98 0.99 2/64 25427 /proc/meminfo: memFree=1544744/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=18728 CPUtime=49.97 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 55088 0 1 0 4972 25 0 0 25 0 1 0 205687661 19177472 4004 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 4682 4004 436 55 0 3574 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 18728 [startup+60.0336 s] /proc/loadavg: 0.97 0.98 0.99 2/64 25427 /proc/meminfo: memFree=1543848/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=20568 CPUtime=59.98 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 75240 0 2 0 5965 33 0 0 25 0 1 0 205687661 21061632 4161 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160347468 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 5142 4161 447 55 0 4034 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 20568 [startup+70.0395 s] /proc/loadavg: 0.97 0.98 0.99 2/64 25427 /proc/meminfo: memFree=1543848/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=20568 CPUtime=69.98 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 98689 0 2 0 6955 43 0 0 25 0 1 0 205687661 21061632 4160 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160353625 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 5142 4160 447 55 0 4034 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 20568 [startup+80.0455 s] /proc/loadavg: 0.98 0.98 0.99 2/64 25427 /proc/meminfo: memFree=1544168/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=21656 CPUtime=79.98 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 120432 0 2 0 7946 52 0 0 25 0 1 0 205687661 22175744 4118 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160347507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 5414 4118 447 55 0 4306 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 21656 [startup+90.0515 s] /proc/loadavg: 0.98 0.98 0.99 2/64 25427 /proc/meminfo: memFree=1542248/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=22184 CPUtime=89.98 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 139222 0 2 0 8938 60 0 0 25 0 1 0 205687661 22716416 4557 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159176768 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 5546 4557 447 55 0 4438 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 22184 [startup+100.057 s] /proc/loadavg: 0.98 0.98 0.99 2/64 25427 /proc/meminfo: memFree=1543976/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=19448 CPUtime=99.99 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 153239 0 2 0 9932 67 0 0 25 0 1 0 205687661 19914752 4123 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160210789 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 4862 4123 447 55 0 3754 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 19448 [startup+110.063 s] /proc/loadavg: 0.98 0.98 0.99 2/64 25427 /proc/meminfo: memFree=1543976/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=22008 CPUtime=109.99 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 174264 0 2 0 10924 75 0 0 25 0 1 0 205687661 22536192 4173 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159172023 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 5502 4173 447 55 0 4394 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 22008 [startup+120.069 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25427 /proc/meminfo: memFree=1543272/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=21240 CPUtime=119.99 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 199195 0 2 0 11915 84 0 0 25 0 1 0 205687661 21749760 4314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343354 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 5310 4314 447 55 0 4202 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 21240 [startup+130.075 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25427 /proc/meminfo: memFree=1544040/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=19116 CPUtime=130 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 221595 0 2 0 12906 94 0 0 25 0 1 0 205687661 19574784 4112 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 4779 4112 447 55 0 3671 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 19116 [startup+140.081 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25427 /proc/meminfo: memFree=1543464/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=21120 CPUtime=140 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 246067 0 2 0 13896 104 0 0 25 0 1 0 205687661 21626880 4265 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159197473 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 5280 4265 447 55 0 4172 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 21120 [startup+150.087 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25427 /proc/meminfo: memFree=1542568/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=22144 CPUtime=150 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 277188 0 2 0 14884 116 0 0 25 0 1 0 205687661 22675456 4534 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2653821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 5536 4534 447 55 0 4428 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 22144 [startup+160.093 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25427 /proc/meminfo: memFree=1541800/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=23996 CPUtime=160 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 313437 0 2 0 15869 131 0 0 25 0 1 0 205687661 24571904 4718 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159171838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 5999 4718 448 55 0 4891 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 23996 [startup+170.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25427 /proc/meminfo: memFree=1542824/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=22632 CPUtime=170.01 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 330867 0 2 0 16860 141 0 0 25 0 1 0 205687661 23175168 4452 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159265763 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 5658 4452 448 55 0 4550 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 22632 [startup+180.107 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25427 /proc/meminfo: memFree=1542824/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=22632 CPUtime=180.01 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 364136 0 2 0 17847 154 0 0 25 0 1 0 205687661 23175168 4457 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159170395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 5658 4457 448 55 0 4550 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 22632 [startup+190.113 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25427 /proc/meminfo: memFree=1542760/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=22632 CPUtime=190.01 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 395709 0 2 0 18833 168 0 0 25 0 1 0 205687661 23175168 4448 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159176773 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 5658 4448 448 55 0 4550 0 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 22632 [startup+200.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25427 /proc/meminfo: memFree=1542824/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=22632 CPUtime=200.01 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 426448 0 2 0 19820 181 0 0 25 0 1 0 205687661 23175168 4450 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159492860 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 5658 4450 448 55 0 4550 0 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 22632 [startup+210.126 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25427 /proc/meminfo: memFree=1542312/2055924 swapFree=4181416/4192956 ################ # More data... # ################ /proc/25427/statm: 8380 7712 452 55 0 7272 0 Current children cumulated CPU time (s) 1760.34 Current children cumulated vsize (Kb) 33520 [startup+1771.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25622 /proc/meminfo: memFree=1529128/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=36660 CPUtime=1770.34 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 5475919 0 2 0 174670 2364 0 0 25 0 1 0 205687661 37539840 8127 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159477579 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 9165 8127 452 55 0 8057 0 Current children cumulated CPU time (s) 1770.34 Current children cumulated vsize (Kb) 36660 [startup+1781.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25622 /proc/meminfo: memFree=1529256/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=36416 CPUtime=1780.34 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 5505189 0 2 0 175656 2378 0 0 25 0 1 0 205687661 37289984 7736 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2653821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 9104 7736 452 55 0 7996 0 Current children cumulated CPU time (s) 1780.34 Current children cumulated vsize (Kb) 36416 [startup+1782.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25622 /proc/meminfo: memFree=1529256/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=33520 CPUtime=1781.35 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 5508254 0 2 0 175755 2380 0 0 25 0 1 0 205687661 34324480 7712 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160181900 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 8380 7712 452 55 0 7272 0 Current children cumulated CPU time (s) 1781.35 Current children cumulated vsize (Kb) 33520 [startup+1783.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25622 /proc/meminfo: memFree=1529256/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=33520 CPUtime=1782.36 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 5511635 0 2 0 175854 2382 0 0 25 0 1 0 205687661 34324480 7712 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 8380 7712 452 55 0 7272 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (Kb) 33520 [startup+1784.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25622 /proc/meminfo: memFree=1528936/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=35452 CPUtime=1783.36 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 5514337 0 2 0 175954 2382 0 0 25 0 1 0 205687661 36302848 7847 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159448662 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 8863 7847 452 55 0 7755 0 Current children cumulated CPU time (s) 1783.36 Current children cumulated vsize (Kb) 35452 [startup+1785.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25622 /proc/meminfo: memFree=1529192/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=36500 CPUtime=1784.36 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 5517145 0 2 0 176053 2383 0 0 25 0 1 0 205687661 37376000 7752 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159170409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 9125 7752 452 55 0 8017 0 Current children cumulated CPU time (s) 1784.36 Current children cumulated vsize (Kb) 36500 [startup+1786.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25622 /proc/meminfo: memFree=1529192/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=36632 CPUtime=1785.37 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 5520128 0 2 0 176152 2385 0 0 25 0 1 0 205687661 37511168 7774 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2653821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 9158 7774 452 55 0 8050 0 Current children cumulated CPU time (s) 1785.37 Current children cumulated vsize (Kb) 36632 [startup+1787.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25622 /proc/meminfo: memFree=1529192/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=33580 CPUtime=1786.38 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 5524287 0 2 0 176251 2387 0 0 25 0 1 0 205687661 34385920 7727 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534944 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 8395 7727 452 55 0 7287 0 Current children cumulated CPU time (s) 1786.38 Current children cumulated vsize (Kb) 33580 [startup+1788.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25622 /proc/meminfo: memFree=1529128/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=36656 CPUtime=1787.38 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 5527473 0 2 0 176350 2388 0 0 25 0 1 0 205687661 37535744 7784 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160346598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 9164 7784 452 55 0 8056 0 Current children cumulated CPU time (s) 1787.38 Current children cumulated vsize (Kb) 36656 [startup+1789.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25622 /proc/meminfo: memFree=1529192/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=33580 CPUtime=1788.39 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 5530177 0 2 0 176449 2390 0 0 25 0 1 0 205687661 34385920 7727 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520355 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 8395 7727 452 55 0 7287 0 Current children cumulated CPU time (s) 1788.39 Current children cumulated vsize (Kb) 33580 [startup+1790.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25622 /proc/meminfo: memFree=1529192/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=36644 CPUtime=1789.39 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 5533937 0 2 0 176547 2392 0 0 25 0 1 0 205687661 37523456 7781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158642739 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 9161 7781 452 55 0 8053 0 Current children cumulated CPU time (s) 1789.39 Current children cumulated vsize (Kb) 36644 [startup+1791.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25622 /proc/meminfo: memFree=1529192/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=33580 CPUtime=1790.39 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 5536123 0 2 0 176647 2392 0 0 25 0 1 0 205687661 34385920 7727 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536030 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 8395 7727 452 55 0 7287 0 Current children cumulated CPU time (s) 1790.39 Current children cumulated vsize (Kb) 33580 [startup+1792.19 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25622 /proc/meminfo: memFree=1527784/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=36668 CPUtime=1791.4 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 5539502 0 2 0 176746 2394 0 0 25 0 1 0 205687661 37548032 8132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497284 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 9167 8132 452 55 0 8059 0 Current children cumulated CPU time (s) 1791.4 Current children cumulated vsize (Kb) 36668 [startup+1793.19 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25622 /proc/meminfo: memFree=1529128/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=36712 CPUtime=1792.4 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 5542270 0 2 0 176845 2395 0 0 25 0 1 0 205687661 37593088 7794 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159495101 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 9178 7794 452 55 0 8070 0 Current children cumulated CPU time (s) 1792.4 Current children cumulated vsize (Kb) 36712 [startup+1794.2 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25622 /proc/meminfo: memFree=1529128/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=33628 CPUtime=1793.41 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 5546990 0 2 0 176943 2398 0 0 25 0 1 0 205687661 34435072 7739 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535991 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 8407 7739 452 55 0 7299 0 Current children cumulated CPU time (s) 1793.41 Current children cumulated vsize (Kb) 33628 [startup+1795.2 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25622 /proc/meminfo: memFree=1529128/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=36552 CPUtime=1794.41 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 5550252 0 2 0 177042 2399 0 0 25 0 1 0 205687661 37429248 7780 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159779423 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 9138 7780 452 55 0 8030 0 Current children cumulated CPU time (s) 1794.41 Current children cumulated vsize (Kb) 36552 [startup+1796.21 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25622 /proc/meminfo: memFree=1529128/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=36552 CPUtime=1795.41 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 5553235 0 2 0 177141 2400 0 0 25 0 1 0 205687661 37429248 7780 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159168770 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 9138 7780 452 55 0 8030 0 Current children cumulated CPU time (s) 1795.41 Current children cumulated vsize (Kb) 36552 [startup+1797.21 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25622 /proc/meminfo: memFree=1529064/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=36584 CPUtime=1796.42 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 5555684 0 2 0 177241 2401 0 0 25 0 1 0 205687661 37462016 7783 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160347515 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 9146 7783 452 55 0 8038 0 Current children cumulated CPU time (s) 1796.42 Current children cumulated vsize (Kb) 36584 [startup+1798.22 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25622 /proc/meminfo: memFree=1529000/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=36688 CPUtime=1797.43 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 5559133 0 2 0 177340 2403 0 0 25 0 1 0 205687661 37568512 7818 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160350149 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 9172 7818 452 55 0 8064 0 Current children cumulated CPU time (s) 1797.43 Current children cumulated vsize (Kb) 36688 [startup+1799.22 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25622 /proc/meminfo: memFree=1529000/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=36652 CPUtime=1798.43 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 5562281 0 2 0 177439 2404 0 0 25 0 1 0 205687661 37531648 8155 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159171191 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 9163 8155 452 55 0 8055 0 Current children cumulated CPU time (s) 1798.43 Current children cumulated vsize (Kb) 36652 [startup+1800.23 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25622 /proc/meminfo: memFree=1529064/2055924 swapFree=4181416/4192956 [pid=25427] ppid=25425 vsize=36780 CPUtime=1799.44 /proc/25427/stat : 25427 (bsolo) R 25425 25427 25381 0 -1 0 5564975 0 2 0 177539 2405 0 0 25 0 1 0 205687661 37662720 7812 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159260780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25427/statm: 9195 7812 452 55 0 8087 0 Current children cumulated CPU time (s) 1799.44 Current children cumulated vsize (Kb) 36780 Child status: 10 Real time (s): 1800.9 CPU time (s): 1800.11 CPU user time (s): 1776.04 CPU system time (s): 24.0713 CPU usage (%): 99.9564 Max. virtual memory (cumulated for all children) (Kb): 36780
Begin job on node6 on Sun Jun 4 05:50:55 UTC 2006 FILE ID= 40258-1149400255 PBS_JOBID= 313965 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data6_3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node6/40258-1149400255/instance-40258-1149400255.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-40258-1149400255 -o ROOT/results/node6/solver-40258-1149400255 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node6/40258-1149400255/instance-40258-1149400255.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= f675f355e04fd5af6f49610fb88dbbd3 RANDOM SEED= 948414527 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.268 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.268 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055924 kB MemFree: 1559480 kB Buffers: 22288 kB Cached: 404032 kB SwapCached: 3236 kB Active: 32600 kB Inactive: 402436 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1559480 kB SwapTotal: 4192956 kB SwapFree: 4181416 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14924 kB Slab: 47488 kB Committed_AS: 363276 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node6 on Sun Jun 4 06:20:56 UTC 2006