Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | OPT | 3 | 782.529 | 782.779 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=211-P1=113-P2=103-P3=37-P4=167-P5=5-P6=191-P7=13-P8=223-P9=137-B.opb |
MD5SUM | 747af0da1666dabab7e7b60330c37a87 |
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 | 7.38288 |
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 | 216 |
Total number of constraints | 19 |
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 | 19 |
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) | 576 |
Sum of products size (including duplicates) | 1152 |
Number of different products | 576 |
Sum of products size | 1152 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702101-1278546487.opb. 0.00/0.00 c Instance file HOME/instance-2702101-1278546487.opb 0.00/0.00 c File size is 43526 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.01 s | 0.00/0.00 c | Number Variables: 792 | 0.00/0.00 c | Number Clauses: 576 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 604 | 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 | 792 1180 4960 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 100 | 792 1180 4960 | 5500 100 64 | 0.001 % | 0.00/0.02 c | 250 | 792 1180 4960 | 6050 250 65 | 0.001 % | 0.00/0.03 c | 475 | 792 1180 4960 | 6655 475 53 | 0.000 % | 0.00/0.05 c | 812 | 792 1180 4960 | 7320 812 47 | 0.000 % | 0.06/0.09 c | 1319 | 792 1180 4960 | 8052 1319 51 | 0.000 % | 0.09/0.17 c | 2079 | 792 1180 4960 | 8857 2079 50 | 0.001 % | 0.19/0.25 c | 3218 | 792 1180 4960 | 9743 3218 53 | 0.000 % | 0.39/0.43 c | 4926 | 792 1180 4960 | 10717 4926 52 | 0.000 % | 0.59/0.63 c | 7488 | 792 1180 4960 | 11789 7488 52 | 0.000 % | 1.19/1.27 c | 11332 | 792 1180 4960 | 12968 11332 52 | 0.000 % | 1.78/1.85 c | 17099 | 792 1180 4960 | 14265 10543 46 | 0.000 % | 2.89/2.92 c | 25748 | 792 1180 4960 | 15692 12005 37 | 0.000 % | 5.39/5.43 c | 38723 | 792 1180 4960 | 17261 9173 43 | 0.000 % | 9.08/9.18 c | 58184 | 792 1180 4960 | 18987 11257 36 | 0.000 % | 14.49/14.51 c | 87377 | 792 1180 4960 | 20886 11765 35 | 0.000 % | 23.48/23.55 c | 131166 | 792 1180 4960 | 22974 13109 35 | 0.001 % | 37.97/38.00 c | 196852 | 792 1180 4960 | 25272 18190 42 | 0.000 % | 59.38/59.46 c | 295378 | 791 1180 4960 | 27799 16270 43 | 0.128 % | 98.96/99.05 c | 443168 | 791 1180 4960 | 30579 15310 44 | 0.126 % | 162.83/162.94 c | 664852 | 791 1180 4960 | 33637 25214 60 | 0.126 % | 182.12/182.23 c There are 1 assigned variables. 0 in cost function. 182.82/182.91 c core #1 182.82/182.91 c 182.82/182.91 c 182.82/182.91 c Core size: 9 Core Weight: 1 Total Weight: 1 182.82/182.91 c 182.82/182.91 c 182.82/182.91 c core #2 182.82/182.91 c 182.82/182.91 c 182.82/182.91 c Core size: 8 Core Weight: 1 Total Weight: 2 182.82/182.91 c 182.82/182.91 c 182.82/182.91 c ============================[ Search Statistics ]============================== 182.82/182.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.82/182.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.82/182.91 c =============================================================================== 182.82/182.91 c | 0 | 720 1207 4823 | 5000 0 nan | 0.000 % | 182.82/182.92 c | 100 | 720 1207 4823 | 5500 100 65 | 10.781 % | 182.82/182.93 c | 251 | 720 1207 4823 | 6050 251 67 | 10.781 % | 182.82/182.95 c | 477 | 720 1207 4823 | 6655 477 66 | 10.781 % | 182.82/182.98 c | 817 | 720 1207 4823 | 7320 817 57 | 10.781 % | 182.93/183.03 c | 1324 | 720 1207 4823 | 8052 1324 54 | 10.781 % | 183.02/183.11 c | 2083 | 720 1207 4823 | 8857 2083 52 | 10.781 % | 183.13/183.21 c | 3223 | 720 1207 4823 | 9743 3223 51 | 10.781 % | 183.33/183.42 c | 4932 | 720 1207 4823 | 10717 4932 50 | 10.781 % | 183.73/183.83 c | 7495 | 720 1207 4823 | 11789 7495 41 | 10.781 % | 184.13/184.24 c | 11339 | 720 1207 4823 | 12968 11339 42 | 10.781 % | 184.74/184.84 c | 17106 | 720 1207 4823 | 14265 10432 57 | 10.781 % | 185.74/185.89 c | 25755 | 720 1207 4823 | 15692 11757 57 | 10.782 % | 189.03/189.15 c | 38729 | 720 1207 4823 | 17261 8766 37 | 10.781 % | 191.83/191.92 c | 58190 | 720 1207 4823 | 18987 10310 56 | 10.781 % | 199.04/199.13 c | 87384 | 720 1207 4823 | 20886 10273 65 | 10.782 % | 207.02/207.19 c | 131173 | 719 1207 4823 | 22974 10936 47 | 10.906 % | 224.91/225.02 c | 196857 | 719 1207 4823 | 25272 15472 41 | 10.905 % | 249.71/249.84 c | 295384 | 718 1207 4823 | 27799 12437 63 | 11.030 % | 304.89/305.08 c | 443174 | 718 1207 4823 | 30579 11094 26 | 11.031 % | 376.58/376.78 c | 664857 | 718 1207 4823 | 33637 18697 46 | 11.029 % | 507.23/507.48 c | 997382 | 717 1207 4823 | 37001 16758 64 | 11.154 % | 678.68/678.92 c | 1496170 | 710 1207 4823 | 40701 32988 47 | 12.020 % | 753.27/753.56 c =============================================================================== 754.66/754.91 c core #3 754.66/754.91 c 754.66/754.91 c 754.66/754.91 c Core size: 70 Core Weight: 1 Total Weight: 3 754.66/754.91 c 754.66/754.91 c 754.66/754.91 c ============================[ Search Statistics ]============================== 754.66/754.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 754.66/754.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 754.66/754.91 c =============================================================================== 754.66/754.91 c | 0 | 746 1215 4837 | 5000 0 nan | 0.000 % | 754.86/755.19 c | 101 | 746 1215 4837 | 5500 101 67 | 8.468 % | 754.96/755.20 c | 252 | 746 1215 4837 | 6050 252 66 | 8.468 % | 754.96/755.21 c | 477 | 746 1215 4837 | 6655 477 61 | 8.466 % | 754.96/755.24 c | 814 | 746 1215 4837 | 7320 814 64 | 8.466 % | 754.96/755.29 c | 1321 | 746 1215 4837 | 8052 1321 59 | 8.466 % | 755.06/755.36 c | 2080 | 746 1215 4837 | 8857 2080 59 | 8.466 % | 755.16/755.47 c | 3219 | 746 1215 4837 | 9743 3219 58 | 8.466 % | 755.37/755.66 c | 4928 | 746 1215 4837 | 10717 4928 55 | 8.466 % | 755.66/755.98 c | 7491 | 746 1215 4837 | 11789 7491 53 | 8.466 % | 756.36/756.68 c | 11336 | 746 1215 4837 | 12968 11336 50 | 8.466 % | 756.96/757.25 c | 17105 | 746 1215 4837 | 14265 10307 49 | 8.466 % | 758.06/758.31 c | 25755 | 746 1215 4837 | 15692 11618 61 | 8.468 % | 759.66/759.93 c | 38729 | 746 1215 4837 | 17261 8312 53 | 8.468 % | 763.07/763.35 c | 58191 | 746 1215 4837 | 18987 10164 60 | 8.468 % | 766.96/767.26 c | 87384 | 745 1215 4837 | 20886 19504 46 | 8.590 % | 777.45/777.72 c | 131173 | 745 1215 4837 | 22974 20934 40 | 8.589 % | 782.44/782.72 c =============================================================================== 782.44/782.72 c #cores: 3 782.44/782.72 c Final Weight: 3 782.44/782.72 o 3 782.44/782.72 s OPTIMUM FOUND 782.44/782.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 x73 x74 x75 -x76 x77 x78 -x79 -x80 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 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 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 x89 -x90 x91 x92 -x93 -x94 -x95 -x96 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 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 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x161 x162 -x163 x164 -x165 -x166 -x167 -x168 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 x105 x106 x107 -x108 -x109 x110 -x111 x112 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 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 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x177 x178 x179 x180 -x181 -x182 -x183 -x184 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 x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 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 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x129 -x130 x131 x132 -x133 x134 -x135 -x136 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 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 x705 -x706 x707 x708 -x709 x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x201 x202 x203 -x204 -x205 -x206 -x207 -x208 x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x209 x210 -x211 x212 x213 -x214 -x215 -x216 782.44/782.72 c Total CPU time: 774.743 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702101-1278546487/watcher-2702101-1278546487 -o /tmp/evaluation-result-2702101-1278546487/solver-2702101-1278546487 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702101-1278546487.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.98 0.55 0.22 3/106 26801 /proc/meminfo: memFree=1757068/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=2748 CPUtime=0 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 22860896 2813952 236 1992294400 134512640 135752675 4292877776 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 687 237 141 303 0 371 0 [startup+0.0674119 s] /proc/loadavg: 0.98 0.55 0.22 3/106 26801 /proc/meminfo: memFree=1757068/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=2964 CPUtime=0.06 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 417 0 0 0 6 0 0 0 20 0 1 0 22860896 3035136 324 1992294400 134512640 135752675 4292877776 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 741 324 145 303 0 436 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2964 [startup+0.101415 s] /proc/loadavg: 0.98 0.55 0.22 3/106 26801 /proc/meminfo: memFree=1757068/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=3224 CPUtime=0.09 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 460 0 0 0 9 0 0 0 20 0 1 0 22860896 3301376 367 1992294400 134512640 135752675 4292877776 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 806 367 145 303 0 501 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3224 [startup+0.301436 s] /proc/loadavg: 0.98 0.55 0.22 3/106 26801 /proc/meminfo: memFree=1757068/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=4012 CPUtime=0.3 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 657 0 0 0 29 1 0 0 20 0 1 0 22860896 4108288 564 1992294400 134512640 135752675 4292877776 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 1003 564 145 303 0 698 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 4012 [startup+0.70048 s] /proc/loadavg: 0.98 0.55 0.22 3/106 26801 /proc/meminfo: memFree=1757068/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=5444 CPUtime=0.69 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 1005 0 0 0 67 2 0 0 21 0 1 0 22860896 5574656 912 1992294400 134512640 135752675 4292877776 18446744073709551615 135207212 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 1361 912 145 303 0 1056 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5444 [startup+1.50056 s] /proc/loadavg: 0.98 0.55 0.22 2/107 26802 /proc/meminfo: memFree=1753588/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=7140 CPUtime=1.49 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 1437 0 0 0 145 4 0 0 23 0 1 0 22860896 7311360 1344 1992294400 134512640 135752675 4292877776 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 1785 1344 145 303 0 1480 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7140 [startup+3.10074 s] /proc/loadavg: 0.98 0.55 0.22 2/107 26802 /proc/meminfo: memFree=1750860/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=10516 CPUtime=3.09 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 2271 0 0 0 302 7 0 0 25 0 1 0 22860896 10768384 2178 1992294400 134512640 135752675 4292877776 18446744073709551615 134638307 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 2629 2178 145 303 0 2324 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10516 [startup+6.30108 s] /proc/loadavg: 0.98 0.55 0.22 2/107 26802 /proc/meminfo: memFree=1745404/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=15684 CPUtime=6.29 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 3562 0 0 0 617 12 0 0 25 0 1 0 22860896 16060416 3469 1992294400 134512640 135752675 4292877776 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 3921 3469 145 303 0 3616 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15684 [startup+12.7008 s] /proc/loadavg: 1.06 0.58 0.23 2/107 26802 /proc/meminfo: memFree=1736352/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=23668 CPUtime=12.68 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 5576 0 0 0 1247 21 0 0 25 0 1 0 22860896 24236032 5483 1992294400 134512640 135752675 4292877776 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 5917 5483 145 303 0 5612 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 23668 [startup+25.5011 s] /proc/loadavg: 1.05 0.60 0.24 2/107 26802 /proc/meminfo: memFree=1719736/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=40104 CPUtime=25.49 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 9685 0 0 0 2510 39 0 0 25 0 1 0 22860896 41066496 9592 1992294400 134512640 135752675 4292877776 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 10026 9592 145 303 0 9721 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 40104 [startup+51.1018 s] /proc/loadavg: 1.03 0.63 0.26 2/107 26804 /proc/meminfo: memFree=1687248/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=72828 CPUtime=51.07 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 17820 0 0 0 5035 72 0 0 25 0 1 0 22860896 74575872 17727 1992294400 134512640 135752675 4292877776 18446744073709551615 134605356 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 18207 17727 145 303 0 17902 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 72828 [startup+102.308 s] /proc/loadavg: 1.06 0.70 0.30 2/107 26804 /proc/meminfo: memFree=1640128/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=119200 CPUtime=102.26 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 29386 0 0 0 10102 124 0 0 25 0 1 0 22860896 122060800 29293 1992294400 134512640 135752675 4292877776 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 29800 29294 145 303 0 29495 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 119200 [startup+162.302 s] /proc/loadavg: 1.06 0.77 0.35 2/107 26806 /proc/meminfo: memFree=1580360/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=179272 CPUtime=162.24 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 44397 0 0 0 16036 188 0 0 25 0 1 0 22860896 183574528 44304 1992294400 134512640 135752675 4292877776 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 44818 44304 145 303 0 44513 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 179272 [startup+222.301 s] /proc/loadavg: 1.06 0.82 0.39 2/107 26808 /proc/meminfo: memFree=1518980/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=239672 CPUtime=222.21 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 59615 0 0 0 21952 269 0 0 25 0 1 0 22860896 245424128 59488 1992294400 134512640 135752675 4292877776 18446744073709551615 134611574 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 59918 59488 146 303 0 59613 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 239672 [startup+282.301 s] /proc/loadavg: 1.05 0.86 0.43 2/107 26810 /proc/meminfo: memFree=1476820/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=282156 CPUtime=282.2 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 70173 0 0 0 27893 327 0 0 25 0 1 0 22860896 288927744 70046 1992294400 134512640 135752675 4292877776 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 70539 70046 146 303 0 70234 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 282156 [startup+342.302 s] /proc/loadavg: 1.13 0.92 0.47 2/107 26810 /proc/meminfo: memFree=1444828/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=314120 CPUtime=342.18 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 78098 0 0 0 33843 375 0 0 25 0 1 0 22860896 321658880 77971 1992294400 134512640 135752675 4292877776 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 78530 77971 146 303 0 78225 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 314120 [startup+402.301 s] /proc/loadavg: 1.12 0.94 0.51 2/107 26812 /proc/meminfo: memFree=1396964/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=362592 CPUtime=402.16 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 90187 0 0 0 39783 433 0 0 25 0 1 0 22860896 371294208 90060 1992294400 134512640 135752675 4292877776 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 90648 90060 146 303 0 90343 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 362592 [startup+462.302 s] /proc/loadavg: 1.18 0.98 0.55 2/107 26814 /proc/meminfo: memFree=1357284/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=401508 CPUtime=462.14 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 99887 0 0 0 45735 479 0 0 25 0 1 0 22860896 411144192 99760 1992294400 134512640 135752675 4292877776 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 100377 99760 146 303 0 100072 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 401508 [startup+522.302 s] /proc/loadavg: 1.13 1.00 0.58 2/107 26816 /proc/meminfo: memFree=1313016/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=446604 CPUtime=522.13 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 111144 0 0 0 51683 530 0 0 25 0 1 0 22860896 457322496 111017 1992294400 134512640 135752675 4292877776 18446744073709551615 134611647 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 111651 111017 146 303 0 111346 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 446604 [startup+582.3 s] /proc/loadavg: 1.05 1.00 0.60 2/107 26818 /proc/meminfo: memFree=1262548/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=496332 CPUtime=582.11 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 123532 0 0 0 57627 584 0 0 25 0 1 0 22860896 508243968 123405 1992294400 134512640 135752675 4292877776 18446744073709551615 134603204 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 124083 123405 146 303 0 123778 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 496332 [startup+642.301 s] /proc/loadavg: 1.02 1.00 0.62 2/107 26818 /proc/meminfo: memFree=1217660/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=540900 CPUtime=642.1 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 134681 0 0 0 63570 640 0 0 25 0 1 0 22860896 553881600 134554 1992294400 134512640 135752675 4292877776 18446744073709551615 134603340 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 135225 134554 146 303 0 134920 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 540900 [startup+702.3 s] /proc/loadavg: 1.00 1.00 0.64 2/107 26820 /proc/meminfo: memFree=1180956/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=578040 CPUtime=702.07 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 143909 0 0 0 69515 692 0 0 25 0 1 0 22860896 591912960 143782 1992294400 134512640 135752675 4292877776 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 144510 143782 146 303 0 144205 0 Current children cumulated CPU time (s) 702.07 Current children cumulated vsize (KiB) 578040 [startup+762.308 s] /proc/loadavg: 1.00 1.00 0.66 2/107 26822 /proc/meminfo: memFree=1155040/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=602408 CPUtime=762.06 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 150317 0 0 0 75463 743 0 0 25 0 1 0 22860896 616865792 150149 1992294400 134512640 135752675 4292877776 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 150602 150149 146 303 0 150297 0 Current children cumulated CPU time (s) 762.06 Current children cumulated vsize (KiB) 602408 Solver just ended. Dumping a history of the last processes samples [startup+767.901 s] /proc/loadavg: 1.00 1.00 0.66 3/107 26822 /proc/meminfo: memFree=1154916/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=602540 CPUtime=767.66 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 150377 0 0 0 76013 753 0 0 25 0 1 0 22860896 617000960 150209 1992294400 134512640 135752675 4292877776 18446744073709551615 134605373 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 150635 150209 146 303 0 150330 0 Current children cumulated CPU time (s) 767.66 Current children cumulated vsize (KiB) 602540 [startup+774.301 s] /proc/loadavg: 1.00 1.00 0.67 2/107 26831 /proc/meminfo: memFree=1149700/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=606540 CPUtime=774.05 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 151362 0 0 0 76645 760 0 0 25 0 1 0 22860896 621096960 151194 1992294400 134512640 135752675 4292877776 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 151635 151194 146 303 0 151330 0 Current children cumulated CPU time (s) 774.05 Current children cumulated vsize (KiB) 606540 [startup+777.501 s] /proc/loadavg: 1.00 1.00 0.67 2/107 26831 /proc/meminfo: memFree=1147716/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=610012 CPUtime=777.24 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 152240 0 0 0 76960 764 0 0 25 0 1 0 22860896 624652288 152072 1992294400 134512640 135752675 4292877776 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 152503 152072 146 303 0 152198 0 Current children cumulated CPU time (s) 777.24 Current children cumulated vsize (KiB) 610012 [startup+780.701 s] /proc/loadavg: 1.00 1.00 0.67 2/107 26831 /proc/meminfo: memFree=1142012/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=616252 CPUtime=780.44 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 153796 0 0 0 77274 770 0 0 25 0 1 0 22860896 631042048 153628 1992294400 134512640 135752675 4292877776 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 154063 153628 146 303 0 153758 0 Current children cumulated CPU time (s) 780.44 Current children cumulated vsize (KiB) 616252 [startup+781.501 s] /proc/loadavg: 1.00 1.00 0.67 2/107 26831 /proc/meminfo: memFree=1140284/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=617308 CPUtime=781.24 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 154038 0 0 0 77353 771 0 0 25 0 1 0 22860896 632123392 153870 1992294400 134512640 135752675 4292877776 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 154327 153870 146 303 0 154022 0 Current children cumulated CPU time (s) 781.24 Current children cumulated vsize (KiB) 617308 [startup+782.301 s] /proc/loadavg: 1.00 1.00 0.67 2/107 26831 /proc/meminfo: memFree=1138920/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=618236 CPUtime=782.04 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 154286 0 0 0 77432 772 0 0 25 0 1 0 22860896 633073664 154118 1992294400 134512640 135752675 4292877776 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 154559 154118 146 303 0 154254 0 Current children cumulated CPU time (s) 782.04 Current children cumulated vsize (KiB) 618236 [startup+782.701 s] /proc/loadavg: 1.00 1.00 0.67 2/107 26831 /proc/meminfo: memFree=1138920/2059040 swapFree=4139492/4192956 [pid=26801] ppid=26799 vsize=618632 CPUtime=782.44 /proc/26801/stat : 26801 (wbo1.4b) R 26799 26801 26531 0 -1 4202496 154379 0 0 0 77472 772 0 0 25 0 1 0 22860896 633479168 154211 1992294400 134512640 135752675 4292877776 18446744073709551615 134611679 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26801/statm: 154658 154211 146 303 0 154353 0 Current children cumulated CPU time (s) 782.44 Current children cumulated vsize (KiB) 618632 Child status: 0 Real time (s): 782.779 CPU time (s): 782.529 CPU user time (s): 774.743 CPU system time (s): 7.78582 CPU usage (%): 99.968 Max. virtual memory (cumulated for all children) (KiB): 618632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 774.743 system time used= 7.78582 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 154383 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= 5 involuntary context switches= 2976 runsolver used 1.37479 second user time and 3.62545 second system time The end
Begin job on node019 at 2010-07-08 01:48:07 IDJOB=2702101 IDBENCH=47985 IDSOLVER=1190 FILE ID=node019/2702101-1278546487 PBS_JOBID= 11239513 Free space on /tmp= 62344 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=211-P1=113-P2=103-P3=37-P4=167-P5=5-P6=191-P7=13-P8=223-P9=137-B.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702101-1278546487/watcher-2702101-1278546487 -o /tmp/evaluation-result-2702101-1278546487/solver-2702101-1278546487 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702101-1278546487.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 747af0da1666dabab7e7b60330c37a87 RANDOM SEED=1334285302 node019.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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1757968 kB Buffers: 42988 kB Cached: 170752 kB SwapCached: 7112 kB Active: 124964 kB Inactive: 102852 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1757968 kB SwapTotal: 4192956 kB SwapFree: 4139492 kB Dirty: 2656 kB Writeback: 4 kB AnonPages: 11520 kB Mapped: 11932 kB Slab: 51404 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182744 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702101-1278546487.opb Free space on /tmp at the end= 62344 MiB End job on node019 at 2010-07-08 02:01:10