Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -18 | 180.843 | 180.885 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb |
MD5SUM | 3895ca8e12182fcd80d7923f66584703 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -32 |
Best CPU time to get the best result obtained on this benchmark | 1789.91 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -35 |
Optimality of the best value was proved | YES |
Number of variables | 595 |
Total number of constraints | 27931 |
Number of constraints which are clauses | 27931 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 595 |
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 | 595 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 595 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655897-1276514571.opb. 0.00/0.00 c Instance file HOME/instance-2655897-1276514571.opb 0.00/0.00 c File size is 664643 bytes. 0.06/0.09 c Highest Coefficient sum: 3 0.06/0.09 c ============================[ Problem Statistics ]============================= 0.06/0.09 c | | 0.06/0.09 c | Parsing time: 0.09 s | 0.06/0.09 c | Number Variables: 595 | 0.06/0.09 c | Number Clauses: 27931 | 0.06/0.09 c | Number Cardinality: 0 | 0.06/0.09 c | Number PB Constraints: 0 | 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 595 27931 55862 | 9310 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: 595 0.09/0.15 o 595 0.09/0.15 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 595 27932 56457 | 9310 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: 594 0.09/0.15 o 594 0.09/0.15 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 595 27933 57052 | 9311 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c New solution: 593 0.09/0.16 o 593 0.09/0.16 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s 0.09/0.16 c =============================================================================== 0.09/0.16 c | 9 | 595 27934 57647 | 9311 9 589 | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c New solution: 592 0.09/0.19 o 592 0.09/0.19 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s 0.09/0.19 c =============================================================================== 0.09/0.19 c | 107 | 595 27935 58242 | 9311 107 588 | 0.000 % | 0.19/0.21 c | 207 | 595 27935 58242 | 10242 207 588 | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: 591 0.19/0.22 o 591 0.19/0.22 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 273 | 595 27936 58837 | 9312 273 588 | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c New solution: 590 0.19/0.25 o 590 0.19/0.25 c Elapsed CPU time: 0.242963 s Remaining CPU time: 179.757 s 0.19/0.25 c =============================================================================== 0.19/0.25 c | 366 | 595 27937 59432 | 9312 366 587 | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: 589 0.19/0.27 o 589 0.19/0.27 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 464 | 595 27938 60027 | 9312 464 587 | 0.000 % | 0.29/0.30 c | 569 | 595 27938 60027 | 10243 569 587 | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c New solution: 588 0.29/0.33 o 588 0.29/0.33 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s 0.29/0.33 c =============================================================================== 0.29/0.33 c | 677 | 595 27939 60622 | 9313 677 586 | 0.000 % | 0.29/0.36 c | 780 | 595 27939 60622 | 10244 780 586 | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c New solution: 587 0.29/0.38 o 587 0.29/0.38 c Elapsed CPU time: 0.372943 s Remaining CPU time: 179.627 s 0.29/0.38 c =============================================================================== 0.29/0.38 c | 860 | 595 27940 61217 | 9313 860 586 | 0.000 % | 0.39/0.41 c | 960 | 595 27940 61217 | 10244 960 586 | 0.000 % | 0.39/0.46 c | 1111 | 595 27940 61217 | 11269 1111 585 | 0.000 % | 0.49/0.53 c | 1337 | 595 27940 61217 | 12396 1337 585 | 0.000 % | 0.59/0.63 c | 1679 | 595 27940 61217 | 13635 1679 584 | 0.000 % | 0.69/0.70 c =============================================================================== 0.69/0.70 c New solution: 586 0.69/0.70 o 586 0.69/0.70 c Elapsed CPU time: 0.689895 s Remaining CPU time: 179.31 s 0.69/0.70 c =============================================================================== 0.69/0.70 c | 1839 | 595 27941 61812 | 9313 1839 584 | 0.000 % | 0.69/0.75 c | 1941 | 595 27941 61812 | 10245 1941 584 | 0.000 % | 0.79/0.80 c | 2092 | 595 27941 61812 | 11269 2092 584 | 0.000 % | 0.79/0.87 c | 2320 | 595 27941 61812 | 12396 2320 584 | 0.000 % | 0.99/1.07 c | 2657 | 595 27941 61812 | 13636 2657 584 | 0.000 % | 1.09/1.13 c =============================================================================== 1.09/1.13 c New solution: 585 1.09/1.13 o 585 1.09/1.13 c Elapsed CPU time: 1.11883 s Remaining CPU time: 178.881 s 1.09/1.13 c =============================================================================== 1.09/1.13 c | 2780 | 595 27942 62407 | 9314 2780 584 | 0.000 % | 1.19/1.20 c | 2880 | 595 27942 62407 | 10245 2880 584 | 0.000 % | 1.19/1.29 c | 3031 | 595 27942 62407 | 11269 3031 584 | 0.000 % | 1.29/1.30 c =============================================================================== 1.29/1.30 c New solution: 584 1.29/1.30 o 584 1.29/1.30 c Elapsed CPU time: 1.28181 s Remaining CPU time: 178.718 s 1.29/1.30 c =============================================================================== 1.29/1.30 c | 3042 | 595 27943 63002 | 9314 3042 584 | 0.000 % | 1.29/1.36 c | 3142 | 595 27943 63002 | 10245 3142 583 | 0.000 % | 1.39/1.44 c | 3293 | 595 27943 63002 | 11270 3293 583 | 0.000 % | 1.39/1.48 c =============================================================================== 1.39/1.48 c New solution: 583 1.39/1.48 o 583 1.39/1.48 c Elapsed CPU time: 1.46078 s Remaining CPU time: 178.539 s 1.39/1.48 c =============================================================================== 1.39/1.48 c | 3361 | 595 27944 63597 | 9314 3361 583 | 0.000 % | 1.49/1.54 c | 3461 | 595 27944 63597 | 10246 3461 583 | 0.000 % | 1.59/1.64 c | 3612 | 595 27944 63597 | 11270 3612 583 | 0.000 % | 1.79/1.81 c | 3839 | 595 27944 63597 | 12397 3839 583 | 0.000 % | 1.99/2.06 c | 4180 | 595 27944 63597 | 13637 4180 582 | 0.000 % | 2.19/2.29 c | 4690 | 595 27944 63597 | 15001 4690 582 | 0.000 % | 2.79/2.84 c | 5452 | 595 27944 63597 | 16501 5452 581 | 0.000 % | 3.69/3.80 c | 6591 | 595 27944 63597 | 18151 6591 581 | 0.000 % | 4.99/5.01 c | 8301 | 595 27944 63597 | 19966 8301 580 | 0.000 % | 7.19/7.29 c | 10863 | 595 27944 63597 | 21963 10863 580 | 0.000 % | 7.49/7.53 c =============================================================================== 7.49/7.53 c New solution: 582 7.49/7.53 o 582 7.49/7.53 c Elapsed CPU time: 7.46187 s Remaining CPU time: 172.538 s 7.49/7.53 c =============================================================================== 7.49/7.53 c | 11065 | 595 27945 64192 | 9315 11065 580 | 0.000 % | 7.59/7.68 c | 11169 | 595 27945 64192 | 10246 5637 579 | 0.000 % | 7.70/7.77 c | 11320 | 595 27945 64192 | 11271 5788 579 | 0.000 % | 7.89/7.99 c | 11545 | 595 27945 64192 | 12398 6013 579 | 0.000 % | 8.19/8.23 c | 11882 | 595 27945 64192 | 13638 6350 579 | 0.000 % | 8.49/8.55 c =============================================================================== 8.49/8.55 c New solution: 581 8.49/8.55 o 581 8.49/8.55 c Elapsed CPU time: 8.47371 s Remaining CPU time: 171.526 s 8.49/8.55 c =============================================================================== 8.49/8.55 c | 12268 | 595 27946 64787 | 9315 6736 579 | 0.000 % | 8.59/8.66 c | 12369 | 595 27946 64787 | 10246 6837 579 | 0.000 % | 8.80/8.85 c | 12520 | 595 27946 64787 | 11271 6988 579 | 0.000 % | 8.99/9.07 c | 12748 | 595 27946 64787 | 12398 7216 579 | 0.000 % | 9.39/9.42 c | 13086 | 595 27946 64787 | 13638 7554 579 | 0.000 % | 9.69/9.77 c | 13593 | 595 27946 64787 | 15002 8061 579 | 0.000 % | 9.99/10.08 c =============================================================================== 9.99/10.08 c New solution: 580 9.99/10.08 o 580 9.99/10.08 c Elapsed CPU time: 9.97948 s Remaining CPU time: 170.021 s 9.99/10.08 c =============================================================================== 9.99/10.08 c | 14055 | 595 27947 65382 | 9315 8523 578 | 0.000 % | 10.09/10.12 c | 14156 | 595 27947 65382 | 10247 8624 578 | 0.000 % | 10.19/10.23 c | 14306 | 595 27947 65382 | 11271 8774 578 | 0.000 % | 10.39/10.42 c | 14532 | 595 27947 65382 | 12399 9000 578 | 0.000 % | 10.69/10.78 c | 14871 | 595 27947 65382 | 13639 9339 578 | 0.000 % | 11.29/11.32 c | 15378 | 595 27947 65382 | 15002 9846 578 | 0.000 % | 12.09/12.11 c | 16138 | 595 27947 65382 | 16503 10606 578 | 0.000 % | 13.10/13.19 c | 17277 | 595 27947 65382 | 18153 11745 578 | 0.000 % | 15.19/15.26 c | 18986 | 595 27947 65382 | 19968 13454 578 | 0.000 % | 19.70/19.71 c | 21548 | 595 27947 65382 | 21965 16016 578 | 0.000 % | 22.78/22.85 c =============================================================================== 22.78/22.85 c New solution: 579 22.78/22.85 o 579 22.78/22.85 c Elapsed CPU time: 22.6606 s Remaining CPU time: 157.339 s 22.78/22.85 c =============================================================================== 22.78/22.85 c | 24580 | 595 27948 65977 | 9316 19048 578 | 0.000 % | 23.38/23.40 c | 24682 | 595 27948 65977 | 10247 4864 577 | 0.000 % | 23.48/23.53 c | 24832 | 595 27948 65977 | 11272 5014 577 | 0.000 % | 23.58/23.67 c | 25059 | 595 27948 65977 | 12399 5241 577 | 0.000 % | 23.78/23.84 c | 25398 | 595 27948 65977 | 13639 5580 577 | 0.000 % | 24.09/24.10 c | 25904 | 595 27948 65977 | 15003 6086 577 | 0.000 % | 24.58/24.63 c | 26664 | 595 27948 65977 | 16503 6846 577 | 0.000 % | 25.39/25.47 c | 27804 | 595 27948 65977 | 18154 7986 577 | 0.000 % | 26.79/26.87 c | 29513 | 595 27948 65977 | 19969 9695 577 | 0.000 % | 27.18/27.25 c =============================================================================== 27.18/27.25 c New solution: 578 27.18/27.25 o 578 27.18/27.25 c Elapsed CPU time: 27.0309 s Remaining CPU time: 152.969 s 27.18/27.25 c =============================================================================== 27.18/27.25 c | 29910 | 595 27949 66572 | 9316 10092 577 | 0.000 % | 27.28/27.38 c | 30011 | 595 27949 66572 | 10247 5147 576 | 0.000 % | 27.39/27.48 c | 30161 | 595 27949 66572 | 11272 5297 576 | 0.000 % | 27.59/27.64 c | 30386 | 595 27949 66572 | 12400 5522 576 | 0.000 % | 27.89/27.90 c | 30723 | 595 27949 66572 | 13640 5859 576 | 0.000 % | 27.99/28.04 c =============================================================================== 27.99/28.04 c New solution: 577 27.99/28.04 o 577 27.99/28.04 c Elapsed CPU time: 27.8198 s Remaining CPU time: 152.18 s 27.99/28.04 c =============================================================================== 27.99/28.04 c | 30869 | 595 27950 67167 | 9316 6005 576 | 0.000 % | 28.09/28.13 c | 30969 | 595 27950 67167 | 10248 6105 576 | 0.000 % | 28.19/28.25 c | 31121 | 595 27950 67167 | 11273 6257 576 | 0.000 % | 28.49/28.54 c | 31348 | 595 27950 67167 | 12400 6484 576 | 0.000 % | 28.88/28.90 c | 31685 | 595 27950 67167 | 13640 6821 576 | 0.000 % | 29.39/29.45 c | 32193 | 595 27950 67167 | 15004 7329 576 | 0.000 % | 30.28/30.32 c | 32952 | 595 27950 67167 | 16505 8088 575 | 0.000 % | 31.98/32.07 c | 34091 | 595 27950 67167 | 18155 9227 575 | 0.000 % | 34.99/35.03 c | 35799 | 595 27950 67167 | 19971 10935 575 | 0.000 % | 40.19/40.21 c | 38364 | 595 27950 67167 | 21968 13500 575 | 0.000 % | 47.78/47.88 c | 42208 | 595 27950 67167 | 24165 17344 574 | 0.000 % | 63.38/63.40 c | 47978 | 595 27950 67167 | 26581 23114 574 | 0.000 % | 82.38/82.42 c | 56627 | 595 27950 67167 | 29239 15467 574 | 0.000 % | 129.86/129.98 c | 69601 | 595 27950 67167 | 32163 28441 574 | 0.000 % | 180.65/180.75 c There are 0 assigned variables. 0 in cost function. 180.75/180.86 c core #1 180.75/180.86 c #cores: 1 180.75/180.86 c Final Weight: 577 180.75/180.86 o 577 180.75/180.86 s OPTIMUM FOUND 180.75/180.86 v -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 x579 -x578 -x577 -x576 x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 180.75/180.86 c Total CPU time: 180.124 s
OK -18
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655897-1276514571/watcher-2655897-1276514571 -o /tmp/evaluation-result-2655897-1276514571/solver-2655897-1276514571 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655897-1276514571.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/106 28640 /proc/meminfo: memFree=1791184/2059040 swapFree=4136648/4192956 [pid=28640] ppid=28638 vsize=3364 CPUtime=0 /proc/28640/stat : 28640 (wbo1.4b) R 28638 28640 28187 0 -1 4202496 309 0 0 0 0 0 0 0 20 0 1 0 25112546 3444736 228 1992294400 134512640 135751879 4291570816 18446744073709551615 135206572 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28640/statm: 841 229 146 303 0 373 0 [startup+0.06882 s] /proc/loadavg: 1.00 1.00 1.00 3/106 28640 /proc/meminfo: memFree=1791184/2059040 swapFree=4136648/4192956 [pid=28640] ppid=28638 vsize=4224 CPUtime=0.06 /proc/28640/stat : 28640 (wbo1.4b) R 28638 28640 28187 0 -1 4202496 639 0 0 0 6 0 0 0 20 0 1 0 25112546 4325376 558 1992294400 134512640 135751879 4291570816 18446744073709551615 135118564 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28640/statm: 1056 558 255 303 0 588 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4224 [startup+0.100777 s] /proc/loadavg: 1.00 1.00 1.00 3/106 28640 /proc/meminfo: memFree=1791184/2059040 swapFree=4136648/4192956 [pid=28640] ppid=28638 vsize=5320 CPUtime=0.09 /proc/28640/stat : 28640 (wbo1.4b) R 28638 28640 28187 0 -1 4202496 1132 0 0 0 9 0 0 0 20 0 1 0 25112546 5447680 888 1992294400 134512640 135751879 4291570816 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28640/statm: 1330 890 143 303 0 1025 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5320 [startup+0.300792 s] /proc/loadavg: 1.00 1.00 1.00 3/106 28640 /proc/meminfo: memFree=1791184/2059040 swapFree=4136648/4192956 [pid=28640] ppid=28638 vsize=5848 CPUtime=0.29 /proc/28640/stat : 28640 (wbo1.4b) R 28638 28640 28187 0 -1 4202496 1258 0 0 0 29 0 0 0 20 0 1 0 25112546 5988352 1014 1992294400 134512640 135751879 4291570816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28640/statm: 1462 1014 147 303 0 1157 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5848 [startup+0.700824 s] /proc/loadavg: 1.00 1.00 1.00 3/106 28640 /proc/meminfo: memFree=1791184/2059040 swapFree=4136648/4192956 [pid=28640] ppid=28638 vsize=8672 CPUtime=0.69 /proc/28640/stat : 28640 (wbo1.4b) R 28638 28640 28187 0 -1 4202496 1960 0 0 0 68 1 0 0 20 0 1 0 25112546 8880128 1716 1992294400 134512640 135751879 4291570816 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28640/statm: 2168 1716 147 303 0 1863 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8672 [startup+1.50089 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28641 /proc/meminfo: memFree=1782992/2059040 swapFree=4136648/4192956 [pid=28640] ppid=28638 vsize=12520 CPUtime=1.49 /proc/28640/stat : 28640 (wbo1.4b) R 28638 28640 28187 0 -1 4202496 2930 0 0 0 147 2 0 0 22 0 1 0 25112546 12820480 2686 1992294400 134512640 135751879 4291570816 18446744073709551615 134606646 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28640/statm: 3130 2686 147 303 0 2825 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12520 [startup+3.10101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28641 /proc/meminfo: memFree=1778652/2059040 swapFree=4136648/4192956 [pid=28640] ppid=28638 vsize=18164 CPUtime=3.09 /proc/28640/stat : 28640 (wbo1.4b) R 28638 28640 28187 0 -1 4202496 4325 0 0 0 306 3 0 0 25 0 1 0 25112546 18599936 4081 1992294400 134512640 135751879 4291570816 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28640/statm: 4541 4081 147 303 0 4236 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18164 [startup+6.30027 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28641 /proc/meminfo: memFree=1767740/2059040 swapFree=4136648/4192956 [pid=28640] ppid=28638 vsize=27872 CPUtime=6.29 /proc/28640/stat : 28640 (wbo1.4b) R 28638 28640 28187 0 -1 4202496 6766 0 0 0 623 6 0 0 25 0 1 0 25112546 28540928 6522 1992294400 134512640 135751879 4291570816 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28640/statm: 6968 6522 147 303 0 6663 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27872 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28641 /proc/meminfo: memFree=1750256/2059040 swapFree=4136648/4192956 [pid=28640] ppid=28638 vsize=45044 CPUtime=12.68 /proc/28640/stat : 28640 (wbo1.4b) R 28638 28640 28187 0 -1 4202496 11041 0 0 0 1256 12 0 0 25 0 1 0 25112546 46125056 10797 1992294400 134512640 135751879 4291570816 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28640/statm: 11261 10797 148 303 0 10956 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 45044 [startup+25.5008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28641 /proc/meminfo: memFree=1722852/2059040 swapFree=4136648/4192956 [pid=28640] ppid=28638 vsize=71156 CPUtime=25.49 /proc/28640/stat : 28640 (wbo1.4b) R 28638 28640 28187 0 -1 4202496 17564 0 0 0 2529 20 0 0 25 0 1 0 25112546 72863744 17320 1992294400 134512640 135751879 4291570816 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28640/statm: 17789 17320 148 303 0 17484 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 71156 [startup+51.1008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28641 /proc/meminfo: memFree=1685652/2059040 swapFree=4136648/4192956 [pid=28640] ppid=28638 vsize=107908 CPUtime=51.08 /proc/28640/stat : 28640 (wbo1.4b) R 28638 28640 28187 0 -1 4202496 26743 0 0 0 5076 32 0 0 25 0 1 0 25112546 110497792 26499 1992294400 134512640 135751879 4291570816 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28640/statm: 26977 26499 148 303 0 26672 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 107908 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28643 /proc/meminfo: memFree=1636052/2059040 swapFree=4136648/4192956 [pid=28640] ppid=28638 vsize=157036 CPUtime=102.27 /proc/28640/stat : 28640 (wbo1.4b) R 28638 28640 28187 0 -1 4202496 38988 0 0 0 10179 48 0 0 25 0 1 0 25112546 160804864 38744 1992294400 134512640 135751879 4291570816 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28640/statm: 39259 38744 148 303 0 38954 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 157036 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28645 /proc/meminfo: memFree=1585212/2059040 swapFree=4136648/4192956 [pid=28640] ppid=28638 vsize=208220 CPUtime=162.25 /proc/28640/stat : 28640 (wbo1.4b) R 28638 28640 28187 0 -1 4202496 51720 0 0 0 16160 65 0 0 25 0 1 0 25112546 213217280 51476 1992294400 134512640 135751879 4291570816 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28640/statm: 52055 51476 148 303 0 51750 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 208220 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28645 /proc/meminfo: memFree=1583228/2059040 swapFree=4136648/4192956 [pid=28640] ppid=28638 vsize=209888 CPUtime=166.25 /proc/28640/stat : 28640 (wbo1.4b) R 28638 28640 28187 0 -1 4202496 52156 0 0 0 16560 65 0 0 25 0 1 0 25112546 214925312 51912 1992294400 134512640 135751879 4291570816 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28640/statm: 52472 51912 148 303 0 52167 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 209888 [startup+172.708 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28645 /proc/meminfo: memFree=1580500/2059040 swapFree=4136648/4192956 [pid=28640] ppid=28638 vsize=212448 CPUtime=172.66 /proc/28640/stat : 28640 (wbo1.4b) R 28638 28640 28187 0 -1 4202496 52774 0 0 0 17199 67 0 0 25 0 1 0 25112546 217546752 52530 1992294400 134512640 135751879 4291570816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28640/statm: 53112 52530 148 303 0 52807 0 Current children cumulated CPU time (s) 172.66 Current children cumulated vsize (KiB) 212448 [startup+175.902 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28645 /proc/meminfo: memFree=1579012/2059040 swapFree=4136648/4192956 [pid=28640] ppid=28638 vsize=213984 CPUtime=175.86 /proc/28640/stat : 28640 (wbo1.4b) R 28638 28640 28187 0 -1 4202496 53155 0 0 0 17518 68 0 0 25 0 1 0 25112546 219119616 52911 1992294400 134512640 135751879 4291570816 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28640/statm: 53496 52911 148 303 0 53191 0 Current children cumulated CPU time (s) 175.86 Current children cumulated vsize (KiB) 213984 [startup+179.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28645 /proc/meminfo: memFree=1577648/2059040 swapFree=4136648/4192956 [pid=28640] ppid=28638 vsize=216032 CPUtime=179.05 /proc/28640/stat : 28640 (wbo1.4b) R 28638 28640 28187 0 -1 4202496 53686 0 0 0 17836 69 0 0 25 0 1 0 25112546 221216768 53442 1992294400 134512640 135751879 4291570816 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28640/statm: 54008 53442 148 303 0 53703 0 Current children cumulated CPU time (s) 179.05 Current children cumulated vsize (KiB) 216032 [startup+179.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28645 /proc/meminfo: memFree=1576780/2059040 swapFree=4136648/4192956 [pid=28640] ppid=28638 vsize=216288 CPUtime=179.85 /proc/28640/stat : 28640 (wbo1.4b) R 28638 28640 28187 0 -1 4202496 53750 0 0 0 17916 69 0 0 25 0 1 0 25112546 221478912 53506 1992294400 134512640 135751879 4291570816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28640/statm: 54072 53506 148 303 0 53767 0 Current children cumulated CPU time (s) 179.85 Current children cumulated vsize (KiB) 216288 [startup+180.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28645 /proc/meminfo: memFree=1576408/2059040 swapFree=4136648/4192956 [pid=28640] ppid=28638 vsize=216416 CPUtime=180.26 /proc/28640/stat : 28640 (wbo1.4b) R 28638 28640 28187 0 -1 4202496 53787 0 0 0 17957 69 0 0 25 0 1 0 25112546 221609984 53543 1992294400 134512640 135751879 4291570816 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28640/statm: 54104 53543 148 303 0 53799 0 Current children cumulated CPU time (s) 180.26 Current children cumulated vsize (KiB) 216416 [startup+180.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28645 /proc/meminfo: memFree=1576408/2059040 swapFree=4136648/4192956 [pid=28640] ppid=28638 vsize=216672 CPUtime=180.65 /proc/28640/stat : 28640 (wbo1.4b) R 28638 28640 28187 0 -1 4202496 53825 0 0 0 17996 69 0 0 25 0 1 0 25112546 221872128 53581 1992294400 134512640 135751879 4291570816 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28640/statm: 54168 53581 148 303 0 53863 0 Current children cumulated CPU time (s) 180.65 Current children cumulated vsize (KiB) 216672 [startup+180.801 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28645 /proc/meminfo: memFree=1576408/2059040 swapFree=4136648/4192956 [pid=28640] ppid=28638 vsize=217836 CPUtime=180.75 /proc/28640/stat : 28640 (wbo1.4b) R 28638 28640 28187 0 -1 4202496 54124 0 0 0 18006 69 0 0 25 0 1 0 25112546 223064064 53880 1992294400 134512640 135751879 4291570816 18446744073709551615 134712389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28640/statm: 54459 53880 149 303 0 54154 0 Current children cumulated CPU time (s) 180.75 Current children cumulated vsize (KiB) 217836 Child status: 0 Real time (s): 180.885 CPU time (s): 180.843 CPU user time (s): 180.124 CPU system time (s): 0.71889 CPU usage (%): 99.9767 Max. virtual memory (cumulated for all children) (KiB): 217836 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.124 system time used= 0.71889 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54125 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= 8 involuntary context switches= 170 runsolver used 0.316951 second user time and 0.85287 second system time The end
Begin job on node026 at 2010-06-14 13:22:51 IDJOB=2655897 IDBENCH=2272 IDSOLVER=1161 FILE ID=node026/2655897-1276514571 PBS_JOBID= 11173424 Free space on /tmp= 62516 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655897-1276514571/watcher-2655897-1276514571 -o /tmp/evaluation-result-2655897-1276514571/solver-2655897-1276514571 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655897-1276514571.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3895ca8e12182fcd80d7923f66584703 RANDOM SEED=364739420 node026.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.201 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.40 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.201 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: 1791712 kB Buffers: 82600 kB Cached: 105696 kB SwapCached: 9576 kB Active: 105284 kB Inactive: 95628 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1791712 kB SwapTotal: 4192956 kB SwapFree: 4136648 kB Dirty: 3304 kB Writeback: 0 kB AnonPages: 10864 kB Mapped: 9180 kB Slab: 44520 kB PageTables: 3988 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179908 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62512 MiB End job on node026 at 2010-06-14 13:25:52