Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.11 | 1800.63 |
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.01 c wbo 1.4 beta - 20100517 0.00/0.01 c Parsing opb file format. File HOME/instance-2656078-1276588072.opb. 0.00/0.01 c Instance file HOME/instance-2656078-1276588072.opb 0.00/0.01 c File size is 799598 bytes. 0.09/0.13 c Highest Coefficient sum: 1307 0.09/0.13 c ============================[ Problem Statistics ]============================= 0.09/0.13 c | | 0.09/0.13 c | Parsing time: 0.12 s | 0.09/0.13 c | Number Variables: 1812 | 0.09/0.13 c | Number Clauses: 0 | 0.09/0.13 c | Number Cardinality: 0 | 0.09/0.13 c | Number PB Constraints: 3443 | 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 1812 3443 100760 | 5000 0 nan | 0.000 % | 0.29/0.39 c | 100 | 1812 3443 100760 | 5500 100 27 | 0.000 % | 0.59/0.63 c | 252 | 1812 3443 100760 | 6050 252 27 | 0.000 % | 0.79/0.82 c | 477 | 1812 3443 100760 | 6655 477 27 | 0.000 % | 1.10/1.17 c | 815 | 1812 3443 100760 | 7320 815 27 | 0.000 % | 1.49/1.50 c =============================================================================== 1.49/1.50 c New solution: 142 1.49/1.50 o 142 1.49/1.50 c Elapsed CPU time: 1.49977 s Remaining CPU time: 178.5 s 1.49/1.50 c =============================================================================== 1.49/1.50 c | 1077 | 1812 3444 100768 | 5000 1077 30 | 0.000 % | 1.49/1.59 c | 1178 | 1812 3444 100768 | 5500 1178 29 | 0.000 % | 1.69/1.76 c | 1328 | 1812 3444 100768 | 6050 1328 29 | 0.000 % | 1.99/2.08 c | 1553 | 1812 3444 100768 | 6655 1553 30 | 0.000 % | 2.38/2.44 c | 1891 | 1812 3444 100768 | 7320 1891 30 | 0.000 % | 2.98/3.05 c | 2397 | 1812 3444 100768 | 8052 2397 32 | 0.000 % | 3.99/4.02 c | 3156 | 1812 3444 100768 | 8857 3156 33 | 0.000 % | 4.59/4.68 c =============================================================================== 4.59/4.68 c New solution: 139 4.59/4.68 o 139 4.59/4.68 c Elapsed CPU time: 4.67029 s Remaining CPU time: 175.33 s 4.59/4.68 c =============================================================================== 4.59/4.68 c | 3849 | 1812 3445 100776 | 5000 3849 33 | 0.000 % | 4.79/4.85 c | 3950 | 1812 3445 100776 | 5500 3950 33 | 0.000 % | 4.99/5.02 c | 4100 | 1812 3445 100776 | 6050 4100 33 | 0.000 % | 5.08/5.18 c | 4328 | 1812 3445 100776 | 6655 4328 33 | 0.000 % | 5.18/5.27 c =============================================================================== 5.18/5.27 c New solution: 130 5.18/5.27 o 130 5.18/5.27 c Elapsed CPU time: 5.2522 s Remaining CPU time: 174.748 s 5.18/5.27 c =============================================================================== 5.18/5.27 c | 4389 | 1812 3446 100784 | 5000 4389 33 | 0.000 % | 5.40/5.45 c | 4490 | 1812 3446 100784 | 5500 4490 33 | 0.000 % | 5.50/5.58 c | 4640 | 1802 3446 100784 | 6050 4417 33 | 0.552 % | 5.79/5.82 c | 4866 | 1802 3446 100784 | 6655 4643 33 | 0.552 % | 6.09/6.12 c =============================================================================== 6.09/6.12 c New solution: 116 6.09/6.12 o 116 6.09/6.12 c Elapsed CPU time: 6.09607 s Remaining CPU time: 173.904 s 6.09/6.12 c =============================================================================== 6.09/6.12 c | 5070 | 1802 3447 100792 | 5000 4847 33 | 0.552 % | 6.19/6.21 c | 5170 | 1801 3447 100792 | 5500 4947 33 | 0.662 % | 6.29/6.36 c | 5321 | 1801 3447 100792 | 6050 5098 33 | 0.662 % | 6.49/6.54 c | 5547 | 1801 3447 100792 | 6655 5324 32 | 0.662 % | 6.98/7.05 c | 5886 | 1800 3447 100792 | 7320 5663 33 | 0.662 % | 7.39/7.48 c | 6392 | 1800 3447 100792 | 8052 6169 33 | 0.662 % | 8.29/8.31 c | 7152 | 1800 3447 100792 | 8857 6929 34 | 0.662 % | 9.19/9.28 c | 8291 | 1800 3447 100792 | 9743 7837 33 | 0.662 % | 11.28/11.32 c | 9999 | 1800 3447 100792 | 10717 9545 34 | 0.662 % | 13.38/13.49 c | 12561 | 1800 3447 100792 | 11789 6726 32 | 0.663 % | 17.99/18.05 c | 16405 | 1800 3447 100792 | 12968 10570 36 | 0.662 % | 23.29/23.38 c =============================================================================== 23.29/23.38 c New solution: 108 23.29/23.38 o 108 23.29/23.38 c Elapsed CPU time: 23.2965 s Remaining CPU time: 156.704 s 23.29/23.38 c =============================================================================== 23.29/23.38 c | 20650 | 1800 3448 100800 | 5000 7995 43 | 0.662 % | 23.49/23.52 c | 20751 | 1800 3448 100800 | 5500 4099 44 | 0.662 % | 23.59/23.67 c | 20901 | 1800 3448 100800 | 6050 4249 43 | 0.662 % | 23.89/23.91 c | 21126 | 1800 3448 100800 | 6655 4474 42 | 0.663 % | 24.28/24.32 c | 21463 | 1800 3448 100800 | 7320 4811 42 | 0.662 % | 24.88/24.91 c | 21971 | 1800 3448 100800 | 8052 5319 41 | 0.663 % | 25.69/25.75 c | 22730 | 1800 3448 100800 | 8857 6078 40 | 0.662 % | 26.78/26.87 c | 23871 | 1800 3448 100800 | 9743 7219 39 | 0.662 % | 29.48/29.52 c | 25582 | 1800 3448 100800 | 10717 8930 40 | 0.662 % | 32.99/33.02 c | 28147 | 1800 3448 100800 | 11789 5959 39 | 0.662 % | 38.28/38.33 c | 31991 | 1800 3448 100800 | 12968 9803 38 | 0.662 % | 43.58/43.60 c | 37757 | 1800 3448 100800 | 14265 9011 33 | 0.662 % | 52.27/52.39 c | 46406 | 1800 3448 100800 | 15692 10380 32 | 0.662 % | 74.58/74.62 c | 59380 | 1800 3448 100800 | 17261 15091 44 | 0.662 % | 83.97/84.09 c =============================================================================== 83.97/84.09 c New solution: 105 83.97/84.09 o 105 83.97/84.09 c Elapsed CPU time: 83.7993 s Remaining CPU time: 96.2007 s 83.97/84.09 c =============================================================================== 83.97/84.09 c | 66148 | 1800 3449 100808 | 5000 12812 45 | 0.662 % | 84.17/84.22 c | 66248 | 1800 3449 100808 | 5500 3303 45 | 0.663 % | 84.37/84.40 c | 66399 | 1800 3449 100808 | 6050 3454 45 | 0.662 % | 84.58/84.63 c | 66625 | 1800 3449 100808 | 6655 3680 44 | 0.662 % | 84.87/84.97 c | 66963 | 1800 3449 100808 | 7320 4018 43 | 0.662 % | 85.47/85.50 c | 67469 | 1800 3449 100808 | 8052 4524 43 | 0.662 % | 86.37/86.41 c | 68228 | 1800 3449 100808 | 8857 5283 42 | 0.662 % | 87.17/87.25 c | 69367 | 1800 3449 100808 | 9743 6422 39 | 0.662 % | 90.07/90.11 c | 71077 | 1800 3449 100808 | 10717 8132 38 | 0.662 % | 92.17/92.30 c | 73639 | 1800 3449 100808 | 11789 10694 36 | 0.662 % | 96.68/96.74 c | 77484 | 1800 3449 100808 | 12968 8457 35 | 0.662 % | 102.07/102.12 c | 83252 | 1800 3449 100808 | 14265 7698 32 | 0.662 % | 112.07/112.10 c =============================================================================== 112.07/112.10 c New solution: 101 112.07/112.10 o 101 112.07/112.10 c Elapsed CPU time: 111.712 s Remaining CPU time: 68.288 s 112.07/112.10 c =============================================================================== 112.07/112.10 c | 90226 | 1800 3450 100816 | 5000 7433 41 | 0.662 % | 112.18/112.21 c | 90326 | 1800 3450 100816 | 5500 3817 39 | 0.662 % | 112.37/112.42 c | 90479 | 1800 3450 100816 | 6050 3970 38 | 0.662 % | 112.67/112.70 c | 90704 | 1800 3450 100816 | 6655 4195 39 | 0.662 % | 112.97/113.00 c | 91041 | 1800 3450 100816 | 7320 4532 38 | 0.663 % | 113.57/113.64 c | 91548 | 1800 3450 100816 | 8052 5039 38 | 0.662 % | 114.27/114.32 c | 92307 | 1800 3450 100816 | 8857 5798 37 | 0.663 % | 115.97/116.06 c | 93447 | 1800 3450 100816 | 9743 6938 37 | 0.662 % | 117.36/117.45 c | 95156 | 1800 3450 100816 | 10717 8647 35 | 0.663 % | 121.16/121.20 c | 97718 | 1800 3450 100816 | 11789 5703 36 | 0.662 % | 125.87/125.92 c | 101562 | 1800 3450 100816 | 12968 9547 37 | 0.662 % | 133.87/133.95 c | 107331 | 1800 3450 100816 | 14265 8419 41 | 0.662 % | 141.66/141.72 c | 115980 | 1800 3450 100816 | 15692 9840 32 | 0.662 % | 162.45/162.59 c | 128955 | 1800 3450 100816 | 17261 14607 40 | 0.662 % | 180.55/180.64 c There are 12 assigned variables. 1 in cost function. 180.85/180.92 c core #1 180.85/180.92 c core #2 180.85/180.92 c ============================[ Search Statistics ]============================== 180.85/180.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 180.85/180.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 180.85/180.92 c =============================================================================== 180.85/180.92 c | 0 | 1753 3480 88613 | 5000 0 nan | 0.000 % | 180.85/180.94 c =============================================================================== 180.95/181.01 c core #3 180.95/181.01 c ============================[ Search Statistics ]============================== 180.95/181.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 180.95/181.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 180.95/181.01 c =============================================================================== 180.95/181.01 c | 0 | 1760 3486 88622 | 5000 0 nan | 0.000 % | 180.95/181.02 c =============================================================================== 180.95/181.07 c core #4 180.95/181.07 c ============================[ Search Statistics ]============================== 180.95/181.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 180.95/181.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 180.95/181.07 c =============================================================================== 180.95/181.07 c | 0 | 1777 3491 88635 | 5000 0 nan | 0.000 % | 181.05/181.11 c =============================================================================== 181.05/181.19 c core #5 181.05/181.19 c ============================[ Search Statistics ]============================== 181.05/181.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.05/181.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.05/181.19 c =============================================================================== 181.05/181.19 c | 0 | 1786 3496 88649 | 5000 0 nan | 0.000 % | 181.15/181.22 c =============================================================================== 181.15/181.27 c core #6 181.15/181.27 c ============================[ Search Statistics ]============================== 181.15/181.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.15/181.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.15/181.27 c =============================================================================== 181.15/181.27 c | 0 | 1802 3500 88665 | 5000 0 nan | 0.000 % | 181.25/181.34 c =============================================================================== 181.36/181.41 c core #7 181.36/181.41 c ============================[ Search Statistics ]============================== 181.36/181.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.36/181.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.36/181.41 c =============================================================================== 181.36/181.41 c | 0 | 1812 3504 88682 | 5000 0 nan | 0.000 % | 181.36/181.50 c =============================================================================== 181.45/181.55 c core #8 181.45/181.55 c ============================[ Search Statistics ]============================== 181.45/181.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.45/181.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.45/181.55 c =============================================================================== 181.45/181.55 c | 0 | 1823 3508 88701 | 5000 0 nan | 0.000 % | 181.65/181.76 c | 102 | 1823 3508 88701 | 5500 102 18 | 2.566 % | 181.84/181.98 c | 252 | 1819 3508 88701 | 6050 252 19 | 3.003 % | 181.94/182.00 c =============================================================================== 181.94/182.07 c core #9 181.94/182.07 c ============================[ Search Statistics ]============================== 181.94/182.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.94/182.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.94/182.07 c =============================================================================== 181.94/182.07 c | 0 | 1838 3511 88722 | 5000 0 nan | 0.000 % | 182.14/182.24 c | 101 | 1838 3511 88722 | 5500 101 18 | 1.923 % | 182.35/182.46 c | 251 | 1830 3511 88722 | 6050 251 20 | 2.935 % | 182.46/182.52 c =============================================================================== 182.46/182.57 c core #10 182.46/182.57 c ============================[ Search Statistics ]============================== 182.46/182.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.46/182.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.46/182.57 c =============================================================================== 182.46/182.57 c | 0 | 1850 3516 88748 | 5000 0 nan | 0.000 % | 182.65/182.79 c | 100 | 1850 3516 88748 | 5500 100 17 | 1.909 % | 182.95/183.02 c | 252 | 1849 3516 88748 | 6050 252 20 | 1.962 % | 183.25/183.31 c =============================================================================== 183.25/183.38 c core #11 183.25/183.38 c ============================[ Search Statistics ]============================== 183.25/183.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.25/183.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.25/183.38 c =============================================================================== 183.25/183.38 c | 0 | 1861 3521 88772 | 5000 0 nan | 0.000 % | 183.45/183.57 c | 100 | 1861 3521 88772 | 5500 100 18 | 1.898 % | 183.75/183.84 c | 250 | 1861 3521 88772 | 6050 250 20 | 1.898 % | 184.14/184.21 c | 475 | 1861 3521 88772 | 6655 475 21 | 1.898 % | 184.54/184.63 c | 812 | 1861 3521 88772 | 7320 812 21 | 1.898 % | 185.34/185.44 c | 1318 | 1850 3521 88772 | 8052 738 21 | 2.478 % | 186.15/186.20 c =============================================================================== 186.15/186.25 c core #12 186.15/186.25 c ============================[ Search Statistics ]============================== 186.15/186.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.15/186.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.15/186.25 c =============================================================================== 186.15/186.25 c | 0 | 1865 3524 88778 | 5000 0 nan | 0.000 % | 186.35/186.45 c | 102 | 1865 3524 88778 | 5500 102 19 | 1.894 % | 186.55/186.67 c | 253 | 1865 3524 88778 | 6050 253 20 | 1.894 % | 187.15/187.21 c | 478 | 1864 3524 88778 | 6655 203 21 | 1.947 % | 187.75/187.86 c | 816 | 1864 3524 88778 | 7320 541 28 | 1.947 % | 188.64/188.70 c | 1323 | 1828 3524 88778 | 8052 314 29 | 4.208 % | 188.64/188.79 c =============================================================================== 188.74/188.86 c core #13 188.74/188.86 c ============================[ Search Statistics ]============================== 188.74/188.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.74/188.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.74/188.86 c =============================================================================== 188.74/188.86 c | 0 | 1884 3527 88814 | 5000 0 nan | 0.000 % | 188.94/189.05 c | 101 | 1884 3527 88814 | 5500 101 18 | 1.875 % | 189.15/189.27 c | 251 | 1884 3527 88814 | 6050 251 20 | 1.876 % | 189.44/189.58 c | 476 | 1881 3527 88814 | 6655 476 20 | 2.448 % | 190.05/190.16 c | 814 | 1881 3527 88814 | 7320 814 21 | 2.448 % | 190.84/190.94 c | 1320 | 1873 3527 88814 | 8052 1046 22 | 2.448 % | 192.14/192.28 c | 2079 | 1873 3527 88814 | 8857 1805 23 | 2.448 % | 194.14/194.25 c | 3219 | 1873 3527 88814 | 9743 2945 23 | 2.448 % | 196.85/196.94 c | 4929 | 1873 3527 88814 | 10717 4655 23 | 2.448 % | 202.35/202.48 c | 7492 | 1873 3527 88814 | 11789 7218 24 | 2.449 % | 207.14/207.25 c =============================================================================== 207.24/207.30 c core #14 207.24/207.30 c ============================[ Search Statistics ]============================== 207.24/207.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.24/207.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.24/207.30 c =============================================================================== 207.24/207.30 c | 0 | 1898 3529 88844 | 5000 0 nan | 0.000 % | 207.34/207.49 c | 100 | 1898 3529 88844 | 5500 100 20 | 1.249 % | 207.54/207.63 c | 251 | 1890 3529 88844 | 6050 251 19 | 1.821 % | 207.74/207.82 c | 477 | 1889 3529 88844 | 6655 477 18 | 1.821 % | 207.94/208.08 c | 814 | 1887 3529 88844 | 7320 814 19 | 1.821 % | 208.54/208.65 c | 1322 | 1887 3529 88844 | 8052 1321 21 | 1.821 % | 209.34/209.41 c | 2082 | 1887 3529 88844 | 8857 2081 23 | 1.821 % | 210.54/210.62 c | 3222 | 1881 3529 88844 | 9743 1589 22 | 3.694 % | 212.34/212.49 c | 4930 | 1876 3529 88844 | 10717 3297 24 | 4.007 % | 212.64/212.72 c =============================================================================== 212.64/212.77 c core #15 212.64/212.77 c ============================[ Search Statistics ]============================== 212.64/212.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.64/212.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.64/212.77 c =============================================================================== 212.64/212.77 c | 0 | 1913 3533 88877 | 5000 0 nan | 0.000 % | 212.84/212.96 c | 100 | 1913 3533 88877 | 5500 100 20 | 1.239 % | 213.14/213.24 c | 250 | 1913 3533 88877 | 6050 250 24 | 1.239 % | 213.44/213.51 c | 476 | 1913 3533 88877 | 6655 476 24 | 1.239 % | 214.04/214.12 c | 813 | 1913 3533 88877 | 7320 813 25 | 1.239 % | 214.93/215.00 c | 1321 | 1913 3533 88877 | 8052 1321 26 | 1.239 % | 216.24/216.31 c | 2081 | 1913 3533 88877 | 8857 2081 27 | 1.239 % | 217.74/217.90 c | 3222 | 1913 3533 88877 | 9743 3222 26 | 1.240 % | 220.14/220.26 c | 4931 | 1906 3533 88877 | 10717 4928 27 | 1.600 % | 223.03/223.13 c | 7493 | 1902 3533 88877 | 11789 3779 25 | 1.807 % | 227.83/227.95 c | 11338 | 1901 3533 88877 | 12968 7624 25 | 1.859 % | 234.83/234.95 c =============================================================================== 234.94/235.02 c core #16 234.94/235.02 c ============================[ Search Statistics ]============================== 234.94/235.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.94/235.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.94/235.02 c =============================================================================== 234.94/235.02 c | 0 | 1934 3538 88924 | 5000 0 nan | 0.000 % | 235.04/235.19 c | 101 | 1934 3538 88924 | 5500 101 19 | 1.226 % | 235.24/235.39 c | 251 | 1934 3538 88924 | 6050 251 20 | 1.226 % | 235.53/235.62 c | 476 | 1934 3538 88924 | 6655 476 22 | 1.226 % | 235.83/235.94 c | 814 | 1934 3538 88924 | 7320 814 23 | 1.226 % | 236.44/236.54 c | 1320 | 1934 3538 88924 | 8052 1320 23 | 1.226 % | 237.44/237.55 c | 2079 | 1934 3538 88924 | 8857 2079 25 | 1.226 % | 238.63/238.73 c | 3219 | 1934 3538 88924 | 9743 3219 25 | 1.226 % | 240.33/240.46 c | 4928 | 1933 3538 88924 | 10717 2577 25 | 1.277 % | 242.33/242.45 c | 7490 | 1932 3538 88924 | 11789 5139 25 | 1.329 % | 243.13/243.27 c =============================================================================== 243.23/243.35 c core #17 243.23/243.35 c ============================[ Search Statistics ]============================== 243.23/243.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 243.23/243.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 243.23/243.35 c =============================================================================== 243.23/243.35 c | 0 | 1958 3543 88977 | 5000 0 nan | 0.000 % | 243.42/243.50 c | 100 | 1958 3543 88977 | 5500 100 18 | 1.211 % | 243.62/243.73 c | 250 | 1958 3543 88977 | 6050 250 16 | 1.211 % | 244.04/244.13 c | 476 | 1958 3543 88977 | 6655 476 21 | 1.211 % | 244.43/244.51 c | 813 | 1958 3543 88977 | 7320 813 23 | 1.211 % | 245.14/245.20 c | 1319 | 1958 3543 88977 | 8052 1319 24 | 1.211 % | 246.13/246.23 c | 2078 | 1958 3543 88977 | 8857 2078 25 | 1.211 % | 247.52/247.62 c | 3218 | 1958 3543 88977 | 9743 3218 25 | 1.211 % | 249.64/249.73 c | 4927 | 1958 3543 88977 | 10717 4927 26 | 1.211 % | 253.53/253.64 c | 7490 | 1958 3543 88977 | 11789 7490 27 | 1.211 % | 259.13/259.20 c | 11334 | 1958 3543 88977 | 12968 11334 27 | 1.211 % | 267.73/267.87 c | 17101 | 1957 3543 88977 | 14265 6683 27 | 1.262 % | 278.52/278.64 c | 25752 | 1951 3543 88977 | 15692 8064 27 | 1.564 % | 299.91/300.05 c | 38726 | 1951 3543 88977 | 17261 13091 32 | 1.564 % | 327.01/327.17 c | 58188 | 1951 3543 88977 | 18987 14996 32 | 1.564 % | 366.69/366.82 c | 87380 | 1924 3543 88977 | 20886 7056 27 | 2.926 % | 391.39/391.51 c =============================================================================== 391.58/391.72 c core #18 391.58/391.72 c ============================[ Search Statistics ]============================== 391.58/391.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 391.58/391.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 391.58/391.72 c =============================================================================== 391.58/391.72 c | 0 | 1961 3545 88982 | 5000 0 nan | 0.000 % | 391.68/391.88 c | 100 | 1961 3545 88982 | 5500 100 25 | 1.209 % | 391.88/392.05 c | 251 | 1961 3545 88982 | 6050 251 25 | 1.209 % | 391.98/392.19 c | 476 | 1961 3545 88982 | 6655 476 26 | 1.209 % | 392.18/392.36 c | 813 | 1961 3545 88982 | 7320 813 24 | 1.209 % | 392.88/393.00 c | 1320 | 1961 3545 88982 | 8052 1320 26 | 1.209 % | 393.28/393.48 c | 2080 | 1961 3545 88982 | 8857 2080 25 | 1.209 % | 394.69/394.83 c | 3220 | 1961 3545 88982 | 9743 3220 28 | 1.209 % | 395.88/396.05 c | 4929 | 1961 3545 88982 | 10717 4929 26 | 1.209 % | 399.38/399.56 c | 7491 | 1961 3545 88982 | 11789 7491 29 | 1.209 % | 402.88/403.03 c | 11335 | 1961 3545 88982 | 12968 11335 28 | 1.209 % | 409.97/410.14 c | 17105 | 1961 3545 88982 | 14265 10528 28 | 1.209 % | 419.98/420.10 c | 25755 | 1961 3545 88982 | 15692 11723 31 | 1.209 % | 432.67/432.80 c | 38730 | 1944 3545 88982 | 17261 13136 32 | 2.066 % | 454.96/455.10 c | 58191 | 1943 3545 88982 | 18987 14216 32 | 2.116 % | 462.66/462.83 c =============================================================================== 462.86/463.06 c core #19 462.86/463.06 c ============================[ Search Statistics ]============================== 462.86/463.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 462.86/463.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 462.86/463.06 c =============================================================================== 462.86/463.06 c | 0 | 1971 3547 89001 | 5000 0 nan | 0.000 % | 463.06/463.26 c | 100 | 1971 3547 89001 | 5500 100 20 | 1.203 % | 463.25/463.42 c | 252 | 1971 3547 89001 | 6050 252 19 | 1.203 % | 463.55/463.70 c | 478 | 1971 3547 89001 | 6655 478 18 | 1.203 % | 463.85/464.04 c | 815 | 1971 3547 89001 | 7320 815 19 | 1.203 % | 464.35/464.59 c | 1321 | 1971 3547 89001 | 8052 1321 22 | 1.203 % | 465.16/465.36 c | 2080 | 1971 3547 89001 | 8857 2080 23 | 1.203 % | 466.45/466.66 c | 3219 | 1971 3547 89001 | 9743 3219 24 | 1.203 % | 468.37/468.50 c | 4928 | 1971 3547 89001 | 10717 4928 25 | 1.203 % | 472.05/472.24 c | 7490 | 1971 3547 89001 | 11789 7490 26 | 1.203 % | 476.55/476.76 c | 11335 | 1971 3547 89001 | 12968 11335 26 | 1.204 % | 486.06/486.25 c | 17103 | 1971 3547 89001 | 14265 10336 27 | 1.203 % | 501.15/501.31 c | 25752 | 1971 3547 89001 | 15692 11652 30 | 1.203 % | 521.83/522.08 c | 38726 | 1971 3547 89001 | 17261 8269 29 | 1.203 % | 556.12/556.39 c | 58187 | 1971 3547 89001 | 18987 10278 31 | 1.203 % | 606.51/606.79 c | 87379 | 1971 3547 89001 | 20886 10286 31 | 1.203 % | 667.09/667.35 c | 131168 | 1971 3547 89001 | 22974 11698 27 | 1.203 % | 782.05/782.32 c | 196852 | 1934 3547 89001 | 25272 15634 30 | 3.058 % | 952.80/953.19 c | 295379 | 1934 3547 89001 | 27799 17576 30 | 3.058 % | 1199.33/1199.76 c | 443169 | 1934 3547 89001 | 30579 22156 34 | 3.058 % | 1411.98/1412.45 c =============================================================================== 1412.87/1413.34 c core #20 1412.87/1413.34 c ============================[ Search Statistics ]============================== 1412.87/1413.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 1412.87/1413.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1412.87/1413.34 c =============================================================================== 1412.87/1413.34 c | 0 | 1996 3549 89050 | 5000 0 nan | 0.000 % | 1412.98/1413.50 c | 100 | 1996 3549 89050 | 5500 100 22 | 1.188 % | 1413.17/1413.67 c | 252 | 1996 3549 89050 | 6050 252 23 | 1.188 % | 1413.37/1413.89 c | 478 | 1996 3549 89050 | 6655 478 24 | 1.188 % | 1413.67/1414.16 c | 815 | 1996 3549 89050 | 7320 815 22 | 1.189 % | 1414.27/1414.79 c | 1322 | 1996 3549 89050 | 8052 1322 24 | 1.188 % | 1415.07/1415.53 c | 2081 | 1996 3549 89050 | 8857 2081 24 | 1.188 % | 1416.28/1416.73 c | 3220 | 1996 3549 89050 | 9743 3220 26 | 1.188 % | 1417.56/1418.02 c | 4928 | 1996 3549 89050 | 10717 4928 26 | 1.189 % | 1419.97/1420.49 c | 7490 | 1996 3549 89050 | 11789 7490 26 | 1.188 % | 1423.86/1424.37 c | 11336 | 1996 3549 89050 | 12968 11336 26 | 1.188 % | 1431.26/1431.75 c | 17105 | 1996 3549 89050 | 14265 10450 28 | 1.188 % | 1441.57/1442.05 c | 25755 | 1996 3549 89050 | 15692 11771 29 | 1.188 % | 1455.26/1455.70 c | 38732 | 1976 3549 89050 | 17261 12488 27 | 2.178 % | 1476.25/1476.75 c | 58196 | 1976 3549 89050 | 18987 14574 29 | 2.178 % | 1509.64/1510.10 c | 87389 | 1976 3549 89050 | 20886 14896 27 | 2.178 % | 1574.32/1574.87 c | 131181 | 1976 3549 89050 | 22974 15810 29 | 2.178 % | 1674.41/1674.94 c | 196867 | 1976 3549 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-2656078-1276588072/watcher-2656078-1276588072 -o /tmp/evaluation-result-2656078-1276588072/solver-2656078-1276588072 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656078-1276588072.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.00 0.00 0.00 3/106 2337 /proc/meminfo: memFree=1701408/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=3492 CPUtime=0 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 308 0 0 0 0 0 0 0 21 0 1 0 101027 3575808 227 1992294400 134512640 135751879 4293277408 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 873 227 146 303 0 372 0 [startup+0.0894089 s] /proc/loadavg: 0.00 0.00 0.00 3/106 2337 /proc/meminfo: memFree=1701408/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=5492 CPUtime=0.08 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 937 0 0 0 8 0 0 0 21 0 1 0 101027 5623808 856 1992294400 134512640 135751879 4293277408 18446744073709551615 135204090 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 1373 856 265 303 0 872 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5492 [startup+0.100409 s] /proc/loadavg: 0.00 0.00 0.00 3/106 2337 /proc/meminfo: memFree=1701408/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=5784 CPUtime=0.09 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 1025 0 0 0 9 0 0 0 21 0 1 0 101027 5922816 944 1992294400 134512640 135751879 4293277408 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 1446 944 282 303 0 945 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5784 [startup+0.300414 s] /proc/loadavg: 0.00 0.00 0.00 3/106 2337 /proc/meminfo: memFree=1701408/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=6028 CPUtime=0.29 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 1384 0 0 0 29 0 0 0 22 0 1 0 101027 6172672 1080 1992294400 134512640 135751879 4293277408 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 1507 1080 146 303 0 1202 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6028 [startup+0.700425 s] /proc/loadavg: 0.00 0.00 0.00 3/106 2337 /proc/meminfo: memFree=1701408/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=6028 CPUtime=0.69 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 1385 0 0 0 69 0 0 0 24 0 1 0 101027 6172672 1081 1992294400 134512640 135751879 4293277408 18446744073709551615 134518784 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 1507 1081 147 303 0 1202 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6028 [startup+1.50045 s] /proc/loadavg: 0.00 0.00 0.00 2/107 2338 /proc/meminfo: memFree=1697308/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=6160 CPUtime=1.49 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 1415 0 0 0 149 0 0 0 25 0 1 0 101027 6307840 1111 1992294400 134512640 135751879 4293277408 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 1540 1111 147 303 0 1235 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6160 [startup+3.10149 s] /proc/loadavg: 0.00 0.00 0.00 2/107 2338 /proc/meminfo: memFree=1696936/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=6556 CPUtime=3.09 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 1493 0 0 0 308 1 0 0 20 0 1 0 101027 6713344 1189 1992294400 134512640 135751879 4293277408 18446744073709551615 134611192 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 1639 1189 147 303 0 1334 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6556 [startup+6.30158 s] /proc/loadavg: 0.08 0.02 0.01 2/107 2338 /proc/meminfo: memFree=1696068/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=7216 CPUtime=6.29 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 1655 0 0 0 627 2 0 0 18 0 1 0 101027 7389184 1351 1992294400 134512640 135751879 4293277408 18446744073709551615 134611210 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 1804 1351 147 303 0 1499 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7216 [startup+12.7007 s] /proc/loadavg: 0.15 0.03 0.01 2/107 2338 /proc/meminfo: memFree=1694580/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=8560 CPUtime=12.69 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 2015 0 0 0 1264 5 0 0 25 0 1 0 101027 8765440 1711 1992294400 134512640 135751879 4293277408 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 2140 1711 148 303 0 1835 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8560 [startup+25.5011 s] /proc/loadavg: 0.34 0.08 0.02 2/107 2338 /proc/meminfo: memFree=1691852/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=11348 CPUtime=25.49 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 2682 0 0 0 2540 9 0 0 25 0 1 0 101027 11620352 2378 1992294400 134512640 135751879 4293277408 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 2837 2378 148 303 0 2532 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11348 [startup+51.1006 s] /proc/loadavg: 0.56 0.15 0.05 2/107 2340 /proc/meminfo: memFree=1687016/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=16100 CPUtime=51.08 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 3891 0 0 0 5091 17 0 0 25 0 1 0 101027 16486400 3587 1992294400 134512640 135751879 4293277408 18446744073709551615 134611204 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 4025 3587 148 303 0 3720 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 16100 [startup+102.308 s] /proc/loadavg: 0.81 0.28 0.10 2/107 2340 /proc/meminfo: memFree=1677716/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=25212 CPUtime=102.28 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 6159 0 0 0 10194 34 0 0 25 0 1 0 101027 25817088 5855 1992294400 134512640 135751879 4293277408 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 6303 5855 148 303 0 5998 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 25212 [startup+162.301 s] /proc/loadavg: 0.93 0.41 0.15 2/107 2342 /proc/meminfo: memFree=1667300/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=35640 CPUtime=162.25 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 8756 0 0 0 16172 53 0 0 25 0 1 0 101027 36495360 8452 1992294400 134512640 135751879 4293277408 18446744073709551615 134611078 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 8910 8452 148 303 0 8605 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 35640 [startup+222.301 s] /proc/loadavg: 0.97 0.51 0.20 2/107 2344 /proc/meminfo: memFree=1661224/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=41588 CPUtime=222.23 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 10256 0 0 0 22151 72 0 0 25 0 1 0 101027 42586112 9952 1992294400 134512640 135751879 4293277408 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 10397 9952 151 303 0 10092 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 41588 [startup+282.3 s] /proc/loadavg: 0.99 0.60 0.25 2/107 2346 /proc/meminfo: memFree=1658000/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=45028 CPUtime=282.22 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 11111 0 0 0 28132 90 0 0 25 0 1 0 101027 46108672 10807 1992294400 134512640 135751879 4293277408 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 11257 10807 151 303 0 10952 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 45028 [startup+342.3 s] /proc/loadavg: 0.99 0.67 0.29 2/107 2348 /proc/meminfo: memFree=1650808/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=51984 CPUtime=342.2 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 12866 0 0 0 34110 110 0 0 25 0 1 0 101027 53231616 12562 1992294400 134512640 135751879 4293277408 18446744073709551615 134611204 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 12996 12562 151 303 0 12691 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 51984 [startup+402.3 s] /proc/loadavg: 0.99 0.73 0.33 2/107 2348 /proc/meminfo: memFree=1640392/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=62472 CPUtime=402.17 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 15460 0 0 0 40087 130 0 0 25 0 1 0 101027 63971328 15156 1992294400 134512640 135751879 4293277408 18446744073709551615 134620485 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 15618 15156 151 303 0 15313 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 62472 [startup+462.301 s] /proc/loadavg: 0.99 0.77 0.37 2/107 2350 /proc/meminfo: memFree=1634564/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=68040 CPUtime=462.15 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 16876 0 0 0 46064 151 0 0 25 0 1 0 101027 69672960 16572 1992294400 134512640 135751879 4293277408 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 17010 16572 151 303 0 16705 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 68040 [startup+522.301 s] /proc/loadavg: 0.99 0.81 0.41 2/107 2352 /proc/meminfo: memFree=1630224/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=72348 CPUtime=522.13 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 17939 0 0 0 52047 166 0 0 25 0 1 0 101027 74084352 17635 1992294400 134512640 135751879 4293277408 18446744073709551615 134518816 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 18087 17635 151 303 0 17782 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 72348 [startup+582.301 s] /proc/loadavg: 0.99 0.84 0.44 2/107 2354 /proc/meminfo: memFree=1624768/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=77800 CPUtime=582.11 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 19306 0 0 0 58029 182 0 0 25 0 1 0 101027 79667200 19002 1992294400 134512640 135751879 4293277408 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 19450 19002 151 303 0 19145 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 77800 [startup+642.301 s] /proc/loadavg: 0.99 0.87 0.47 2/107 2356 /proc/meminfo: memFree=1617204/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=85192 CPUtime=642.1 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 21165 0 0 0 64012 198 0 0 25 0 1 0 101027 87236608 20861 1992294400 134512640 135751879 4293277408 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 21298 20861 151 303 0 20993 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 85192 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 0.93 0.56 2/107 2369 /proc/meminfo: memFree=1595388/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=106184 CPUtime=822.04 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 26398 0 0 0 81955 249 0 0 25 0 1 0 101027 108732416 26094 1992294400 134512640 135751879 4293277408 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 26546 26094 151 303 0 26241 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 106184 [startup+882.301 s] /proc/loadavg: 1.00 0.94 0.59 2/107 2371 /proc/meminfo: memFree=1588568/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=112924 CPUtime=882.02 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 28102 0 0 0 87937 265 0 0 25 0 1 0 101027 115634176 27798 1992294400 134512640 135751879 4293277408 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 28231 27798 151 303 0 27926 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 112924 [startup+942.301 s] /proc/loadavg: 1.00 0.95 0.61 2/107 2373 /proc/meminfo: memFree=1582616/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=119004 CPUtime=942.01 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 29597 0 0 0 93922 279 0 0 25 0 1 0 101027 121860096 29293 1992294400 134512640 135751879 4293277408 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 29751 29293 151 303 0 29446 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 119004 [startup+1002.3 s] /proc/loadavg: 1.00 0.95 0.63 2/107 2373 /proc/meminfo: memFree=1574680/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=126852 CPUtime=1002 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 31571 0 0 0 99904 296 0 0 25 0 1 0 101027 129896448 31267 1992294400 134512640 135751879 4293277408 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 31713 31267 151 303 0 31408 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 126852 [startup+1062.3 s] /proc/loadavg: 1.00 0.96 0.65 2/107 2375 /proc/meminfo: memFree=1567240/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=134508 CPUtime=1061.98 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 33466 0 0 0 105887 311 0 0 25 0 1 0 101027 137736192 33162 1992294400 134512640 135751879 4293277408 18446744073709551615 134616382 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 33627 33162 151 303 0 33322 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 134508 [startup+1122.3 s] /proc/loadavg: 1.00 0.97 0.67 2/107 2377 /proc/meminfo: memFree=1560668/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=141008 CPUtime=1121.97 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 35092 0 0 0 111867 330 0 0 25 0 1 0 101027 144392192 34788 1992294400 134512640 135751879 4293277408 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 35252 34788 151 303 0 34947 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 141008 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.69 2/107 2379 /proc/meminfo: memFree=1552856/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=148796 CPUtime=1181.94 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 37022 0 0 0 117849 345 0 0 25 0 1 0 101027 152367104 36718 1992294400 134512640 135751879 4293277408 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 37199 36718 151 303 0 36894 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 148796 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.70 2/107 2381 /proc/meminfo: memFree=1545044/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=156472 CPUtime=1241.92 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 38943 0 0 0 123827 365 0 0 25 0 1 0 101027 160227328 38639 1992294400 134512640 135751879 4293277408 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 39118 38639 151 303 0 38813 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 156472 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 0.72 2/107 2381 /proc/meminfo: memFree=1537356/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=163864 CPUtime=1301.91 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 40802 0 0 0 129811 380 0 0 25 0 1 0 101027 167796736 40498 1992294400 134512640 135751879 4293277408 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 40966 40498 151 303 0 40661 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 163864 [startup+1362.3 s] /proc/loadavg: 1.00 0.97 0.74 2/107 2383 /proc/meminfo: memFree=1529668/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=171652 CPUtime=1361.88 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 42739 0 0 0 135790 398 0 0 25 0 1 0 101027 175771648 42435 1992294400 134512640 135751879 4293277408 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 42913 42435 151 303 0 42608 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 171652 [startup+1422.31 s] /proc/loadavg: 1.00 0.97 0.75 2/107 2385 /proc/meminfo: memFree=1519252/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=181808 CPUtime=1421.87 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 45334 0 0 0 141772 415 0 0 25 0 1 0 101027 186171392 44999 1992294400 134512640 135751879 4293277408 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 45452 44999 151 303 0 45147 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 181808 [startup+1482.3 s] /proc/loadavg: 1.00 0.97 0.76 2/107 2387 /proc/meminfo: memFree=1519128/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=181808 CPUtime=1481.84 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 45337 0 0 0 147749 435 0 0 25 0 1 0 101027 186171392 45002 1992294400 134512640 135751879 4293277408 18446744073709551615 134602695 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 45452 45002 151 303 0 45147 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 181808 [startup+1542.3 s] /proc/loadavg: 1.00 0.97 0.77 2/107 2389 /proc/meminfo: memFree=1519128/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=181808 CPUtime=1541.84 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 45361 0 0 0 153731 453 0 0 25 0 1 0 101027 186171392 45026 1992294400 134512640 135751879 4293277408 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 45452 45026 151 303 0 45147 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 181808 [startup+1602.3 s] /proc/loadavg: 1.00 0.97 0.78 2/107 2389 /proc/meminfo: memFree=1514664/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=186320 CPUtime=1601.82 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 46488 0 0 0 159709 473 0 0 25 0 1 0 101027 190791680 46153 1992294400 134512640 135751879 4293277408 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 46580 46153 151 303 0 46275 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 186320 [startup+1662.3 s] /proc/loadavg: 1.00 0.97 0.79 2/107 2391 /proc/meminfo: memFree=1509084/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=191868 CPUtime=1661.81 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 47880 0 0 0 165690 491 0 0 25 0 1 0 101027 196472832 47545 1992294400 134512640 135751879 4293277408 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 47967 47545 151 303 0 47662 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 191868 [startup+1722.3 s] /proc/loadavg: 1.00 0.97 0.81 2/107 2393 /proc/meminfo: memFree=1503628/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=197412 CPUtime=1721.79 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 49235 0 0 0 171672 507 0 0 25 0 1 0 101027 202149888 48900 1992294400 134512640 135751879 4293277408 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 49353 48900 151 303 0 49048 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 197412 [startup+1782.3 s] /proc/loadavg: 1.00 0.97 0.82 2/107 2395 /proc/meminfo: memFree=1496684/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=204028 CPUtime=1781.77 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 50881 0 0 0 177650 527 0 0 25 0 1 0 101027 208924672 50546 1992294400 134512640 135751879 4293277408 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 51007 50546 151 303 0 50702 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 204028 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.97 0.82 2/107 2395 /proc/meminfo: memFree=1494824/2059040 swapFree=4192956/4192956 [pid=2337] ppid=2335 vsize=205884 CPUtime=1800.09 /proc/2337/stat : 2337 (wbo1.4b) R 2335 2337 2312 0 -1 4202496 51355 0 0 0 179476 533 0 0 25 0 1 0 101027 210825216 51020 1992294400 134512640 135751879 4293277408 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2337/statm: 51471 51020 151 303 0 51166 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 205884 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.63 CPU time (s): 1800.11 CPU user time (s): 1794.76 CPU system time (s): 5.34919 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (KiB): 205884 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.76 system time used= 5.34919 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51355 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= 15 involuntary context switches= 19709 runsolver used 2.86056 second user time and 8.64468 second system time The end
Begin job on node085 at 2010-06-15 09:47:52 IDJOB=2656078 IDBENCH=2636 IDSOLVER=1161 FILE ID=node085/2656078-1276588072 PBS_JOBID= 11173549 Free space on /tmp= 121812 MiB SOLVER NAME= wbo 1.4b 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-2656078-1276588072/watcher-2656078-1276588072 -o /tmp/evaluation-result-2656078-1276588072/solver-2656078-1276588072 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656078-1276588072.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fe9b3ae0ed0deb400897e8cf071ce6eb RANDOM SEED=1987039856 node085.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.221 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.44 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.221 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 : 5999.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1703192 kB Buffers: 14432 kB Cached: 236648 kB SwapCached: 0 kB Active: 94004 kB Inactive: 216296 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1703192 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3720 kB Writeback: 0 kB AnonPages: 59184 kB Mapped: 15276 kB Slab: 23844 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182068 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= 121812 MiB End job on node085 at 2010-06-15 10:17:55