Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1596.7 | 1597.08 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_2.opb |
MD5SUM | c154cb0964ce03c2d199339cf62d0c63 |
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 | -26 |
Best CPU time to get the best result obtained on this benchmark | 1789.52 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -29 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 301 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
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) | 2520 |
Sum of products size (including duplicates) | 5040 |
Number of different products | 1260 |
Sum of products size | 2520 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702613-1278572894.opb. 0.00/0.00 c Instance file HOME/instance-2702613-1278572894.opb 0.00/0.00 c File size is 107624 bytes. 0.00/0.02 c Highest Coefficient sum: 200 0.00/0.02 c ============================[ Problem Statistics ]============================= 0.00/0.02 c | | 0.00/0.02 c | Parsing time: 0.02 s | 0.00/0.02 c | Number Variables: 1460 | 0.00/0.02 c | Number Clauses: 1360 | 0.00/0.02 c | Number Cardinality: 202 | 0.00/0.02 c | Number PB Constraints: 1260 | 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 | 1460 2822 10680 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 0 0.00/0.03 o 0 0.00/0.03 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 1460 2823 10780 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: -1 0.00/0.04 o -1 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 | 1 | 1460 2824 10880 | 5000 1 101 | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: -2 0.00/0.04 o -2 0.00/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 1 | 1460 2825 10980 | 5000 1 101 | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: -3 0.00/0.04 o -3 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 | 1 | 1460 2826 11080 | 5000 1 101 | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: -4 0.00/0.04 o -4 0.00/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 17 | 1460 2827 11180 | 5000 17 188 | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: -5 0.00/0.04 o -5 0.00/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 20 | 1460 2828 11280 | 5000 20 165 | 0.000 % | 0.04/0.05 c | 121 | 1460 2828 11280 | 5500 121 186 | 0.001 % | 0.04/0.07 c | 272 | 1460 2828 11280 | 6050 272 189 | 0.000 % | 0.04/0.09 c | 499 | 1460 2828 11280 | 6655 499 190 | 0.001 % | 0.09/0.13 c | 836 | 1460 2828 11280 | 7320 836 191 | 0.001 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: -6 0.09/0.14 o -6 0.09/0.14 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 837 | 1460 2829 11380 | 5000 837 190 | 0.001 % | 0.09/0.15 c | 938 | 1460 2829 11380 | 5500 938 190 | 0.001 % | 0.09/0.17 c | 1088 | 1460 2829 11380 | 6050 1088 190 | 0.001 % | 0.19/0.20 c | 1313 | 1460 2829 11380 | 6655 1313 190 | 0.001 % | 0.19/0.25 c | 1650 | 1460 2829 11380 | 7320 1650 190 | 0.001 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c New solution: -7 0.19/0.25 o -7 0.19/0.25 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s 0.19/0.25 c =============================================================================== 0.19/0.25 c | 1650 | 1460 2830 11480 | 5000 1650 190 | 0.001 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c New solution: -8 0.19/0.25 o -8 0.19/0.25 c Elapsed CPU time: 0.249962 s Remaining CPU time: 179.75 s 0.19/0.25 c =============================================================================== 0.19/0.25 c | 1653 | 1460 2831 11580 | 5000 1653 190 | 0.001 % | 0.19/0.28 c | 1753 | 1460 2831 11580 | 5500 1753 190 | 0.001 % | 0.19/0.29 c | 1903 | 1460 2831 11580 | 6050 1903 189 | 0.001 % | 0.29/0.33 c | 2129 | 1460 2831 11580 | 6655 2129 189 | 0.001 % | 0.29/0.38 c | 2466 | 1460 2831 11580 | 7320 2466 189 | 0.001 % | 0.39/0.49 c | 2972 | 1460 2831 11580 | 8052 2972 189 | 0.001 % | 0.59/0.63 c | 3731 | 1460 2831 11580 | 8857 3731 189 | 0.001 % | 0.59/0.65 c =============================================================================== 0.59/0.65 c New solution: -9 0.59/0.65 o -9 0.59/0.65 c Elapsed CPU time: 0.646901 s Remaining CPU time: 179.353 s 0.59/0.65 c =============================================================================== 0.59/0.65 c | 3782 | 1460 2832 11680 | 5000 3782 188 | 0.001 % | 0.59/0.69 c | 3882 | 1460 2832 11680 | 5500 3882 188 | 0.001 % | 0.69/0.72 c | 4032 | 1460 2832 11680 | 6050 4032 187 | 0.001 % | 0.69/0.76 c | 4258 | 1460 2832 11680 | 6655 4258 186 | 0.001 % | 0.79/0.83 c | 4595 | 1460 2832 11680 | 7320 4595 185 | 0.001 % | 0.89/0.96 c | 5102 | 1460 2832 11680 | 8052 5102 185 | 0.001 % | 1.00/1.04 c =============================================================================== 1.00/1.04 c New solution: -10 1.00/1.04 o -10 1.00/1.04 c Elapsed CPU time: 1.02284 s Remaining CPU time: 178.977 s 1.00/1.04 c =============================================================================== 1.00/1.04 c | 5395 | 1460 2833 11780 | 5000 5395 185 | 0.001 % | 1.00/1.06 c | 5495 | 1460 2833 11780 | 5500 2798 181 | 0.001 % | 1.00/1.09 c | 5645 | 1460 2833 11780 | 6050 2948 181 | 0.001 % | 1.09/1.12 c | 5870 | 1460 2833 11780 | 6655 3173 180 | 0.001 % | 1.09/1.17 c | 6207 | 1460 2833 11780 | 7320 3510 180 | 0.001 % | 1.19/1.24 c | 6713 | 1460 2833 11780 | 8052 4016 181 | 0.001 % | 1.29/1.35 c | 7474 | 1460 2833 11780 | 8857 4777 180 | 0.001 % | 1.49/1.54 c | 8614 | 1460 2833 11780 | 9743 5917 180 | 0.001 % | 1.79/1.85 c | 10322 | 1460 2833 11780 | 10717 7625 178 | 0.001 % | 2.39/2.47 c | 12884 | 1460 2833 11780 | 11789 10187 180 | 0.001 % | 3.29/3.32 c | 16728 | 1460 2833 11780 | 12968 7420 172 | 0.001 % | 4.49/4.54 c | 22494 | 1460 2833 11780 | 14265 13186 177 | 0.001 % | 6.99/7.02 c | 31144 | 1460 2833 11780 | 15692 13989 183 | 0.001 % | 11.58/11.61 c | 44120 | 1460 2833 11780 | 17261 9841 184 | 0.001 % | 17.78/17.85 c | 63582 | 1460 2833 11780 | 18987 10614 185 | 0.001 % | 24.39/24.43 c =============================================================================== 24.39/24.43 c New solution: -11 24.39/24.43 o -11 24.39/24.43 c Elapsed CPU time: 24.1573 s Remaining CPU time: 155.843 s 24.39/24.43 c =============================================================================== 24.39/24.43 c | 80928 | 1460 2834 11880 | 5000 17747 182 | 0.001 % | 24.49/24.56 c | 81028 | 1460 2834 11880 | 5500 4537 177 | 0.001 % | 24.49/24.58 c | 81178 | 1460 2834 11880 | 6050 4687 177 | 0.001 % | 24.58/24.63 c | 81403 | 1460 2834 11880 | 6655 4912 177 | 0.001 % | 24.58/24.69 c | 81740 | 1460 2834 11880 | 7320 5249 176 | 0.001 % | 24.78/24.83 c | 82246 | 1460 2834 11880 | 8052 5755 176 | 0.001 % | 24.89/24.98 c | 83006 | 1460 2834 11880 | 8857 6515 177 | 0.001 % | 24.89/24.98 c =============================================================================== 24.89/24.98 c New solution: -12 24.89/24.98 o -12 24.89/24.98 c Elapsed CPU time: 24.6992 s Remaining CPU time: 155.301 s 24.89/24.98 c =============================================================================== 24.89/24.98 c | 83016 | 1460 2835 11980 | 5000 6525 177 | 0.001 % | 24.99/25.01 c | 83117 | 1460 2835 11980 | 5500 3364 173 | 0.001 % | 24.99/25.04 c | 83268 | 1460 2835 11980 | 6050 3515 173 | 0.001 % | 24.99/25.06 c | 83494 | 1460 2835 11980 | 6655 3741 173 | 0.001 % | 25.08/25.11 c | 83831 | 1460 2835 11980 | 7320 4078 173 | 0.001 % | 25.08/25.18 c | 84337 | 1460 2835 11980 | 8052 4584 171 | 0.001 % | 25.18/25.28 c | 85096 | 1460 2835 11980 | 8857 5343 173 | 0.001 % | 25.18/25.30 c =============================================================================== 25.18/25.30 c New solution: -13 25.18/25.30 o -13 25.18/25.30 c Elapsed CPU time: 25.0022 s Remaining CPU time: 154.998 s 25.18/25.30 c =============================================================================== 25.18/25.30 c | 85140 | 1460 2836 12080 | 5000 5387 172 | 0.001 % | 25.29/25.33 c | 85242 | 1460 2836 12080 | 5500 2796 173 | 0.001 % | 25.29/25.34 c | 85392 | 1460 2836 12080 | 6050 2946 173 | 0.001 % | 25.29/25.37 c | 85617 | 1460 2836 12080 | 6655 3171 173 | 0.001 % | 25.38/25.40 c | 85954 | 1460 2836 12080 | 7320 3508 173 | 0.001 % | 25.38/25.46 c | 86463 | 1460 2836 12080 | 8052 4017 172 | 0.001 % | 25.48/25.55 c | 87222 | 1460 2836 12080 | 8857 4776 174 | 0.001 % | 25.59/25.69 c | 88361 | 1460 2836 12080 | 9743 5915 173 | 0.001 % | 25.88/25.93 c | 90069 | 1460 2836 12080 | 10717 7623 174 | 0.001 % | 26.29/26.34 c | 92632 | 1460 2836 12080 | 11789 10186 173 | 0.001 % | 27.08/27.12 c | 96478 | 1460 2836 12080 | 12968 7424 178 | 0.001 % | 28.18/28.21 c | 102244 | 1460 2836 12080 | 14265 13190 177 | 0.001 % | 29.98/30.02 c | 110894 | 1460 2836 12080 | 15692 14001 175 | 0.001 % | 32.99/33.05 c | 123868 | 1460 2836 12080 | 17261 9860 174 | 0.001 % | 38.18/38.24 c | 143329 | 1460 2836 12080 | 18987 10649 172 | 0.001 % | 47.18/47.24 c | 172524 | 1460 2836 12080 | 20886 19439 177 | 0.001 % | 61.59/61.69 c | 216313 | 1460 2836 12080 | 22974 16973 176 | 0.001 % | 61.97/62.00 c =============================================================================== 61.97/62.00 c New solution: -14 61.97/62.00 o -14 61.97/62.00 c Elapsed CPU time: 61.1887 s Remaining CPU time: 118.811 s 61.97/62.00 c =============================================================================== 61.97/62.00 c | 217035 | 1460 2837 12180 | 5000 17695 172 | 0.001 % | 62.08/62.14 c | 217148 | 1460 2837 12180 | 5500 4537 157 | 0.000 % | 62.08/62.17 c | 217299 | 1460 2837 12180 | 6050 4688 158 | 0.001 % | 62.08/62.19 c | 217524 | 1460 2837 12180 | 6655 4913 158 | 0.001 % | 62.17/62.25 c | 217861 | 1460 2837 12180 | 7320 5250 159 | 0.001 % | 62.27/62.33 c | 218367 | 1460 2837 12180 | 8052 5756 160 | 0.001 % | 62.37/62.44 c | 219126 | 1460 2837 12180 | 8857 6515 162 | 0.001 % | 62.58/62.60 c | 220265 | 1460 2837 12180 | 9743 7654 165 | 0.001 % | 62.88/62.90 c | 221974 | 1460 2837 12180 | 10717 9363 165 | 0.001 % | 63.27/63.37 c | 224536 | 1460 2837 12180 | 11789 11925 168 | 0.000 % | 63.37/63.41 c =============================================================================== 63.37/63.41 c New solution: -15 63.37/63.41 o -15 63.37/63.41 c Elapsed CPU time: 62.5655 s Remaining CPU time: 117.435 s 63.37/63.41 c =============================================================================== 63.37/63.41 c | 224652 | 1460 2838 12280 | 5000 6079 171 | 0.000 % | 63.37/63.48 c | 224758 | 1460 2838 12280 | 5500 3146 171 | 0.001 % | 63.48/63.51 c | 224910 | 1460 2838 12280 | 6050 3298 171 | 0.001 % | 63.48/63.54 c | 225135 | 1460 2838 12280 | 6655 3523 172 | 0.001 % | 63.48/63.56 c =============================================================================== 63.48/63.56 c New solution: -16 63.48/63.56 o -16 63.48/63.56 c Elapsed CPU time: 62.7145 s Remaining CPU time: 117.286 s 63.48/63.56 c =============================================================================== 63.48/63.56 c | 225323 | 1460 2839 12380 | 5000 3711 165 | 0.001 % | 63.57/63.66 c | 225424 | 1460 2839 12380 | 5500 3812 164 | 0.001 % | 63.57/63.68 c | 225574 | 1460 2839 12380 | 6050 3962 165 | 0.001 % | 63.68/63.72 c | 225799 | 1460 2839 12380 | 6655 4187 165 | 0.001 % | 63.68/63.76 c | 226136 | 1460 2839 12380 | 7320 4524 165 | 0.001 % | 63.79/63.82 c | 226642 | 1460 2839 12380 | 8052 5030 166 | 0.001 % | 63.88/63.92 c | 227401 | 1460 2839 12380 | 8857 5789 168 | 0.001 % | 63.97/64.08 c | 228541 | 1460 2839 12380 | 9743 6929 169 | 0.001 % | 64.27/64.37 c | 230249 | 1460 2839 12380 | 10717 8637 170 | 0.001 % | 64.67/64.78 c | 232811 | 1460 2839 12380 | 11789 11199 169 | 0.001 % | 65.38/65.49 c | 236655 | 1460 2839 12380 | 12968 8446 172 | 0.001 % | 66.58/66.65 c | 242422 | 1460 2839 12380 | 14265 14213 174 | 0.001 % | 68.37/68.49 c | 251071 | 1460 2839 12380 | 15692 15023 177 | 0.001 % | 71.77/71.85 c | 264046 | 1460 2839 12380 | 17261 10909 174 | 0.001 % | 77.27/77.33 c | 283507 | 1460 2839 12380 | 18987 11701 171 | 0.001 % | 85.77/85.88 c | 312701 | 1460 2839 12380 | 20886 10307 172 | 0.001 % | 99.76/99.80 c | 356492 | 1460 2839 12380 | 22974 19530 174 | 0.001 % | 122.76/122.84 c | 422177 | 1460 2839 12380 | 25272 17483 176 | 0.000 % | 123.46/123.58 c =============================================================================== 123.46/123.58 c New solution: -17 123.46/123.59 o -17 123.46/123.59 c Elapsed CPU time: 122.002 s Remaining CPU time: 57.9975 s 123.46/123.59 c =============================================================================== 123.46/123.59 c | 423743 | 1460 2840 12480 | 5000 19049 167 | 0.000 % | 123.56/123.69 c | 423846 | 1460 2840 12480 | 5500 4866 142 | 0.001 % | 123.66/123.71 c | 423996 | 1460 2840 12480 | 6050 5016 142 | 0.001 % | 123.66/123.75 c | 424221 | 1460 2840 12480 | 6655 5241 144 | 0.001 % | 123.76/123.80 c | 424558 | 1460 2840 12480 | 7320 5578 145 | 0.001 % | 123.76/123.87 c | 425064 | 1460 2840 12480 | 8052 6084 148 | 0.001 % | 123.96/124.01 c | 425823 | 1460 2840 12480 | 8857 6843 151 | 0.001 % | 123.96/124.02 c =============================================================================== 123.96/124.02 c New solution: -18 123.96/124.02 o -18 123.96/124.02 c Elapsed CPU time: 122.434 s Remaining CPU time: 57.5656 s 123.96/124.02 c =============================================================================== 123.96/124.02 c | 425896 | 1460 2841 12580 | 5000 6916 149 | 0.001 % | 123.96/124.05 c | 425996 | 1460 2841 12580 | 5500 3558 127 | 0.001 % | 123.96/124.07 c | 426146 | 1460 2841 12580 | 6050 3708 129 | 0.001 % | 124.06/124.10 c | 426371 | 1460 2841 12580 | 6655 3933 131 | 0.000 % | 124.06/124.14 c | 426709 | 1460 2841 12580 | 7320 4271 134 | 0.001 % | 124.16/124.20 c | 427216 | 1460 2841 12580 | 8052 4778 138 | 0.001 % | 124.27/124.31 c | 427975 | 1460 2841 12580 | 8857 5537 143 | 0.001 % | 124.36/124.47 c | 429114 | 1460 2841 12580 | 9743 6676 148 | 0.001 % | 124.66/124.73 c | 430822 | 1460 2841 12580 | 10717 8384 154 | 0.001 % | 125.06/125.17 c | 433385 | 1460 2841 12580 | 11789 10947 159 | 0.001 % | 125.86/125.99 c | 437229 | 1460 2841 12580 | 12968 8196 174 | 0.001 % | 127.06/127.16 c | 442996 | 1460 2841 12580 | 14265 13963 175 | 0.001 % | 128.95/129.04 c | 451646 | 1460 2841 12580 | 15692 14779 173 | 0.001 % | 132.36/132.41 c | 464620 | 1460 2841 12580 | 17261 10675 174 | 0.001 % | 137.56/137.64 c | 484081 | 1460 2841 12580 | 18987 11471 174 | 0.000 % | 147.15/147.22 c | 513274 | 1460 2841 12580 | 20886 20282 171 | 0.001 % | 164.25/164.36 c | 557064 | 1460 2841 12580 | 22974 17927 174 | 0.001 % | 182.14/182.29 c There are 0 assigned variables. 0 in cost function. 182.94/183.02 c core #1 182.94/183.02 c 182.94/183.02 c 182.94/183.02 c Core size: 201 Core Weight: 1 Total Weight: -99 182.94/183.02 c 182.94/183.02 c 182.94/183.02 c ============================[ Search Statistics ]============================== 182.94/183.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.02 c =============================================================================== 182.94/183.02 c | 0 | 1560 2959 12919 | 5000 0 nan | 0.000 % | 182.94/183.05 c | 100 | 1449 2959 12919 | 5500 87 40 | 10.128 % | 182.94/183.05 c =============================================================================== 182.94/183.06 c core #2 182.94/183.06 c 182.94/183.06 c 182.94/183.06 c Core size: 183 Core Weight: 1 Total Weight: -98 182.94/183.06 c 182.94/183.06 c 182.94/183.06 c ============================[ Search Statistics ]============================== 182.94/183.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.06 c =============================================================================== 182.94/183.06 c | 0 | 1660 2964 13131 | 5000 0 nan | 0.000 % | 182.94/183.09 c | 100 | 1660 2964 13131 | 5500 100 70 | 0.001 % | 183.04/183.13 c | 250 | 1660 2964 13131 | 6050 250 66 | 0.000 % | 183.04/183.18 c | 475 | 1660 2964 13131 | 6655 475 67 | 0.001 % | 183.15/183.25 c | 812 | 1641 2964 13131 | 7320 720 68 | 3.744 % | 183.25/183.39 c | 1318 | 1581 2964 13131 | 8052 1021 73 | 7.291 % | 183.55/183.61 c | 2077 | 1525 2964 13131 | 8857 1656 75 | 8.796 % | 183.94/184.01 c | 3216 | 1431 2964 13131 | 9743 2693 77 | 33.554 % | 184.24/184.30 c =============================================================================== 184.24/184.36 c core #3 184.24/184.36 c 184.24/184.36 c 184.24/184.36 c Core size: 131 Core Weight: 1 Total Weight: -97 184.24/184.36 c 184.24/184.36 c 184.24/184.36 c ============================[ Search Statistics ]============================== 184.24/184.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.24/184.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.24/184.36 c =============================================================================== 184.24/184.36 c | 0 | 1758 3001 13434 | 5000 0 nan | 0.000 % | 184.24/184.39 c | 100 | 1758 3001 13434 | 5500 100 105 | 0.001 % | 184.35/184.42 c | 250 | 1758 3001 13434 | 6050 250 77 | 0.001 % | 184.35/184.49 c | 492 | 1758 3001 13434 | 6655 492 66 | 0.000 % | 184.44/184.59 c | 841 | 1758 3001 13434 | 7320 841 70 | 0.000 % | 184.65/184.73 c | 1347 | 1758 3001 13434 | 8052 1347 71 | 0.000 % | 184.84/184.94 c | 2106 | 1758 3001 13434 | 8857 2106 75 | 0.001 % | 185.14/185.26 c | 3245 | 1758 3001 13434 | 9743 3245 82 | 0.001 % | 185.75/185.83 c | 4953 | 1758 3001 13434 | 10717 4953 82 | 0.001 % | 186.64/186.72 c | 7515 | 1758 3001 13434 | 11789 7515 81 | 0.000 % | 188.24/188.38 c | 11359 | 1758 3001 13434 | 12968 11359 81 | 0.001 % | 190.64/190.78 c | 17125 | 1758 3001 13434 | 14265 10450 77 | 0.001 % | 195.34/195.40 c | 25774 | 1746 3001 13434 | 15692 7607 58 | 0.684 % | 203.84/203.99 c | 38751 | 1703 3001 13434 | 17261 5791 63 | 3.129 % | 216.84/216.96 c | 58213 | 1686 3001 13434 | 18987 16518 68 | 4.097 % | 237.63/237.74 c | 87407 | 1661 3001 13434 | 20886 16285 76 | 8.760 % | 271.73/271.86 c | 131199 | 1521 3001 13434 | 22974 21253 79 | 13.489 % | 291.22/291.37 c =============================================================================== 295.52/295.61 c core #4 295.52/295.61 c 295.52/295.61 c 295.52/295.61 c Core size: 130 Core Weight: 1 Total Weight: -96 295.52/295.61 c 295.52/295.61 c 295.52/295.61 c ============================[ Search Statistics ]============================== 295.52/295.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 295.52/295.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 295.52/295.61 c =============================================================================== 295.52/295.61 c | 0 | 1858 3133 14021 | 5000 0 nan | 0.000 % | 295.62/295.72 c | 118 | 1858 3133 14021 | 5500 118 168 | 0.000 % | 295.82/295.93 c | 268 | 1858 3133 14021 | 6050 268 117 | 0.000 % | 295.82/295.95 c | 494 | 1858 3133 14021 | 6655 494 68 | 0.000 % | 295.92/296.09 c | 831 | 1858 3133 14021 | 7320 831 82 | 0.000 % | 296.11/296.23 c | 1337 | 1858 3133 14021 | 8052 1337 75 | 0.000 % | 296.32/296.46 c | 2097 | 1858 3133 14021 | 8857 2097 70 | 0.000 % | 296.71/296.90 c | 3236 | 1858 3133 14021 | 9743 3236 87 | 0.000 % | 297.42/297.57 c | 4944 | 1858 3133 14021 | 10717 4944 92 | 0.000 % | 298.41/298.59 c | 7529 | 1858 3133 14021 | 11789 7529 97 | 0.000 % | 300.31/300.45 c | 11373 | 1858 3133 14021 | 12968 11373 111 | 0.000 % | 302.92/303.07 c | 17139 | 1858 3133 14021 | 14265 10479 123 | 0.000 % | 307.31/307.42 c | 25789 | 1858 3133 14021 | 15692 11804 107 | 0.000 % | 313.71/313.88 c | 38764 | 1858 3133 14021 | 17261 8625 111 | 0.000 % | 323.91/324.03 c | 58226 | 1858 3133 14021 | 18987 10338 127 | 0.000 % | 342.60/342.73 c | 87419 | 1858 3133 14021 | 20886 10033 86 | 0.000 % | 383.60/383.71 c | 131209 | 1858 3133 14021 | 22974 10687 76 | 0.000 % | 442.79/442.90 c | 196896 | 1858 3133 14021 | 25272 15158 96 | 0.000 % | 529.86/530.02 c | 295426 | 1858 3133 14021 | 27799 20414 154 | 0.000 % | 597.74/597.98 c | 443215 | 1858 3133 14021 | 30579 22910 169 | 0.001 % | 677.52/677.72 c | 664898 | 1858 3133 14021 | 33637 15835 152 | 0.000 % | 852.09/852.35 c | 997423 | 1858 3133 14021 | 37001 15227 160 | 0.000 % | 1092.82/1093.12 c | 1496212 | 1858 3133 14021 | 40701 27422 160 | 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-2702613-1278572894/watcher-2702613-1278572894 -o /tmp/evaluation-result-2702613-1278572894/solver-2702613-1278572894 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702613-1278572894.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.01 0.25 3/106 32146 /proc/meminfo: memFree=1751472/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=2828 CPUtime=0 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 321 0 0 0 0 0 0 0 19 0 1 0 25495914 2895872 240 1992294400 134512640 135752675 4292040112 18446744073709551615 134609613 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 707 240 134 303 0 375 0 [startup+0.0533051 s] /proc/loadavg: 0.00 0.01 0.25 3/106 32146 /proc/meminfo: memFree=1751472/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=3380 CPUtime=0.04 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 528 0 0 0 4 0 0 0 19 0 1 0 25495914 3461120 420 1992294400 134512640 135752675 4292040112 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 845 420 144 303 0 540 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3380 [startup+0.101309 s] /proc/loadavg: 0.00 0.01 0.25 3/106 32146 /proc/meminfo: memFree=1751472/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=3508 CPUtime=0.09 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 554 0 0 0 9 0 0 0 19 0 1 0 25495914 3592192 446 1992294400 134512640 135752675 4292040112 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 877 446 145 303 0 572 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3508 [startup+0.301327 s] /proc/loadavg: 0.00 0.01 0.25 3/106 32146 /proc/meminfo: memFree=1751472/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=4804 CPUtime=0.29 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 878 0 0 0 29 0 0 0 20 0 1 0 25495914 4919296 770 1992294400 134512640 135752675 4292040112 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 1201 770 145 303 0 896 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4804 [startup+0.701362 s] /proc/loadavg: 0.00 0.01 0.25 3/106 32146 /proc/meminfo: memFree=1751472/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=6644 CPUtime=0.69 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 1323 0 0 0 69 0 0 0 21 0 1 0 25495914 6803456 1215 1992294400 134512640 135752675 4292040112 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 1661 1216 145 303 0 1356 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6644 [startup+1.50143 s] /proc/loadavg: 0.00 0.01 0.25 2/107 32147 /proc/meminfo: memFree=1746008/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=10396 CPUtime=1.49 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 2256 0 0 0 147 2 0 0 23 0 1 0 25495914 10645504 2148 1992294400 134512640 135752675 4292040112 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 2599 2148 145 303 0 2294 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10396 [startup+3.10157 s] /proc/loadavg: 0.00 0.01 0.25 2/107 32147 /proc/meminfo: memFree=1740924/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=16260 CPUtime=3.09 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 3734 0 0 0 305 4 0 0 25 0 1 0 25495914 16650240 3626 1992294400 134512640 135752675 4292040112 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 4065 3626 145 303 0 3760 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16260 [startup+6.30185 s] /proc/loadavg: 0.08 0.02 0.25 2/107 32149 /proc/meminfo: memFree=1729516/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=27012 CPUtime=6.29 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 6416 0 0 0 622 7 0 0 25 0 1 0 25495914 27660288 6308 1992294400 134512640 135752675 4292040112 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 6753 6308 145 303 0 6448 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27012 [startup+12.7014 s] /proc/loadavg: 0.15 0.04 0.26 2/107 32149 /proc/meminfo: memFree=1712032/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=44104 CPUtime=12.69 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 10685 0 0 0 1255 14 0 0 25 0 1 0 25495914 45162496 10577 1992294400 134512640 135752675 4292040112 18446744073709551615 134611618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 11026 10577 145 303 0 10721 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44104 [startup+25.5005 s] /proc/loadavg: 0.34 0.08 0.27 2/107 32149 /proc/meminfo: memFree=1680164/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=74984 CPUtime=25.48 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 18403 0 0 0 2519 29 0 0 25 0 1 0 25495914 76783616 18295 1992294400 134512640 135752675 4292040112 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 18746 18295 145 303 0 18441 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 74984 [startup+51.1008 s] /proc/loadavg: 0.56 0.16 0.29 2/107 32149 /proc/meminfo: memFree=1601548/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=153012 CPUtime=51.08 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 37890 0 0 0 5042 66 0 0 25 0 1 0 25495914 156684288 37782 1992294400 134512640 135752675 4292040112 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 38253 37782 145 303 0 37948 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 153012 [startup+102.308 s] /proc/loadavg: 0.81 0.28 0.32 2/107 32151 /proc/meminfo: memFree=1458452/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=294672 CPUtime=102.27 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 73300 0 0 0 10094 133 0 0 25 0 1 0 25495914 301744128 73192 1992294400 134512640 135752675 4292040112 18446744073709551615 134638019 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 73668 73192 145 303 0 73363 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 294672 [startup+162.3 s] /proc/loadavg: 0.93 0.41 0.36 2/107 32153 /proc/meminfo: memFree=1313868/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=439768 CPUtime=162.25 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 109556 0 0 0 16023 202 0 0 25 0 1 0 25495914 450322432 109448 1992294400 134512640 135752675 4292040112 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 109942 109448 145 303 0 109637 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 439768 [startup+222.301 s] /proc/loadavg: 0.97 0.52 0.40 2/107 32153 /proc/meminfo: memFree=1266500/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=485792 CPUtime=222.23 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 121123 0 0 0 21972 251 0 0 25 0 1 0 25495914 497451008 121015 1992294400 134512640 135752675 4292040112 18446744073709551615 134605295 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 121448 121015 146 303 0 121143 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 485792 [startup+282.301 s] /proc/loadavg: 0.99 0.60 0.43 2/107 32155 /proc/meminfo: memFree=1236492/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=515872 CPUtime=282.22 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 128637 0 0 0 27941 281 0 0 25 0 1 0 25495914 528252928 128529 1992294400 134512640 135752675 4292040112 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 128968 128529 146 303 0 128663 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 515872 [startup+342.301 s] /proc/loadavg: 0.99 0.67 0.47 2/107 32157 /proc/meminfo: memFree=1185032/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=566940 CPUtime=342.2 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 141388 0 0 0 33893 327 0 0 25 0 1 0 25495914 580546560 141280 1992294400 134512640 135752675 4292040112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 141735 141280 146 303 0 141430 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 566940 [startup+402.301 s] /proc/loadavg: 0.99 0.73 0.50 2/107 32159 /proc/meminfo: memFree=1160480/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=591748 CPUtime=402.19 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 147603 0 0 0 39843 376 0 0 25 0 1 0 25495914 605949952 147495 1992294400 134512640 135752675 4292040112 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 147937 147495 146 303 0 147632 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 591748 [startup+462.301 s] /proc/loadavg: 0.99 0.77 0.53 2/107 32161 /proc/meminfo: memFree=1129604/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=622744 CPUtime=462.18 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 155341 0 0 0 45803 415 0 0 25 0 1 0 25495914 637689856 155233 1992294400 134512640 135752675 4292040112 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 155686 155233 146 303 0 155381 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 622744 [startup+522.301 s] /proc/loadavg: 0.99 0.81 0.55 2/107 32161 /proc/meminfo: memFree=1087196/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=664788 CPUtime=522.16 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 165821 0 0 0 51772 444 0 0 25 0 1 0 25495914 680742912 165713 1992294400 134512640 135752675 4292040112 18446744073709551615 134650420 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 166197 165713 146 303 0 165892 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 664788 [startup+582.301 s] /proc/loadavg: 0.99 0.84 0.58 2/107 32163 /proc/meminfo: memFree=1007712/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=745012 CPUtime=582.15 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 185820 0 0 0 57722 493 0 0 25 0 1 0 25495914 762892288 185712 1992294400 134512640 135752675 4292040112 18446744073709551615 134638319 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 186253 185712 146 303 0 185948 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 745012 [startup+642.301 s] /proc/loadavg: 0.99 0.87 0.60 2/107 32165 /proc/meminfo: memFree=897724/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=853888 CPUtime=642.14 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 213008 0 0 0 63659 555 0 0 25 0 1 0 25495914 874381312 212900 1992294400 134512640 135752675 4292040112 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 213472 212900 146 303 0 213167 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 853888 [startup+702.301 s] /proc/loadavg: 0.99 0.89 0.62 2/108 32170 /proc/meminfo: memFree=822944/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=929176 CPUtime=702.12 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 231825 0 0 0 69615 597 0 0 25 0 1 0 25495914 951476224 231717 1992294400 134512640 135752675 4292040112 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 232294 231717 146 303 0 231989 0 Current children cumulated CPU time (s) 702.12 Current children cumulated vsize (KiB) 929176 [startup+762.309 s] /proc/loadavg: 0.99 0.91 0.64 2/107 32172 /proc/meminfo: memFree=733052/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=1017624 CPUtime=762.12 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 253949 0 0 0 75567 645 0 0 25 0 1 0 25495914 1042046976 253841 1992294400 134512640 135752675 4292040112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 254406 253841 146 303 0 254101 0 Current children cumulated CPU time (s) 762.12 Current children cumulated vsize (KiB) 1017624 [startup+822.301 s] /proc/loadavg: 0.99 0.92 0.66 2/107 32172 /proc/meminfo: memFree=647988/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=1103576 CPUtime=822.09 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 275411 0 0 0 81511 698 0 0 25 0 1 0 25495914 1130061824 275303 1992294400 134512640 135752675 4292040112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 275894 275303 146 303 0 275589 0 Current children cumulated CPU time (s) 822.09 Current children cumulated vsize (KiB) 1103576 [startup+882.301 s] /proc/loadavg: 0.99 0.93 0.68 2/107 32174 /proc/meminfo: memFree=572720/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=1177860 CPUtime=882.08 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 293972 0 0 0 87472 736 0 0 25 0 1 0 25495914 1206128640 293864 1992294400 134512640 135752675 4292040112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 294465 293864 146 303 0 294160 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 1177860 [startup+942.301 s] /proc/loadavg: 0.99 0.94 0.70 2/107 32176 /proc/meminfo: memFree=484556/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=1266768 CPUtime=942.06 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 316184 0 0 0 93422 784 0 0 25 0 1 0 25495914 1297170432 316076 1992294400 134512640 135752675 4292040112 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 316692 316076 146 303 0 316387 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 1266768 [startup+1002.3 s] /proc/loadavg: 0.99 0.95 0.71 2/107 32178 /proc/meminfo: memFree=393044/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=1357688 CPUtime=1002.05 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 338902 0 0 0 99369 836 0 0 25 0 1 0 25495914 1390272512 338794 1992294400 134512640 135752675 4292040112 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 339422 338794 146 303 0 339117 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 1357688 [startup+1062.3 s] /proc/loadavg: 0.99 0.95 0.73 2/107 32180 /proc/meminfo: memFree=297812/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=1453640 CPUtime=1062.03 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 362882 0 0 0 105318 885 0 0 25 0 1 0 25495914 1488527360 362774 1992294400 134512640 135752675 4292040112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 363410 362774 146 303 0 363105 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 1453640 [startup+1122.3 s] /proc/loadavg: 0.99 0.96 0.74 2/107 32180 /proc/meminfo: memFree=237548/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=1512768 CPUtime=1122.02 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 377610 0 0 0 111276 926 0 0 25 0 1 0 25495914 1549074432 377502 1992294400 134512640 135752675 4292040112 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 378192 377502 146 303 0 377887 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 1512768 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.75 2/107 32182 /proc/meminfo: memFree=208780/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=1541908 CPUtime=1182.01 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 384901 0 0 0 117230 971 0 0 25 0 1 0 25495914 1578913792 384793 1992294400 134512640 135752675 4292040112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 385477 384793 146 303 0 385172 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 1541908 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.77 2/107 32184 /proc/meminfo: memFree=180260/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=1569892 CPUtime=1241.99 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 391902 0 0 0 123180 1019 0 0 25 0 1 0 25495914 1607569408 391794 1992294400 134512640 135752675 4292040112 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 392473 391794 146 303 0 392168 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 1569892 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.78 2/107 32186 /proc/meminfo: memFree=150004/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=1600152 CPUtime=1301.99 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 399395 0 0 0 129147 1052 0 0 25 0 1 0 25495914 1638555648 399287 1992294400 134512640 135752675 4292040112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 400038 399287 146 303 0 399733 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 1600152 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.79 2/107 32188 /proc/meminfo: memFree=123468/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=1626852 CPUtime=1361.96 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 406037 0 0 0 135116 1080 0 0 25 0 1 0 25495914 1665896448 405929 1992294400 134512640 135752675 4292040112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 406713 405929 146 303 0 406408 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 1626852 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.80 2/107 32188 /proc/meminfo: memFree=59856/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=1690420 CPUtime=1421.95 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 421921 0 0 0 141074 1121 0 0 25 0 1 0 25495914 1730990080 421813 1992294400 134512640 135752675 4292040112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 422605 421813 146 303 0 422300 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1690420 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.81 2/107 32190 /proc/meminfo: memFree=10220/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=1745868 CPUtime=1481.93 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 435739 0 0 0 147038 1155 0 0 25 0 1 0 25495914 1787768832 435631 1992294400 134512640 135752675 4292040112 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 436467 435631 146 303 0 436162 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1745868 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.82 2/107 32192 /proc/meminfo: memFree=10208/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=1797648 CPUtime=1541.92 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 448661 0 0 0 153007 1185 0 0 25 0 1 0 25495914 1840791552 448553 1992294400 134512640 135752675 4292040112 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 449412 448553 146 303 0 449107 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1797648 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1596.9 s] /proc/loadavg: 0.99 0.97 0.83 2/107 32194 /proc/meminfo: memFree=10252/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=1843240 CPUtime=1596.51 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4202496 460042 0 0 0 158434 1217 0 0 25 0 1 0 25495914 1887477760 459934 1992294400 134512640 135752675 4292040112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32146/statm: 460810 459934 146 303 0 460505 0 Current children cumulated CPU time (s) 1596.51 Current children cumulated vsize (KiB) 1843240 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1597.01 s] /proc/loadavg: 0.99 0.97 0.83 2/107 32194 /proc/meminfo: memFree=10252/2059040 swapFree=4139820/4192956 [pid=32146] ppid=32144 vsize=0 CPUtime=1596.62 /proc/32146/stat : 32146 (wbo1.4b) R 32144 32146 32113 0 -1 4203524 460042 0 0 0 158434 1228 0 0 25 0 1 0 25495914 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/32146/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1596.62 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1597.08 CPU time (s): 1596.7 CPU user time (s): 1584.34 CPU system time (s): 12.3511 CPU usage (%): 99.9759 Max. virtual memory (cumulated for all children) (KiB): 1843240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1584.34 system time used= 12.3511 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460042 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= 8 involuntary context switches= 5101 runsolver used 2.71559 second user time and 7.48386 second system time The end
Begin job on node055 at 2010-07-08 09:08:14 IDJOB=2702613 IDBENCH=48241 IDSOLVER=1190 FILE ID=node055/2702613-1278572894 PBS_JOBID= 11240072 Free space on /tmp= 62580 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_2.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-2702613-1278572894/watcher-2702613-1278572894 -o /tmp/evaluation-result-2702613-1278572894/solver-2702613-1278572894 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702613-1278572894.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c154cb0964ce03c2d199339cf62d0c63 RANDOM SEED=177019758 node055.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.224 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.224 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1752000 kB Buffers: 23052 kB Cached: 195124 kB SwapCached: 6984 kB Active: 82532 kB Inactive: 149288 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1752000 kB SwapTotal: 4192956 kB SwapFree: 4139820 kB Dirty: 2648 kB Writeback: 0 kB AnonPages: 11452 kB Mapped: 11928 kB Slab: 53120 kB PageTables: 4164 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 178856 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-2702613-1278572894.opb Free space on /tmp at the end= 62580 MiB End job on node055 at 2010-07-08 09:34:54