Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -17 | 180.689 | 180.759 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb |
MD5SUM | 5249f5f1c551add7f5b5b920fc1c3b9c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -35 |
Best CPU time to get the best result obtained on this benchmark | 1789.56 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -40 |
Optimality of the best value was proved | NO |
Number of variables | 760 |
Total number of constraints | 41263 |
Number of constraints which are clauses | 41263 |
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 | 760 |
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 | 760 |
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 | 760 |
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-2656007-1276491292.opb. 0.00/0.00 c Instance file HOME/instance-2656007-1276491292.opb 0.00/0.00 c File size is 986607 bytes. 0.09/0.13 c Highest Coefficient sum: 3 0.09/0.13 c ============================[ Problem Statistics ]============================= 0.09/0.13 c | | 0.09/0.13 c | Parsing time: 0.13 s | 0.09/0.13 c | Number Variables: 760 | 0.09/0.13 c | Number Clauses: 41263 | 0.09/0.13 c | Number Cardinality: 0 | 0.09/0.13 c | Number PB Constraints: 0 | 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 760 41263 82526 | 13754 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 760 0.19/0.23 o 760 0.19/0.23 c Elapsed CPU time: 0.225965 s Remaining CPU time: 179.774 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 760 41264 83286 | 13754 0 nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: 759 0.19/0.24 o 759 0.19/0.24 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 760 41265 84046 | 13755 0 nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: 758 0.19/0.24 o 758 0.19/0.24 c Elapsed CPU time: 0.234964 s Remaining CPU time: 179.765 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 12 | 760 41266 84806 | 13755 12 752 | 0.000 % | 0.19/0.28 c | 115 | 760 41266 84806 | 15130 115 752 | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: 757 0.19/0.29 o 757 0.19/0.29 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 134 | 760 41267 85566 | 13755 134 752 | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: 756 0.29/0.31 o 756 0.29/0.31 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 195 | 760 41268 86326 | 13756 195 752 | 0.000 % | 0.29/0.33 c | 295 | 760 41268 86326 | 15131 295 752 | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c New solution: 755 0.29/0.34 o 755 0.29/0.34 c Elapsed CPU time: 0.330949 s Remaining CPU time: 179.669 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 331 | 760 41269 87086 | 13756 331 752 | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c New solution: 754 0.29/0.37 o 754 0.29/0.37 c Elapsed CPU time: 0.350946 s Remaining CPU time: 179.649 s 0.29/0.37 c =============================================================================== 0.29/0.37 c | 393 | 760 41270 87846 | 13756 393 752 | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c New solution: 753 0.29/0.39 o 753 0.29/0.39 c Elapsed CPU time: 0.374943 s Remaining CPU time: 179.625 s 0.29/0.39 c =============================================================================== 0.29/0.39 c | 467 | 760 41271 88606 | 13757 467 751 | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c New solution: 752 0.39/0.42 o 752 0.39/0.42 c Elapsed CPU time: 0.402938 s Remaining CPU time: 179.597 s 0.39/0.42 c =============================================================================== 0.39/0.42 c | 547 | 760 41272 89366 | 13757 547 751 | 0.000 % | 0.39/0.45 c | 650 | 760 41272 89366 | 15133 650 751 | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c New solution: 751 0.39/0.46 o 751 0.39/0.46 c Elapsed CPU time: 0.447931 s Remaining CPU time: 179.552 s 0.39/0.46 c =============================================================================== 0.39/0.46 c | 680 | 760 41273 90126 | 13757 680 750 | 0.000 % | 0.49/0.50 c | 780 | 760 41273 90126 | 15133 780 750 | 0.000 % | 0.49/0.55 c | 932 | 760 41273 90126 | 16646 932 750 | 0.000 % | 0.59/0.63 c | 1157 | 760 41273 90126 | 18311 1157 749 | 0.000 % | 0.59/0.70 c =============================================================================== 0.59/0.70 c New solution: 750 0.59/0.70 o 750 0.59/0.70 c Elapsed CPU time: 0.670898 s Remaining CPU time: 179.329 s 0.59/0.70 c =============================================================================== 0.59/0.70 c | 1329 | 760 41274 90886 | 13758 1329 749 | 0.000 % | 0.69/0.74 c | 1429 | 760 41274 90886 | 15133 1429 749 | 0.000 % | 0.79/0.81 c | 1579 | 760 41274 90886 | 16647 1579 748 | 0.000 % | 0.89/0.92 c | 1805 | 760 41274 90886 | 18311 1805 748 | 0.000 % | 1.00/1.07 c | 2142 | 760 41274 90886 | 20143 2142 748 | 0.000 % | 1.19/1.23 c =============================================================================== 1.19/1.23 c New solution: 749 1.19/1.23 o 749 1.19/1.23 c Elapsed CPU time: 1.20282 s Remaining CPU time: 178.797 s 1.19/1.23 c =============================================================================== 1.19/1.23 c | 2529 | 760 41275 91646 | 13758 2529 748 | 0.000 % | 1.19/1.26 c | 2629 | 760 41275 91646 | 15134 2629 747 | 0.000 % | 1.39/1.40 c | 2780 | 760 41275 91646 | 16647 2780 747 | 0.000 % | 1.39/1.45 c =============================================================================== 1.39/1.45 c New solution: 748 1.39/1.45 o 748 1.39/1.45 c Elapsed CPU time: 1.41978 s Remaining CPU time: 178.58 s 1.39/1.45 c =============================================================================== 1.39/1.45 c | 2864 | 760 41276 92406 | 13758 2864 747 | 0.000 % | 1.49/1.51 c | 2964 | 760 41276 92406 | 15134 2964 747 | 0.000 % | 1.59/1.61 c | 3117 | 760 41276 92406 | 16647 3117 747 | 0.000 % | 1.69/1.75 c | 3342 | 760 41276 92406 | 18312 3342 747 | 0.000 % | 1.89/1.98 c | 3681 | 760 41276 92406 | 20144 3681 746 | 0.000 % | 2.39/2.43 c | 4187 | 760 41276 92406 | 22158 4187 746 | 0.000 % | 2.79/2.90 c | 4948 | 760 41276 92406 | 24374 4948 746 | 0.000 % | 3.79/3.88 c | 6089 | 760 41276 92406 | 26811 6089 745 | 0.000 % | 3.89/3.93 c =============================================================================== 3.89/3.93 c New solution: 747 3.89/3.93 o 747 3.89/3.93 c Elapsed CPU time: 3.87341 s Remaining CPU time: 176.127 s 3.89/3.93 c =============================================================================== 3.89/3.93 c | 6129 | 760 41277 93166 | 13759 6129 745 | 0.000 % | 3.99/4.01 c | 6229 | 760 41277 93166 | 15134 6229 745 | 0.000 % | 4.08/4.18 c | 6380 | 760 41277 93166 | 16648 6380 745 | 0.000 % | 4.29/4.40 c | 6609 | 760 41277 93166 | 18313 6609 745 | 0.000 % | 4.69/4.74 c | 6948 | 760 41277 93166 | 20144 6948 745 | 0.000 % | 5.19/5.26 c | 7457 | 760 41277 93166 | 22159 7457 745 | 0.000 % | 6.29/6.30 c | 8216 | 760 41277 93166 | 24374 8216 745 | 0.000 % | 6.79/6.83 c =============================================================================== 6.79/6.83 c New solution: 746 6.79/6.83 o 746 6.79/6.83 c Elapsed CPU time: 6.75297 s Remaining CPU time: 173.247 s 6.79/6.83 c =============================================================================== 6.79/6.83 c | 8557 | 760 41278 93926 | 13759 8557 745 | 0.000 % | 6.89/6.92 c | 8659 | 760 41278 93926 | 15135 8659 745 | 0.000 % | 7.09/7.14 c | 8810 | 760 41278 93926 | 16648 8810 745 | 0.000 % | 7.49/7.50 c | 9042 | 760 41278 93926 | 18313 9042 744 | 0.000 % | 7.98/8.01 c | 9381 | 760 41278 93926 | 20145 9381 744 | 0.000 % | 8.70/8.78 c | 9889 | 760 41278 93926 | 22159 9889 744 | 0.000 % | 9.99/10.04 c | 10648 | 760 41278 93926 | 24375 10648 744 | 0.000 % | 12.10/12.16 c | 11789 | 760 41278 93926 | 26813 11789 744 | 0.000 % | 13.28/13.35 c =============================================================================== 13.28/13.35 c New solution: 745 13.28/13.35 o 745 13.28/13.35 c Elapsed CPU time: 13.245 s Remaining CPU time: 166.755 s 13.28/13.35 c =============================================================================== 13.28/13.35 c | 12683 | 760 41279 94686 | 13759 12683 744 | 0.000 % | 13.38/13.47 c | 12784 | 760 41279 94686 | 15135 12784 744 | 0.000 % | 13.79/13.83 c | 12935 | 760 41279 94686 | 16649 12935 744 | 0.000 % | 14.58/14.62 c | 13161 | 760 41279 94686 | 18314 13161 744 | 0.000 % | 15.18/15.27 c | 13501 | 760 41279 94686 | 20145 13501 744 | 0.000 % | 16.68/16.77 c | 14011 | 760 41279 94686 | 22160 14011 744 | 0.000 % | 18.79/18.88 c | 14770 | 760 41279 94686 | 24376 14770 744 | 0.000 % | 20.98/21.06 c | 15912 | 760 41279 94686 | 26813 15912 743 | 0.000 % | 23.48/23.58 c =============================================================================== 23.48/23.58 c New solution: 744 23.48/23.58 o 744 23.48/23.58 c Elapsed CPU time: 23.4184 s Remaining CPU time: 156.582 s 23.48/23.58 c =============================================================================== 23.48/23.58 c | 17407 | 760 41280 95446 | 13760 17407 743 | 0.000 % | 23.78/23.86 c | 17508 | 760 41280 95446 | 15136 8805 742 | 0.000 % | 24.09/24.18 c | 17659 | 760 41280 95446 | 16649 8956 742 | 0.000 % | 24.69/24.74 c | 17885 | 760 41280 95446 | 18314 9182 742 | 0.000 % | 25.38/25.46 c | 18223 | 760 41280 95446 | 20146 9520 742 | 0.000 % | 26.49/26.51 c | 18729 | 760 41280 95446 | 22160 10026 742 | 0.000 % | 27.49/27.58 c | 19488 | 760 41280 95446 | 24376 10785 742 | 0.000 % | 30.38/30.44 c | 20628 | 760 41280 95446 | 26814 11925 741 | 0.000 % | 33.18/33.23 c | 22337 | 760 41280 95446 | 29495 13634 741 | 0.000 % | 38.38/38.40 c | 24900 | 760 41280 95446 | 32445 16197 741 | 0.000 % | 47.77/47.85 c | 28744 | 760 41280 95446 | 35689 20041 741 | 0.000 % | 69.37/69.45 c | 34510 | 760 41280 95446 | 39258 25807 741 | 0.000 % | 108.55/108.69 c =============================================================================== 108.55/108.69 c New solution: 743 108.55/108.69 o 743 108.55/108.69 c Elapsed CPU time: 108.258 s Remaining CPU time: 71.7425 s 108.55/108.69 c =============================================================================== 108.55/108.69 c | 38909 | 760 41281 96206 | 13760 30206 741 | 0.000 % | 109.25/109.39 c | 39012 | 760 41281 96206 | 15136 11089 741 | 0.000 % | 109.45/109.57 c | 39163 | 760 41281 96206 | 16650 11240 741 | 0.000 % | 109.76/109.83 c | 39392 | 760 41281 96206 | 18315 11469 741 | 0.000 % | 110.15/110.21 c | 39730 | 760 41281 96206 | 20146 11807 741 | 0.000 % | 111.85/111.98 c | 40236 | 760 41281 96206 | 22161 12313 741 | 0.000 % | 115.46/115.56 c | 40996 | 760 41281 96206 | 24377 13073 741 | 0.000 % | 120.65/120.73 c | 42138 | 760 41281 96206 | 26814 14215 741 | 0.000 % | 125.64/125.71 c | 43848 | 760 41281 96206 | 29496 15925 741 | 0.000 % | 136.54/136.65 c | 46412 | 760 41281 96206 | 32446 18489 740 | 0.000 % | 140.65/140.78 c | 50259 | 760 41281 96206 | 35690 22336 740 | 0.000 % | 180.52/180.65 c There are 0 assigned variables. 0 in cost function. 180.62/180.74 c core #1 180.62/180.74 c #cores: 1 180.62/180.74 c Final Weight: 743 180.62/180.74 o 743 180.62/180.74 s OPTIMUM FOUND 180.62/180.74 v -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -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.62/180.74 c Total CPU time: 180.094 s
OK -17
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656007-1276491292/watcher-2656007-1276491292 -o /tmp/evaluation-result-2656007-1276491292/solver-2656007-1276491292 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656007-1276491292.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 27037 /proc/meminfo: memFree=1792064/2059040 swapFree=4140260/4192956 [pid=27037] ppid=27035 vsize=3684 CPUtime=0 /proc/27037/stat : 27037 (wbo1.4b) R 27035 27037 26386 0 -1 4202496 310 0 0 0 0 0 0 0 20 0 1 0 24730715 3772416 228 1992294400 134512640 135751879 4288298176 18446744073709551615 135205059 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27037/statm: 921 229 145 303 0 375 0 [startup+0.0679821 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27037 /proc/meminfo: memFree=1792064/2059040 swapFree=4140260/4192956 [pid=27037] ppid=27035 vsize=4556 CPUtime=0.06 /proc/27037/stat : 27037 (wbo1.4b) R 27035 27037 26386 0 -1 4202496 635 0 0 0 6 0 0 0 20 0 1 0 24730715 4665344 553 1992294400 134512640 135751879 4288298176 18446744073709551615 134564258 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27037/statm: 1139 553 252 303 0 593 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4556 [startup+0.100986 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27037 /proc/meminfo: memFree=1792064/2059040 swapFree=4140260/4192956 [pid=27037] ppid=27035 vsize=4984 CPUtime=0.09 /proc/27037/stat : 27037 (wbo1.4b) R 27035 27037 26386 0 -1 4202496 812 0 0 0 9 0 0 0 20 0 1 0 24730715 5103616 730 1992294400 134512640 135751879 4288298176 18446744073709551615 135009489 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27037/statm: 1246 730 312 303 0 700 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4984 [startup+0.301012 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27037 /proc/meminfo: memFree=1792064/2059040 swapFree=4140260/4192956 [pid=27037] ppid=27035 vsize=5420 CPUtime=0.29 /proc/27037/stat : 27037 (wbo1.4b) R 27035 27037 26386 0 -1 4202496 1872 0 0 0 28 1 0 0 20 0 1 0 24730715 5550080 883 1992294400 134512640 135751879 4288298176 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27037/statm: 1355 883 147 303 0 1050 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5420 [startup+0.701064 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27037 /proc/meminfo: memFree=1792064/2059040 swapFree=4140260/4192956 [pid=27037] ppid=27035 vsize=9128 CPUtime=0.69 /proc/27037/stat : 27037 (wbo1.4b) R 27035 27037 26386 0 -1 4202496 2797 0 0 0 67 2 0 0 21 0 1 0 24730715 9347072 1808 1992294400 134512640 135751879 4288298176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27037/statm: 2282 1808 147 303 0 1977 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9128 [startup+1.50117 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27038 /proc/meminfo: memFree=1783376/2059040 swapFree=4140260/4192956 [pid=27037] ppid=27035 vsize=14148 CPUtime=1.49 /proc/27037/stat : 27037 (wbo1.4b) R 27035 27037 26386 0 -1 4202496 4066 0 0 0 146 3 0 0 23 0 1 0 24730715 14487552 3077 1992294400 134512640 135751879 4288298176 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27037/statm: 3537 3077 147 303 0 3232 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14148 [startup+3.10138 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27038 /proc/meminfo: memFree=1777300/2059040 swapFree=4140260/4192956 [pid=27037] ppid=27035 vsize=20908 CPUtime=3.09 /proc/27037/stat : 27037 (wbo1.4b) R 27035 27037 26386 0 -1 4202496 5745 0 0 0 304 5 0 0 25 0 1 0 24730715 21409792 4756 1992294400 134512640 135751879 4288298176 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27037/statm: 5227 4756 147 303 0 4922 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20908 [startup+6.3008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27038 /proc/meminfo: memFree=1765892/2059040 swapFree=4140260/4192956 [pid=27037] ppid=27035 vsize=30352 CPUtime=6.29 /proc/27037/stat : 27037 (wbo1.4b) R 27035 27037 26386 0 -1 4202496 8101 0 0 0 622 7 0 0 25 0 1 0 24730715 31080448 7112 1992294400 134512640 135751879 4288298176 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27037/statm: 7588 7112 147 303 0 7283 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30352 [startup+12.7006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27038 /proc/meminfo: memFree=1752748/2059040 swapFree=4140260/4192956 [pid=27037] ppid=27035 vsize=42752 CPUtime=12.69 /proc/27037/stat : 27037 (wbo1.4b) R 27035 27037 26386 0 -1 4202496 11188 0 0 0 1259 10 0 0 25 0 1 0 24730715 43778048 10199 1992294400 134512640 135751879 4288298176 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27037/statm: 10688 10199 147 303 0 10383 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42752 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27040 /proc/meminfo: memFree=1733280/2059040 swapFree=4140260/4192956 [pid=27037] ppid=27035 vsize=61348 CPUtime=25.48 /proc/27037/stat : 27037 (wbo1.4b) R 27035 27037 26386 0 -1 4202496 15813 0 0 0 2532 16 0 0 25 0 1 0 24730715 62820352 14824 1992294400 134512640 135751879 4288298176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27037/statm: 15337 14824 148 303 0 15032 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 61348 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27040 /proc/meminfo: memFree=1699056/2059040 swapFree=4140260/4192956 [pid=27037] ppid=27035 vsize=95232 CPUtime=51.07 /proc/27037/stat : 27037 (wbo1.4b) R 27035 27037 26386 0 -1 4202496 24264 0 0 0 5081 26 0 0 25 0 1 0 24730715 97517568 23275 1992294400 134512640 135751879 4288298176 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27037/statm: 23808 23275 148 303 0 23503 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 95232 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27042 /proc/meminfo: memFree=1671404/2059040 swapFree=4140260/4192956 [pid=27037] ppid=27035 vsize=122620 CPUtime=102.26 /proc/27037/stat : 27037 (wbo1.4b) R 27035 27037 26386 0 -1 4202496 31081 0 0 0 10188 38 0 0 25 0 1 0 24730715 125562880 30092 1992294400 134512640 135751879 4288298176 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27037/statm: 30655 30092 148 303 0 30350 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 122620 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27042 /proc/meminfo: memFree=1624656/2059040 swapFree=4140260/4192956 [pid=27037] ppid=27035 vsize=169432 CPUtime=162.23 /proc/27037/stat : 27037 (wbo1.4b) R 27035 27037 26386 0 -1 4202496 42746 0 0 0 16169 54 0 0 25 0 1 0 24730715 173498368 41757 1992294400 134512640 135751879 4288298176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27037/statm: 42358 41757 148 303 0 42053 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 169432 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 27044 /proc/meminfo: memFree=1623292/2059040 swapFree=4140260/4192956 [pid=27037] ppid=27035 vsize=171024 CPUtime=166.24 /proc/27037/stat : 27037 (wbo1.4b) R 27035 27037 26386 0 -1 4202496 43136 0 0 0 16569 55 0 0 25 0 1 0 24730715 175128576 42147 1992294400 134512640 135751879 4288298176 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27037/statm: 42756 42147 148 303 0 42451 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 171024 [startup+172.709 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27044 /proc/meminfo: memFree=1620440/2059040 swapFree=4140260/4192956 [pid=27037] ppid=27035 vsize=173412 CPUtime=172.63 /proc/27037/stat : 27037 (wbo1.4b) R 27035 27037 26386 0 -1 4202496 43738 0 0 0 17207 56 0 0 25 0 1 0 24730715 177573888 42749 1992294400 134512640 135751879 4288298176 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27037/statm: 43353 42749 148 303 0 43048 0 Current children cumulated CPU time (s) 172.63 Current children cumulated vsize (KiB) 173412 [startup+175.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27044 /proc/meminfo: memFree=1619572/2059040 swapFree=4140260/4192956 [pid=27037] ppid=27035 vsize=174336 CPUtime=175.83 /proc/27037/stat : 27037 (wbo1.4b) R 27035 27037 26386 0 -1 4202496 43967 0 0 0 17526 57 0 0 25 0 1 0 24730715 178520064 42978 1992294400 134512640 135751879 4288298176 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27037/statm: 43584 42978 148 303 0 43279 0 Current children cumulated CPU time (s) 175.83 Current children cumulated vsize (KiB) 174336 [startup+179.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27044 /proc/meminfo: memFree=1618828/2059040 swapFree=4140260/4192956 [pid=27037] ppid=27035 vsize=175264 CPUtime=179.02 /proc/27037/stat : 27037 (wbo1.4b) R 27035 27037 26386 0 -1 4202496 44190 0 0 0 17845 57 0 0 25 0 1 0 24730715 179470336 43201 1992294400 134512640 135751879 4288298176 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27037/statm: 43816 43201 148 303 0 43511 0 Current children cumulated CPU time (s) 179.02 Current children cumulated vsize (KiB) 175264 [startup+179.902 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27044 /proc/meminfo: memFree=1618580/2059040 swapFree=4140260/4192956 [pid=27037] ppid=27035 vsize=175528 CPUtime=179.82 /proc/27037/stat : 27037 (wbo1.4b) R 27035 27037 26386 0 -1 4202496 44257 0 0 0 17925 57 0 0 25 0 1 0 24730715 179740672 43268 1992294400 134512640 135751879 4288298176 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27037/statm: 43882 43268 148 303 0 43577 0 Current children cumulated CPU time (s) 179.82 Current children cumulated vsize (KiB) 175528 [startup+180.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27044 /proc/meminfo: memFree=1618332/2059040 swapFree=4140260/4192956 [pid=27037] ppid=27035 vsize=175660 CPUtime=180.23 /proc/27037/stat : 27037 (wbo1.4b) R 27035 27037 26386 0 -1 4202496 44281 0 0 0 17966 57 0 0 25 0 1 0 24730715 179875840 43292 1992294400 134512640 135751879 4288298176 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27037/statm: 43915 43292 148 303 0 43610 0 Current children cumulated CPU time (s) 180.23 Current children cumulated vsize (KiB) 175660 [startup+180.702 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27044 /proc/meminfo: memFree=1618332/2059040 swapFree=4140260/4192956 [pid=27037] ppid=27035 vsize=177556 CPUtime=180.62 /proc/27037/stat : 27037 (wbo1.4b) R 27035 27037 26386 0 -1 4202496 44735 0 0 0 18005 57 0 0 25 0 1 0 24730715 181817344 43746 1992294400 134512640 135751879 4288298176 18446744073709551615 134712389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27037/statm: 44389 43746 149 303 0 44084 0 Current children cumulated CPU time (s) 180.62 Current children cumulated vsize (KiB) 177556 Child status: 0 Real time (s): 180.759 CPU time (s): 180.689 CPU user time (s): 180.094 CPU system time (s): 0.594909 CPU usage (%): 99.9611 Max. virtual memory (cumulated for all children) (KiB): 177556 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.094 system time used= 0.594909 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44736 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= 7 involuntary context switches= 445 runsolver used 0.308953 second user time and 0.855869 second system time The end
Begin job on node013 at 2010-06-14 06:54:52 IDJOB=2656007 IDBENCH=2242 IDSOLVER=1161 FILE ID=node013/2656007-1276491292 PBS_JOBID= 11173387 Free space on /tmp= 62504 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656007-1276491292/watcher-2656007-1276491292 -o /tmp/evaluation-result-2656007-1276491292/solver-2656007-1276491292 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656007-1276491292.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5249f5f1c551add7f5b5b920fc1c3b9c RANDOM SEED=1296896816 node013.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.253 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.50 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.253 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1792468 kB Buffers: 84888 kB Cached: 102348 kB SwapCached: 5796 kB Active: 98952 kB Inactive: 101284 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1792468 kB SwapTotal: 4192956 kB SwapFree: 4140260 kB Dirty: 3628 kB Writeback: 0 kB AnonPages: 11500 kB Mapped: 12888 kB Slab: 44460 kB PageTables: 4092 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180352 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= 62500 MiB End job on node013 at 2010-06-14 06:57:53