Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.12 | 1800.74 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_12.opb |
MD5SUM | fe9b3ae0ed0deb400897e8cf071ce6eb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 96 |
Best CPU time to get the best result obtained on this benchmark | 1798.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 95 |
Optimality of the best value was proved | NO |
Number of variables | 1812 |
Total number of constraints | 3443 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 3443 |
Minimum length of a constraint | 16 |
Maximum length of a constraint | 33 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 256 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1307 |
Number of bits of the biggest sum of numbers | 11 |
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-2680721-1277456353.opb. 0.00/0.00 c Instance file HOME/instance-2680721-1277456353.opb 0.00/0.00 c File size is 799598 bytes. 0.09/0.16 c Highest Coefficient sum: 1307 0.09/0.16 c ============================[ Problem Statistics ]============================= 0.09/0.16 c | | 0.09/0.16 c | Parsing time: 0.16 s | 0.09/0.16 c | Number Variables: 1812 | 0.09/0.16 c | Number Clauses: 0 | 0.09/0.16 c | Number Cardinality: 0 | 0.09/0.16 c | Number PB Constraints: 3443 | 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 1812 3443 100760 | 5000 0 nan | 0.000 % | 0.39/0.45 c | 100 | 1812 3443 100760 | 5500 100 27 | 0.000 % | 0.69/0.72 c | 252 | 1812 3443 100760 | 6050 252 27 | 0.000 % | 0.89/0.93 c | 477 | 1812 3443 100760 | 6655 477 27 | 0.000 % | 1.29/1.31 c | 815 | 1812 3443 100760 | 7320 815 27 | 0.000 % | 1.59/1.67 c =============================================================================== 1.59/1.67 c New solution: 142 1.59/1.67 o 142 1.59/1.67 c Elapsed CPU time: 1.65975 s Remaining CPU time: 178.34 s 1.59/1.67 c =============================================================================== 1.59/1.67 c | 1077 | 1812 3444 100768 | 5000 1077 30 | 0.000 % | 1.69/1.77 c | 1178 | 1812 3444 100768 | 5500 1178 29 | 0.000 % | 1.89/1.96 c | 1328 | 1812 3444 100768 | 6050 1328 29 | 0.000 % | 2.29/2.30 c | 1553 | 1812 3444 100768 | 6655 1553 30 | 0.000 % | 2.59/2.68 c | 1891 | 1812 3444 100768 | 7320 1891 30 | 0.000 % | 3.29/3.34 c | 2397 | 1812 3444 100768 | 8052 2397 32 | 0.000 % | 4.30/4.40 c | 3156 | 1812 3444 100768 | 8857 3156 33 | 0.000 % | 5.09/5.13 c =============================================================================== 5.09/5.13 c New solution: 139 5.09/5.13 o 139 5.09/5.13 c Elapsed CPU time: 5.10622 s Remaining CPU time: 174.894 s 5.09/5.13 c =============================================================================== 5.09/5.13 c | 3849 | 1812 3445 100776 | 5000 3849 33 | 0.000 % | 5.29/5.32 c | 3950 | 1812 3445 100776 | 5500 3950 33 | 0.000 % | 5.39/5.49 c | 4100 | 1812 3445 100776 | 6050 4100 33 | 0.000 % | 5.59/5.67 c | 4328 | 1812 3445 100776 | 6655 4328 33 | 0.000 % | 5.69/5.77 c =============================================================================== 5.69/5.77 c New solution: 130 5.69/5.77 o 130 5.69/5.77 c Elapsed CPU time: 5.73613 s Remaining CPU time: 174.264 s 5.69/5.77 c =============================================================================== 5.69/5.77 c | 4389 | 1812 3446 100784 | 5000 4389 33 | 0.000 % | 5.89/5.95 c | 4490 | 1812 3446 100784 | 5500 4490 33 | 0.000 % | 6.09/6.10 c | 4640 | 1802 3446 100784 | 6050 4417 33 | 0.552 % | 6.29/6.36 c | 4866 | 1802 3446 100784 | 6655 4643 33 | 0.552 % | 6.60/6.68 c =============================================================================== 6.60/6.68 c New solution: 116 6.60/6.68 o 116 6.60/6.68 c Elapsed CPU time: 6.65199 s Remaining CPU time: 173.348 s 6.60/6.68 c =============================================================================== 6.60/6.68 c | 5070 | 1802 3447 100792 | 5000 4847 33 | 0.552 % | 6.69/6.78 c | 5170 | 1801 3447 100792 | 5500 4947 33 | 0.662 % | 6.89/6.94 c | 5321 | 1801 3447 100792 | 6050 5098 33 | 0.662 % | 7.09/7.14 c | 5547 | 1801 3447 100792 | 6655 5324 32 | 0.662 % | 7.60/7.69 c | 5886 | 1800 3447 100792 | 7320 5663 33 | 0.662 % | 8.09/8.15 c | 6392 | 1800 3447 100792 | 8052 6169 33 | 0.662 % | 8.98/9.05 c | 7152 | 1800 3447 100792 | 8857 6929 34 | 0.662 % | 10.09/10.10 c | 8291 | 1800 3447 100792 | 9743 7837 33 | 0.662 % | 12.29/12.31 c | 9999 | 1800 3447 100792 | 10717 9545 34 | 0.662 % | 14.58/14.66 c | 12561 | 1800 3447 100792 | 11789 6726 32 | 0.663 % | 19.58/19.60 c | 16405 | 1800 3447 100792 | 12968 10570 36 | 0.662 % | 25.29/25.32 c =============================================================================== 25.29/25.32 c New solution: 108 25.29/25.32 o 108 25.29/25.32 c Elapsed CPU time: 25.2162 s Remaining CPU time: 154.784 s 25.29/25.32 c =============================================================================== 25.29/25.32 c | 20650 | 1800 3448 100800 | 5000 7995 43 | 0.662 % | 25.38/25.46 c | 20751 | 1800 3448 100800 | 5500 4099 44 | 0.662 % | 25.58/25.63 c | 20901 | 1800 3448 100800 | 6050 4249 43 | 0.662 % | 25.78/25.89 c | 21126 | 1800 3448 100800 | 6655 4474 42 | 0.663 % | 26.29/26.33 c | 21463 | 1800 3448 100800 | 7320 4811 42 | 0.662 % | 26.89/26.97 c | 21971 | 1800 3448 100800 | 8052 5319 41 | 0.663 % | 27.78/27.88 c | 22730 | 1800 3448 100800 | 8857 6078 40 | 0.662 % | 28.98/29.10 c | 23871 | 1800 3448 100800 | 9743 7219 39 | 0.662 % | 31.89/31.94 c | 25582 | 1800 3448 100800 | 10717 8930 40 | 0.662 % | 35.68/35.70 c | 28147 | 1800 3448 100800 | 11789 5959 39 | 0.662 % | 41.38/41.40 c | 31991 | 1800 3448 100800 | 12968 9803 38 | 0.662 % | 46.97/47.05 c | 37757 | 1800 3448 100800 | 14265 9011 33 | 0.662 % | 56.37/56.42 c | 46406 | 1800 3448 100800 | 15692 10380 32 | 0.662 % | 80.07/80.11 c | 59380 | 1800 3448 100800 | 17261 15091 44 | 0.662 % | 90.06/90.20 c =============================================================================== 90.06/90.20 c New solution: 105 90.06/90.20 o 105 90.06/90.20 c Elapsed CPU time: 89.8613 s Remaining CPU time: 90.1387 s 90.06/90.20 c =============================================================================== 90.06/90.20 c | 66148 | 1800 3449 100808 | 5000 12812 45 | 0.662 % | 90.26/90.33 c | 66248 | 1800 3449 100808 | 5500 3303 45 | 0.663 % | 90.46/90.52 c | 66399 | 1800 3449 100808 | 6050 3454 45 | 0.662 % | 90.66/90.77 c | 66625 | 1800 3449 100808 | 6655 3680 44 | 0.662 % | 91.06/91.14 c | 66963 | 1800 3449 100808 | 7320 4018 43 | 0.662 % | 91.66/91.71 c | 67469 | 1800 3449 100808 | 8052 4524 43 | 0.662 % | 92.56/92.69 c | 68228 | 1800 3449 100808 | 8857 5283 42 | 0.662 % | 93.56/93.61 c | 69367 | 1800 3449 100808 | 9743 6422 39 | 0.662 % | 96.56/96.69 c | 71077 | 1800 3449 100808 | 10717 8132 38 | 0.662 % | 98.97/99.08 c | 73639 | 1800 3449 100808 | 11789 10694 36 | 0.662 % | 103.76/103.87 c | 77484 | 1800 3449 100808 | 12968 8457 35 | 0.662 % | 109.54/109.69 c | 83252 | 1800 3449 100808 | 14265 7698 32 | 0.662 % | 120.33/120.42 c =============================================================================== 120.33/120.42 c New solution: 101 120.33/120.42 o 101 120.33/120.42 c Elapsed CPU time: 119.947 s Remaining CPU time: 60.0532 s 120.33/120.42 c =============================================================================== 120.33/120.42 c | 90226 | 1800 3450 100816 | 5000 7433 41 | 0.662 % | 120.44/120.53 c | 90326 | 1800 3450 100816 | 5500 3817 39 | 0.662 % | 120.64/120.76 c | 90479 | 1800 3450 100816 | 6050 3970 38 | 0.662 % | 120.94/121.06 c | 90704 | 1800 3450 100816 | 6655 4195 39 | 0.662 % | 121.24/121.39 c | 91041 | 1800 3450 100816 | 7320 4532 38 | 0.663 % | 121.94/122.08 c | 91548 | 1800 3450 100816 | 8052 5039 38 | 0.662 % | 122.74/122.82 c | 92307 | 1800 3450 100816 | 8857 5798 37 | 0.663 % | 124.63/124.70 c | 93447 | 1800 3450 100816 | 9743 6938 37 | 0.662 % | 126.13/126.21 c | 95156 | 1800 3450 100816 | 10717 8647 35 | 0.663 % | 130.13/130.24 c | 97718 | 1800 3450 100816 | 11789 5703 36 | 0.662 % | 135.14/135.29 c | 101562 | 1800 3450 100816 | 12968 9547 37 | 0.662 % | 143.73/143.88 c | 107331 | 1800 3450 100816 | 14265 8419 41 | 0.662 % | 152.12/152.22 c | 115980 | 1800 3450 100816 | 15692 9840 32 | 0.662 % | 174.41/174.58 c | 128955 | 1800 3450 100816 | 17261 14607 40 | 0.662 % | 180.62/180.72 c There are 12 assigned variables. 1 in cost function. 180.92/181.00 c core #1 180.92/181.00 c 180.92/181.00 c 180.92/181.00 c Core size: 8 Core Weight: 1 Total Weight: 1 180.92/181.00 c 180.92/181.00 c 180.92/181.00 c core #2 180.92/181.00 c 180.92/181.00 c 180.92/181.00 c Core size: 8 Core Weight: 1 Total Weight: 2 180.92/181.00 c 180.92/181.00 c 180.92/181.00 c ============================[ Search Statistics ]============================== 180.92/181.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 180.92/181.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 180.92/181.00 c =============================================================================== 180.92/181.00 c | 0 | 1753 3479 88613 | 5000 0 nan | 0.000 % | 180.92/181.01 c =============================================================================== 180.92/181.09 c core #3 180.92/181.09 c 180.92/181.09 c 180.92/181.09 c Core size: 11 Core Weight: 1 Total Weight: 3 180.92/181.09 c 180.92/181.09 c 180.92/181.09 c ============================[ Search Statistics ]============================== 180.92/181.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 180.92/181.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 180.92/181.09 c =============================================================================== 180.92/181.09 c | 0 | 1760 3485 88622 | 5000 0 nan | 0.000 % | 181.02/181.10 c =============================================================================== 181.02/181.18 c core #4 181.02/181.18 c 181.02/181.18 c 181.02/181.18 c Core size: 10 Core Weight: 1 Total Weight: 4 181.02/181.18 c 181.02/181.18 c 181.02/181.18 c ============================[ Search Statistics ]============================== 181.02/181.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.02/181.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.02/181.18 c =============================================================================== 181.02/181.18 c | 0 | 1777 3490 88635 | 5000 0 nan | 0.000 % | 181.12/181.20 c =============================================================================== 181.12/181.27 c core #5 181.12/181.27 c 181.12/181.27 c 181.12/181.27 c Core size: 12 Core Weight: 1 Total Weight: 5 181.12/181.27 c 181.12/181.27 c 181.12/181.27 c ============================[ Search Statistics ]============================== 181.12/181.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.12/181.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.12/181.27 c =============================================================================== 181.12/181.27 c | 0 | 1786 3495 88649 | 5000 0 nan | 0.000 % | 181.22/181.30 c =============================================================================== 181.22/181.38 c core #6 181.22/181.38 c 181.22/181.38 c 181.22/181.38 c Core size: 9 Core Weight: 3 Total Weight: 8 181.22/181.38 c 181.22/181.38 c 181.22/181.38 c ============================[ Search Statistics ]============================== 181.22/181.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.22/181.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.22/181.38 c =============================================================================== 181.22/181.38 c | 0 | 1802 3499 88665 | 5000 0 nan | 0.000 % | 181.32/181.43 c =============================================================================== 181.42/181.51 c core #7 181.42/181.51 c 181.42/181.51 c 181.42/181.51 c Core size: 14 Core Weight: 1 Total Weight: 9 181.42/181.51 c 181.42/181.51 c 181.42/181.51 c ============================[ Search Statistics ]============================== 181.42/181.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.42/181.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.42/181.51 c =============================================================================== 181.42/181.51 c | 0 | 1812 3503 88682 | 5000 0 nan | 0.000 % | 181.51/181.60 c =============================================================================== 181.51/181.67 c core #8 181.51/181.67 c 181.51/181.67 c 181.51/181.67 c Core size: 16 Core Weight: 1 Total Weight: 10 181.51/181.67 c 181.51/181.67 c 181.51/181.67 c ============================[ Search Statistics ]============================== 181.51/181.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.51/181.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.51/181.67 c =============================================================================== 181.51/181.67 c | 0 | 1823 3507 88701 | 5000 0 nan | 0.000 % | 181.71/181.87 c | 102 | 1823 3507 88701 | 5500 102 18 | 2.566 % | 181.91/182.10 c | 252 | 1819 3507 88701 | 6050 252 19 | 3.003 % | 182.01/182.12 c =============================================================================== 182.01/182.19 c core #9 182.01/182.19 c 182.01/182.19 c 182.01/182.19 c Core size: 8 Core Weight: 6 Total Weight: 16 182.01/182.19 c 182.01/182.19 c 182.01/182.19 c ============================[ Search Statistics ]============================== 182.01/182.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.01/182.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.01/182.19 c =============================================================================== 182.01/182.19 c | 0 | 1838 3510 88722 | 5000 0 nan | 0.000 % | 182.21/182.37 c | 101 | 1838 3510 88722 | 5500 101 18 | 1.923 % | 182.42/182.59 c | 251 | 1830 3510 88722 | 6050 251 20 | 2.935 % | 182.52/182.66 c =============================================================================== 182.61/182.73 c core #10 182.61/182.73 c 182.61/182.73 c 182.61/182.73 c Core size: 25 Core Weight: 1 Total Weight: 17 182.61/182.73 c 182.61/182.73 c 182.61/182.73 c ============================[ Search Statistics ]============================== 182.61/182.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.61/182.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.61/182.73 c =============================================================================== 182.61/182.73 c | 0 | 1850 3515 88748 | 5000 0 nan | 0.000 % | 182.81/182.93 c | 100 | 1850 3515 88748 | 5500 100 17 | 1.909 % | 183.01/183.18 c | 252 | 1849 3515 88748 | 6050 252 20 | 1.962 % | 183.31/183.47 c =============================================================================== 183.41/183.55 c core #11 183.41/183.55 c 183.41/183.55 c 183.41/183.55 c Core size: 26 Core Weight: 1 Total Weight: 18 183.41/183.55 c 183.41/183.55 c 183.41/183.55 c ============================[ Search Statistics ]============================== 183.41/183.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.41/183.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.41/183.55 c =============================================================================== 183.41/183.55 c | 0 | 1861 3520 88772 | 5000 0 nan | 0.000 % | 183.62/183.75 c | 100 | 1861 3520 88772 | 5500 100 18 | 1.898 % | 183.92/184.03 c | 250 | 1861 3520 88772 | 6050 250 20 | 1.898 % | 184.31/184.42 c | 475 | 1861 3520 88772 | 6655 475 21 | 1.898 % | 184.72/184.86 c | 812 | 1861 3520 88772 | 7320 812 21 | 1.898 % | 185.51/185.69 c | 1318 | 1850 3520 88772 | 8052 738 21 | 2.478 % | 186.31/186.48 c =============================================================================== 186.41/186.56 c core #12 186.41/186.56 c 186.41/186.56 c 186.41/186.56 c Core size: 19 Core Weight: 1 Total Weight: 19 186.41/186.56 c 186.41/186.56 c 186.41/186.56 c ============================[ Search Statistics ]============================== 186.41/186.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.41/186.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.41/186.56 c =============================================================================== 186.41/186.56 c | 0 | 1865 3523 88778 | 5000 0 nan | 0.000 % | 186.61/186.75 c | 102 | 1865 3523 88778 | 5500 102 19 | 1.894 % | 186.82/186.98 c | 253 | 1865 3523 88778 | 6050 253 20 | 1.894 % | 187.42/187.54 c | 478 | 1864 3523 88778 | 6655 203 21 | 1.947 % | 188.12/188.23 c | 816 | 1864 3523 88778 | 7320 541 28 | 1.947 % | 188.92/189.10 c | 1323 | 1828 3523 88778 | 8052 314 29 | 4.208 % | 189.02/189.19 c =============================================================================== 189.12/189.26 c core #13 189.12/189.26 c 189.12/189.26 c 189.12/189.26 c Core size: 37 Core Weight: 1 Total Weight: 20 189.12/189.26 c 189.12/189.26 c 189.12/189.26 c ============================[ Search Statistics ]============================== 189.12/189.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.12/189.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.12/189.26 c =============================================================================== 189.12/189.26 c | 0 | 1884 3526 88814 | 5000 0 nan | 0.000 % | 189.32/189.46 c | 101 | 1884 3526 88814 | 5500 101 18 | 1.875 % | 189.51/189.69 c | 251 | 1884 3526 88814 | 6050 251 20 | 1.876 % | 189.91/190.01 c | 476 | 1881 3526 88814 | 6655 476 20 | 2.448 % | 190.51/190.62 c | 814 | 1881 3526 88814 | 7320 814 21 | 2.448 % | 191.32/191.43 c | 1320 | 1873 3526 88814 | 8052 1046 22 | 2.448 % | 192.71/192.83 c | 2079 | 1873 3526 88814 | 8857 1805 23 | 2.448 % | 194.71/194.88 c | 3219 | 1873 3526 88814 | 9743 2945 23 | 2.448 % | 197.51/197.68 c | 4929 | 1873 3526 88814 | 10717 4655 23 | 2.448 % | 203.32/203.44 c | 7492 | 1873 3526 88814 | 11789 7218 24 | 2.449 % | 208.21/208.38 c =============================================================================== 208.31/208.46 c core #14 208.31/208.46 c 208.31/208.46 c 208.31/208.46 c Core size: 23 Core Weight: 12 Total Weight: 32 208.31/208.46 c 208.31/208.46 c 208.31/208.46 c ============================[ Search Statistics ]============================== 208.31/208.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 208.31/208.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 208.31/208.46 c =============================================================================== 208.31/208.46 c | 0 | 1898 3528 88844 | 5000 0 nan | 0.000 % | 208.51/208.64 c | 100 | 1898 3528 88844 | 5500 100 20 | 1.249 % | 208.61/208.79 c | 251 | 1890 3528 88844 | 6050 251 19 | 1.821 % | 208.81/208.99 c | 477 | 1889 3528 88844 | 6655 477 18 | 1.821 % | 209.11/209.27 c | 814 | 1887 3528 88844 | 7320 814 19 | 1.821 % | 209.70/209.88 c | 1322 | 1887 3528 88844 | 8052 1321 21 | 1.821 % | 210.50/210.69 c | 2082 | 1887 3528 88844 | 8857 2081 23 | 1.821 % | 211.81/211.97 c | 3222 | 1881 3528 88844 | 9743 1589 22 | 3.694 % | 213.80/213.94 c | 4930 | 1876 3528 88844 | 10717 3297 24 | 4.007 % | 214.00/214.18 c =============================================================================== 214.10/214.24 c core #15 214.10/214.24 c 214.10/214.24 c 214.10/214.24 c Core size: 29 Core Weight: 1 Total Weight: 33 214.10/214.24 c 214.10/214.24 c 214.10/214.24 c ============================[ Search Statistics ]============================== 214.10/214.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.10/214.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.10/214.24 c =============================================================================== 214.10/214.24 c | 0 | 1913 3532 88877 | 5000 0 nan | 0.000 % | 214.31/214.43 c | 100 | 1913 3532 88877 | 5500 100 20 | 1.239 % | 214.60/214.73 c | 250 | 1913 3532 88877 | 6050 250 24 | 1.239 % | 214.90/215.01 c | 476 | 1913 3532 88877 | 6655 476 24 | 1.239 % | 215.51/215.65 c | 813 | 1913 3532 88877 | 7320 813 25 | 1.239 % | 216.40/216.59 c | 1321 | 1913 3532 88877 | 8052 1321 26 | 1.239 % | 217.81/217.96 c | 2081 | 1913 3532 88877 | 8857 2081 27 | 1.239 % | 219.50/219.63 c | 3222 | 1913 3532 88877 | 9743 3222 26 | 1.240 % | 222.01/222.10 c | 4931 | 1906 3532 88877 | 10717 4928 27 | 1.600 % | 225.00/225.11 c | 7493 | 1902 3532 88877 | 11789 3779 25 | 1.807 % | 229.99/230.17 c | 11338 | 1901 3532 88877 | 12968 7624 25 | 1.859 % | 237.30/237.49 c =============================================================================== 237.40/237.57 c core #16 237.40/237.57 c 237.40/237.57 c 237.40/237.57 c Core size: 40 Core Weight: 1 Total Weight: 34 237.40/237.57 c 237.40/237.57 c 237.40/237.57 c ============================[ Search Statistics ]============================== 237.40/237.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 237.40/237.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 237.40/237.57 c =============================================================================== 237.40/237.57 c | 0 | 1934 3537 88924 | 5000 0 nan | 0.000 % | 237.59/237.75 c | 101 | 1934 3537 88924 | 5500 101 19 | 1.226 % | 237.79/237.99 c | 251 | 1934 3537 88924 | 6050 251 20 | 1.226 % | 238.09/238.25 c | 476 | 1934 3537 88924 | 6655 476 22 | 1.226 % | 238.50/238.63 c | 814 | 1934 3537 88924 | 7320 814 23 | 1.226 % | 239.19/239.32 c | 1320 | 1934 3537 88924 | 8052 1320 23 | 1.226 % | 240.30/240.48 c | 2079 | 1934 3537 88924 | 8857 2079 25 | 1.226 % | 241.69/241.85 c | 3219 | 1934 3537 88924 | 9743 3219 25 | 1.226 % | 243.70/243.87 c | 4928 | 1933 3537 88924 | 10717 2577 25 | 1.277 % | 246.10/246.20 c | 7490 | 1932 3537 88924 | 11789 5139 25 | 1.329 % | 246.99/247.15 c =============================================================================== 247.09/247.24 c core #17 247.09/247.24 c 247.09/247.24 c 247.09/247.24 c Core size: 46 Core Weight: 1 Total Weight: 35 247.09/247.24 c 247.09/247.24 c 247.09/247.24 c ============================[ Search Statistics ]============================== 247.09/247.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 247.09/247.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 247.09/247.24 c =============================================================================== 247.09/247.24 c | 0 | 1958 3542 88977 | 5000 0 nan | 0.000 % | 247.29/247.40 c | 100 | 1958 3542 88977 | 5500 100 18 | 1.211 % | 247.49/247.64 c | 250 | 1958 3542 88977 | 6050 250 16 | 1.211 % | 247.89/248.06 c | 476 | 1958 3542 88977 | 6655 476 21 | 1.211 % | 248.29/248.45 c | 813 | 1958 3542 88977 | 7320 813 23 | 1.211 % | 248.99/249.18 c | 1319 | 1958 3542 88977 | 8052 1319 24 | 1.211 % | 250.09/250.24 c | 2078 | 1958 3542 88977 | 8857 2078 25 | 1.211 % | 251.49/251.67 c | 3218 | 1958 3542 88977 | 9743 3218 25 | 1.211 % | 253.69/253.85 c | 4927 | 1958 3542 88977 | 10717 4927 26 | 1.211 % | 257.79/257.91 c | 7490 | 1958 3542 88977 | 11789 7490 27 | 1.211 % | 263.49/263.65 c | 11334 | 1958 3542 88977 | 12968 11334 27 | 1.211 % | 272.38/272.59 c | 17101 | 1957 3542 88977 | 14265 6683 27 | 1.262 % | 283.59/283.77 c | 25752 | 1951 3542 88977 | 15692 8064 27 | 1.564 % | 305.68/305.81 c | 38726 | 1951 3542 88977 | 17261 13091 32 | 1.564 % | 333.27/333.47 c | 58188 | 1951 3542 88977 | 18987 14996 32 | 1.564 % | 373.55/373.79 c | 87380 | 1924 3542 88977 | 20886 7056 27 | 2.926 % | 398.74/398.97 c =============================================================================== 398.94/399.19 c core #18 398.94/399.19 c 398.94/399.19 c 398.94/399.19 c Core size: 25 Core Weight: 3 Total Weight: 38 398.94/399.19 c 398.94/399.19 c 398.94/399.19 c ============================[ Search Statistics ]============================== 398.94/399.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 398.94/399.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 398.94/399.19 c =============================================================================== 398.94/399.19 c | 0 | 1961 3544 88982 | 5000 0 nan | 0.000 % | 399.15/399.37 c | 100 | 1961 3544 88982 | 5500 100 25 | 1.209 % | 399.34/399.56 c | 251 | 1961 3544 88982 | 6050 251 25 | 1.209 % | 399.54/399.71 c | 476 | 1961 3544 88982 | 6655 476 26 | 1.209 % | 399.74/399.92 c | 813 | 1961 3544 88982 | 7320 813 24 | 1.209 % | 400.44/400.63 c | 1320 | 1961 3544 88982 | 8052 1320 26 | 1.209 % | 400.95/401.18 c | 2080 | 1961 3544 88982 | 8857 2080 25 | 1.209 % | 402.45/402.65 c | 3220 | 1961 3544 88982 | 9743 3220 28 | 1.209 % | 403.84/404.01 c | 4929 | 1961 3544 88982 | 10717 4929 26 | 1.209 % | 407.64/407.84 c | 7491 | 1961 3544 88982 | 11789 7491 29 | 1.209 % | 411.44/411.60 c | 11335 | 1961 3544 88982 | 12968 11335 28 | 1.209 % | 419.13/419.32 c | 17105 | 1961 3544 88982 | 14265 10528 28 | 1.209 % | 429.83/430.09 c | 25755 | 1961 3544 88982 | 15692 11723 31 | 1.209 % | 443.52/443.76 c | 38730 | 1944 3544 88982 | 17261 13136 32 | 2.066 % | 467.42/467.69 c | 58191 | 1943 3544 88982 | 18987 14216 32 | 2.116 % | 475.72/475.91 c =============================================================================== 475.91/476.16 c core #19 475.91/476.16 c 475.91/476.16 c 475.91/476.16 c Core size: 32 Core Weight: 1 Total Weight: 39 475.91/476.16 c 475.91/476.16 c 475.91/476.16 c ============================[ Search Statistics ]============================== 475.91/476.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 475.91/476.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 475.91/476.16 c =============================================================================== 475.91/476.16 c | 0 | 1971 3546 89001 | 5000 0 nan | 0.000 % | 476.12/476.37 c | 100 | 1971 3546 89001 | 5500 100 20 | 1.203 % | 476.31/476.55 c | 252 | 1971 3546 89001 | 6050 252 19 | 1.203 % | 476.61/476.85 c | 478 | 1971 3546 89001 | 6655 478 18 | 1.203 % | 477.01/477.23 c | 815 | 1971 3546 89001 | 7320 815 19 | 1.203 % | 477.61/477.82 c | 1321 | 1971 3546 89001 | 8052 1321 22 | 1.203 % | 478.42/478.66 c | 2080 | 1971 3546 89001 | 8857 2080 23 | 1.203 % | 479.82/480.07 c | 3219 | 1971 3546 89001 | 9743 3219 24 | 1.203 % | 481.81/482.07 c | 4928 | 1971 3546 89001 | 10717 4928 25 | 1.203 % | 485.81/486.10 c | 7490 | 1971 3546 89001 | 11789 7490 26 | 1.203 % | 490.71/490.99 c | 11335 | 1971 3546 89001 | 12968 11335 26 | 1.204 % | 500.91/501.17 c | 17103 | 1971 3546 89001 | 14265 10336 27 | 1.203 % | 517.10/517.32 c | 25752 | 1971 3546 89001 | 15692 11652 30 | 1.203 % | 539.29/539.58 c | 38726 | 1971 3546 89001 | 17261 8269 29 | 1.203 % | 575.88/576.14 c | 58187 | 1971 3546 89001 | 18987 10278 31 | 1.203 % | 629.66/629.97 c | 87379 | 1971 3546 89001 | 20886 10286 31 | 1.203 % | 694.45/694.75 c | 131168 | 1971 3546 89001 | 22974 11698 27 | 1.203 % | 817.01/817.37 c | 196852 | 1934 3546 89001 | 25272 15634 30 | 3.058 % | 998.84/999.23 c | 295379 | 1934 3546 89001 | 27799 17576 30 | 3.058 % | 1260.85/1261.36 c | 443169 | 1934 3546 89001 | 30579 22156 34 | 3.058 % | 1487.18/1487.78 c =============================================================================== 1488.18/1488.72 c core #20 1488.18/1488.72 c 1488.18/1488.72 c 1488.18/1488.72 c Core size: 44 Core Weight: 1 Total Weight: 40 1488.18/1488.72 c 1488.18/1488.72 c 1488.18/1488.72 c ============================[ Search Statistics ]============================== 1488.18/1488.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 1488.18/1488.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1488.18/1488.72 c =============================================================================== 1488.18/1488.72 c | 0 | 1996 3548 89050 | 5000 0 nan | 0.000 % | 1488.38/1488.92 c | 100 | 1996 3548 89050 | 5500 100 22 | 1.188 % | 1488.58/1489.13 c | 252 | 1996 3548 89050 | 6050 252 23 | 1.188 % | 1488.79/1489.39 c | 478 | 1996 3548 89050 | 6655 478 24 | 1.188 % | 1489.18/1489.74 c | 815 | 1996 3548 89050 | 7320 815 22 | 1.189 % | 1489.88/1490.46 c | 1322 | 1996 3548 89050 | 8052 1322 24 | 1.188 % | 1490.78/1491.33 c | 2081 | 1996 3548 89050 | 8857 2081 24 | 1.188 % | 1492.18/1492.75 c | 3220 | 1996 3548 89050 | 9743 3220 26 | 1.188 % | 1493.67/1494.28 c | 4928 | 1996 3548 89050 | 10717 4928 26 | 1.189 % | 1496.58/1497.11 c | 7490 | 1996 3548 89050 | 11789 7490 26 | 1.188 % | 1500.99/1501.54 c | 11336 | 1996 3548 89050 | 12968 11336 26 | 1.188 % | 1509.27/1509.81 c | 17105 | 1996 3548 89050 | 14265 10450 28 | 1.188 % | 1520.86/1521.46 c | 25755 | 1996 3548 89050 | 15692 11771 29 | 1.188 % | 1536.37/1536.91 c | 38732 | 1976 3548 89050 | 17261 12488 27 | 2.178 % | 1559.76/1560.38 c | 58196 | 1976 3548 89050 | 18987 14574 29 | 2.178 % | 1596.74/1597.32 c | 87389 | 1976 3548 89050 | 20886 14896 27 | 2.178 % | 1668.13/1668.72 c | 131181 | 1976 3548 89050 | 22974 15810 29 | 2.178 % | 1778.78/1779.43 c | 196867 | 1976 3548 89050 | 25272 21548 31 | 2.178 % |
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-2680721-1277456353/watcher-2680721-1277456353 -o /tmp/evaluation-result-2680721-1277456353/solver-2680721-1277456353 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680721-1277456353.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.94 3/106 19850 /proc/meminfo: memFree=1853476/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=3356 CPUtime=0 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 293 0 0 0 0 0 0 0 25 0 1 0 119287179 3436544 211 1992294400 134512640 135752675 4290580960 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 839 211 139 303 0 338 0 [startup+0.0310351 s] /proc/loadavg: 1.00 1.00 0.94 3/106 19850 /proc/meminfo: memFree=1853476/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=3888 CPUtime=0.02 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 432 0 0 0 2 0 0 0 25 0 1 0 119287179 3981312 350 1992294400 134512640 135752675 4290580960 18446744073709551615 135380673 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 972 350 165 303 0 471 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3888 [startup+0.101046 s] /proc/loadavg: 1.00 1.00 0.94 3/106 19850 /proc/meminfo: memFree=1853476/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=5356 CPUtime=0.09 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 882 0 0 0 9 0 0 0 25 0 1 0 119287179 5484544 800 1992294400 134512640 135752675 4290580960 18446744073709551615 134559808 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 1339 800 250 303 0 838 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5356 [startup+0.301083 s] /proc/loadavg: 1.00 1.00 0.94 3/106 19850 /proc/meminfo: memFree=1853476/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=6024 CPUtime=0.29 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 1382 0 0 0 29 0 0 0 18 0 1 0 119287179 6168576 1077 1992294400 134512640 135752675 4290580960 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 1506 1077 143 303 0 1201 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6024 [startup+0.701155 s] /proc/loadavg: 1.00 1.00 0.94 3/106 19850 /proc/meminfo: memFree=1853476/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=6024 CPUtime=0.69 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 1383 0 0 0 69 0 0 0 18 0 1 0 119287179 6168576 1078 1992294400 134512640 135752675 4290580960 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 1506 1078 144 303 0 1201 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6024 [startup+1.5013 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19851 /proc/meminfo: memFree=1849500/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=6156 CPUtime=1.49 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 1401 0 0 0 148 1 0 0 19 0 1 0 119287179 6303744 1096 1992294400 134512640 135752675 4290580960 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 1539 1096 144 303 0 1234 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6156 [startup+3.10159 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19851 /proc/meminfo: memFree=1849376/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=6420 CPUtime=3.09 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 1478 0 0 0 308 1 0 0 20 0 1 0 119287179 6574080 1173 1992294400 134512640 135752675 4290580960 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 1605 1173 144 303 0 1300 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6420 [startup+6.30117 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19851 /proc/meminfo: memFree=1848508/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=7080 CPUtime=6.29 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 1628 0 0 0 626 3 0 0 25 0 1 0 119287179 7249920 1323 1992294400 134512640 135752675 4290580960 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 1770 1323 144 303 0 1465 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7080 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19851 /proc/meminfo: memFree=1847268/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=8424 CPUtime=12.69 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 1951 0 0 0 1264 5 0 0 25 0 1 0 119287179 8626176 1646 1992294400 134512640 135752675 4290580960 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 2106 1646 144 303 0 1801 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8424 [startup+25.5007 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19853 /proc/meminfo: memFree=1844540/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=10948 CPUtime=25.48 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 2590 0 0 0 2539 9 0 0 25 0 1 0 119287179 11210752 2285 1992294400 134512640 135752675 4290580960 18446744073709551615 134605515 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 2737 2285 145 303 0 2432 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 10948 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19853 /proc/meminfo: memFree=1840200/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=15436 CPUtime=51.08 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 3703 0 0 0 5090 18 0 0 25 0 1 0 119287179 15806464 3398 1992294400 134512640 135752675 4290580960 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 3859 3398 145 303 0 3554 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 15436 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19855 /proc/meminfo: memFree=1831644/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=23752 CPUtime=102.26 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 5796 0 0 0 10191 35 0 0 25 0 1 0 119287179 24322048 5491 1992294400 134512640 135752675 4290580960 18446744073709551615 134605363 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 5938 5491 145 303 0 5633 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 23752 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19864 /proc/meminfo: memFree=1821228/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=33788 CPUtime=162.22 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 8322 0 0 0 16164 58 0 0 25 0 1 0 119287179 34598912 8017 1992294400 134512640 135752675 4290580960 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 8447 8017 145 303 0 8142 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 33788 [startup+222.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19866 /proc/meminfo: memFree=1815028/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=39916 CPUtime=222.2 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 9836 0 0 0 22147 73 0 0 25 0 1 0 119287179 40873984 9531 1992294400 134512640 135752675 4290580960 18446744073709551615 134611663 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 9979 9531 146 303 0 9674 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 39916 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19868 /proc/meminfo: memFree=1810564/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=44356 CPUtime=282.18 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 10966 0 0 0 28127 91 0 0 25 0 1 0 119287179 45420544 10661 1992294400 134512640 135752675 4290580960 18446744073709551615 134616067 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 11089 10661 146 303 0 10784 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 44356 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19870 /proc/meminfo: memFree=1803992/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=51000 CPUtime=342.16 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 12599 0 0 0 34107 109 0 0 25 0 1 0 119287179 52224000 12294 1992294400 134512640 135752675 4290580960 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 12750 12294 146 303 0 12445 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 51000 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19872 /proc/meminfo: memFree=1792460/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=62400 CPUtime=402.14 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 15458 0 0 0 40082 132 0 0 25 0 1 0 119287179 63897600 15153 1992294400 134512640 135752675 4290580960 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 15600 15153 146 303 0 15295 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 62400 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19872 /proc/meminfo: memFree=1788492/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=66496 CPUtime=462.12 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 16480 0 0 0 46060 152 0 0 25 0 1 0 119287179 68091904 16175 1992294400 134512640 135752675 4290580960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 16624 16175 146 303 0 16319 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 66496 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19874 /proc/meminfo: memFree=1784028/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=70772 CPUtime=522.1 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 17564 0 0 0 52041 169 0 0 25 0 1 0 119287179 72470528 17259 1992294400 134512640 135752675 4290580960 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 17693 17259 146 303 0 17388 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 70772 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19876 /proc/meminfo: memFree=1778820/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=75948 CPUtime=582.08 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 18837 0 0 0 58022 186 0 0 25 0 1 0 119287179 77770752 18532 1992294400 134512640 135752675 4290580960 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 18987 18532 146 303 0 18682 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 75948 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19878 /proc/meminfo: memFree=1772620/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=82000 CPUtime=642.07 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 20341 0 0 0 64004 203 0 0 25 0 1 0 119287179 83968000 20036 1992294400 134512640 135752675 4290580960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 20500 20036 146 303 0 20195 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 82000 [startup+702.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 1.01 1.01 0.94 2/107 19884 /proc/meminfo: memFree=1745588/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=108836 CPUtime=881.98 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 27062 0 0 0 87926 272 0 0 25 0 1 0 119287179 111448064 26757 1992294400 134512640 135752675 4290580960 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 27209 26757 146 303 0 26904 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 108836 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19886 /proc/meminfo: memFree=1739636/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=114780 CPUtime=941.97 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 28533 0 0 0 93910 287 0 0 25 0 1 0 119287179 117534720 28228 1992294400 134512640 135752675 4290580960 18446744073709551615 134605381 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 28695 28228 146 303 0 28390 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 114780 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19888 /proc/meminfo: memFree=1733808/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=120592 CPUtime=1001.94 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 29994 0 0 0 99892 302 0 0 25 0 1 0 119287179 123486208 29689 1992294400 134512640 135752675 4290580960 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 30148 29689 146 303 0 29843 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 120592 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19888 /proc/meminfo: memFree=1726244/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=128148 CPUtime=1061.92 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 31874 0 0 0 105874 318 0 0 25 0 1 0 119287179 131223552 31569 1992294400 134512640 135752675 4290580960 18446744073709551615 134637650 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 32037 31569 146 303 0 31732 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 128148 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19890 /proc/meminfo: memFree=1718928/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=135292 CPUtime=1121.9 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 33654 0 0 0 111855 335 0 0 25 0 1 0 119287179 138539008 33349 1992294400 134512640 135752675 4290580960 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 33823 33349 146 303 0 33518 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 135292 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19892 /proc/meminfo: memFree=1712852/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=141372 CPUtime=1181.88 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 35189 0 0 0 117838 350 0 0 25 0 1 0 119287179 144764928 34884 1992294400 134512640 135752675 4290580960 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 35343 34884 146 303 0 35038 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 141372 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19894 /proc/meminfo: memFree=1705412/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=148632 CPUtime=1241.86 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 37006 0 0 0 123820 366 0 0 25 0 1 0 119287179 152199168 36701 1992294400 134512640 135752675 4290580960 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 37158 36701 146 303 0 36853 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 148632 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19896 /proc/meminfo: memFree=1697972/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=156036 CPUtime=1301.85 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 38835 0 0 0 129799 386 0 0 25 0 1 0 119287179 159780864 38530 1992294400 134512640 135752675 4290580960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 39009 38530 146 303 0 38704 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 156036 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19896 /proc/meminfo: memFree=1691028/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=162944 CPUtime=1361.82 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 40576 0 0 0 135779 403 0 0 25 0 1 0 119287179 166854656 40271 1992294400 134512640 135752675 4290580960 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 40736 40271 146 303 0 40431 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 162944 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19898 /proc/meminfo: memFree=1683712/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=170072 CPUtime=1421.81 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 42365 0 0 0 141760 421 0 0 25 0 1 0 119287179 174153728 42060 1992294400 134512640 135752675 4290580960 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 42518 42060 146 303 0 42213 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 170072 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19900 /proc/meminfo: memFree=1677388/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=176544 CPUtime=1481.78 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 43950 0 0 0 147743 435 0 0 25 0 1 0 119287179 180781056 43645 1992294400 134512640 135752675 4290580960 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 44136 43645 146 303 0 43831 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 176544 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19902 /proc/meminfo: memFree=1671808/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=181820 CPUtime=1541.76 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 45329 0 0 0 153721 455 0 0 25 0 1 0 119287179 186183680 44993 1992294400 134512640 135752675 4290580960 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 45455 44993 146 303 0 45150 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 181820 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19904 /proc/meminfo: memFree=1671808/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=181820 CPUtime=1601.74 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 45334 0 0 0 159700 474 0 0 25 0 1 0 119287179 186183680 44998 1992294400 134512640 135752675 4290580960 18446744073709551615 134605363 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 45455 44998 146 303 0 45150 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 181820 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19904 /proc/meminfo: memFree=1670320/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=183416 CPUtime=1661.72 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 45761 0 0 0 165684 488 0 0 25 0 1 0 119287179 187817984 45425 1992294400 134512640 135752675 4290580960 18446744073709551615 134605356 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 45854 45425 146 303 0 45549 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 183416 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19906 /proc/meminfo: memFree=1665360/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=188312 CPUtime=1721.7 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 46964 0 0 0 171668 502 0 0 25 0 1 0 119287179 192831488 46628 1992294400 134512640 135752675 4290580960 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 47078 46628 146 303 0 46773 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 188312 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19908 /proc/meminfo: memFree=1659780/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=193464 CPUtime=1781.68 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 48273 0 0 0 177650 518 0 0 25 0 1 0 119287179 198107136 47937 1992294400 134512640 135752675 4290580960 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 48366 47937 146 303 0 48061 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 193464 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19908 /proc/meminfo: memFree=1658416/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=194928 CPUtime=1800.09 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 48621 0 0 0 179485 524 0 0 25 0 1 0 119287179 199606272 48285 1992294400 134512640 135752675 4290580960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 48732 48285 146 303 0 48427 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 194928 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.94 2/107 19908 /proc/meminfo: memFree=1658416/2059040 swapFree=4136184/4192956 [pid=19850] ppid=19848 vsize=194928 CPUtime=1800.09 /proc/19850/stat : 19850 (wbo1.4b) R 19848 19850 19605 0 -1 4202496 48621 0 0 0 179485 524 0 0 25 0 1 0 119287179 199606272 48285 1992294400 134512640 135752675 4290580960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19850/statm: 48732 48285 146 303 0 48427 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 194928 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.74 CPU time (s): 1800.12 CPU user time (s): 1794.86 CPU system time (s): 5.2652 CPU usage (%): 99.9657 Max. virtual memory (cumulated for all children) (KiB): 194928 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.86 system time used= 5.2652 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48621 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= 18 involuntary context switches= 4663 runsolver used 3.46647 second user time and 9.13261 second system time The end
Begin job on node027 at 2010-06-25 10:59:13 IDJOB=2680721 IDBENCH=2636 IDSOLVER=1190 FILE ID=node027/2680721-1277456353 PBS_JOBID= 11188137 Free space on /tmp= 62032 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_12.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680721-1277456353/watcher-2680721-1277456353 -o /tmp/evaluation-result-2680721-1277456353/solver-2680721-1277456353 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680721-1277456353.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fe9b3ae0ed0deb400897e8cf071ce6eb RANDOM SEED=385676921 node027.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 : 2800.261 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 : 5600.52 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 : 2800.261 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: 1854004 kB Buffers: 19456 kB Cached: 94728 kB SwapCached: 9196 kB Active: 10452 kB Inactive: 116840 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1854004 kB SwapTotal: 4192956 kB SwapFree: 4136184 kB Dirty: 3368 kB Writeback: 0 kB AnonPages: 11756 kB Mapped: 8412 kB Slab: 55596 kB PageTables: 4132 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183828 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62028 MiB End job on node027 at 2010-06-25 11:29:16