Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | OPT | 3 | 939.555 | 939.901 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=89-P1=181-P2=233-P3=19-P4=167-P5=113-P6=191-P7=61-P8=59-B.opb |
MD5SUM | a6d214cc283b484f5cca285d86c4d8bb |
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 | 14.3978 |
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 | 192 |
Total number of constraints | 17 |
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 | 17 |
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) | 512 |
Sum of products size (including duplicates) | 1024 |
Number of different products | 512 |
Sum of products size | 1024 |
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-1875180-1245188358.opb. 0.00/0.00 c Instance file HOME/instance-1875180-1245188358.opb 0.00/0.00 c File size is 38505 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: 704 | 0.00/0.00 c | Number Clauses: 520 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 537 | 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.003999 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.004999 s Remaining CPU time: 1800 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 | 633 1072 4283 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 105 | 633 1072 4283 | 5500 105 52 | 11.961 % | 0.00/0.02 c | 257 | 633 1072 4283 | 6050 257 55 | 11.961 % | 0.00/0.03 c | 483 | 633 1072 4283 | 6655 483 62 | 11.961 % | 0.00/0.05 c | 821 | 633 1072 4283 | 7320 821 65 | 11.963 % | 0.05/0.08 c | 1327 | 633 1072 4283 | 8052 1327 66 | 11.961 % | 0.09/0.13 c | 2088 | 633 1072 4283 | 8857 2088 67 | 11.963 % | 0.09/0.19 c | 3228 | 633 1072 4283 | 9743 3228 69 | 11.963 % | 0.19/0.30 c | 4936 | 633 1072 4283 | 10717 4936 71 | 11.961 % | 0.49/0.52 c | 7499 | 633 1072 4283 | 11789 7499 68 | 11.963 % | 0.79/0.88 c | 11344 | 633 1072 4283 | 12968 11344 69 | 11.961 % | 1.39/1.46 c | 17110 | 633 1072 4283 | 14265 10479 67 | 11.961 % | 2.38/2.47 c | 25760 | 633 1072 4283 | 15692 11897 71 | 11.963 % | 4.79/4.82 c | 38734 | 633 1072 4283 | 17261 8904 58 | 11.961 % | 7.78/7.82 c | 58195 | 633 1072 4283 | 18987 10871 66 | 11.961 % | 13.38/13.48 c | 87388 | 633 1072 4283 | 20886 11173 62 | 11.961 % | 20.28/20.39 c | 131179 | 633 1072 4283 | 22974 11917 66 | 11.963 % | 35.88/35.91 c | 196863 | 633 1072 4283 | 25272 16840 74 | 11.963 % | 53.57/53.60 c | 295390 | 632 1072 4283 | 27799 13134 73 | 12.100 % | 92.66/92.72 c | 443180 | 631 1072 4283 | 30579 25400 89 | 12.239 % | 146.74/146.85 c | 664863 | 631 1072 4283 | 33637 11626 72 | 12.239 % | 240.30/240.49 c | 997389 | 622 1072 4283 | 37001 27310 68 | 13.491 % | 437.53/437.73 c | 1496178 | 621 1072 4283 | 40701 32402 65 | 13.632 % | 756.62/756.90 c | 2244360 | 617 1072 4283 | 44771 19051 66 | 14.188 % | 902.26/902.62 c =============================================================================== 914.45/914.86 c core #3 914.45/914.86 c Core size: 969 Core Weight: 1 Total Weight: 3 914.45/914.86 c Elapsed CPU time: 908.029 s Remaining CPU time: 891.971 s 916.85/917.30 c Learning 13130 hard constraints 916.85/917.30 c ============================[ Search Statistics ]============================== 916.85/917.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 916.85/917.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 916.85/917.30 c =============================================================================== 916.85/917.30 c | 0 | 659 14209 728124 | 5000 0 nan | 0.000 % | 916.96/917.31 c | 102 | 659 14209 728124 | 5500 102 69 | 9.355 % | 916.96/917.33 c | 253 | 659 14209 728124 | 6050 253 71 | 9.355 % | 916.96/917.35 c | 479 | 659 14209 728124 | 6655 479 69 | 9.354 % | 917.45/917.81 c | 818 | 659 14209 728124 | 7320 818 68 | 9.354 % | 917.45/917.85 c | 1325 | 659 14209 728124 | 8052 1325 64 | 9.355 % | 917.55/917.91 c | 2085 | 659 14209 728124 | 8857 2085 66 | 9.354 % | 917.65/918.05 c | 3225 | 659 14209 728124 | 9743 3225 68 | 9.354 % | 917.86/918.29 c | 4933 | 659 14209 728124 | 10717 4933 65 | 9.354 % | 918.25/918.61 c | 7495 | 659 14209 728124 | 11789 7495 67 | 9.354 % | 918.96/919.37 c | 11339 | 659 14209 728124 | 12968 11339 66 | 9.354 % | 919.86/920.23 c | 17107 | 659 14209 728124 | 14265 10431 67 | 9.354 % | 921.36/921.74 c | 25756 | 659 14209 728124 | 15692 11870 60 | 9.354 % | 924.15/924.52 c | 38731 | 656 14209 728124 | 17261 8849 62 | 9.768 % | 928.95/929.33 c | 58193 | 656 14209 728124 | 18987 10785 68 | 9.766 % | 935.45/935.83 c | 87385 | 656 14209 728124 | 20886 10762 66 | 9.766 % | 939.34/939.71 c =============================================================================== 939.34/939.72 c Verified 14209 original clauses. 939.34/939.72 c #cores: 3 939.34/939.72 c Final Weight: 3 939.34/939.72 o 3 939.34/939.72 s OPTIMUM FOUND 939.34/939.72 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 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 x73 -x74 x75 -x76 -x77 -x78 -x79 x80 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 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 x81 -x82 -x83 x84 x85 x86 -x87 -x88 x137 x138 -x139 -x140 x141 -x142 -x143 -x144 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 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 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 x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 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 x105 x106 -x107 x108 x109 -x110 -x111 -x112 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 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 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 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 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875180-1245188358/watcher-1875180-1245188358 -o /tmp/evaluation-result-1875180-1245188358/solver-1875180-1245188358 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875180-1245188358.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.00 1.00 1.00 3/65 16185 /proc/meminfo: memFree=1857008/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=2568 CPUtime=0 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 186434785 2629632 194 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 642 196 129 292 0 337 0 [startup+0.0548679 s] /proc/loadavg: 1.00 1.00 1.00 3/65 16185 /proc/meminfo: memFree=1857008/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=3052 CPUtime=0.05 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 365 0 0 0 5 0 0 0 20 0 1 0 186434785 3125248 339 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 763 339 136 292 0 468 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3052 [startup+0.102875 s] /proc/loadavg: 1.00 1.00 1.00 3/65 16185 /proc/meminfo: memFree=1857008/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=3440 CPUtime=0.09 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 454 0 0 0 9 0 0 0 20 0 1 0 186434785 3522560 428 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 860 428 136 292 0 565 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.30292 s] /proc/loadavg: 1.00 1.00 1.00 3/65 16185 /proc/meminfo: memFree=1857008/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=5132 CPUtime=0.29 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 860 0 0 0 29 0 0 0 22 0 1 0 186434785 5255168 834 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 1283 834 136 292 0 988 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5132 [startup+0.701987 s] /proc/loadavg: 1.00 1.00 1.00 3/65 16185 /proc/meminfo: memFree=1857008/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=7208 CPUtime=0.69 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 1389 0 0 0 67 2 0 0 25 0 1 0 186434785 7380992 1363 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 1802 1363 136 292 0 1507 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7208 [startup+1.50114 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16186 /proc/meminfo: memFree=1850600/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=11100 CPUtime=1.48 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 2351 0 0 0 145 3 0 0 25 0 1 0 186434785 11366400 2325 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 2775 2325 136 292 0 2480 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 11100 [startup+3.10144 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16186 /proc/meminfo: memFree=1845864/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=16680 CPUtime=3.09 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 3767 0 0 0 304 5 0 0 25 0 1 0 186434785 17080320 3741 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 4170 3741 136 292 0 3875 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16680 [startup+6.30103 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16186 /proc/meminfo: memFree=1835816/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=25908 CPUtime=6.28 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 6082 0 0 0 619 9 0 0 25 0 1 0 186434785 26529792 6056 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 6477 6056 136 292 0 6182 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 25908 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16186 /proc/meminfo: memFree=1819112/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=41204 CPUtime=12.69 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 9888 0 0 0 1251 18 0 0 25 0 1 0 186434785 42192896 9862 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 10301 9862 136 292 0 10006 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41204 [startup+25.5026 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16186 /proc/meminfo: memFree=1781800/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=77648 CPUtime=25.48 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 18988 0 0 0 2514 34 0 0 25 0 1 0 186434785 79511552 18962 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 19412 18962 136 292 0 19117 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 77648 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16186 /proc/meminfo: memFree=1726056/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=134768 CPUtime=51.07 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 33275 0 0 0 5047 60 0 0 25 0 1 0 186434785 138002432 33249 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 33692 33249 136 292 0 33397 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 134768 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16186 /proc/meminfo: memFree=1630376/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=228360 CPUtime=102.26 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 56640 0 0 0 10116 110 0 0 25 0 1 0 186434785 233840640 56614 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 57090 56614 136 292 0 56795 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 228360 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16186 /proc/meminfo: memFree=1515496/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=344388 CPUtime=162.23 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 85646 0 0 0 16054 169 0 0 25 0 1 0 186434785 352653312 85620 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 86097 85620 136 292 0 85802 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 344388 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16186 /proc/meminfo: memFree=1417128/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=441592 CPUtime=222.21 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 109911 0 0 0 22000 221 0 0 25 0 1 0 186434785 452190208 109885 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 110398 109885 136 292 0 110103 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 441592 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16186 /proc/meminfo: memFree=1330280/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=528356 CPUtime=282.19 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 131599 0 0 0 27951 268 0 0 25 0 1 0 186434785 541036544 131573 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 132089 131573 136 292 0 131794 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 528356 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16186 /proc/meminfo: memFree=1259880/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=598264 CPUtime=342.17 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 149074 0 0 0 33909 308 0 0 25 0 1 0 186434785 612622336 149048 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 149566 149048 136 292 0 149271 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 598264 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16186 /proc/meminfo: memFree=1204136/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=654748 CPUtime=402.14 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 163162 0 0 0 39873 341 0 0 25 0 1 0 186434785 670461952 163136 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 163687 163136 136 292 0 163392 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 654748 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16186 /proc/meminfo: memFree=1125992/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=731992 CPUtime=462.12 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 182457 0 0 0 45824 388 0 0 25 0 1 0 186434785 749559808 182431 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 182998 182431 136 292 0 182703 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 731992 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16186 /proc/meminfo: memFree=1072936/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=786464 CPUtime=522.1 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 196060 0 0 0 51789 421 0 0 25 0 1 0 186434785 805339136 196034 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 196616 196034 136 292 0 196321 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 786464 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16186 /proc/meminfo: memFree=993384/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=865200 CPUtime=582.08 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 215740 0 0 0 57743 465 0 0 25 0 1 0 186434785 885964800 215714 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 216300 215714 136 292 0 216005 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 865200 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16186 /proc/meminfo: memFree=941864/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=915568 CPUtime=642.06 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 228343 0 0 0 63711 495 0 0 25 0 1 0 186434785 937541632 228317 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 228892 228317 136 292 0 228597 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 915568 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16186 /proc/meminfo: memFree=881576/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=976084 CPUtime=702.03 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 243461 0 0 0 69672 531 0 0 25 0 1 0 186434785 999510016 243435 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 244021 243435 136 292 0 243726 0 Current children cumulated CPU time (s) 702.03 Current children cumulated vsize (KiB) 976084 [startup+762.306 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16186 /proc/meminfo: memFree=822760/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=1034524 CPUtime=762.02 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 258064 0 0 0 75634 568 0 0 25 0 1 0 186434785 1059352576 258038 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 258631 258038 136 292 0 258336 0 Current children cumulated CPU time (s) 762.02 Current children cumulated vsize (KiB) 1034524 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16188 /proc/meminfo: memFree=763880/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=1093544 CPUtime=821.99 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 272823 0 0 0 81596 603 0 0 25 0 1 0 186434785 1119789056 272797 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 273386 272797 136 292 0 273091 0 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (KiB) 1093544 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16188 /proc/meminfo: memFree=716840/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=1140520 CPUtime=881.96 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 284542 0 0 0 87562 634 0 0 25 0 1 0 186434785 1167892480 284516 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 285130 284516 136 292 0 284835 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 1140520 Solver just ended. Dumping a history of the last processes samples [startup+895.901 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16188 /proc/meminfo: memFree=700584/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=1156756 CPUtime=895.56 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 288594 0 0 0 88913 643 0 0 25 0 1 0 186434785 1184518144 288568 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 289189 288568 136 292 0 288894 0 Current children cumulated CPU time (s) 895.56 Current children cumulated vsize (KiB) 1156756 [startup+921.502 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16188 /proc/meminfo: memFree=665704/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=1190908 CPUtime=921.15 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 297202 0 0 0 91461 654 0 0 25 0 1 0 186434785 1219489792 297132 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 297727 297132 136 292 0 297432 0 Current children cumulated CPU time (s) 921.15 Current children cumulated vsize (KiB) 1190908 [startup+927.901 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16188 /proc/meminfo: memFree=665704/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=1190908 CPUtime=927.55 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 297205 0 0 0 92095 660 0 0 25 0 1 0 186434785 1219489792 297135 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 297727 297135 136 292 0 297432 0 Current children cumulated CPU time (s) 927.55 Current children cumulated vsize (KiB) 1190908 [startup+934.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16188 /proc/meminfo: memFree=665704/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=1190908 CPUtime=933.94 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 297205 0 0 0 92731 663 0 0 25 0 1 0 186434785 1219489792 297135 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 297727 297135 136 292 0 297432 0 Current children cumulated CPU time (s) 933.94 Current children cumulated vsize (KiB) 1190908 [startup+937.502 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16188 /proc/meminfo: memFree=665704/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=1190908 CPUtime=937.15 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 297205 0 0 0 93048 667 0 0 25 0 1 0 186434785 1219489792 297135 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 297727 297135 136 292 0 297432 0 Current children cumulated CPU time (s) 937.15 Current children cumulated vsize (KiB) 1190908 [startup+939.101 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16188 /proc/meminfo: memFree=665704/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=1190908 CPUtime=938.75 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 297206 0 0 0 93206 669 0 0 25 0 1 0 186434785 1219489792 297136 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 297727 297136 136 292 0 297432 0 Current children cumulated CPU time (s) 938.75 Current children cumulated vsize (KiB) 1190908 [startup+939.501 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16188 /proc/meminfo: memFree=665704/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=1190908 CPUtime=939.14 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 297206 0 0 0 93245 669 0 0 25 0 1 0 186434785 1219489792 297136 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 297727 297136 136 292 0 297432 0 Current children cumulated CPU time (s) 939.14 Current children cumulated vsize (KiB) 1190908 [startup+939.701 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16188 /proc/meminfo: memFree=665704/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=1190908 CPUtime=939.34 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194304 297206 0 0 0 93265 669 0 0 25 0 1 0 186434785 1219489792 297136 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 297727 297136 136 292 0 297432 0 Current children cumulated CPU time (s) 939.34 Current children cumulated vsize (KiB) 1190908 [startup+939.802 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16188 /proc/meminfo: memFree=665704/2055920 swapFree=4192812/4192956 [pid=16185] ppid=16183 vsize=0 CPUtime=939.44 /proc/16185/stat : 16185 (wbo) R 16183 16185 15740 0 -1 4194308 297206 0 0 0 93267 677 0 0 25 0 1 0 186434785 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/16185/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 939.44 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 939.901 CPU time (s): 939.555 CPU user time (s): 932.677 CPU system time (s): 6.87795 CPU usage (%): 99.9632 Max. virtual memory (cumulated for all children) (KiB): 1191152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 932.677 system time used= 6.87795 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 297206 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= 1567 runsolver used 1.04384 second user time and 2.38464 second system time The end
Begin job on node81 at 2009-06-16 23:39:19 IDJOB=1875180 IDBENCH=48020 IDSOLVER=698 FILE ID=node81/1875180-1245188358 PBS_JOBID= 9363942 Free space on /tmp= 126776 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=89-P1=181-P2=233-P3=19-P4=167-P5=113-P6=191-P7=61-P8=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-1875180-1245188358/watcher-1875180-1245188358 -o /tmp/evaluation-result-1875180-1245188358/solver-1875180-1245188358 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875180-1245188358.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a6d214cc283b484f5cca285d86c4d8bb RANDOM SEED=1443917526 node81.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.268 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.268 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1857424 kB Buffers: 37576 kB Cached: 86864 kB SwapCached: 0 kB Active: 63800 kB Inactive: 75516 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1857424 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2644 kB Writeback: 0 kB Mapped: 24644 kB Slab: 44844 kB Committed_AS: 96004 kB PageTables: 1452 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-1875180-1245188358.opb Free space on /tmp at the end= 126772 MiB End job on node81 at 2009-06-16 23:54:59