Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | OPT | 3 | 481.001 | 481.214 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=197-P1=29-P2=199-P3=251-P4=227-P5=257-P6=149-P7=53-B.opb |
MD5SUM | 83b6f70c71dbcf261c00790940be437e |
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 | 8.99163 |
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-1875200-1245188634.opb. 0.00/0.00 c Instance file HOME/instance-1875200-1245188634.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.004999 s Remaining CPU time: 1800 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 | 101 | 545 941 3731 | 5500 101 68 | 13.630 % | 0.00/0.02 c | 251 | 545 941 3731 | 6050 251 71 | 13.631 % | 0.00/0.03 c | 476 | 545 941 3731 | 6655 476 70 | 13.631 % | 0.00/0.05 c | 814 | 545 941 3731 | 7320 814 68 | 13.629 % | 0.00/0.07 c | 1321 | 545 941 3731 | 8052 1321 65 | 13.631 % | 0.10/0.12 c | 2080 | 545 941 3731 | 8857 2080 64 | 13.629 % | 0.19/0.21 c | 3220 | 545 941 3731 | 9743 3220 62 | 13.632 % | 0.29/0.34 c | 4929 | 545 941 3731 | 10717 4929 64 | 13.629 % | 0.59/0.63 c | 7492 | 545 941 3731 | 11789 7492 62 | 13.629 % | 0.79/0.88 c | 11337 | 545 941 3731 | 12968 11337 64 | 13.629 % | 1.39/1.41 c | 17104 | 545 941 3731 | 14265 10351 68 | 13.629 % | 2.39/2.43 c | 25754 | 545 941 3731 | 15692 11759 62 | 13.629 % | 3.99/4.04 c | 38728 | 545 941 3731 | 17261 8467 72 | 13.629 % | 6.49/6.58 c | 58189 | 545 941 3731 | 18987 10245 63 | 13.629 % | 11.58/11.61 c | 87384 | 545 941 3731 | 20886 10272 77 | 13.631 % | 18.38/18.49 c | 131173 | 545 941 3731 | 22974 11152 71 | 13.629 % | 29.18/29.20 c | 196858 | 544 941 3731 | 25272 14415 61 | 13.790 % | 49.57/49.61 c | 295385 | 544 941 3731 | 27799 25236 71 | 13.788 % | 94.95/95.03 c | 443174 | 543 941 3731 | 30579 19287 71 | 13.949 % | 164.32/164.43 c | 664858 | 541 941 3731 | 33637 26476 64 | 14.263 % | 291.55/291.76 c | 997384 | 540 941 3731 | 37001 20773 71 | 14.422 % | 369.43/369.69 c =============================================================================== 379.11/379.31 c core #3 379.11/379.31 c Core size: 862 Core Weight: 1 Total Weight: 3 379.11/379.31 c Elapsed CPU time: 376.323 s Remaining CPU time: 1423.68 s 380.61/380.81 c Learning 35107 hard constraints 380.61/380.81 c ============================[ Search Statistics ]============================== 380.61/380.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 380.61/380.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 380.61/380.81 c =============================================================================== 380.61/380.81 c | 0 | 571 36055 2801625 | 12018 0 nan | 0.000 % | 380.61/380.89 c | 101 | 571 36055 2801625 | 13220 101 66 | 10.644 % | 380.71/380.90 c | 252 | 571 36055 2801625 | 14542 252 67 | 10.644 % | 380.71/380.94 c | 477 | 571 36055 2801625 | 15996 477 64 | 10.642 % | 380.81/381.08 c | 815 | 571 36055 2801625 | 17596 815 68 | 10.642 % | 380.92/381.11 c | 1322 | 571 36055 2801625 | 19355 1322 66 | 10.642 % | 380.92/381.18 c | 2083 | 571 36055 2801625 | 21291 2083 64 | 10.642 % | 381.02/381.28 c | 3223 | 571 36055 2801625 | 23420 3223 67 | 10.642 % | 381.22/381.45 c | 4932 | 571 36055 2801625 | 25762 4932 65 | 10.642 % | 382.82/383.06 c | 7495 | 571 36055 2801625 | 28338 7495 67 | 10.642 % | 383.32/383.55 c | 11339 | 571 36055 2801625 | 31172 11339 70 | 10.642 % | 384.22/384.49 c | 17105 | 571 36055 2801625 | 34289 17105 67 | 10.644 % | 387.22/387.41 c | 25754 | 571 36055 2801625 | 37718 25754 64 | 10.642 % | 390.52/390.72 c | 38730 | 571 36055 2801625 | 41490 12090 64 | 10.642 % | 393.62/393.88 c | 58192 | 570 36055 2801625 | 45639 31552 65 | 10.798 % | 408.11/408.35 c | 87385 | 570 36055 2801625 | 50203 26380 72 | 10.801 % | 433.30/433.56 c | 131174 | 570 36055 2801625 | 55223 31524 72 | 10.798 % | 471.39/471.64 c | 196861 | 570 36055 2801625 | 60746 53507 67 | 10.798 % | 480.88/481.12 c =============================================================================== 480.88/481.12 c Verified 36055 original clauses. 480.88/481.12 c #cores: 3 480.88/481.12 c Final Weight: 3 480.88/481.12 o 3 480.88/481.12 s OPTIMUM FOUND 480.88/481.12 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-1875200-1245188634/watcher-1875200-1245188634 -o /tmp/evaluation-result-1875200-1245188634/solver-1875200-1245188634 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875200-1245188634.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.04 1.00 0.99 3/65 5981 /proc/meminfo: memFree=1890208/2055920 swapFree=4192956/4192956 [pid=5981] ppid=5979 vsize=2564 CPUtime=0 /proc/5981/stat : 5981 (wbo) R 5979 5981 3324 0 -1 4194304 209 0 0 0 0 0 0 0 18 0 1 0 4775666 2625536 193 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/5981/statm: 641 194 129 292 0 337 0 [startup+0.10309 s] /proc/loadavg: 1.04 1.00 0.99 3/65 5981 /proc/meminfo: memFree=1890208/2055920 swapFree=4192956/4192956 [pid=5981] ppid=5979 vsize=3440 CPUtime=0.1 /proc/5981/stat : 5981 (wbo) R 5979 5981 3324 0 -1 4194304 446 0 0 0 10 0 0 0 18 0 1 0 4775666 3522560 421 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5981/statm: 860 421 136 292 0 565 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3440 [startup+0.201099 s] /proc/loadavg: 1.04 1.00 0.99 3/65 5981 /proc/meminfo: memFree=1890208/2055920 swapFree=4192956/4192956 [pid=5981] ppid=5979 vsize=4088 CPUtime=0.19 /proc/5981/stat : 5981 (wbo) R 5979 5981 3324 0 -1 4194304 607 0 0 0 19 0 0 0 18 0 1 0 4775666 4186112 582 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5981/statm: 1022 583 136 292 0 727 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4088 [startup+0.301108 s] /proc/loadavg: 1.04 1.00 0.99 3/65 5981 /proc/meminfo: memFree=1890208/2055920 swapFree=4192956/4192956 [pid=5981] ppid=5979 vsize=4736 CPUtime=0.29 /proc/5981/stat : 5981 (wbo) R 5979 5981 3324 0 -1 4194304 769 0 0 0 29 0 0 0 19 0 1 0 4775666 4849664 744 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5981/statm: 1184 744 136 292 0 889 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4736 [startup+0.701145 s] /proc/loadavg: 1.04 1.00 0.99 3/65 5981 /proc/meminfo: memFree=1890208/2055920 swapFree=4192956/4192956 [pid=5981] ppid=5979 vsize=6688 CPUtime=0.69 /proc/5981/stat : 5981 (wbo) R 5979 5981 3324 0 -1 4194304 1261 0 0 0 68 1 0 0 23 0 1 0 4775666 6848512 1236 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5981/statm: 1672 1236 136 292 0 1377 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6688 [startup+1.50122 s] /proc/loadavg: 1.04 1.00 0.99 2/66 5982 /proc/meminfo: memFree=1883416/2055920 swapFree=4192956/4192956 [pid=5981] ppid=5979 vsize=11208 CPUtime=1.49 /proc/5981/stat : 5981 (wbo) R 5979 5981 3324 0 -1 4194304 2390 0 0 0 147 2 0 0 25 0 1 0 4775666 11476992 2365 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5981/statm: 2802 2365 136 292 0 2507 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11208 [startup+3.10137 s] /proc/loadavg: 1.04 1.00 0.99 2/66 5982 /proc/meminfo: memFree=1878360/2055920 swapFree=4192956/4192956 [pid=5981] ppid=5979 vsize=17832 CPUtime=3.09 /proc/5981/stat : 5981 (wbo) R 5979 5981 3324 0 -1 4194304 4052 0 0 0 303 6 0 0 25 0 1 0 4775666 18259968 4027 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5981/statm: 4458 4027 136 292 0 4163 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17832 [startup+6.30167 s] /proc/loadavg: 1.03 1.00 0.99 2/66 5982 /proc/meminfo: memFree=1865624/2055920 swapFree=4192956/4192956 [pid=5981] ppid=5979 vsize=29024 CPUtime=6.29 /proc/5981/stat : 5981 (wbo) R 5979 5981 3324 0 -1 4194304 6845 0 0 0 618 11 0 0 25 0 1 0 4775666 29720576 6820 1992294400 134512640 135709839 4294956240 18446744073709551615 134568563 0 0 4096 3 0 0 0 17 0 0 0 /proc/5981/statm: 7256 6820 136 292 0 6961 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29024 [startup+12.7013 s] /proc/loadavg: 1.03 1.00 0.99 2/66 5982 /proc/meminfo: memFree=1845736/2055920 swapFree=4192956/4192956 [pid=5981] ppid=5979 vsize=48896 CPUtime=12.68 /proc/5981/stat : 5981 (wbo) R 5979 5981 3324 0 -1 4194304 11826 0 0 0 1248 20 0 0 25 0 1 0 4775666 50069504 11801 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5981/statm: 12224 11801 136 292 0 11929 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 48896 [startup+25.5015 s] /proc/loadavg: 1.02 1.00 0.99 2/66 5982 /proc/meminfo: memFree=1808744/2055920 swapFree=4192956/4192956 [pid=5981] ppid=5979 vsize=84060 CPUtime=25.48 /proc/5981/stat : 5981 (wbo) R 5979 5981 3324 0 -1 4194304 20591 0 0 0 2511 37 0 0 25 0 1 0 4775666 86077440 20566 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5981/statm: 21015 20566 136 292 0 20720 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 84060 [startup+51.1019 s] /proc/loadavg: 1.01 1.00 0.99 2/66 5982 /proc/meminfo: memFree=1750184/2055920 swapFree=4192956/4192956 [pid=5981] ppid=5979 vsize=143532 CPUtime=51.07 /proc/5981/stat : 5981 (wbo) R 5979 5981 3324 0 -1 4194304 35454 0 0 0 5043 64 0 0 25 0 1 0 4775666 146976768 35429 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5981/statm: 35883 35429 136 292 0 35588 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 143532 [startup+102.302 s] /proc/loadavg: 1.00 1.00 0.99 2/66 5982 /proc/meminfo: memFree=1666920/2055920 swapFree=4192956/4192956 [pid=5981] ppid=5979 vsize=225252 CPUtime=102.26 /proc/5981/stat : 5981 (wbo) R 5979 5981 3324 0 -1 4194304 55848 0 0 0 10125 101 0 0 25 0 1 0 4775666 230658048 55823 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5981/statm: 56313 55823 136 292 0 56018 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 225252 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.99 2/66 5982 /proc/meminfo: memFree=1578472/2055920 swapFree=4192956/4192956 [pid=5981] ppid=5979 vsize=314556 CPUtime=162.21 /proc/5981/stat : 5981 (wbo) R 5979 5981 3324 0 -1 4194304 78147 0 0 0 16079 142 0 0 25 0 1 0 4775666 322105344 78122 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5981/statm: 78639 78122 136 292 0 78344 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 314556 [startup+222.306 s] /proc/loadavg: 1.00 1.00 0.99 2/66 5982 /proc/meminfo: memFree=1497448/2055920 swapFree=4192956/4192956 [pid=5981] ppid=5979 vsize=394480 CPUtime=222.19 /proc/5981/stat : 5981 (wbo) R 5979 5981 3324 0 -1 4194304 98119 0 0 0 22035 184 0 0 25 0 1 0 4775666 403947520 98094 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5981/statm: 98620 98094 136 292 0 98325 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 394480 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.99 2/66 5982 /proc/meminfo: memFree=1433576/2055920 swapFree=4192956/4192956 [pid=5981] ppid=5979 vsize=459080 CPUtime=282.15 /proc/5981/stat : 5981 (wbo) R 5979 5981 3324 0 -1 4194304 114274 0 0 0 27996 219 0 0 25 0 1 0 4775666 470097920 114249 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5981/statm: 114770 114249 136 292 0 114475 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 459080 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.99 2/66 5982 /proc/meminfo: memFree=1357232/2055920 swapFree=4192956/4192956 [pid=5981] ppid=5979 vsize=534564 CPUtime=342.13 /proc/5981/stat : 5981 (wbo) R 5979 5981 3324 0 -1 4194304 133130 0 0 0 33950 263 0 0 25 0 1 0 4775666 547393536 133105 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5981/statm: 133641 133105 136 292 0 133346 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 534564 [startup+402.302 s] /proc/loadavg: 1.07 1.01 1.00 2/66 5982 /proc/meminfo: memFree=1295024/2055920 swapFree=4192956/4192956 [pid=5981] ppid=5979 vsize=596460 CPUtime=402.12 /proc/5981/stat : 5981 (wbo) R 5979 5981 3324 0 -1 4194304 148655 0 0 0 39917 295 0 0 25 0 1 0 4775666 610775040 148560 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5981/statm: 149115 148560 136 292 0 148820 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 596460 [startup+462.301 s] /proc/loadavg: 1.08 1.02 1.00 2/66 5982 /proc/meminfo: memFree=1294960/2055920 swapFree=4192956/4192956 [pid=5981] ppid=5979 vsize=596460 CPUtime=462.08 /proc/5981/stat : 5981 (wbo) R 5979 5981 3324 0 -1 4194304 148663 0 0 0 45896 312 0 0 25 0 1 0 4775666 610775040 148568 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5981/statm: 149115 148568 136 292 0 148820 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 596460 Solver just ended. Dumping a history of the last processes samples [startup+473.601 s] /proc/loadavg: 1.07 1.02 1.00 2/66 5982 /proc/meminfo: memFree=1294768/2055920 swapFree=4192956/4192956 [pid=5981] ppid=5979 vsize=596460 CPUtime=473.38 /proc/5981/stat : 5981 (wbo) R 5979 5981 3324 0 -1 4194304 148733 0 0 0 47021 317 0 0 25 0 1 0 4775666 610775040 148638 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5981/statm: 149115 148638 136 292 0 148820 0 Current children cumulated CPU time (s) 473.38 Current children cumulated vsize (KiB) 596460 [startup+476.802 s] /proc/loadavg: 1.07 1.02 1.00 2/66 5982 /proc/meminfo: memFree=1294768/2055920 swapFree=4192956/4192956 [pid=5981] ppid=5979 vsize=596460 CPUtime=476.58 /proc/5981/stat : 5981 (wbo) R 5979 5981 3324 0 -1 4194304 148736 0 0 0 47339 319 0 0 25 0 1 0 4775666 610775040 148641 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5981/statm: 149115 148641 136 292 0 148820 0 Current children cumulated CPU time (s) 476.58 Current children cumulated vsize (KiB) 596460 [startup+478.402 s] /proc/loadavg: 1.06 1.02 1.00 2/66 5982 /proc/meminfo: memFree=1294704/2055920 swapFree=4192956/4192956 [pid=5981] ppid=5979 vsize=596460 CPUtime=478.18 /proc/5981/stat : 5981 (wbo) R 5979 5981 3324 0 -1 4194304 148736 0 0 0 47499 319 0 0 25 0 1 0 4775666 610775040 148641 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5981/statm: 149115 148641 136 292 0 148820 0 Current children cumulated CPU time (s) 478.18 Current children cumulated vsize (KiB) 596460 [startup+480.002 s] /proc/loadavg: 1.06 1.02 1.00 2/66 5982 /proc/meminfo: memFree=1294704/2055920 swapFree=4192956/4192956 [pid=5981] ppid=5979 vsize=596460 CPUtime=479.78 /proc/5981/stat : 5981 (wbo) R 5979 5981 3324 0 -1 4194304 148736 0 0 0 47658 320 0 0 25 0 1 0 4775666 610775040 148641 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5981/statm: 149115 148641 136 292 0 148820 0 Current children cumulated CPU time (s) 479.78 Current children cumulated vsize (KiB) 596460 [startup+480.805 s] /proc/loadavg: 1.06 1.02 1.00 2/66 5982 /proc/meminfo: memFree=1294704/2055920 swapFree=4192956/4192956 [pid=5981] ppid=5979 vsize=596460 CPUtime=480.58 /proc/5981/stat : 5981 (wbo) R 5979 5981 3324 0 -1 4194304 148736 0 0 0 47738 320 0 0 25 0 1 0 4775666 610775040 148641 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5981/statm: 149115 148641 136 292 0 148820 0 Current children cumulated CPU time (s) 480.58 Current children cumulated vsize (KiB) 596460 [startup+481.201 s] /proc/loadavg: 1.06 1.02 1.00 2/66 5982 /proc/meminfo: memFree=1294704/2055920 swapFree=4192956/4192956 [pid=5981] ppid=5979 vsize=0 CPUtime=480.98 /proc/5981/stat : 5981 (wbo) R 5979 5981 3324 0 -1 4194308 148736 0 0 0 47771 327 0 0 25 0 1 0 4775666 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/5981/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 480.98 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 481.214 CPU time (s): 481.001 CPU user time (s): 477.71 CPU system time (s): 3.2905 CPU usage (%): 99.9557 Max. virtual memory (cumulated for all children) (KiB): 596624 getrusage(RUSAGE_CHILDREN,...) data: user time used= 477.71 system time used= 3.2905 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 148736 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= 1549 runsolver used 0.515921 second user time and 0.921859 second system time The end
Begin job on node8 at 2009-06-16 23:43:54 IDJOB=1875200 IDBENCH=48040 IDSOLVER=698 FILE ID=node8/1875200-1245188634 PBS_JOBID= 9363940 Free space on /tmp= 66288 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=197-P1=29-P2=199-P3=251-P4=227-P5=257-P6=149-P7=53-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-1875200-1245188634/watcher-1875200-1245188634 -o /tmp/evaluation-result-1875200-1245188634/solver-1875200-1245188634 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875200-1245188634.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 83b6f70c71dbcf261c00790940be437e RANDOM SEED=807555503 node8.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: 1890688 kB Buffers: 42764 kB Cached: 77732 kB SwapCached: 0 kB Active: 88152 kB Inactive: 46000 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1890688 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2384 kB Writeback: 0 kB Mapped: 23496 kB Slab: 16852 kB Committed_AS: 71788 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875200-1245188634.opb Free space on /tmp at the end= 66288 MiB End job on node8 at 2009-06-16 23:51:55