Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | OPT | 66 | 42.5785 | 42.5967 |
Name | normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb |
MD5SUM | 417e88f02ffea81dc93d5dcf35453cad |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 66 |
Best CPU time to get the best result obtained on this benchmark | 0.259959 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 66 |
Optimality of the best value was proved | YES |
Number of variables | 624 |
Total number of constraints | 1884 |
Number of constraints which are clauses | 1860 |
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 | 26 |
Number of terms in the objective function | 624 |
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 | 624 |
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 | 624 |
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/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2656118-1276406543.opb. 0.00/0.00 c Instance file HOME/instance-2656118-1276406543.opb 0.00/0.00 c File size is 67765 bytes. 0.00/0.01 c Highest Coefficient sum: 29 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 624 | 0.00/0.01 c | Number Clauses: 1860 | 0.00/0.01 c | Number Cardinality: 24 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 520 1988 5816 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 100 | 520 1988 5816 | 5500 100 8 | 16.667 % | 0.00/0.02 c | 250 | 519 1988 5816 | 6050 132 7 | 16.828 % | 0.00/0.02 c | 476 | 519 1988 5816 | 6655 358 14 | 16.828 % | 0.03/0.04 c | 814 | 519 1988 5816 | 7320 696 13 | 16.827 % | 0.03/0.06 c | 1321 | 519 1988 5816 | 8052 1203 14 | 16.827 % | 0.03/0.09 c | 2080 | 519 1988 5816 | 8857 1962 16 | 16.828 % | 0.09/0.14 c | 3219 | 519 1988 5816 | 9743 3101 15 | 16.827 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c New solution: 72 0.09/0.17 o 72 0.09/0.17 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s 0.09/0.17 c =============================================================================== 0.09/0.17 c | 3925 | 519 1989 6352 | 5000 3807 16 | 16.827 % | 0.09/0.18 c | 4025 | 518 1989 6352 | 5500 3895 16 | 16.987 % | 0.09/0.18 c | 4175 | 518 1989 6352 | 6050 4045 15 | 16.987 % | 0.09/0.19 c | 4400 | 517 1989 6352 | 6655 4270 15 | 17.148 % | 0.19/0.20 c | 4737 | 517 1989 6352 | 7320 4607 15 | 17.148 % | 0.19/0.22 c | 5245 | 516 1989 6352 | 8052 5115 15 | 17.308 % | 0.19/0.25 c | 6005 | 514 1989 6352 | 8857 5875 15 | 17.628 % | 0.29/0.32 c | 7144 | 514 1989 6352 | 9743 6975 16 | 17.628 % | 0.39/0.43 c | 8855 | 513 1989 6352 | 10717 8670 16 | 17.789 % | 0.59/0.63 c | 11418 | 513 1989 6352 | 11789 5805 17 | 17.789 % | 0.89/0.97 c | 15264 | 510 1989 6352 | 12968 9533 18 | 18.269 % | 1.59/1.61 c | 21030 | 509 1989 6352 | 14265 8708 21 | 18.430 % | 2.79/2.83 c | 29679 | 509 1989 6352 | 15692 10158 23 | 18.430 % | 4.59/4.60 c | 42653 | 507 1989 6352 | 17261 15196 22 | 18.751 % | 7.59/7.62 c | 62118 | 507 1989 6352 | 18987 17260 22 | 18.750 % | 12.89/12.91 c | 91310 | 507 1989 6352 | 20886 17747 25 | 18.750 % | 15.68/15.71 c =============================================================================== 15.68/15.71 c New solution: 70 15.68/15.71 o 70 15.68/15.71 c Elapsed CPU time: 15.4017 s Remaining CPU time: 164.598 s 15.68/15.71 c =============================================================================== 15.68/15.71 c | 106873 | 507 1990 6888 | 5000 12284 22 | 18.750 % | 15.68/15.76 c | 106974 | 507 1990 6888 | 5500 3172 20 | 18.751 % | 15.68/15.77 c | 107125 | 507 1990 6888 | 6050 3323 19 | 18.750 % | 15.68/15.78 c | 107350 | 506 1990 6888 | 6655 3399 19 | 18.911 % | 15.68/15.79 c | 107688 | 506 1990 6888 | 7320 3737 18 | 18.911 % | 15.79/15.81 c | 108194 | 503 1990 6888 | 8052 4243 17 | 19.391 % | 15.79/15.85 c | 108954 | 503 1990 6888 | 8857 5003 17 | 19.391 % | 15.88/15.92 c | 110094 | 503 1990 6888 | 9743 3806 19 | 19.391 % | 15.99/16.04 c | 111802 | 502 1990 6888 | 10717 5458 20 | 19.552 % | 16.18/16.25 c | 114365 | 502 1990 6888 | 11789 8021 21 | 19.552 % | 16.68/16.71 c | 118210 | 500 1990 6888 | 12968 11836 23 | 19.872 % | 17.39/17.40 c | 123978 | 496 1990 6888 | 14265 11036 23 | 20.515 % | 17.68/17.72 c =============================================================================== 17.68/17.72 c New solution: 68 17.68/17.72 o 68 17.68/17.72 c Elapsed CPU time: 17.3604 s Remaining CPU time: 162.64 s 17.68/17.72 c =============================================================================== 17.68/17.72 c | 126378 | 496 1991 7424 | 5000 13419 24 | 20.515 % | 17.68/17.77 c | 126478 | 496 1991 7424 | 5500 3455 22 | 20.513 % | 17.68/17.77 c | 126629 | 496 1991 7424 | 6050 3606 22 | 20.513 % | 17.68/17.79 c | 126854 | 496 1991 7424 | 6655 3831 23 | 20.513 % | 17.79/17.82 c | 127192 | 496 1991 7424 | 7320 4169 23 | 20.513 % | 17.79/17.87 c | 127699 | 496 1991 7424 | 8052 4676 24 | 20.515 % | 17.89/17.93 c | 128460 | 496 1991 7424 | 8857 5437 24 | 20.513 % | 17.98/18.03 c | 129599 | 496 1991 7424 | 9743 6576 24 | 20.514 % | 18.19/18.20 c | 131308 | 496 1991 7424 | 10717 8285 25 | 20.513 % | 18.49/18.55 c | 133870 | 496 1991 7424 | 11789 10847 26 | 20.513 % | 18.89/18.94 c | 137715 | 496 1991 7424 | 12968 8692 25 | 20.513 % | 19.58/19.63 c | 143481 | 496 1991 7424 | 14265 7896 25 | 20.513 % | 20.68/20.79 c | 152131 | 490 1991 7424 | 15692 9359 34 | 21.475 % | 22.69/22.70 c | 165105 | 490 1991 7424 | 17261 14320 47 | 21.475 % | 23.88/23.92 c =============================================================================== 23.88/23.92 c New solution: 66 23.88/23.92 o 66 23.88/23.92 c Elapsed CPU time: 23.4374 s Remaining CPU time: 156.563 s 23.88/23.92 c =============================================================================== 23.88/23.92 c | 171710 | 490 1992 7960 | 5000 12164 50 | 21.475 % | 23.88/23.95 c | 171810 | 490 1992 7960 | 5500 3141 47 | 21.475 % | 23.88/23.96 c | 171960 | 490 1992 7960 | 6050 3291 46 | 21.475 % | 23.88/23.98 c | 172185 | 490 1992 7960 | 6655 3516 45 | 21.475 % | 23.98/24.00 c | 172522 | 490 1992 7960 | 7320 3853 44 | 21.475 % | 23.98/24.05 c | 173029 | 490 1992 7960 | 8052 4360 45 | 21.475 % | 24.09/24.12 c | 173788 | 490 1992 7960 | 8857 5119 43 | 21.475 % | 24.19/24.22 c | 174927 | 490 1992 7960 | 9743 6258 42 | 21.475 % | 24.38/24.42 c | 176635 | 490 1992 7960 | 10717 7966 42 | 21.475 % | 24.69/24.78 c | 179199 | 490 1992 7960 | 11789 10530 42 | 21.475 % | 25.29/25.34 c | 183044 | 490 1992 7960 | 12968 8275 48 | 21.475 % | 26.18/26.24 c | 188810 | 488 1992 7960 | 14265 7355 53 | 21.795 % | 27.48/27.51 c | 197459 | 487 1992 7960 | 15692 8685 57 | 21.956 % | 29.59/29.64 c | 210433 | 487 1992 7960 | 17261 13651 53 | 21.956 % | 33.47/33.56 c | 229895 | 486 1992 7960 | 18987 15156 65 | 22.120 % | 39.49/39.53 c | 259087 | 473 1992 7960 | 20886 15465 59 | 24.208 % | 42.47/42.58 c =============================================================================== 42.47/42.58 c Best Solution: 66 42.47/42.58 s OPTIMUM FOUND 42.47/42.58 c Total CPU time: 41.7916 s 42.47/42.58 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 -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 -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 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 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 x131 x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 x269 x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 x385 x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624
OK 66
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656118-1276406543/watcher-2656118-1276406543 -o /tmp/evaluation-result-2656118-1276406543/solver-2656118-1276406543 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656118-1276406543.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 22611 /proc/meminfo: memFree=1862908/2059040 swapFree=4100916/4192956 [pid=22611] ppid=22609 vsize=2644 CPUtime=0 /proc/22611/stat : 22611 (wbo1.4b) R 22609 22611 22158 0 -1 4202496 300 0 0 0 0 0 0 0 22 0 1 0 16255644 2707456 219 1992294400 134512640 135751879 4287996704 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22611/statm: 661 219 145 303 0 339 0 [startup+0.0359001 s] /proc/loadavg: 0.92 0.98 0.99 3/106 22611 /proc/meminfo: memFree=1862908/2059040 swapFree=4100916/4192956 [pid=22611] ppid=22609 vsize=2840 CPUtime=0.03 /proc/22611/stat : 22611 (wbo1.4b) R 22609 22611 22158 0 -1 4202496 371 0 0 0 3 0 0 0 22 0 1 0 16255644 2908160 273 1992294400 134512640 135751879 4287996704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22611/statm: 710 273 147 303 0 405 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2840 [startup+0.100906 s] /proc/loadavg: 0.92 0.98 0.99 3/106 22611 /proc/meminfo: memFree=1862908/2059040 swapFree=4100916/4192956 [pid=22611] ppid=22609 vsize=3104 CPUtime=0.09 /proc/22611/stat : 22611 (wbo1.4b) R 22609 22611 22158 0 -1 4202496 441 0 0 0 9 0 0 0 22 0 1 0 16255644 3178496 343 1992294400 134512640 135751879 4287996704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22611/statm: 776 343 147 303 0 471 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3104 [startup+0.300924 s] /proc/loadavg: 0.92 0.98 0.99 3/106 22611 /proc/meminfo: memFree=1862908/2059040 swapFree=4100916/4192956 [pid=22611] ppid=22609 vsize=3900 CPUtime=0.29 /proc/22611/stat : 22611 (wbo1.4b) R 22609 22611 22158 0 -1 4202496 650 0 0 0 28 1 0 0 22 0 1 0 16255644 3993600 552 1992294400 134512640 135751879 4287996704 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22611/statm: 975 552 147 303 0 670 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3900 [startup+0.700963 s] /proc/loadavg: 0.92 0.98 0.99 3/106 22611 /proc/meminfo: memFree=1862908/2059040 swapFree=4100916/4192956 [pid=22611] ppid=22609 vsize=4992 CPUtime=0.69 /proc/22611/stat : 22611 (wbo1.4b) R 22609 22611 22158 0 -1 4202496 918 0 0 0 66 3 0 0 24 0 1 0 16255644 5111808 820 1992294400 134512640 135751879 4287996704 18446744073709551615 134616851 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22611/statm: 1248 820 148 303 0 943 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4992 [startup+1.50104 s] /proc/loadavg: 0.92 0.98 0.99 2/107 22612 /proc/meminfo: memFree=1859180/2059040 swapFree=4100916/4192956 [pid=22611] ppid=22609 vsize=6708 CPUtime=1.49 /proc/22611/stat : 22611 (wbo1.4b) R 22609 22611 22158 0 -1 4202496 1327 0 0 0 144 5 0 0 25 0 1 0 16255644 6868992 1229 1992294400 134512640 135751879 4287996704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22611/statm: 1677 1229 148 303 0 1372 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6708 [startup+3.10119 s] /proc/loadavg: 0.92 0.98 0.99 2/107 22612 /proc/meminfo: memFree=1857072/2059040 swapFree=4100916/4192956 [pid=22611] ppid=22609 vsize=9360 CPUtime=3.09 /proc/22611/stat : 22611 (wbo1.4b) R 22609 22611 22158 0 -1 4202496 1993 0 0 0 301 8 0 0 25 0 1 0 16255644 9584640 1895 1992294400 134512640 135751879 4287996704 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22611/statm: 2340 1895 148 303 0 2035 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9360 [startup+6.30149 s] /proc/loadavg: 0.93 0.98 0.99 2/107 22612 /proc/meminfo: memFree=1851864/2059040 swapFree=4100916/4192956 [pid=22611] ppid=22609 vsize=13988 CPUtime=6.29 /proc/22611/stat : 22611 (wbo1.4b) R 22609 22611 22158 0 -1 4202496 3150 0 0 0 615 14 0 0 25 0 1 0 16255644 14323712 3052 1992294400 134512640 135751879 4287996704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22611/statm: 3497 3052 148 303 0 3192 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13988 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/107 22612 /proc/meminfo: memFree=1843308/2059040 swapFree=4100916/4192956 [pid=22611] ppid=22609 vsize=22108 CPUtime=12.69 /proc/22611/stat : 22611 (wbo1.4b) R 22609 22611 22158 0 -1 4202496 5182 0 0 0 1245 24 0 0 25 0 1 0 16255644 22638592 5084 1992294400 134512640 135751879 4287996704 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22611/statm: 5527 5084 148 303 0 5222 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22108 [startup+25.5003 s] /proc/loadavg: 0.95 0.98 0.99 2/107 22612 /proc/meminfo: memFree=1819624/2059040 swapFree=4100916/4192956 [pid=22611] ppid=22609 vsize=45712 CPUtime=25.48 /proc/22611/stat : 22611 (wbo1.4b) R 22609 22611 22158 0 -1 4202496 11099 0 0 0 2498 50 0 0 19 0 1 0 16255644 46809088 11001 1992294400 134512640 135751879 4287996704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22611/statm: 11428 11001 148 303 0 11123 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 45712 Solver just ended. Dumping a history of the last processes samples [startup+31.9089 s] /proc/loadavg: 0.95 0.98 0.99 2/107 22612 /proc/meminfo: memFree=1805364/2059040 swapFree=4100916/4192956 [pid=22611] ppid=22609 vsize=59568 CPUtime=31.88 /proc/22611/stat : 22611 (wbo1.4b) R 22609 22611 22158 0 -1 4202496 14549 0 0 0 3125 63 0 0 25 0 1 0 16255644 60997632 14451 1992294400 134512640 135751879 4287996704 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22611/statm: 14892 14451 148 303 0 14587 0 Current children cumulated CPU time (s) 31.88 Current children cumulated vsize (KiB) 59568 [startup+38.3015 s] /proc/loadavg: 0.95 0.98 0.99 2/107 22612 /proc/meminfo: memFree=1795444/2059040 swapFree=4100916/4192956 [pid=22611] ppid=22609 vsize=71212 CPUtime=38.27 /proc/22611/stat : 22611 (wbo1.4b) R 22609 22611 22158 0 -1 4202496 17469 0 0 0 3755 72 0 0 25 0 1 0 16255644 72921088 17371 1992294400 134512640 135751879 4287996704 18446744073709551615 134610747 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22611/statm: 17803 17372 148 303 0 17498 0 Current children cumulated CPU time (s) 38.27 Current children cumulated vsize (KiB) 71212 [startup+39.9017 s] /proc/loadavg: 0.95 0.98 0.99 2/107 22612 /proc/meminfo: memFree=1790980/2059040 swapFree=4100916/4192956 [pid=22611] ppid=22609 vsize=74188 CPUtime=39.88 /proc/22611/stat : 22611 (wbo1.4b) R 22609 22611 22158 0 -1 4202496 18219 0 0 0 3913 75 0 0 25 0 1 0 16255644 75968512 18121 1992294400 134512640 135751879 4287996704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22611/statm: 18547 18121 148 303 0 18242 0 Current children cumulated CPU time (s) 39.88 Current children cumulated vsize (KiB) 74188 [startup+41.5008 s] /proc/loadavg: 0.96 0.98 0.99 2/107 22612 /proc/meminfo: memFree=1789120/2059040 swapFree=4100916/4192956 [pid=22611] ppid=22609 vsize=77032 CPUtime=41.47 /proc/22611/stat : 22611 (wbo1.4b) R 22609 22611 22158 0 -1 4202496 18901 0 0 0 4071 76 0 0 25 0 1 0 16255644 78880768 18803 1992294400 134512640 135751879 4287996704 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22611/statm: 19258 18803 148 303 0 18953 0 Current children cumulated CPU time (s) 41.47 Current children cumulated vsize (KiB) 77032 [startup+42.3009 s] /proc/loadavg: 0.96 0.98 0.99 2/107 22612 /proc/meminfo: memFree=1787136/2059040 swapFree=4100916/4192956 [pid=22611] ppid=22609 vsize=78324 CPUtime=42.27 /proc/22611/stat : 22611 (wbo1.4b) R 22609 22611 22158 0 -1 4202496 19239 0 0 0 4150 77 0 0 25 0 1 0 16255644 80203776 19141 1992294400 134512640 135751879 4287996704 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22611/statm: 19581 19141 148 303 0 19276 0 Current children cumulated CPU time (s) 42.27 Current children cumulated vsize (KiB) 78324 [startup+42.5009 s] /proc/loadavg: 0.96 0.98 0.99 2/107 22612 /proc/meminfo: memFree=1787136/2059040 swapFree=4100916/4192956 [pid=22611] ppid=22609 vsize=78580 CPUtime=42.47 /proc/22611/stat : 22611 (wbo1.4b) R 22609 22611 22158 0 -1 4202496 19311 0 0 0 4170 77 0 0 25 0 1 0 16255644 80465920 19213 1992294400 134512640 135751879 4287996704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22611/statm: 19645 19213 148 303 0 19340 0 Current children cumulated CPU time (s) 42.47 Current children cumulated vsize (KiB) 78580 Child status: 0 Real time (s): 42.5967 CPU time (s): 42.5785 CPU user time (s): 41.7916 CPU system time (s): 0.78688 CPU usage (%): 99.9573 Max. virtual memory (cumulated for all children) (KiB): 78580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 41.7916 system time used= 0.78688 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19321 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 117 runsolver used 0.071989 second user time and 0.214967 second system time The end
Begin job on node015 at 2010-06-13 07:22:23 IDJOB=2656118 IDBENCH=2032 IDSOLVER=1161 FILE ID=node015/2656118-1276406543 PBS_JOBID= 11173274 Free space on /tmp= 62548 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656118-1276406543/watcher-2656118-1276406543 -o /tmp/evaluation-result-2656118-1276406543/solver-2656118-1276406543 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656118-1276406543.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 417e88f02ffea81dc93d5dcf35453cad RANDOM SEED=1482404249 node015.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 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.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1863312 kB Buffers: 7908 kB Cached: 84416 kB SwapCached: 51712 kB Active: 56172 kB Inactive: 89620 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1863312 kB SwapTotal: 4192956 kB SwapFree: 4100916 kB Dirty: 2772 kB Writeback: 0 kB AnonPages: 10724 kB Mapped: 7148 kB Slab: 28152 kB PageTables: 3960 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182064 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62544 MiB End job on node015 at 2010-06-13 07:23:06