Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1305.04 | 1305.37 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_1.opb |
MD5SUM | 162153f0f0e5f8f2e587b9d579ee09dc |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -106 |
Best CPU time to get the best result obtained on this benchmark | 1800.05 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -136 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 12636 |
Sum of products size (including duplicates) | 25272 |
Number of different products | 6318 |
Sum of products size | 12636 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702647-1278573073.opb. 0.00/0.00 c Instance file HOME/instance-2702647-1278573073.opb 0.00/0.00 c File size is 566997 bytes. 0.09/0.10 c Highest Coefficient sum: 1000 0.09/0.10 c ============================[ Problem Statistics ]============================= 0.09/0.10 c | | 0.09/0.10 c | Parsing time: 0.10 s | 0.09/0.10 c | Number Variables: 7318 | 0.09/0.10 c | Number Clauses: 6818 | 0.09/0.10 c | Number Cardinality: 1002 | 0.09/0.10 c | Number PB Constraints: 6318 | 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 7318 14138 53544 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c New solution: 0 0.09/0.19 o 0 0.09/0.19 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 7318 14139 54044 | 5000 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: -1 0.19/0.22 o -1 0.19/0.22 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 1 | 7318 14140 54544 | 5000 1 504 | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: -2 0.19/0.23 o -2 0.19/0.23 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 1 | 7318 14141 55044 | 5000 1 504 | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: -3 0.19/0.24 o -3 0.19/0.24 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 1 | 7318 14142 55544 | 5000 1 504 | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c New solution: -4 0.19/0.26 o -4 0.19/0.26 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s 0.19/0.26 c =============================================================================== 0.19/0.26 c | 17 | 7318 14143 56044 | 5000 17 965 | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: -5 0.19/0.27 o -5 0.19/0.27 c Elapsed CPU time: 0.264959 s Remaining CPU time: 179.735 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 17 | 7318 14144 56544 | 5000 17 965 | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: -6 0.19/0.27 o -6 0.19/0.27 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 17 | 7318 14145 57044 | 5000 17 965 | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c New solution: -7 0.19/0.28 o -7 0.19/0.28 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s 0.19/0.28 c =============================================================================== 0.19/0.28 c | 17 | 7318 14146 57544 | 5000 17 965 | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: -8 0.19/0.29 o -8 0.19/0.29 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 17 | 7318 14147 58044 | 5000 17 965 | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: -9 0.29/0.31 o -9 0.29/0.31 c Elapsed CPU time: 0.303953 s Remaining CPU time: 179.696 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 27 | 7318 14148 58544 | 5000 27 972 | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c New solution: -10 0.29/0.32 o -10 0.29/0.32 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s 0.29/0.32 c =============================================================================== 0.29/0.32 c | 28 | 7318 14149 59044 | 5000 28 938 | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c New solution: -11 0.29/0.33 o -11 0.29/0.33 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s 0.29/0.33 c =============================================================================== 0.29/0.33 c | 30 | 7318 14150 59544 | 5000 30 892 | 0.000 % | 0.29/0.37 c | 130 | 7318 14150 59544 | 5500 130 957 | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c New solution: -12 0.29/0.38 o -12 0.29/0.38 c Elapsed CPU time: 0.373943 s Remaining CPU time: 179.626 s 0.29/0.38 c =============================================================================== 0.29/0.38 c | 130 | 7318 14151 60044 | 5000 130 957 | 0.000 % | 0.39/0.42 c | 230 | 7318 14151 60044 | 5500 230 968 | 0.000 % | 0.39/0.48 c | 380 | 7318 14151 60044 | 6050 380 973 | 0.000 % | 0.49/0.57 c | 605 | 7318 14151 60044 | 6655 605 977 | 0.000 % | 0.69/0.71 c | 942 | 7318 14151 60044 | 7320 942 979 | 0.000 % | 0.69/0.73 c =============================================================================== 0.69/0.73 c New solution: -13 0.69/0.73 o -13 0.69/0.73 c Elapsed CPU time: 0.710891 s Remaining CPU time: 179.289 s 0.69/0.73 c =============================================================================== 0.69/0.73 c | 943 | 7318 14152 60544 | 5000 943 978 | 0.000 % | 0.69/0.77 c | 1043 | 7318 14152 60544 | 5500 1043 978 | 0.000 % | 0.69/0.79 c =============================================================================== 0.69/0.79 c New solution: -14 0.69/0.79 o -14 0.69/0.79 c Elapsed CPU time: 0.768883 s Remaining CPU time: 179.231 s 0.69/0.79 c =============================================================================== 0.69/0.79 c | 1043 | 7318 14153 61044 | 5000 1043 978 | 0.000 % | 0.79/0.83 c | 1143 | 7318 14153 61044 | 5500 1143 978 | 0.000 % | 0.79/0.89 c | 1294 | 7318 14153 61044 | 6050 1294 978 | 0.000 % | 0.89/0.94 c =============================================================================== 0.89/0.94 c New solution: -15 0.89/0.94 o -15 0.89/0.94 c Elapsed CPU time: 0.91586 s Remaining CPU time: 179.084 s 0.89/0.94 c =============================================================================== 0.89/0.94 c | 1412 | 7318 14154 61544 | 5000 1412 978 | 0.000 % | 0.89/0.98 c | 1512 | 7318 14154 61544 | 5500 1512 978 | 0.000 % | 1.00/1.04 c | 1663 | 7318 14154 61544 | 6050 1663 978 | 0.000 % | 1.00/1.06 c =============================================================================== 1.00/1.06 c New solution: -16 1.00/1.06 o -16 1.00/1.06 c Elapsed CPU time: 1.03184 s Remaining CPU time: 178.968 s 1.00/1.06 c =============================================================================== 1.00/1.06 c | 1665 | 7318 14155 62044 | 5000 1665 977 | 0.000 % | 1.00/1.07 c =============================================================================== 1.00/1.07 c New solution: -17 1.00/1.07 o -17 1.00/1.07 c Elapsed CPU time: 1.04584 s Remaining CPU time: 178.954 s 1.00/1.07 c =============================================================================== 1.00/1.07 c | 1674 | 7318 14156 62544 | 5000 1674 974 | 0.000 % | 1.10/1.12 c | 1774 | 7318 14156 62544 | 5500 1774 974 | 0.000 % | 1.10/1.18 c | 1924 | 7318 14156 62544 | 6050 1924 974 | 0.000 % | 1.19/1.27 c | 2149 | 7318 14156 62544 | 6655 2149 974 | 0.000 % | 1.39/1.41 c | 2486 | 7318 14156 62544 | 7320 2486 974 | 0.000 % | 1.59/1.62 c | 2992 | 7318 14156 62544 | 8052 2992 974 | 0.000 % | 1.99/2.00 c | 3751 | 7318 14156 62544 | 8857 3751 974 | 0.000 % | 2.49/2.56 c | 4890 | 7318 14156 62544 | 9743 4890 975 | 0.000 % | 3.49/3.51 c | 6599 | 7318 14156 62544 | 10717 6599 975 | 0.000 % | 3.49/3.58 c =============================================================================== 3.49/3.58 c New solution: -18 3.49/3.58 o -18 3.49/3.58 c Elapsed CPU time: 3.50547 s Remaining CPU time: 176.495 s 3.49/3.58 c =============================================================================== 3.49/3.58 c | 6699 | 7318 14157 63044 | 5000 6699 974 | 0.000 % | 3.59/3.64 c | 6799 | 7318 14157 63044 | 5500 3450 974 | 0.000 % | 3.69/3.71 c | 6949 | 7318 14157 63044 | 6050 3600 974 | 0.000 % | 3.69/3.72 c =============================================================================== 3.69/3.72 c New solution: -19 3.69/3.72 o -19 3.69/3.72 c Elapsed CPU time: 3.64445 s Remaining CPU time: 176.356 s 3.69/3.72 c =============================================================================== 3.69/3.72 c | 6950 | 7318 14158 63544 | 5000 3601 974 | 0.000 % | 3.69/3.77 c | 7050 | 7318 14158 63544 | 5500 3701 974 | 0.000 % | 3.79/3.80 c =============================================================================== 3.79/3.80 c New solution: -20 3.79/3.80 o -20 3.79/3.80 c Elapsed CPU time: 3.72543 s Remaining CPU time: 176.275 s 3.79/3.80 c =============================================================================== 3.79/3.80 c | 7092 | 7318 14159 64044 | 5000 3743 973 | 0.000 % | 3.79/3.85 c | 7192 | 7318 14159 64044 | 5500 3843 973 | 0.000 % | 3.89/3.93 c | 7342 | 7318 14159 64044 | 6050 3993 973 | 0.000 % | 3.99/4.03 c | 7567 | 7318 14159 64044 | 6655 4218 973 | 0.000 % | 4.09/4.17 c | 7904 | 7318 14159 64044 | 7320 4555 972 | 0.000 % | 4.30/4.37 c =============================================================================== 4.30/4.37 c New solution: -21 4.30/4.37 o -21 4.30/4.37 c Elapsed CPU time: 4.28335 s Remaining CPU time: 175.717 s 4.30/4.37 c =============================================================================== 4.30/4.37 c | 8154 | 7318 14160 64544 | 5000 4805 970 | 0.000 % | 4.40/4.43 c | 8254 | 7318 14160 64544 | 5500 4905 970 | 0.000 % | 4.40/4.49 c | 8404 | 7318 14160 64544 | 6050 5055 969 | 0.000 % | 4.59/4.60 c | 8630 | 7318 14160 64544 | 6655 5281 969 | 0.000 % | 4.69/4.76 c | 8968 | 7318 14160 64544 | 7320 5619 969 | 0.000 % | 4.89/4.97 c | 9474 | 7318 14160 64544 | 8052 6125 969 | 0.000 % | 5.29/5.33 c | 10233 | 7318 14160 64544 | 8857 6884 965 | 0.000 % | 5.89/5.92 c | 11372 | 7318 14160 64544 | 9743 8023 963 | 0.000 % | 6.69/6.78 c | 13080 | 7318 14160 64544 | 10717 9731 958 | 0.000 % | 8.39/8.42 c | 15642 | 7318 14160 64544 | 11789 12293 960 | 0.000 % | 8.39/8.47 c =============================================================================== 8.39/8.47 c New solution: -22 8.39/8.47 o -22 8.39/8.47 c Elapsed CPU time: 8.32773 s Remaining CPU time: 171.672 s 8.39/8.47 c =============================================================================== 8.39/8.47 c | 15663 | 7318 14161 65044 | 5000 6168 950 | 0.000 % | 8.49/8.53 c | 15763 | 7318 14161 65044 | 5500 3184 957 | 0.000 % | 8.59/8.60 c | 15913 | 7318 14161 65044 | 6050 3334 957 | 0.000 % | 8.59/8.69 c | 16138 | 7318 14161 65044 | 6655 3559 958 | 0.000 % | 8.80/8.83 c | 16475 | 7318 14161 65044 | 7320 3896 958 | 0.000 % | 9.19/9.20 c | 16981 | 7318 14161 65044 | 8052 4402 956 | 0.000 % | 9.49/9.54 c | 17740 | 7318 14161 65044 | 8857 5161 958 | 0.000 % | 9.49/9.56 c =============================================================================== 9.49/9.56 c New solution: -23 9.49/9.56 o -23 9.49/9.56 c Elapsed CPU time: 9.39957 s Remaining CPU time: 170.6 s 9.49/9.56 c =============================================================================== 9.49/9.56 c | 17762 | 7318 14162 65544 | 5000 5183 955 | 0.000 % | 9.59/9.62 c | 17862 | 7318 14162 65544 | 5500 2692 956 | 0.000 % | 9.59/9.69 c | 18012 | 7318 14162 65544 | 6050 2842 957 | 0.000 % | 9.69/9.78 c | 18237 | 7318 14162 65544 | 6655 3067 957 | 0.000 % | 9.90/9.93 c | 18574 | 7318 14162 65544 | 7320 3404 957 | 0.000 % | 10.09/10.14 c | 19081 | 7318 14162 65544 | 8052 3911 958 | 0.000 % | 10.48/10.52 c | 19840 | 7318 14162 65544 | 8857 4670 960 | 0.000 % | 10.48/10.53 c =============================================================================== 10.48/10.53 c New solution: -24 10.48/10.53 o -24 10.48/10.53 c Elapsed CPU time: 10.3544 s Remaining CPU time: 169.646 s 10.48/10.53 c =============================================================================== 10.48/10.53 c | 19844 | 7318 14163 66044 | 5000 4674 959 | 0.000 % | 10.48/10.59 c | 19944 | 7318 14163 66044 | 5500 4774 959 | 0.000 % | 10.59/10.66 c | 20094 | 7318 14163 66044 | 6050 4924 960 | 0.000 % | 10.69/10.75 c | 20319 | 7318 14163 66044 | 6655 5149 960 | 0.000 % | 10.79/10.89 c | 20656 | 7318 14163 66044 | 7320 5486 958 | 0.000 % | 10.99/11.09 c | 21162 | 7318 14163 66044 | 8052 5992 956 | 0.000 % | 11.29/11.39 c | 21921 | 7318 14163 66044 | 8857 6751 955 | 0.000 % | 11.89/11.90 c | 23060 | 7318 14163 66044 | 9743 7890 951 | 0.000 % | 12.58/12.69 c | 24768 | 7318 14163 66044 | 10717 9598 946 | 0.000 % | 13.98/14.08 c | 27330 | 7318 14163 66044 | 11789 12160 950 | 0.000 % | 14.09/14.12 c =============================================================================== 14.09/14.12 c New solution: -25 14.09/14.12 o -25 14.09/14.12 c Elapsed CPU time: 13.8759 s Remaining CPU time: 166.124 s 14.09/14.12 c =============================================================================== 14.09/14.12 c | 27335 | 7318 14164 66544 | 5000 6085 943 | 0.000 % | 14.09/14.17 c | 27435 | 7318 14164 66544 | 5500 3143 957 | 0.000 % | 14.19/14.24 c | 27585 | 7318 14164 66544 | 6050 3293 956 | 0.000 % | 14.29/14.32 c | 27810 | 7318 14164 66544 | 6655 3518 955 | 0.000 % | 14.38/14.44 c | 28147 | 7318 14164 66544 | 7320 3855 953 | 0.000 % | 14.59/14.63 c | 28653 | 7318 14164 66544 | 8052 4361 950 | 0.000 % | 14.89/14.97 c | 29412 | 7318 14164 66544 | 8857 5120 947 | 0.000 % | 15.39/15.44 c | 30551 | 7318 14164 66544 | 9743 6259 943 | 0.000 % | 16.08/16.19 c | 32259 | 7318 14164 66544 | 10717 7967 938 | 0.000 % | 17.38/17.44 c | 34821 | 7318 14164 66544 | 11789 10529 933 | 0.000 % | 19.79/19.83 c | 38665 | 7318 14164 66544 | 12968 14373 928 | 0.000 % | 22.79/22.86 c | 44431 | 7318 14164 66544 | 14265 12953 914 | 0.000 % | 29.60/29.65 c | 53080 | 7318 14164 66544 | 15692 10735 910 | 0.000 % | 38.78/38.88 c | 66054 | 7318 14164 66544 | 17261 11482 901 | 0.000 % | 54.28/54.35 c | 85515 | 7318 14164 66544 | 18987 17208 895 | 0.000 % | 78.97/79.06 c | 114707 | 7318 14164 66544 | 20886 15626 930 | 0.000 % | 120.36/120.45 c | 158496 | 7318 14164 66544 | 22974 24998 922 | 0.000 % | 180.94/181.09 c | 224180 | 7318 14164 66544 | 25272 18824 946 | 0.000 % | 181.54/181.66 c There are 0 assigned variables. 0 in cost function. 181.94/182.00 c core #1 181.94/182.00 c 181.94/182.00 c 181.94/182.00 c Core size: 1001 Core Weight: 1 Total Weight: -499 181.94/182.00 c 181.94/182.00 c 181.94/182.00 c ============================[ Search Statistics ]============================== 181.94/182.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.94/182.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.94/182.00 c =============================================================================== 181.94/182.00 c | 0 | 7818 14666 68047 | 5000 0 nan | 0.000 % | 182.35/182.48 c | 100 | 7818 14666 68047 | 5500 100 142 | 0.512 % | 182.95/183.07 c | 250 | 7778 14666 68047 | 6050 248 172 | 1.011 % | 183.55/183.65 c =============================================================================== 183.65/183.74 c core #2 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c Core size: 372 Core Weight: 1 Total Weight: -498 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c ============================[ Search Statistics ]============================== 183.65/183.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.65/183.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.65/183.74 c =============================================================================== 183.65/183.74 c | 0 | 8179 14678 68802 | 5000 0 nan | 0.000 % | 184.04/184.18 c | 100 | 8179 14678 68802 | 5500 100 342 | 0.000 % | 184.54/184.65 c | 251 | 8179 14678 68802 | 6050 251 332 | 0.000 % | 185.45/185.52 c | 476 | 8162 14678 68802 | 6655 475 378 | 0.208 % | 186.74/186.85 c | 813 | 8162 14678 68802 | 7320 812 398 | 0.208 % | 188.84/188.95 c | 1319 | 8162 14678 68802 | 8052 1318 411 | 0.208 % | 191.74/191.89 c | 2078 | 8162 14678 68802 | 8857 2077 414 | 0.208 % | 195.94/196.00 c | 3261 | 8149 14678 68802 | 9743 3246 416 | 0.494 % | 201.94/202.08 c | 4969 | 8106 14678 68802 | 10717 4945 428 | 0.905 % | 210.44/210.52 c | 7560 | 8102 14678 68802 | 11789 7536 421 | 1.162 % | 223.63/223.75 c | 11404 | 7971 14678 68802 | 12968 10813 421 | 3.191 % | 241.43/241.55 c | 17170 | 7961 14678 68802 | 14265 9840 384 | 3.998 % | 267.53/267.61 c | 25819 | 7841 14678 68802 | 15692 10014 375 | 5.282 % | 296.22/296.34 c =============================================================================== 297.22/297.37 c core #3 297.22/297.37 c 297.22/297.37 c 297.22/297.37 c Core size: 843 Core Weight: 1 Total Weight: -497 297.22/297.37 c 297.22/297.37 c 297.22/297.37 c ============================[ Search Statistics ]============================== 297.22/297.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 297.22/297.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 297.22/297.37 c =============================================================================== 297.22/297.37 c | 0 | 8679 14817 70202 | 5000 0 nan | 0.000 % | 297.82/297.96 c | 100 | 8679 14817 70202 | 5500 100 596 | 0.000 % | 298.31/298.49 c | 250 | 8679 14817 70202 | 6050 250 536 | 0.000 % | 299.12/299.23 c | 475 | 8679 14817 70202 | 6655 475 489 | 0.000 % | 300.41/300.57 c | 812 | 8679 14817 70202 | 7320 812 477 | 0.000 % | 302.32/302.50 c | 1318 | 8679 14817 70202 | 8052 1318 483 | 0.000 % | 305.11/305.27 c | 2077 | 8679 14817 70202 | 8857 2077 482 | 0.000 % | 308.71/308.88 c | 3216 | 8679 14817 70202 | 9743 3216 514 | 0.000 % | 314.42/314.56 c | 4968 | 8679 14817 70202 | 10717 4968 513 | 0.000 % | 324.41/324.58 c | 7562 | 8679 14817 70202 | 11789 7562 533 | 0.000 % | 338.20/338.37 c | 11486 | 8679 14817 70202 | 12968 11486 535 | 0.000 % | 357.31/357.41 c | 17252 | 8679 14817 70202 | 14265 10668 570 | 0.000 % | 387.40/387.51 c | 25901 | 8679 14817 70202 | 15692 11457 602 | 0.000 % | 427.89/428.00 c | 38876 | 8679 14817 70202 | 17261 16376 559 | 0.000 % | 493.56/493.72 c | 58337 | 8679 14817 70202 | 18987 18254 580 | 0.000 % | 592.24/592.46 c | 87529 | 8679 14817 70202 | 20886 16375 634 | 0.000 % | 740.21/740.49 c | 131318 | 8679 14817 70202 | 22974 14719 649 | 0.000 % | 949.35/949.65 c | 197008 | 8679 14817 70202 | 25272 17288 607 | 0.000 % | 1268.78/1269.12 c | 295631 | 8678 14817 70202 | 27799 17147 568 | 0.012 % |
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-2702647-1278573073/watcher-2702647-1278573073 -o /tmp/evaluation-result-2702647-1278573073/solver-2702647-1278573073 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702647-1278573073.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.96 0.51 0.54 3/105 30779 /proc/meminfo: memFree=1672496/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=3656 CPUtime=0 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 412 0 0 0 0 0 0 0 24 0 1 0 25515869 3743744 331 1992294400 134512640 135752675 4289619808 18446744073709551615 134609613 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 914 331 137 303 0 470 0 [startup+0.0713991 s] /proc/loadavg: 0.96 0.51 0.54 3/105 30779 /proc/meminfo: memFree=1672496/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=5344 CPUtime=0.07 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 896 0 0 0 7 0 0 0 25 0 1 0 25515869 5472256 815 1992294400 134512640 135752675 4289619808 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 1336 815 224 303 0 892 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 5344 [startup+0.100401 s] /proc/loadavg: 0.96 0.51 0.54 3/105 30779 /proc/meminfo: memFree=1672496/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=5872 CPUtime=0.09 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 1052 0 0 0 9 0 0 0 25 0 1 0 25515869 6012928 971 1992294400 134512640 135752675 4289619808 18446744073709551615 135204720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 1468 972 263 303 0 1024 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5872 [startup+0.300421 s] /proc/loadavg: 0.96 0.51 0.54 3/105 30779 /proc/meminfo: memFree=1672496/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=7432 CPUtime=0.29 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 1598 0 0 0 29 0 0 0 18 0 1 0 25515869 7610368 1378 1992294400 134512640 135752675 4289619808 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 1858 1378 144 303 0 1553 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7432 [startup+0.700461 s] /proc/loadavg: 0.96 0.51 0.54 3/105 30779 /proc/meminfo: memFree=1672496/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=9544 CPUtime=0.69 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 2156 0 0 0 68 1 0 0 18 0 1 0 25515869 9773056 1936 1992294400 134512640 135752675 4289619808 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 2386 1936 145 303 0 2081 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9544 [startup+1.50054 s] /proc/loadavg: 0.96 0.51 0.54 2/106 30780 /proc/meminfo: memFree=1663188/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=16584 CPUtime=1.49 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 3899 0 0 0 145 4 0 0 18 0 1 0 25515869 16982016 3679 1992294400 134512640 135752675 4289619808 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 4146 3679 145 303 0 3841 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16584 [startup+3.1007 s] /proc/loadavg: 0.96 0.52 0.54 2/106 30780 /proc/meminfo: memFree=1653516/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=29380 CPUtime=3.09 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 7098 0 0 0 302 7 0 0 21 0 1 0 25515869 30085120 6878 1992294400 134512640 135752675 4289619808 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 7345 6878 145 303 0 7040 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29380 [startup+6.30102 s] /proc/loadavg: 0.96 0.52 0.54 2/106 30780 /proc/meminfo: memFree=1627972/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=53916 CPUtime=6.29 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 13238 0 0 0 618 11 0 0 22 0 1 0 25515869 55209984 13018 1992294400 134512640 135752675 4289619808 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 13479 13018 145 303 0 13174 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 53916 [startup+12.7017 s] /proc/loadavg: 0.96 0.52 0.55 2/106 30780 /proc/meminfo: memFree=1577504/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=102592 CPUtime=12.69 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 25403 0 0 0 1247 22 0 0 25 0 1 0 25515869 105054208 25183 1992294400 134512640 135752675 4289619808 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 25648 25183 145 303 0 25343 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 102592 [startup+25.5009 s] /proc/loadavg: 0.97 0.55 0.55 2/106 30780 /proc/meminfo: memFree=1484628/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=191044 CPUtime=25.49 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 47515 0 0 0 2510 39 0 0 25 0 1 0 25515869 195629056 47295 1992294400 134512640 135752675 4289619808 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 47761 47295 145 303 0 47456 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 191044 [startup+51.1005 s] /proc/loadavg: 0.98 0.58 0.56 2/106 30780 /proc/meminfo: memFree=1363232/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=313976 CPUtime=51.08 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 78253 0 0 0 5047 61 0 0 25 0 1 0 25515869 321511424 78033 1992294400 134512640 135752675 4289619808 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 78494 78033 145 303 0 78189 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 313976 [startup+102.308 s] /proc/loadavg: 0.99 0.65 0.58 2/106 30782 /proc/meminfo: memFree=1142512/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=531648 CPUtime=102.27 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 132636 0 0 0 10124 103 0 0 25 0 1 0 25515869 544407552 132416 1992294400 134512640 135752675 4289619808 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 132912 132416 145 303 0 132607 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 531648 [startup+162.301 s] /proc/loadavg: 0.99 0.71 0.60 2/106 30784 /proc/meminfo: memFree=910632/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=765800 CPUtime=162.25 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 191145 0 0 0 16078 147 0 0 25 0 1 0 25515869 784179200 190925 1992294400 134512640 135752675 4289619808 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 191450 190925 145 303 0 191145 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 765800 [startup+222.301 s] /proc/loadavg: 0.99 0.76 0.63 2/106 30784 /proc/meminfo: memFree=823460/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=849296 CPUtime=222.24 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 212244 0 0 0 22054 170 0 0 25 0 1 0 25515869 869679104 211865 1992294400 134512640 135752675 4289619808 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 212324 211865 146 303 0 212019 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 849296 [startup+282.301 s] /proc/loadavg: 0.99 0.80 0.65 2/106 30786 /proc/meminfo: memFree=823336/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=849296 CPUtime=282.22 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 212246 0 0 0 28044 178 0 0 25 0 1 0 25515869 869679104 211867 1992294400 134512640 135752675 4289619808 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 212324 211867 146 303 0 212019 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 849296 [startup+342.301 s] /proc/loadavg: 0.99 0.83 0.67 2/106 30788 /proc/meminfo: memFree=812796/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=860372 CPUtime=342.2 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 215017 0 0 0 34030 190 0 0 25 0 1 0 25515869 881020928 214638 1992294400 134512640 135752675 4289619808 18446744073709551615 134638024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 215093 214638 146 303 0 214788 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 860372 [startup+402.301 s] /proc/loadavg: 0.99 0.86 0.68 2/106 30790 /proc/meminfo: memFree=756996/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=916800 CPUtime=402.19 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 229127 0 0 0 40012 207 0 0 25 0 1 0 25515869 938803200 228748 1992294400 134512640 135752675 4289619808 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 229200 228748 146 303 0 228895 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 916800 [startup+462.301 s] /proc/loadavg: 0.99 0.88 0.70 2/106 30792 /proc/meminfo: memFree=693260/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=979420 CPUtime=462.17 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 244812 0 0 0 45992 225 0 0 25 0 1 0 25515869 1002926080 244433 1992294400 134512640 135752675 4289619808 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 244855 244433 146 303 0 244550 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 979420 [startup+522.301 s] /proc/loadavg: 0.99 0.90 0.72 2/106 30792 /proc/meminfo: memFree=634112/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=1039440 CPUtime=522.16 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 259777 0 0 0 51972 244 0 0 25 0 1 0 25515869 1064386560 259398 1992294400 134512640 135752675 4289619808 18446744073709551615 134638055 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 259860 259398 146 303 0 259555 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 1039440 [startup+582.301 s] /proc/loadavg: 0.99 0.92 0.73 2/106 30797 /proc/meminfo: memFree=576948/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=1095464 CPUtime=582.14 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 273813 0 0 0 57953 261 0 0 25 0 1 0 25515869 1121755136 273434 1992294400 134512640 135752675 4289619808 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 273866 273434 146 303 0 273561 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 1095464 [startup+642.301 s] /proc/loadavg: 0.99 0.93 0.75 2/106 30799 /proc/meminfo: memFree=515568/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=1156220 CPUtime=642.13 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 288977 0 0 0 63928 285 0 0 25 0 1 0 25515869 1183969280 288598 1992294400 134512640 135752675 4289619808 18446744073709551615 134640133 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 289055 288598 146 303 0 288750 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 1156220 [startup+702.301 s] /proc/loadavg: 0.99 0.94 0.76 2/106 30801 /proc/meminfo: memFree=459768/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=1212368 CPUtime=702.11 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 303036 0 0 0 69907 304 0 0 25 0 1 0 25515869 1241464832 302657 1992294400 134512640 135752675 4289619808 18446744073709551615 134638050 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 303092 302657 146 303 0 302787 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 1212368 [startup+762.308 s] /proc/loadavg: 0.99 0.95 0.77 2/106 30803 /proc/meminfo: memFree=401984/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=1269812 CPUtime=762.11 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 317378 0 0 0 75881 330 0 0 25 0 1 0 25515869 1300287488 316999 1992294400 134512640 135752675 4289619808 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 317453 316999 146 303 0 317148 0 Current children cumulated CPU time (s) 762.11 Current children cumulated vsize (KiB) 1269812 [startup+822.301 s] /proc/loadavg: 0.99 0.95 0.78 2/106 30803 /proc/meminfo: memFree=340108/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=1332164 CPUtime=822.08 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 332966 0 0 0 81855 353 0 0 25 0 1 0 25515869 1364135936 332587 1992294400 134512640 135752675 4289619808 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 333041 332587 146 303 0 332736 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 1332164 [startup+882.301 s] /proc/loadavg: 0.99 0.96 0.79 2/106 30805 /proc/meminfo: memFree=273024/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=1398604 CPUtime=882.07 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 349579 0 0 0 87831 376 0 0 25 0 1 0 25515869 1432170496 349200 1992294400 134512640 135752675 4289619808 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 349651 349200 146 303 0 349346 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 1398604 [startup+942.301 s] /proc/loadavg: 0.99 0.96 0.80 2/106 30807 /proc/meminfo: memFree=210652/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=1461772 CPUtime=942.05 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 365381 0 0 0 93807 398 0 0 25 0 1 0 25515869 1496854528 365002 1992294400 134512640 135752675 4289619808 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 365443 365002 146 303 0 365138 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 1461772 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.82 2/106 30809 /proc/meminfo: memFree=143940/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=1527652 CPUtime=1002.04 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 381836 0 0 0 99781 423 0 0 25 0 1 0 25515869 1564315648 381457 1992294400 134512640 135752675 4289619808 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 381913 381457 146 303 0 381608 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 1527652 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.82 2/106 30811 /proc/meminfo: memFree=89380/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=1582772 CPUtime=1062.02 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 395616 0 0 0 105759 443 0 0 25 0 1 0 25515869 1620758528 395237 1992294400 134512640 135752675 4289619808 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 395693 395237 146 303 0 395388 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 1582772 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.83 2/106 30811 /proc/meminfo: memFree=21428/2059040 swapFree=4139448/4192956 [pid=30779] ppid=30777 vsize=1650028 CPUtime=1122 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 412414 0 0 0 111737 463 0 0 25 0 1 0 25515869 1689628672 412035 1992294400 134512640 135752675 4289619808 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 412507 412035 146 303 0 412202 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1650028 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.83 2/106 30813 /proc/meminfo: memFree=9220/2059040 swapFree=4139444/4192956 [pid=30779] ppid=30777 vsize=1712920 CPUtime=1182 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 428143 0 0 0 117709 491 0 0 25 0 1 0 25515869 1754030080 427764 1992294400 134512640 135752675 4289619808 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 428230 427764 146 303 0 427925 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 1712920 [startup+1242.3 s] /proc/loadavg: 1.13 1.00 0.85 2/106 30815 /proc/meminfo: memFree=10076/2059040 swapFree=4139444/4192956 [pid=30779] ppid=30777 vsize=1779072 CPUtime=1241.97 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 444702 0 0 0 123686 511 0 0 25 0 1 0 25515869 1821769728 444323 1992294400 134512640 135752675 4289619808 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 444768 444323 146 303 0 444463 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 1779072 [startup+1302.3 s] /proc/loadavg: 1.24 1.06 0.88 2/106 30817 /proc/meminfo: memFree=10500/2059040 swapFree=4139444/4192956 [pid=30779] ppid=30777 vsize=1840376 CPUtime=1301.97 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 460011 0 0 0 129659 538 0 0 25 0 1 0 25515869 1884545024 459632 1992294400 134512640 135752675 4289619808 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 460094 459632 146 303 0 459789 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1840376 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1305.2 s] /proc/loadavg: 1.24 1.06 0.88 2/106 30817 /proc/meminfo: memFree=10584/2059040 swapFree=4139444/4192956 [pid=30779] ppid=30777 vsize=1843280 CPUtime=1304.87 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4202496 460750 0 0 0 129948 539 0 0 25 0 1 0 25515869 1887518720 460371 1992294400 134512640 135752675 4289619808 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30779/statm: 460820 460371 146 303 0 460515 0 Current children cumulated CPU time (s) 1304.87 Current children cumulated vsize (KiB) 1843280 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1305.31 s] /proc/loadavg: 1.24 1.06 0.88 2/106 30817 /proc/meminfo: memFree=10584/2059040 swapFree=4139444/4192956 [pid=30779] ppid=30777 vsize=0 CPUtime=1304.97 /proc/30779/stat : 30779 (wbo1.4b) R 30777 30779 30700 0 -1 4203524 460750 0 0 0 129948 549 0 0 25 0 1 0 25515869 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/30779/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1304.97 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1305.37 CPU time (s): 1305.04 CPU user time (s): 1299.48 CPU system time (s): 5.55615 CPU usage (%): 99.9747 Max. virtual memory (cumulated for all children) (KiB): 1843280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1299.48 system time used= 5.55616 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460750 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= 14 involuntary context switches= 15800 runsolver used 2.14567 second user time and 6.18806 second system time The end
Begin job on node084 at 2010-07-08 09:11:13 IDJOB=2702647 IDBENCH=48258 IDSOLVER=1190 FILE ID=node084/2702647-1278573073 PBS_JOBID= 11240064 Free space on /tmp= 62500 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_1.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702647-1278573073/watcher-2702647-1278573073 -o /tmp/evaluation-result-2702647-1278573073/solver-2702647-1278573073 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702647-1278573073.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 162153f0f0e5f8f2e587b9d579ee09dc RANDOM SEED=1080049398 node084.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.215 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.43 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.215 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.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1673768 kB Buffers: 80132 kB Cached: 200568 kB SwapCached: 22024 kB Active: 176148 kB Inactive: 134012 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1673768 kB SwapTotal: 4192956 kB SwapFree: 4139448 kB Dirty: 2788 kB Writeback: 0 kB AnonPages: 12208 kB Mapped: 11972 kB Slab: 53216 kB PageTables: 4108 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182860 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702647-1278573073.opb Free space on /tmp at the end= 62496 MiB End job on node084 at 2010-07-08 09:33:01