Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.21 | 1800.8 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ6_3.opb |
MD5SUM | ff9be653d1d3ea3b1a82846016e94df6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 66 |
Best CPU time to get the best result obtained on this benchmark | 1798.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 64 |
Optimality of the best value was proved | NO |
Number of variables | 540 |
Total number of constraints | 4476 |
Number of constraints which are clauses | 2532 |
Number of constraints which are cardinality constraints (but not clauses) | 264 |
Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 3 |
Number of bits for the biggest coefficient in the objective function | 2 |
Sum of the numbers in the objective function | 324 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 16 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 324 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680612-1277453125.opb. 0.00/0.00 c Instance file HOME/instance-2680612-1277453125.opb 0.00/0.00 c File size is 202558 bytes. 0.00/0.03 c Highest Coefficient sum: 40 0.00/0.03 c ============================[ Problem Statistics ]============================= 0.00/0.03 c | | 0.00/0.03 c | Parsing time: 0.03 s | 0.00/0.03 c | Number Variables: 540 | 0.00/0.03 c | Number Clauses: 2682 | 0.00/0.03 c | Number Cardinality: 264 | 0.00/0.03 c | Number PB Constraints: 1680 | 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 540 4626 21888 | 5000 0 nan | 0.000 % | 0.00/0.06 c | 102 | 540 4626 21888 | 5500 102 25 | 0.001 % | 0.00/0.08 c | 253 | 540 4626 21888 | 6050 253 31 | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c New solution: 94 0.00/0.08 o 94 0.00/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s 0.00/0.08 c =============================================================================== 0.00/0.08 c | 257 | 540 4627 22068 | 5000 257 31 | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c New solution: 88 0.00/0.08 o 88 0.00/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s 0.00/0.08 c =============================================================================== 0.00/0.08 c | 258 | 540 4628 22248 | 5000 258 31 | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c New solution: 80 0.00/0.08 o 80 0.00/0.08 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s 0.00/0.08 c =============================================================================== 0.00/0.08 c | 279 | 540 4629 22428 | 5000 279 32 | 0.000 % | 0.09/0.10 c | 381 | 540 4629 22428 | 5500 381 42 | 0.000 % | 0.09/0.12 c | 533 | 540 4629 22428 | 6050 533 44 | 0.000 % | 0.09/0.15 c | 759 | 540 4629 22428 | 6655 759 50 | 0.000 % | 0.19/0.20 c | 1097 | 540 4629 22428 | 7320 1097 55 | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c New solution: 78 0.19/0.25 o 78 0.19/0.25 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s 0.19/0.25 c =============================================================================== 0.19/0.25 c | 1382 | 540 4630 22608 | 5000 1382 60 | 0.000 % | 0.19/0.26 c | 1485 | 540 4630 22608 | 5500 1485 60 | 0.000 % | 0.19/0.29 c | 1636 | 540 4630 22608 | 6050 1636 59 | 0.000 % | 0.29/0.32 c | 1862 | 540 4630 22608 | 6655 1862 57 | 0.000 % | 0.29/0.39 c | 2199 | 540 4630 22608 | 7320 2199 59 | 0.000 % | 0.39/0.49 c | 2705 | 540 4630 22608 | 8052 2705 61 | 0.000 % | 0.59/0.66 c | 3467 | 540 4630 22608 | 8857 3467 69 | 0.000 % | 0.89/0.98 c | 4606 | 540 4630 22608 | 9743 4606 67 | 0.000 % | 1.10/1.18 c =============================================================================== 1.10/1.18 c New solution: 76 1.10/1.18 o 76 1.10/1.18 c Elapsed CPU time: 1.16682 s Remaining CPU time: 178.833 s 1.10/1.18 c =============================================================================== 1.10/1.18 c | 5245 | 540 4631 22788 | 5000 5245 67 | 0.000 % | 1.20/1.21 c | 5346 | 540 4631 22788 | 5500 2724 64 | 0.000 % | 1.20/1.24 c | 5498 | 540 4631 22788 | 6050 2876 65 | 0.000 % | 1.20/1.28 c | 5728 | 540 4631 22788 | 6655 3106 63 | 0.000 % | 1.29/1.35 c | 6067 | 540 4631 22788 | 7320 3445 65 | 0.000 % | 1.29/1.35 c =============================================================================== 1.29/1.35 c New solution: 74 1.29/1.35 o 74 1.29/1.35 c Elapsed CPU time: 1.3348 s Remaining CPU time: 178.665 s 1.29/1.35 c =============================================================================== 1.29/1.35 c | 6085 | 540 4632 22968 | 5000 3463 65 | 0.000 % | 1.29/1.37 c | 6186 | 540 4632 22968 | 5500 3564 64 | 0.000 % | 1.39/1.41 c | 6336 | 540 4632 22968 | 6050 3714 65 | 0.000 % | 1.39/1.42 c =============================================================================== 1.39/1.42 c New solution: 72 1.39/1.42 o 72 1.39/1.42 c Elapsed CPU time: 1.39779 s Remaining CPU time: 178.602 s 1.39/1.42 c =============================================================================== 1.39/1.42 c | 6372 | 540 4633 23148 | 5000 3750 65 | 0.000 % | 1.39/1.44 c | 6472 | 540 4633 23148 | 5500 3850 65 | 0.000 % | 1.39/1.48 c | 6625 | 540 4633 23148 | 6050 4003 64 | 0.000 % | 1.49/1.53 c | 6850 | 540 4633 23148 | 6655 4228 66 | 0.000 % | 1.59/1.61 c | 7188 | 540 4633 23148 | 7320 4566 67 | 0.000 % | 1.69/1.74 c | 7694 | 540 4633 23148 | 8052 5072 68 | 0.000 % | 1.89/1.94 c | 8453 | 540 4633 23148 | 8857 5831 72 | 0.000 % | 2.29/2.31 c | 9592 | 540 4633 23148 | 9743 6970 71 | 0.000 % | 2.89/2.98 c | 11300 | 540 4633 23148 | 10717 8678 72 | 0.000 % | 4.09/4.15 c | 13862 | 540 4633 23148 | 11789 5805 76 | 0.000 % | 5.69/5.78 c | 17706 | 540 4633 23148 | 12968 9649 83 | 0.000 % | 8.29/8.36 c | 23472 | 540 4633 23148 | 14265 8804 100 | 0.001 % | 12.99/13.09 c | 32123 | 540 4633 23148 | 15692 10232 83 | 0.000 % | 20.28/20.38 c | 45099 | 540 4633 23148 | 17261 15216 96 | 0.002 % | 31.99/32.07 c | 64562 | 540 4633 23148 | 18987 17202 103 | 0.000 % | 52.78/52.83 c | 93755 | 540 4633 23148 | 20886 17670 104 | 0.000 % | 88.16/88.24 c | 137544 | 540 4633 23148 | 22974 19354 108 | 0.000 % | 110.45/110.52 c =============================================================================== 110.45/110.52 c New solution: 70 110.45/110.52 o 70 110.45/110.52 c Elapsed CPU time: 109.762 s Remaining CPU time: 70.2377 s 110.45/110.52 c =============================================================================== 110.45/110.52 c | 159475 | 540 4634 23328 | 5000 18122 95 | 0.000 % | 110.56/110.61 c | 159576 | 540 4634 23328 | 5500 4632 61 | 0.000 % | 110.56/110.65 c | 159727 | 540 4634 23328 | 6050 4783 62 | 0.000 % | 110.66/110.72 c | 159952 | 540 4634 23328 | 6655 5008 63 | 0.000 % | 110.76/110.81 c | 160290 | 540 4634 23328 | 7320 5346 63 | 0.000 % | 110.86/110.96 c | 160796 | 540 4634 23328 | 8052 5852 64 | 0.001 % | 111.06/111.17 c | 161555 | 540 4634 23328 | 8857 6611 67 | 0.000 % | 111.35/111.47 c | 162695 | 540 4634 23328 | 9743 7751 71 | 0.000 % | 112.17/112.28 c | 164407 | 540 4634 23328 | 10717 9463 67 | 0.000 % | 113.36/113.43 c | 166971 | 540 4634 23328 | 11789 6576 65 | 0.001 % | 114.66/114.74 c | 170815 | 540 4634 23328 | 12968 10420 83 | 0.000 % | 116.66/116.79 c | 176583 | 540 4634 23328 | 14265 9538 84 | 0.000 % | 119.75/119.86 c | 185232 | 540 4634 23328 | 15692 10976 99 | 0.000 % | 127.66/127.70 c | 198206 | 540 4634 23328 | 17261 8082 56 | 0.000 % | 140.15/140.20 c | 217670 | 540 4634 23328 | 18987 10071 99 | 0.000 % | 157.44/157.50 c | 246863 | 540 4634 23328 | 20886 10441 93 | 0.001 % | 181.13/181.24 c There are 0 assigned variables. 0 in cost function. 181.83/181.96 c core #1 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 30 Core Weight: 1 Total Weight: 1 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #2 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 30 Core Weight: 1 Total Weight: 2 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #3 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 30 Core Weight: 1 Total Weight: 3 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #4 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 30 Core Weight: 1 Total Weight: 4 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #5 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 30 Core Weight: 1 Total Weight: 5 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #6 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 30 Core Weight: 1 Total Weight: 6 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #7 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 30 Core Weight: 1 Total Weight: 7 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #8 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 30 Core Weight: 1 Total Weight: 8 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #9 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 30 Core Weight: 1 Total Weight: 9 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #10 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 30 Core Weight: 1 Total Weight: 10 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #11 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 30 Core Weight: 1 Total Weight: 11 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #12 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 30 Core Weight: 1 Total Weight: 12 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #13 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 6 Core Weight: 1 Total Weight: 13 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #14 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 6 Core Weight: 1 Total Weight: 14 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #15 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 6 Core Weight: 1 Total Weight: 15 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #16 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 6 Core Weight: 1 Total Weight: 16 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #17 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 6 Core Weight: 1 Total Weight: 17 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #18 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 6 Core Weight: 1 Total Weight: 18 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #19 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 6 Core Weight: 1 Total Weight: 19 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #20 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 6 Core Weight: 1 Total Weight: 20 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #21 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 6 Core Weight: 1 Total Weight: 21 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #22 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 6 Core Weight: 1 Total Weight: 22 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #23 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 6 Core Weight: 1 Total Weight: 23 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #24 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 6 Core Weight: 1 Total Weight: 24 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #25 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 6 Core Weight: 1 Total Weight: 25 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #26 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 6 Core Weight: 1 Total Weight: 26 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #27 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 6 Core Weight: 1 Total Weight: 27 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #28 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 6 Core Weight: 1 Total Weight: 28 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #29 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 6 Core Weight: 1 Total Weight: 29 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #30 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 6 Core Weight: 1 Total Weight: 30 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #31 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 11 Core Weight: 1 Total Weight: 31 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #32 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 11 Core Weight: 1 Total Weight: 32 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #33 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 11 Core Weight: 1 Total Weight: 33 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #34 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 11 Core Weight: 1 Total Weight: 34 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #35 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 11 Core Weight: 1 Total Weight: 35 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c core #36 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c Core size: 11 Core Weight: 1 Total Weight: 36 181.83/181.96 c 181.83/181.96 c 181.83/181.96 c ============================[ Search Statistics ]============================== 181.83/181.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.83/181.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.83/181.96 c =============================================================================== 181.83/181.96 c | 0 | 654 4941 17217 | 5000 0 nan | 0.000 % | 181.83/181.96 c =============================================================================== 181.83/181.97 c core #37 181.83/181.97 c 181.83/181.97 c 181.83/181.97 c Core size: 16 Core Weight: 1 Total Weight: 37 181.83/181.97 c 181.83/181.97 c 181.83/181.97 c ============================[ Search Statistics ]============================== 181.83/181.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.83/181.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.83/181.97 c =============================================================================== 181.83/181.97 c | 0 | 669 4946 17288 | 5000 0 nan | 0.000 % | 181.83/181.98 c =============================================================================== 181.83/181.99 c core #38 181.83/181.99 c 181.83/181.99 c 181.83/181.99 c Core size: 24 Core Weight: 1 Total Weight: 38 181.83/181.99 c 181.83/181.99 c 181.83/181.99 c ============================[ Search Statistics ]============================== 181.83/181.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.83/181.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.83/181.99 c =============================================================================== 181.83/181.99 c | 0 | 698 4950 17887 | 5000 0 nan | 0.000 % | 181.93/182.00 c =============================================================================== 181.93/182.01 c core #39 181.93/182.01 c 181.93/182.01 c 181.93/182.01 c Core size: 18 Core Weight: 1 Total Weight: 39 181.93/182.01 c 181.93/182.01 c 181.93/182.01 c ============================[ Search Statistics ]============================== 181.93/182.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.93/182.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.93/182.01 c =============================================================================== 181.93/182.01 c | 0 | 713 4955 17958 | 5000 0 nan | 0.000 % | 181.93/182.02 c =============================================================================== 181.93/182.03 c core #40 181.93/182.03 c 181.93/182.03 c 181.93/182.03 c Core size: 19 Core Weight: 1 Total Weight: 40 181.93/182.03 c 181.93/182.03 c 181.93/182.03 c ============================[ Search Statistics ]============================== 181.93/182.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.93/182.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.93/182.03 c =============================================================================== 181.93/182.03 c | 0 | 729 4961 18132 | 5000 0 nan | 0.000 % | 181.93/182.04 c =============================================================================== 181.93/182.06 c core #41 181.93/182.06 c 181.93/182.06 c 181.93/182.06 c Core size: 22 Core Weight: 1 Total Weight: 41 181.93/182.06 c 181.93/182.06 c 181.93/182.06 c ============================[ Search Statistics ]============================== 181.93/182.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.93/182.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.93/182.06 c =============================================================================== 181.93/182.06 c | 0 | 757 4965 18729 | 5000 0 nan | 0.000 % | 181.93/182.06 c =============================================================================== 181.93/182.08 c core #42 181.93/182.08 c 181.93/182.08 c 181.93/182.08 c Core size: 13 Core Weight: 1 Total Weight: 42 181.93/182.08 c 181.93/182.08 c 181.93/182.08 c ============================[ Search Statistics ]============================== 181.93/182.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.93/182.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.93/182.08 c =============================================================================== 181.93/182.08 c | 0 | 771 4966 18777 | 5000 0 nan | 0.000 % | 181.93/182.09 c =============================================================================== 182.03/182.10 c core #43 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 18 Core Weight: 1 Total Weight: 43 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c ============================[ Search Statistics ]============================== 182.03/182.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.03/182.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.03/182.10 c =============================================================================== 182.03/182.10 c | 0 | 786 4971 18848 | 5000 0 nan | 0.000 % | 182.03/182.11 c =============================================================================== 182.03/182.13 c core #44 182.03/182.13 c 182.03/182.13 c 182.03/182.13 c Core size: 19 Core Weight: 1 Total Weight: 44 182.03/182.13 c 182.03/182.13 c 182.03/182.13 c ============================[ Search Statistics ]============================== 182.03/182.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.03/182.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.03/182.13 c =============================================================================== 182.03/182.13 c | 0 | 802 4977 19022 | 5000 0 nan | 0.000 % | 182.03/182.13 c =============================================================================== 182.03/182.15 c core #45 182.03/182.15 c 182.03/182.15 c 182.03/182.15 c Core size: 19 Core Weight: 1 Total Weight: 45 182.03/182.15 c 182.03/182.15 c 182.03/182.15 c ============================[ Search Statistics ]============================== 182.03/182.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.03/182.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.03/182.15 c =============================================================================== 182.03/182.15 c | 0 | 818 4983 19196 | 5000 0 nan | 0.000 % | 182.03/182.16 c =============================================================================== 182.03/182.18 c core #46 182.03/182.18 c 182.03/182.18 c 182.03/182.18 c Core size: 35 Core Weight: 1 Total Weight: 46 182.03/182.18 c 182.03/182.18 c 182.03/182.18 c ============================[ Search Statistics ]============================== 182.03/182.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.03/182.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.03/182.18 c =============================================================================== 182.03/182.18 c | 0 | 851 4988 19805 | 5000 0 nan | 0.000 % | 182.03/182.18 c =============================================================================== 182.13/182.20 c core #47 182.13/182.20 c 182.13/182.20 c 182.13/182.20 c Core size: 24 Core Weight: 1 Total Weight: 47 182.13/182.20 c 182.13/182.20 c 182.13/182.20 c ============================[ Search Statistics ]============================== 182.13/182.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.13/182.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.13/182.20 c =============================================================================== 182.13/182.20 c | 0 | 880 4993 20299 | 5000 0 nan | 0.000 % | 182.13/182.21 c =============================================================================== 182.13/182.22 c core #48 182.13/182.22 c 182.13/182.22 c 182.13/182.22 c Core size: 26 Core Weight: 1 Total Weight: 48 182.13/182.22 c 182.13/182.22 c 182.13/182.22 c ============================[ Search Statistics ]============================== 182.13/182.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.13/182.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.13/182.22 c =============================================================================== 182.13/182.22 c | 0 | 910 4999 20898 | 5000 0 nan | 0.000 % | 182.13/182.24 c | 105 | 910 4999 20898 | 5500 105 12 | 3.500 % | 182.13/182.25 c | 257 | 910 4999 20898 | 6050 257 15 | 3.500 % | 182.13/182.26 c =============================================================================== 182.13/182.27 c core #49 182.13/182.27 c 182.13/182.27 c 182.13/182.27 c Core size: 35 Core Weight: 1 Total Weight: 49 182.13/182.27 c 182.13/182.27 c 182.13/182.27 c ============================[ Search Statistics ]============================== 182.13/182.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.13/182.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.13/182.27 c =============================================================================== 182.13/182.27 c | 0 | 943 5004 21487 | 5000 0 nan | 0.000 % | 182.13/182.29 c | 102 | 943 5004 21487 | 5500 102 13 | 2.884 % | 182.23/182.30 c | 252 | 942 5004 21487 | 6050 252 16 | 2.987 % | 182.23/182.30 c =============================================================================== 182.23/182.32 c core #50 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 32 Core Weight: 1 Total Weight: 50 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c ============================[ Search Statistics ]============================== 182.23/182.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.23/182.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.23/182.32 c =============================================================================== 182.23/182.32 c | 0 | 979 5005 22090 | 5000 0 nan | 0.000 % | 182.23/182.33 c | 100 | 978 5005 22090 | 5500 100 18 | 2.396 % | 182.23/182.34 c | 250 | 978 5005 22090 | 6050 250 14 | 2.395 % | 182.23/182.35 c | 476 | 978 5005 22090 | 6655 476 12 | 2.396 % | 182.23/182.38 c | 816 | 978 5005 22090 | 7320 815 13 | 2.395 % | 182.23/182.39 c =============================================================================== 182.33/182.41 c core #51 182.33/182.41 c 182.33/182.41 c 182.33/182.41 c Core size: 43 Core Weight: 1 Total Weight: 51 182.33/182.41 c 182.33/182.41 c 182.33/182.41 c ============================[ Search Statistics ]============================== 182.33/182.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.33/182.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.33/182.41 c =============================================================================== 182.33/182.41 c | 0 | 1018 5006 22168 | 5000 0 nan | 0.000 % | 182.33/182.43 c | 103 | 1018 5006 22168 | 5500 103 17 | 2.210 % | 182.33/182.44 c | 253 | 1018 5006 22168 | 6050 253 15 | 2.210 % | 182.33/182.45 c | 479 | 1018 5006 22168 | 6655 479 14 | 2.210 % | 182.33/182.48 c | 816 | 1014 5006 22168 | 7320 491 13 | 2.595 % | 182.33/182.48 c =============================================================================== 182.44/182.50 c core #52 182.44/182.50 c 182.44/182.50 c 182.44/182.50 c Core size: 47 Core Weight: 1 Total Weight: 52 182.44/182.50 c 182.44/182.50 c 182.44/182.50 c ============================[ Search Statistics ]============================== 182.44/182.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.44/182.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.44/182.50 c =============================================================================== 182.44/182.50 c | 0 | 1061 5007 22680 | 5000 0 nan | 0.000 % | 182.44/182.51 c | 100 | 1061 5007 22680 | 5500 100 17 | 1.759 % | 182.44/182.53 c | 252 | 1057 5007 22680 | 6050 252 16 | 5.278 % | 182.44/182.53 c =============================================================================== 182.44/182.54 c core #53 182.44/182.54 c 182.44/182.54 c 182.44/182.54 c Core size: 47 Core Weight: 1 Total Weight: 53 182.44/182.54 c 182.44/182.54 c 182.44/182.54 c ============================[ Search Statistics ]============================== 182.44/182.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.44/182.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.44/182.54 c =============================================================================== 182.44/182.54 c | 0 | 1096 5010 23065 | 5000 0 nan | 0.000 % | 182.44/182.56 c | 101 | 1096 5010 23065 | 5500 101 15 | 1.439 % | 182.44/182.57 c =============================================================================== 182.44/182.58 c core #54 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 37 Core Weight: 1 Total Weight: 54 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c ============================[ Search Statistics ]============================== 182.44/182.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.44/182.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.44/182.58 c =============================================================================== 182.44/182.58 c | 0 | 1132 5013 23452 | 5000 0 nan | 0.000 % | 182.54/182.60 c | 100 | 1132 5013 23452 | 5500 100 19 | 1.136 % | 182.54/182.61 c | 252 | 1131 5013 23452 | 6050 252 15 | 1.310 % | 182.54/182.65 c | 478 | 1126 5013 23452 | 6655 474 21 | 1.834 % | 182.64/182.71 c | 816 | 1124 5013 23452 | 7320 812 37 | 1.834 % | 182.73/182.82 c | 1324 | 1124 5013 23452 | 8052 1315 51 | 1.834 % | 182.93/183.02 c | 2085 | 1124 5013 23452 | 8857 2076 58 | 1.834 % | 183.23/183.35 c | 3225 | 1123 5013 23452 | 9743 3210 63 | 1.921 % | 183.83/183.93 c | 4934 | 1122 5013 23452 | 10717 4919 67 | 2.009 % | 185.03/185.16 c | 7496 | 1122 5013 23452 | 11789 7479 78 | 2.009 % | 187.43/187.50 c | 11341 | 1119 5013 23452 | 12968 11318 82 | 2.271 % | 190.93/191.09 c | 17108 | 1119 5013 23452 | 14265 10549 95 | 2.271 % | 197.12/197.24 c | 25757 | 1118 5013 23452 | 15692 11933 98 | 2.358 % | 207.22/207.39 c | 38732 | 1118 5013 23452 | 17261 8959 92 | 2.358 % | 219.72/219.89 c =============================================================================== 219.93/220.05 c core #55 219.93/220.05 c 219.93/220.05 c 219.93/220.05 c Core size: 195 Core Weight: 1 Total Weight: 55 219.93/220.05 c 219.93/220.05 c 219.93/220.05 c ============================[ Search Statistics ]============================== 219.93/220.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 219.93/220.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 219.93/220.05 c =============================================================================== 219.93/220.05 c | 0 | 1318 5014 25211 | 5000 0 nan | 0.000 % | 219.93/220.07 c | 101 | 1318 5014 25211 | 5500 101 17 | 0.000 % | 219.93/220.08 c | 252 | 1318 5014 25211 | 6050 252 13 | 0.000 % | 219.93/220.10 c | 478 | 1318 5014 25211 | 6655 478 14 | 0.000 % | 220.02/220.12 c | 819 | 1318 5014 25211 | 7320 819 15 | 0.000 % | 220.02/220.16 c | 1325 | 1313 5014 25211 | 8052 972 15 | 0.380 % | 220.02/220.17 c =============================================================================== 220.11/220.20 c core #56 220.11/220.20 c 220.11/220.20 c 220.11/220.20 c Core size: 44 Core Weight: 1 Total Weight: 56 220.11/220.20 c 220.11/220.20 c 220.11/220.20 c ============================[ Search Statistics ]============================== 220.11/220.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 220.11/220.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 220.11/220.20 c =============================================================================== 220.11/220.20 c | 0 | 1359 5015 25293 | 5000 0 nan | 0.000 % | 220.11/220.22 c | 100 | 1359 5015 25293 | 5500 100 18 | 0.000 % | 220.11/220.24 c | 252 | 1359 5015 25293 | 6050 252 29 | 0.000 % | 220.11/220.29 c | 477 | 1359 5015 25293 | 6655 477 40 | 0.000 % | 220.22/220.37 c | 814 | 1359 5015 25293 | 7320 814 46 | 0.000 % | 220.42/220.50 c | 1323 | 1359 5015 25293 | 8052 1323 60 | 0.000 % | 220.62/220.74 c | 2085 | 1359 5015 25293 | 8857 2085 69 | 0.000 % | 221.02/221.18 c | 3225 | 1359 5015 25293 | 9743 3225 74 | 0.000 % | 221.82/221.91 c | 4933 | 1359 5015 25293 | 10717 4933 77 | 0.000 % | 223.12/223.20 c | 7497 | 1359 5015 25293 | 11789 7497 80 | 0.000 % | 225.01/225.15 c | 11342 | 1359 5015 25293 | 12968 11342 82 | 0.000 % | 228.61/228.79 c | 17110 | 1359 5015 25293 | 14265 10461 92 | 0.000 % | 233.72/233.84 c | 25759 | 1359 5015 25293 | 15692 11855 98 | 0.000 % | 242.71/242.89 c | 38733 | 1359 5015 25293 | 17261 8844 67 | 0.000 % | 257.11/257.25 c | 58194 | 1359 5015 25293 | 18987 10835 86 | 0.000 % | 283.10/283.27 c | 87387 | 1359 5015 25293 | 20886 11175 90 | 0.000 % | 330.89/331.05 c | 131177 | 1359 5015 25293 | 22974 12782 105 | 0.000 % | 413.05/413.23 c | 196861 | 1359 5015 25293 | 25272 20484 105 | 0.000 % | 526.31/526.53 c =============================================================================== 526.61/526.84 c core #57 526.61/526.84 c 526.61/526.84 c 526.61/526.84 c Core size: 51 Core Weight: 1 Total Weight: 57 526.61/526.84 c 526.61/526.84 c 526.61/526.84 c ============================[ Search Statistics ]============================== 526.61/526.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 526.61/526.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 526.61/526.84 c =============================================================================== 526.61/526.84 c | 0 | 1400 5016 25375 | 5000 0 nan | 0.000 % | 526.61/526.88 c | 101 | 1400 5016 25375 | 5500 101 21 | 0.000 % | 526.61/526.89 c | 252 | 1400 5016 25375 | 6050 252 16 | 0.000 % | 526.73/526.91 c | 478 | 1400 5016 25375 | 6655 478 14 | 0.000 % | 526.73/526.93 c | 816 | 1400 5016 25375 | 7320 816 13 | 0.000 % | 526.73/526.98 c | 1322 | 1400 5016 25375 | 8052 1322 14 | 0.000 % | 526.91/527.12 c | 2082 | 1400 5016 25375 | 8857 2082 36 | 0.000 % | 527.22/527.41 c | 3221 | 1400 5016 25375 | 9743 3221 54 | 0.000 % | 527.61/527.84 c | 4930 | 1400 5016 25375 | 10717 4930 61 | 0.000 % | 528.32/528.57 c | 7493 | 1400 5016 25375 | 11789 7493 69 | 0.000 % | 530.32/530.55 c | 11337 | 1400 5016 25375 | 12968 11337 74 | 0.000 % | 533.12/533.37 c | 17104 | 1400 5016 25375 | 14265 10545 79 | 0.000 % | 538.61/538.81 c | 25753 | 1400 5016 25375 | 15692 11990 69 | 0.000 % | 545.91/546.12 c | 38729 | 1400 5016 25375 | 17261 9011 78 | 0.000 % | 559.10/559.31 c | 58190 | 1400 5016 25375 | 18987 10976 89 | 0.000 % | 582.60/582.87 c | 87382 | 1400 5016 25375 | 20886 11347 90 | 0.000 % | 618.88/619.10 c | 131171 | 1400 5016 25375 | 22974 12908 89 | 0.000 % | 676.87/677.10 c | 196857 | 1400 5016 25375 | 25272 20603 103 | 0.000 % | 775.93/776.30 c | 295383 | 1400 5016 25375 | 27799 17184 93 | 0.000 % | 952.58/952.94 c | 443176 | 1400 5016 25375 | 30579 24991 104 | 0.000 % | 1274.48/1275.00 c | 664861 | 1400 5016 25375 | 33637 30305 104 | 0.000 % | 1706.43/1707.03 c | 997387 | 1400 5016 25375 | 37001 27438 103 | 0.000 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680612-1277453125/watcher-2680612-1277453125 -o /tmp/evaluation-result-2680612-1277453125/solver-2680612-1277453125 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680612-1277453125.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.74 3/106 24133 /proc/meminfo: memFree=1866756/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=2908 CPUtime=0 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 308 0 0 0 0 0 0 0 19 0 1 0 120914053 2977792 227 1992294400 134512640 135752675 4287233744 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 727 227 142 303 0 372 0 [startup+0.101488 s] /proc/loadavg: 0.99 0.97 0.74 3/106 24133 /proc/meminfo: memFree=1866756/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=3500 CPUtime=0.09 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 584 0 0 0 9 0 0 0 19 0 1 0 120914053 3584000 453 1992294400 134512640 135752675 4287233744 18446744073709551615 134519011 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 875 453 145 303 0 570 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3500 [startup+0.201507 s] /proc/loadavg: 0.99 0.97 0.74 3/106 24133 /proc/meminfo: memFree=1866756/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=3632 CPUtime=0.19 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 597 0 0 0 19 0 0 0 19 0 1 0 120914053 3719168 466 1992294400 134512640 135752675 4287233744 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 908 466 145 303 0 603 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3632 [startup+0.301525 s] /proc/loadavg: 0.99 0.97 0.74 3/106 24133 /proc/meminfo: memFree=1866756/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=3896 CPUtime=0.29 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 654 0 0 0 29 0 0 0 19 0 1 0 120914053 3989504 523 1992294400 134512640 135752675 4287233744 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 974 523 145 303 0 669 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3896 [startup+0.701595 s] /proc/loadavg: 0.99 0.97 0.74 3/106 24133 /proc/meminfo: memFree=1866756/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=4556 CPUtime=0.69 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 848 0 0 0 68 1 0 0 20 0 1 0 120914053 4665344 717 1992294400 134512640 135752675 4287233744 18446744073709551615 134611746 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 1139 717 145 303 0 834 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4556 [startup+1.50074 s] /proc/loadavg: 0.99 0.97 0.74 2/107 24134 /proc/meminfo: memFree=1863896/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=5760 CPUtime=1.49 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 1136 0 0 0 147 2 0 0 21 0 1 0 120914053 5898240 1005 1992294400 134512640 135752675 4287233744 18446744073709551615 134605200 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 1440 1005 145 303 0 1135 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5760 [startup+3.10102 s] /proc/loadavg: 0.99 0.97 0.74 2/107 24134 /proc/meminfo: memFree=1862036/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=7788 CPUtime=3.09 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 1649 0 0 0 306 3 0 0 25 0 1 0 120914053 7974912 1518 1992294400 134512640 135752675 4287233744 18446744073709551615 134605356 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 1947 1518 145 303 0 1642 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7788 [startup+6.3006 s] /proc/loadavg: 1.07 0.99 0.75 2/107 24134 /proc/meminfo: memFree=1858316/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=11344 CPUtime=6.29 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 2516 0 0 0 623 6 0 0 25 0 1 0 120914053 11616256 2385 1992294400 134512640 135752675 4287233744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 2836 2385 145 303 0 2531 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11344 [startup+12.7007 s] /proc/loadavg: 1.07 0.99 0.75 2/107 24134 /proc/meminfo: memFree=1851868/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=17604 CPUtime=12.69 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 4077 0 0 0 1258 11 0 0 25 0 1 0 120914053 18026496 3946 1992294400 134512640 135752675 4287233744 18446744073709551615 134611655 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 4401 3946 145 303 0 4096 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17604 [startup+25.501 s] /proc/loadavg: 1.05 0.99 0.75 2/107 24134 /proc/meminfo: memFree=1839716/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=29440 CPUtime=25.48 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 7055 0 0 0 2527 21 0 0 25 0 1 0 120914053 30146560 6924 1992294400 134512640 135752675 4287233744 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 7360 6924 145 303 0 7055 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 29440 [startup+51.1016 s] /proc/loadavg: 1.03 0.99 0.76 2/107 24136 /proc/meminfo: memFree=1820124/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=49300 CPUtime=51.07 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 12001 0 0 0 5068 39 0 0 25 0 1 0 120914053 50483200 11870 1992294400 134512640 135752675 4287233744 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 12325 11870 145 303 0 12020 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49300 [startup+102.302 s] /proc/loadavg: 1.01 0.99 0.77 2/107 24136 /proc/meminfo: memFree=1784660/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=84040 CPUtime=102.27 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 20715 0 0 0 10159 68 0 0 25 0 1 0 120914053 86056960 20584 1992294400 134512640 135752675 4287233744 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 21010 20584 145 303 0 20705 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 84040 [startup+162.301 s] /proc/loadavg: 1.00 0.99 0.78 2/107 24138 /proc/meminfo: memFree=1734564/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=134500 CPUtime=162.24 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 33303 0 0 0 16115 109 0 0 25 0 1 0 120914053 137728000 33172 1992294400 134512640 135752675 4287233744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 33625 33172 145 303 0 33320 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 134500 [startup+222.309 s] /proc/loadavg: 1.00 0.99 0.79 2/107 24140 /proc/meminfo: memFree=1712740/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=155744 CPUtime=222.22 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 38644 0 0 0 22080 142 0 0 25 0 1 0 120914053 159481856 38513 1992294400 134512640 135752675 4287233744 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 38936 38513 146 303 0 38631 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 155744 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.80 2/107 24142 /proc/meminfo: memFree=1682856/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=185916 CPUtime=282.2 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 46160 0 0 0 28045 175 0 0 25 0 1 0 120914053 190377984 46029 1992294400 134512640 135752675 4287233744 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 46479 46029 146 303 0 46174 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 185916 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.82 2/107 24144 /proc/meminfo: memFree=1653096/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=215192 CPUtime=342.18 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 53487 0 0 0 34015 203 0 0 25 0 1 0 120914053 220356608 53356 1992294400 134512640 135752675 4287233744 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 53798 53356 146 303 0 53493 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 215192 [startup+402.3 s] /proc/loadavg: 1.00 0.99 0.82 2/107 24144 /proc/meminfo: memFree=1626188/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=242464 CPUtime=402.16 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 60301 0 0 0 39989 227 0 0 25 0 1 0 120914053 248283136 60170 1992294400 134512640 135752675 4287233744 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 60616 60170 146 303 0 60311 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 242464 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.83 2/107 24146 /proc/meminfo: memFree=1598040/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=270172 CPUtime=462.14 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 67250 0 0 0 45962 252 0 0 25 0 1 0 120914053 276656128 67119 1992294400 134512640 135752675 4287233744 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 67543 67119 146 303 0 67238 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 270172 [startup+522.301 s] /proc/loadavg: 1.08 1.00 0.84 2/107 24151 /proc/meminfo: memFree=1521264/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=298128 CPUtime=522.12 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 74232 0 0 0 51935 277 0 0 25 0 1 0 120914053 305283072 74101 1992294400 134512640 135752675 4287233744 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 74532 74101 146 303 0 74227 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 298128 [startup+582.302 s] /proc/loadavg: 1.03 1.00 0.85 2/107 24153 /proc/meminfo: memFree=1500308/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=319236 CPUtime=582.09 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 79499 0 0 0 57897 312 0 0 25 0 1 0 120914053 326897664 79368 1992294400 134512640 135752675 4287233744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 79809 79368 146 303 0 79504 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 319236 [startup+642.301 s] /proc/loadavg: 1.01 1.00 0.85 2/107 24155 /proc/meminfo: memFree=1467200/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=352704 CPUtime=642.08 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 87867 0 0 0 63863 345 0 0 25 0 1 0 120914053 361168896 87736 1992294400 134512640 135752675 4287233744 18446744073709551615 134605486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 88176 87736 146 303 0 87871 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 352704 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 0.87 2/107 24159 /proc/meminfo: memFree=1373828/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=445568 CPUtime=822.01 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 111055 0 0 0 81769 432 0 0 25 0 1 0 120914053 456261632 110924 1992294400 134512640 135752675 4287233744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 111392 110924 146 303 0 111087 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 445568 [startup+882.308 s] /proc/loadavg: 1.00 1.00 0.88 2/107 24161 /proc/meminfo: memFree=1344936/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=474284 CPUtime=882.01 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 118233 0 0 0 87740 461 0 0 25 0 1 0 120914053 485666816 118102 1992294400 134512640 135752675 4287233744 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 118571 118102 146 303 0 118266 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 474284 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.88 2/107 24163 /proc/meminfo: memFree=1317904/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=501484 CPUtime=941.98 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 125035 0 0 0 93713 485 0 0 25 0 1 0 120914053 513519616 124904 1992294400 134512640 135752675 4287233744 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 125371 124904 146 303 0 125066 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 501484 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.89 2/107 24163 /proc/meminfo: memFree=1291492/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=527584 CPUtime=1001.96 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 131561 0 0 0 99684 512 0 0 25 0 1 0 120914053 540246016 131430 1992294400 134512640 135752675 4287233744 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 131896 131430 146 303 0 131591 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 527584 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.89 2/107 24165 /proc/meminfo: memFree=1271156/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=548036 CPUtime=1061.94 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 136666 0 0 0 105661 533 0 0 25 0 1 0 120914053 561188864 136535 1992294400 134512640 135752675 4287233744 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 137009 136535 146 303 0 136704 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 548036 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.90 2/107 24167 /proc/meminfo: memFree=1248960/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=570044 CPUtime=1121.92 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 142173 0 0 0 111635 557 0 0 25 0 1 0 120914053 583725056 142042 1992294400 134512640 135752675 4287233744 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 142511 142042 146 303 0 142206 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 570044 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.90 2/107 24169 /proc/meminfo: memFree=1227632/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=591452 CPUtime=1181.9 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 147500 0 0 0 117610 580 0 0 25 0 1 0 120914053 605646848 147369 1992294400 134512640 135752675 4287233744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 147863 147369 146 303 0 147558 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 591452 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 24171 /proc/meminfo: memFree=1204568/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=614288 CPUtime=1241.88 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 153222 0 0 0 123585 603 0 0 25 0 1 0 120914053 629030912 153091 1992294400 134512640 135752675 4287233744 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 153572 153091 146 303 0 153267 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 614288 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 24171 /proc/meminfo: memFree=1180140/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=639052 CPUtime=1301.86 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 159395 0 0 0 129558 628 0 0 25 0 1 0 120914053 654389248 159264 1992294400 134512640 135752675 4287233744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 159763 159264 146 303 0 159458 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 639052 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 24173 /proc/meminfo: memFree=1152488/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=666200 CPUtime=1361.84 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 166177 0 0 0 135529 655 0 0 25 0 1 0 120914053 682188800 166046 1992294400 134512640 135752675 4287233744 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 166550 166046 146 303 0 166245 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 666200 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 24175 /proc/meminfo: memFree=1125208/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=693304 CPUtime=1421.82 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 172945 0 0 0 141502 680 0 0 25 0 1 0 120914053 709943296 172814 1992294400 134512640 135752675 4287233744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 173326 172814 146 303 0 173021 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 693304 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 24177 /proc/meminfo: memFree=1098052/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=720700 CPUtime=1481.8 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 179817 0 0 0 147474 706 0 0 25 0 1 0 120914053 737996800 179686 1992294400 134512640 135752675 4287233744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 180175 179686 146 303 0 179870 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 720700 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 0.91 2/107 24179 /proc/meminfo: memFree=1072508/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=746020 CPUtime=1541.78 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 186140 0 0 0 153449 729 0 0 25 0 1 0 120914053 763924480 186009 1992294400 134512640 135752675 4287233744 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 186505 186009 146 303 0 186200 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 746020 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 24179 /proc/meminfo: memFree=1051304/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=767240 CPUtime=1601.76 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 191438 0 0 0 159426 750 0 0 25 0 1 0 120914053 785653760 191307 1992294400 134512640 135752675 4287233744 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 191810 191307 146 303 0 191505 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 767240 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 24181 /proc/meminfo: memFree=1026008/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=792316 CPUtime=1661.74 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 197698 0 0 0 165400 774 0 0 25 0 1 0 120914053 811331584 197567 1992294400 134512640 135752675 4287233744 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 198079 197567 146 303 0 197774 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 792316 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 24183 /proc/meminfo: memFree=999224/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=819424 CPUtime=1721.72 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 204471 0 0 0 171372 800 0 0 25 0 1 0 120914053 839090176 204340 1992294400 134512640 135752675 4287233744 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 204856 204340 146 303 0 204551 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 819424 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 24185 /proc/meminfo: memFree=976284/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=841724 CPUtime=1781.7 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 210045 0 0 0 177347 823 0 0 25 0 1 0 120914053 861925376 209914 1992294400 134512640 135752675 4287233744 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 210431 209914 146 303 0 210126 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 841724 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 0.91 2/107 24185 /proc/meminfo: memFree=969464/2059040 swapFree=4136480/4192956 [pid=24133] ppid=24131 vsize=848456 CPUtime=1800.11 /proc/24133/stat : 24133 (wbo1.4b) R 24131 24133 24033 0 -1 4202496 211730 0 0 0 179182 829 0 0 25 0 1 0 120914053 868818944 211599 1992294400 134512640 135752675 4287233744 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24133/statm: 212114 211599 146 303 0 211809 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 848456 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.8 CPU time (s): 1800.21 CPU user time (s): 1791.82 CPU system time (s): 8.38372 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (KiB): 848456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.82 system time used= 8.38373 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 211730 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= 17 involuntary context switches= 6240 runsolver used 2.90856 second user time and 8.58769 second system time The end
Begin job on node012 at 2010-06-25 10:05:25 IDJOB=2680612 IDBENCH=2007 IDSOLVER=1190 FILE ID=node012/2680612-1277453125 PBS_JOBID= 11188146 Free space on /tmp= 62432 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680612-1277453125/watcher-2680612-1277453125 -o /tmp/evaluation-result-2680612-1277453125/solver-2680612-1277453125 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680612-1277453125.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ff9be653d1d3ea3b1a82846016e94df6 RANDOM SEED=1504451790 node012.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.258 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 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.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1867884 kB Buffers: 27700 kB Cached: 62512 kB SwapCached: 8980 kB Active: 18516 kB Inactive: 84756 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1867884 kB SwapTotal: 4192956 kB SwapFree: 4136480 kB Dirty: 2876 kB Writeback: 4 kB AnonPages: 11672 kB Mapped: 8340 kB Slab: 66028 kB PageTables: 4128 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183072 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62428 MiB End job on node012 at 2010-06-25 10:35:28