Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | OPT | 64 | 172.437 | 172.503 |
Name | normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb |
MD5SUM | 135acf1f05855c365b3d13b378debe22 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 64 |
Best CPU time to get the best result obtained on this benchmark | 0.359945 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 64 |
Optimality of the best value was proved | YES |
Number of variables | 648 |
Total number of constraints | 1952 |
Number of constraints which are clauses | 1928 |
Number of constraints which are cardinality constraints (but not clauses) | 24 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 27 |
Number of terms in the objective function | 648 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 648 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 648 |
Number of bits of the biggest sum of numbers | 10 |
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.06 c Initial problem consists of 648 variables and 1952 constraints. 0.07 c No problem reductions applied in OPT. instance. 0.07 c preprocess terminated. Elapsed time: 0.062 0.07 c After prepocess the problem consists of 540 variables and 1736 constraints. 0.07 c Initial Lower Bound: 16 0.12 c Restart #1 #Var: 540 LB: 16 @ 0.109 0.22 c Restart #2 #Var: 540 LB: 16 @ 0.214 0.36 c Restart #3 #Var: 540 LB: 16 @ 0.355 0.53 c Restart #4 #Var: 540 LB: 16 @ 0.523 0.73 c Restart #5 #Var: 539 LB: 16 @ 0.723 0.98 c Restart #6 #Var: 539 LB: 16 @ 0.976 1.33 c Restart #7 #Var: 539 LB: 16 @ 1.327 1.71 c Restart #8 #Var: 539 LB: 16 @ 1.701 2.22 c Restart #9 #Var: 537 LB: 16 @ 2.211 2.90 c Restart #10 #Var: 537 LB: 16 @ 2.898 3.87 c Restart #11 #Var: 537 LB: 16 @ 3.862 5.09 c Restart #12 #Var: 537 LB: 16 @ 5.084 6.04 c Restart #13 #Var: 537 LB: 16 @ 6.031 8.22 c Restart #14 #Var: 537 LB: 16 @ 8.207 10.22 c Restart #15 #Var: 537 LB: 16 @ 10.209 12.62 c Restart #16 #Var: 537 LB: 16 @ 12.604 16.09 c Restart #17 #Var: 537 LB: 16 @ 16.077 21.07 c Restart #18 #Var: 536 LB: 16 @ 21.056 24.50 c Restart #19 #Var: 535 LB: 16 @ 24.48 27.92 c Restart #20 #Var: 535 LB: 16 @ 27.902 34.54 c Restart #21 #Var: 535 LB: 16 @ 34.524 42.93 c Restart #22 #Var: 535 LB: 16 @ 42.911 48.22 c Restart #23 #Var: 535 LB: 16 @ 48.192 55.69 c Restart #24 #Var: 535 LB: 16 @ 55.665 64.63 c Restart #25 #Var: 535 LB: 16 @ 64.599 73.93 c Restart #26 #Var: 535 LB: 16 @ 73.898 86.36 c Restart #27 #Var: 535 LB: 16 @ 86.33 94.29 c Sol. found (all assignments made)... 94.29 o 72 94.29 c NEW SOLUTION FOUND: 72 @ 94.256 94.29 c Sol. found (all assignments made)... 94.29 c Sol. found (all assignments made)... 94.29 o 70 94.29 c NEW SOLUTION FOUND: 70 @ 94.257 94.29 c Sol. found (all assignments made)... 94.29 c Sol. found (all assignments made)... 94.29 c Sol. found (all assignments made)... 94.30 c Sol. found (all assignments made)... 94.30 c Sol. found (all assignments made)... 94.30 c Sol. found (all assignments made)... 94.30 c Sol. found (all assignments made)... 94.30 c Sol. found (all assignments made)... 94.30 c Sol. found (all assignments made)... 94.30 c Sol. found (all assignments made)... 94.31 c Sol. found (all assignments made)... 94.31 c Sol. found (all assignments made)... 94.31 c Sol. found (all assignments made)... 94.31 c Sol. found (all assignments made)... 94.31 c Sol. found (all assignments made)... 94.31 c Sol. found (all assignments made)... 94.31 c Sol. found (all assignments made)... 94.31 c Sol. found (all assignments made)... 94.31 c Sol. found (all assignments made)... 94.32 c Sol. found (all assignments made)... 94.32 c Sol. found (all assignments made)... 94.32 c Sol. found (all assignments made)... 94.32 c Sol. found (all assignments made)... 94.32 c Sol. found (all assignments made)... 94.32 c Sol. found (all assignments made)... 94.32 c Sol. found (all assignments made)... 94.32 c Sol. found (all assignments made)... 94.32 c Sol. found (all assignments made)... 94.32 c Sol. found (all assignments made)... 94.32 c Sol. found (all assignments made)... 94.33 c Sol. found (all assignments made)... 94.33 c Sol. found (all assignments made)... 94.33 c Sol. found (all assignments made)... 94.33 c Sol. found (all assignments made)... 94.33 c Sol. found (all assignments made)... 94.33 c Sol. found (all assignments made)... 94.33 c Sol. found (all assignments made)... 94.33 c Sol. found (all assignments made)... 94.33 c Sol. found (all assignments made)... 94.33 c Sol. found (all assignments made)... 94.33 o 68 94.33 c NEW SOLUTION FOUND: 68 @ 94.295 94.33 c Sol. found (all assignments made)... 94.34 c Sol. found (all assignments made)... 94.34 c Sol. found (all assignments made)... 94.35 c Sol. found (all assignments made)... 94.35 c Sol. found (all assignments made)... 94.38 c Sol. found (all assignments made)... 94.38 c Sol. found (all assignments made)... 94.38 c Sol. found (all assignments made)... 94.39 c Sol. found (all assignments made)... 94.39 c Sol. found (all assignments made)... 94.39 c Sol. found (all assignments made)... 94.39 c Sol. found (all assignments made)... 94.39 c Sol. found (all assignments made)... 94.40 c Sol. found (all assignments made)... 94.40 c Sol. found (all assignments made)... 94.40 c Sol. found (all assignments made)... 94.40 c Sol. found (all assignments made)... 94.40 c Sol. found (all assignments made)... 94.40 c Sol. found (all assignments made)... 94.40 c Sol. found (all assignments made)... 94.40 c Sol. found (all assignments made)... 94.40 c Sol. found (all assignments made)... 94.40 c Sol. found (all assignments made)... 94.40 c Sol. found (all assignments made)... 94.40 c Sol. found (all assignments made)... 94.40 c Sol. found (all assignments made)... 94.40 c Sol. found (all assignments made)... 94.40 c Sol. found (all assignments made)... 94.40 c Sol. found (all assignments made)... 94.40 c Sol. found (all assignments made)... 94.41 c Sol. found (all assignments made)... 94.41 c Sol. found (all assignments made)... 94.41 c Sol. found (all assignments made)... 94.41 c Sol. found (all assignments made)... 94.41 c Sol. found (all assignments made)... 94.42 c Sol. found (all assignments made)... 94.42 c Sol. found (all assignments made)... 94.42 c Sol. found (all assignments made)... 94.42 c Sol. found (all assignments made)... 94.42 c Sol. found (all assignments made)... 94.42 c Sol. found (all assignments made)... 94.43 c Sol. found (all assignments made)... 94.43 c Sol. found (all assignments made)... 94.43 c Sol. found (all assignments made)... 94.43 c Sol. found (all assignments made)... 94.43 c Sol. found (all assignments made)... 94.43 c Sol. found (all assignments made)... 94.43 c Sol. found (all assignments made)... 94.43 c Sol. found (all assignments made)... 94.43 c Sol. found (all assignments made)... 94.43 c Sol. found (all assignments made)... 94.43 c Sol. found (all assignments made)... 94.43 c Sol. found (all assignments made)... 94.43 c Sol. found (all assignments made)... 94.43 c Sol. found (all assignments made)... 94.43 c Sol. found (all assignments made)... 94.44 c Sol. found (all assignments made)... 94.44 c Sol. found (all assignments made)... 94.44 c Sol. found (all assignments made)... 94.44 c Sol. found (all assignments made)... 94.44 c Sol. found (all assignments made)... 94.44 c Sol. found (all assignments made)... 94.44 c Sol. found (all assignments made)... 94.44 c Sol. found (all assignments made)... 94.44 c Sol. found (all assignments made)... 94.44 c Sol. found (all assignments made)... 94.44 c Sol. found (all assignments made)... 94.44 c Sol. found (all assignments made)... 94.44 c Sol. found (all assignments made)... 94.44 c Sol. found (all assignments made)... 94.44 c Sol. found (all assignments made)... 94.45 c Sol. found (all assignments made)... 94.45 c Sol. found (all assignments made)... 94.66 c Sol. found (all assignments made)... 94.66 c Sol. found (all assignments made)... 94.67 c Sol. found (all assignments made)... 94.67 c Sol. found (all assignments made)... 94.67 c Sol. found (all assignments made)... 94.67 c Sol. found (all assignments made)... 94.67 c Sol. found (all assignments made)... 94.68 c Sol. found (all assignments made)... 94.68 c Sol. found (all assignments made)... 94.68 c Sol. found (all assignments made)... 94.68 c Sol. found (all assignments made)... 94.68 c Sol. found (all assignments made)... 94.68 c Sol. found (all assignments made)... 94.68 c Sol. found (all assignments made)... 94.68 c Sol. found (all assignments made)... 94.71 c Sol. found (all assignments made)... 94.71 c Sol. found (all assignments made)... 94.72 c Sol. found (all assignments made)... 94.72 c Sol. found (all assignments made)... 94.72 c Sol. found (all assignments made)... 94.72 c Sol. found (all assignments made)... 94.72 c Sol. found (all assignments made)... 94.72 c Sol. found (all assignments made)... 94.72 c Sol. found (all assignments made)... 94.72 c Sol. found (all assignments made)... 94.72 c Sol. found (all assignments made)... 94.72 c Sol. found (all assignments made)... 94.72 c Sol. found (all assignments made)... 94.72 c Sol. found (all assignments made)... 94.72 c Sol. found (all assignments made)... 94.72 c Sol. found (all assignments made)... 94.73 c Sol. found (all assignments made)... 94.73 c Sol. found (all assignments made)... 94.73 c Sol. found (all assignments made)... 94.73 c Sol. found (all assignments made)... 94.73 c Sol. found (all assignments made)... 94.73 c Sol. found (all assignments made)... 94.74 c Sol. found (all assignments made)... 94.74 c Sol. found (all assignments made)... 94.75 c Sol. found (all assignments made)... 94.75 c Sol. found (all assignments made)... 94.75 c Sol. found (all assignments made)... 94.75 c Sol. found (all assignments made)... 94.75 c Sol. found (all assignments made)... 94.75 c Sol. found (all assignments made)... 94.75 c Sol. found (all assignments made)... 94.75 c Sol. found (all assignments made)... 94.75 c Sol. found (all assignments made)... 94.75 c Sol. found (all assignments made)... 94.75 c Sol. found (all assignments made)... 94.75 c Sol. found (all assignments made)... 94.76 c Sol. found (all assignments made)... 94.76 c Sol. found (all assignments made)... 94.76 c Sol. found (all assignments made)... 94.76 c Sol. found (all assignments made)... 94.76 c Sol. found (all assignments made)... 94.76 c Sol. found (all assignments made)... 94.83 c Sol. found (all assignments made)... 94.83 c Sol. found (all assignments made)... 94.83 c Sol. found (all assignments made)... 94.83 c Sol. found (all assignments made)... 94.83 c Sol. found (all assignments made)... 94.83 c Sol. found (all assignments made)... 94.83 c Sol. found (all assignments made)... 94.83 c Sol. found (all assignments made)... 94.83 c Sol. found (all assignments made)... 94.84 c Sol. found (all assignments made)... 94.84 c Sol. found (all assignments made)... 94.84 c Sol. found (all assignments made)... 94.84 c Sol. found (all assignments made)... 94.84 c Sol. found (all assignments made)... 94.84 c Sol. found (all assignments made)... 94.84 c Sol. found (all assignments made)... 94.84 c Sol. found (all assignments made)... 94.84 c Sol. found (all assignments made)... 94.84 c Sol. found (all assignments made)... 94.84 c Sol. found (all assignments made)... 94.84 c Sol. found (all assignments made)... 94.85 c Sol. found (all assignments made)... 94.86 c Sol. found (all assignments made)... 94.86 c Sol. found (all assignments made)... 94.88 c Sol. found (all assignments made)... 94.88 c Sol. found (all assignments made)... 94.88 c Sol. found (all assignments made)... 94.88 c Sol. found (all assignments made)... 94.88 c Sol. found (all assignments made)... 94.88 c Sol. found (all assignments made)... 94.88 c Sol. found (all assignments made)... 94.88 c Sol. found (all assignments made)... 94.88 c Sol. found (all assignments made)... 94.88 c Sol. found (all assignments made)... 94.88 c Sol. found (all assignments made)... 94.88 c Sol. found (all assignments made)... 94.88 c Sol. found (all assignments made)... 94.88 c Sol. found (all assignments made)... 94.89 c Sol. found (all assignments made)... 94.89 c Sol. found (all assignments made)... 94.89 c Sol. found (all assignments made)... 94.89 c Sol. found (all assignments made)... 94.89 c Sol. found (all assignments made)... 94.89 c Sol. found (all assignments made)... 94.89 c Sol. found (all assignments made)... 94.89 c Sol. found (all assignments made)... 94.89 c Sol. found (all assignments made)... 94.89 c Sol. found (all assignments made)... 94.89 c Sol. found (all assignments made)... 94.89 c Sol. found (all assignments made)... 94.89 c Sol. found (all assignments made)... 100.33 c Restart #28 #Var: 535 LB: 16 @ 100.29 113.22 c Restart #29 #Var: 532 LB: 16 @ 113.18 134.94 c Restart #30 #Var: 529 LB: 16 @ 134.89 149.78 c Restart #31 #Var: 529 LB: 16 @ 149.72 171.67 c CHANGE to LPR mode... UB: 68 MIS: 43 LPR: 64 (0.077333) Diff: 0.67188 171.67 c Restart #0 #Var: 528 LB: 16 @ 171.61 172.09 o 64 172.09 c NEW SOLUTION FOUND: 64 @ 172.03 172.49 s OPTIMUM FOUND 172.49 c Cost: 64 172.49 v x1 x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 172.49 v -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 172.49 v -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 x80 -x81 -x82 172.49 v -x83 -x84 x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 172.49 v -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 172.49 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 172.49 v -x150 -x151 -x152 -x153 -x154 x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 172.49 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 172.49 v x192 -x193 x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 172.49 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 172.49 v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 172.49 v -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 x273 -x274 -x275 -x276 172.49 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 172.49 v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 172.49 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 172.49 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 172.49 v x361 x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 172.49 v -x382 -x383 -x384 -x385 -x386 -x387 x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 172.49 v x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 172.49 v x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 172.49 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 172.49 v -x466 -x467 -x468 x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 172.49 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 172.49 v -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 172.49 v -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 172.49 v -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 172.49 v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591 172.49 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 172.49 v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 172.49 v -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 172.49 c Exit Code: 30 172.49 c Total time: 172.43 s
OK 64
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/node76/watcher-40272-1149402842 -o ROOT/results/node76/solver-40272-1149402842 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node76/40272-1149402842/instance-40272-1149402842.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.98 3/68 7368 /proc/meminfo: memFree=1271632/2055888 swapFree=4085384/4096564 [pid=7368] ppid=7366 vsize=3368 CPUtime=0 /proc/7368/stat : 7368 (bsolo) R 7366 7368 7322 0 -1 0 58 0 0 0 0 0 0 0 20 0 1 0 205923617 3448832 42 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4817844 0 0 4096 0 0 0 0 17 1 0 0 /proc/7368/statm: 842 42 31 55 0 40 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.95 0.98 2/68 7368 /proc/meminfo: memFree=1260832/2055888 swapFree=4085384/4096564 [pid=7368] ppid=7366 vsize=15276 CPUtime=9.98 /proc/7368/stat : 7368 (bsolo) R 7366 7368 7322 0 -1 0 3092 0 0 0 993 5 0 0 25 0 1 0 205923617 15642624 3008 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7368/statm: 3819 3008 297 55 0 2710 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 15276 [startup+20.0086 s] /proc/loadavg: 0.94 0.96 0.98 2/68 7368 /proc/meminfo: memFree=1257248/2055888 swapFree=4085384/4096564 [pid=7368] ppid=7366 vsize=18848 CPUtime=19.98 /proc/7368/stat : 7368 (bsolo) R 7366 7368 7322 0 -1 0 3982 0 0 0 1992 6 0 0 25 0 1 0 205923617 19300352 3898 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7368/statm: 4712 3898 297 55 0 3603 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 18848 [startup+30.0148 s] /proc/loadavg: 0.95 0.96 0.98 2/68 7368 /proc/meminfo: memFree=1252320/2055888 swapFree=4085384/4096564 [pid=7368] ppid=7366 vsize=23736 CPUtime=29.98 /proc/7368/stat : 7368 (bsolo) R 7366 7368 7322 0 -1 0 5199 0 0 0 2989 9 0 0 25 0 1 0 205923617 24305664 5115 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7368/statm: 5934 5115 297 55 0 4825 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 23736 [startup+40.021 s] /proc/loadavg: 0.95 0.96 0.98 2/68 7368 /proc/meminfo: memFree=1249760/2055888 swapFree=4085384/4096564 [pid=7368] ppid=7366 vsize=26376 CPUtime=39.99 /proc/7368/stat : 7368 (bsolo) R 7366 7368 7322 0 -1 0 5836 0 0 0 3988 11 0 0 25 0 1 0 205923617 27009024 5752 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529388 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7368/statm: 6594 5752 297 55 0 5485 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 26376 [startup+50.0272 s] /proc/loadavg: 0.96 0.96 0.98 2/68 7368 /proc/meminfo: memFree=1245664/2055888 swapFree=4085384/4096564 [pid=7368] ppid=7366 vsize=30464 CPUtime=49.99 /proc/7368/stat : 7368 (bsolo) R 7366 7368 7322 0 -1 0 6859 0 0 0 4987 12 0 0 25 0 1 0 205923617 31195136 6775 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5253163 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7368/statm: 7616 6775 297 55 0 6507 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 30464 [startup+60.0324 s] /proc/loadavg: 0.97 0.96 0.98 2/68 7368 /proc/meminfo: memFree=1242656/2055888 swapFree=4085384/4096564 [pid=7368] ppid=7366 vsize=33376 CPUtime=60 /proc/7368/stat : 7368 (bsolo) R 7366 7368 7322 0 -1 0 7609 0 0 0 5985 15 0 0 25 0 1 0 205923617 34177024 7525 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533972 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7368/statm: 8344 7525 297 55 0 7235 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 33376 [startup+70.0386 s] /proc/loadavg: 0.97 0.96 0.98 2/68 7368 /proc/meminfo: memFree=1240800/2055888 swapFree=4085384/4096564 [pid=7368] ppid=7366 vsize=35364 CPUtime=70 /proc/7368/stat : 7368 (bsolo) R 7366 7368 7322 0 -1 0 8081 0 0 0 6984 16 0 0 25 0 1 0 205923617 36212736 7997 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7368/statm: 8841 7997 297 55 0 7732 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 35364 [startup+80.0448 s] /proc/loadavg: 0.98 0.96 0.98 2/68 7368 /proc/meminfo: memFree=1238240/2055888 swapFree=4085384/4096564 [pid=7368] ppid=7366 vsize=37876 CPUtime=80 /proc/7368/stat : 7368 (bsolo) R 7366 7368 7322 0 -1 0 8724 0 0 0 7983 17 0 0 25 0 1 0 205923617 38785024 8640 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7368/statm: 9469 8640 297 55 0 8360 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 37876 [startup+90.051 s] /proc/loadavg: 0.98 0.96 0.98 2/68 7368 /proc/meminfo: memFree=1236256/2055888 swapFree=4085384/4096564 [pid=7368] ppid=7366 vsize=39864 CPUtime=90.01 /proc/7368/stat : 7368 (bsolo) R 7366 7368 7322 0 -1 0 9222 0 0 0 8983 18 0 0 25 0 1 0 205923617 40820736 9138 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7368/statm: 9966 9138 297 55 0 8857 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 39864 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.98 2/68 7368 /proc/meminfo: memFree=1227872/2055888 swapFree=4085384/4096564 [pid=7368] ppid=7366 vsize=48312 CPUtime=100.01 /proc/7368/stat : 7368 (bsolo) R 7366 7368 7322 0 -1 0 11317 0 0 0 9981 20 0 0 25 0 1 0 205923617 49471488 11233 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7368/statm: 12078 11233 298 55 0 10969 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 48312 [startup+110.064 s] /proc/loadavg: 0.98 0.96 0.98 2/68 7368 /proc/meminfo: memFree=1226784/2055888 swapFree=4085384/4096564 [pid=7368] ppid=7366 vsize=49368 CPUtime=110.01 /proc/7368/stat : 7368 (bsolo) R 7366 7368 7322 0 -1 0 11576 0 0 0 10980 21 0 0 25 0 1 0 205923617 50552832 11492 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7368/statm: 12342 11492 298 55 0 11233 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 49368 [startup+120.071 s] /proc/loadavg: 0.99 0.97 0.98 2/68 7368 /proc/meminfo: memFree=1224672/2055888 swapFree=4085384/4096564 [pid=7368] ppid=7366 vsize=51480 CPUtime=120.02 /proc/7368/stat : 7368 (bsolo) R 7366 7368 7322 0 -1 0 12116 0 0 0 11980 22 0 0 25 0 1 0 205923617 52715520 12032 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7368/statm: 12870 12032 298 55 0 11761 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 51480 [startup+130.077 s] /proc/loadavg: 0.99 0.97 0.98 2/68 7368 /proc/meminfo: memFree=1223584/2055888 swapFree=4085384/4096564 [pid=7368] ppid=7366 vsize=52540 CPUtime=130.02 /proc/7368/stat : 7368 (bsolo) R 7366 7368 7322 0 -1 0 12389 0 0 0 12979 23 0 0 25 0 1 0 205923617 53800960 12305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7368/statm: 13135 12305 298 55 0 12026 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 52540 [startup+140.083 s] /proc/loadavg: 0.99 0.97 0.98 2/68 7368 /proc/meminfo: memFree=1221024/2055888 swapFree=4085384/4096564 [pid=7368] ppid=7366 vsize=55052 CPUtime=140.02 /proc/7368/stat : 7368 (bsolo) R 7366 7368 7322 0 -1 0 13023 0 0 0 13978 24 0 0 25 0 1 0 205923617 56373248 12939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7368/statm: 13763 12939 298 55 0 12654 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 55052 [startup+150.089 s] /proc/loadavg: 0.99 0.97 0.98 2/68 7368 /proc/meminfo: memFree=1218144/2055888 swapFree=4085384/4096564 [pid=7368] ppid=7366 vsize=57956 CPUtime=150.03 /proc/7368/stat : 7368 (bsolo) R 7366 7368 7322 0 -1 0 13742 0 0 0 14978 25 0 0 25 0 1 0 205923617 59346944 13658 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534985 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7368/statm: 14489 13658 298 55 0 13380 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 57956 [startup+160.095 s] /proc/loadavg: 0.99 0.97 0.98 2/68 7368 /proc/meminfo: memFree=1217312/2055888 swapFree=4085384/4096564 [pid=7368] ppid=7366 vsize=58752 CPUtime=160.03 /proc/7368/stat : 7368 (bsolo) R 7366 7368 7322 0 -1 0 13940 0 0 0 15978 25 0 0 25 0 1 0 205923617 60162048 13856 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7368/statm: 14688 13856 298 55 0 13579 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 58752 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.98 2/68 7368 /proc/meminfo: memFree=1215392/2055888 swapFree=4085384/4096564 [pid=7368] ppid=7366 vsize=60732 CPUtime=170.04 /proc/7368/stat : 7368 (bsolo) R 7366 7368 7322 0 -1 0 14418 0 0 0 16977 27 0 0 25 0 1 0 205923617 62189568 14334 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7368/statm: 15183 14334 298 55 0 14074 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 60732 Child status: 30 Real time (s): 172.503 CPU time (s): 172.437 CPU user time (s): 172.144 CPU system time (s): 0.292955 CPU usage (%): 99.9617 Max. virtual memory (cumulated for all children) (Kb): 60732
Begin job on node76 on Sun Jun 4 06:34:02 UTC 2006 FILE ID= 40272-1149402842 PBS_JOBID= 314141 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node76/40272-1149402842/instance-40272-1149402842.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-40272-1149402842 -o ROOT/results/node76/solver-40272-1149402842 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node76/40272-1149402842/instance-40272-1149402842.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 135acf1f05855c365b3d13b378debe22 RANDOM SEED= 564801951 /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.236 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 : 6006.14 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.236 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 : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1271840 kB Buffers: 39740 kB Cached: 672528 kB SwapCached: 2412 kB Active: 120732 kB Inactive: 600252 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1271840 kB SwapTotal: 4096564 kB SwapFree: 4085384 kB Dirty: 140 kB Writeback: 0 kB Mapped: 16552 kB Slab: 49652 kB Committed_AS: 425204 kB PageTables: 1264 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node76 on Sun Jun 4 06:36:55 UTC 2006