Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.09 | 1800.03 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_16.opb |
MD5SUM | 69b04711942c7a7cbb28264339dbffe2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 221 |
Best CPU time to get the best result obtained on this benchmark | 1798.02 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 223 |
Optimality of the best value was proved | NO |
Number of variables | 5584 |
Total number of constraints | 10895 |
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 | 10895 |
Minimum length of a constraint | 18 |
Maximum length of a constraint | 37 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 512 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2555 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3461000-1307100457.opb. 0.00/0.00 c Instance file HOME/instance-3461000-1307100457.opb 0.00/0.00 c File size is 3082602 bytes. 0.19/0.21 c Highest Coefficient sum: 2555 0.19/0.21 c ============================[ Problem Statistics ]============================= 0.19/0.21 c | | 0.19/0.21 c | Parsing time: 0.21 s | 0.19/0.21 c | Number Variables: 5584 | 0.19/0.21 c | Number Clauses: 0 | 0.19/0.21 c | Number Cardinality: 0 | 0.19/0.21 c | Number PB Constraints: 10895 | 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 5584 10895 368270 | 5000 0 -nan | 0.000 % | 0.49/0.51 c core #1 0.49/0.51 c 0.49/0.51 c 0.49/0.51 c Core size: 10 Core Weight: 1 Total Weight: 1 0.49/0.51 c Current CPU time: 0.301954 s 0.49/0.51 c 0.49/0.51 c core #2 0.49/0.51 c 0.49/0.51 c 0.49/0.51 c Core size: 12 Core Weight: 1 Total Weight: 2 0.49/0.51 c Current CPU time: 0.396939 s 0.49/0.51 c 0.49/0.51 c ============================[ Search Statistics ]============================== 0.49/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.51 c =============================================================================== 0.49/0.51 c | 0 | 5489 10921 368293 | 5000 0 -nan | 0.000 % | 0.49/0.52 c =============================================================================== 0.59/0.63 c core #3 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 16 Core Weight: 1 Total Weight: 3 0.59/0.63 c Current CPU time: 0.506922 s 0.59/0.63 c 0.59/0.63 c ============================[ Search Statistics ]============================== 0.59/0.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.63 c =============================================================================== 0.59/0.63 c | 0 | 5498 10929 368304 | 5000 0 -nan | 0.000 % | 0.59/0.63 c =============================================================================== 0.69/0.74 c core #4 0.69/0.74 c 0.69/0.74 c 0.69/0.74 c Core size: 15 Core Weight: 1 Total Weight: 4 0.69/0.74 c Current CPU time: 0.617906 s 0.69/0.74 c 0.69/0.74 c ============================[ Search Statistics ]============================== 0.69/0.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.74 c =============================================================================== 0.69/0.74 c | 0 | 5521 10936 368319 | 5000 0 -nan | 0.000 % | 0.69/0.75 c =============================================================================== 0.79/0.87 c core #5 0.79/0.87 c 0.79/0.87 c 0.79/0.87 c Core size: 17 Core Weight: 1 Total Weight: 5 0.79/0.87 c Current CPU time: 0.738887 s 0.79/0.87 c 0.79/0.87 c ============================[ Search Statistics ]============================== 0.79/0.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.87 c =============================================================================== 0.79/0.87 c | 0 | 5532 10943 368335 | 5000 0 -nan | 0.000 % | 0.79/0.89 c =============================================================================== 0.89/1.00 c core #6 0.89/1.00 c 0.89/1.00 c 0.89/1.00 c Core size: 15 Core Weight: 3 Total Weight: 8 0.89/1.00 c Current CPU time: 0.876866 s 0.89/1.00 c 0.89/1.00 c ============================[ Search Statistics ]============================== 0.89/1.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/1.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/1.00 c =============================================================================== 0.89/1.00 c | 0 | 5554 10949 368353 | 5000 0 -nan | 0.000 % | 1.00/1.05 c =============================================================================== 1.11/1.16 c core #7 1.11/1.16 c 1.11/1.16 c 1.11/1.16 c Core size: 20 Core Weight: 1 Total Weight: 9 1.11/1.16 c Current CPU time: 1.03184 s 1.11/1.16 c 1.11/1.16 c ============================[ Search Statistics ]============================== 1.11/1.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.16 c =============================================================================== 1.11/1.16 c | 0 | 5566 10955 368372 | 5000 0 -nan | 0.000 % | 1.19/1.25 c =============================================================================== 1.29/1.37 c core #8 1.29/1.37 c 1.29/1.37 c 1.29/1.37 c Core size: 21 Core Weight: 1 Total Weight: 10 1.29/1.37 c Current CPU time: 1.23481 s 1.29/1.37 c 1.29/1.37 c ============================[ Search Statistics ]============================== 1.29/1.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.37 c =============================================================================== 1.29/1.37 c | 0 | 5579 10961 368393 | 5000 0 -nan | 0.000 % | 1.49/1.57 c | 102 | 5579 10961 368393 | 5500 102 24 | 1.414 % | 1.69/1.78 c | 252 | 5574 10961 368393 | 6050 252 25 | 1.855 % | 1.69/1.79 c =============================================================================== 1.89/1.91 c core #9 1.89/1.91 c 1.89/1.91 c 1.89/1.91 c Core size: 15 Core Weight: 6 Total Weight: 16 1.89/1.91 c Current CPU time: 1.77673 s 1.89/1.91 c 1.89/1.91 c ============================[ Search Statistics ]============================== 1.89/1.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.91 c =============================================================================== 1.89/1.91 c | 0 | 5600 10966 368416 | 5000 0 -nan | 0.000 % | 2.11/2.15 c | 100 | 5600 10966 368416 | 5500 100 27 | 1.130 % | 2.49/2.51 c | 251 | 5591 10966 368416 | 6050 251 30 | 1.554 % | 2.59/2.60 c =============================================================================== 2.69/2.72 c core #10 2.69/2.72 c 2.69/2.72 c 2.69/2.72 c Core size: 32 Core Weight: 1 Total Weight: 17 2.69/2.72 c Current CPU time: 2.58161 s 2.69/2.72 c 2.69/2.72 c ============================[ Search Statistics ]============================== 2.69/2.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.72 c =============================================================================== 2.69/2.72 c | 0 | 5614 10973 368444 | 5000 0 -nan | 0.000 % | 2.89/2.95 c | 100 | 5614 10973 368444 | 5500 100 26 | 1.127 % | 3.20/3.28 c | 250 | 5613 10973 368444 | 6050 250 28 | 1.145 % | 3.59/3.66 c | 475 | 5598 10973 368444 | 6655 475 30 | 1.409 % | 3.89/3.94 c =============================================================================== 3.99/4.05 c core #11 3.99/4.05 c 3.99/4.05 c 3.99/4.05 c Core size: 47 Core Weight: 1 Total Weight: 18 3.99/4.05 c Current CPU time: 3.9154 s 3.99/4.05 c 3.99/4.05 c ============================[ Search Statistics ]============================== 3.99/4.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.05 c =============================================================================== 3.99/4.05 c | 0 | 5627 10980 368470 | 5000 0 -nan | 0.000 % | 4.19/4.28 c | 102 | 5627 10980 368470 | 5500 102 27 | 1.125 % | 4.49/4.59 c | 253 | 5627 10980 368470 | 6050 253 28 | 1.125 % | 4.89/4.96 c | 478 | 5627 10980 368470 | 6655 478 28 | 1.125 % | 5.40/5.50 c | 816 | 5627 10980 368470 | 7320 816 29 | 1.125 % | 6.39/6.41 c | 1322 | 5627 10980 368470 | 8052 1322 32 | 1.125 % | 7.29/7.30 c =============================================================================== 7.39/7.42 c core #12 7.39/7.42 c 7.39/7.42 c 7.39/7.42 c Core size: 36 Core Weight: 1 Total Weight: 19 7.39/7.42 c Current CPU time: 7.27889 s 7.39/7.42 c 7.39/7.42 c ============================[ Search Statistics ]============================== 7.39/7.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.39/7.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.39/7.42 c =============================================================================== 7.39/7.42 c | 0 | 5633 10985 368478 | 5000 0 -nan | 0.000 % | 7.60/7.63 c | 100 | 5633 10985 368478 | 5500 100 26 | 1.123 % | 7.89/7.90 c | 250 | 5633 10985 368478 | 6050 250 29 | 1.123 % | 8.29/8.34 c | 477 | 5633 10985 368478 | 6655 477 31 | 1.123 % | 8.89/8.94 c | 814 | 5633 10985 368478 | 7320 814 31 | 1.123 % | 9.90/9.95 c | 1320 | 5633 10985 368478 | 8052 1320 33 | 1.123 % | 11.29/11.36 c | 2079 | 5633 10985 368478 | 8857 2079 35 | 1.123 % | 12.89/12.90 c =============================================================================== 12.99/13.02 c core #13 12.99/13.02 c 12.99/13.02 c 12.99/13.02 c Core size: 42 Core Weight: 1 Total Weight: 20 12.99/13.02 c Current CPU time: 12.874 s 12.99/13.02 c 12.99/13.02 c ============================[ Search Statistics ]============================== 12.99/13.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.99/13.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.99/13.02 c =============================================================================== 12.99/13.02 c | 0 | 5649 10990 368506 | 5000 0 -nan | 0.000 % | 13.21/13.27 c | 100 | 5649 10990 368506 | 5500 100 28 | 1.120 % | 13.59/13.64 c | 251 | 5649 10990 368506 | 6050 251 34 | 1.120 % | 13.99/14.02 c | 478 | 5649 10990 368506 | 6655 478 34 | 1.120 % | 14.49/14.57 c | 815 | 5649 10990 368506 | 7320 815 34 | 1.120 % | 15.41/15.48 c | 1321 | 5649 10990 368506 | 8052 1321 36 | 1.120 % | 16.69/16.77 c | 2080 | 5649 10990 368506 | 8857 2080 36 | 1.120 % | 18.90/18.98 c | 3219 | 5649 10990 368506 | 9743 3219 37 | 1.120 % | 22.01/22.05 c | 4927 | 5648 10990 368506 | 10717 4927 38 | 1.138 % | 23.59/23.64 c =============================================================================== 23.69/23.76 c core #14 23.69/23.76 c 23.69/23.76 c 23.69/23.76 c Core size: 44 Core Weight: 12 Total Weight: 32 23.69/23.76 c Current CPU time: 23.6014 s 23.69/23.76 c 23.69/23.76 c ============================[ Search Statistics ]============================== 23.69/23.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.69/23.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.69/23.76 c =============================================================================== 23.69/23.76 c | 0 | 5669 10994 368538 | 5000 0 -nan | 0.000 % | 23.89/23.98 c | 100 | 5669 10994 368538 | 5500 100 25 | 0.840 % | 24.21/24.26 c | 251 | 5662 10994 368538 | 6050 251 28 | 1.102 % | 24.59/24.65 c | 476 | 5662 10994 368538 | 6655 476 30 | 1.102 % | 25.09/25.19 c | 813 | 5658 10994 368538 | 7320 813 31 | 1.154 % | 26.19/26.25 c | 1320 | 5651 10994 368538 | 8052 1320 33 | 1.154 % | 27.29/27.36 c | 2080 | 5651 10994 368538 | 8857 2080 35 | 1.154 % | 29.19/29.25 c | 3220 | 5651 10994 368538 | 9743 3220 36 | 1.154 % | 32.39/32.47 c | 4928 | 5651 10994 368538 | 10717 4928 39 | 1.154 % | 37.19/37.27 c | 7490 | 5633 10994 368538 | 11789 7490 41 | 16.513 % | 37.41/37.45 c =============================================================================== 37.49/37.58 c core #15 37.49/37.58 c 37.49/37.58 c 37.49/37.58 c Core size: 82 Core Weight: 1 Total Weight: 33 37.49/37.58 c Current CPU time: 37.4143 s 37.49/37.58 c 37.49/37.58 c ============================[ Search Statistics ]============================== 37.49/37.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.49/37.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.49/37.58 c =============================================================================== 37.49/37.58 c | 0 | 5701 11000 368603 | 5000 0 -nan | 0.000 % | 37.80/37.80 c | 100 | 5701 11000 368603 | 5500 100 27 | 0.835 % | 38.10/38.13 c | 250 | 5701 11000 368603 | 6050 250 34 | 0.835 % | 38.80/38.87 c | 475 | 5701 11000 368603 | 6655 475 39 | 0.835 % | 39.51/39.54 c | 816 | 5701 11000 368603 | 7320 816 39 | 0.835 % | 40.61/40.63 c | 1322 | 5701 11000 368603 | 8052 1322 38 | 0.835 % | 41.99/42.06 c | 2082 | 5700 11000 368603 | 8857 2082 40 | 0.852 % | 43.90/43.95 c | 3225 | 5700 11000 368603 | 9743 3225 41 | 0.853 % | 46.10/46.15 c | 4933 | 5700 11000 368603 | 10717 4933 40 | 0.853 % | 47.31/47.32 c =============================================================================== 47.39/47.44 c core #16 47.39/47.44 c 47.39/47.44 c 47.39/47.44 c Core size: 41 Core Weight: 1 Total Weight: 34 47.39/47.44 c Current CPU time: 47.2658 s 47.39/47.44 c 47.39/47.44 c ============================[ Search Statistics ]============================== 47.39/47.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 47.39/47.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 47.39/47.44 c =============================================================================== 47.39/47.44 c | 0 | 5709 11007 368622 | 5000 0 -nan | 0.000 % | 47.59/47.69 c | 101 | 5709 11007 368622 | 5500 101 30 | 0.834 % | 47.89/47.90 c | 251 | 5709 11007 368622 | 6050 251 27 | 0.834 % | 48.09/48.16 c | 476 | 5709 11007 368622 | 6655 476 27 | 0.834 % | 48.99/49.06 c | 815 | 5709 11007 368622 | 7320 815 30 | 0.834 % | 49.80/49.81 c | 1322 | 5709 11007 368622 | 8052 1322 32 | 0.834 % | 51.09/51.14 c | 2081 | 5709 11007 368622 | 8857 2081 34 | 0.834 % | 53.39/53.44 c | 3222 | 5709 11007 368622 | 9743 3222 34 | 0.834 % | 57.50/57.50 c | 4931 | 5701 11007 368622 | 10717 4931 37 | 0.973 % | 64.00/64.10 c | 7493 | 5697 11007 368622 | 11789 7493 39 | 1.042 % | 71.99/72.07 c | 11338 | 5697 11007 368622 | 12968 11338 42 | 1.042 % | 79.79/79.85 c =============================================================================== 79.89/79.99 c core #17 79.89/79.99 c 79.89/79.99 c 79.89/79.99 c Core size: 49 Core Weight: 1 Total Weight: 35 79.89/79.99 c Current CPU time: 79.7899 s 79.89/79.99 c 79.89/79.99 c ============================[ Search Statistics ]============================== 79.89/79.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 79.89/79.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 79.89/79.99 c =============================================================================== 79.89/79.99 c | 0 | 5719 11014 368645 | 5000 0 -nan | 0.000 % | 80.20/80.24 c | 100 | 5719 11014 368645 | 5500 100 25 | 0.832 % | 80.49/80.58 c | 252 | 5719 11014 368645 | 6050 252 25 | 0.832 % | 81.09/81.12 c | 477 | 5719 11014 368645 | 6655 477 26 | 0.832 % | 81.41/81.49 c | 814 | 5719 11014 368645 | 7320 814 29 | 0.832 % | 82.59/82.65 c | 1320 | 5719 11014 368645 | 8052 1320 32 | 0.832 % | 84.29/84.38 c | 2079 | 5719 11014 368645 | 8857 2079 35 | 0.832 % | 85.99/86.02 c | 3220 | 5719 11014 368645 | 9743 3220 36 | 0.832 % | 88.20/88.29 c | 4928 | 5719 11014 368645 | 10717 4928 37 | 0.832 % | 91.69/91.73 c | 7491 | 5719 11014 368645 | 11789 7491 39 | 0.832 % | 98.79/98.83 c | 11335 | 5719 11014 368645 | 12968 11335 40 | 0.832 % | 108.00/108.01 c | 17102 | 5653 11014 368645 | 14265 10491 44 | 2.812 % | 116.09/116.18 c =============================================================================== 116.29/116.32 c core #18 116.29/116.32 c 116.29/116.32 c 116.29/116.32 c Core size: 39 Core Weight: 3 Total Weight: 38 116.29/116.32 c Current CPU time: 116.098 s 116.29/116.32 c 116.29/116.32 c ============================[ Search Statistics ]============================== 116.29/116.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 116.29/116.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 116.29/116.32 c =============================================================================== 116.29/116.32 c | 0 | 5724 11018 368652 | 5000 0 -nan | 0.000 % | 116.61/116.63 c | 102 | 5724 11018 368652 | 5500 102 31 | 0.832 % | 116.89/116.92 c | 252 | 5724 11018 368652 | 6050 252 31 | 0.832 % | 117.29/117.31 c | 477 | 5724 11018 368652 | 6655 477 30 | 0.832 % | 117.79/117.89 c | 815 | 5724 11018 368652 | 7320 815 32 | 0.832 % | 118.71/118.80 c | 1323 | 5724 11018 368652 | 8052 1323 33 | 0.832 % | 119.99/120.03 c | 2082 | 5724 11018 368652 | 8857 2082 34 | 0.832 % | 121.19/121.26 c | 3222 | 5724 11018 368652 | 9743 3222 34 | 0.832 % | 124.69/124.70 c | 4930 | 5724 11018 368652 | 10717 4930 36 | 0.832 % | 129.00/129.00 c | 7494 | 5724 11018 368652 | 11789 7494 37 | 0.832 % | 134.90/134.91 c | 11339 | 5715 11018 368652 | 12968 11339 38 | 0.988 % | 143.01/143.07 c | 17106 | 5712 11018 368652 | 14265 10541 36 | 1.282 % | 157.80/157.85 c | 25755 | 5660 11018 368652 | 15692 12015 37 | 14.867 % | 157.80/157.87 c =============================================================================== 158.00/158.01 c core #19 158.00/158.01 c 158.00/158.01 c 158.00/158.01 c Core size: 51 Core Weight: 1 Total Weight: 39 158.00/158.01 c Current CPU time: 157.762 s 158.00/158.01 c 158.00/158.01 c ============================[ Search Statistics ]============================== 158.00/158.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 158.00/158.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 158.00/158.01 c =============================================================================== 158.00/158.01 c | 0 | 5732 11022 368665 | 5000 0 -nan | 0.000 % | 158.20/158.24 c | 100 | 5732 11022 368665 | 5500 100 25 | 0.830 % | 158.50/158.53 c | 250 | 5732 11022 368665 | 6050 250 24 | 0.830 % | 158.90/158.90 c | 476 | 5732 11022 368665 | 6655 476 29 | 0.830 % | 159.30/159.41 c | 813 | 5732 11022 368665 | 7320 813 33 | 0.830 % | 160.10/160.18 c | 1320 | 5732 11022 368665 | 8052 1320 33 | 0.830 % | 161.80/161.85 c | 2079 | 5732 11022 368665 | 8857 2079 35 | 0.830 % | 164.10/164.15 c | 3219 | 5732 11022 368665 | 9743 3219 36 | 0.830 % | 166.01/166.09 c | 4927 | 5732 11022 368665 | 10717 4927 35 | 0.830 % | 169.59/169.69 c | 7489 | 5732 11022 368665 | 11789 7489 36 | 0.830 % | 175.10/175.17 c | 11334 | 5732 11022 368665 | 12968 11334 37 | 0.830 % | 185.99/186.08 c | 17100 | 5732 11022 368665 | 14265 10049 40 | 0.830 % | 201.90/201.99 c | 25749 | 5732 11022 368665 | 15692 11230 42 | 0.830 % | 223.00/223.00 c | 38724 | 5732 11022 368665 | 17261 8167 39 | 0.830 % | 256.40/256.47 c | 58185 | 5725 11022 368665 | 18987 10067 50 | 0.952 % | 301.00/301.03 c | 87377 | 5692 11022 368665 | 20886 10259 50 | 1.522 % | 367.32/367.34 c | 131166 | 5680 11022 368665 | 22974 11308 41 | 1.730 % | 394.01/394.06 c =============================================================================== 394.20/394.29 c core #20 394.20/394.29 c 394.20/394.29 c 394.20/394.29 c Core size: 62 Core Weight: 1 Total Weight: 40 394.20/394.29 c Current CPU time: 393.87 s 394.20/394.29 c 394.20/394.29 c ============================[ Search Statistics ]============================== 394.20/394.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 394.20/394.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 394.20/394.29 c =============================================================================== 394.20/394.29 c | 0 | 5755 11026 368708 | 5000 0 -nan | 0.000 % | 394.50/394.52 c | 100 | 5755 11026 368708 | 5500 100 43 | 0.827 % | 394.70/394.81 c | 250 | 5755 11026 368708 | 6050 250 30 | 0.827 % | 395.60/395.62 c | 475 | 5755 11026 368708 | 6655 475 33 | 0.827 % | 395.91/395.93 c | 814 | 5755 11026 368708 | 7320 814 33 | 0.827 % | 396.90/396.93 c | 1321 | 5755 11026 368708 | 8052 1321 37 | 0.827 % | 398.11/398.21 c | 2081 | 5755 11026 368708 | 8857 2081 38 | 0.827 % | 399.60/399.65 c | 3220 | 5755 11026 368708 | 9743 3220 37 | 0.827 % | 401.53/401.59 c | 4929 | 5755 11026 368708 | 10717 4929 37 | 0.827 % | 405.00/405.08 c | 7491 | 5755 11026 368708 | 11789 7491 39 | 0.827 % | 410.61/410.62 c | 11336 | 5716 11026 368708 | 12968 11336 39 | 1.499 % | 420.41/420.50 c | 17102 | 5716 11026 368708 | 14265 10311 41 | 1.499 % | 430.91/430.94 c | 25752 | 5716 11026 368708 | 15692 11739 39 | 1.499 % | 451.30/451.39 c | 38729 | 5716 11026 368708 | 17261 16399 41 | 1.499 % | 474.71/474.70 c | 58192 | 5716 11026 368708 | 18987 9317 37 | 1.499 % | 511.01/511.05 c | 87384 | 5716 11026 368708 | 20886 19129 37 | 1.500 % | 572.81/572.86 c =============================================================================== 573.02/573.03 c core #21 573.02/573.03 c 573.02/573.03 c 573.02/573.03 c Core size: 40 Core Weight: 1 Total Weight: 41 573.02/573.03 c Current CPU time: 572.504 s 573.02/573.03 c 573.02/573.03 c ============================[ Search Statistics ]============================== 573.02/573.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 573.02/573.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 573.02/573.03 c =============================================================================== 573.02/573.03 c | 0 | 5766 11030 368727 | 5000 0 -nan | 0.000 % | 573.21/573.25 c | 100 | 5766 11030 368727 | 5500 100 25 | 0.826 % | 573.71/573.71 c | 253 | 5766 11030 368727 | 6050 253 27 | 0.826 % | 574.01/574.10 c | 478 | 5766 11030 368727 | 6655 478 29 | 0.826 % | 574.61/574.68 c | 815 | 5766 11030 368727 | 7320 815 32 | 0.826 % | 575.51/575.58 c | 1322 | 5766 11030 368727 | 8052 1322 34 | 0.826 % | 577.31/577.36 c | 2081 | 5766 11030 368727 | 8857 2081 34 | 0.826 % | 579.73/579.77 c | 3221 | 5766 11030 368727 | 9743 3221 34 | 0.826 % | 582.12/582.12 c | 4930 | 5766 11030 368727 | 10717 4930 36 | 0.826 % | 587.21/587.30 c | 7492 | 5766 11030 368727 | 11789 7492 37 | 0.826 % | 594.81/594.88 c | 11338 | 5766 11030 368727 | 12968 11338 38 | 0.826 % | 602.72/602.81 c | 17104 | 5766 11030 368727 | 14265 10570 37 | 0.826 % | 618.91/618.92 c | 25753 | 5766 11030 368727 | 15692 11937 41 | 0.826 % | 635.52/635.53 c | 38729 | 5766 11030 368727 | 17261 8462 37 | 0.826 % | 675.33/675.37 c | 58192 | 5766 11030 368727 | 18987 9387 41 | 0.826 % | 720.31/720.39 c | 87385 | 5766 11030 368727 | 20886 19381 39 | 0.826 % | 798.42/798.41 c | 131176 | 5766 11030 368727 | 22974 20823 42 | 0.826 % | 892.93/892.91 c | 196860 | 5766 11030 368727 | 25272 15140 39 | 0.826 % | 1038.63/1038.66 c | 295386 | 5766 11030 368727 | 27799 18267 38 | 0.826 % | 1243.94/1243.99 c | 443175 | 5765 11030 368727 | 30579 20711 35 | 0.843 % | 1532.26/1532.22 c =============================================================================== 1532.55/1532.60 c core #22 1532.55/1532.60 c 1532.55/1532.60 c 1532.55/1532.60 c Core size: 37 Core Weight: 23 Total Weight: 64 1532.55/1532.60 c Current CPU time: 1531.27 s 1532.55/1532.60 c 1532.55/1532.60 c ============================[ Search Statistics ]============================== 1532.55/1532.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 1532.55/1532.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1532.55/1532.60 c =============================================================================== 1532.55/1532.60 c | 0 | 5785 11033 368774 | 5000 0 -nan | 0.000 % | 1532.85/1532.86 c | 100 | 5785 11033 368774 | 5500 100 36 | 0.550 % | 1533.15/1533.16 c | 252 | 5770 11033 368774 | 6050 252 36 | 0.808 % | 1533.55/1533.58 c | 477 | 5770 11033 368774 | 6655 477 39 | 0.808 % | 1534.15/1534.11 c | 814 | 5770 11033 368774 | 7320 814 39 | 0.808 % | 1534.94/1534.99 c | 1321 | 5770 11033 368774 | 8052 1321 38 | 0.808 % | 1535.85/1535.87 c | 2080 | 5770 11033 368774 | 8857 2080 38 | 0.808 % | 1537.87/1537.85 c | 3220 | 5770 11033 368774 | 9743 3220 40 | 0.808 % | 1540.25/1540.27 c | 4931 | 5770 11033 368774 | 10717 4931 39 | 0.808 % | 1543.55/1543.54 c | 7494 | 5770 11033 368774 | 11789 7494 38 | 0.808 % | 1548.86/1548.88 c | 11339 | 5770 11033 368774 | 12968 11339 38 | 0.808 % | 1557.15/1557.13 c | 17106 | 5770 11033 368774 | 14265 10567 38 | 0.808 % | 1569.05/1569.03 c | 25755 | 5770 11033 368774 | 15692 11503 39 | 0.808 % | 1584.65/1584.68 c | 38730 | 5770 11033 368774 | 17261 16111 40 | 0.808 % | 1608.65/1608.69 c | 58192 | 5770 11033 368774 | 18987 17853 39 | 0.808 % | 1652.85/1652.84 c | 87384 | 5770 11033 368774 | 20886 17926 42 | 0.808 % | 1719.05/1719.02 c | 131174 | 5770 11033 368774 | 22974 19600 43 | 0.808 % | 1797.48/1797.46 c | 196860 | 5767 11033 368774 | 25272 14207 43 | 0.878 % |
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3461000-1307100457/watcher-3461000-1307100457 -o /tmp/evaluation-result-3461000-1307100457/solver-3461000-1307100457 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461000-1307100457.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.90 2.02 2.00 3/514 18364 /proc/meminfo: memFree=21842280/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=6040 CPUtime=0.01 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 594 0 0 0 1 0 0 0 25 0 1 0 802461329 6184960 547 33554432000 4194304 5714214 140735415860464 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 1510 548 208 372 0 382 0 [startup+0.019248 s] /proc/loadavg: 1.90 2.02 2.00 3/514 18364 /proc/meminfo: memFree=21842280/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=6716 CPUtime=0.01 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 763 0 0 0 1 0 0 0 25 0 1 0 802461329 6877184 716 33554432000 4194304 5714214 140735415860464 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 1679 716 230 372 0 551 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6716 [startup+0.100248 s] /proc/loadavg: 1.90 2.02 2.00 3/514 18364 /proc/meminfo: memFree=21842280/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=14296 CPUtime=0.09 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 2969 0 0 0 9 0 0 0 25 0 1 0 802461329 14639104 2922 33554432000 4194304 5714214 140735415860464 18446744073709551615 4228183 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 3574 2923 520 372 0 2446 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14296 [startup+0.300218 s] /proc/loadavg: 1.90 2.02 2.00 3/514 18364 /proc/meminfo: memFree=21842280/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=43856 CPUtime=0.29 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 11480 0 0 0 28 1 0 0 18 0 1 0 802461329 44908544 10676 33554432000 4194304 5714214 140735415860464 18446744073709551615 4956298 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 10964 10676 174 372 0 10589 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 43856 [startup+0.701142 s] /proc/loadavg: 1.90 2.02 2.00 3/514 18364 /proc/meminfo: memFree=21842280/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=50516 CPUtime=0.69 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 13351 0 0 0 68 1 0 0 18 0 1 0 802461329 51728384 12371 33554432000 4194304 5714214 140735415860464 18446744073709551615 4964778 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 12629 12371 179 372 0 12254 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 50516 [startup+1.50099 s] /proc/loadavg: 1.90 2.02 2.00 3/515 18419 /proc/meminfo: memFree=21745932/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=57124 CPUtime=1.49 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 15016 0 0 0 147 2 0 0 18 0 1 0 802461329 58494976 14036 33554432000 4194304 5714214 140735415860464 18446744073709551615 4305269 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 14281 14036 179 372 0 13906 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 57124 [startup+3.10066 s] /proc/loadavg: 1.90 2.02 2.00 3/515 18419 /proc/meminfo: memFree=21695864/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=60500 CPUtime=3.09 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 15862 0 0 0 307 2 0 0 21 0 1 0 802461329 61952000 14882 33554432000 4194304 5714214 140735415860464 18446744073709551615 4305272 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 15125 14882 180 372 0 14750 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 60500 [startup+6.30108 s] /proc/loadavg: 1.91 2.02 2.00 3/515 18419 /proc/meminfo: memFree=21678804/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=62264 CPUtime=6.29 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 16297 0 0 0 627 2 0 0 25 0 1 0 802461329 63758336 15317 33554432000 4194304 5714214 140735415860464 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 15566 15317 180 372 0 15191 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 62264 [startup+12.7009 s] /proc/loadavg: 1.92 2.02 2.00 3/515 18419 /proc/meminfo: memFree=21672468/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=64292 CPUtime=12.69 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 16800 0 0 0 1266 3 0 0 25 0 1 0 802461329 65835008 15820 33554432000 4194304 5714214 140735415860464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 16073 15820 180 372 0 15698 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 64292 [startup+25.5005 s] /proc/loadavg: 1.93 2.02 2.00 3/515 18420 /proc/meminfo: memFree=21665132/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=68856 CPUtime=25.49 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 17941 0 0 0 2545 4 0 0 25 0 1 0 802461329 70508544 16961 33554432000 4194304 5714214 140735415860464 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 17214 16961 180 372 0 16839 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 68856 [startup+51.1006 s] /proc/loadavg: 2.01 2.03 2.00 3/515 18420 /proc/meminfo: memFree=21658188/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=72228 CPUtime=51.09 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 18768 0 0 0 5103 6 0 0 25 0 1 0 802461329 73961472 17788 33554432000 4194304 5714214 140735415860464 18446744073709551615 4200624 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 18057 17788 180 372 0 17682 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 72228 [startup+102.319 s] /proc/loadavg: 2.00 2.02 2.00 3/515 18422 /proc/meminfo: memFree=21650172/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=76268 CPUtime=102.32 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 19794 0 0 0 10222 10 0 0 25 0 1 0 802461329 78098432 18814 33554432000 4194304 5714214 140735415860464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 19067 18814 180 372 0 18692 0 Current children cumulated CPU time (s) 102.32 Current children cumulated vsize (KiB) 76268 [startup+162.301 s] /proc/loadavg: 2.00 2.02 2.00 3/515 18423 /proc/meminfo: memFree=21635728/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=80712 CPUtime=162.3 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 20913 0 0 0 16218 12 0 0 25 0 1 0 802461329 82649088 19933 33554432000 4194304 5714214 140735415860464 18446744073709551615 4305266 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 20178 19933 180 372 0 19803 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 80712 [startup+222.301 s] /proc/loadavg: 2.00 2.01 2.00 3/515 18425 /proc/meminfo: memFree=21635068/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=80712 CPUtime=222.3 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 20913 0 0 0 22215 15 0 0 25 0 1 0 802461329 82649088 19933 33554432000 4194304 5714214 140735415860464 18446744073709551615 4200634 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 20178 19933 180 372 0 19803 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 80712 [startup+282.301 s] /proc/loadavg: 2.13 2.04 2.01 3/515 18426 /proc/meminfo: memFree=21633372/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=80712 CPUtime=282.3 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 20913 0 0 0 28211 19 0 0 25 0 1 0 802461329 82649088 19933 33554432000 4194304 5714214 140735415860464 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 20178 19933 180 372 0 19803 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 80712 [startup+342.301 s] /proc/loadavg: 2.11 2.04 2.01 3/515 18428 /proc/meminfo: memFree=21633452/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=80712 CPUtime=342.3 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 20913 0 0 0 34208 22 0 0 25 0 1 0 802461329 82649088 19933 33554432000 4194304 5714214 140735415860464 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 20178 19933 180 372 0 19803 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 80712 [startup+402.3 s] /proc/loadavg: 2.04 2.03 2.00 3/515 18430 /proc/meminfo: memFree=21615552/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=98856 CPUtime=402.31 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 25448 0 0 0 40205 26 0 0 25 0 1 0 802461329 101228544 24468 33554432000 4194304 5714214 140735415860464 18446744073709551615 4305272 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 24714 24468 180 372 0 24339 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 98856 [startup+462.301 s] /proc/loadavg: 2.11 2.05 2.01 3/515 18431 /proc/meminfo: memFree=21604712/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=98856 CPUtime=462.31 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 25448 0 0 0 46200 31 0 0 25 0 1 0 802461329 101228544 24468 33554432000 4194304 5714214 140735415860464 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 24714 24468 180 372 0 24339 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 98856 [startup+522.301 s] /proc/loadavg: 2.08 2.06 2.01 3/515 18433 /proc/meminfo: memFree=21605520/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=98856 CPUtime=522.31 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 25448 0 0 0 52196 35 0 0 25 0 1 0 802461329 101228544 24468 33554432000 4194304 5714214 140735415860464 18446744073709551615 4323063 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 24714 24468 180 372 0 24339 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 98856 [startup+582.301 s] /proc/loadavg: 2.03 2.04 2.00 3/515 18434 /proc/meminfo: memFree=21604584/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=98856 CPUtime=582.32 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 25448 0 0 0 58193 39 0 0 25 0 1 0 802461329 101228544 24468 33554432000 4194304 5714214 140735415860464 18446744073709551615 4305272 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 24714 24468 180 372 0 24339 0 Current children cumulated CPU time (s) 582.32 Current children cumulated vsize (KiB) 98856 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.01 2.00 3/515 18441 /proc/meminfo: memFree=21600988/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=98856 CPUtime=822.32 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 25448 0 0 0 82180 52 0 0 25 0 1 0 802461329 101228544 24468 33554432000 4194304 5714214 140735415860464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 24714 24468 180 372 0 24339 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 98856 [startup+882.301 s] /proc/loadavg: 2.07 2.04 2.01 3/515 18442 /proc/meminfo: memFree=21601548/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=98856 CPUtime=882.32 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 25448 0 0 0 88177 55 0 0 25 0 1 0 802461329 101228544 24468 33554432000 4194304 5714214 140735415860464 18446744073709551615 4200608 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 24714 24468 180 372 0 24339 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 98856 [startup+942.301 s] /proc/loadavg: 2.17 2.06 2.01 3/515 18444 /proc/meminfo: memFree=21597624/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=98856 CPUtime=942.33 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 25448 0 0 0 94172 61 0 0 25 0 1 0 802461329 101228544 24468 33554432000 4194304 5714214 140735415860464 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 24714 24468 180 372 0 24339 0 Current children cumulated CPU time (s) 942.33 Current children cumulated vsize (KiB) 98856 [startup+1002.3 s] /proc/loadavg: 2.13 2.06 2.01 3/515 18446 /proc/meminfo: memFree=21597584/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=98856 CPUtime=1002.33 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 25448 0 0 0 100169 64 0 0 25 0 1 0 802461329 101228544 24468 33554432000 4194304 5714214 140735415860464 18446744073709551615 4323072 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 24714 24468 180 372 0 24339 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 98856 [startup+1062.3 s] /proc/loadavg: 2.05 2.05 2.00 3/515 18447 /proc/meminfo: memFree=21596792/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=99868 CPUtime=1062.33 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 25648 0 0 0 106165 68 0 0 25 0 1 0 802461329 102264832 24668 33554432000 4194304 5714214 140735415860464 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 24967 24668 180 372 0 24592 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 99868 [startup+1122.3 s] /proc/loadavg: 2.02 2.04 2.00 3/515 18449 /proc/meminfo: memFree=21592160/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=104580 CPUtime=1122.33 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 26820 0 0 0 112160 73 0 0 25 0 1 0 802461329 107089920 25840 33554432000 4194304 5714214 140735415860464 18446744073709551615 4200778 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 26145 25840 180 372 0 25770 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 104580 [startup+1182.3 s] /proc/loadavg: 2.00 2.03 2.00 3/515 18450 /proc/meminfo: memFree=21588384/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=108468 CPUtime=1182.34 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 27787 0 0 0 118156 78 0 0 25 0 1 0 802461329 111071232 26807 33554432000 4194304 5714214 140735415860464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 27117 26807 180 372 0 26742 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 108468 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 2.00 3/515 18452 /proc/meminfo: memFree=21582752/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=112480 CPUtime=1242.34 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 28811 0 0 0 124151 83 0 0 25 0 1 0 802461329 115179520 27831 33554432000 4194304 5714214 140735415860464 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 28120 27831 180 372 0 27745 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 112480 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 2.00 3/515 18454 /proc/meminfo: memFree=21577604/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=117648 CPUtime=1302.35 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 30072 0 0 0 130149 86 0 0 25 0 1 0 802461329 120471552 29092 33554432000 4194304 5714214 140735415860464 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 29412 29092 180 372 0 29037 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 117648 [startup+1362.3 s] /proc/loadavg: 2.10 2.04 2.01 3/515 18455 /proc/meminfo: memFree=21573956/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=121368 CPUtime=1362.34 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 30997 0 0 0 136144 90 0 0 25 0 1 0 802461329 124280832 30017 33554432000 4194304 5714214 140735415860464 18446744073709551615 4200634 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 30342 30017 180 372 0 29967 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 121368 [startup+1422.32 s] /proc/loadavg: 2.08 2.05 2.01 3/515 18457 /proc/meminfo: memFree=21569936/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=125276 CPUtime=1422.36 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 31996 0 0 0 142142 94 0 0 25 0 1 0 802461329 128282624 31016 33554432000 4194304 5714214 140735415860464 18446744073709551615 4200778 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 31319 31016 180 372 0 30944 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 125276 [startup+1482.3 s] /proc/loadavg: 2.03 2.03 2.00 3/515 18458 /proc/meminfo: memFree=21565548/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=129892 CPUtime=1482.34 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 33133 0 0 0 148136 98 0 0 25 0 1 0 802461329 133009408 32153 33554432000 4194304 5714214 140735415860464 18446744073709551615 4323072 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 32473 32153 180 372 0 32098 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 129892 [startup+1542.3 s] /proc/loadavg: 2.08 2.05 2.01 3/515 18460 /proc/meminfo: memFree=21542420/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=152684 CPUtime=1542.35 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 38886 0 0 0 154132 103 0 0 25 0 1 0 802461329 156348416 37844 33554432000 4194304 5714214 140735415860464 18446744073709551615 4323065 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 38171 37844 180 372 0 37796 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 152684 [startup+1602.3 s] /proc/loadavg: 2.03 2.04 2.00 3/515 18462 /proc/meminfo: memFree=21542252/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=152684 CPUtime=1602.35 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 38886 0 0 0 160126 109 0 0 25 0 1 0 802461329 156348416 37844 33554432000 4194304 5714214 140735415860464 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 38171 37844 180 372 0 37796 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 152684 [startup+1662.3 s] /proc/loadavg: 2.01 2.03 2.00 3/515 18463 /proc/meminfo: memFree=21541568/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=152684 CPUtime=1662.35 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 38886 0 0 0 166122 113 0 0 25 0 1 0 802461329 156348416 37844 33554432000 4194304 5714214 140735415860464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 38171 37844 180 372 0 37796 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 152684 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.00 3/515 18465 /proc/meminfo: memFree=21541172/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=152684 CPUtime=1722.35 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 38886 0 0 0 172117 118 0 0 25 0 1 0 802461329 156348416 37844 33554432000 4194304 5714214 140735415860464 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 38171 37844 180 372 0 37796 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 152684 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/515 18466 /proc/meminfo: memFree=21537768/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=152684 CPUtime=1782.36 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 38886 0 0 0 178113 123 0 0 25 0 1 0 802461329 156348416 37844 33554432000 4194304 5714214 140735415860464 18446744073709551615 4323072 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 38171 37844 180 372 0 37796 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 152684 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.02 2.00 3/515 18467 /proc/meminfo: memFree=21537624/32951124 swapFree=62999000/67111528 [pid=18364] ppid=18361 vsize=152684 CPUtime=1800.07 cores=0,2,4,6 /proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 38886 0 0 0 179883 124 0 0 25 0 1 0 802461329 156348416 37844 33554432000 4194304 5714214 140735415860464 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18364/statm: 38171 37844 180 372 0 37796 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 152684 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.03 CPU time (s): 1800.09 CPU user time (s): 1798.84 CPU system time (s): 1.25081 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 153008 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.84 system time used= 1.25081 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38886 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= 12 involuntary context switches= 2518 runsolver used 9.77251 second user time and 19.89 second system time The end
Begin job on node141 at 2011-06-03 13:27:37 IDJOB=3461000 IDBENCH=2627 IDSOLVER=1953 FILE ID=node141/3461000-1307100457 RUNJOBID= node141-1307093248-17900 PBS_JOBID= 13497991 Free space on /tmp= 73880 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_16.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461000-1307100457/watcher-3461000-1307100457 -o /tmp/evaluation-result-3461000-1307100457/solver-3461000-1307100457 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461000-1307100457.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 69b04711942c7a7cbb28264339dbffe2 RANDOM SEED=502192147 node141.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5362.96 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21842576 kB Buffers: 242420 kB Cached: 615048 kB SwapCached: 8848 kB Active: 10297528 kB Inactive: 547496 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21842576 kB SwapTotal: 67111528 kB SwapFree: 62999000 kB Dirty: 11664 kB Writeback: 4 kB AnonPages: 9986072 kB Mapped: 26340 kB Slab: 124132 kB PageTables: 69900 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 150663468 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73872 MiB End job on node141 at 2011-06-03 13:57:39