Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | OPT | 3 | 664.794 | 664.99 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=229-P1=67-P2=149-P3=97-P4=149-P5=211-P6=89-P7=59-B.opb |
MD5SUM | 12f1f3305860fafcd361cd1c61e0d104 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 4.46032 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 168 |
Total number of constraints | 15 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 15 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 448 |
Sum of products size (including duplicates) | 896 |
Number of different products | 448 |
Sum of products size | 896 |
0.00/0.00 c This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875177-1245188253.opb. 0.00/0.00 c Instance file HOME/instance-1875177-1245188253.opb 0.00/0.00 c File size is 33487 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 616 | 0.00/0.00 c | Number Clauses: 456 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 470 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 9 Core Weight: 1 Total Weight: 1 0.00/0.00 c Elapsed CPU time: 0.005999 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #2 0.00/0.00 c Core size: 8 Core Weight: 1 Total Weight: 2 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 s 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 545 941 3731 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 100 | 545 941 3731 | 5500 100 66 | 13.630 % | 0.00/0.01 c | 251 | 545 941 3731 | 6050 251 71 | 13.629 % | 0.00/0.03 c | 477 | 545 941 3731 | 6655 477 72 | 13.631 % | 0.00/0.04 c | 815 | 545 941 3731 | 7320 815 71 | 13.631 % | 0.00/0.07 c | 1321 | 545 941 3731 | 8052 1321 69 | 13.629 % | 0.09/0.13 c | 2081 | 545 941 3731 | 8857 2081 67 | 13.629 % | 0.19/0.21 c | 3220 | 545 941 3731 | 9743 3220 67 | 13.629 % | 0.29/0.33 c | 4928 | 545 941 3731 | 10717 4928 66 | 13.629 % | 0.59/0.67 c | 7491 | 545 941 3731 | 11789 7491 67 | 13.629 % | 1.00/1.10 c | 11335 | 545 941 3731 | 12968 11335 71 | 13.629 % | 1.79/1.89 c | 17102 | 545 941 3731 | 14265 10382 67 | 13.629 % | 2.59/2.61 c | 25751 | 545 941 3731 | 15692 11743 64 | 13.629 % | 4.40/4.49 c | 38725 | 545 941 3731 | 17261 8442 61 | 13.629 % | 6.49/6.57 c | 58188 | 545 941 3731 | 18987 10139 70 | 13.629 % | 11.09/11.13 c | 87381 | 545 941 3731 | 20886 10002 62 | 13.629 % | 18.48/18.60 c | 131170 | 544 941 3731 | 22974 10916 78 | 13.790 % | 30.08/30.18 c | 196855 | 544 941 3731 | 25272 14375 81 | 13.788 % | 57.08/57.17 c | 295382 | 544 941 3731 | 27799 25515 79 | 13.788 % | 94.47/94.60 c | 443171 | 544 941 3731 | 30579 21953 75 | 13.788 % | 174.74/174.84 c | 664855 | 543 941 3731 | 33637 29615 79 | 13.949 % | 281.61/281.75 c | 997381 | 541 941 3731 | 37001 20213 75 | 14.265 % | 472.55/472.76 c | 1496169 | 540 941 3731 | 40701 33368 67 | 14.424 % | 626.61/626.81 c =============================================================================== 634.40/634.67 c core #3 634.40/634.67 c Core size: 867 Core Weight: 1 Total Weight: 3 634.40/634.67 c Elapsed CPU time: 629.69 s Remaining CPU time: 1170.31 s 636.40/636.69 c Learning 33578 hard constraints 636.40/636.69 c ============================[ Search Statistics ]============================== 636.40/636.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 636.40/636.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 636.40/636.69 c =============================================================================== 636.40/636.69 c | 0 | 571 34526 2150391 | 11508 0 nan | 0.000 % | 636.50/636.73 c | 100 | 571 34526 2150391 | 12659 100 61 | 10.646 % | 636.50/636.77 c | 251 | 571 34526 2150391 | 13925 251 68 | 10.642 % | 636.50/636.80 c | 476 | 571 34526 2150391 | 15318 476 71 | 10.644 % | 636.70/636.92 c | 814 | 571 34526 2150391 | 16849 814 71 | 10.644 % | 636.91/637.12 c | 1322 | 571 34526 2150391 | 18534 1322 70 | 10.642 % | 636.91/637.18 c | 2081 | 571 34526 2150391 | 20388 2081 69 | 10.644 % | 637.01/637.29 c | 3220 | 571 34526 2150391 | 22427 3220 67 | 10.644 % | 637.20/637.48 c | 4928 | 571 34526 2150391 | 24669 4928 66 | 10.642 % | 637.60/637.87 c | 7490 | 571 34526 2150391 | 27136 7490 64 | 10.642 % | 638.40/638.66 c | 11334 | 571 34526 2150391 | 29850 11334 62 | 10.642 % | 639.10/639.36 c | 17100 | 571 34526 2150391 | 32835 17100 64 | 10.642 % | 642.90/643.13 c | 25749 | 571 34526 2150391 | 36119 25749 66 | 10.642 % | 652.50/652.70 c | 38723 | 571 34526 2150391 | 39731 14629 66 | 10.642 % | 656.50/656.72 c | 58185 | 571 34526 2150391 | 43704 34091 70 | 10.642 % | 664.59/664.84 c =============================================================================== 664.59/664.85 c Verified 34526 original clauses. 664.59/664.85 c #cores: 3 664.59/664.85 c Final Weight: 3 664.59/664.85 o 3 664.59/664.85 s OPTIMUM FOUND 664.59/664.85 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 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 x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 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 x73 x74 -x75 -x76 x77 x78 -x79 -x80 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 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 x81 x82 -x83 x84 -x85 -x86 x87 x88 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 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 x89 -x90 -x91 -x92 -x93 x94 x95 -x96 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 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 x97 x98 -x99 -x100 -x101 -x102 x103 -x104 x145 -x146 x147 x148 -x149 -x150 -x151 -x152 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 x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 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 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875177-1245188253/watcher-1875177-1245188253 -o /tmp/evaluation-result-1875177-1245188253/solver-1875177-1245188253 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875177-1245188253.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: 1.02 1.00 1.00 3/64 31651 /proc/meminfo: memFree=1834936/2055920 swapFree=4182380/4192956 [pid=31651] ppid=31649 vsize=2564 CPUtime=0 /proc/31651/stat : 31651 (wbo) R 31649 31651 31119 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 186423200 2625536 194 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/31651/statm: 641 194 129 292 0 337 0 [startup+0.0956781 s] /proc/loadavg: 1.02 1.00 1.00 3/64 31651 /proc/meminfo: memFree=1834936/2055920 swapFree=4182380/4192956 [pid=31651] ppid=31649 vsize=3312 CPUtime=0.09 /proc/31651/stat : 31651 (wbo) R 31649 31651 31119 0 -1 4194304 435 0 0 0 9 0 0 0 20 0 1 0 186423200 3391488 410 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0 /proc/31651/statm: 828 410 136 292 0 533 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3312 [startup+0.101679 s] /proc/loadavg: 1.02 1.00 1.00 3/64 31651 /proc/meminfo: memFree=1834936/2055920 swapFree=4182380/4192956 [pid=31651] ppid=31649 vsize=3444 CPUtime=0.09 /proc/31651/stat : 31651 (wbo) R 31649 31651 31119 0 -1 4194304 443 0 0 0 9 0 0 0 20 0 1 0 186423200 3526656 418 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31651/statm: 861 418 136 292 0 566 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3444 [startup+0.301702 s] /proc/loadavg: 1.02 1.00 1.00 3/64 31651 /proc/meminfo: memFree=1834936/2055920 swapFree=4182380/4192956 [pid=31651] ppid=31649 vsize=4744 CPUtime=0.29 /proc/31651/stat : 31651 (wbo) R 31649 31651 31119 0 -1 4194304 780 0 0 0 29 0 0 0 22 0 1 0 186423200 4857856 755 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31651/statm: 1186 755 136 292 0 891 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4744 [startup+0.701749 s] /proc/loadavg: 1.02 1.00 1.00 3/64 31651 /proc/meminfo: memFree=1834936/2055920 swapFree=4182380/4192956 [pid=31651] ppid=31649 vsize=6564 CPUtime=0.69 /proc/31651/stat : 31651 (wbo) R 31649 31651 31119 0 -1 4194304 1233 0 0 0 68 1 0 0 25 0 1 0 186423200 6721536 1208 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31651/statm: 1641 1208 136 292 0 1346 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6564 [startup+1.50184 s] /proc/loadavg: 1.02 1.00 1.00 2/65 31652 /proc/meminfo: memFree=1829360/2055920 swapFree=4182380/4192956 [pid=31651] ppid=31649 vsize=9844 CPUtime=1.49 /proc/31651/stat : 31651 (wbo) R 31649 31651 31119 0 -1 4194304 2040 0 0 0 147 2 0 0 25 0 1 0 186423200 10080256 2015 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31651/statm: 2461 2015 136 292 0 2166 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9844 [startup+3.10103 s] /proc/loadavg: 1.02 1.00 1.00 2/65 31652 /proc/meminfo: memFree=1824496/2055920 swapFree=4182380/4192956 [pid=31651] ppid=31649 vsize=17084 CPUtime=3.09 /proc/31651/stat : 31651 (wbo) R 31649 31651 31119 0 -1 4194304 3857 0 0 0 303 6 0 0 25 0 1 0 186423200 17494016 3832 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/31651/statm: 4271 3833 136 292 0 3976 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17084 [startup+6.30141 s] /proc/loadavg: 1.02 1.00 1.00 2/65 31652 /proc/meminfo: memFree=1812080/2055920 swapFree=4182380/4192956 [pid=31651] ppid=31649 vsize=29060 CPUtime=6.29 /proc/31651/stat : 31651 (wbo) R 31649 31651 31119 0 -1 4194304 6870 0 0 0 618 11 0 0 25 0 1 0 186423200 29757440 6845 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31651/statm: 7265 6845 136 292 0 6970 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29060 [startup+12.7012 s] /proc/loadavg: 1.01 1.00 1.00 2/65 31652 /proc/meminfo: memFree=1790768/2055920 swapFree=4182380/4192956 [pid=31651] ppid=31649 vsize=49200 CPUtime=12.68 /proc/31651/stat : 31651 (wbo) R 31649 31651 31119 0 -1 4194304 11903 0 0 0 1248 20 0 0 25 0 1 0 186423200 50380800 11878 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31651/statm: 12300 11878 136 292 0 12005 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49200 [startup+25.5017 s] /proc/loadavg: 1.01 1.00 1.00 2/65 31652 /proc/meminfo: memFree=1752624/2055920 swapFree=4182380/4192956 [pid=31651] ppid=31649 vsize=84616 CPUtime=25.49 /proc/31651/stat : 31651 (wbo) R 31649 31651 31119 0 -1 4194304 20735 0 0 0 2511 38 0 0 25 0 1 0 186423200 86646784 20710 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31651/statm: 21154 20710 136 292 0 20859 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 84616 [startup+51.1017 s] /proc/loadavg: 1.01 1.00 1.00 2/65 31652 /proc/meminfo: memFree=1704880/2055920 swapFree=4182380/4192956 [pid=31651] ppid=31649 vsize=133564 CPUtime=51.07 /proc/31651/stat : 31651 (wbo) R 31649 31651 31119 0 -1 4194304 32964 0 0 0 5048 59 0 0 25 0 1 0 186423200 136769536 32939 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31651/statm: 33391 32939 136 292 0 33096 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 133564 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31652 /proc/meminfo: memFree=1606256/2055920 swapFree=4182380/4192956 [pid=31651] ppid=31649 vsize=230536 CPUtime=102.27 /proc/31651/stat : 31651 (wbo) R 31649 31651 31119 0 -1 4194304 57213 0 0 0 10116 111 0 0 25 0 1 0 186423200 236068864 57188 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31651/statm: 57634 57188 136 292 0 57339 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 230536 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31652 /proc/meminfo: memFree=1529136/2055920 swapFree=4182380/4192956 [pid=31651] ppid=31649 vsize=308076 CPUtime=162.24 /proc/31651/stat : 31651 (wbo) R 31649 31651 31119 0 -1 4194304 76547 0 0 0 16074 150 0 0 25 0 1 0 186423200 315469824 76522 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31651/statm: 77019 76522 136 292 0 76724 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 308076 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31652 /proc/meminfo: memFree=1438000/2055920 swapFree=4182380/4192956 [pid=31651] ppid=31649 vsize=398748 CPUtime=222.23 /proc/31651/stat : 31651 (wbo) R 31649 31651 31119 0 -1 4194304 99198 0 0 0 22027 196 0 0 25 0 1 0 186423200 408317952 99173 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31651/statm: 99687 99173 136 292 0 99392 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 398748 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31652 /proc/meminfo: memFree=1345008/2055920 swapFree=4182380/4192956 [pid=31651] ppid=31649 vsize=494692 CPUtime=282.21 /proc/31651/stat : 31651 (wbo) R 31649 31651 31119 0 -1 4194304 123198 0 0 0 27975 246 0 0 25 0 1 0 186423200 506564608 123173 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31651/statm: 123673 123173 136 292 0 123378 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 494692 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31652 /proc/meminfo: memFree=1259568/2055920 swapFree=4182380/4192956 [pid=31651] ppid=31649 vsize=576916 CPUtime=342.2 /proc/31651/stat : 31651 (wbo) R 31649 31651 31119 0 -1 4194304 143754 0 0 0 33927 293 0 0 25 0 1 0 186423200 590761984 143729 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31651/statm: 144229 143729 136 292 0 143934 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 576916 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31652 /proc/meminfo: memFree=1188016/2055920 swapFree=4182380/4192956 [pid=31651] ppid=31649 vsize=648616 CPUtime=402.17 /proc/31651/stat : 31651 (wbo) R 31649 31651 31119 0 -1 4194304 161636 0 0 0 39882 335 0 0 25 0 1 0 186423200 664182784 161611 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31651/statm: 162154 161611 136 292 0 161859 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 648616 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31652 /proc/meminfo: memFree=1133360/2055920 swapFree=4182380/4192956 [pid=31651] ppid=31649 vsize=703276 CPUtime=462.16 /proc/31651/stat : 31651 (wbo) R 31649 31651 31119 0 -1 4194304 175275 0 0 0 45846 370 0 0 25 0 1 0 186423200 720154624 175250 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31651/statm: 175819 175251 137 292 0 175524 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 703276 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31652 /proc/meminfo: memFree=1055280/2055920 swapFree=4182380/4192956 [pid=31651] ppid=31649 vsize=781648 CPUtime=522.14 /proc/31651/stat : 31651 (wbo) R 31649 31651 31119 0 -1 4194304 194848 0 0 0 51801 413 0 0 25 0 1 0 186423200 800407552 194823 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31651/statm: 195412 194823 136 292 0 195117 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 781648 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31652 /proc/meminfo: memFree=1004848/2055920 swapFree=4182380/4192956 [pid=31651] ppid=31649 vsize=831540 CPUtime=582.12 /proc/31651/stat : 31651 (wbo) R 31649 31651 31119 0 -1 4194304 207310 0 0 0 57767 445 0 0 25 0 1 0 186423200 851496960 207285 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31651/statm: 207885 207285 136 292 0 207590 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 831540 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31652 /proc/meminfo: memFree=916336/2055920 swapFree=4182380/4192956 [pid=31651] ppid=31649 vsize=919312 CPUtime=642.11 /proc/31651/stat : 31651 (wbo) R 31649 31651 31119 0 -1 4194304 229301 0 0 0 63726 485 0 0 25 0 1 0 186423200 941375488 229202 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31651/statm: 229828 229202 136 292 0 229533 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 919312 Solver just ended. Dumping a history of the last processes samples [startup+652.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31652 /proc/meminfo: memFree=916336/2055920 swapFree=4182380/4192956 [pid=31651] ppid=31649 vsize=919312 CPUtime=652.5 /proc/31651/stat : 31651 (wbo) R 31649 31651 31119 0 -1 4194304 229305 0 0 0 64762 488 0 0 25 0 1 0 186423200 941375488 229206 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31651/statm: 229828 229206 136 292 0 229533 0 Current children cumulated CPU time (s) 652.5 Current children cumulated vsize (KiB) 919312 [startup+659.101 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31652 /proc/meminfo: memFree=916336/2055920 swapFree=4182380/4192956 [pid=31651] ppid=31649 vsize=919312 CPUtime=658.9 /proc/31651/stat : 31651 (wbo) R 31649 31651 31119 0 -1 4194304 229305 0 0 0 65399 491 0 0 25 0 1 0 186423200 941375488 229206 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31651/statm: 229828 229206 136 292 0 229533 0 Current children cumulated CPU time (s) 658.9 Current children cumulated vsize (KiB) 919312 [startup+662.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31652 /proc/meminfo: memFree=916336/2055920 swapFree=4182380/4192956 [pid=31651] ppid=31649 vsize=919312 CPUtime=662.1 /proc/31651/stat : 31651 (wbo) R 31649 31651 31119 0 -1 4194304 229305 0 0 0 65718 492 0 0 25 0 1 0 186423200 941375488 229206 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/31651/statm: 229828 229206 136 292 0 229533 0 Current children cumulated CPU time (s) 662.1 Current children cumulated vsize (KiB) 919312 [startup+663.902 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31652 /proc/meminfo: memFree=916336/2055920 swapFree=4182380/4192956 [pid=31651] ppid=31649 vsize=919312 CPUtime=663.7 /proc/31651/stat : 31651 (wbo) R 31649 31651 31119 0 -1 4194304 229305 0 0 0 65877 493 0 0 25 0 1 0 186423200 941375488 229206 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31651/statm: 229828 229206 136 292 0 229533 0 Current children cumulated CPU time (s) 663.7 Current children cumulated vsize (KiB) 919312 [startup+664.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31652 /proc/meminfo: memFree=916336/2055920 swapFree=4182380/4192956 [pid=31651] ppid=31649 vsize=919312 CPUtime=664.49 /proc/31651/stat : 31651 (wbo) R 31649 31651 31119 0 -1 4194304 229305 0 0 0 65956 493 0 0 25 0 1 0 186423200 941375488 229206 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31651/statm: 229828 229206 136 292 0 229533 0 Current children cumulated CPU time (s) 664.49 Current children cumulated vsize (KiB) 919312 [startup+664.902 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31652 /proc/meminfo: memFree=916336/2055920 swapFree=4182380/4192956 [pid=31651] ppid=31649 vsize=0 CPUtime=664.7 /proc/31651/stat : 31651 (wbo) R 31649 31651 31119 0 -1 4194308 229305 0 0 0 65972 498 0 0 25 0 1 0 186423200 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/31651/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 664.7 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 664.99 CPU time (s): 664.794 CPU user time (s): 659.722 CPU system time (s): 5.07223 CPU usage (%): 99.9705 Max. virtual memory (cumulated for all children) (KiB): 919556 getrusage(RUSAGE_CHILDREN,...) data: user time used= 659.722 system time used= 5.07223 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 229305 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= 2 involuntary context switches= 615 runsolver used 0.513921 second user time and 1.40978 second system time The end
Begin job on node75 at 2009-06-16 23:37:33 IDJOB=1875177 IDBENCH=48017 IDSOLVER=698 FILE ID=node75/1875177-1245188253 PBS_JOBID= 9363920 Free space on /tmp= 66428 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=229-P1=67-P2=149-P3=97-P4=149-P5=211-P6=89-P7=59-B.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875177-1245188253/watcher-1875177-1245188253 -o /tmp/evaluation-result-1875177-1245188253/solver-1875177-1245188253 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875177-1245188253.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 12f1f3305860fafcd361cd1c61e0d104 RANDOM SEED=683475037 node75.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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 : 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.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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1835416 kB Buffers: 33772 kB Cached: 116740 kB SwapCached: 4596 kB Active: 54096 kB Inactive: 104208 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1835416 kB SwapTotal: 4192956 kB SwapFree: 4182380 kB Dirty: 2652 kB Writeback: 0 kB Mapped: 13412 kB Slab: 48120 kB Committed_AS: 100140 kB PageTables: 1420 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875177-1245188253.opb Free space on /tmp at the end= 66424 MiB End job on node75 at 2009-06-16 23:48:38