Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.13 | 1800.14 |
Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12047_2.std.opb |
MD5SUM | 3d3e67c51070a852e8117f97ab577e7c |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 134 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 72842 |
Total number of constraints | 256320 |
Number of constraints which are clauses | 255120 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1200 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 68 |
Number of terms in the objective function | 300 |
Biggest coefficient in the objective function | 300 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 45150 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 300 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 45150 |
Number of bits of the biggest sum of numbers | 16 |
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.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3461726-1307120678.opb. 0.00/0.00 c Instance file HOME/instance-3461726-1307120678.opb 0.00/0.00 c File size is 7900934 bytes. 0.59/0.60 c Highest Coefficient sum: 383 0.59/0.60 c ============================[ Problem Statistics ]============================= 0.59/0.60 c | | 0.59/0.60 c | Parsing time: 0.58 s | 0.59/0.60 c | Number Variables: 72842 | 0.59/0.60 c | Number Clauses: 255120 | 0.59/0.60 c | Number Cardinality: 0 | 0.59/0.60 c | Number PB Constraints: 1200 | 0.69/0.72 c ============================[ Search Statistics ]============================== 0.69/0.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.72 c =============================================================================== 0.69/0.72 c | 0 | 52003 256320 488355 | 85440 0 -nan | 0.000 % | 1.39/1.43 c core #1 1.39/1.43 c 1.39/1.43 c 1.39/1.43 c Core size: 386 Core Weight: 107 Total Weight: 107 1.39/1.43 c Current CPU time: 0.781881 s 1.39/1.43 c 1.39/1.43 c core #2 1.39/1.43 c 1.39/1.43 c 1.39/1.43 c Core size: 427 Core Weight: 1 Total Weight: 108 1.39/1.43 c Current CPU time: 0.879866 s 1.39/1.43 c 1.39/1.43 c core #3 1.39/1.43 c 1.39/1.43 c 1.39/1.43 c Core size: 425 Core Weight: 1 Total Weight: 109 1.39/1.43 c Current CPU time: 0.975851 s 1.39/1.43 c 1.39/1.43 c core #4 1.39/1.43 c 1.39/1.43 c 1.39/1.43 c Core size: 443 Core Weight: 1 Total Weight: 110 1.39/1.43 c Current CPU time: 1.07784 s 1.39/1.43 c 1.39/1.43 c core #5 1.39/1.43 c 1.39/1.43 c 1.39/1.43 c Core size: 441 Core Weight: 1 Total Weight: 111 1.39/1.43 c Current CPU time: 1.17582 s 1.39/1.43 c 1.39/1.43 c core #6 1.39/1.43 c 1.39/1.43 c 1.39/1.43 c Core size: 702 Core Weight: 1 Total Weight: 112 1.39/1.43 c Current CPU time: 1.2838 s 1.39/1.43 c 1.39/1.43 c ============================[ Search Statistics ]============================== 1.39/1.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.43 c =============================================================================== 1.39/1.43 c | 0 | 7875 193188 380078 | 64396 0 -nan | 0.000 % | 1.39/1.43 c =============================================================================== 1.49/1.54 c core #7 1.49/1.54 c 1.49/1.54 c 1.49/1.54 c Core size: 550 Core Weight: 1 Total Weight: 113 1.49/1.54 c Current CPU time: 1.39479 s 1.49/1.54 c 1.49/1.54 c ============================[ Search Statistics ]============================== 1.49/1.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.54 c =============================================================================== 1.49/1.54 c | 0 | 8348 193377 380527 | 64459 0 -nan | 0.000 % | 1.49/1.54 c =============================================================================== 1.59/1.65 c core #8 1.59/1.65 c 1.59/1.65 c 1.59/1.65 c Core size: 736 Core Weight: 1 Total Weight: 114 1.59/1.65 c Current CPU time: 1.50477 s 1.59/1.65 c 1.59/1.65 c ============================[ Search Statistics ]============================== 1.59/1.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.65 c =============================================================================== 1.59/1.65 c | 0 | 9121 193564 380977 | 64521 0 -nan | 0.000 % | 1.59/1.66 c =============================================================================== 1.69/1.77 c core #9 1.69/1.77 c 1.69/1.77 c 1.69/1.77 c Core size: 452 Core Weight: 1 Total Weight: 115 1.69/1.77 c Current CPU time: 1.61875 s 1.69/1.77 c 1.69/1.77 c ============================[ Search Statistics ]============================== 1.69/1.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.77 c =============================================================================== 1.69/1.77 c | 0 | 9581 193752 381432 | 64584 0 -nan | 0.000 % | 1.69/1.78 c =============================================================================== 1.79/1.89 c core #10 1.79/1.89 c 1.79/1.89 c 1.79/1.89 c Core size: 444 Core Weight: 1 Total Weight: 116 1.79/1.89 c Current CPU time: 1.73574 s 1.79/1.89 c 1.79/1.89 c ============================[ Search Statistics ]============================== 1.79/1.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.89 c =============================================================================== 1.79/1.89 c | 0 | 10011 193938 381885 | 64646 0 -nan | 0.000 % | 1.89/1.91 c =============================================================================== 1.99/2.02 c core #11 1.99/2.02 c 1.99/2.02 c 1.99/2.02 c Core size: 634 Core Weight: 1 Total Weight: 117 1.99/2.02 c Current CPU time: 1.87372 s 1.99/2.02 c 1.99/2.02 c ============================[ Search Statistics ]============================== 1.99/2.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.02 c =============================================================================== 1.99/2.02 c | 0 | 10366 194130 382350 | 64710 0 -nan | 0.000 % | 1.99/2.05 c | 100 | 10366 194130 382350 | 71181 100 19 | 86.164 % | 1.99/2.06 c =============================================================================== 2.10/2.17 c core #12 2.10/2.17 c 2.10/2.17 c 2.10/2.17 c Core size: 612 Core Weight: 1 Total Weight: 118 2.10/2.17 c Current CPU time: 2.01369 s 2.10/2.17 c 2.10/2.17 c ============================[ Search Statistics ]============================== 2.10/2.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.17 c =============================================================================== 2.10/2.17 c | 0 | 10796 194314 382804 | 64771 0 -nan | 0.000 % | 2.10/2.20 c | 100 | 10794 194314 382804 | 71248 100 18 | 85.880 % | 2.20/2.23 c | 250 | 10789 194314 382804 | 78373 250 20 | 85.920 % | 2.20/2.23 c =============================================================================== 2.29/2.35 c core #13 2.29/2.35 c 2.29/2.35 c 2.29/2.35 c Core size: 712 Core Weight: 1 Total Weight: 119 2.29/2.35 c Current CPU time: 2.19167 s 2.29/2.35 c 2.29/2.35 c ============================[ Search Statistics ]============================== 2.29/2.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.35 c =============================================================================== 2.29/2.35 c | 0 | 11120 194499 383262 | 64833 0 -nan | 0.000 % | 2.29/2.37 c | 100 | 11120 194499 383262 | 71316 100 21 | 85.230 % | 2.39/2.40 c | 250 | 11104 194499 383262 | 78447 250 20 | 85.745 % | 2.39/2.44 c | 475 | 10724 194499 383262 | 86292 475 23 | 85.756 % | 2.49/2.51 c =============================================================================== 2.59/2.62 c core #14 2.59/2.62 c 2.59/2.62 c 2.59/2.62 c Core size: 616 Core Weight: 1 Total Weight: 120 2.59/2.62 c Current CPU time: 2.46062 s 2.59/2.62 c 2.59/2.62 c ============================[ Search Statistics ]============================== 2.59/2.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.62 c =============================================================================== 2.59/2.62 c | 0 | 11520 194684 383723 | 64894 0 -nan | 0.000 % | 2.59/2.64 c | 100 | 11520 194684 383723 | 71384 100 18 | 84.735 % | 2.59/2.68 c | 250 | 11515 194684 383723 | 78522 250 21 | 84.942 % | 2.69/2.72 c | 475 | 11508 194684 383723 | 86374 475 24 | 85.137 % | 2.69/2.78 c | 814 | 11216 194684 383723 | 95012 814 24 | 85.143 % | 2.79/2.88 c | 1320 | 10851 194684 383723 | 104513 1320 26 | 85.622 % | 2.89/2.93 c =============================================================================== 2.99/3.04 c core #15 2.99/3.04 c 2.99/3.04 c 2.99/3.04 c Core size: 507 Core Weight: 1 Total Weight: 121 2.99/3.04 c Current CPU time: 2.88356 s 2.99/3.04 c 2.99/3.04 c ============================[ Search Statistics ]============================== 2.99/3.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.04 c =============================================================================== 2.99/3.04 c | 0 | 11945 194873 384205 | 64957 0 -nan | 0.000 % | 2.99/3.06 c | 100 | 11945 194873 384205 | 71453 100 18 | 84.210 % | 2.99/3.09 c | 251 | 11945 194873 384205 | 78598 251 22 | 84.216 % | 3.09/3.14 c | 476 | 11944 194873 384205 | 86458 476 24 | 84.219 % | 3.09/3.20 c | 815 | 11934 194873 384205 | 95104 815 24 | 84.426 % | 3.21/3.30 c | 1324 | 11779 194873 384205 | 104614 1324 26 | 84.429 % | 3.39/3.46 c | 2083 | 11697 194873 384205 | 115076 2083 30 | 84.641 % | 3.59/3.69 c | 3222 | 10947 194873 384205 | 126584 3222 32 | 85.529 % | 3.79/3.83 c =============================================================================== 3.89/3.95 c core #16 3.89/3.95 c 3.89/3.95 c 3.89/3.95 c Core size: 743 Core Weight: 1 Total Weight: 122 3.89/3.95 c Current CPU time: 3.78342 s 3.89/3.95 c 3.89/3.95 c ============================[ Search Statistics ]============================== 3.89/3.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.95 c =============================================================================== 3.89/3.95 c | 0 | 12362 195065 384694 | 65021 0 -nan | 0.000 % | 3.89/3.98 c | 100 | 12362 195065 384694 | 71523 100 17 | 83.697 % | 3.99/4.01 c | 250 | 12362 195065 384694 | 78676 250 17 | 83.700 % | 3.99/4.04 c | 475 | 12356 195065 384694 | 86543 475 20 | 83.926 % | 4.09/4.10 c | 814 | 12188 195065 384694 | 95198 814 22 | 83.926 % | 4.19/4.20 c | 1323 | 12184 195065 384694 | 104718 1323 25 | 83.946 % | 4.30/4.33 c | 2082 | 12165 195065 384694 | 115189 2082 28 | 84.281 % | 4.49/4.55 c | 3221 | 11919 195065 384694 | 126708 3221 28 | 84.281 % | 4.89/4.92 c | 4929 | 11794 195065 384694 | 139379 4929 30 | 84.446 % | 5.40/5.50 c | 7492 | 11794 195065 384694 | 153317 7492 32 | 84.446 % | 5.89/5.98 c =============================================================================== 6.09/6.10 c core #17 6.09/6.10 c 6.09/6.10 c 6.09/6.10 c Core size: 745 Core Weight: 1 Total Weight: 123 6.09/6.10 c Current CPU time: 5.9181 s 6.09/6.10 c 6.09/6.10 c ============================[ Search Statistics ]============================== 6.09/6.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.09/6.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.09/6.10 c =============================================================================== 6.09/6.10 c | 0 | 12780 195256 385184 | 65085 0 -nan | 0.000 % | 6.09/6.12 c | 100 | 12780 195256 385184 | 71593 100 24 | 83.185 % | 6.09/6.15 c | 250 | 12780 195256 385184 | 78753 250 24 | 83.185 % | 6.09/6.19 c | 475 | 12780 195256 385184 | 86628 475 23 | 83.185 % | 6.19/6.25 c | 813 | 12632 195256 385184 | 95291 813 24 | 83.380 % | 6.29/6.36 c | 1319 | 12622 195256 385184 | 104820 1319 26 | 83.414 % | 6.50/6.53 c | 2079 | 12618 195256 385184 | 115302 2079 29 | 83.414 % | 6.69/6.76 c | 3218 | 12606 195256 385184 | 126832 3218 29 | 83.414 % | 7.09/7.12 c | 4929 | 12605 195256 385184 | 139516 4929 30 | 83.415 % | 7.70/7.73 c | 7492 | 12605 195256 385184 | 153467 7492 33 | 83.415 % | 8.59/8.66 c | 11337 | 12240 195256 385184 | 168814 11337 34 | 83.896 % | 10.19/10.22 c | 17103 | 12218 195256 385184 | 185696 17103 36 | 83.951 % | 11.39/11.44 c =============================================================================== 11.49/11.57 c core #18 11.49/11.57 c 11.49/11.57 c 11.49/11.57 c Core size: 555 Core Weight: 1 Total Weight: 124 11.49/11.57 c Current CPU time: 11.3383 s 11.49/11.57 c 11.49/11.57 c ============================[ Search Statistics ]============================== 11.49/11.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.49/11.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.49/11.57 c =============================================================================== 11.49/11.57 c | 0 | 13187 195461 385719 | 65153 0 -nan | 0.000 % | 11.49/11.59 c | 101 | 13187 195461 385719 | 71669 101 19 | 82.690 % | 11.59/11.62 c | 251 | 13187 195461 385719 | 78835 251 21 | 82.690 % | 11.59/11.67 c | 477 | 13187 195461 385719 | 86719 477 25 | 82.690 % | 11.69/11.72 c | 815 | 13187 195461 385719 | 95391 815 26 | 82.690 % | 11.80/11.83 c | 1321 | 13180 195461 385719 | 104930 1321 28 | 82.719 % | 11.90/11.97 c | 2080 | 13165 195461 385719 | 115423 2080 29 | 82.719 % | 12.19/12.24 c | 3219 | 13165 195461 385719 | 126966 3219 34 | 82.719 % | 12.49/12.59 c | 4929 | 13165 195461 385719 | 139662 4929 34 | 82.719 % | 13.10/13.15 c | 7492 | 13165 195461 385719 | 153628 7492 35 | 82.719 % | 13.99/14.05 c | 11336 | 13165 195461 385719 | 168991 11336 37 | 82.719 % | 15.49/15.50 c | 17102 | 13009 195461 385719 | 185891 17102 39 | 82.924 % | 17.89/17.98 c | 25751 | 13009 195461 385719 | 204480 25751 41 | 82.924 % | 22.39/22.41 c | 38725 | 12856 195461 385719 | 224928 38725 45 | 83.124 % | 29.89/29.92 c =============================================================================== 29.99/30.05 c core #19 29.99/30.05 c 29.99/30.05 c 29.99/30.05 c Core size: 697 Core Weight: 1 Total Weight: 125 29.99/30.05 c Current CPU time: 29.7145 s 29.99/30.05 c 29.99/30.05 c ============================[ Search Statistics ]============================== 29.99/30.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.99/30.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.99/30.05 c =============================================================================== 29.99/30.05 c | 0 | 13599 195691 386333 | 65230 0 -nan | 0.000 % | 29.99/30.08 c | 100 | 13599 195691 386333 | 71753 100 25 | 82.190 % | 30.10/30.10 c | 252 | 13599 195691 386333 | 78928 252 25 | 82.190 % | 30.10/30.17 c | 477 | 13599 195691 386333 | 86821 477 29 | 82.190 % | 30.20/30.23 c | 814 | 13451 195691 386333 | 95503 814 27 | 82.384 % | 30.29/30.31 c | 1320 | 13451 195691 386333 | 105054 1320 30 | 82.384 % | 30.39/30.47 c | 2080 | 13449 195691 386333 | 115559 2080 33 | 82.387 % | 30.59/30.69 c | 3220 | 13449 195691 386333 | 127115 3220 34 | 82.387 % | 30.99/31.03 c | 4928 | 13449 195691 386333 | 139827 4928 41 | 82.387 % | 31.59/31.60 c | 7490 | 13449 195691 386333 | 153809 7490 43 | 82.387 % | 32.39/32.49 c | 11335 | 13441 195691 386333 | 169190 11335 42 | 82.397 % | 34.00/34.10 c | 17103 | 13441 195691 386333 | 186109 17103 46 | 82.397 % | 36.79/36.80 c | 25752 | 13441 195691 386333 | 204720 25752 46 | 82.397 % | 40.89/40.95 c | 38726 | 13437 195691 386333 | 225192 38726 46 | 82.402 % | 48.69/48.70 c | 58187 | 13437 195691 386333 | 247712 58187 47 | 82.402 % | 63.29/63.36 c | 87379 | 13028 195691 386333 | 272483 87379 50 | 83.013 % | 93.19/93.28 c | 131168 | 13028 195691 386333 | 299731 131168 54 | 83.013 % | 98.19/98.27 c =============================================================================== 98.39/98.45 c core #20 98.39/98.45 c 98.39/98.45 c 98.39/98.45 c Core size: 867 Core Weight: 1 Total Weight: 126 98.39/98.45 c Current CPU time: 97.8481 s 98.39/98.45 c 98.39/98.45 c ============================[ Search Statistics ]============================== 98.39/98.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.39/98.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.39/98.45 c =============================================================================== 98.39/98.45 c | 0 | 14010 195953 387036 | 65317 0 -nan | 0.000 % | 98.39/98.48 c | 100 | 14010 195953 387036 | 71849 100 20 | 81.694 % | 98.49/98.50 c | 252 | 14010 195953 387036 | 79034 252 24 | 81.694 % | 98.49/98.53 c | 478 | 14010 195953 387036 | 86937 478 24 | 81.694 % | 98.49/98.58 c | 815 | 13994 195953 387036 | 95631 815 26 | 81.715 % | 98.59/98.68 c | 1321 | 13994 195953 387036 | 105194 1321 33 | 81.715 % | 98.79/98.82 c | 2080 | 13994 195953 387036 | 115714 2080 32 | 81.715 % | 98.90/98.99 c | 3220 | 13994 195953 387036 | 127285 3220 35 | 81.715 % | 99.29/99.35 c | 4928 | 13994 195953 387036 | 140014 4928 38 | 81.715 % | 99.78/99.86 c | 7490 | 13994 195953 387036 | 154015 7490 42 | 81.715 % | 100.79/100.86 c | 11335 | 13994 195953 387036 | 169417 11335 43 | 81.715 % | 102.21/102.27 c | 17101 | 13994 195953 387036 | 186358 17101 42 | 81.715 % | 104.69/104.72 c | 25751 | 13992 195953 387036 | 204994 25751 45 | 81.717 % | 108.80/108.81 c | 38725 | 13992 195953 387036 | 225494 38725 48 | 81.717 % | 116.09/116.19 c | 58187 | 13815 195953 387036 | 248043 58187 49 | 81.949 % | 130.59/130.68 c | 87379 | 13815 195953 387036 | 272848 87379 50 | 81.949 % | 157.99/158.04 c | 131169 | 13815 195953 387036 | 300132 131169 54 | 81.949 % | 211.10/211.19 c | 196853 | 13750 195953 387036 | 330146 196853 57 | 82.236 % | 339.16/339.25 c | 295379 | 13275 195953 387036 | 363160 295379 60 | 82.700 % | 385.85/385.94 c =============================================================================== 386.16/386.20 c core #21 386.16/386.20 c 386.16/386.20 c 386.16/386.20 c Core size: 754 Core Weight: 1 Total Weight: 127 386.16/386.20 c Current CPU time: 384.877 s 386.16/386.20 c 386.16/386.20 c ============================[ Search Statistics ]============================== 386.16/386.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 386.16/386.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 386.16/386.20 c =============================================================================== 386.16/386.20 c | 0 | 14424 196250 387859 | 65416 0 -nan | 0.000 % | 386.16/386.23 c | 102 | 14424 196250 387859 | 71958 102 22 | 81.196 % | 386.16/386.26 c | 253 | 14424 196250 387859 | 79154 253 22 | 81.196 % | 386.16/386.30 c | 478 | 14423 196250 387859 | 87069 478 23 | 81.206 % | 386.26/386.35 c | 815 | 14416 196250 387859 | 95776 815 27 | 81.206 % | 386.36/386.44 c | 1322 | 14408 196250 387859 | 105354 1322 32 | 81.217 % | 386.55/386.60 c | 2081 | 14407 196250 387859 | 115889 2081 35 | 81.218 % | 386.75/386.80 c | 3222 | 14396 196250 387859 | 127478 3222 37 | 81.421 % | 387.07/387.15 c | 4932 | 14251 196250 387859 | 140226 4932 36 | 81.421 % | 387.65/387.72 c | 7496 | 14251 196250 387859 | 154249 7496 39 | 81.421 % | 388.35/388.48 c | 11344 | 14251 196250 387859 | 169673 11344 45 | 81.421 % | 389.95/390.03 c | 17110 | 14251 196250 387859 | 186641 17110 47 | 81.421 % | 392.35/392.44 c | 25759 | 14251 196250 387859 | 205305 25759 51 | 81.421 % | 396.15/396.21 c | 38733 | 14251 196250 387859 | 225836 38733 51 | 81.421 % | 403.05/403.11 c | 58196 | 14251 196250 387859 | 248419 58196 50 | 81.421 % | 416.95/417.02 c | 87388 | 14093 196250 387859 | 273261 87388 50 | 81.627 % | 444.95/445.05 c | 131177 | 14093 196250 387859 | 300587 131177 54 | 81.627 % | 496.66/496.75 c | 196861 | 14093 196250 387859 | 330646 196861 55 | 81.627 % | 594.16/594.24 c | 295389 | 14093 196250 387859 | 363711 295389 60 | 81.627 % | 779.57/779.61 c | 443179 | 14093 196250 387859 | 400082 40591 53 | 81.627 % | 979.27/979.36 c | 664862 | 14027 196250 387859 | 440090 262274 67 | 81.713 % | 1171.97/1172.02 c =============================================================================== 1172.38/1172.50 c core #22 1172.38/1172.50 c 1172.38/1172.50 c 1172.38/1172.50 c Core size: 919 Core Weight: 1 Total Weight: 128 1172.38/1172.50 c Current CPU time: 1169.48 s 1172.38/1172.50 c 1172.38/1172.50 c ============================[ Search Statistics ]============================== 1172.38/1172.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 1172.38/1172.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1172.38/1172.50 c =============================================================================== 1172.38/1172.50 c | 0 | 14838 196600 388842 | 65533 0 -nan | 0.000 % | 1172.49/1172.53 c | 100 | 14838 196600 388842 | 72086 100 23 | 80.700 % | 1172.49/1172.56 c | 250 | 14838 196600 388842 | 79295 250 31 | 80.700 % | 1172.49/1172.61 c | 479 | 14838 196600 388842 | 87224 479 32 | 80.700 % | 1172.59/1172.66 c | 816 | 14838 196600 388842 | 95947 816 37 | 80.700 % | 1172.68/1172.76 c | 1322 | 14838 196600 388842 | 105542 1322 36 | 80.700 % | 1172.88/1172.94 c | 2082 | 14838 196600 388842 | 116096 2082 35 | 80.700 % | 1173.07/1173.13 c | 3221 | 14838 196600 388842 | 127705 3221 35 | 80.700 % | 1173.37/1173.45 c | 4929 | 14838 196600 388842 | 140476 4929 37 | 80.700 % | 1173.88/1173.96 c | 7491 | 14838 196600 388842 | 154524 7491 40 | 80.700 % | 1174.79/1174.84 c | 11335 | 14838 196600 388842 | 169976 11335 44 | 80.700 % | 1176.17/1176.28 c | 17101 | 14838 196600 388842 | 186974 17101 47 | 80.700 % | 1178.37/1178.45 c | 25750 | 14822 196600 388842 | 205671 25750 50 | 80.720 % | 1182.39/1182.50 c | 38724 | 14822 196600 388842 | 226238 38724 51 | 80.720 % | 1189.37/1189.45 c | 58185 | 14822 196600 388842 | 248862 58185 51 | 80.720 % | 1203.58/1203.69 c | 87378 | 14666 196600 388842 | 273748 87378 53 | 80.923 % | 1230.28/1230.33 c | 131170 | 14666 196600 388842 | 301123 131170 54 | 80.923 % | 1284.58/1284.66 c | 196854 | 14666 196600 388842 | 331236 196854 60 | 80.923 % | 1376.38/1376.40 c | 295380 | 14666 196600 388842 | 364359 295380 62 | 80.923 % | 1575.38/1575.47 c | 443169 | 14666 196600 388842 | 400795 34117 70 | 80.923 % | 1738.39/1738.42 c | 664853 | 14666 196600 388842 | 440875 255801 58 | 80.923 % |
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3461726-1307120678/watcher-3461726-1307120678 -o /tmp/evaluation-result-3461726-1307120678/solver-3461726-1307120678 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461726-1307120678.opb running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 2.04 2.00 2/473 26974 /proc/meminfo: memFree=20148676/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=12300 CPUtime=0.01 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 949 0 0 0 1 0 0 0 25 0 1 0 823667446 12595200 902 33554432000 4194304 5714214 140736226709840 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26974/statm: 3075 903 206 372 0 771 0 [startup+0.0981339 s] /proc/loadavg: 2.06 2.04 2.00 2/473 26974 /proc/meminfo: memFree=20148676/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=24392 CPUtime=0.09 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 4148 0 0 0 9 0 0 0 25 0 1 0 823667446 24977408 3954 33554432000 4194304 5714214 140736226709840 18446744073709551615 4227934 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26974/statm: 6098 3954 490 372 0 3794 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24392 [startup+0.101129 s] /proc/loadavg: 2.06 2.04 2.00 2/473 26974 /proc/meminfo: memFree=20148676/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=24524 CPUtime=0.09 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 4186 0 0 0 9 0 0 0 25 0 1 0 823667446 25112576 3992 33554432000 4194304 5714214 140736226709840 18446744073709551615 4948385 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26974/statm: 6131 3992 501 372 0 3827 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24524 [startup+0.301156 s] /proc/loadavg: 2.06 2.04 2.00 2/473 26974 /proc/meminfo: memFree=20148676/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=32764 CPUtime=0.29 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 6936 0 0 0 29 0 0 0 25 0 1 0 823667446 33550336 6613 33554432000 4194304 5714214 140736226709840 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26974/statm: 8191 6615 1170 372 0 5887 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32764 [startup+0.701086 s] /proc/loadavg: 2.06 2.04 2.00 2/473 26974 /proc/meminfo: memFree=20148676/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=81644 CPUtime=0.69 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 21700 0 0 0 66 3 0 0 25 0 1 0 823667446 83603456 19182 33554432000 4194304 5714214 140736226709840 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26974/statm: 20411 19183 172 372 0 20036 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 81644 [startup+1.50089 s] /proc/loadavg: 2.06 2.04 2.00 3/474 26975 /proc/meminfo: memFree=20048944/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=110948 CPUtime=1.49 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 33709 0 0 0 145 4 0 0 25 0 1 0 823667446 113610752 26961 33554432000 4194304 5714214 140736226709840 18446744073709551615 4977598 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26974/statm: 27737 26961 179 372 0 27362 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 110948 [startup+3.1006 s] /proc/loadavg: 2.06 2.04 2.00 3/474 26975 /proc/meminfo: memFree=20036544/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=112028 CPUtime=3.09 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 38164 0 0 0 305 4 0 0 25 0 1 0 823667446 114716672 27393 33554432000 4194304 5714214 140736226709840 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26974/statm: 28007 27393 180 372 0 27632 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 112028 [startup+6.30104 s] /proc/loadavg: 2.05 2.04 2.00 3/474 26975 /proc/meminfo: memFree=20032132/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=115268 CPUtime=6.29 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 38945 0 0 0 623 6 0 0 25 0 1 0 823667446 118034432 28174 33554432000 4194304 5714214 140736226709840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26974/statm: 28817 28174 180 372 0 28442 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 115268 [startup+12.701 s] /proc/loadavg: 2.05 2.03 2.00 3/474 26975 /proc/meminfo: memFree=20022584/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=120620 CPUtime=12.69 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 40094 0 0 0 1258 11 0 0 25 0 1 0 823667446 123514880 29323 33554432000 4194304 5714214 140736226709840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26974/statm: 30155 29323 180 372 0 29780 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 120620 [startup+25.5007 s] /proc/loadavg: 2.11 2.05 2.01 3/474 26976 /proc/meminfo: memFree=20020124/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=120620 CPUtime=25.5 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 40094 0 0 0 2531 19 0 0 25 0 1 0 823667446 123514880 29323 33554432000 4194304 5714214 140736226709840 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26974/statm: 30155 29323 180 372 0 29780 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 120620 [startup+51.1012 s] /proc/loadavg: 2.07 2.04 2.00 3/474 26976 /proc/meminfo: memFree=20012416/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=129488 CPUtime=51.09 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 42114 0 0 0 5077 32 0 0 25 0 1 0 823667446 132595712 31343 33554432000 4194304 5714214 140736226709840 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26974/statm: 32372 31343 180 372 0 31997 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 129488 [startup+102.318 s] /proc/loadavg: 2.03 2.03 2.00 3/474 26978 /proc/meminfo: memFree=19955360/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=163276 CPUtime=102.31 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 50479 0 0 0 10186 45 0 0 25 0 1 0 823667446 167194624 39708 33554432000 4194304 5714214 140736226709840 18446744073709551615 4309222 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26974/statm: 40819 39708 180 372 0 40444 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 163276 [startup+162.301 s] /proc/loadavg: 2.01 2.03 2.00 3/474 26979 /proc/meminfo: memFree=19949484/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=163276 CPUtime=162.29 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 50517 0 0 0 16167 62 0 0 25 0 1 0 823667446 167194624 39746 33554432000 4194304 5714214 140736226709840 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26974/statm: 40819 39746 180 372 0 40444 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 163276 [startup+222.301 s] /proc/loadavg: 2.00 2.02 2.00 3/474 26981 /proc/meminfo: memFree=19943496/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=166948 CPUtime=222.28 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 51652 0 0 0 22156 72 0 0 25 0 1 0 823667446 170954752 40881 33554432000 4194304 5714214 140736226709840 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26974/statm: 41737 40881 180 372 0 41362 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 166948 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.00 3/474 26982 /proc/meminfo: memFree=19913956/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=186940 CPUtime=282.26 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 56468 0 0 0 28141 85 0 0 25 0 1 0 823667446 191426560 45697 33554432000 4194304 5714214 140736226709840 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26974/statm: 46735 45697 180 372 0 46360 0 Current children cumulated CPU time (s) 282.26 Current children cumulated vsize (KiB) 186940 [startup+342.301 s] /proc/loadavg: 2.00 2.01 2.00 3/474 26984 /proc/meminfo: memFree=19881072/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=205940 CPUtime=342.26 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 61279 0 0 0 34130 96 0 0 25 0 1 0 823667446 210882560 50508 33554432000 4194304 5714214 140736226709840 18446744073709551615 4319373 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26974/statm: 51485 50508 180 372 0 51110 0 Current children cumulated CPU time (s) 342.26 Current children cumulated vsize (KiB) 205940 [startup+402.3 s] /proc/loadavg: 2.04 2.02 2.00 3/474 26986 /proc/meminfo: memFree=19837512/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=241756 CPUtime=402.25 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 70396 0 0 0 40112 113 0 0 25 0 1 0 823667446 247558144 58999 33554432000 4194304 5714214 140736226709840 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26974/statm: 60439 58999 180 372 0 60064 0 Current children cumulated CPU time (s) 402.25 Current children cumulated vsize (KiB) 241756 [startup+462.301 s] /proc/loadavg: 2.05 2.03 2.00 3/474 26987 /proc/meminfo: memFree=19828308/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=241756 CPUtime=462.25 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 70490 0 0 0 46097 128 0 0 25 0 1 0 823667446 247558144 59093 33554432000 4194304 5714214 140736226709840 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26974/statm: 60439 59093 180 372 0 60064 0 Current children cumulated CPU time (s) 462.25 Current children cumulated vsize (KiB) 241756 [startup+522.3 s] /proc/loadavg: 2.18 2.05 2.01 3/474 26989 /proc/meminfo: memFree=19804468/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=241756 CPUtime=522.26 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 70492 0 0 0 52087 139 0 0 25 0 1 0 823667446 247558144 59095 33554432000 4194304 5714214 140736226709840 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26974/statm: 60439 59095 180 372 0 60064 0 Current children cumulated CPU time (s) 522.26 Current children cumulated vsize (KiB) 241756 [startup+582.301 s] /proc/loadavg: 2.14 2.06 2.01 3/474 26990 /proc/meminfo: memFree=19784104/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=241756 CPUtime=582.26 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 70932 0 0 0 58076 150 0 0 25 0 1 0 823667446 247558144 59535 33554432000 4194304 5714214 140736226709840 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26974/statm: 60439 59535 180 372 0 60064 0 Current children cumulated CPU time (s) 582.26 Current children cumulated vsize (KiB) 241756 [startup+642.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.00 2.01 2.00 3/474 26998 /proc/meminfo: memFree=19684528/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=266236 CPUtime=882.26 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 76950 0 0 0 88019 207 0 0 25 0 1 0 823667446 272625664 65553 33554432000 4194304 5714214 140736226709840 18446744073709551615 4319964 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26974/statm: 66559 65553 180 372 0 66184 0 Current children cumulated CPU time (s) 882.26 Current children cumulated vsize (KiB) 266236 [startup+942.3 s] /proc/loadavg: 2.10 2.04 2.01 3/474 27000 /proc/meminfo: memFree=19678420/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=267712 CPUtime=942.27 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 77275 0 0 0 94009 218 0 0 25 0 1 0 823667446 274137088 65878 33554432000 4194304 5714214 140736226709840 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26974/statm: 66928 65878 180 372 0 66553 0 Current children cumulated CPU time (s) 942.27 Current children cumulated vsize (KiB) 267712 [startup+1002.3 s] /proc/loadavg: 2.08 2.04 2.01 3/474 27002 /proc/meminfo: memFree=19669600/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=268992 CPUtime=1002.27 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 77561 0 0 0 100000 227 0 0 25 0 1 0 823667446 275447808 66164 33554432000 4194304 5714214 140736226709840 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26974/statm: 67248 66164 180 372 0 66873 0 Current children cumulated CPU time (s) 1002.27 Current children cumulated vsize (KiB) 268992 [startup+1062.3 s] /proc/loadavg: 2.03 2.03 2.00 3/474 27003 /proc/meminfo: memFree=19667828/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=270428 CPUtime=1062.27 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 77893 0 0 0 105993 234 0 0 25 0 1 0 823667446 276918272 66496 33554432000 4194304 5714214 140736226709840 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26974/statm: 67607 66496 180 372 0 67232 0 Current children cumulated CPU time (s) 1062.27 Current children cumulated vsize (KiB) 270428 [startup+1122.3 s] /proc/loadavg: 2.09 2.05 2.01 3/474 27005 /proc/meminfo: memFree=19630468/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=287860 CPUtime=1122.27 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 82230 0 0 0 111980 247 0 0 25 0 1 0 823667446 294768640 70833 33554432000 4194304 5714214 140736226709840 18446744073709551615 4323072 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26974/statm: 71965 70833 180 372 0 71590 0 Current children cumulated CPU time (s) 1122.27 Current children cumulated vsize (KiB) 287860 [startup+1182.3 s] /proc/loadavg: 2.07 2.05 2.01 3/474 27006 /proc/meminfo: memFree=19577624/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=326000 CPUtime=1182.27 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 91462 0 0 0 117968 259 0 0 25 0 1 0 823667446 333824000 80065 33554432000 4194304 5714214 140736226709840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26974/statm: 81500 80065 180 372 0 81125 0 Current children cumulated CPU time (s) 1182.27 Current children cumulated vsize (KiB) 326000 [startup+1242.3 s] /proc/loadavg: 1.97 2.03 2.00 3/474 27090 /proc/meminfo: memFree=19958240/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=326000 CPUtime=1242.27 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 91479 0 0 0 123952 275 0 0 25 0 1 0 823667446 333824000 80082 33554432000 4194304 5714214 140736226709840 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26974/statm: 81500 80082 180 372 0 81125 0 Current children cumulated CPU time (s) 1242.27 Current children cumulated vsize (KiB) 326000 [startup+1302.3 s] /proc/loadavg: 1.99 2.02 2.00 3/474 27092 /proc/meminfo: memFree=19941496/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=326000 CPUtime=1302.29 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 91481 0 0 0 129941 288 0 0 25 0 1 0 823667446 333824000 80084 33554432000 4194304 5714214 140736226709840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26974/statm: 81500 80084 180 372 0 81125 0 Current children cumulated CPU time (s) 1302.29 Current children cumulated vsize (KiB) 326000 [startup+1362.3 s] /proc/loadavg: 1.99 2.02 2.00 3/474 27093 /proc/meminfo: memFree=19920404/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=326000 CPUtime=1362.28 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 91483 0 0 0 135926 302 0 0 25 0 1 0 823667446 333824000 80086 33554432000 4194304 5714214 140736226709840 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26974/statm: 81500 80086 180 372 0 81125 0 Current children cumulated CPU time (s) 1362.28 Current children cumulated vsize (KiB) 326000 [startup+1422.32 s] /proc/loadavg: 1.99 2.01 2.00 3/474 27095 /proc/meminfo: memFree=19901416/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=326000 CPUtime=1422.3 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 91629 0 0 0 141917 313 0 0 25 0 1 0 823667446 333824000 80232 33554432000 4194304 5714214 140736226709840 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26974/statm: 81500 80232 180 372 0 81125 0 Current children cumulated CPU time (s) 1422.3 Current children cumulated vsize (KiB) 326000 [startup+1482.3 s] /proc/loadavg: 2.04 2.02 2.00 3/474 27096 /proc/meminfo: memFree=19880308/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=326000 CPUtime=1482.29 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 91726 0 0 0 147907 322 0 0 25 0 1 0 823667446 333824000 80329 33554432000 4194304 5714214 140736226709840 18446744073709551615 4319758 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26974/statm: 81500 80329 180 372 0 81125 0 Current children cumulated CPU time (s) 1482.29 Current children cumulated vsize (KiB) 326000 [startup+1542.3 s] /proc/loadavg: 2.05 2.03 2.00 3/474 27098 /proc/meminfo: memFree=19858952/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=326000 CPUtime=1542.28 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 91832 0 0 0 153897 331 0 0 25 0 1 0 823667446 333824000 80435 33554432000 4194304 5714214 140736226709840 18446744073709551615 4319269 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26974/statm: 81500 80435 180 372 0 81125 0 Current children cumulated CPU time (s) 1542.28 Current children cumulated vsize (KiB) 326000 [startup+1602.3 s] /proc/loadavg: 2.02 2.02 2.00 3/474 27100 /proc/meminfo: memFree=19850380/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=326000 CPUtime=1602.29 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 91844 0 0 0 159878 351 0 0 25 0 1 0 823667446 333824000 80447 33554432000 4194304 5714214 140736226709840 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26974/statm: 81500 80447 180 372 0 81125 0 Current children cumulated CPU time (s) 1602.29 Current children cumulated vsize (KiB) 326000 [startup+1662.3 s] /proc/loadavg: 2.12 2.05 2.01 3/474 27101 /proc/meminfo: memFree=19850344/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=326000 CPUtime=1662.28 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 91845 0 0 0 165860 368 0 0 25 0 1 0 823667446 333824000 80448 33554432000 4194304 5714214 140736226709840 18446744073709551615 4319266 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26974/statm: 81500 80448 180 372 0 81125 0 Current children cumulated CPU time (s) 1662.28 Current children cumulated vsize (KiB) 326000 [startup+1722.3 s] /proc/loadavg: 2.09 2.05 2.01 3/474 27103 /proc/meminfo: memFree=19850300/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=326000 CPUtime=1722.28 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 91846 0 0 0 171846 382 0 0 25 0 1 0 823667446 333824000 80449 33554432000 4194304 5714214 140736226709840 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26974/statm: 81500 80449 180 372 0 81125 0 Current children cumulated CPU time (s) 1722.28 Current children cumulated vsize (KiB) 326000 [startup+1782.3 s] /proc/loadavg: 2.03 2.04 2.00 3/474 27104 /proc/meminfo: memFree=19849164/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=326000 CPUtime=1782.29 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 91847 0 0 0 177834 395 0 0 25 0 1 0 823667446 333824000 80450 33554432000 4194304 5714214 140736226709840 18446744073709551615 4322960 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26974/statm: 81500 80450 180 372 0 81125 0 Current children cumulated CPU time (s) 1782.29 Current children cumulated vsize (KiB) 326000 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.02 2.04 2.00 3/474 27105 /proc/meminfo: memFree=19849288/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=326000 CPUtime=1800.11 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 91847 0 0 0 179614 397 0 0 25 0 1 0 823667446 333824000 80450 33554432000 4194304 5714214 140736226709840 18446744073709551615 4319864 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26974/statm: 81500 80450 180 372 0 81125 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 326000 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.1 s] /proc/loadavg: 2.02 2.04 2.00 3/474 27105 /proc/meminfo: memFree=19849288/32950928 swapFree=61858088/67111528 [pid=26974] ppid=26972 vsize=326000 CPUtime=1800.11 cores=1,3,5,7 /proc/26974/stat : 26974 (wbo1.6) R 26972 26974 24628 0 -1 4202496 91847 0 0 0 179614 397 0 0 25 0 1 0 823667446 333824000 80450 33554432000 4194304 5714214 140736226709840 18446744073709551615 4319864 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26974/statm: 81500 80450 180 372 0 81125 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 326000 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.14 CPU time (s): 1800.13 CPU user time (s): 1796.14 CPU system time (s): 3.98839 CPU usage (%): 99.9999 Max. virtual memory (cumulated for all children) (KiB): 326000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.14 system time used= 3.98839 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 91847 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= 16 involuntary context switches= 3126 runsolver used 8.28274 second user time and 19.568 second system time The end
Begin job on node125 at 2011-06-03 19:04:38 IDJOB=3461726 IDBENCH=77174 IDSOLVER=1953 FILE ID=node125/3461726-1307120678 RUNJOBID= node125-1307118293-26796 PBS_JOBID= 13497977 Free space on /tmp= 73748 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12047_2.std.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461726-1307120678/watcher-3461726-1307120678 -o /tmp/evaluation-result-3461726-1307120678/solver-3461726-1307120678 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461726-1307120678.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3d3e67c51070a852e8117f97ab577e7c RANDOM SEED=1921129587 node125.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5266.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 20149088 kB Buffers: 344572 kB Cached: 3510908 kB SwapCached: 3616 kB Active: 9086272 kB Inactive: 3370752 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 20149088 kB SwapTotal: 67111528 kB SwapFree: 61858088 kB Dirty: 13376 kB Writeback: 0 kB AnonPages: 8599184 kB Mapped: 34888 kB Slab: 214724 kB PageTables: 62204 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 130257100 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73740 MiB End job on node125 at 2011-06-03 19:34:40