Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -10 | 182.408 | 182.463 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_5.opb |
MD5SUM | 0619afe86d0e2ffb4ad28e9f2f441c24 |
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 | -14 |
Best CPU time to get the best result obtained on this benchmark | 1372.41 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -14 |
Optimality of the best value was proved | NO |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1212 |
Sum of products size (including duplicates) | 2424 |
Number of different products | 606 |
Sum of products size | 1212 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702652-1278573091.opb. 0.00/0.00 c Instance file HOME/instance-2702652-1278573091.opb 0.00/0.00 c File size is 49626 bytes. 0.00/0.01 c Highest Coefficient sum: 100 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 706 | 0.00/0.01 c | Number Clauses: 656 | 0.00/0.01 c | Number Cardinality: 102 | 0.00/0.01 c | Number PB Constraints: 606 | 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 | 706 1364 5148 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 50 0.00/0.01 o 50 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 706 1365 5198 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 49 0.00/0.01 o 49 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 1 | 706 1366 5248 | 5000 1 51 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 48 0.00/0.02 o 48 0.00/0.02 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 1 | 706 1367 5298 | 5000 1 51 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 47 0.00/0.02 o 47 0.00/0.02 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 22 | 706 1368 5348 | 5000 22 92 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 46 0.00/0.02 o 46 0.00/0.02 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 23 | 706 1369 5398 | 5000 23 88 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 45 0.00/0.02 o 45 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 27 | 706 1370 5448 | 5000 27 79 | 0.000 % | 0.00/0.03 c | 129 | 706 1370 5448 | 5500 129 88 | 0.003 % | 0.03/0.03 c | 280 | 706 1370 5448 | 6050 280 90 | 0.003 % | 0.03/0.05 c | 506 | 706 1370 5448 | 6655 506 90 | 0.003 % | 0.03/0.07 c | 843 | 706 1370 5448 | 7320 843 85 | 0.003 % | 0.09/0.11 c | 1350 | 706 1370 5448 | 8052 1350 87 | 0.002 % | 0.09/0.19 c | 2110 | 706 1370 5448 | 8857 2110 89 | 0.002 % | 0.29/0.32 c | 3250 | 706 1370 5448 | 9743 3250 89 | 0.004 % | 0.49/0.57 c | 4958 | 706 1370 5448 | 10717 4958 90 | 0.003 % | 0.59/0.62 c =============================================================================== 0.59/0.62 c New solution: 44 0.59/0.62 o 44 0.59/0.62 c Elapsed CPU time: 0.610907 s Remaining CPU time: 179.389 s 0.59/0.62 c =============================================================================== 0.59/0.62 c | 5240 | 706 1371 5498 | 5000 5240 89 | 0.003 % | 0.59/0.64 c | 5340 | 706 1371 5498 | 5500 2720 90 | 0.002 % | 0.59/0.66 c | 5490 | 706 1371 5498 | 6050 2870 90 | 0.002 % | 0.59/0.69 c | 5715 | 706 1371 5498 | 6655 3095 89 | 0.002 % | 0.69/0.73 c | 6052 | 706 1371 5498 | 7320 3432 89 | 0.003 % | 0.69/0.77 c | 6558 | 706 1371 5498 | 8052 3938 88 | 0.002 % | 0.89/0.90 c | 7318 | 706 1371 5498 | 8857 4698 88 | 0.003 % | 1.00/1.02 c =============================================================================== 1.00/1.02 c New solution: 43 1.00/1.02 o 43 1.00/1.02 c Elapsed CPU time: 1.00185 s Remaining CPU time: 178.998 s 1.00/1.02 c =============================================================================== 1.00/1.02 c | 8238 | 706 1372 5548 | 5000 5618 87 | 0.003 % | 1.00/1.05 c | 8338 | 706 1372 5548 | 5500 2909 83 | 0.002 % | 1.00/1.06 c | 8488 | 706 1372 5548 | 6050 3059 84 | 0.003 % | 1.00/1.08 c | 8713 | 706 1372 5548 | 6655 3284 84 | 0.003 % | 1.10/1.11 c | 9050 | 706 1372 5548 | 7320 3621 84 | 0.003 % | 1.10/1.16 c | 9556 | 706 1372 5548 | 8052 4127 85 | 0.004 % | 1.18/1.25 c | 10316 | 706 1372 5548 | 8857 4887 86 | 0.003 % | 1.18/1.28 c =============================================================================== 1.18/1.28 c New solution: 42 1.18/1.28 o 42 1.18/1.28 c Elapsed CPU time: 1.25581 s Remaining CPU time: 178.744 s 1.18/1.28 c =============================================================================== 1.18/1.28 c | 10497 | 706 1373 5598 | 5000 5068 85 | 0.003 % | 1.29/1.31 c | 10602 | 706 1373 5598 | 5500 2639 85 | 0.003 % | 1.29/1.32 c | 10752 | 706 1373 5598 | 6050 2789 85 | 0.003 % | 1.29/1.34 c | 10977 | 706 1373 5598 | 6655 3014 85 | 0.003 % | 1.29/1.38 c | 11314 | 706 1373 5598 | 7320 3351 85 | 0.003 % | 1.29/1.38 c =============================================================================== 1.29/1.38 c New solution: 41 1.29/1.38 o 41 1.29/1.38 c Elapsed CPU time: 1.35379 s Remaining CPU time: 178.646 s 1.29/1.38 c =============================================================================== 1.29/1.38 c | 11349 | 706 1374 5648 | 5000 3386 84 | 0.003 % | 1.39/1.40 c | 11449 | 706 1374 5648 | 5500 3486 84 | 0.003 % | 1.39/1.41 c | 11599 | 706 1374 5648 | 6050 3636 84 | 0.002 % | 1.39/1.43 c | 11825 | 706 1374 5648 | 6655 3862 84 | 0.002 % | 1.39/1.47 c | 12162 | 706 1374 5648 | 7320 4199 84 | 0.003 % | 1.49/1.52 c | 12669 | 706 1374 5648 | 8052 4706 84 | 0.003 % | 1.58/1.60 c | 13428 | 706 1374 5648 | 8857 5465 84 | 0.003 % | 1.69/1.73 c | 14567 | 706 1374 5648 | 9743 6604 83 | 0.002 % | 1.79/1.84 c =============================================================================== 1.79/1.84 c New solution: 40 1.79/1.84 o 40 1.79/1.84 c Elapsed CPU time: 1.79373 s Remaining CPU time: 178.206 s 1.79/1.84 c =============================================================================== 1.79/1.84 c | 15265 | 706 1375 5698 | 5000 7302 79 | 0.002 % | 1.79/1.86 c | 15365 | 706 1375 5698 | 5500 3751 74 | 0.002 % | 1.79/1.87 c | 15515 | 706 1375 5698 | 6050 3901 74 | 0.002 % | 1.79/1.89 c | 15740 | 706 1375 5698 | 6655 4126 74 | 0.002 % | 1.89/1.93 c | 16079 | 706 1375 5698 | 7320 4465 75 | 0.002 % | 1.89/1.99 c | 16585 | 706 1375 5698 | 8052 4971 76 | 0.003 % | 1.99/2.06 c | 17345 | 706 1375 5698 | 8857 5731 77 | 0.002 % | 2.09/2.18 c | 18484 | 706 1375 5698 | 9743 6870 78 | 0.002 % | 2.39/2.41 c | 20193 | 706 1375 5698 | 10717 8579 79 | 0.003 % | 2.78/2.81 c | 22756 | 706 1375 5698 | 11789 11142 80 | 0.002 % | 3.30/3.38 c | 26601 | 706 1375 5698 | 12968 8764 83 | 0.003 % | 4.30/4.36 c | 32367 | 706 1375 5698 | 14265 7713 82 | 0.003 % | 5.88/5.99 c | 41017 | 706 1375 5698 | 15692 8893 81 | 0.000 % | 8.48/8.53 c | 53991 | 706 1375 5698 | 17261 13690 82 | 0.002 % | 13.19/13.27 c | 73452 | 706 1375 5698 | 18987 15235 80 | 0.002 % | 21.28/21.38 c | 102646 | 706 1375 5698 | 20886 14943 79 | 0.003 % | 32.99/33.06 c | 146435 | 706 1375 5698 | 22974 15573 81 | 0.002 % | 53.07/53.10 c | 212119 | 706 1375 5698 | 25272 17642 79 | 0.003 % | 91.17/91.28 c | 310647 | 706 1375 5698 | 27799 12231 79 | 0.003 % | 148.04/148.17 c | 458437 | 706 1375 5698 | 30579 23218 76 | 0.003 % | 181.84/181.93 c There are 0 assigned variables. 0 in cost function. 182.34/182.44 c core #1 182.34/182.44 c #cores: 1 182.34/182.44 c Final Weight: 40 182.34/182.44 o 40 182.34/182.44 s OPTIMUM FOUND 182.34/182.44 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 -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -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 -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 -x51 -x52 -x53 -x54 x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 x63 x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 x99 -x100 182.34/182.44 c Total CPU time: 180.514 s
OK -10
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702652-1278573091/watcher-2702652-1278573091 -o /tmp/evaluation-result-2702652-1278573091/solver-2702652-1278573091 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702652-1278573091.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.97 0.48 0.42 3/106 31170 /proc/meminfo: memFree=1573304/2059040 swapFree=4165008/4192956 [pid=31170] ppid=31168 vsize=2752 CPUtime=0 /proc/31170/stat : 31170 (wbo1.4b) R 31168 31170 31092 0 -1 4202496 310 0 0 0 0 0 0 0 19 0 1 0 25512425 2818048 228 1992294400 134512640 135751879 4293079216 18446744073709551615 135008030 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31170/statm: 688 228 144 303 0 370 0 [startup+0.0363331 s] /proc/loadavg: 0.97 0.48 0.42 3/106 31170 /proc/meminfo: memFree=1573304/2059040 swapFree=4165008/4192956 [pid=31170] ppid=31168 vsize=2964 CPUtime=0.03 /proc/31170/stat : 31170 (wbo1.4b) R 31168 31170 31092 0 -1 4202496 390 0 0 0 3 0 0 0 19 0 1 0 25512425 3035136 295 1992294400 134512640 135751879 4293079216 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31170/statm: 741 295 147 303 0 436 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2964 [startup+0.101344 s] /proc/loadavg: 0.97 0.48 0.42 3/106 31170 /proc/meminfo: memFree=1573304/2059040 swapFree=4165008/4192956 [pid=31170] ppid=31168 vsize=3228 CPUtime=0.09 /proc/31170/stat : 31170 (wbo1.4b) R 31168 31170 31092 0 -1 4202496 486 0 0 0 9 0 0 0 20 0 1 0 25512425 3305472 391 1992294400 134512640 135751879 4293079216 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31170/statm: 807 391 147 303 0 502 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3228 [startup+0.301372 s] /proc/loadavg: 0.97 0.48 0.42 3/106 31170 /proc/meminfo: memFree=1573304/2059040 swapFree=4165008/4192956 [pid=31170] ppid=31168 vsize=4128 CPUtime=0.29 /proc/31170/stat : 31170 (wbo1.4b) R 31168 31170 31092 0 -1 4202496 709 0 0 0 29 0 0 0 20 0 1 0 25512425 4227072 614 1992294400 134512640 135751879 4293079216 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31170/statm: 1032 614 147 303 0 727 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4128 [startup+0.701428 s] /proc/loadavg: 0.97 0.48 0.42 3/106 31170 /proc/meminfo: memFree=1573304/2059040 swapFree=4165008/4192956 [pid=31170] ppid=31168 vsize=5560 CPUtime=0.69 /proc/31170/stat : 31170 (wbo1.4b) R 31168 31170 31092 0 -1 4202496 1062 0 0 0 68 1 0 0 21 0 1 0 25512425 5693440 967 1992294400 134512640 135751879 4293079216 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31170/statm: 1390 967 148 303 0 1085 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5560 [startup+1.50054 s] /proc/loadavg: 0.97 0.48 0.42 2/107 31171 /proc/meminfo: memFree=1569080/2059040 swapFree=4165008/4192956 [pid=31170] ppid=31168 vsize=8528 CPUtime=1.49 /proc/31170/stat : 31170 (wbo1.4b) R 31168 31170 31092 0 -1 4202496 1806 0 0 0 146 3 0 0 23 0 1 0 25512425 8732672 1711 1992294400 134512640 135751879 4293079216 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31170/statm: 2132 1711 148 303 0 1827 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8528 [startup+3.10077 s] /proc/loadavg: 0.97 0.48 0.42 2/107 31171 /proc/meminfo: memFree=1564740/2059040 swapFree=4165008/4192956 [pid=31170] ppid=31168 vsize=13700 CPUtime=3.09 /proc/31170/stat : 31170 (wbo1.4b) R 31168 31170 31092 0 -1 4202496 3094 0 0 0 303 6 0 0 25 0 1 0 25512425 14028800 2999 1992294400 134512640 135751879 4293079216 18446744073709551615 134610830 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31170/statm: 3425 2999 148 303 0 3120 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13700 [startup+6.30122 s] /proc/loadavg: 1.05 0.51 0.43 2/107 31171 /proc/meminfo: memFree=1555688/2059040 swapFree=4165008/4192956 [pid=31170] ppid=31168 vsize=21592 CPUtime=6.29 /proc/31170/stat : 31170 (wbo1.4b) R 31168 31170 31092 0 -1 4202496 5047 0 0 0 618 11 0 0 25 0 1 0 25512425 22110208 4952 1992294400 134512640 135751879 4293079216 18446744073709551615 134616326 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31170/statm: 5398 4952 148 303 0 5093 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21592 [startup+12.7011 s] /proc/loadavg: 1.04 0.52 0.43 2/107 31171 /proc/meminfo: memFree=1543164/2059040 swapFree=4165008/4192956 [pid=31170] ppid=31168 vsize=33528 CPUtime=12.68 /proc/31170/stat : 31170 (wbo1.4b) R 31168 31170 31092 0 -1 4202496 8032 0 0 0 1248 20 0 0 25 0 1 0 25512425 34332672 7937 1992294400 134512640 135751879 4293079216 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31170/statm: 8382 7937 148 303 0 8077 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 33528 [startup+25.5019 s] /proc/loadavg: 1.03 0.54 0.44 2/107 31171 /proc/meminfo: memFree=1521340/2059040 swapFree=4165008/4192956 [pid=31170] ppid=31168 vsize=54416 CPUtime=25.48 /proc/31170/stat : 31170 (wbo1.4b) R 31168 31170 31092 0 -1 4202496 13240 0 0 0 2513 35 0 0 25 0 1 0 25512425 55721984 13145 1992294400 134512640 135751879 4293079216 18446744073709551615 134517568 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31170/statm: 13604 13145 148 303 0 13299 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 54416 [startup+51.1016 s] /proc/loadavg: 1.02 0.58 0.46 2/107 31172 /proc/meminfo: memFree=1486496/2059040 swapFree=4165008/4192956 [pid=31170] ppid=31168 vsize=89380 CPUtime=51.07 /proc/31170/stat : 31170 (wbo1.4b) R 31168 31170 31092 0 -1 4202496 21966 0 0 0 5045 62 0 0 25 0 1 0 25512425 91525120 21871 1992294400 134512640 135751879 4293079216 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31170/statm: 22345 21871 148 303 0 22040 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 89380 [startup+102.309 s] /proc/loadavg: 1.04 0.66 0.49 2/107 31173 /proc/meminfo: memFree=1430200/2059040 swapFree=4165008/4192956 [pid=31170] ppid=31168 vsize=145108 CPUtime=102.27 /proc/31170/stat : 31170 (wbo1.4b) R 31168 31170 31092 0 -1 4202496 35866 0 0 0 10111 116 0 0 25 0 1 0 25512425 148590592 35771 1992294400 134512640 135751879 4293079216 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31170/statm: 36277 35771 148 303 0 35972 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 145108 [startup+162.301 s] /proc/loadavg: 1.05 0.73 0.52 2/107 31175 /proc/meminfo: memFree=1373036/2059040 swapFree=4165008/4192956 [pid=31170] ppid=31168 vsize=202636 CPUtime=162.24 /proc/31170/stat : 31170 (wbo1.4b) R 31168 31170 31092 0 -1 4202496 50239 0 0 0 16053 171 0 0 25 0 1 0 25512425 207499264 50144 1992294400 134512640 135751879 4293079216 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31170/statm: 50659 50144 148 303 0 50354 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 202636 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.05 0.73 0.52 2/107 31175 /proc/meminfo: memFree=1369936/2059040 swapFree=4165008/4192956 [pid=31170] ppid=31168 vsize=205616 CPUtime=166.24 /proc/31170/stat : 31170 (wbo1.4b) R 31168 31170 31092 0 -1 4202496 50972 0 0 0 16450 174 0 0 25 0 1 0 25512425 210550784 50877 1992294400 134512640 135751879 4293079216 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31170/statm: 51404 50877 148 303 0 51099 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 205616 [startup+172.708 s] /proc/loadavg: 1.11 0.76 0.53 2/107 31175 /proc/meminfo: memFree=1364480/2059040 swapFree=4165008/4192956 [pid=31170] ppid=31168 vsize=210680 CPUtime=172.65 /proc/31170/stat : 31170 (wbo1.4b) R 31168 31170 31092 0 -1 4202496 52252 0 0 0 17086 179 0 0 25 0 1 0 25512425 215736320 52157 1992294400 134512640 135751879 4293079216 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31170/statm: 52670 52157 148 303 0 52365 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 210680 [startup+179.102 s] /proc/loadavg: 1.11 0.76 0.54 2/107 31175 /proc/meminfo: memFree=1359768/2059040 swapFree=4165008/4192956 [pid=31170] ppid=31168 vsize=216280 CPUtime=179.04 /proc/31170/stat : 31170 (wbo1.4b) R 31168 31170 31092 0 -1 4202496 53647 0 0 0 17720 184 0 0 25 0 1 0 25512425 221470720 53552 1992294400 134512640 135751879 4293079216 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31170/statm: 54070 53552 148 303 0 53765 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 216280 [startup+180.701 s] /proc/loadavg: 1.11 0.76 0.54 2/107 31175 /proc/meminfo: memFree=1357908/2059040 swapFree=4165008/4192956 [pid=31170] ppid=31168 vsize=217568 CPUtime=180.64 /proc/31170/stat : 31170 (wbo1.4b) R 31168 31170 31092 0 -1 4202496 53968 0 0 0 17878 186 0 0 25 0 1 0 25512425 222789632 53873 1992294400 134512640 135751879 4293079216 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31170/statm: 54392 53873 148 303 0 54087 0 Current children cumulated CPU time (s) 180.64 Current children cumulated vsize (KiB) 217568 [startup+181.508 s] /proc/loadavg: 1.11 0.76 0.54 2/107 31175 /proc/meminfo: memFree=1357164/2059040 swapFree=4165008/4192956 [pid=31170] ppid=31168 vsize=218084 CPUtime=181.44 /proc/31170/stat : 31170 (wbo1.4b) R 31168 31170 31092 0 -1 4202496 54071 0 0 0 17958 186 0 0 25 0 1 0 25512425 223318016 53976 1992294400 134512640 135751879 4293079216 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31170/statm: 54521 53976 148 303 0 54216 0 Current children cumulated CPU time (s) 181.44 Current children cumulated vsize (KiB) 218084 [startup+181.901 s] /proc/loadavg: 1.11 0.76 0.54 2/107 31175 /proc/meminfo: memFree=1357164/2059040 swapFree=4165008/4192956 [pid=31170] ppid=31168 vsize=218212 CPUtime=181.84 /proc/31170/stat : 31170 (wbo1.4b) R 31168 31170 31092 0 -1 4202496 54118 0 0 0 17997 187 0 0 25 0 1 0 25512425 223449088 54023 1992294400 134512640 135751879 4293079216 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31170/statm: 54553 54023 148 303 0 54248 0 Current children cumulated CPU time (s) 181.84 Current children cumulated vsize (KiB) 218212 [startup+182.301 s] /proc/loadavg: 1.11 0.76 0.54 2/107 31175 /proc/meminfo: memFree=1357164/2059040 swapFree=4165008/4192956 [pid=31170] ppid=31168 vsize=218480 CPUtime=182.24 /proc/31170/stat : 31170 (wbo1.4b) R 31168 31170 31092 0 -1 4202496 54170 0 0 0 18037 187 0 0 25 0 1 0 25512425 223723520 54075 1992294400 134512640 135751879 4293079216 18446744073709551615 135200308 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31170/statm: 54620 54075 149 303 0 54315 0 Current children cumulated CPU time (s) 182.24 Current children cumulated vsize (KiB) 218480 [startup+182.401 s] /proc/loadavg: 1.11 0.76 0.54 2/107 31175 /proc/meminfo: memFree=1357164/2059040 swapFree=4165008/4192956 [pid=31170] ppid=31168 vsize=218480 CPUtime=182.34 /proc/31170/stat : 31170 (wbo1.4b) R 31168 31170 31092 0 -1 4202496 54170 0 0 0 18047 187 0 0 25 0 1 0 25512425 223723520 54075 1992294400 134512640 135751879 4293079216 18446744073709551615 135200241 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31170/statm: 54620 54075 149 303 0 54315 0 Current children cumulated CPU time (s) 182.34 Current children cumulated vsize (KiB) 218480 Child status: 0 Real time (s): 182.463 CPU time (s): 182.408 CPU user time (s): 180.514 CPU system time (s): 1.89471 CPU usage (%): 99.97 Max. virtual memory (cumulated for all children) (KiB): 218480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.514 system time used= 1.89471 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54171 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= 1940 runsolver used 0.303953 second user time and 0.874867 second system time The end
Begin job on node049 at 2010-07-08 09:11:31 IDJOB=2702652 IDBENCH=48261 IDSOLVER=1161 FILE ID=node049/2702652-1278573091 PBS_JOBID= 11240077 Free space on /tmp= 62484 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_5.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-2702652-1278573091/watcher-2702652-1278573091 -o /tmp/evaluation-result-2702652-1278573091/solver-2702652-1278573091 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702652-1278573091.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0619afe86d0e2ffb4ad28e9f2f441c24 RANDOM SEED=1776287250 node049.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.266 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.53 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.266 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1574080 kB Buffers: 81692 kB Cached: 278700 kB SwapCached: 1172 kB Active: 154396 kB Inactive: 239064 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1574080 kB SwapTotal: 4192956 kB SwapFree: 4165008 kB Dirty: 2628 kB Writeback: 0 kB AnonPages: 31808 kB Mapped: 14388 kB Slab: 69380 kB PageTables: 4160 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181132 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702652-1278573091.opb Free space on /tmp at the end= 62480 MiB End job on node049 at 2010-07-08 09:14:34