Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.12 | 1800.67 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-8000opt.opb |
MD5SUM | 27275f75c57d1f68b1f0c26684ed17bf |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -162 |
Best CPU time to get the best result obtained on this benchmark | 123.129 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2025 |
Total number of constraints | 62275 |
Number of constraints which are clauses | 62275 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 135 |
Biggest coefficient in the objective function | 4 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 341 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 4 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 341 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680376-1277460300.opb. 0.00/0.00 c Instance file HOME/instance-2680376-1277460300.opb 0.00/0.00 c File size is 2077119 bytes. 0.29/0.32 c Highest Coefficient sum: 4 0.29/0.32 c ============================[ Problem Statistics ]============================= 0.29/0.32 c | | 0.29/0.32 c | Parsing time: 0.32 s | 0.29/0.32 c | Number Variables: 2025 | 0.29/0.32 c | Number Clauses: 62275 | 0.29/0.32 c | Number Cardinality: 0 | 0.29/0.32 c | Number PB Constraints: 0 | 0.39/0.41 c ============================[ Search Statistics ]============================== 0.39/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.41 c =============================================================================== 0.39/0.42 c | 0 | 2013 62287 185655 | 20758 0 nan | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c New solution: 0 0.39/0.43 o 0 0.39/0.43 c Elapsed CPU time: 0.420936 s Remaining CPU time: 179.579 s 0.39/0.43 c =============================================================================== 0.39/0.43 c | 0 | 2013 62288 185790 | 20762 0 nan | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c New solution: -4 0.39/0.43 o -4 0.39/0.43 c Elapsed CPU time: 0.424935 s Remaining CPU time: 179.575 s 0.39/0.43 c =============================================================================== 0.39/0.43 c | 0 | 2013 62289 185925 | 20763 0 nan | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c New solution: -5 0.39/0.44 o -5 0.39/0.44 c Elapsed CPU time: 0.435933 s Remaining CPU time: 179.564 s 0.39/0.44 c =============================================================================== 0.39/0.44 c | 0 | 2013 62290 186060 | 20763 0 nan | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c New solution: -6 0.39/0.46 o -6 0.39/0.46 c Elapsed CPU time: 0.446932 s Remaining CPU time: 179.553 s 0.39/0.46 c =============================================================================== 0.39/0.46 c | 1 | 2013 62291 186195 | 20763 1 133 | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c New solution: -7 0.39/0.46 o -7 0.39/0.46 c Elapsed CPU time: 0.452931 s Remaining CPU time: 179.547 s 0.39/0.46 c =============================================================================== 0.39/0.46 c | 1 | 2013 62292 186330 | 20764 1 133 | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c New solution: -8 0.39/0.47 o -8 0.39/0.47 c Elapsed CPU time: 0.463929 s Remaining CPU time: 179.536 s 0.39/0.47 c =============================================================================== 0.39/0.47 c | 1 | 2013 62293 186465 | 20764 1 133 | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c New solution: -9 0.39/0.49 o -9 0.39/0.49 c Elapsed CPU time: 0.474927 s Remaining CPU time: 179.525 s 0.39/0.49 c =============================================================================== 0.39/0.49 c | 1 | 2013 62294 186600 | 20764 1 133 | 0.000 % | 0.39/0.50 c =============================================================================== 0.39/0.50 c New solution: -10 0.39/0.50 o -10 0.39/0.50 c Elapsed CPU time: 0.483926 s Remaining CPU time: 179.516 s 0.39/0.50 c =============================================================================== 0.39/0.50 c | 1 | 2013 62295 186735 | 20765 1 133 | 0.000 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c New solution: -11 0.49/0.51 o -11 0.49/0.51 c Elapsed CPU time: 0.493924 s Remaining CPU time: 179.506 s 0.49/0.51 c =============================================================================== 0.49/0.51 c | 1 | 2013 62296 186870 | 20765 1 133 | 0.000 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c New solution: -12 0.49/0.52 o -12 0.49/0.52 c Elapsed CPU time: 0.503923 s Remaining CPU time: 179.496 s 0.49/0.52 c =============================================================================== 0.49/0.52 c | 1 | 2013 62297 187005 | 20765 1 133 | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c New solution: -13 0.49/0.53 o -13 0.49/0.53 c Elapsed CPU time: 0.513921 s Remaining CPU time: 179.486 s 0.49/0.53 c =============================================================================== 0.49/0.53 c | 1 | 2013 62298 187140 | 20766 1 133 | 0.000 % | 0.49/0.54 c =============================================================================== 0.49/0.54 c New solution: -14 0.49/0.54 o -14 0.49/0.54 c Elapsed CPU time: 0.52392 s Remaining CPU time: 179.476 s 0.49/0.54 c =============================================================================== 0.49/0.54 c | 1 | 2013 62299 187275 | 20766 1 133 | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c New solution: -15 0.49/0.55 o -15 0.49/0.55 c Elapsed CPU time: 0.533918 s Remaining CPU time: 179.466 s 0.49/0.55 c =============================================================================== 0.49/0.55 c | 2 | 2013 62300 187410 | 20766 2 132 | 0.000 % | 0.49/0.56 c =============================================================================== 0.49/0.56 c New solution: -16 0.49/0.56 o -16 0.49/0.56 c Elapsed CPU time: 0.542917 s Remaining CPU time: 179.457 s 0.49/0.56 c =============================================================================== 0.49/0.56 c | 2 | 2013 62301 187545 | 20767 2 132 | 0.000 % | 0.49/0.57 c =============================================================================== 0.49/0.57 c New solution: -17 0.49/0.57 o -17 0.49/0.57 c Elapsed CPU time: 0.551916 s Remaining CPU time: 179.448 s 0.49/0.57 c =============================================================================== 0.49/0.57 c | 2 | 2013 62302 187680 | 20767 2 132 | 0.000 % | 0.49/0.58 c =============================================================================== 0.49/0.58 c New solution: -18 0.49/0.58 o -18 0.49/0.58 c Elapsed CPU time: 0.561914 s Remaining CPU time: 179.438 s 0.49/0.58 c =============================================================================== 0.49/0.58 c | 2 | 2013 62303 187815 | 20767 2 132 | 0.000 % | 0.49/0.59 c =============================================================================== 0.49/0.59 c New solution: -19 0.49/0.59 o -19 0.49/0.59 c Elapsed CPU time: 0.570913 s Remaining CPU time: 179.429 s 0.49/0.59 c =============================================================================== 0.49/0.59 c | 2 | 2013 62304 187950 | 20768 2 132 | 0.000 % | 0.59/0.61 c =============================================================================== 0.59/0.61 c New solution: -20 0.59/0.61 o -20 0.59/0.61 c Elapsed CPU time: 0.579911 s Remaining CPU time: 179.42 s 0.59/0.61 c =============================================================================== 0.59/0.61 c | 2 | 2013 62305 188085 | 20768 2 132 | 0.000 % | 0.59/0.62 c =============================================================================== 0.59/0.62 c New solution: -21 0.59/0.62 o -21 0.59/0.62 c Elapsed CPU time: 0.58991 s Remaining CPU time: 179.41 s 0.59/0.62 c =============================================================================== 0.59/0.62 c | 2 | 2013 62306 188220 | 20768 2 132 | 0.000 % | 0.59/0.62 c =============================================================================== 0.59/0.62 c New solution: -22 0.59/0.62 o -22 0.59/0.62 c Elapsed CPU time: 0.594909 s Remaining CPU time: 179.405 s 0.59/0.62 c =============================================================================== 0.59/0.62 c | 2 | 2013 62307 188355 | 20769 2 132 | 0.000 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c New solution: -23 0.59/0.63 o -23 0.59/0.63 c Elapsed CPU time: 0.603908 s Remaining CPU time: 179.396 s 0.59/0.63 c =============================================================================== 0.59/0.63 c | 2 | 2013 62308 188490 | 20769 2 132 | 0.000 % | 0.59/0.64 c =============================================================================== 0.59/0.64 c New solution: -24 0.59/0.64 o -24 0.59/0.64 c Elapsed CPU time: 0.614906 s Remaining CPU time: 179.385 s 0.59/0.64 c =============================================================================== 0.59/0.64 c | 2 | 2013 62309 188625 | 20769 2 132 | 0.000 % | 0.59/0.65 c =============================================================================== 0.59/0.65 c New solution: -25 0.59/0.65 o -25 0.59/0.65 c Elapsed CPU time: 0.623905 s Remaining CPU time: 179.376 s 0.59/0.65 c =============================================================================== 0.59/0.65 c | 2 | 2013 62310 188760 | 20770 2 132 | 0.000 % | 0.59/0.67 c =============================================================================== 0.59/0.67 c New solution: -26 0.59/0.67 o -26 0.59/0.67 c Elapsed CPU time: 0.634903 s Remaining CPU time: 179.365 s 0.59/0.67 c =============================================================================== 0.59/0.67 c | 3 | 2013 62311 188895 | 20770 3 89 | 0.000 % | 0.59/0.68 c =============================================================================== 0.59/0.68 c New solution: -27 0.59/0.68 o -27 0.59/0.68 c Elapsed CPU time: 0.642902 s Remaining CPU time: 179.357 s 0.59/0.68 c =============================================================================== 0.59/0.68 c | 4 | 2013 62312 189030 | 20770 4 98 | 0.000 % | 0.59/0.69 c =============================================================================== 0.59/0.69 c New solution: -28 0.59/0.69 o -28 0.59/0.69 c Elapsed CPU time: 0.6529 s Remaining CPU time: 179.347 s 0.59/0.69 c =============================================================================== 0.59/0.69 c | 7 | 2013 62313 189165 | 20771 7 108 | 0.000 % | 0.70/0.70 c =============================================================================== 0.70/0.70 c New solution: -29 0.70/0.70 o -29 0.70/0.70 c Elapsed CPU time: 0.661899 s Remaining CPU time: 179.338 s 0.70/0.70 c =============================================================================== 0.70/0.70 c | 10 | 2013 62314 189300 | 20771 10 100 | 0.000 % | 0.70/0.71 c =============================================================================== 0.70/0.71 c New solution: -30 0.70/0.71 o -30 0.70/0.71 c Elapsed CPU time: 0.670898 s Remaining CPU time: 179.329 s 0.70/0.71 c =============================================================================== 0.70/0.71 c | 10 | 2013 62315 189435 | 20771 10 100 | 0.000 % | 0.70/0.72 c =============================================================================== 0.70/0.72 c New solution: -31 0.70/0.72 o -31 0.70/0.72 c Elapsed CPU time: 0.680896 s Remaining CPU time: 179.319 s 0.70/0.72 c =============================================================================== 0.70/0.72 c | 10 | 2013 62316 189570 | 20772 10 100 | 0.000 % | 0.70/0.73 c =============================================================================== 0.70/0.73 c New solution: -32 0.70/0.73 o -32 0.70/0.73 c Elapsed CPU time: 0.691894 s Remaining CPU time: 179.308 s 0.70/0.73 c =============================================================================== 0.70/0.73 c | 10 | 2013 62317 189705 | 20772 10 100 | 0.000 % | 0.70/0.74 c =============================================================================== 0.70/0.74 c New solution: -33 0.70/0.74 o -33 0.70/0.74 c Elapsed CPU time: 0.701893 s Remaining CPU time: 179.298 s 0.70/0.74 c =============================================================================== 0.70/0.74 c | 10 | 2013 62318 189840 | 20772 10 100 | 0.000 % | 0.70/0.75 c =============================================================================== 0.70/0.75 c New solution: -34 0.70/0.75 o -34 0.70/0.75 c Elapsed CPU time: 0.710891 s Remaining CPU time: 179.289 s 0.70/0.75 c =============================================================================== 0.70/0.75 c | 11 | 2013 62319 189975 | 20773 11 91 | 0.000 % | 0.70/0.76 c =============================================================================== 0.70/0.76 c New solution: -35 0.70/0.76 o -35 0.70/0.76 c Elapsed CPU time: 0.72189 s Remaining CPU time: 179.278 s 0.70/0.76 c =============================================================================== 0.70/0.76 c | 14 | 2013 62320 190110 | 20773 14 97 | 0.000 % | 0.70/0.77 c =============================================================================== 0.70/0.77 c New solution: -36 0.70/0.77 o -36 0.70/0.77 c Elapsed CPU time: 0.730888 s Remaining CPU time: 179.269 s 0.70/0.77 c =============================================================================== 0.70/0.77 c | 14 | 2013 62321 190245 | 20773 14 97 | 0.000 % | 0.70/0.78 c =============================================================================== 0.70/0.78 c New solution: -37 0.70/0.78 o -37 0.70/0.78 c Elapsed CPU time: 0.741887 s Remaining CPU time: 179.258 s 0.70/0.78 c =============================================================================== 0.70/0.78 c | 15 | 2013 62322 190380 | 20774 15 99 | 0.000 % | 0.70/0.79 c =============================================================================== 0.70/0.79 c New solution: -38 0.70/0.79 o -38 0.70/0.79 c Elapsed CPU time: 0.749886 s Remaining CPU time: 179.25 s 0.70/0.79 c =============================================================================== 0.70/0.79 c | 15 | 2013 62323 190515 | 20774 15 99 | 0.000 % | 0.79/0.81 c =============================================================================== 0.79/0.81 c New solution: -39 0.79/0.81 o -39 0.79/0.81 c Elapsed CPU time: 0.759884 s Remaining CPU time: 179.24 s 0.79/0.81 c =============================================================================== 0.79/0.81 c | 15 | 2013 62324 190650 | 20774 15 99 | 0.000 % | 0.79/0.81 c =============================================================================== 0.79/0.81 c New solution: -40 0.79/0.81 o -40 0.79/0.81 c Elapsed CPU time: 0.766883 s Remaining CPU time: 179.233 s 0.79/0.81 c =============================================================================== 0.79/0.81 c | 18 | 2013 62325 190785 | 20775 18 102 | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.83 c New solution: -41 0.79/0.83 o -41 0.79/0.83 c Elapsed CPU time: 0.78288 s Remaining CPU time: 179.217 s 0.79/0.83 c =============================================================================== 0.79/0.83 c | 68 | 2013 62326 190920 | 20775 68 105 | 0.000 % | 0.79/0.84 c =============================================================================== 0.79/0.84 c New solution: -42 0.79/0.84 o -42 0.79/0.84 c Elapsed CPU time: 0.791879 s Remaining CPU time: 179.208 s 0.79/0.84 c =============================================================================== 0.79/0.84 c | 90 | 2013 62327 191055 | 20775 90 106 | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.85 c New solution: -43 0.79/0.85 o -43 0.79/0.85 c Elapsed CPU time: 0.800878 s Remaining CPU time: 179.199 s 0.79/0.85 c =============================================================================== 0.79/0.85 c | 90 | 2013 62328 191190 | 20776 90 106 | 0.000 % | 0.79/0.86 c =============================================================================== 0.79/0.86 c New solution: -44 0.79/0.86 o -44 0.79/0.86 c Elapsed CPU time: 0.814876 s Remaining CPU time: 179.185 s 0.79/0.86 c =============================================================================== 0.79/0.86 c | 113 | 2013 62329 191325 | 20776 113 107 | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c New solution: -45 0.79/0.88 o -45 0.79/0.88 c Elapsed CPU time: 0.825874 s Remaining CPU time: 179.174 s 0.79/0.88 c =============================================================================== 0.79/0.88 c | 115 | 2013 62330 191460 | 20776 115 107 | 0.000 % | 0.79/0.89 c =============================================================================== 0.79/0.89 c New solution: -46 0.79/0.89 o -46 0.79/0.89 c Elapsed CPU time: 0.836872 s Remaining CPU time: 179.163 s 0.79/0.89 c =============================================================================== 0.79/0.89 c | 118 | 2013 62331 191595 | 20777 118 107 | 0.000 % | 0.89/0.90 c =============================================================================== 0.89/0.90 c New solution: -47 0.89/0.90 o -47 0.89/0.90 c Elapsed CPU time: 0.845871 s Remaining CPU time: 179.154 s 0.89/0.90 c =============================================================================== 0.89/0.90 c | 118 | 2013 62332 191730 | 20777 118 107 | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.91 c New solution: -48 0.89/0.91 o -48 0.89/0.91 c Elapsed CPU time: 0.855869 s Remaining CPU time: 179.144 s 0.89/0.91 c =============================================================================== 0.89/0.91 c | 140 | 2013 62333 191865 | 20777 140 108 | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.92 c New solution: -49 0.89/0.92 o -49 0.89/0.92 c Elapsed CPU time: 0.865868 s Remaining CPU time: 179.134 s 0.89/0.92 c =============================================================================== 0.89/0.92 c | 140 | 2013 62334 192000 | 20778 140 108 | 0.000 % | 0.89/0.93 c =============================================================================== 0.89/0.93 c New solution: -50 0.89/0.93 o -50 0.89/0.93 c Elapsed CPU time: 0.876866 s Remaining CPU time: 179.123 s 0.89/0.93 c =============================================================================== 0.89/0.93 c | 141 | 2013 62335 192135 | 20778 141 108 | 0.000 % | 0.89/0.94 c =============================================================================== 0.89/0.94 c New solution: -51 0.89/0.94 o -51 0.89/0.94 c Elapsed CPU time: 0.887865 s Remaining CPU time: 179.112 s 0.89/0.94 c =============================================================================== 0.89/0.94 c | 144 | 2013 62336 192270 | 20778 144 108 | 0.000 % | 0.89/0.95 c =============================================================================== 0.89/0.95 c New solution: -52 0.89/0.95 o -52 0.89/0.95 c Elapsed CPU time: 0.897863 s Remaining CPU time: 179.102 s 0.89/0.95 c =============================================================================== 0.89/0.95 c | 145 | 2013 62337 192405 | 20779 145 108 | 0.000 % | 0.89/0.97 c =============================================================================== 0.89/0.97 c New solution: -53 0.89/0.97 o -53 0.89/0.97 c Elapsed CPU time: 0.911861 s Remaining CPU time: 179.088 s 0.89/0.97 c =============================================================================== 0.89/0.97 c | 174 | 2013 62338 192540 | 20779 174 108 | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.98 c New solution: -54 0.89/0.98 o -54 0.89/0.98 c Elapsed CPU time: 0.923859 s Remaining CPU time: 179.076 s 0.89/0.98 c =============================================================================== 0.89/0.98 c | 177 | 2013 62339 192675 | 20779 177 108 | 0.000 % | 0.89/0.99 c | 277 | 2013 62339 192675 | 22857 277 108 | 0.593 % | 1.00/1.00 c =============================================================================== 1.00/1.00 c New solution: -55 1.00/1.00 o -55 1.00/1.00 c Elapsed CPU time: 0.942856 s Remaining CPU time: 179.057 s 1.00/1.00 c =============================================================================== 1.00/1.00 c | 277 | 2013 62340 192810 | 20780 277 108 | 0.593 % | 1.00/1.01 c =============================================================================== 1.00/1.01 c New solution: -56 1.00/1.01 o -56 1.00/1.01 c Elapsed CPU time: 0.954854 s Remaining CPU time: 179.045 s 1.00/1.01 c =============================================================================== 1.00/1.01 c | 281 | 2013 62341 192945 | 20780 281 108 | 0.593 % | 1.00/1.02 c =============================================================================== 1.00/1.02 c New solution: -57 1.00/1.02 o -57 1.00/1.02 c Elapsed CPU time: 0.965853 s Remaining CPU time: 179.034 s 1.00/1.02 c =============================================================================== 1.00/1.02 c | 281 | 2013 62342 193080 | 20780 281 108 | 0.593 % | 1.00/1.05 c =============================================================================== 1.00/1.05 c New solution: -58 1.00/1.05 o -58 1.00/1.05 c Elapsed CPU time: 0.987849 s Remaining CPU time: 179.012 s 1.00/1.05 c =============================================================================== 1.00/1.05 c | 362 | 2013 62343 193215 | 20781 362 108 | 0.593 % | 1.00/1.06 c =============================================================================== 1.00/1.06 c New solution: -59 1.00/1.06 o -59 1.00/1.06 c Elapsed CPU time: 0.997848 s Remaining CPU time: 179.002 s 1.00/1.06 c =============================================================================== 1.00/1.06 c | 363 | 2013 62344 193350 | 20781 363 108 | 0.593 % | 1.00/1.08 c =============================================================================== 1.00/1.08 c New solution: -60 1.00/1.08 o -60 1.00/1.08 c Elapsed CPU time: 1.01984 s Remaining CPU time: 178.98 s 1.00/1.08 c =============================================================================== 1.00/1.08 c | 423 | 2013 62345 193485 | 20781 423 107 | 0.593 % | 1.00/1.10 c | 524 | 2013 62345 193485 | 22859 524 107 | 0.593 % | 1.10/1.12 c =============================================================================== 1.10/1.12 c New solution: -62 1.10/1.12 o -62 1.10/1.12 c Elapsed CPU time: 1.05284 s Remaining CPU time: 178.947 s 1.10/1.12 c =============================================================================== 1.10/1.12 c | 573 | 2013 62346 193620 | 20782 573 107 | 0.593 % | 1.10/1.13 c =============================================================================== 1.10/1.13 c New solution: -63 1.10/1.13 o -63 1.10/1.13 c Elapsed CPU time: 1.06984 s Remaining CPU time: 178.93 s 1.10/1.13 c =============================================================================== 1.10/1.13 c | 608 | 2013 62347 193755 | 20782 608 108 | 0.593 % | 1.10/1.15 c | 709 | 2013 62347 193755 | 22860 709 107 | 0.593 % | 1.10/1.18 c =============================================================================== 1.10/1.18 c New solution: -64 1.10/1.18 o -64 1.10/1.18 c Elapsed CPU time: 1.11183 s Remaining CPU time: 178.888 s 1.10/1.18 c =============================================================================== 1.10/1.18 c | 818 | 2013 62348 193890 | 20782 818 108 | 0.593 % | 1.10/1.19 c =============================================================================== 1.10/1.19 c New solution: -65 1.10/1.19 o -65 1.10/1.19 c Elapsed CPU time: 1.12683 s Remaining CPU time: 178.873 s 1.10/1.19 c =============================================================================== 1.10/1.19 c | 836 | 2013 62349 194025 | 20783 836 107 | 0.593 % | 1.19/1.21 c | 936 | 2013 62349 194025 | 22861 936 108 | 0.593 % | 1.19/1.22 c =============================================================================== 1.19/1.22 c New solution: -66 1.19/1.22 o -66 1.19/1.22 c Elapsed CPU time: 1.15282 s Remaining CPU time: 178.847 s 1.19/1.22 c =============================================================================== 1.19/1.22 c | 949 | 2013 62350 194160 | 20783 949 108 | 0.593 % | 1.19/1.23 c =============================================================================== 1.19/1.23 c New solution: -67 1.19/1.23 o -67 1.19/1.23 c Elapsed CPU time: 1.16482 s Remaining CPU time: 178.835 s 1.19/1.23 c =============================================================================== 1.19/1.23 c | 952 | 2013 62351 194295 | 20783 952 108 | 0.593 % | 1.19/1.25 c | 1053 | 2013 62351 194295 | 22862 1053 108 | 0.593 % | 1.19/1.27 c =============================================================================== 1.19/1.27 c New solution: -68 1.19/1.27 o -68 1.19/1.27 c Elapsed CPU time: 1.19782 s Remaining CPU time: 178.802 s 1.19/1.27 c =============================================================================== 1.19/1.27 c | 1119 | 2013 62352 194430 | 20784 1119 108 | 0.593 % | 1.19/1.29 c =============================================================================== 1.19/1.29 c New solution: -69 1.19/1.29 o -69 1.19/1.29 c Elapsed CPU time: 1.21881 s Remaining CPU time: 178.781 s 1.19/1.29 c =============================================================================== 1.19/1.29 c | 1187 | 2013 62353 194565 | 20784 1187 107 | 0.593 % | 1.29/1.31 c | 1287 | 2013 62353 194565 | 22862 1287 107 | 0.593 % | 1.29/1.35 c | 1437 | 2013 62353 194565 | 25149 1437 107 | 0.593 % | 1.29/1.39 c | 1662 | 2013 62353 194565 | 27663 1662 107 | 0.593 % | 1.39/1.41 c =============================================================================== 1.39/1.41 c New solution: -70 1.39/1.41 o -70 1.39/1.41 c Elapsed CPU time: 1.3338 s Remaining CPU time: 178.666 s 1.39/1.41 c =============================================================================== 1.39/1.41 c | 1745 | 2013 62354 194700 | 20784 1745 107 | 0.593 % | 1.39/1.44 c =============================================================================== 1.39/1.44 c New solution: -71 1.39/1.44 o -71 1.39/1.44 c Elapsed CPU time: 1.35679 s Remaining CPU time: 178.643 s 1.39/1.44 c =============================================================================== 1.39/1.44 c | 1818 | 2013 62355 194835 | 20785 1818 107 | 0.593 % | 1.39/1.45 c =============================================================================== 1.39/1.45 c New solution: -72 1.39/1.45 o -72 1.39/1.45 c Elapsed CPU time: 1.36979 s Remaining CPU time: 178.63 s 1.39/1.45 c =============================================================================== 1.39/1.45 c | 1820 | 2013 62356 194970 | 20785 1820 107 | 0.593 % | 1.39/1.47 c | 1920 | 2013 62356 194970 | 22863 1920 107 | 0.593 % | 1.49/1.50 c =============================================================================== 1.49/1.50 c New solution: -73 1.49/1.50 o -73 1.49/1.50 c Elapsed CPU time: 1.42178 s Remaining CPU time: 178.578 s 1.49/1.50 c =============================================================================== 1.49/1.50 c | 2020 | 2013 62357 195105 | 20785 2020 107 | 0.593 % | 1.49/1.52 c =============================================================================== 1.49/1.52 c New solution: -74 1.49/1.52 o -74 1.49/1.52 c Elapsed CPU time: 1.43878 s Remaining CPU time: 178.561 s 1.49/1.52 c =============================================================================== 1.49/1.52 c | 2068 | 2013 62358 195240 | 20786 2068 107 | 0.593 % | 1.49/1.53 c =============================================================================== 1.49/1.53 c New solution: -75 1.49/1.53 o -75 1.49/1.53 c Elapsed CPU time: 1.45078 s Remaining CPU time: 178.549 s 1.49/1.53 c =============================================================================== 1.49/1.53 c | 2068 | 2013 62359 195375 | 20786 2068 107 | 0.593 % | 1.49/1.54 c =============================================================================== 1.49/1.54 c New solution: -76 1.49/1.54 o -76 1.49/1.54 c Elapsed CPU time: 1.46078 s Remaining CPU time: 178.539 s 1.49/1.54 c =============================================================================== 1.49/1.54 c | 2068 | 2013 62360 195510 | 20786 2068 107 | 0.593 % | 1.49/1.56 c =============================================================================== 1.49/1.56 c New solution: -77 1.49/1.56 o -77 1.49/1.56 c Elapsed CPU time: 1.47278 s Remaining CPU time: 178.527 s 1.49/1.56 c =============================================================================== 1.49/1.56 c | 2069 | 2013 62361 195645 | 20787 2069 107 | 0.593 % | 1.49/1.58 c | 2171 | 2013 62361 195645 | 22865 2171 107 | 0.593 % | 1.59/1.61 c =============================================================================== 1.59/1.61 c New solution: -78 1.59/1.61 o -78 1.59/1.61 c Elapsed CPU time: 1.52377 s Remaining CPU time: 178.476 s 1.59/1.61 c =============================================================================== 1.59/1.61 c | 2258 | 2013 62362 195780 | 20787 2258 107 | 0.593 % | 1.59/1.63 c | 2358 | 2013 62362 195780 | 22866 2358 106 | 0.593 % | 1.59/1.65 c =============================================================================== 1.59/1.65 c New solution: -79 1.59/1.65 o -79 1.59/1.65 c Elapsed CPU time: 1.56676 s Remaining CPU time: 178.433 s 1.59/1.65 c =============================================================================== 1.59/1.65 c | 2410 | 2013 62363 195915 | 20787 2410 106 | 0.593 % | 1.59/1.67 c =============================================================================== 1.59/1.67 c New solution: -80 1.59/1.67 o -80 1.59/1.67 c Elapsed CPU time: 1.57976 s Remaining CPU time: 178.42 s 1.59/1.67 c =============================================================================== 1.59/1.67 c | 2417 | 2013 62364 196050 | 20788 2417 106 | 0.593 % | 1.59/1.68 c =============================================================================== 1.59/1.68 c New solution: -82 1.59/1.68 o -82 1.59/1.68 c Elapsed CPU time: 1.59176 s Remaining CPU time: 178.408 s 1.59/1.68 c =============================================================================== 1.59/1.68 c | 2432 | 2013 62365 196185 | 20788 2432 106 | 0.593 % | 1.69/1.70 c | 2533 | 2013 62365 196185 | 22867 2533 106 | 0.593 % | 1.69/1.74 c | 2683 | 2013 62365 196185 | 25153 2683 106 | 0.593 % | 1.69/1.78 c =============================================================================== 1.69/1.78 c New solution: -83 1.69/1.78 o -83 1.69/1.78 c Elapsed CPU time: 1.69374 s Remaining CPU time: 178.306 s 1.69/1.78 c =============================================================================== 1.69/1.78 c | 2851 | 2013 62366 196320 | 20788 2851 106 | 0.593 % | 1.79/1.81 c | 2953 | 2013 62366 196320 | 22867 2953 106 | 0.593 % | 1.79/1.84 c =============================================================================== 1.79/1.84 c New solution: -84 1.79/1.84 o -84 1.79/1.84 c Elapsed CPU time: 1.74773 s Remaining CPU time: 178.252 s 1.79/1.84 c =============================================================================== 1.79/1.84 c | 3075 | 2013 62367 196455 | 20789 3075 105 | 0.593 % | 1.79/1.86 c =============================================================================== 1.79/1.86 c New solution: -85 1.79/1.86 o -85 1.79/1.86 c Elapsed CPU time: 1.77073 s Remaining CPU time: 178.229 s 1.79/1.86 c =============================================================================== 1.79/1.86 c | 3158 | 2013 62368 196590 | 20789 3158 105 | 0.593 % | 1.79/1.87 c =============================================================================== 1.79/1.87 c New solution: -86 1.79/1.87 o -86 1.79/1.87 c Elapsed CPU time: 1.77773 s Remaining CPU time: 178.222 s 1.79/1.87 c =============================================================================== 1.79/1.87 c | 3158 | 2013 62369 196725 | 20789 3158 105 | 0.593 % | 1.79/1.89 c | 3258 | 2013 62369 196725 | 22868 3258 105 | 0.593 % | 1.89/1.92 c | 3409 | 2013 62369 196725 | 25155 3409 105 | 0.593 % | 1.89/1.97 c | 3634 | 2013 62369 196725 | 27671 3634 104 | 0.593 % | 1.99/2.01 c =============================================================================== 1.99/2.01 c New solution: -87 1.99/2.01 o -87 1.99/2.01 c Elapsed CPU time: 1.91971 s Remaining CPU time: 178.08 s 1.99/2.01 c =============================================================================== 1.99/2.01 c | 3775 | 2013 62370 196860 | 20790 3775 104 | 0.593 % | 1.99/2.04 c | 3875 | 2013 62370 196860 | 22869 3875 104 | 0.593 % | 1.99/2.08 c | 4025 | 2013 62370 196860 | 25155 4025 104 | 0.593 % | 1.99/2.09 c =============================================================================== 1.99/2.09 c New solution: -88 1.99/2.09 o -88 1.99/2.09 c Elapsed CPU time: 1.9927 s Remaining CPU time: 178.007 s 1.99/2.09 c =============================================================================== 1.99/2.09 c | 4025 | 2013 62371 196995 | 20790 4025 104 | 0.593 % | 2.10/2.12 c | 4127 | 2013 62371 196995 | 22869 4127 104 | 0.593 % | 2.10/2.14 c =============================================================================== 2.10/2.14 c New solution: -90 2.10/2.14 o -90 2.10/2.14 c Elapsed CPU time: 2.04069 s Remaining CPU time: 177.959 s 2.10/2.14 c =============================================================================== 2.10/2.14 c | 4150 | 2013 62372 197130 | 20790 4150 104 | 0.593 % | 2.10/2.15 c =============================================================================== 2.10/2.15 c New solution: -91 2.10/2.15 o -91 2.10/2.15 c Elapsed CPU time: 2.05069 s Remaining CPU time: 177.949 s 2.10/2.15 c =============================================================================== 2.10/2.15 c | 4162 | 2013 62373 197265 | 20791 4162 104 | 0.593 % | 2.10/2.17 c | 4262 | 2013 62373 197265 | 22870 4262 104 | 0.593 % | 2.20/2.21 c =============================================================================== 2.20/2.21 c New solution: -93 2.20/2.21 o -93 2.20/2.21 c Elapsed CPU time: 2.10668 s Remaining CPU time: 177.893 s 2.20/2.21 c =============================================================================== 2.20/2.21 c | 4357 | 2013 62374 197400 | 20791 4357 103 | 0.593 % | 2.20/2.23 c | 4460 | 2013 62374 197400 | 22870 4460 103 | 0.593 % | 2.20/2.27 c | 4610 | 2013 62374 197400 | 25157 4610 103 | 0.593 % | 2.29/2.32 c | 4835 | 2013 62374 197400 | 27673 4835 103 | 0.593 % | 2.29/2.36 c =============================================================================== 2.29/2.36 c New solution: -94 2.29/2.36 o -94 2.29/2.36 c Elapsed CPU time: 2.25166 s Remaining CPU time: 177.748 s 2.29/2.36 c =============================================================================== 2.29/2.36 c | 4955 | 2013 62375 197535 | 20791 4955 103 | 0.593 % | 2.29/2.37 c =============================================================================== 2.29/2.37 c New solution: -95 2.29/2.37 o -95 2.29/2.37 c Elapsed CPU time: 2.26365 s Remaining CPU time: 177.736 s 2.29/2.37 c =============================================================================== 2.29/2.37 c | 4955 | 2013 62376 197670 | 20792 4955 103 | 0.593 % | 2.29/2.39 c | 5057 | 2013 62376 197670 | 22871 5057 103 | 0.593 % | 2.40/2.43 c | 5207 | 2013 62376 197670 | 25158 5207 102 | 0.593 % | 2.40/2.50 c | 5432 | 2013 62376 197670 | 27674 5432 102 | 0.593 % | 2.49/2.58 c | 5769 | 2013 62376 197670 | 30441 5769 102 | 0.593 % | 2.59/2.70 c | 6276 | 2013 62376 197670 | 33485 6276 102 | 0.593 % | 2.69/2.74 c =============================================================================== 2.69/2.74 c New solution: -96 2.69/2.74 o -96 2.69/2.74 c Elapsed CPU time: 2.6266 s Remaining CPU time: 177.373 s 2.69/2.74 c =============================================================================== 2.69/2.74 c | 6428 | 2013 62377 197805 | 20792 6428 101 | 0.593 % | 2.69/2.78 c =============================================================================== 2.69/2.78 c New solution: -97 2.69/2.78 o -97 2.69/2.78 c Elapsed CPU time: 2.6616 s Remaining CPU time: 177.338 s 2.69/2.78 c =============================================================================== 2.69/2.78 c | 6507 | 2013 62378 197940 | 20792 6507 101 | 0.593 % | 2.69/2.79 c =============================================================================== 2.69/2.79 c New solution: -98 2.69/2.79 o -98 2.69/2.79 c Elapsed CPU time: 2.67459 s Remaining CPU time: 177.325 s 2.69/2.79 c =============================================================================== 2.69/2.79 c | 6507 | 2013 62379 198075 | 20793 6507 101 | 0.593 % | 2.79/2.82 c =============================================================================== 2.79/2.82 c New solution: -99 2.79/2.82 o -99 2.79/2.82 c Elapsed CPU time: 2.70359 s Remaining CPU time: 177.296 s 2.79/2.82 c =============================================================================== 2.79/2.82 c | 6574 | 2013 62380 198210 | 20793 6574 101 | 0.593 % | 2.79/2.85 c =============================================================================== 2.79/2.85 c New solution: -100 2.79/2.85 o -100 2.79/2.85 c Elapsed CPU time: 2.73758 s Remaining CPU time: 177.262 s 2.79/2.85 c =============================================================================== 2.79/2.85 c | 6656 | 2013 62381 198345 | 20793 6656 101 | 0.593 % | 2.79/2.88 c | 6756 | 2013 62381 198345 | 22873 6756 101 | 0.593 % | 2.89/2.91 c | 6907 | 2013 62381 198345 | 25160 6907 101 | 0.593 % | 2.89/2.96 c | 7133 | 2013 62381 198345 | 27676 7133 101 | 0.593 % | 2.99/3.06 c | 7471 | 2013 62381 198345 | 30444 7471 101 | 0.593 % | 3.20/3.20 c | 7979 | 2013 62381 198345 | 33488 7979 100 | 0.593 % | 3.39/3.46 c | 8739 | 2013 62381 198345 | 36837 8739 100 | 0.593 % | 3.79/3.87 c | 9878 | 2013 62381 198345 | 40520 9878 99 | 0.593 % | 4.40/4.42 c =============================================================================== 4.40/4.42 c New solution: -102 4.40/4.42 o -102 4.40/4.42 c Elapsed CPU time: 4.29035 s Remaining CPU time: 175.71 s 4.40/4.42 c =============================================================================== 4.40/4.42 c | 11167 | 2013 62382 198480 | 20794 11167 99 | 0.593 % | 4.40/4.46 c | 11267 | 2013 62382 198480 | 22873 11267 99 | 0.593 % | 4.49/4.53 c | 11417 | 2013 62382 198480 | 25160 11417 99 | 0.593 % | 4.59/4.62 c | 11642 | 2013 62382 198480 | 27676 11642 99 | 0.593 % | 4.79/4.82 c | 11981 | 2013 62382 198480 | 30444 11981 99 | 0.593 % | 5.09/5.13 c | 12487 | 2013 62382 198480 | 33488 12487 98 | 0.593 % | 5.49/5.56 c | 13247 | 2013 62382 198480 | 36837 13247 98 | 0.593 % | 6.09/6.19 c | 14388 | 2013 62382 198480 | 40521 14388 98 | 0.593 % | 7.19/7.22 c | 16096 | 2013 62382 198480 | 44573 16096 98 | 0.593 % | 7.29/7.32 c =============================================================================== 7.29/7.32 c New solution: -103 7.29/7.32 o -103 7.29/7.32 c Elapsed CPU time: 7.17291 s Remaining CPU time: 172.827 s 7.29/7.32 c =============================================================================== 7.29/7.32 c | 16343 | 2013 62383 198615 | 20794 16343 98 | 0.593 % | 7.29/7.35 c | 16443 | 2013 62383 198615 | 22873 16443 98 | 0.593 % | 7.39/7.40 c | 16594 | 2013 62383 198615 | 25161 16594 98 | 0.593 % | 7.39/7.47 c | 16819 | 2013 62383 198615 | 27677 16819 98 | 0.593 % | 7.59/7.63 c | 17159 | 2013 62383 198615 | 30444 17159 97 | 0.593 % | 7.79/7.87 c | 17665 | 2013 62383 198615 | 33489 17665 97 | 0.593 % | 8.19/8.27 c | 18424 | 2013 62383 198615 | 36838 18424 97 | 0.593 % | 8.79/8.83 c | 19567 | 2013 62383 198615 | 40522 19567 97 | 0.593 % | 9.59/9.64 c | 21277 | 2013 62383 198615 | 44574 21277 97 | 0.593 % | 11.00/11.05 c | 23840 | 2013 62383 198615 | 49031 23840 96 | 0.593 % | 13.79/13.86 c | 27685 | 2013 62383 198615 | 53935 27685 96 | 0.593 % | 18.29/18.32 c | 33452 | 2013 62383 198615 | 59328 33452 96 | 0.593 % | 25.19/25.23 c | 42102 | 2013 62383 198615 | 65261 42102 95 | 0.593 % | 37.78/37.81 c =============================================================================== 37.78/37.81 c New solution: -105 37.78/37.81 o -105 37.78/37.81 c Elapsed CPU time: 37.5103 s Remaining CPU time: 142.49 s 37.78/37.81 c =============================================================================== 37.78/37.81 c | 54365 | 2013 62384 198750 | 20794 54365 95 | 0.593 % | 38.78/38.86 c | 54465 | 2013 62384 198750 | 22874 11887 93 | 0.593 % | 38.88/38.91 c | 54616 | 2013 62384 198750 | 25161 12038 93 | 0.593 % | 38.88/38.99 c | 54841 | 2013 62384 198750 | 27677 12263 93 | 0.593 % | 39.08/39.15 c | 55179 | 2013 62384 198750 | 30445 12601 93 | 0.593 % | 39.27/39.35 c | 55685 | 2013 62384 198750 | 33490 13107 93 | 0.593 % | 39.67/39.71 c | 56445 | 2013 62384 198750 | 36839 13867 93 | 0.593 % | 40.28/40.30 c | 57584 | 2013 62384 198750 | 40522 15006 93 | 0.593 % | 40.48/40.59 c =============================================================================== 40.48/40.59 c New solution: -106 40.48/40.59 o -106 40.48/40.59 c Elapsed CPU time: 40.2809 s Remaining CPU time: 139.719 s 40.48/40.59 c =============================================================================== 40.48/40.59 c | 58179 | 2013 62385 198885 | 20795 15601 93 | 0.593 % | 40.58/40.65 c | 58279 | 2013 62385 198885 | 22874 15701 93 | 0.593 % | 40.58/40.69 c =============================================================================== 40.58/40.69 c New solution: -107 40.58/40.69 o -107 40.58/40.69 c Elapsed CPU time: 40.3709 s Remaining CPU time: 139.629 s 40.58/40.69 c =============================================================================== 40.58/40.69 c | 58338 | 2013 62386 199020 | 20795 15760 93 | 0.593 % | 40.68/40.71 c =============================================================================== 40.68/40.71 c New solution: -108 40.68/40.71 o -108 40.68/40.71 c Elapsed CPU time: 40.3889 s Remaining CPU time: 139.611 s 40.68/40.71 c =============================================================================== 40.68/40.71 c | 58347 | 2013 62387 199155 | 20795 15769 93 | 0.593 % | 40.68/40.77 c | 58447 | 2013 62387 199155 | 22875 15869 93 | 0.593 % | 40.77/40.86 c | 58597 | 2013 62387 199155 | 25162 16019 93 | 0.593 % | 40.97/41.04 c | 58823 | 2013 62387 199155 | 27679 16245 93 | 0.593 % | 41.17/41.25 c | 59161 | 2013 62387 199155 | 30446 16583 93 | 0.593 % | 41.28/41.39 c | 59667 | 2013 62387 199155 | 33491 17089 93 | 0.593 % | 41.58/41.63 c | 60426 | 2013 62387 199155 | 36840 17848 93 | 0.593 % | 41.68/41.71 c =============================================================================== 41.68/41.71 c New solution: -109 41.68/41.71 o -109 41.68/41.71 c Elapsed CPU time: 41.3787 s Remaining CPU time: 138.621 s 41.68/41.71 c =============================================================================== 41.68/41.71 c | 60609 | 2013 62388 199290 | 20796 18031 93 | 0.593 % | 41.68/41.74 c | 60709 | 2013 62388 199290 | 22875 18131 93 | 0.593 % | 41.68/41.77 c =============================================================================== 41.68/41.77 c New solution: -110 41.68/41.77 o -110 41.68/41.77 c Elapsed CPU time: 41.4357 s Remaining CPU time: 138.564 s 41.68/41.77 c =============================================================================== 41.68/41.77 c | 60765 | 2013 62389 199425 | 20796 18187 93 | 0.593 % | 41.68/41.80 c =============================================================================== 41.68/41.80 c New solution: -111 41.68/41.80 o -111 41.68/41.80 c Elapsed CPU time: 41.4637 s Remaining CPU time: 138.536 s 41.68/41.80 c =============================================================================== 41.68/41.80 c | 60827 | 2013 62390 199560 | 20796 18249 93 | 0.593 % | 41.79/41.81 c =============================================================================== 41.79/41.81 c New solution: -112 41.79/41.81 o -112 41.79/41.81 c Elapsed CPU time: 41.4807 s Remaining CPU time: 138.519 s 41.79/41.81 c =============================================================================== 41.79/41.81 c | 60835 | 2013 62391 199695 | 20797 18257 93 | 0.593 % | 41.79/41.83 c =============================================================================== 41.79/41.83 c New solution: -113 41.79/41.83 o -113 41.79/41.83 c Elapsed CPU time: 41.4947 s Remaining CPU time: 138.505 s 41.79/41.83 c =============================================================================== 41.79/41.83 c | 60835 | 2013 62392 199830 | 20797 18257 93 | 0.593 % | 41.79/41.86 c | 60936 | 2013 62392 199830 | 22877 18358 93 | 0.593 % | 41.88/41.93 c | 61086 | 2013 62392 199830 | 25164 18508 93 | 0.593 % | 41.98/42.02 c | 61313 | 2013 62392 199830 | 27681 18735 93 | 0.593 % | 42.08/42.12 c | 61650 | 2013 62392 199830 | 30449 19072 93 | 0.593 % | 42.17/42.29 c | 62156 | 2013 62392 199830 | 33494 19578 93 | 0.593 % | 42.47/42.58 c | 62917 | 2013 62392 199830 | 36843 20339 93 | 0.593 % | 43.08/43.14 c | 64059 | 2013 62392 199830 | 40528 21481 93 | 0.593 % | 43.98/44.02 c | 65767 | 2013 62392 199830 | 44580 23189 92 | 0.593 % | 45.17/45.29 c | 68329 | 2013 62392 199830 | 49039 25751 92 | 0.593 % | 47.87/47.93 c | 72173 | 2013 62392 199830 | 53942 29595 92 | 0.593 % | 48.77/48.80 c =============================================================================== 48.77/48.80 c New solution: -114 48.77/48.80 o -114 48.77/48.80 c Elapsed CPU time: 48.4246 s Remaining CPU time: 131.575 s 48.77/48.80 c =============================================================================== 48.77/48.80 c | 73127 | 2013 62393 199965 | 20797 30549 92 | 0.593 % | 49.17/49.23 c =============================================================================== 49.17/49.23 c New solution: -115 49.17/49.23 o -115 49.17/49.23 c Elapsed CPU time: 48.8606 s Remaining CPU time: 131.139 s 49.17/49.23 c =============================================================================== 49.17/49.23 c | 73127 | 2013 62394 200100 | 20798 11234 89 | 0.593 % | 49.17/49.28 c | 73228 | 2013 62394 200100 | 22877 11335 89 | 0.593 % | 49.27/49.38 c | 73379 | 2013 62394 200100 | 25165 11486 89 | 0.593 % | 49.38/49.50 c | 73605 | 2013 62394 200100 | 27682 11712 89 | 0.593 % | 49.58/49.66 c | 73942 | 2013 62394 200100 | 30450 12049 89 | 0.593 % | 49.87/49.92 c | 74449 | 2013 62394 200100 | 33495 12556 89 | 0.593 % | 50.27/50.37 c | 75211 | 2013 62394 200100 | 36844 13318 89 | 0.593 % | 50.77/50.86 c | 76351 | 2013 62394 200100 | 40529 14458 89 | 0.593 % | 51.58/51.65 c =============================================================================== 51.58/51.65 c New solution: -117 51.58/51.65 o -117 51.58/51.65 c Elapsed CPU time: 51.2612 s Remaining CPU time: 128.739 s 51.58/51.65 c =============================================================================== 51.58/51.65 c | 77866 | 2013 62395 200235 | 20798 15973 89 | 0.593 % | 51.58/51.70 c | 77967 | 2013 62395 200235 | 22878 16074 89 | 0.593 % | 51.77/51.82 c | 78121 | 2013 62395 200235 | 25165 16228 89 | 0.593 % | 51.87/51.95 c | 78346 | 2013 62395 200235 | 27682 16453 89 | 0.593 % | 52.17/52.20 c | 78683 | 2013 62395 200235 | 30450 16790 89 | 0.593 % | 52.47/52.57 c | 79190 | 2013 62395 200235 | 33495 17297 89 | 0.593 % | 52.88/52.91 c | 79951 | 2013 62395 200235 | 36845 18058 89 | 0.593 % | 53.47/53.57 c | 81091 | 2013 62395 200235 | 40530 19198 89 | 0.593 % | 54.37/54.40 c | 82799 | 2013 62395 200235 | 44583 20906 89 | 0.593 % | 56.17/56.28 c | 85362 | 2013 62395 200235 | 49041 23469 89 | 0.593 % | 58.67/58.70 c | 89212 | 2013 62395 200235 | 53945 27319 89 | 0.593 % | 63.37/63.42 c | 94978 | 2013 62395 200235 | 59340 33085 89 | 0.593 % | 74.16/74.27 c | 103628 | 2013 62395 200235 | 65274 41735 89 | 0.593 % | 87.66/87.75 c | 116603 | 2013 62395 200235 | 71801 54710 89 | 0.593 % | 87.87/87.93 c =============================================================================== 87.87/87.93 c New solution: -118 87.87/87.93 o -118 87.87/87.93 c Elapsed CPU time: 87.3527 s Remaining CPU time: 92.6473 s 87.87/87.93 c =============================================================================== 87.87/87.93 c | 116762 | 2013 62396 200370 | 20798 54869 89 | 0.593 % | 88.97/89.07 c =============================================================================== 88.97/89.07 c New solution: -119 88.97/89.07 o -119 88.97/89.07 c Elapsed CPU time: 88.4945 s Remaining CPU time: 91.5055 s 88.97/89.07 c =============================================================================== 88.97/89.07 c | 116762 | 2013 62397 200505 | 20799 11903 87 | 0.593 % | 89.07/89.12 c | 116862 | 2013 62397 200505 | 22878 12003 87 | 0.593 % | 89.07/89.17 c | 117013 | 2013 62397 200505 | 25166 12154 87 | 0.593 % | 89.16/89.28 c | 117240 | 2013 62397 200505 | 27683 12381 87 | 0.593 % | 89.36/89.45 c | 117577 | 2013 62397 200505 | 30451 12718 87 | 0.593 % | 89.66/89.70 c | 118083 | 2013 62397 200505 | 33496 13224 87 | 0.593 % | 89.96/90.08 c =============================================================================== 89.96/90.08 c New solution: -120 89.96/90.08 o -120 89.96/90.08 c Elapsed CPU time: 89.4984 s Remaining CPU time: 90.5016 s 89.96/90.08 c =============================================================================== 89.96/90.08 c | 118770 | 2013 62398 200640 | 20799 13911 87 | 0.593 % | 90.07/90.14 c | 118870 | 2013 62398 200640 | 22879 14011 87 | 0.593 % | 90.17/90.21 c | 119021 | 2013 62398 200640 | 25167 14162 87 | 0.593 % | 90.26/90.34 c | 119246 | 2013 62398 200640 | 27683 14387 87 | 0.593 % | 90.36/90.47 c | 119583 | 2013 62398 200640 | 30452 14724 87 | 0.593 % | 90.66/90.71 c =============================================================================== 90.66/90.71 c New solution: -121 90.66/90.71 o -121 90.66/90.71 c Elapsed CPU time: 90.1263 s Remaining CPU time: 89.8737 s 90.66/90.71 c =============================================================================== 90.66/90.71 c | 119944 | 2013 62399 200775 | 20799 15085 87 | 0.593 % | 90.66/90.78 c | 120044 | 2013 62399 200775 | 22879 15185 87 | 0.593 % | 90.76/90.82 c =============================================================================== 90.76/90.82 c New solution: -123 90.76/90.82 o -123 90.76/90.82 c Elapsed CPU time: 90.2323 s Remaining CPU time: 89.7677 s 90.76/90.82 c =============================================================================== 90.76/90.82 c | 120090 | 2013 62400 200910 | 20800 15231 87 | 0.593 % | 90.76/90.88 c | 120191 | 2013 62400 200910 | 22880 15332 87 | 0.593 % | 90.86/90.95 c | 120342 | 2013 62400 200910 | 25168 15483 87 | 0.593 % | 90.96/91.06 c | 120567 | 2013 62400 200910 | 27684 15708 87 | 0.593 % | 91.27/91.35 c | 120906 | 2013 62400 200910 | 30453 16047 87 | 0.593 % | 91.67/91.71 c | 121413 | 2013 62400 200910 | 33498 16554 87 | 0.593 % | 92.06/92.19 c | 122172 | 2013 62400 200910 | 36848 17313 87 | 0.593 % | 92.86/92.99 c | 123311 | 2013 62400 200910 | 40533 18452 87 | 0.593 % | 94.06/94.11 c | 125019 | 2013 62400 200910 | 44586 20160 87 | 0.593 % | 94.86/95.00 c =============================================================================== 94.86/95.00 c New solution: -125 94.86/95.00 o -125 94.86/95.00 c Elapsed CPU time: 94.3827 s Remaining CPU time: 85.6173 s 94.86/95.00 c =============================================================================== 94.86/95.00 c | 126577 | 2013 62401 201045 | 20800 21718 87 | 0.593 % | 95.06/95.12 c =============================================================================== 95.06/95.12 c New solution: -126 95.06/95.12 o -126 95.06/95.12 c Elapsed CPU time: 94.5066 s Remaining CPU time: 85.4934 s 95.06/95.12 c =============================================================================== 95.06/95.12 c | 126644 | 2013 62402 201180 | 20800 10912 84 | 0.593 % | 95.06/95.18 c | 126745 | 2013 62402 201180 | 22880 11013 84 | 0.593 % | 95.16/95.25 c | 126896 | 2013 62402 201180 | 25168 11164 84 | 0.593 % | 95.26/95.36 c =============================================================================== 95.26/95.36 c New solution: -127 95.26/95.36 o -127 95.26/95.36 c Elapsed CPU time: 94.7466 s Remaining CPU time: 85.2534 s 95.26/95.36 c =============================================================================== 95.26/95.36 c | 127053 | 2013 62403 201315 | 20801 11321 84 | 0.593 % | 95.36/95.40 c | 127154 | 2013 62403 201315 | 22881 11422 84 | 0.593 % | 95.36/95.46 c | 127304 | 2013 62403 201315 | 25169 11572 84 | 0.593 % | 95.47/95.59 c | 127529 | 2013 62403 201315 | 27686 11797 84 | 0.593 % | 95.67/95.79 c | 127866 | 2013 62403 201315 | 30454 12134 84 | 0.593 % | 95.96/96.08 c | 128373 | 2013 62403 201315 | 33500 12641 84 | 0.593 % | 96.06/96.10 c =============================================================================== 96.06/96.10 c New solution: -128 96.06/96.10 o -128 96.06/96.10 c Elapsed CPU time: 95.4745 s Remaining CPU time: 84.5255 s 96.06/96.10 c =============================================================================== 96.06/96.10 c | 128378 | 2013 62404 201450 | 20801 12646 84 | 0.593 % | 96.06/96.14 c | 128479 | 2013 62404 201450 | 22881 12747 84 | 0.593 % | 96.06/96.17 c =============================================================================== 96.06/96.17 c New solution: -129 96.06/96.17 o -129 96.06/96.17 c Elapsed CPU time: 95.5455 s Remaining CPU time: 84.4545 s 96.06/96.17 c =============================================================================== 96.06/96.17 c | 128550 | 2013 62405 201585 | 20801 12818 84 | 0.593 % | 96.16/96.22 c | 128650 | 2013 62405 201585 | 22881 12918 84 | 0.593 % | 96.16/96.29 c | 128800 | 2013 62405 201585 | 25170 13068 84 | 0.593 % | 96.36/96.42 c | 129026 | 2013 62405 201585 | 27687 13294 84 | 0.593 % | 96.56/96.62 c | 129363 | 2013 62405 201585 | 30455 13631 84 | 0.593 % | 96.86/96.91 c | 129871 | 2013 62405 201585 | 33501 14139 84 | 0.593 % | 97.06/97.18 c | 130630 | 2013 62405 201585 | 36851 14898 84 | 0.593 % | 97.56/97.62 c | 131771 | 2013 62405 201585 | 40536 16039 84 | 0.593 % | 97.96/98.00 c =============================================================================== 97.96/98.00 c New solution: -130 97.96/98.00 o -130 97.96/98.00 c Elapsed CPU time: 97.3582 s Remaining CPU time: 82.6418 s 97.96/98.00 c =============================================================================== 97.96/98.00 c | 132517 | 2013 62406 201720 | 20802 16785 84 | 0.593 % | 97.96/98.05 c | 132617 | 2013 62406 201720 | 22882 16885 84 | 0.593 % | 98.05/98.13 c | 132768 | 2013 62406 201720 | 25170 17036 84 | 0.593 % | 98.16/98.24 c | 132994 | 2013 62406 201720 | 27687 17262 84 | 0.593 % | 98.36/98.42 c | 133335 | 2013 62406 201720 | 30456 17603 84 | 0.593 % | 98.66/98.71 c | 133841 | 2013 62406 201720 | 33501 18109 84 | 0.593 % | 99.06/99.13 c | 134600 | 2013 62406 201720 | 36852 18868 84 | 0.593 % | 99.66/99.75 c | 135740 | 2013 62406 201720 | 40537 20008 84 | 0.593 % | 100.55/100.61 c | 137449 | 2013 62406 201720 | 44590 21717 84 | 0.593 % | 102.36/102.41 c | 140012 | 2013 62406 201720 | 49050 24280 84 | 0.593 % | 104.86/104.98 c | 143857 | 2013 62406 201720 | 53955 28125 84 | 0.593 % | 109.16/109.29 c | 149623 | 2013 62406 201720 | 59350 33891 84 | 0.593 % | 116.26/116.38 c | 158272 | 2013 62406 201720 | 65285 42540 85 | 0.593 % | 128.95/129.05 c | 171246 | 2013 62406 201720 | 71814 55514 84 | 0.593 % | 153.85/153.92 c | 190710 | 2013 62406 201720 | 78995 15190 82 | 0.593 % | 180.93/181.05 c There are 12 assigned variables. 12 in cost function. 186.94/187.02 c core #1 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 12 Core Weight: 1 Total Weight: -308 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #2 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 13 Core Weight: 1 Total Weight: -307 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #3 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 8 Core Weight: 1 Total Weight: -306 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #4 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 8 Core Weight: 1 Total Weight: -305 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #5 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 9 Core Weight: 1 Total Weight: -304 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #6 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 10 Core Weight: 1 Total Weight: -303 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #7 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 10 Core Weight: 1 Total Weight: -302 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #8 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 11 Core Weight: 3 Total Weight: -299 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #9 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 11 Core Weight: 1 Total Weight: -298 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #10 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 11 Core Weight: 1 Total Weight: -297 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #11 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 11 Core Weight: 1 Total Weight: -296 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #12 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 11 Core Weight: 1 Total Weight: -295 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #13 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 8 Core Weight: 1 Total Weight: -294 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #14 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 9 Core Weight: 1 Total Weight: -293 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #15 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 10 Core Weight: 2 Total Weight: -291 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #16 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 11 Core Weight: 1 Total Weight: -290 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #17 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 12 Core Weight: 1 Total Weight: -289 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #18 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 13 Core Weight: 1 Total Weight: -288 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #19 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 11 Core Weight: 1 Total Weight: -287 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #20 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 7 Core Weight: 1 Total Weight: -286 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #21 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 8 Core Weight: 1 Total Weight: -285 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #22 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 9 Core Weight: 2 Total Weight: -283 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #23 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 10 Core Weight: 1 Total Weight: -282 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #24 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 9 Core Weight: 1 Total Weight: -281 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #25 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 10 Core Weight: 1 Total Weight: -280 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #26 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 10 Core Weight: 1 Total Weight: -279 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #27 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 15 Core Weight: 1 Total Weight: -278 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #28 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 8 Core Weight: 1 Total Weight: -277 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #29 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 11 Core Weight: 1 Total Weight: -276 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #30 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 10 Core Weight: 1 Total Weight: -275 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #31 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 8 Core Weight: 1 Total Weight: -274 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #32 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 9 Core Weight: 2 Total Weight: -272 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #33 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 11 Core Weight: 1 Total Weight: -271 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #34 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 11 Core Weight: 2 Total Weight: -269 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #35 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 11 Core Weight: 2 Total Weight: -267 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #36 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 9 Core Weight: 1 Total Weight: -266 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #37 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 10 Core Weight: 1 Total Weight: -265 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #38 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 8 Core Weight: 2 Total Weight: -263 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #39 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 13 Core Weight: 1 Total Weight: -262 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #40 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 13 Core Weight: 1 Total Weight: -261 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #41 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 9 Core Weight: 2 Total Weight: -259 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #42 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 10 Core Weight: 1 Total Weight: -258 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #43 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 11 Core Weight: 1 Total Weight: -257 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #44 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 11 Core Weight: 2 Total Weight: -255 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c core #45 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c Core size: 23 Core Weight: 1 Total Weight: -254 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c core #46 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c Core size: 11 Core Weight: 1 Total Weight: -253 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c core #47 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c Core size: 11 Core Weight: 1 Total Weight: -252 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c core #48 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c Core size: 9 Core Weight: 1 Total Weight: -251 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c core #49 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c Core size: 9 Core Weight: 1 Total Weight: -250 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c core #50 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c Core size: 10 Core Weight: 1 Total Weight: -249 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c core #51 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c Core size: 10 Core Weight: 1 Total Weight: -248 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c core #52 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c Core size: 16 Core Weight: 1 Total Weight: -247 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c core #53 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c Core size: 17 Core Weight: 1 Total Weight: -246 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c core #54 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c Core size: 20 Core Weight: 1 Total Weight: -245 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c core #55 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c Core size: 24 Core Weight: 1 Total Weight: -244 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c core #56 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c Core size: 8 Core Weight: 1 Total Weight: -243 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c core #57 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c Core size: 9 Core Weight: 1 Total Weight: -242 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c core #58 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c Core size: 9 Core Weight: 2 Total Weight: -240 186.94/187.03 c 186.94/187.03 c 186.94/187.03 c core #59 188.04/188.11 c 188.04/188.11 c 188.04/188.11 c Core size: 22 Core Weight: 1 Total Weight: -239 188.04/188.11 c 188.04/188.11 c 188.04/188.11 c core #60 188.04/188.11 c 188.04/188.11 c 188.04/188.11 c Core size: 20 Core Weight: 1 Total Weight: -238 188.04/188.11 c 188.04/188.11 c 188.04/188.11 c core #61 188.04/188.11 c 188.04/188.11 c 188.04/188.11 c Core size: 15 Core Weight: 1 Total Weight: -237 188.04/188.11 c 188.04/188.11 c 188.04/188.11 c core #62 188.04/188.11 c 188.04/188.11 c 188.04/188.11 c Core size: 15 Core Weight: 1 Total Weight: -236 188.04/188.11 c 188.04/188.11 c 188.04/188.11 c core #63 188.04/188.11 c 188.04/188.11 c 188.04/188.11 c Core size: 22 Core Weight: 1 Total Weight: -235 188.04/188.11 c 188.04/188.11 c 188.04/188.11 c core #64 188.04/188.11 c 188.04/188.11 c 188.04/188.11 c Core size: 23 Core Weight: 1 Total Weight: -234 188.04/188.11 c 188.04/188.11 c 188.04/188.11 c core #65 188.04/188.11 c 188.04/188.11 c 188.04/188.11 c Core size: 24 Core Weight: 1 Total Weight: -233 188.04/188.11 c 188.04/188.11 c 188.04/188.11 c core #66 188.04/188.11 c 188.04/188.11 c 188.04/188.11 c Core size: 13 Core Weight: 1 Total Weight: -232 188.04/188.11 c 188.04/188.11 c 188.04/188.11 c core #67 188.04/188.11 c 188.04/188.11 c 188.04/188.11 c Core size: 23 Core Weight: 1 Total Weight: -231 188.04/188.11 c 188.04/188.11 c 188.04/188.11 c ============================[ Search Statistics ]============================== 188.04/188.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.04/188.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.04/188.11 c =============================================================================== 188.04/188.11 c | 0 | 2295 62901 199379 | 20967 0 nan | 0.000 % | 188.04/188.12 c =============================================================================== 188.13/188.24 c core #68 188.13/188.24 c 188.13/188.24 c 188.13/188.24 c Core size: 16 Core Weight: 1 Total Weight: -230 188.13/188.24 c 188.13/188.24 c 188.13/188.24 c ============================[ Search Statistics ]============================== 188.13/188.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.13/188.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.13/188.24 c =============================================================================== 188.13/188.24 c | 0 | 2304 62902 199397 | 20967 0 nan | 0.000 % | 188.13/188.24 c =============================================================================== 188.23/188.36 c core #69 188.23/188.36 c 188.23/188.36 c 188.23/188.36 c Core size: 15 Core Weight: 1 Total Weight: -229 188.23/188.36 c 188.23/188.36 c 188.23/188.36 c ============================[ Search Statistics ]============================== 188.23/188.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.23/188.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.23/188.36 c =============================================================================== 188.23/188.36 c | 0 | 2313 62903 199415 | 20967 0 nan | 0.000 % | 188.23/188.38 c =============================================================================== 188.33/188.49 c core #70 188.33/188.49 c 188.33/188.49 c 188.33/188.49 c Core size: 7 Core Weight: 1 Total Weight: -228 188.33/188.49 c 188.33/188.49 c 188.33/188.49 c ============================[ Search Statistics ]============================== 188.33/188.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.33/188.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.33/188.49 c =============================================================================== 188.33/188.49 c | 0 | 2317 62904 199423 | 20968 0 nan | 0.000 % | 188.43/188.50 c =============================================================================== 188.53/188.62 c core #71 188.53/188.62 c 188.53/188.62 c 188.53/188.62 c Core size: 18 Core Weight: 1 Total Weight: -227 188.53/188.62 c 188.53/188.62 c 188.53/188.62 c ============================[ Search Statistics ]============================== 188.53/188.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.53/188.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.53/188.62 c =============================================================================== 188.53/188.62 c | 0 | 2331 62907 199455 | 20969 0 nan | 0.000 % | 188.53/188.63 c =============================================================================== 188.63/188.75 c core #72 188.63/188.75 c 188.63/188.75 c 188.63/188.75 c Core size: 16 Core Weight: 1 Total Weight: -226 188.63/188.75 c 188.63/188.75 c 188.63/188.75 c ============================[ Search Statistics ]============================== 188.63/188.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.63/188.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.63/188.75 c =============================================================================== 188.63/188.75 c | 0 | 2338 62908 199469 | 20969 0 nan | 0.000 % | 188.63/188.77 c =============================================================================== 188.73/188.88 c core #73 188.73/188.88 c 188.73/188.88 c 188.73/188.88 c Core size: 17 Core Weight: 1 Total Weight: -225 188.73/188.88 c 188.73/188.88 c 188.73/188.88 c ============================[ Search Statistics ]============================== 188.73/188.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.73/188.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.73/188.88 c =============================================================================== 188.73/188.88 c | 0 | 2352 62912 200162 | 20970 0 nan | 0.000 % | 188.73/188.89 c =============================================================================== 188.93/189.01 c core #74 188.93/189.01 c 188.93/189.01 c 188.93/189.01 c Core size: 19 Core Weight: 1 Total Weight: -224 188.93/189.01 c 188.93/189.01 c 188.93/189.01 c ============================[ Search Statistics ]============================== 188.93/189.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.93/189.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.93/189.01 c =============================================================================== 188.93/189.01 c | 0 | 2361 62916 200183 | 20972 0 nan | 0.000 % | 188.93/189.03 c =============================================================================== 189.04/189.14 c core #75 189.04/189.14 c 189.04/189.14 c 189.04/189.14 c Core size: 19 Core Weight: 1 Total Weight: -223 189.04/189.14 c 189.04/189.14 c 189.04/189.14 c ============================[ Search Statistics ]============================== 189.04/189.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.04/189.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.04/189.14 c =============================================================================== 189.04/189.14 c | 0 | 2370 62919 200205 | 20973 0 nan | 0.000 % | 189.04/189.16 c =============================================================================== 189.14/189.27 c core #76 189.14/189.27 c 189.14/189.27 c 189.14/189.27 c Core size: 27 Core Weight: 1 Total Weight: -222 189.14/189.27 c 189.14/189.27 c 189.14/189.27 c ============================[ Search Statistics ]============================== 189.14/189.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.14/189.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.14/189.27 c =============================================================================== 189.14/189.27 c | 0 | 2392 62922 201387 | 20974 0 nan | 0.000 % | 189.14/189.28 c =============================================================================== 189.23/189.39 c core #77 189.23/189.39 c 189.23/189.39 c 189.23/189.39 c Core size: 11 Core Weight: 1 Total Weight: -221 189.23/189.39 c 189.23/189.39 c 189.23/189.39 c ============================[ Search Statistics ]============================== 189.23/189.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.23/189.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.23/189.39 c =============================================================================== 189.23/189.39 c | 0 | 2401 62925 201409 | 20975 0 nan | 0.000 % | 189.33/189.41 c =============================================================================== 189.43/189.53 c core #78 189.43/189.53 c 189.43/189.53 c 189.43/189.53 c Core size: 27 Core Weight: 1 Total Weight: -220 189.43/189.53 c 189.43/189.53 c 189.43/189.53 c ============================[ Search Statistics ]============================== 189.43/189.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.43/189.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.43/189.53 c =============================================================================== 189.43/189.53 c | 0 | 2412 62927 201433 | 20975 0 nan | 0.000 % | 189.43/189.54 c =============================================================================== 189.53/189.65 c core #79 189.53/189.65 c 189.53/189.65 c 189.53/189.65 c Core size: 23 Core Weight: 1 Total Weight: -219 189.53/189.65 c 189.53/189.65 c 189.53/189.65 c ============================[ Search Statistics ]============================== 189.53/189.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.53/189.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.53/189.65 c =============================================================================== 189.53/189.65 c | 0 | 2428 62928 201465 | 20976 0 nan | 0.000 % | 189.53/189.67 c =============================================================================== 189.63/189.79 c core #80 189.63/189.79 c 189.63/189.79 c 189.63/189.79 c Core size: 19 Core Weight: 1 Total Weight: -218 189.63/189.79 c 189.63/189.79 c 189.63/189.79 c ============================[ Search Statistics ]============================== 189.63/189.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.63/189.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.63/189.79 c =============================================================================== 189.63/189.79 c | 0 | 2441 62929 201491 | 20976 0 nan | 0.000 % | 189.73/189.82 c =============================================================================== 189.83/189.93 c core #81 189.83/189.93 c 189.83/189.93 c 189.83/189.93 c Core size: 32 Core Weight: 1 Total Weight: -217 189.83/189.93 c 189.83/189.93 c 189.83/189.93 c ============================[ Search Statistics ]============================== 189.83/189.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.83/189.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.83/189.93 c =============================================================================== 189.83/189.93 c | 0 | 2465 62932 201543 | 20977 0 nan | 0.000 % | 189.83/189.95 c =============================================================================== 189.93/190.07 c core #82 189.93/190.07 c 189.93/190.07 c 189.93/190.07 c Core size: 28 Core Weight: 1 Total Weight: -216 189.93/190.07 c 189.93/190.07 c 189.93/190.07 c ============================[ Search Statistics ]============================== 189.93/190.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.93/190.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.93/190.07 c =============================================================================== 189.93/190.07 c | 0 | 2478 62933 201569 | 20977 0 nan | 0.000 % | 190.03/190.10 c =============================================================================== 190.14/190.21 c core #83 190.14/190.21 c 190.14/190.21 c 190.14/190.21 c Core size: 53 Core Weight: 1 Total Weight: -215 190.14/190.21 c 190.14/190.21 c 190.14/190.21 c ============================[ Search Statistics ]============================== 190.14/190.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.14/190.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.14/190.21 c =============================================================================== 190.14/190.21 c | 0 | 2519 62938 201659 | 20979 0 nan | 0.000 % | 190.14/190.24 c =============================================================================== 190.24/190.36 c core #84 190.24/190.36 c 190.24/190.36 c 190.24/190.36 c Core size: 32 Core Weight: 1 Total Weight: -214 190.24/190.36 c 190.24/190.36 c 190.24/190.36 c ============================[ Search Statistics ]============================== 190.24/190.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.24/190.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.24/190.36 c =============================================================================== 190.24/190.36 c | 0 | 2540 62940 201703 | 20980 0 nan | 0.000 % | 190.24/190.39 c =============================================================================== 190.43/190.50 c core #85 190.43/190.50 c 190.43/190.50 c 190.43/190.50 c Core size: 32 Core Weight: 1 Total Weight: -213 190.43/190.50 c 190.43/190.50 c 190.43/190.50 c ============================[ Search Statistics ]============================== 190.43/190.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.43/190.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.43/190.50 c =============================================================================== 190.43/190.50 c | 0 | 2555 62945 201742 | 20981 0 nan | 0.000 % | 190.43/190.53 c =============================================================================== 190.53/190.65 c core #86 190.53/190.65 c 190.53/190.65 c 190.53/190.65 c Core size: 65 Core Weight: 1 Total Weight: -212 190.53/190.65 c 190.53/190.65 c 190.53/190.65 c ============================[ Search Statistics ]============================== 190.53/190.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.53/190.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.53/190.65 c =============================================================================== 190.53/190.65 c | 0 | 2597 62951 201836 | 20983 0 nan | 0.000 % | 190.53/190.68 c =============================================================================== 190.63/190.79 c core #87 190.63/190.79 c 190.63/190.79 c 190.63/190.79 c Core size: 48 Core Weight: 1 Total Weight: -211 190.63/190.79 c 190.63/190.79 c 190.63/190.79 c ============================[ Search Statistics ]============================== 190.63/190.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.63/190.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.63/190.79 c =============================================================================== 190.63/190.79 c | 0 | 2626 62957 201905 | 20985 0 nan | 0.000 % | 190.73/190.84 c =============================================================================== 190.83/190.96 c core #88 190.83/190.96 c 190.83/190.96 c 190.83/190.96 c Core size: 83 Core Weight: 1 Total Weight: -210 190.83/190.96 c 190.83/190.96 c 190.83/190.96 c ============================[ Search Statistics ]============================== 190.83/190.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.83/190.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.83/190.96 c =============================================================================== 190.83/190.96 c | 0 | 2695 62960 202047 | 20986 0 nan | 0.000 % | 190.83/190.99 c | 101 | 2695 62960 202047 | 23085 101 8 | 0.443 % | 190.93/191.02 c =============================================================================== 191.03/191.13 c core #89 191.03/191.13 c 191.03/191.13 c 191.03/191.13 c Core size: 105 Core Weight: 1 Total Weight: -209 191.03/191.13 c 191.03/191.13 c 191.03/191.13 c ============================[ Search Statistics ]============================== 191.03/191.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.03/191.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.03/191.13 c =============================================================================== 191.03/191.13 c | 0 | 2776 62965 202220 | 20988 0 nan | 0.000 % | 191.03/191.19 c | 101 | 2771 62965 202220 | 23087 101 8 | 0.682 % | 191.13/191.28 c | 251 | 2751 62965 202220 | 25395 251 9 | 2.762 % | 191.13/191.28 c =============================================================================== 191.24/191.40 c core #90 191.24/191.40 c 191.24/191.40 c 191.24/191.40 c Core size: 138 Core Weight: 1 Total Weight: -208 191.24/191.40 c 191.24/191.40 c 191.24/191.40 c ============================[ Search Statistics ]============================== 191.24/191.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.24/191.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.24/191.40 c =============================================================================== 191.24/191.40 c | 0 | 2876 62973 202441 | 20991 0 nan | 0.000 % | 191.34/191.46 c | 100 | 2876 62973 202441 | 23090 100 22 | 0.416 % | 191.43/191.50 c | 252 | 2876 62973 202441 | 25399 252 16 | 0.416 % | 191.43/191.56 c | 478 | 2876 62973 202441 | 27939 478 14 | 0.416 % | 191.53/191.64 c | 815 | 2875 62973 202441 | 30732 815 14 | 0.450 % | 191.63/191.79 c | 1322 | 2873 62973 202441 | 33806 1322 14 | 0.519 % | 191.73/191.83 c =============================================================================== 191.83/191.96 c core #91 191.83/191.96 c 191.83/191.96 c 191.83/191.96 c Core size: 190 Core Weight: 1 Total Weight: -207 191.83/191.96 c 191.83/191.96 c 191.83/191.96 c ============================[ Search Statistics ]============================== 191.83/191.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.83/191.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.83/191.96 c =============================================================================== 191.83/191.96 c | 0 | 3051 62978 202803 | 20992 0 nan | 0.000 % | 191.93/192.00 c | 100 | 3051 62978 202803 | 23091 100 13 | 0.392 % | 191.93/192.03 c | 250 | 3051 62978 202803 | 25401 250 13 | 0.392 % | 191.93/192.08 c | 476 | 3051 62978 202803 | 27941 476 14 | 0.392 % | 192.13/192.20 c | 813 | 3051 62978 202803 | 30735 813 14 | 0.392 % | 192.23/192.35 c | 1321 | 3051 62978 202803 | 33808 1321 15 | 0.392 % | 192.53/192.65 c | 2082 | 3046 62978 202803 | 37189 1167 13 | 0.555 % | 192.63/192.77 c =============================================================================== 192.83/192.90 c core #92 192.83/192.90 c 192.83/192.90 c 192.83/192.90 c Core size: 195 Core Weight: 1 Total Weight: -206 192.83/192.90 c 192.83/192.90 c 192.83/192.90 c ============================[ Search Statistics ]============================== 192.83/192.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.83/192.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.83/192.90 c =============================================================================== 192.83/192.90 c | 0 | 3212 62998 203181 | 20999 0 nan | 0.000 % | 192.83/192.96 c | 100 | 3212 62998 203181 | 23099 100 18 | 0.372 % | 192.93/193.02 c | 251 | 3212 62998 203181 | 25409 251 20 | 0.372 % | 192.93/193.06 c | 477 | 3212 62998 203181 | 27950 477 20 | 0.372 % | 193.03/193.15 c | 817 | 3212 62998 203181 | 30745 817 24 | 0.372 % | 193.13/193.27 c | 1324 | 3212 62998 203181 | 33819 1324 23 | 0.372 % | 193.33/193.42 c | 2084 | 3212 62998 203181 | 37201 2084 22 | 0.372 % | 193.54/193.68 c | 3223 | 3212 62998 203181 | 40921 3223 24 | 0.372 % | 194.13/194.20 c | 4932 | 3212 62998 203181 | 45013 4932 24 | 0.372 % | 194.83/194.92 c | 7494 | 3211 62998 203181 | 49515 4327 23 | 0.404 % | 196.23/196.35 c | 11338 | 3211 62998 203181 | 54466 8171 28 | 0.403 % | 197.03/197.13 c =============================================================================== 197.33/197.43 c core #93 197.33/197.43 c 197.33/197.43 c 197.33/197.43 c Core size: 273 Core Weight: 1 Total Weight: -205 197.33/197.43 c 197.33/197.43 c 197.33/197.43 c ============================[ Search Statistics ]============================== 197.33/197.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.33/197.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.33/197.43 c =============================================================================== 197.33/197.43 c | 0 | 3461 63027 203760 | 21009 0 nan | 0.000 % | 197.33/197.48 c | 100 | 3461 63027 203760 | 23109 100 52 | 0.346 % | 197.43/197.53 c | 250 | 3461 63027 203760 | 25420 250 36 | 0.346 % | 197.43/197.58 c | 477 | 3461 63027 203760 | 27962 477 32 | 0.346 % | 197.52/197.66 c | 818 | 3461 63027 203760 | 30759 818 33 | 0.346 % | 197.63/197.75 c | 1329 | 3461 63027 203760 | 33835 1329 32 | 0.346 % | 197.84/197.93 c | 2090 | 3461 63027 203760 | 37218 2090 37 | 0.346 % | 198.13/198.22 c | 3229 | 3461 63027 203760 | 40940 3229 40 | 0.346 % | 198.63/198.75 c | 4937 | 3461 63027 203760 | 45034 4937 44 | 0.346 % | 199.53/199.64 c | 7501 | 3461 63027 203760 | 49538 7501 47 | 0.346 % | 200.63/200.74 c | 11346 | 3460 63027 203760 | 54491 4795 40 | 0.374 % | 202.72/202.82 c | 17116 | 3460 63027 203760 | 59941 10565 46 | 0.374 % | 206.63/206.80 c | 25767 | 3460 63027 203760 | 65935 19216 46 | 0.374 % | 214.22/214.32 c | 38741 | 3460 63027 203760 | 72528 32190 53 | 0.374 % | 235.12/235.22 c | 58209 | 3460 63027 203760 | 79781 51658 59 | 0.374 % | 274.01/274.13 c | 87402 | 3460 63027 203760 | 87759 16723 53 | 0.374 % | 320.89/321.01 c | 131193 | 3460 63027 203760 | 96535 60514 66 | 0.374 % | 375.68/375.89 c =============================================================================== 379.08/379.21 c core #94 379.08/379.21 c 379.08/379.21 c 379.08/379.21 c Core size: 247 Core Weight: 1 Total Weight: -204 379.08/379.21 c 379.08/379.21 c 379.08/379.21 c ============================[ Search Statistics ]============================== 379.08/379.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 379.08/379.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 379.08/379.21 c =============================================================================== 379.08/379.21 c | 0 | 3688 63052 204283 | 21017 0 nan | 0.000 % | 379.18/379.30 c | 103 | 3688 63052 204283 | 23119 103 35 | 0.324 % | 379.18/379.34 c | 255 | 3688 63052 204283 | 25430 255 28 | 0.324 % | 379.29/379.40 c | 481 | 3688 63052 204283 | 27974 481 35 | 0.324 % | 379.29/379.49 c | 818 | 3688 63052 204283 | 30771 818 35 | 0.324 % | 379.48/379.68 c | 1325 | 3688 63052 204283 | 33848 1325 49 | 0.324 % | 379.68/379.88 c | 2084 | 3688 63052 204283 | 37233 2084 47 | 0.324 % | 379.98/380.19 c | 3225 | 3688 63052 204283 | 40956 3225 51 | 0.324 % | 380.58/380.74 c | 4933 | 3688 63052 204283 | 45052 4933 54 | 0.324 % | 381.48/381.65 c | 7499 | 3688 63052 204283 | 49557 7499 55 | 0.324 % | 383.28/383.43 c | 11344 | 3688 63052 204283 | 54513 11344 57 | 0.324 % | 386.99/387.12 c | 17110 | 3688 63052 204283 | 59964 17110 62 | 0.324 % | 396.38/396.56 c | 25763 | 3688 63052 204283 | 65961 25763 68 | 0.324 % | 415.17/415.36 c | 38740 | 3688 63052 204283 | 72557 38740 76 | 0.324 % | 431.46/431.60 c | 58204 | 3688 63052 204283 | 79813 58204 77 | 0.324 % | 460.86/461.03 c | 87397 | 3688 63052 204283 | 87794 21720 83 | 0.324 % | 519.13/519.34 c | 131186 | 3688 63052 204283 | 96574 65509 81 | 0.324 % | 623.61/623.86 c | 196870 | 3688 63052 204283 | 106231 50997 102 | 0.324 % | 846.33/846.60 c | 295396 | 3688 63052 204283 | 116854 61602 114 | 0.324 % | 1308.18/1308.70 c | 443189 | 3688 63052 204283 | 128540 109621 105 | 0.324 % |
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-2680376-1277460300/watcher-2680376-1277460300 -o /tmp/evaluation-result-2680376-1277460300/solver-2680376-1277460300 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680376-1277460300.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: 1.00 1.00 0.93 3/106 21866 /proc/meminfo: memFree=1850472/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=5020 CPUtime=0 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 121616445 5140480 284 1992294400 134512640 135752675 4294075872 18446744073709551615 135162464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 1255 284 139 303 0 442 0 [startup+0.0126469 s] /proc/loadavg: 1.00 1.00 0.93 3/106 21866 /proc/meminfo: memFree=1850472/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=5020 CPUtime=0.01 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 371 0 0 0 1 0 0 0 20 0 1 0 121616445 5140480 290 1992294400 134512640 135752675 4294075872 18446744073709551615 134574276 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 1255 290 145 303 0 442 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 5020 [startup+0.101656 s] /proc/loadavg: 1.00 1.00 0.93 3/106 21866 /proc/meminfo: memFree=1850472/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=5856 CPUtime=0.09 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 740 0 0 0 9 0 0 0 20 0 1 0 121616445 5996544 659 1992294400 134512640 135752675 4294075872 18446744073709551615 134560794 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 1464 659 285 303 0 651 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5856 [startup+0.301676 s] /proc/loadavg: 1.00 1.00 0.93 3/106 21866 /proc/meminfo: memFree=1850472/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=7948 CPUtime=0.29 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 1564 0 0 0 29 0 0 0 20 0 1 0 121616445 8138752 1483 1992294400 134512640 135752675 4294075872 18446744073709551615 134573871 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 1987 1483 596 303 0 1174 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7948 [startup+0.701716 s] /proc/loadavg: 1.00 1.00 0.93 3/106 21866 /proc/meminfo: memFree=1850472/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=7264 CPUtime=0.7 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 1974 0 0 0 66 4 0 0 21 0 1 0 121616445 7438336 1353 1992294400 134512640 135752675 4294075872 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 1816 1353 144 303 0 1511 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 7264 [startup+1.5018 s] /proc/loadavg: 1.00 1.00 0.93 2/107 21869 /proc/meminfo: memFree=1845380/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=8172 CPUtime=1.49 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 2205 0 0 0 141 8 0 0 23 0 1 0 121616445 8368128 1584 1992294400 134512640 135752675 4294075872 18446744073709551615 134517152 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 2043 1584 145 303 0 1738 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8172 [startup+3.10196 s] /proc/loadavg: 1.00 1.00 0.93 2/107 21869 /proc/meminfo: memFree=1843264/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=11144 CPUtime=3.09 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 2927 0 0 0 298 11 0 0 25 0 1 0 121616445 11411456 2306 1992294400 134512640 135752675 4294075872 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 2786 2306 145 303 0 2481 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11144 [startup+6.30128 s] /proc/loadavg: 1.00 1.00 0.93 2/107 21869 /proc/meminfo: memFree=1838552/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=14628 CPUtime=6.29 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 3800 0 0 0 615 14 0 0 25 0 1 0 121616445 14979072 3179 1992294400 134512640 135752675 4294075872 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 3657 3179 145 303 0 3352 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14628 [startup+12.7009 s] /proc/loadavg: 1.00 1.00 0.93 2/107 21869 /proc/meminfo: memFree=1832484/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=20388 CPUtime=12.69 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 5236 0 0 0 1252 17 0 0 25 0 1 0 121616445 20877312 4615 1992294400 134512640 135752675 4294075872 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 5097 4615 145 303 0 4792 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20388 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 0.93 3/107 21869 /proc/meminfo: memFree=1824052/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=28588 CPUtime=25.49 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 7256 0 0 0 2526 23 0 0 25 0 1 0 121616445 29274112 6635 1992294400 134512640 135752675 4294075872 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 7147 6635 145 303 0 6842 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 28588 [startup+51.1008 s] /proc/loadavg: 1.00 1.00 0.93 2/107 21869 /proc/meminfo: memFree=1808056/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=45052 CPUtime=51.08 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 11344 0 0 0 5071 37 0 0 25 0 1 0 121616445 46133248 10723 1992294400 134512640 135752675 4294075872 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 11263 10723 145 303 0 10958 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 45052 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.93 2/107 21871 /proc/meminfo: memFree=1778792/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=73792 CPUtime=102.27 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 18498 0 0 0 10163 64 0 0 25 0 1 0 121616445 75563008 17877 1992294400 134512640 135752675 4294075872 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 18448 17877 145 303 0 18143 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 73792 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.93 2/107 21873 /proc/meminfo: memFree=1751016/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=101756 CPUtime=162.23 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 25446 0 0 0 16132 91 0 0 25 0 1 0 121616445 104198144 24825 1992294400 134512640 135752675 4294075872 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 25439 24825 145 303 0 25134 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 101756 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.93 2/107 21873 /proc/meminfo: memFree=1741592/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=110196 CPUtime=222.22 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 28072 0 0 0 22102 120 0 0 25 0 1 0 121616445 112840704 27066 1992294400 134512640 135752675 4294075872 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 27549 27066 146 303 0 27244 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 110196 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.93 2/107 21875 /proc/meminfo: memFree=1732168/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=119936 CPUtime=282.2 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 30526 0 0 0 28079 141 0 0 25 0 1 0 121616445 122814464 29520 1992294400 134512640 135752675 4294075872 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 29984 29520 146 303 0 29679 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 119936 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.93 2/107 21877 /proc/meminfo: memFree=1713568/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=138288 CPUtime=342.19 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 35068 0 0 0 34052 167 0 0 25 0 1 0 121616445 141606912 34062 1992294400 134512640 135752675 4294075872 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 34572 34062 146 303 0 34267 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 138288 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.93 2/107 21879 /proc/meminfo: memFree=1696952/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=154652 CPUtime=402.17 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 39223 0 0 0 40027 190 0 0 25 0 1 0 121616445 158363648 38125 1992294400 134512640 135752675 4294075872 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 38663 38125 146 303 0 38358 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 154652 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.93 2/107 21881 /proc/meminfo: memFree=1682816/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=169072 CPUtime=462.16 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 42854 0 0 0 45999 217 0 0 25 0 1 0 121616445 173129728 41756 1992294400 134512640 135752675 4294075872 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 42268 41756 146 303 0 41963 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 169072 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.93 2/107 21881 /proc/meminfo: memFree=1665952/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=186008 CPUtime=522.13 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 47080 0 0 0 51972 241 0 0 25 0 1 0 121616445 190472192 45982 1992294400 134512640 135752675 4294075872 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 46502 45982 146 303 0 46197 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 186008 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.93 2/107 21883 /proc/meminfo: memFree=1651940/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=199916 CPUtime=582.11 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 50477 0 0 0 57951 260 0 0 25 0 1 0 121616445 204713984 49379 1992294400 134512640 135752675 4294075872 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 49979 49379 146 303 0 49674 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 199916 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.93 2/107 21885 /proc/meminfo: memFree=1627388/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=224340 CPUtime=642.1 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 56600 0 0 0 63923 287 0 0 25 0 1 0 121616445 229724160 55502 1992294400 134512640 135752675 4294075872 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 56085 55502 146 303 0 55780 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 224340 [startup+702.301 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.01 1.00 0.94 2/107 21892 /proc/meminfo: memFree=1577540/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=274024 CPUtime=822.03 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 68924 0 0 0 81869 334 0 0 25 0 1 0 121616445 280600576 67826 1992294400 134512640 135752675 4294075872 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 68506 67826 146 303 0 68201 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 274024 [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 21894 /proc/meminfo: memFree=1566876/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=284732 CPUtime=882.01 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 71572 0 0 0 87855 346 0 0 25 0 1 0 121616445 291565568 70474 1992294400 134512640 135752675 4294075872 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 71183 70474 146 303 0 70878 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 284732 [startup+942.302 s] /proc/loadavg: 1.06 1.01 0.94 2/107 21896 /proc/meminfo: memFree=1558444/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=293408 CPUtime=941.99 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 73683 0 0 0 93841 358 0 0 25 0 1 0 121616445 300449792 72585 1992294400 134512640 135752675 4294075872 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 73352 72585 146 303 0 73047 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 293408 [startup+1002.3 s] /proc/loadavg: 1.02 1.01 0.94 2/107 21898 /proc/meminfo: memFree=1550260/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=301620 CPUtime=1001.98 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 75706 0 0 0 99831 367 0 0 25 0 1 0 121616445 308858880 74608 1992294400 134512640 135752675 4294075872 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 75405 74608 146 303 0 75100 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 301620 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 21900 /proc/meminfo: memFree=1541580/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=310256 CPUtime=1061.96 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 77873 0 0 0 105818 378 0 0 25 0 1 0 121616445 317702144 76775 1992294400 134512640 135752675 4294075872 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 77564 76775 146 303 0 77259 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 310256 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 21900 /proc/meminfo: memFree=1520748/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=330996 CPUtime=1121.94 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 83070 0 0 0 111796 398 0 0 25 0 1 0 121616445 338939904 81972 1992294400 134512640 135752675 4294075872 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 82749 81972 146 303 0 82444 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 330996 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 21902 /proc/meminfo: memFree=1507976/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=343996 CPUtime=1181.92 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 86262 0 0 0 117782 410 0 0 25 0 1 0 121616445 352251904 85164 1992294400 134512640 135752675 4294075872 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 85999 85164 146 303 0 85694 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 343996 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 21904 /proc/meminfo: memFree=1497560/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=354452 CPUtime=1241.9 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 88832 0 0 0 123768 422 0 0 25 0 1 0 121616445 362958848 87734 1992294400 134512640 135752675 4294075872 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 88613 87734 146 303 0 88308 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 354452 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 21906 /proc/meminfo: memFree=1488260/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=363560 CPUtime=1301.89 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 91111 0 0 0 129758 431 0 0 25 0 1 0 121616445 372285440 90013 1992294400 134512640 135752675 4294075872 18446744073709551615 134611742 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 90890 90013 146 303 0 90585 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 363560 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 21908 /proc/meminfo: memFree=1480076/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=371872 CPUtime=1361.87 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 93175 0 0 0 135746 441 0 0 25 0 1 0 121616445 380796928 92077 1992294400 134512640 135752675 4294075872 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 92968 92077 146 303 0 92663 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 371872 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.94 2/107 21908 /proc/meminfo: memFree=1465940/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=385900 CPUtime=1421.86 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 96668 0 0 0 141730 456 0 0 25 0 1 0 121616445 395161600 95570 1992294400 134512640 135752675 4294075872 18446744073709551615 134612093 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 96475 95570 146 303 0 96170 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 385900 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 21910 /proc/meminfo: memFree=1447960/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=404024 CPUtime=1481.84 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 101209 0 0 0 147708 476 0 0 25 0 1 0 121616445 413720576 100111 1992294400 134512640 135752675 4294075872 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 101006 100111 146 303 0 100701 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 404024 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 21912 /proc/meminfo: memFree=1434692/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=417100 CPUtime=1541.81 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 104451 0 0 0 153688 493 0 0 25 0 1 0 121616445 427110400 103353 1992294400 134512640 135752675 4294075872 18446744073709551615 134612086 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 104275 103353 146 303 0 103970 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 417100 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 21914 /proc/meminfo: memFree=1425144/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=426752 CPUtime=1601.8 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 106852 0 0 0 159674 506 0 0 25 0 1 0 121616445 436994048 105754 1992294400 134512640 135752675 4294075872 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 106688 105754 146 303 0 106383 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 426752 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 21916 /proc/meminfo: memFree=1416092/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=435760 CPUtime=1661.78 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 109073 0 0 0 165663 515 0 0 25 0 1 0 121616445 446218240 107975 1992294400 134512640 135752675 4294075872 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 108940 107975 146 303 0 108635 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 435760 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 21916 /proc/meminfo: memFree=1408156/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=444292 CPUtime=1721.76 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 111184 0 0 0 171652 524 0 0 25 0 1 0 121616445 454955008 110086 1992294400 134512640 135752675 4294075872 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 111073 110086 146 303 0 110768 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 444292 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 21918 /proc/meminfo: memFree=1385588/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=466336 CPUtime=1781.75 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 116693 0 0 0 177628 547 0 0 25 0 1 0 121616445 477528064 115595 1992294400 134512640 135752675 4294075872 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 116584 115595 146 303 0 116279 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 466336 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.94 2/107 21920 /proc/meminfo: memFree=1380628/2059040 swapFree=4134180/4192956 [pid=21866] ppid=21864 vsize=471288 CPUtime=1800.06 /proc/21866/stat : 21866 (wbo1.4b) R 21864 21866 21359 0 -1 4202496 117895 0 0 0 179453 553 0 0 25 0 1 0 121616445 482598912 116797 1992294400 134512640 135752675 4294075872 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21866/statm: 117822 116797 146 303 0 117517 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 471288 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.67 CPU time (s): 1800.12 CPU user time (s): 1794.53 CPU system time (s): 5.58115 CPU usage (%): 99.9694 Max. virtual memory (cumulated for all children) (KiB): 471288 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.53 system time used= 5.58115 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 117895 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= 67 involuntary context switches= 5356 runsolver used 2.91056 second user time and 8.60369 second system time The end
Begin job on node017 at 2010-06-25 12:05:00 IDJOB=2680376 IDBENCH=71822 IDSOLVER=1190 FILE ID=node017/2680376-1277460300 PBS_JOBID= 11188142 Free space on /tmp= 62256 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-8000opt.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680376-1277460300/watcher-2680376-1277460300 -o /tmp/evaluation-result-2680376-1277460300/solver-2680376-1277460300 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680376-1277460300.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 27275f75c57d1f68b1f0c26684ed17bf RANDOM SEED=786188696 node017.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.201 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.40 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.201 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.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1850876 kB Buffers: 38936 kB Cached: 73328 kB SwapCached: 11216 kB Active: 20532 kB Inactive: 105656 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1850876 kB SwapTotal: 4192956 kB SwapFree: 4134180 kB Dirty: 4752 kB Writeback: 0 kB AnonPages: 12508 kB Mapped: 8400 kB Slab: 59896 kB PageTables: 4140 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183484 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62256 MiB End job on node017 at 2010-06-25 12:35:03