Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -38 | 1800.5 | 1801.16 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb |
MD5SUM | c9380923d34e254cfa512f89027f1d42 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -40 |
Best CPU time to get the best result obtained on this benchmark | 1800.59 |
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 | 41095 |
Number of constraints which are clauses | 41095 |
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 c Parsing PB file... 1.04 c Converting 41095 PB-constraints to clauses... 1.04 c -- Unit propagations: (none) 1.04 c -- Detecting intervals from adjacent constraints: (none) 1.04 c -- Clauses(.)/Splits(s): ....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 1.13 c ==================================[MINISAT+]================================== 1.13 c | Conflicts | Original | Learnt | Progress | 1.13 c | | Clauses Literals | Max Clauses Literals LPC | | 1.13 c ============================================================================== 1.13 c | 0 | 41095 82190 | 13698 0 0 nan | 0.000 % | 1.13 c ============================================================================== 1.13 c [1mFound solution: -31[0m 1.13 o -31 1.13 c ---[ 0]---> Sorter-cost:35010 Base: 1.21 c ==================================[MINISAT+]================================== 1.21 c | Conflicts | Original | Learnt | Progress | 1.21 c | | Clauses Literals | Max Clauses Literals LPC | | 1.21 c ============================================================================== 1.21 c | 0 | 77395 167462 | 25798 0 0 nan | 0.000 % | 1.29 c | 101 | 77238 167143 | 28377 90 929 10.3 | 0.331 % | 1.39 c | 251 | 76847 166316 | 31215 211 2466 11.7 | 1.208 % | 1.61 c | 476 | 75972 164442 | 34337 395 4215 10.7 | 3.304 % | 1.91 c | 813 | 74494 161218 | 37770 658 7446 11.3 | 6.726 % | 2.40 c | 1319 | 71556 154677 | 41547 1013 11473 11.3 | 13.931 % | 3.02 c | 2078 | 68045 146771 | 45702 1564 17859 11.4 | 22.774 % | 3.83 c | 3217 | 62670 134504 | 50273 2321 28070 12.1 | 36.635 % | 4.89 c | 4925 | 56128 119095 | 55300 3417 45635 13.4 | 53.971 % | 6.04 c | 7487 | 51841 108909 | 60830 5071 80265 15.8 | 65.575 % | 6.54 c ============================================================================== 6.54 c [1mFound solution: -32[0m 6.54 o -32 6.55 c ---[ 0]---> Sorter-cost: 0 Base: 6.59 c ==================================[MINISAT+]================================== 6.59 c | Conflicts | Original | Learnt | Progress | 6.59 c | | Clauses Literals | Max Clauses Literals LPC | | 6.59 c ============================================================================== 6.59 c | 8864 | 50474 105612 | 16824 6059 132156 21.8 | 65.575 % | 6.65 c | 8964 | 50044 104589 | 18506 6068 132299 21.8 | 70.483 % | 6.73 c | 9114 | 49720 103800 | 20357 6093 133270 21.9 | 71.397 % | 6.80 c | 9339 | 49622 103571 | 22392 6281 138021 22.0 | 71.655 % | 6.87 c | 9677 | 49534 103357 | 24632 6586 144121 21.9 | 71.908 % | 7.01 c | 10183 | 49289 102776 | 27095 7005 153375 21.9 | 72.576 % | 7.24 c | 10942 | 48817 101638 | 29804 7437 174082 23.4 | 73.908 % | 7.59 c | 12081 | 48123 99987 | 32785 8315 226746 27.3 | 75.808 % | 7.98 c | 13789 | 47814 99243 | 36063 9822 297504 30.3 | 76.774 % | 8.30 c ============================================================================== 8.30 c [1mFound solution: -33[0m 8.30 o -33 8.31 c ---[ 0]---> Sorter-cost: 0 Base: 8.35 c ==================================[MINISAT+]================================== 8.35 c | Conflicts | Original | Learnt | Progress | 8.35 c | | Clauses Literals | Max Clauses Literals LPC | | 8.35 c ============================================================================== 8.35 c | 15122 | 47804 99246 | 15934 11128 367947 33.1 | 76.774 % | 8.40 c | 15222 | 47639 98853 | 17527 11109 366482 33.0 | 77.190 % | 8.44 c | 15372 | 47595 98751 | 19280 11227 369541 32.9 | 77.307 % | 8.50 c | 15597 | 47595 98751 | 21208 11452 386987 33.8 | 77.307 % | 8.57 c | 15936 | 47595 98751 | 23328 11791 400789 34.0 | 77.307 % | 8.71 c | 16442 | 47499 98515 | 25661 12216 419172 34.3 | 77.584 % | 9.04 c | 17201 | 47006 97343 | 28228 12699 460842 36.3 | 78.935 % | 9.33 c | 18340 | 46999 97326 | 31050 13820 534818 38.7 | 78.955 % | 9.82 c | 20048 | 46939 97192 | 34155 15464 658464 42.6 | 79.104 % | 10.10 c ============================================================================== 10.10 c [1mFound solution: -34[0m 10.10 o -34 10.11 c ---[ 0]---> Sorter-cost: 0 Base: 10.16 c ==================================[MINISAT+]================================== 10.16 c | Conflicts | Original | Learnt | Progress | 10.16 c | | Clauses Literals | Max Clauses Literals LPC | | 10.16 c ============================================================================== 10.16 c | 20986 | 46927 97141 | 15642 16249 721785 44.4 | 79.104 % | 10.29 c | 21086 | 46732 96676 | 17206 16212 722537 44.6 | 79.688 % | 10.35 c | 21236 | 46721 96649 | 18926 16356 727214 44.5 | 79.720 % | 10.42 c | 21463 | 46721 96649 | 20819 16583 740187 44.6 | 79.720 % | 10.51 c | 21800 | 46721 96649 | 22901 16920 757005 44.7 | 79.720 % | 10.64 c | 22306 | 46721 96649 | 25191 17426 776599 44.6 | 79.720 % | 10.86 c | 23065 | 46718 96642 | 27710 18177 823057 45.3 | 79.728 % | 11.30 c | 24204 | 46648 96470 | 30481 19252 920173 47.8 | 79.929 % | 11.97 c | 25912 | 46551 96239 | 33530 20864 1063720 51.0 | 80.183 % | 13.08 c | 28474 | 46411 95903 | 36883 23262 1288226 55.4 | 80.568 % | 14.59 c | 32318 | 46361 95779 | 40571 27052 1576672 58.3 | 80.713 % | 17.39 c | 38085 | 46232 95472 | 44628 32638 2119521 64.9 | 81.067 % | 22.97 c | 46736 | 46197 95387 | 49091 41194 3124221 75.8 | 81.163 % | 32.02 c | 59710 | 45887 94639 | 54000 53780 4274679 79.5 | 82.040 % | 39.39 c ============================================================================== 39.39 c [1mFound solution: -35[0m 39.39 o -35 39.40 c ---[ 0]---> Sorter-cost: 0 Base: 39.50 c ==================================[MINISAT+]================================== 39.50 c | Conflicts | Original | Learnt | Progress | 39.50 c | | Clauses Literals | Max Clauses Literals LPC | | 39.50 c ============================================================================== 39.50 c | 68731 | 45876 94626 | 15292 62730 5053895 80.6 | 82.040 % | 39.65 c | 68831 | 45876 94626 | 16821 18447 1108901 60.1 | 82.148 % | 39.70 c | 68981 | 45852 94564 | 18503 18590 1112238 59.8 | 82.220 % | 39.79 c | 69207 | 45846 94550 | 20353 18795 1124590 59.8 | 82.236 % | 39.91 c | 69544 | 45846 94550 | 22389 19132 1156718 60.5 | 82.236 % | 40.10 c | 70050 | 45846 94550 | 24627 19638 1198376 61.0 | 82.236 % | 40.39 c | 70809 | 45846 94550 | 27090 20397 1276601 62.6 | 82.236 % | 40.82 c | 71948 | 45846 94550 | 29799 21536 1352008 62.8 | 82.236 % | 41.61 c | 73656 | 45846 94550 | 32779 23244 1501208 64.6 | 82.236 % | 42.78 c | 76218 | 45772 94364 | 36057 25794 1717538 66.6 | 82.460 % | 44.57 c ============================================================================== 44.57 c [1mFound solution: -36[0m 44.57 o -36 44.58 c ---[ 0]---> Sorter-cost: 0 Base: 44.65 c ==================================[MINISAT+]================================== 44.65 c | Conflicts | Original | Learnt | Progress | 44.65 c | | Clauses Literals | Max Clauses Literals LPC | | 44.65 c ============================================================================== 44.65 c | 79852 | 45763 94329 | 15254 29426 2135545 72.6 | 82.460 % | 44.71 c | 79952 | 45763 94329 | 16779 29526 2141968 72.5 | 82.494 % | 44.79 c | 80102 | 45763 94329 | 18457 29676 2155080 72.6 | 82.494 % | 44.89 c | 80327 | 45763 94329 | 20303 29901 2168898 72.5 | 82.494 % | 45.05 c | 80665 | 45763 94329 | 22333 30239 2188372 72.4 | 82.494 % | 45.29 c | 81171 | 45763 94329 | 24566 30745 2229210 72.5 | 82.494 % | 45.65 c | 81930 | 45763 94329 | 27023 31504 2289974 72.7 | 82.494 % | 46.17 c | 83069 | 45763 94329 | 29725 32643 2381067 72.9 | 82.494 % | 47.05 c | 84777 | 45763 94329 | 32698 34351 2511357 73.1 | 82.494 % | 48.38 c | 87340 | 45753 94303 | 35968 36906 2770585 75.1 | 82.526 % | 50.49 c | 91184 | 45690 94150 | 39564 40741 3063992 75.2 | 82.706 % | 54.14 c | 96950 | 45658 94074 | 43521 46425 3529731 76.0 | 82.794 % | 59.83 c | 105600 | 45646 94046 | 47873 55068 4237732 77.0 | 82.826 % | 69.37 c | 118574 | 45646 94046 | 52660 68042 5330410 78.3 | 82.826 % | 80.32 c | 138036 | 45576 93882 | 57927 34000 2343565 68.9 | 83.014 % | 86.67 c ============================================================================== 86.67 c [1mFound solution: -37[0m 86.67 o -37 86.68 c ---[ 0]---> Sorter-cost: 0 Base: 86.76 c ==================================[MINISAT+]================================== 86.76 c | Conflicts | Original | Learnt | Progress | 86.76 c | | Clauses Literals | Max Clauses Literals LPC | | 86.76 c ============================================================================== 86.76 c | 149466 | 45599 93945 | 15199 45430 3332463 73.4 | 83.014 % | 86.90 c | 149566 | 45599 93945 | 16718 17803 1045062 58.7 | 82.973 % | 86.95 c | 149718 | 45599 93945 | 18390 17955 1053066 58.7 | 82.973 % | 87.03 c | 149943 | 45599 93945 | 20229 18180 1067373 58.7 | 82.973 % | 87.16 c | 150281 | 45596 93938 | 22252 18516 1082787 58.5 | 82.981 % | 87.32 c | 150787 | 45593 93931 | 24478 19013 1111621 58.5 | 82.989 % | 87.58 c | 151546 | 45593 93931 | 26925 19772 1179618 59.7 | 82.989 % | 88.02 c | 152686 | 45593 93931 | 29618 20912 1287628 61.6 | 82.989 % | 88.70 c | 154394 | 45593 93931 | 32580 22620 1436347 63.5 | 82.989 % | 89.66 c | 156956 | 45580 93900 | 35838 25160 1626071 64.6 | 83.025 % | 91.29 c | 160800 | 45469 93635 | 39422 28964 1960525 67.7 | 83.337 % | 94.20 c | 166566 | 45422 93516 | 43364 34720 2450264 70.6 | 83.481 % | 99.12 c | 175216 | 45422 93516 | 47700 43370 3106157 71.6 | 83.481 % | 107.83 c | 188190 | 45409 93485 | 52471 56340 4190159 74.4 | 83.517 % | 124.06 c | 207651 | 45378 93412 | 57718 20752 843783 40.7 | 83.597 % | 139.68 c | 236844 | 45348 93342 | 63489 49941 3556546 71.2 | 83.677 % | 176.65 c | 280635 | 45332 93300 | 69838 29311 1271672 43.4 | 83.729 % | 222.81 c ============================================================================== 222.81 c [1mFound solution: -38[0m 222.81 o -38 222.82 c ---[ 0]---> Sorter-cost: 0 Base: 222.87 c ==================================[MINISAT+]================================== 222.87 c | Conflicts | Original | Learnt | Progress | 222.87 c | | Clauses Literals | Max Clauses Literals LPC | | 222.87 c ============================================================================== 222.87 c | 344995 | 45289 93179 | 15096 22206 620998 28.0 | 83.729 % | 222.93 c | 345095 | 45289 93179 | 16605 22306 624408 28.0 | 83.859 % | 223.02 c | 345245 | 45289 93179 | 18266 22456 629871 28.0 | 83.859 % | 223.11 c | 345471 | 45289 93179 | 20092 22682 637923 28.1 | 83.859 % | 223.23 c | 345808 | 45289 93179 | 22102 23019 650581 28.3 | 83.859 % | 223.39 c | 346315 | 45289 93179 | 24312 23526 669167 28.4 | 83.859 % | 223.62 c | 347074 | 45221 93013 | 26743 24280 705523 29.1 | 84.055 % | 224.01 c | 348213 | 45212 92988 | 29417 25414 778295 30.6 | 84.087 % | 224.62 c | 349921 | 45141 92818 | 32359 27103 880732 32.5 | 84.283 % | 225.44 c | 352483 | 45141 92818 | 35595 29665 1032114 34.8 | 84.283 % | 226.91 c | 356327 | 45141 92818 | 39155 33509 1294905 38.6 | 84.283 % | 229.46 c | 362093 | 45141 92818 | 43070 39275 1678091 42.7 | 84.283 % | 233.97 c | 370742 | 45141 92818 | 47377 47924 2281068 47.6 | 84.283 % | 243.33 c | 383716 | 45141 92818 | 52115 60898 2875601 47.2 | 84.283 % | 257.87 c | 403178 | 45131 92794 | 57327 26764 757803 28.3 | 84.311 % | 275.31 c | 432371 | 45125 92780 | 63059 55955 2218138 39.6 | 84.327 % | 307.26 c | 476160 | 45116 92759 | 69365 36944 1091586 29.5 | 84.351 % | 352.66 c | 541845 | 45114 92755 | 76302 33991 951202 28.0 | 84.355 % | 425.93 c | 640371 | 45101 92724 | 83932 58273 2804766 48.1 | 84.391 % | 553.24 c | 788161 | 45038 92569 | 92325 46297 1993503 43.1 | 84.575 % | 733.53 c | 1009845 | 45022 92533 | 101558 89371 3211573 35.9 | 84.615 % | 1031.33 c | 1342371 | 44996 92473 | 111714 32607 881272 27.0 | 84.683 % | 1438.42 c | 1841160 | 44807 92014 | 122885 96533 3118276 32.3 | 85.222 % | 1801.15 c 1801.15 c *** TERMINATED *** 1801.15 s SATISFIABLE 1801.15 v -x760 -x759 -x758 -x757 -x756 -x755 x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 1801.15 v -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 x723 -x722 -x721 -x720 -x719 1801.15 v -x718 -x717 x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 1801.15 v -x697 -x696 -x695 -x694 x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 1801.15 v -x676 -x675 x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 1801.15 v -x655 -x654 -x653 -x652 x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 x636 -x635 1801.15 v -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 x619 -x618 -x617 -x616 -x615 -x614 1801.15 v -x613 -x612 -x611 -x610 -x609 -x608 -x607 x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 1801.15 v -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 x573 -x572 1801.15 v -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 1801.15 v -x550 -x549 -x548 -x547 -x546 -x545 -x544 x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 1801.15 v -x529 -x528 -x527 -x526 x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 x510 -x509 1801.15 v -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 1801.15 v x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 x468 -x467 1801.15 v -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 x447 -x446 1801.15 v -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 1801.15 v -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 1801.15 v -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 1801.15 v x382 -x381 -x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 1801.15 v -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 x346 -x345 -x344 -x343 -x342 -x341 1801.15 v -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 x325 -x324 -x323 -x322 -x321 -x320 1801.15 v -x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 1801.15 v -x298 -x297 -x296 x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 1801.15 v -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 x258 -x257 1801.15 v -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 x236 1801.15 v -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 1801.15 v -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 1801.15 v x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 1801.15 v -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 1801.15 v -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 1801.15 v -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 1801.15 v -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 1801.15 v -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 1801.15 v -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 1801.15 v -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 1801.15 v -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
OK -38
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node82/watcher-35609-1149292980 -o ROOT/results/node82/solver-35609-1149292980 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node82/35609-1149292980/instance-35609-1149292980.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.91 2/68 26892 /proc/meminfo: memFree=1561016/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=1180 CPUtime=0 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 141 0 0 0 0 0 0 0 19 0 1 0 186487279 1208320 127 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 295 127 74 215 0 77 0 [startup+10.0022 s] /proc/loadavg: 0.93 0.97 0.91 2/68 26892 /proc/meminfo: memFree=1546360/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=16068 CPUtime=9.98 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 3890 0 0 0 993 5 0 0 25 0 1 0 186487279 16453632 3769 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 4017 3769 110 215 0 3799 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 16068 [startup+20.0081 s] /proc/loadavg: 0.94 0.97 0.91 2/68 26892 /proc/meminfo: memFree=1537848/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=24628 CPUtime=19.98 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 6004 0 0 0 1991 7 0 0 25 0 1 0 186487279 25219072 5883 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 6157 5883 110 215 0 5939 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 24628 [startup+30.014 s] /proc/loadavg: 0.95 0.97 0.91 2/68 26892 /proc/meminfo: memFree=1531768/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=30584 CPUtime=29.99 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 7514 0 0 0 2990 9 0 0 25 0 1 0 186487279 31318016 7393 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 7646 7393 110 215 0 7428 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 30584 [startup+40.0198 s] /proc/loadavg: 0.96 0.97 0.91 2/68 26892 /proc/meminfo: memFree=1527160/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=35312 CPUtime=40 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 8673 0 0 0 3989 11 0 0 25 0 1 0 186487279 36159488 8552 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576660 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 8828 8552 110 215 0 8610 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 35312 [startup+50.0257 s] /proc/loadavg: 0.96 0.97 0.91 2/68 26892 /proc/meminfo: memFree=1527224/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=35312 CPUtime=50 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 8673 0 0 0 4989 11 0 0 25 0 1 0 186487279 36159488 8552 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580496 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 8828 8552 110 215 0 8610 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 35312 [startup+60.0316 s] /proc/loadavg: 0.97 0.97 0.91 2/68 26892 /proc/meminfo: memFree=1527160/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=35312 CPUtime=60 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 8673 0 0 0 5989 11 0 0 25 0 1 0 186487279 36159488 8552 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 8828 8552 110 215 0 8610 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 35312 [startup+70.0375 s] /proc/loadavg: 0.97 0.97 0.91 2/68 26892 /proc/meminfo: memFree=1525304/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=37256 CPUtime=70 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 9142 0 0 0 6989 11 0 0 25 0 1 0 186487279 38150144 9021 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 9314 9021 110 215 0 9096 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 37256 [startup+80.0434 s] /proc/loadavg: 0.98 0.97 0.91 2/68 26892 /proc/meminfo: memFree=1523704/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=38820 CPUtime=80 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 9558 0 0 0 7989 11 0 0 25 0 1 0 186487279 39751680 9437 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 9705 9437 110 215 0 9487 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 38820 [startup+90.0493 s] /proc/loadavg: 0.98 0.97 0.91 2/68 26892 /proc/meminfo: memFree=1523704/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=38820 CPUtime=90 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 9558 0 0 0 8989 11 0 0 25 0 1 0 186487279 39751680 9437 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580311 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 9705 9437 110 215 0 9487 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 38820 [startup+100.055 s] /proc/loadavg: 0.98 0.97 0.91 2/68 26892 /proc/meminfo: memFree=1523640/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=38820 CPUtime=100 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 9558 0 0 0 9989 11 0 0 25 0 1 0 186487279 39751680 9437 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579871 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 9705 9437 110 215 0 9487 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 38820 [startup+110.061 s] /proc/loadavg: 0.98 0.97 0.91 2/68 26892 /proc/meminfo: memFree=1523640/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=38820 CPUtime=110.01 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 9558 0 0 0 10990 11 0 0 25 0 1 0 186487279 39751680 9437 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580959 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 9705 9437 110 215 0 9487 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 38820 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26892 /proc/meminfo: memFree=1523640/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=38820 CPUtime=120.01 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 9558 0 0 0 11990 11 0 0 25 0 1 0 186487279 39751680 9437 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 9705 9437 110 215 0 9487 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 38820 [startup+130.073 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26892 /proc/meminfo: memFree=1523640/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=38820 CPUtime=130.01 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 9560 0 0 0 12990 11 0 0 25 0 1 0 186487279 39751680 9439 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580747 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 9705 9439 110 215 0 9487 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 38820 [startup+140.079 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26892 /proc/meminfo: memFree=1523640/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=38820 CPUtime=140.01 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 9560 0 0 0 13990 11 0 0 25 0 1 0 186487279 39751680 9439 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580980 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 9705 9439 110 215 0 9487 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 38820 [startup+150.085 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26892 /proc/meminfo: memFree=1523640/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=38820 CPUtime=150.02 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 9560 0 0 0 14991 11 0 0 25 0 1 0 186487279 39751680 9439 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 9705 9439 110 215 0 9487 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 38820 [startup+160.091 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26892 /proc/meminfo: memFree=1523576/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=38820 CPUtime=160.02 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 9560 0 0 0 15991 11 0 0 25 0 1 0 186487279 39751680 9439 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 9705 9439 110 215 0 9487 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 38820 [startup+170.097 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26892 /proc/meminfo: memFree=1523512/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=38952 CPUtime=170.02 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 9592 0 0 0 16991 11 0 0 25 0 1 0 186487279 39886848 9471 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579541 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 9738 9471 110 215 0 9520 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 38952 [startup+180.102 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26892 /proc/meminfo: memFree=1522744/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=39740 CPUtime=180.03 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 9786 0 0 0 17991 12 0 0 25 0 1 0 186487279 40693760 9665 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 9935 9665 110 215 0 9717 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 39740 [startup+190.108 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26892 /proc/meminfo: memFree=1522744/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=39740 CPUtime=190.03 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 9786 0 0 0 18991 12 0 0 25 0 1 0 186487279 40693760 9665 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135013402 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 9935 9665 110 215 0 9717 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 39740 [startup+200.114 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26892 /proc/meminfo: memFree=1522744/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=39740 CPUtime=200.03 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 9786 0 0 0 19991 12 0 0 25 0 1 0 186487279 40693760 9665 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 9935 9665 110 215 0 9717 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 39740 [startup+210.12 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26892 /proc/meminfo: memFree=1522680/2055892 swapFree=4087504/4096564 ################ # More data... # ################ [pid=26892] ppid=26890 vsize=52224 CPUtime=1781.39 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 178125 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 13056 12618 110 215 0 12838 0 Current children cumulated CPU time (s) 1781.39 Current children cumulated vsize (Kb) 52224 [startup+1783.06 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26894 /proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=52224 CPUtime=1782.4 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 178226 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 13056 12618 110 215 0 12838 0 Current children cumulated CPU time (s) 1782.4 Current children cumulated vsize (Kb) 52224 [startup+1784.06 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26894 /proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=52224 CPUtime=1783.4 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 178326 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 13056 12618 110 215 0 12838 0 Current children cumulated CPU time (s) 1783.4 Current children cumulated vsize (Kb) 52224 [startup+1785.07 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26894 /proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=52224 CPUtime=1784.4 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 178426 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 13056 12618 110 215 0 12838 0 Current children cumulated CPU time (s) 1784.4 Current children cumulated vsize (Kb) 52224 [startup+1786.07 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26894 /proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=52224 CPUtime=1785.41 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 178527 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568556 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 13056 12618 110 215 0 12838 0 Current children cumulated CPU time (s) 1785.41 Current children cumulated vsize (Kb) 52224 [startup+1787.08 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26894 /proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=52224 CPUtime=1786.41 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 178627 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568556 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 13056 12618 110 215 0 12838 0 Current children cumulated CPU time (s) 1786.41 Current children cumulated vsize (Kb) 52224 [startup+1788.08 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26894 /proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=52224 CPUtime=1787.42 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 178728 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 13056 12618 110 215 0 12838 0 Current children cumulated CPU time (s) 1787.42 Current children cumulated vsize (Kb) 52224 [startup+1789.09 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26894 /proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=52224 CPUtime=1788.42 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 178828 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 13056 12618 110 215 0 12838 0 Current children cumulated CPU time (s) 1788.42 Current children cumulated vsize (Kb) 52224 [startup+1790.09 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26894 /proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=52224 CPUtime=1789.42 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 178928 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006488 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 13056 12618 110 215 0 12838 0 Current children cumulated CPU time (s) 1789.42 Current children cumulated vsize (Kb) 52224 [startup+1791.1 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26894 /proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=52224 CPUtime=1790.43 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 179029 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006666 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 13056 12618 110 215 0 12838 0 Current children cumulated CPU time (s) 1790.43 Current children cumulated vsize (Kb) 52224 [startup+1792.1 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26894 /proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=52224 CPUtime=1791.43 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 179129 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 13056 12618 110 215 0 12838 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (Kb) 52224 [startup+1793.11 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26894 /proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=52224 CPUtime=1792.44 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 179230 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 13056 12618 110 215 0 12838 0 Current children cumulated CPU time (s) 1792.44 Current children cumulated vsize (Kb) 52224 [startup+1794.11 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26894 /proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=52224 CPUtime=1793.44 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 179330 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581113 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 13056 12618 110 215 0 12838 0 Current children cumulated CPU time (s) 1793.44 Current children cumulated vsize (Kb) 52224 [startup+1795.12 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26894 /proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=52224 CPUtime=1794.45 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 179431 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 13056 12618 110 215 0 12838 0 Current children cumulated CPU time (s) 1794.45 Current children cumulated vsize (Kb) 52224 [startup+1796.12 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26894 /proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=52224 CPUtime=1795.45 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 179531 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581318 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 13056 12618 110 215 0 12838 0 Current children cumulated CPU time (s) 1795.45 Current children cumulated vsize (Kb) 52224 [startup+1797.13 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26894 /proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=52224 CPUtime=1796.46 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 179632 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580259 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 13056 12618 110 215 0 12838 0 Current children cumulated CPU time (s) 1796.46 Current children cumulated vsize (Kb) 52224 [startup+1798.13 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26894 /proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=52224 CPUtime=1797.46 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 179732 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580493 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 13056 12618 110 215 0 12838 0 Current children cumulated CPU time (s) 1797.46 Current children cumulated vsize (Kb) 52224 [startup+1799.14 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26894 /proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=52224 CPUtime=1798.47 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 179833 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 13056 12618 110 215 0 12838 0 Current children cumulated CPU time (s) 1798.47 Current children cumulated vsize (Kb) 52224 [startup+1800.14 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26894 /proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=52224 CPUtime=1799.47 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 179933 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 13056 12618 110 215 0 12838 0 Current children cumulated CPU time (s) 1799.47 Current children cumulated vsize (Kb) 52224 [startup+1801.15 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26894 /proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=52224 CPUtime=1800.48 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 180034 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 13056 12618 110 215 0 12838 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (Kb) 52224 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.15 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26894 /proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564 [pid=26892] ppid=26890 vsize=52224 CPUtime=1800.48 /proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 180034 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26892/statm: 13056 12618 110 215 0 12838 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (Kb) 52224 Sending SIGTERM to -26892 Sleeping 2 seconds Child status: 10 Real time (s): 1801.16 CPU time (s): 1800.5 CPU user time (s): 1800.34 CPU system time (s): 0.152976 CPU usage (%): 99.963 Max. virtual memory (cumulated for all children) (Kb): 52224
Begin job on node82 on Sat Jun 3 00:03:00 UTC 2006 FILE ID= 35609-1149292980 PBS_JOBID= 306973 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node82/35609-1149292980/instance-35609-1149292980.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node82/watcher-35609-1149292980 -o ROOT/results/node82/solver-35609-1149292980 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node82/35609-1149292980/instance-35609-1149292980.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= c9380923d34e254cfa512f89027f1d42 RANDOM SEED= 656282469 /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.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.17 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.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1561224 kB Buffers: 30804 kB Cached: 391772 kB SwapCached: 2764 kB Active: 49624 kB Inactive: 381656 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1561224 kB SwapTotal: 4096564 kB SwapFree: 4087504 kB Dirty: 152 kB Writeback: 0 kB Mapped: 14572 kB Slab: 49676 kB Committed_AS: 299480 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node82 on Sat Jun 3 00:33:01 UTC 2006