Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.19 | 1800.73 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_1.opb |
MD5SUM | 7c4476530a00e5609896ce3ef5260c8d |
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 | 22 |
Best CPU time to get the best result obtained on this benchmark | 1789.56 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
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 | 200 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 23 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2482 |
Sum of products size (including duplicates) | 4964 |
Number of different products | 2482 |
Sum of products size | 4964 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702345-1278548067.opb. 0.00/0.00 c Instance file HOME/instance-2702345-1278548067.opb 0.00/0.00 c File size is 184960 bytes. 0.00/0.03 c Highest Coefficient sum: 24 0.00/0.03 c ============================[ Problem Statistics ]============================= 0.00/0.03 c | | 0.00/0.03 c | Parsing time: 0.03 s | 0.00/0.03 c | Number Variables: 2682 | 0.00/0.03 c | Number Clauses: 2682 | 0.00/0.03 c | Number Cardinality: 0 | 0.00/0.03 c | Number PB Constraints: 2482 | 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 2682 5164 17574 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 199 0.00/0.03 o 199 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 2682 5165 17774 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 198 0.00/0.04 o 198 0.00/0.04 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 2682 5166 17974 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 197 0.00/0.04 o 197 0.00/0.04 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 2682 5167 18174 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 106 0.00/0.04 o 106 0.00/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 2682 5168 18374 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 105 0.00/0.04 o 105 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 2682 5169 18574 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 104 0.00/0.04 o 104 0.00/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 2682 5170 18774 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 103 0.00/0.05 o 103 0.00/0.05 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 2682 5171 18974 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 102 0.00/0.05 o 102 0.00/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 2682 5172 19174 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 101 0.00/0.05 o 101 0.00/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 2682 5173 19374 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 100 0.00/0.05 o 100 0.00/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 2682 5174 19574 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 99 0.00/0.05 o 99 0.00/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 2682 5175 19774 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 98 0.00/0.06 o 98 0.00/0.06 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 2682 5176 19974 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 97 0.00/0.06 o 97 0.00/0.06 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 2 | 2682 5177 20174 | 5000 2 99 | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 35 0.00/0.06 o 35 0.00/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 2 | 2682 5178 20374 | 5000 2 99 | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 34 0.00/0.07 o 34 0.00/0.07 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 30 | 2682 5179 20574 | 5000 30 62 | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 33 0.00/0.07 o 33 0.00/0.07 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 30 | 2682 5180 20774 | 5000 30 62 | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 32 0.00/0.07 o 32 0.00/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 48 | 2682 5181 20974 | 5000 48 65 | 0.000 % | 0.00/0.09 c | 150 | 2682 5181 20974 | 5500 150 79 | 0.000 % | 0.10/0.11 c | 301 | 2682 5181 20974 | 6050 301 70 | 0.000 % | 0.10/0.14 c | 527 | 2682 5181 20974 | 6655 527 64 | 0.000 % | 0.10/0.18 c | 864 | 2682 5181 20974 | 7320 864 66 | 0.000 % | 0.19/0.25 c | 1370 | 2682 5181 20974 | 8052 1370 68 | 0.000 % | 0.29/0.37 c | 2130 | 2682 5181 20974 | 8857 2130 71 | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c New solution: 31 0.29/0.37 o 31 0.29/0.37 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s 0.29/0.37 c =============================================================================== 0.29/0.37 c | 2132 | 2682 5182 21174 | 5000 2132 71 | 0.000 % | 0.29/0.39 c | 2232 | 2682 5182 21174 | 5500 2232 71 | 0.000 % | 0.39/0.41 c | 2382 | 2682 5182 21174 | 6050 2382 71 | 0.000 % | 0.39/0.44 c | 2608 | 2682 5182 21174 | 6655 2608 72 | 0.000 % | 0.39/0.49 c | 2946 | 2682 5182 21174 | 7320 2946 72 | 0.000 % | 0.49/0.56 c | 3453 | 2682 5182 21174 | 8052 3453 72 | 0.000 % | 0.59/0.68 c | 4212 | 2682 5182 21174 | 8857 4212 72 | 0.000 % | 0.79/0.86 c | 5352 | 2682 5182 21174 | 9743 5352 75 | 0.000 % | 1.10/1.13 c | 7060 | 2682 5182 21174 | 10717 7060 73 | 0.000 % | 1.49/1.52 c | 9623 | 2682 5182 21174 | 11789 9623 74 | 0.000 % | 2.09/2.17 c | 13468 | 2682 5182 21174 | 12968 13468 74 | 0.000 % | 3.09/3.15 c | 19234 | 2682 5182 21174 | 14265 12500 74 | 0.000 % | 4.99/5.00 c | 27885 | 2682 5182 21174 | 15692 12884 92 | 0.000 % | 8.09/8.18 c | 40859 | 2682 5182 21174 | 17261 16945 91 | 0.000 % | 8.48/8.55 c =============================================================================== 8.48/8.55 c New solution: 30 8.48/8.55 o 30 8.48/8.55 c Elapsed CPU time: 8.41072 s Remaining CPU time: 171.589 s 8.48/8.55 c =============================================================================== 8.48/8.55 c | 43095 | 2682 5183 21374 | 5000 19181 89 | 0.000 % | 8.58/8.64 c | 43196 | 2682 5183 21374 | 5500 4897 81 | 0.000 % | 8.58/8.67 c | 43346 | 2682 5183 21374 | 6050 5047 80 | 0.000 % | 8.69/8.70 c | 43571 | 2682 5183 21374 | 6655 5272 79 | 0.000 % | 8.69/8.75 c | 43909 | 2682 5183 21374 | 7320 5610 78 | 0.000 % | 8.80/8.83 c | 44416 | 2682 5183 21374 | 8052 6117 77 | 0.000 % | 8.89/8.96 c | 45176 | 2682 5183 21374 | 8857 6877 77 | 0.000 % | 9.09/9.14 c | 46316 | 2682 5183 21374 | 9743 8017 77 | 0.000 % | 9.38/9.44 c | 48025 | 2682 5183 21374 | 10717 9726 76 | 0.000 % | 9.89/9.90 c | 50587 | 2682 5183 21374 | 11789 12288 77 | 0.000 % | 10.59/10.65 c | 54433 | 2682 5183 21374 | 12968 9990 73 | 0.000 % | 11.69/11.72 c | 60201 | 2682 5183 21374 | 14265 8197 68 | 0.000 % | 13.48/13.55 c | 68850 | 2682 5183 21374 | 15692 8705 84 | 0.000 % | 14.49/14.52 c =============================================================================== 14.49/14.52 c New solution: 29 14.49/14.52 o 29 14.49/14.52 c Elapsed CPU time: 14.2968 s Remaining CPU time: 165.703 s 14.49/14.52 c =============================================================================== 14.49/14.52 c | 74116 | 2682 5184 21574 | 5000 13971 76 | 0.000 % | 14.49/14.57 c | 74217 | 2682 5184 21574 | 5500 3594 63 | 0.000 % | 14.49/14.59 c | 74367 | 2682 5184 21574 | 6050 3744 63 | 0.000 % | 14.59/14.63 c | 74593 | 2682 5184 21574 | 6655 3970 63 | 0.000 % | 14.59/14.68 c | 74930 | 2682 5184 21574 | 7320 4307 65 | 0.000 % | 14.69/14.76 c | 75436 | 2682 5184 21574 | 8052 4813 66 | 0.000 % | 14.79/14.89 c | 76195 | 2682 5184 21574 | 8857 5572 66 | 0.000 % | 14.99/15.07 c | 77335 | 2682 5184 21574 | 9743 6712 69 | 0.000 % | 15.28/15.36 c | 79044 | 2682 5184 21574 | 10717 8421 68 | 0.000 % | 15.79/15.81 c | 81606 | 2682 5184 21574 | 11789 10983 72 | 0.000 % | 16.49/16.52 c | 85450 | 2682 5184 21574 | 12968 7878 74 | 0.000 % | 17.70/17.77 c | 91218 | 2682 5184 21574 | 14265 13646 86 | 0.000 % | 19.59/19.60 c | 99867 | 2682 5184 21574 | 15692 14103 87 | 0.000 % | 22.48/22.52 c | 112842 | 2682 5184 21574 | 17261 9220 79 | 0.000 % | 26.98/27.02 c | 132303 | 2682 5184 21574 | 18987 18971 71 | 0.000 % | 35.38/35.42 c | 161495 | 2682 5184 21574 | 20886 16423 87 | 0.000 % | 39.38/39.47 c =============================================================================== 39.38/39.47 c New solution: 28 39.38/39.47 o 28 39.38/39.47 c Elapsed CPU time: 38.9011 s Remaining CPU time: 141.099 s 39.38/39.47 c =============================================================================== 39.38/39.47 c | 178716 | 2682 5185 21774 | 5000 21760 70 | 0.000 % | 39.48/39.58 c | 178816 | 2682 5185 21774 | 5500 2802 71 | 0.000 % | 39.58/39.61 c | 178967 | 2682 5185 21774 | 6050 2953 71 | 0.000 % | 39.58/39.64 c | 179192 | 2682 5185 21774 | 6655 3178 71 | 0.000 % | 39.58/39.69 c | 179530 | 2682 5185 21774 | 7320 3516 70 | 0.000 % | 39.68/39.77 c | 180036 | 2682 5185 21774 | 8052 4022 70 | 0.000 % | 39.88/39.90 c | 180796 | 2682 5185 21774 | 8857 4782 70 | 0.000 % | 40.08/40.11 c | 181936 | 2682 5185 21774 | 9743 5922 69 | 0.000 % | 40.28/40.37 c | 183644 | 2682 5185 21774 | 10717 7630 67 | 0.000 % | 40.78/40.87 c | 186206 | 2682 5185 21774 | 11789 10192 68 | 0.000 % | 41.58/41.67 c | 190050 | 2682 5185 21774 | 12968 7155 77 | 0.000 % | 42.88/42.92 c | 195817 | 2682 5185 21774 | 14265 12922 75 | 0.000 % | 44.98/45.05 c | 204467 | 2682 5185 21774 | 15692 13384 85 | 0.000 % | 47.78/47.85 c | 217442 | 2682 5185 21774 | 17261 17444 82 | 0.000 % | 52.68/52.73 c | 236904 | 2682 5185 21774 | 18987 18494 75 | 0.000 % | 61.27/61.36 c | 266096 | 2682 5185 21774 | 20886 16100 90 | 0.000 % | 74.88/74.98 c | 309887 | 2682 5185 21774 | 22974 12700 81 | 0.000 % | 96.27/96.38 c | 375571 | 2682 5185 21774 | 25272 23670 76 | 0.000 % | 125.85/125.92 c | 474097 | 2682 5185 21774 | 27799 26254 69 | 0.000 % | 175.24/175.32 c | 621886 | 2682 5185 21774 | 30579 28737 63 | 0.000 % | 182.04/182.16 c There are 0 assigned variables. 0 in cost function. 182.94/183.00 c core #1 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c Core size: 22 Core Weight: 1 Total Weight: 1 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c core #2 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c Core size: 22 Core Weight: 1 Total Weight: 2 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c core #3 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c Core size: 22 Core Weight: 1 Total Weight: 3 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c core #4 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c Core size: 24 Core Weight: 1 Total Weight: 4 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c core #5 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c Core size: 22 Core Weight: 1 Total Weight: 5 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c core #6 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c Core size: 22 Core Weight: 1 Total Weight: 6 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c core #7 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c Core size: 22 Core Weight: 1 Total Weight: 7 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c core #8 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c Core size: 51 Core Weight: 1 Total Weight: 8 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c ============================[ Search Statistics ]============================== 182.94/183.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.01 c =============================================================================== 182.94/183.01 c | 0 | 1471 5393 16638 | 5000 0 nan | 0.000 % | 182.94/183.02 c =============================================================================== 182.94/183.04 c core #9 182.94/183.04 c 182.94/183.04 c 182.94/183.04 c Core size: 285 Core Weight: 1 Total Weight: 9 182.94/183.04 c 182.94/183.04 c 182.94/183.04 c ============================[ Search Statistics ]============================== 182.94/183.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.04 c =============================================================================== 182.94/183.04 c | 0 | 2657 5394 21097 | 5000 0 nan | 0.000 % | 182.94/183.08 c | 106 | 2657 5394 21097 | 5500 106 131 | 9.194 % | 183.04/183.17 c | 260 | 2657 5394 21097 | 6050 260 136 | 9.193 % | 183.14/183.20 c =============================================================================== 183.14/183.22 c core #10 183.14/183.22 c 183.14/183.22 c 183.14/183.22 c Core size: 334 Core Weight: 1 Total Weight: 10 183.14/183.22 c 183.14/183.22 c 183.14/183.22 c ============================[ Search Statistics ]============================== 183.14/183.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.22 c =============================================================================== 183.14/183.22 c | 0 | 3112 5395 22834 | 5000 0 nan | 0.000 % | 183.14/183.26 c | 100 | 3112 5395 22834 | 5500 100 137 | 0.000 % | 183.24/183.33 c | 252 | 3112 5395 22834 | 6050 252 135 | 0.000 % | 183.34/183.42 c | 477 | 3112 5395 22834 | 6655 477 129 | 0.000 % | 183.43/183.59 c | 819 | 3112 5395 22834 | 7320 819 122 | 0.000 % | 183.74/183.86 c | 1325 | 3112 5395 22834 | 8052 1325 123 | 0.000 % | 184.14/184.23 c | 2089 | 3112 5395 22834 | 8857 2089 128 | 0.000 % | 184.74/184.88 c | 3228 | 3112 5395 22834 | 9743 3228 143 | 0.000 % | 185.84/185.97 c | 4943 | 3112 5395 22834 | 10717 4943 152 | 0.000 % | 187.83/187.92 c | 7506 | 3112 5395 22834 | 11789 7506 157 | 0.000 % | 191.63/191.70 c | 11352 | 3112 5395 22834 | 12968 11352 158 | 0.000 % | 196.73/196.86 c | 17120 | 3112 5395 22834 | 14265 10440 148 | 0.000 % | 206.03/206.15 c | 25773 | 3112 5395 22834 | 15692 11745 150 | 0.000 % | 220.33/220.47 c | 38748 | 3112 5395 22834 | 17261 8767 167 | 0.000 % | 240.21/240.36 c | 58209 | 3112 5395 22834 | 18987 10512 133 | 0.000 % | 255.13/255.21 c =============================================================================== 256.42/256.51 c core #11 256.42/256.51 c 256.42/256.51 c 256.42/256.51 c Core size: 327 Core Weight: 1 Total Weight: 11 256.42/256.51 c 256.42/256.51 c 256.42/256.51 c ============================[ Search Statistics ]============================== 256.42/256.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 256.42/256.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 256.42/256.51 c =============================================================================== 256.42/256.51 c | 0 | 3312 5396 23234 | 5000 0 nan | 0.000 % | 256.42/256.58 c | 104 | 3312 5396 23234 | 5500 104 174 | 0.000 % | 256.52/256.64 c | 256 | 3312 5396 23234 | 6050 256 133 | 0.000 % | 256.62/256.72 c | 485 | 3312 5396 23234 | 6655 485 136 | 0.000 % | 256.72/256.88 c | 822 | 3312 5396 23234 | 7320 822 146 | 0.000 % | 257.01/257.11 c | 1328 | 3312 5396 23234 | 8052 1328 163 | 0.000 % | 257.22/257.37 c | 2092 | 3312 5396 23234 | 8857 2092 182 | 0.000 % | 257.71/257.84 c | 3235 | 3312 5396 23234 | 9743 3235 168 | 0.000 % | 258.61/258.79 c | 4944 | 3312 5396 23234 | 10717 4944 177 | 0.000 % | 260.31/260.47 c | 7509 | 3312 5396 23234 | 11789 7509 185 | 0.000 % | 262.92/263.05 c | 11354 | 3312 5396 23234 | 12968 11354 186 | 0.000 % | 267.71/267.88 c | 17121 | 3312 5396 23234 | 14265 10512 187 | 0.000 % | 277.71/277.86 c | 25772 | 3312 5396 23234 | 15692 11922 225 | 0.000 % | 292.61/292.73 c | 38750 | 3312 5396 23234 | 17261 8867 233 | 0.000 % | 316.30/316.45 c | 58212 | 3312 5396 23234 | 18987 10917 231 | 0.000 % | 352.99/353.14 c | 87408 | 3312 5396 23234 | 20886 10700 286 | 0.000 % | 417.56/417.73 c | 131199 | 3312 5396 23234 | 22974 11450 270 | 0.000 % | 504.84/505.06 c | 196885 | 3312 5396 23234 | 25272 17851 249 | 0.000 % | 645.89/646.12 c | 295411 | 3312 5396 23234 | 27799 22872 232 | 0.000 % | 873.33/873.65 c | 443204 | 3312 5396 23234 | 30579 21607 217 | 0.000 % | 1224.72/1225.16 c | 664887 | 3312 5396 23234 | 33637 14998 208 | 0.000 % | 1750.86/1751.46 c | 997412 | 3312 5396 23234 | 37001 14590 251 | 0.000 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702345-1278548067/watcher-2702345-1278548067 -o /tmp/evaluation-result-2702345-1278548067/solver-2702345-1278548067 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702345-1278548067.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.91 0.95 0.82 3/105 26570 /proc/meminfo: memFree=1723456/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=3116 CPUtime=0 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 23015371 3190784 283 1992294400 134512640 135752675 4294244736 18446744073709551615 134647871 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 779 284 141 303 0 428 0 [startup+0.109619 s] /proc/loadavg: 0.91 0.95 0.82 3/105 26570 /proc/meminfo: memFree=1723456/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=3628 CPUtime=0.1 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 671 0 0 0 10 0 0 0 18 0 1 0 23015371 3715072 486 1992294400 134512640 135752675 4294244736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 907 486 145 303 0 602 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3628 [startup+0.201628 s] /proc/loadavg: 0.91 0.95 0.82 3/105 26570 /proc/meminfo: memFree=1723456/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=3892 CPUtime=0.19 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 736 0 0 0 19 0 0 0 18 0 1 0 23015371 3985408 551 1992294400 134512640 135752675 4294244736 18446744073709551615 134605424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 973 551 145 303 0 668 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3892 [startup+0.30164 s] /proc/loadavg: 0.91 0.95 0.82 3/105 26570 /proc/meminfo: memFree=1723456/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=4280 CPUtime=0.29 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 809 0 0 0 28 1 0 0 18 0 1 0 23015371 4382720 624 1992294400 134512640 135752675 4294244736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 1070 624 145 303 0 765 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4280 [startup+0.700682 s] /proc/loadavg: 0.91 0.95 0.82 3/105 26570 /proc/meminfo: memFree=1723456/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=5320 CPUtime=0.69 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 1087 0 0 0 67 2 0 0 18 0 1 0 23015371 5447680 902 1992294400 134512640 135752675 4294244736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 1330 902 145 303 0 1025 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5320 [startup+1.50177 s] /proc/loadavg: 0.91 0.95 0.82 2/106 26571 /proc/meminfo: memFree=1719480/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=7544 CPUtime=1.49 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 1632 0 0 0 146 3 0 0 20 0 1 0 23015371 7725056 1447 1992294400 134512640 135752675 4294244736 18446744073709551615 134611746 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 1886 1447 145 303 0 1581 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7544 [startup+3.10194 s] /proc/loadavg: 0.91 0.95 0.82 2/106 26571 /proc/meminfo: memFree=1716504/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=11392 CPUtime=3.09 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 2602 0 0 0 303 6 0 0 25 0 1 0 23015371 11665408 2417 1992294400 134512640 135752675 4294244736 18446744073709551615 134605384 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 2848 2417 145 303 0 2543 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11392 [startup+6.30128 s] /proc/loadavg: 0.92 0.95 0.82 2/106 26571 /proc/meminfo: memFree=1708444/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=18592 CPUtime=6.29 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 4387 0 0 0 619 10 0 0 25 0 1 0 23015371 19038208 4202 1992294400 134512640 135752675 4294244736 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 4648 4202 145 303 0 4343 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18592 [startup+12.702 s] /proc/loadavg: 0.93 0.95 0.82 2/106 26571 /proc/meminfo: memFree=1695052/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=31716 CPUtime=12.69 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 7656 0 0 0 1249 20 0 0 25 0 1 0 23015371 32477184 7471 1992294400 134512640 135752675 4294244736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 7929 7471 145 303 0 7624 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31716 [startup+25.5013 s] /proc/loadavg: 0.94 0.96 0.82 2/106 26571 /proc/meminfo: memFree=1668764/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=57100 CPUtime=25.49 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 14001 0 0 0 2510 39 0 0 25 0 1 0 23015371 58470400 13816 1992294400 134512640 135752675 4294244736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 14275 13816 145 303 0 13970 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 57100 [startup+51.101 s] /proc/loadavg: 0.96 0.96 0.82 2/106 26573 /proc/meminfo: memFree=1625984/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=100160 CPUtime=51.08 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 24767 0 0 0 5037 71 0 0 25 0 1 0 23015371 102563840 24582 1992294400 134512640 135752675 4294244736 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 25040 24582 145 303 0 24735 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 100160 [startup+102.301 s] /proc/loadavg: 0.98 0.96 0.83 2/106 26573 /proc/meminfo: memFree=1556420/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=168876 CPUtime=102.27 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 41934 0 0 0 10104 123 0 0 25 0 1 0 23015371 172929024 41749 1992294400 134512640 135752675 4294244736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 42219 41749 145 303 0 41914 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 168876 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.83 2/106 26575 /proc/meminfo: memFree=1482640/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=243152 CPUtime=162.24 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 60462 0 0 0 16036 188 0 0 25 0 1 0 23015371 248987648 60277 1992294400 134512640 135752675 4294244736 18446744073709551615 134611647 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 60788 60277 145 303 0 60483 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 243152 [startup+222.308 s] /proc/loadavg: 0.99 0.97 0.84 2/106 26577 /proc/meminfo: memFree=1447052/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=277796 CPUtime=222.24 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 69238 0 0 0 21991 233 0 0 25 0 1 0 23015371 284463104 69021 1992294400 134512640 135752675 4294244736 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 69449 69021 146 303 0 69144 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 277796 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.85 2/106 26579 /proc/meminfo: memFree=1408364/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=316804 CPUtime=282.21 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 78969 0 0 0 27953 268 0 0 25 0 1 0 23015371 324407296 78752 1992294400 134512640 135752675 4294244736 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 79201 78752 146 303 0 78896 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 316804 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.85 2/106 26582 /proc/meminfo: memFree=1352068/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=372272 CPUtime=342.19 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 92785 0 0 0 33920 299 0 0 25 0 1 0 23015371 381206528 92568 1992294400 134512640 135752675 4294244736 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 93068 92568 146 303 0 92763 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 372272 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.86 2/106 26584 /proc/meminfo: memFree=1297756/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=426836 CPUtime=402.17 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 106394 0 0 0 39889 328 0 0 25 0 1 0 23015371 437080064 106177 1992294400 134512640 135752675 4294244736 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 106709 106177 146 303 0 106404 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 426836 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.86 2/106 26586 /proc/meminfo: memFree=1245056/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=479564 CPUtime=462.16 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 119549 0 0 0 45855 361 0 0 25 0 1 0 23015371 491073536 119332 1992294400 134512640 135752675 4294244736 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 119891 119332 146 303 0 119586 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 479564 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.87 2/106 26588 /proc/meminfo: memFree=1194712/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=530700 CPUtime=522.13 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 132331 0 0 0 51822 391 0 0 25 0 1 0 23015371 543436800 132114 1992294400 134512640 135752675 4294244736 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 132675 132114 146 303 0 132370 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 530700 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.87 2/106 26590 /proc/meminfo: memFree=1140772/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=583832 CPUtime=582.11 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 145607 0 0 0 57792 419 0 0 25 0 1 0 23015371 597843968 145390 1992294400 134512640 135752675 4294244736 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 145958 145390 146 303 0 145653 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 583832 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.88 2/106 26590 /proc/meminfo: memFree=1096008/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=628720 CPUtime=642.1 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 156810 0 0 0 63760 450 0 0 25 0 1 0 23015371 643809280 156593 1992294400 134512640 135752675 4294244736 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 157180 156593 146 303 0 156875 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 628720 [startup+702.301 s] ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 0.99 0.97 0.90 2/106 26598 /proc/meminfo: memFree=924020/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=800060 CPUtime=882.03 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 199610 0 0 0 87642 561 0 0 25 0 1 0 23015371 819261440 199393 1992294400 134512640 135752675 4294244736 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 200015 199393 146 303 0 199710 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 800060 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/106 26598 /proc/meminfo: memFree=889548/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=835208 CPUtime=942.01 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 208365 0 0 0 93613 588 0 0 25 0 1 0 23015371 855252992 208148 1992294400 134512640 135752675 4294244736 18446744073709551615 134638061 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 208802 208148 146 303 0 208497 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 835208 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 26600 /proc/meminfo: memFree=848380/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=875992 CPUtime=1001.99 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 218531 0 0 0 99587 612 0 0 25 0 1 0 23015371 897015808 218314 1992294400 134512640 135752675 4294244736 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 218998 218314 146 303 0 218693 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 875992 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 26602 /proc/meminfo: memFree=801508/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=923136 CPUtime=1061.98 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 230291 0 0 0 105556 642 0 0 25 0 1 0 23015371 945291264 230074 1992294400 134512640 135752675 4294244736 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 230784 230074 146 303 0 230479 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 923136 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 26604 /proc/meminfo: memFree=757736/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=966412 CPUtime=1121.95 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 241118 0 0 0 111524 671 0 0 25 0 1 0 23015371 989605888 240901 1992294400 134512640 135752675 4294244736 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 241603 240901 146 303 0 241298 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 966412 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 26606 /proc/meminfo: memFree=711360/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=1013148 CPUtime=1181.93 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 252794 0 0 0 117491 702 0 0 25 0 1 0 23015371 1037463552 252577 1992294400 134512640 135752675 4294244736 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 253287 252577 146 303 0 252982 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 1013148 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 26606 /proc/meminfo: memFree=664860/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=1059020 CPUtime=1241.91 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 264246 0 0 0 123458 733 0 0 25 0 1 0 23015371 1084436480 264029 1992294400 134512640 135752675 4294244736 18446744073709551615 134611669 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 264755 264029 146 303 0 264450 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1059020 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 26608 /proc/meminfo: memFree=619972/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=1104112 CPUtime=1301.89 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 275509 0 0 0 129426 763 0 0 25 0 1 0 23015371 1130610688 275292 1992294400 134512640 135752675 4294244736 18446744073709551615 134639688 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 276028 275292 146 303 0 275723 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1104112 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 26610 /proc/meminfo: memFree=572108/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=1151736 CPUtime=1361.88 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 287399 0 0 0 135396 792 0 0 25 0 1 0 23015371 1179377664 287182 1992294400 134512640 135752675 4294244736 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 287934 287182 146 303 0 287629 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1151736 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 26612 /proc/meminfo: memFree=524368/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=1198944 CPUtime=1421.88 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 299207 0 0 0 141367 821 0 0 25 0 1 0 23015371 1227718656 298990 1992294400 134512640 135752675 4294244736 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 299736 298990 146 303 0 299431 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1198944 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 26614 /proc/meminfo: memFree=480720/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=1243436 CPUtime=1481.84 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 310302 0 0 0 147337 847 0 0 25 0 1 0 23015371 1273278464 310085 1992294400 134512640 135752675 4294244736 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 310859 310085 146 303 0 310554 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1243436 [startup+1542.31 s] /proc/loadavg: 0.99 0.97 0.91 2/106 26614 /proc/meminfo: memFree=435088/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=1288476 CPUtime=1541.83 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 321527 0 0 0 153306 877 0 0 25 0 1 0 23015371 1319399424 321310 1992294400 134512640 135752675 4294244736 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 322119 321310 146 303 0 321814 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1288476 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 26616 /proc/meminfo: memFree=388588/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=1335092 CPUtime=1601.8 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 333202 0 0 0 159275 905 0 0 25 0 1 0 23015371 1367134208 332985 1992294400 134512640 135752675 4294244736 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 333773 332985 146 303 0 333468 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1335092 [startup+1662.3 s] /proc/loadavg: 1.11 1.00 0.92 2/106 26618 /proc/meminfo: memFree=343452/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=1380032 CPUtime=1661.79 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 344430 0 0 0 165244 935 0 0 25 0 1 0 23015371 1413152768 344213 1992294400 134512640 135752675 4294244736 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 345008 344213 146 303 0 344703 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1380032 [startup+1722.3 s] /proc/loadavg: 1.11 1.02 0.93 2/106 26620 /proc/meminfo: memFree=298812/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=1424696 CPUtime=1721.77 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 355595 0 0 0 171214 963 0 0 25 0 1 0 23015371 1458888704 355378 1992294400 134512640 135752675 4294244736 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 356174 355378 146 303 0 355869 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 1424696 [startup+1782.3 s] /proc/loadavg: 1.11 1.03 0.93 2/106 26622 /proc/meminfo: memFree=268060/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=1454948 CPUtime=1781.75 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 363138 0 0 0 177193 982 0 0 25 0 1 0 23015371 1489866752 362921 1992294400 134512640 135752675 4294244736 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 363737 362921 146 303 0 363432 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 1454948 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.08 1.02 0.93 2/106 26622 /proc/meminfo: memFree=260248/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=1462632 CPUtime=1800.06 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4202496 365035 0 0 0 179019 987 0 0 25 0 1 0 23015371 1497735168 364818 1992294400 134512640 135752675 4294244736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26570/statm: 365658 364818 146 303 0 365353 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1462632 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.08 1.02 0.93 2/107 26623 /proc/meminfo: memFree=1416168/2059040 swapFree=4153580/4192956 [pid=26570] ppid=26568 vsize=0 CPUtime=1800.16 /proc/26570/stat : 26570 (wbo1.4b) R 26568 26570 26077 0 -1 4203524 365035 0 0 0 179019 997 0 0 25 0 1 0 23015371 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/26570/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.73 CPU time (s): 1800.19 CPU user time (s): 1790.2 CPU system time (s): 9.99648 CPU usage (%): 99.9699 Max. virtual memory (cumulated for all children) (KiB): 1462632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.2 system time used= 9.99648 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 365035 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= 10 involuntary context switches= 1697 runsolver used 3.02554 second user time and 8.46471 second system time The end
Begin job on node081 at 2010-07-08 02:14:27 IDJOB=2702345 IDBENCH=48107 IDSOLVER=1190 FILE ID=node081/2702345-1278548067 PBS_JOBID= 11239482 Free space on /tmp= 121804 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_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-2702345-1278548067/watcher-2702345-1278548067 -o /tmp/evaluation-result-2702345-1278548067/solver-2702345-1278548067 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702345-1278548067.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7c4476530a00e5609896ce3ef5260c8d RANDOM SEED=285902742 node081.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.242 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.48 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.242 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.38 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1724356 kB Buffers: 57356 kB Cached: 180612 kB SwapCached: 2212 kB Active: 145424 kB Inactive: 115540 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1724356 kB SwapTotal: 4192956 kB SwapFree: 4153580 kB Dirty: 2612 kB Writeback: 0 kB AnonPages: 20856 kB Mapped: 12788 kB Slab: 51764 kB PageTables: 4096 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182756 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702345-1278548067.opb Free space on /tmp at the end= 121800 MiB End job on node081 at 2010-07-08 02:44:30