Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.09 | 1800.65 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-10000opt.opb |
MD5SUM | ed2e5a29708037a3709a2832db86ffbb |
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 | -164 |
Best CPU time to get the best result obtained on this benchmark | 22.6126 |
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 | 62225 |
Number of constraints which are clauses | 62225 |
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 | 356 |
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 | 356 |
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-2680378-1277460356.opb. 0.00/0.00 c Instance file HOME/instance-2680378-1277460356.opb 0.00/0.00 c File size is 2076817 bytes. 0.29/0.30 c Highest Coefficient sum: 4 0.29/0.30 c ============================[ Problem Statistics ]============================= 0.29/0.30 c | | 0.29/0.30 c | Parsing time: 0.30 s | 0.29/0.30 c | Number Variables: 2025 | 0.29/0.30 c | Number Clauses: 62225 | 0.29/0.30 c | Number Cardinality: 0 | 0.29/0.30 c | Number PB Constraints: 0 | 0.29/0.39 c ============================[ Search Statistics ]============================== 0.29/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 2011 62239 185505 | 20741 0 nan | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c New solution: 0 0.39/0.40 o 0 0.39/0.40 c Elapsed CPU time: 0.387941 s Remaining CPU time: 179.612 s 0.39/0.40 c =============================================================================== 0.39/0.40 c | 0 | 2011 62240 185640 | 20746 0 nan | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c New solution: -3 0.39/0.41 o -3 0.39/0.41 c Elapsed CPU time: 0.39194 s Remaining CPU time: 179.608 s 0.39/0.41 c =============================================================================== 0.39/0.41 c | 0 | 2011 62241 185775 | 20747 0 nan | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c New solution: -4 0.39/0.42 o -4 0.39/0.42 c Elapsed CPU time: 0.401938 s Remaining CPU time: 179.598 s 0.39/0.42 c =============================================================================== 0.39/0.42 c | 0 | 2011 62242 185910 | 20747 0 nan | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c New solution: -7 0.39/0.43 o -7 0.39/0.43 c Elapsed CPU time: 0.412937 s Remaining CPU time: 179.587 s 0.39/0.43 c =============================================================================== 0.39/0.43 c | 1 | 2011 62243 186045 | 20747 1 134 | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c New solution: -11 0.39/0.44 o -11 0.39/0.44 c Elapsed CPU time: 0.421935 s Remaining CPU time: 179.578 s 0.39/0.44 c =============================================================================== 0.39/0.44 c | 1 | 2011 62244 186180 | 20748 1 134 | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c New solution: -12 0.39/0.45 o -12 0.39/0.45 c Elapsed CPU time: 0.431934 s Remaining CPU time: 179.568 s 0.39/0.45 c =============================================================================== 0.39/0.45 c | 2 | 2011 62245 186315 | 20748 2 132 | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c New solution: -14 0.39/0.46 o -14 0.39/0.46 c Elapsed CPU time: 0.439933 s Remaining CPU time: 179.56 s 0.39/0.46 c =============================================================================== 0.39/0.46 c | 2 | 2011 62246 186450 | 20748 2 132 | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c New solution: -15 0.39/0.47 o -15 0.39/0.47 c Elapsed CPU time: 0.449931 s Remaining CPU time: 179.55 s 0.39/0.47 c =============================================================================== 0.39/0.47 c | 4 | 2011 62247 186585 | 20749 4 130 | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c New solution: -17 0.39/0.48 o -17 0.39/0.48 c Elapsed CPU time: 0.45793 s Remaining CPU time: 179.542 s 0.39/0.48 c =============================================================================== 0.39/0.48 c | 6 | 2011 62248 186720 | 20749 6 129 | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c New solution: -18 0.39/0.49 o -18 0.39/0.49 c Elapsed CPU time: 0.464929 s Remaining CPU time: 179.535 s 0.39/0.49 c =============================================================================== 0.39/0.49 c | 6 | 2011 62249 186855 | 20749 6 129 | 0.000 % | 0.50/0.50 c =============================================================================== 0.50/0.50 c New solution: -19 0.50/0.50 o -19 0.50/0.50 c Elapsed CPU time: 0.473927 s Remaining CPU time: 179.526 s 0.50/0.50 c =============================================================================== 0.50/0.50 c | 7 | 2011 62250 186990 | 20750 7 129 | 0.000 % | 0.50/0.51 c =============================================================================== 0.50/0.51 c New solution: -20 0.50/0.51 o -20 0.50/0.51 c Elapsed CPU time: 0.481926 s Remaining CPU time: 179.518 s 0.50/0.51 c =============================================================================== 0.50/0.51 c | 8 | 2011 62251 187125 | 20750 8 129 | 0.000 % | 0.50/0.52 c =============================================================================== 0.50/0.52 c New solution: -21 0.50/0.52 o -21 0.50/0.52 c Elapsed CPU time: 0.489925 s Remaining CPU time: 179.51 s 0.50/0.52 c =============================================================================== 0.50/0.52 c | 9 | 2011 62252 187260 | 20750 9 128 | 0.000 % | 0.50/0.53 c =============================================================================== 0.50/0.53 c New solution: -22 0.50/0.53 o -22 0.50/0.53 c Elapsed CPU time: 0.500923 s Remaining CPU time: 179.499 s 0.50/0.53 c =============================================================================== 0.50/0.53 c | 10 | 2011 62253 187395 | 20751 10 128 | 0.000 % | 0.50/0.54 c =============================================================================== 0.50/0.54 c New solution: -23 0.50/0.54 o -23 0.50/0.54 c Elapsed CPU time: 0.508922 s Remaining CPU time: 179.491 s 0.50/0.54 c =============================================================================== 0.50/0.54 c | 10 | 2011 62254 187530 | 20751 10 128 | 0.000 % | 0.50/0.55 c =============================================================================== 0.50/0.55 c New solution: -24 0.50/0.55 o -24 0.50/0.55 c Elapsed CPU time: 0.516921 s Remaining CPU time: 179.483 s 0.50/0.55 c =============================================================================== 0.50/0.55 c | 11 | 2011 62255 187665 | 20751 11 128 | 0.000 % | 0.50/0.56 c =============================================================================== 0.50/0.56 c New solution: -26 0.50/0.56 o -26 0.50/0.56 c Elapsed CPU time: 0.52592 s Remaining CPU time: 179.474 s 0.50/0.56 c =============================================================================== 0.50/0.56 c | 12 | 2011 62256 187800 | 20752 12 128 | 0.000 % | 0.50/0.57 c =============================================================================== 0.50/0.57 c New solution: -27 0.50/0.57 o -27 0.50/0.57 c Elapsed CPU time: 0.535918 s Remaining CPU time: 179.464 s 0.50/0.57 c =============================================================================== 0.50/0.57 c | 12 | 2011 62257 187935 | 20752 12 128 | 0.000 % | 0.50/0.58 c =============================================================================== 0.50/0.58 c New solution: -28 0.50/0.58 o -28 0.50/0.58 c Elapsed CPU time: 0.545917 s Remaining CPU time: 179.454 s 0.50/0.58 c =============================================================================== 0.50/0.58 c | 14 | 2011 62258 188070 | 20752 14 127 | 0.000 % | 0.50/0.59 c =============================================================================== 0.50/0.59 c New solution: -29 0.50/0.59 o -29 0.50/0.59 c Elapsed CPU time: 0.556915 s Remaining CPU time: 179.443 s 0.50/0.59 c =============================================================================== 0.50/0.59 c | 16 | 2011 62259 188205 | 20753 16 127 | 0.000 % | 0.60/0.60 c =============================================================================== 0.60/0.60 c New solution: -30 0.60/0.60 o -30 0.60/0.60 c Elapsed CPU time: 0.566913 s Remaining CPU time: 179.433 s 0.60/0.60 c =============================================================================== 0.60/0.60 c | 16 | 2011 62260 188340 | 20753 16 127 | 0.000 % | 0.60/0.61 c =============================================================================== 0.60/0.61 c New solution: -31 0.60/0.61 o -31 0.60/0.61 c Elapsed CPU time: 0.575912 s Remaining CPU time: 179.424 s 0.60/0.61 c =============================================================================== 0.60/0.61 c | 18 | 2011 62261 188475 | 20753 18 126 | 0.000 % | 0.60/0.62 c =============================================================================== 0.60/0.62 c New solution: -32 0.60/0.62 o -32 0.60/0.62 c Elapsed CPU time: 0.584911 s Remaining CPU time: 179.415 s 0.60/0.62 c =============================================================================== 0.60/0.62 c | 19 | 2011 62262 188610 | 20754 19 126 | 0.000 % | 0.60/0.63 c =============================================================================== 0.60/0.63 c New solution: -33 0.60/0.63 o -33 0.60/0.63 c Elapsed CPU time: 0.592909 s Remaining CPU time: 179.407 s 0.60/0.63 c =============================================================================== 0.60/0.63 c | 19 | 2011 62263 188745 | 20754 19 126 | 0.000 % | 0.60/0.64 c =============================================================================== 0.60/0.64 c New solution: -34 0.60/0.64 o -34 0.60/0.64 c Elapsed CPU time: 0.602908 s Remaining CPU time: 179.397 s 0.60/0.64 c =============================================================================== 0.60/0.64 c | 21 | 2011 62264 188880 | 20754 21 126 | 0.000 % | 0.60/0.65 c =============================================================================== 0.60/0.65 c New solution: -36 0.60/0.65 o -36 0.60/0.65 c Elapsed CPU time: 0.612906 s Remaining CPU time: 179.387 s 0.60/0.65 c =============================================================================== 0.60/0.65 c | 21 | 2011 62265 189015 | 20755 21 126 | 0.000 % | 0.60/0.66 c =============================================================================== 0.60/0.66 c New solution: -37 0.60/0.66 o -37 0.60/0.66 c Elapsed CPU time: 0.620905 s Remaining CPU time: 179.379 s 0.60/0.66 c =============================================================================== 0.60/0.66 c | 21 | 2011 62266 189150 | 20755 21 126 | 0.000 % | 0.60/0.67 c =============================================================================== 0.60/0.67 c New solution: -38 0.60/0.67 o -38 0.60/0.67 c Elapsed CPU time: 0.628904 s Remaining CPU time: 179.371 s 0.60/0.67 c =============================================================================== 0.60/0.67 c | 23 | 2011 62267 189285 | 20755 23 125 | 0.000 % | 0.60/0.68 c =============================================================================== 0.60/0.68 c New solution: -39 0.60/0.68 o -39 0.60/0.68 c Elapsed CPU time: 0.638902 s Remaining CPU time: 179.361 s 0.60/0.68 c =============================================================================== 0.60/0.68 c | 25 | 2011 62268 189420 | 20756 25 125 | 0.000 % | 0.60/0.69 c =============================================================================== 0.60/0.69 c New solution: -40 0.60/0.69 o -40 0.60/0.69 c Elapsed CPU time: 0.648901 s Remaining CPU time: 179.351 s 0.60/0.69 c =============================================================================== 0.60/0.70 c | 31 | 2011 62269 189555 | 20756 31 120 | 0.000 % | 0.70/0.71 c =============================================================================== 0.70/0.71 c New solution: -41 0.70/0.71 o -41 0.70/0.71 c Elapsed CPU time: 0.658899 s Remaining CPU time: 179.341 s 0.70/0.71 c =============================================================================== 0.70/0.71 c | 31 | 2011 62270 189690 | 20756 31 120 | 0.000 % | 0.70/0.72 c =============================================================================== 0.70/0.72 c New solution: -42 0.70/0.72 o -42 0.70/0.72 c Elapsed CPU time: 0.668898 s Remaining CPU time: 179.331 s 0.70/0.72 c =============================================================================== 0.70/0.72 c | 42 | 2011 62271 189825 | 20757 42 119 | 0.000 % | 0.70/0.73 c =============================================================================== 0.70/0.73 c New solution: -43 0.70/0.73 o -43 0.70/0.73 c Elapsed CPU time: 0.677896 s Remaining CPU time: 179.322 s 0.70/0.73 c =============================================================================== 0.70/0.73 c | 45 | 2011 62272 189960 | 20757 45 119 | 0.000 % | 0.70/0.74 c =============================================================================== 0.70/0.74 c New solution: -44 0.70/0.74 o -44 0.70/0.74 c Elapsed CPU time: 0.687895 s Remaining CPU time: 179.312 s 0.70/0.74 c =============================================================================== 0.70/0.74 c | 45 | 2011 62273 190095 | 20757 45 119 | 0.000 % | 0.70/0.75 c =============================================================================== 0.70/0.75 c New solution: -45 0.70/0.75 o -45 0.70/0.75 c Elapsed CPU time: 0.696894 s Remaining CPU time: 179.303 s 0.70/0.75 c =============================================================================== 0.70/0.75 c | 45 | 2011 62274 190230 | 20758 45 119 | 0.000 % | 0.70/0.76 c =============================================================================== 0.70/0.76 c New solution: -46 0.70/0.76 o -46 0.70/0.76 c Elapsed CPU time: 0.706892 s Remaining CPU time: 179.293 s 0.70/0.76 c =============================================================================== 0.70/0.76 c | 54 | 2011 62275 190365 | 20758 54 118 | 0.000 % | 0.70/0.77 c =============================================================================== 0.70/0.77 c New solution: -47 0.70/0.77 o -47 0.70/0.77 c Elapsed CPU time: 0.714891 s Remaining CPU time: 179.285 s 0.70/0.77 c =============================================================================== 0.70/0.77 c | 54 | 2011 62276 190500 | 20758 54 118 | 0.000 % | 0.70/0.78 c =============================================================================== 0.70/0.78 c New solution: -48 0.70/0.78 o -48 0.70/0.78 c Elapsed CPU time: 0.72289 s Remaining CPU time: 179.277 s 0.70/0.78 c =============================================================================== 0.70/0.78 c | 55 | 2011 62277 190635 | 20759 55 118 | 0.000 % | 0.70/0.79 c =============================================================================== 0.70/0.79 c New solution: -49 0.70/0.79 o -49 0.70/0.79 c Elapsed CPU time: 0.732888 s Remaining CPU time: 179.267 s 0.70/0.79 c =============================================================================== 0.70/0.79 c | 55 | 2011 62278 190770 | 20759 55 118 | 0.000 % | 0.79/0.80 c =============================================================================== 0.79/0.80 c New solution: -50 0.79/0.80 o -50 0.79/0.80 c Elapsed CPU time: 0.741887 s Remaining CPU time: 179.258 s 0.79/0.80 c =============================================================================== 0.79/0.80 c | 57 | 2011 62279 190905 | 20759 57 118 | 0.000 % | 0.79/0.81 c =============================================================================== 0.79/0.81 c New solution: -51 0.79/0.81 o -51 0.79/0.81 c Elapsed CPU time: 0.750885 s Remaining CPU time: 179.249 s 0.79/0.81 c =============================================================================== 0.79/0.81 c | 57 | 2011 62280 191040 | 20760 57 118 | 0.000 % | 0.79/0.82 c =============================================================================== 0.79/0.82 c New solution: -52 0.79/0.82 o -52 0.79/0.82 c Elapsed CPU time: 0.759884 s Remaining CPU time: 179.24 s 0.79/0.82 c =============================================================================== 0.79/0.82 c | 57 | 2011 62281 191175 | 20760 57 118 | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.83 c New solution: -53 0.79/0.83 o -53 0.79/0.83 c Elapsed CPU time: 0.768883 s Remaining CPU time: 179.231 s 0.79/0.83 c =============================================================================== 0.79/0.83 c | 84 | 2011 62282 191310 | 20760 84 114 | 0.000 % | 0.79/0.84 c =============================================================================== 0.79/0.84 c New solution: -54 0.79/0.84 o -54 0.79/0.84 c Elapsed CPU time: 0.778881 s Remaining CPU time: 179.221 s 0.79/0.84 c =============================================================================== 0.79/0.84 c | 90 | 2011 62283 191445 | 20761 90 114 | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.85 c New solution: -55 0.79/0.85 o -55 0.79/0.85 c Elapsed CPU time: 0.78688 s Remaining CPU time: 179.213 s 0.79/0.85 c =============================================================================== 0.79/0.85 c | 90 | 2011 62284 191580 | 20761 90 114 | 0.000 % | 0.79/0.86 c =============================================================================== 0.79/0.86 c New solution: -56 0.79/0.86 o -56 0.79/0.86 c Elapsed CPU time: 0.796878 s Remaining CPU time: 179.203 s 0.79/0.86 c =============================================================================== 0.79/0.86 c | 90 | 2011 62285 191715 | 20761 90 114 | 0.000 % | 0.79/0.87 c =============================================================================== 0.79/0.87 c New solution: -57 0.79/0.87 o -57 0.79/0.87 c Elapsed CPU time: 0.805877 s Remaining CPU time: 179.194 s 0.79/0.87 c =============================================================================== 0.79/0.87 c | 109 | 2011 62286 191850 | 20762 109 114 | 0.000 % | 0.79/0.89 c =============================================================================== 0.79/0.89 c New solution: -58 0.79/0.89 o -58 0.79/0.89 c Elapsed CPU time: 0.822874 s Remaining CPU time: 179.177 s 0.79/0.89 c =============================================================================== 0.79/0.89 c | 158 | 2011 62287 191985 | 20762 158 112 | 0.000 % | 0.89/0.90 c =============================================================================== 0.89/0.90 c New solution: -59 0.89/0.90 o -59 0.89/0.90 c Elapsed CPU time: 0.833873 s Remaining CPU time: 179.166 s 0.89/0.90 c =============================================================================== 0.89/0.90 c | 159 | 2011 62288 192120 | 20762 159 112 | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.91 c New solution: -60 0.89/0.91 o -60 0.89/0.91 c Elapsed CPU time: 0.842871 s Remaining CPU time: 179.157 s 0.89/0.91 c =============================================================================== 0.89/0.91 c | 159 | 2011 62289 192255 | 20763 159 112 | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.92 c New solution: -61 0.89/0.92 o -61 0.89/0.92 c Elapsed CPU time: 0.84987 s Remaining CPU time: 179.15 s 0.89/0.92 c =============================================================================== 0.89/0.92 c | 169 | 2011 62290 192390 | 20763 169 112 | 0.000 % | 0.89/0.93 c =============================================================================== 0.89/0.93 c New solution: -62 0.89/0.93 o -62 0.89/0.93 c Elapsed CPU time: 0.860869 s Remaining CPU time: 179.139 s 0.89/0.93 c =============================================================================== 0.89/0.93 c | 179 | 2011 62291 192525 | 20763 179 112 | 0.000 % | 0.89/0.94 c =============================================================================== 0.89/0.94 c New solution: -63 0.89/0.94 o -63 0.89/0.94 c Elapsed CPU time: 0.874867 s Remaining CPU time: 179.125 s 0.89/0.94 c =============================================================================== 0.89/0.94 c | 238 | 2011 62292 192660 | 20764 238 112 | 0.000 % | 0.89/0.95 c =============================================================================== 0.89/0.95 c New solution: -64 0.89/0.95 o -64 0.89/0.95 c Elapsed CPU time: 0.883865 s Remaining CPU time: 179.116 s 0.89/0.95 c =============================================================================== 0.89/0.95 c | 238 | 2011 62293 192795 | 20764 238 112 | 0.000 % | 0.89/0.96 c =============================================================================== 0.89/0.96 c New solution: -65 0.89/0.96 o -65 0.89/0.96 c Elapsed CPU time: 0.892864 s Remaining CPU time: 179.107 s 0.89/0.96 c =============================================================================== 0.89/0.96 c | 238 | 2011 62294 192930 | 20764 238 112 | 0.000 % | 0.89/0.98 c | 339 | 2011 62294 192930 | 22841 339 109 | 0.691 % | 1.00/1.01 c =============================================================================== 1.00/1.01 c New solution: -66 1.00/1.01 o -66 1.00/1.01 c Elapsed CPU time: 0.937857 s Remaining CPU time: 179.062 s 1.00/1.01 c =============================================================================== 1.00/1.01 c | 466 | 2011 62295 193065 | 20765 466 108 | 0.691 % | 1.00/1.02 c =============================================================================== 1.00/1.02 c New solution: -67 1.00/1.02 o -67 1.00/1.02 c Elapsed CPU time: 0.951855 s Remaining CPU time: 179.048 s 1.00/1.02 c =============================================================================== 1.00/1.02 c | 510 | 2011 62296 193200 | 20765 510 107 | 0.691 % | 1.00/1.04 c =============================================================================== 1.00/1.04 c New solution: -68 1.00/1.04 o -68 1.00/1.04 c Elapsed CPU time: 0.962853 s Remaining CPU time: 179.037 s 1.00/1.04 c =============================================================================== 1.00/1.04 c | 512 | 2011 62297 193335 | 20765 512 107 | 0.691 % | 1.00/1.05 c | 612 | 2011 62297 193335 | 22842 612 107 | 0.691 % | 1.00/1.06 c =============================================================================== 1.00/1.06 c New solution: -69 1.00/1.06 o -69 1.00/1.06 c Elapsed CPU time: 0.986849 s Remaining CPU time: 179.013 s 1.00/1.06 c =============================================================================== 1.00/1.06 c | 640 | 2011 62298 193470 | 20766 640 107 | 0.691 % | 1.00/1.08 c =============================================================================== 1.00/1.08 c New solution: -70 1.00/1.08 o -70 1.00/1.08 c Elapsed CPU time: 0.997848 s Remaining CPU time: 179.002 s 1.00/1.08 c =============================================================================== 1.00/1.08 c | 641 | 2011 62299 193605 | 20766 641 107 | 0.691 % | 1.00/1.09 c =============================================================================== 1.00/1.09 c New solution: -71 1.00/1.09 o -71 1.00/1.09 c Elapsed CPU time: 1.00885 s Remaining CPU time: 178.991 s 1.00/1.09 c =============================================================================== 1.00/1.09 c | 641 | 2011 62300 193740 | 20766 641 107 | 0.691 % | 1.00/1.10 c | 741 | 2011 62300 193740 | 22843 741 106 | 0.691 % | 1.10/1.13 c | 892 | 2011 62300 193740 | 25127 892 106 | 0.691 % | 1.10/1.17 c | 1117 | 2011 62300 193740 | 27640 1117 106 | 0.691 % | 1.10/1.19 c =============================================================================== 1.10/1.19 c New solution: -72 1.10/1.19 o -72 1.10/1.19 c Elapsed CPU time: 1.10583 s Remaining CPU time: 178.894 s 1.10/1.19 c =============================================================================== 1.10/1.19 c | 1146 | 2011 62301 193875 | 20767 1146 106 | 0.691 % | 1.19/1.20 c =============================================================================== 1.19/1.20 c New solution: -73 1.19/1.20 o -73 1.19/1.20 c Elapsed CPU time: 1.11983 s Remaining CPU time: 178.88 s 1.19/1.20 c =============================================================================== 1.19/1.20 c | 1154 | 2011 62302 194010 | 20767 1154 106 | 0.691 % | 1.19/1.21 c =============================================================================== 1.19/1.21 c New solution: -74 1.19/1.21 o -74 1.19/1.21 c Elapsed CPU time: 1.13183 s Remaining CPU time: 178.868 s 1.19/1.21 c =============================================================================== 1.19/1.21 c | 1160 | 2011 62303 194145 | 20767 1160 106 | 0.691 % | 1.19/1.23 c =============================================================================== 1.19/1.23 c New solution: -75 1.19/1.23 o -75 1.19/1.23 c Elapsed CPU time: 1.14183 s Remaining CPU time: 178.858 s 1.19/1.23 c =============================================================================== 1.19/1.23 c | 1164 | 2011 62304 194280 | 20768 1164 106 | 0.691 % | 1.19/1.25 c | 1264 | 2011 62304 194280 | 22844 1264 105 | 0.691 % | 1.19/1.27 c | 1416 | 2011 62304 194280 | 25129 1416 105 | 0.691 % | 1.29/1.30 c =============================================================================== 1.29/1.30 c New solution: -76 1.29/1.30 o -76 1.29/1.30 c Elapsed CPU time: 1.21382 s Remaining CPU time: 178.786 s 1.29/1.30 c =============================================================================== 1.29/1.30 c | 1490 | 2011 62305 194415 | 20768 1490 105 | 0.691 % | 1.29/1.31 c =============================================================================== 1.29/1.31 c New solution: -77 1.29/1.31 o -77 1.29/1.31 c Elapsed CPU time: 1.22381 s Remaining CPU time: 178.776 s 1.29/1.31 c =============================================================================== 1.29/1.31 c | 1491 | 2011 62306 194550 | 20768 1491 105 | 0.691 % | 1.29/1.33 c | 1593 | 2011 62306 194550 | 22845 1593 105 | 0.691 % | 1.29/1.36 c =============================================================================== 1.29/1.36 c New solution: -78 1.29/1.36 o -78 1.29/1.36 c Elapsed CPU time: 1.26981 s Remaining CPU time: 178.73 s 1.29/1.36 c =============================================================================== 1.29/1.36 c | 1659 | 2011 62307 194685 | 20769 1659 105 | 0.691 % | 1.29/1.38 c | 1760 | 2011 62307 194685 | 22845 1760 105 | 0.691 % | 1.39/1.41 c | 1910 | 2011 62307 194685 | 25130 1910 105 | 0.691 % | 1.39/1.45 c | 2135 | 2011 62307 194685 | 27643 2135 104 | 0.691 % | 1.50/1.51 c | 2472 | 2011 62307 194685 | 30407 2472 104 | 0.692 % | 1.50/1.59 c | 2979 | 2011 62307 194685 | 33448 2979 104 | 0.691 % | 1.69/1.75 c | 3739 | 2011 62307 194685 | 36793 3739 104 | 0.691 % | 1.69/1.77 c =============================================================================== 1.69/1.77 c New solution: -79 1.69/1.77 o -79 1.69/1.77 c Elapsed CPU time: 1.67375 s Remaining CPU time: 178.326 s 1.69/1.77 c =============================================================================== 1.69/1.77 c | 3791 | 2011 62308 194820 | 20769 3791 104 | 0.691 % | 1.69/1.79 c | 3892 | 2011 62308 194820 | 22846 3892 104 | 0.691 % | 1.79/1.82 c =============================================================================== 1.79/1.82 c New solution: -80 1.79/1.82 o -80 1.79/1.82 c Elapsed CPU time: 1.72574 s Remaining CPU time: 178.274 s 1.79/1.82 c =============================================================================== 1.79/1.82 c | 3976 | 2011 62309 194955 | 20769 3976 104 | 0.691 % | 1.79/1.83 c =============================================================================== 1.79/1.83 c New solution: -81 1.79/1.83 o -81 1.79/1.83 c Elapsed CPU time: 1.73673 s Remaining CPU time: 178.263 s 1.79/1.83 c =============================================================================== 1.79/1.83 c | 3976 | 2011 62310 195090 | 20770 3976 104 | 0.691 % | 1.79/1.86 c | 4077 | 2011 62310 195090 | 22847 4077 104 | 0.691 % | 1.79/1.89 c | 4230 | 2011 62310 195090 | 25131 4230 104 | 0.691 % | 1.89/1.91 c =============================================================================== 1.89/1.91 c New solution: -82 1.89/1.91 o -82 1.89/1.91 c Elapsed CPU time: 1.81572 s Remaining CPU time: 178.184 s 1.89/1.91 c =============================================================================== 1.89/1.91 c | 4270 | 2011 62311 195225 | 20770 4270 104 | 0.691 % | 1.89/1.93 c | 4372 | 2011 62311 195225 | 22847 4372 104 | 0.691 % | 1.89/1.98 c | 4524 | 2011 62311 195225 | 25132 4524 104 | 0.691 % | 1.99/2.06 c | 4749 | 2011 62311 195225 | 27645 4749 104 | 0.691 % | 2.09/2.16 c | 5087 | 2011 62311 195225 | 30409 5087 104 | 0.691 % | 2.20/2.29 c | 5595 | 2011 62311 195225 | 33450 5595 103 | 0.691 % | 2.39/2.50 c | 6354 | 2011 62311 195225 | 36795 6354 103 | 0.691 % | 2.59/2.62 c =============================================================================== 2.59/2.62 c New solution: -83 2.59/2.62 o -83 2.59/2.62 c Elapsed CPU time: 2.51662 s Remaining CPU time: 177.483 s 2.59/2.62 c =============================================================================== 2.59/2.62 c | 6797 | 2011 62312 195360 | 20770 6797 103 | 0.691 % | 2.59/2.63 c =============================================================================== 2.59/2.63 c New solution: -84 2.59/2.63 o -84 2.59/2.63 c Elapsed CPU time: 2.52961 s Remaining CPU time: 177.47 s 2.59/2.63 c =============================================================================== 2.59/2.63 c | 6800 | 2011 62313 195495 | 20771 6800 103 | 0.691 % | 2.59/2.64 c =============================================================================== 2.59/2.64 c New solution: -85 2.59/2.64 o -85 2.59/2.64 c Elapsed CPU time: 2.53761 s Remaining CPU time: 177.462 s 2.59/2.64 c =============================================================================== 2.59/2.64 c | 6806 | 2011 62314 195630 | 20771 6806 103 | 0.691 % | 2.59/2.69 c | 6908 | 2011 62314 195630 | 22848 6908 103 | 0.691 % | 2.68/2.72 c | 7058 | 2011 62314 195630 | 25133 7058 103 | 0.691 % | 2.68/2.79 c | 7283 | 2011 62314 195630 | 27646 7283 103 | 0.691 % | 2.79/2.88 c =============================================================================== 2.79/2.88 c New solution: -86 2.79/2.88 o -86 2.79/2.88 c Elapsed CPU time: 2.77058 s Remaining CPU time: 177.229 s 2.79/2.88 c =============================================================================== 2.79/2.88 c | 7579 | 2011 62315 195765 | 20771 7579 103 | 0.691 % | 2.89/2.91 c | 7679 | 2011 62315 195765 | 22848 7679 103 | 0.691 % | 2.89/2.94 c | 7829 | 2011 62315 195765 | 25133 7829 103 | 0.691 % | 2.99/3.00 c | 8054 | 2011 62315 195765 | 27647 8054 102 | 0.691 % | 2.99/3.08 c | 8391 | 2011 62315 195765 | 30411 8391 102 | 0.691 % | 3.09/3.11 c =============================================================================== 3.09/3.11 c New solution: -87 3.09/3.11 o -87 3.09/3.11 c Elapsed CPU time: 2.99454 s Remaining CPU time: 177.005 s 3.09/3.11 c =============================================================================== 3.09/3.11 c | 8454 | 2011 62316 195900 | 20772 8454 102 | 0.691 % | 3.09/3.14 c =============================================================================== 3.09/3.14 c New solution: -88 3.09/3.14 o -88 3.09/3.14 c Elapsed CPU time: 3.02354 s Remaining CPU time: 176.976 s 3.09/3.14 c =============================================================================== 3.09/3.14 c | 8535 | 2011 62317 196035 | 20772 8535 102 | 0.691 % | 3.09/3.17 c | 8636 | 2011 62317 196035 | 22849 8636 102 | 0.691 % | 3.19/3.21 c | 8788 | 2011 62317 196035 | 25134 8788 102 | 0.691 % | 3.19/3.26 c | 9014 | 2011 62317 196035 | 27647 9014 102 | 0.691 % | 3.29/3.38 c | 9352 | 2011 62317 196035 | 30412 9352 102 | 0.691 % | 3.48/3.56 c | 9859 | 2011 62317 196035 | 33454 9859 102 | 0.691 % | 3.79/3.82 c | 10620 | 2011 62317 196035 | 36799 10620 102 | 0.691 % | 4.19/4.27 c | 11759 | 2011 62317 196035 | 40479 11759 101 | 0.691 % | 4.59/4.61 c =============================================================================== 4.59/4.61 c New solution: -89 4.59/4.61 o -89 4.59/4.61 c Elapsed CPU time: 4.48132 s Remaining CPU time: 175.519 s 4.59/4.61 c =============================================================================== 4.59/4.61 c | 12762 | 2011 62318 196170 | 20772 12762 101 | 0.691 % | 4.59/4.63 c =============================================================================== 4.59/4.63 c New solution: -90 4.59/4.63 o -90 4.59/4.63 c Elapsed CPU time: 4.50131 s Remaining CPU time: 175.499 s 4.59/4.63 c =============================================================================== 4.59/4.63 c | 12784 | 2011 62319 196305 | 20773 12784 101 | 0.691 % | 4.59/4.68 c | 12885 | 2011 62319 196305 | 22850 12885 101 | 0.691 % | 4.69/4.73 c | 13037 | 2011 62319 196305 | 25135 13037 101 | 0.691 % | 4.69/4.79 c | 13263 | 2011 62319 196305 | 27648 13263 101 | 0.691 % | 4.89/4.90 c | 13600 | 2011 62319 196305 | 30413 13600 101 | 0.691 % | 4.99/5.04 c | 14107 | 2011 62319 196305 | 33455 14107 101 | 0.691 % | 5.19/5.23 c =============================================================================== 5.19/5.23 c New solution: -91 5.19/5.23 o -91 5.19/5.23 c Elapsed CPU time: 5.09223 s Remaining CPU time: 174.908 s 5.19/5.23 c =============================================================================== 5.19/5.23 c | 14654 | 2011 62320 196440 | 20773 14654 101 | 0.691 % | 5.19/5.26 c | 14755 | 2011 62320 196440 | 22850 14755 101 | 0.691 % | 5.28/5.32 c | 14905 | 2011 62320 196440 | 25135 14905 101 | 0.691 % | 5.39/5.41 c | 15130 | 2011 62320 196440 | 27649 15130 101 | 0.691 % | 5.50/5.53 c | 15467 | 2011 62320 196440 | 30414 15467 101 | 0.691 % | 5.69/5.70 c | 15974 | 2011 62320 196440 | 33455 15974 101 | 0.691 % | 6.08/6.17 c | 16734 | 2011 62320 196440 | 36801 16734 101 | 0.691 % | 6.39/6.49 c | 17874 | 2011 62320 196440 | 40481 17874 101 | 0.691 % | 6.79/6.82 c =============================================================================== 6.79/6.82 c New solution: -92 6.79/6.82 o -92 6.79/6.82 c Elapsed CPU time: 6.66699 s Remaining CPU time: 173.333 s 6.79/6.82 c =============================================================================== 6.79/6.82 c | 18855 | 2011 62321 196575 | 20773 18855 101 | 0.691 % | 6.79/6.84 c =============================================================================== 6.79/6.84 c New solution: -93 6.79/6.84 o -93 6.79/6.84 c Elapsed CPU time: 6.68998 s Remaining CPU time: 173.31 s 6.79/6.84 c =============================================================================== 6.79/6.84 c | 18881 | 2011 62322 196710 | 20774 18881 101 | 0.691 % | 6.79/6.88 c | 18981 | 2011 62322 196710 | 22851 18981 101 | 0.691 % | 6.89/6.93 c =============================================================================== 6.89/6.93 c New solution: -94 6.89/6.93 o -94 6.89/6.93 c Elapsed CPU time: 6.77697 s Remaining CPU time: 173.223 s 6.89/6.93 c =============================================================================== 6.89/6.93 c | 19108 | 2011 62323 196845 | 20774 19108 101 | 0.691 % | 6.89/6.96 c =============================================================================== 6.89/6.96 c New solution: -95 6.89/6.96 o -95 6.89/6.96 c Elapsed CPU time: 6.79997 s Remaining CPU time: 173.2 s 6.89/6.96 c =============================================================================== 6.89/6.96 c | 19135 | 2011 62324 196980 | 20774 19135 101 | 0.691 % | 6.89/7.00 c | 19235 | 2011 62324 196980 | 22852 19235 100 | 0.691 % | 6.98/7.04 c | 19386 | 2011 62324 196980 | 25137 19386 100 | 0.691 % | 7.08/7.11 c | 19613 | 2011 62324 196980 | 27651 19613 100 | 0.691 % | 7.18/7.22 c =============================================================================== 7.18/7.22 c New solution: -96 7.18/7.22 o -96 7.18/7.22 c Elapsed CPU time: 7.06593 s Remaining CPU time: 172.934 s 7.18/7.22 c =============================================================================== 7.18/7.22 c | 19923 | 2011 62325 197115 | 20775 19923 100 | 0.691 % | 7.18/7.26 c | 20023 | 2011 62325 197115 | 22852 20023 100 | 0.691 % | 7.28/7.33 c | 20174 | 2011 62325 197115 | 25137 20174 100 | 0.691 % | 7.39/7.41 c | 20401 | 2011 62325 197115 | 27651 20401 100 | 0.691 % | 7.49/7.58 c | 20740 | 2011 62325 197115 | 30416 20740 100 | 0.691 % | 7.60/7.67 c =============================================================================== 7.60/7.67 c New solution: -97 7.60/7.67 o -97 7.60/7.67 c Elapsed CPU time: 7.50686 s Remaining CPU time: 172.493 s 7.60/7.67 c =============================================================================== 7.60/7.67 c | 20867 | 2011 62326 197250 | 20775 20867 100 | 0.691 % | 7.79/7.88 c =============================================================================== 7.79/7.88 c New solution: -98 7.79/7.88 o -98 7.79/7.88 c Elapsed CPU time: 7.71583 s Remaining CPU time: 172.284 s 7.79/7.88 c =============================================================================== 7.79/7.88 c | 20867 | 2011 62327 197385 | 20775 10434 98 | 0.691 % | 7.89/7.92 c | 20968 | 2011 62327 197385 | 22853 10535 98 | 0.691 % | 7.89/7.98 c | 21119 | 2011 62327 197385 | 25138 10686 97 | 0.691 % | 7.98/8.01 c =============================================================================== 7.98/8.01 c New solution: -99 7.98/8.01 o -99 7.98/8.01 c Elapsed CPU time: 7.84281 s Remaining CPU time: 172.157 s 7.98/8.01 c =============================================================================== 7.98/8.01 c | 21162 | 2011 62328 197520 | 20776 10729 97 | 0.691 % | 7.98/8.05 c | 21262 | 2011 62328 197520 | 22853 10829 97 | 0.691 % | 7.98/8.07 c =============================================================================== 7.98/8.07 c New solution: -100 7.98/8.07 o -100 7.98/8.07 c Elapsed CPU time: 7.8968 s Remaining CPU time: 172.103 s 7.98/8.07 c =============================================================================== 7.98/8.07 c | 21275 | 2011 62329 197655 | 20776 10842 97 | 0.691 % | 7.98/8.08 c =============================================================================== 7.98/8.08 c New solution: -101 7.98/8.08 o -101 7.98/8.08 c Elapsed CPU time: 7.9098 s Remaining CPU time: 172.09 s 7.98/8.08 c =============================================================================== 7.98/8.08 c | 21275 | 2011 62330 197790 | 20776 10842 97 | 0.691 % | 8.09/8.12 c | 21375 | 2011 62330 197790 | 22854 10942 97 | 0.691 % | 8.09/8.17 c | 21529 | 2011 62330 197790 | 25139 11096 97 | 0.691 % | 8.19/8.25 c | 21754 | 2011 62330 197790 | 27653 11321 97 | 0.691 % | 8.19/8.28 c =============================================================================== 8.19/8.28 c New solution: -102 8.19/8.28 o -102 8.19/8.28 c Elapsed CPU time: 8.10177 s Remaining CPU time: 171.898 s 8.19/8.28 c =============================================================================== 8.19/8.28 c | 21790 | 2011 62331 197925 | 20777 11357 97 | 0.691 % | 8.29/8.31 c | 21890 | 2011 62331 197925 | 22854 11457 97 | 0.691 % | 8.29/8.37 c | 22043 | 2011 62331 197925 | 25140 11610 97 | 0.691 % | 8.39/8.49 c | 22269 | 2011 62331 197925 | 27654 11836 97 | 0.691 % | 8.58/8.62 c =============================================================================== 8.58/8.62 c New solution: -103 8.58/8.62 o -103 8.58/8.62 c Elapsed CPU time: 8.43872 s Remaining CPU time: 171.561 s 8.58/8.62 c =============================================================================== 8.58/8.62 c | 22562 | 2011 62332 198060 | 20777 12129 97 | 0.691 % | 8.58/8.67 c | 22664 | 2011 62332 198060 | 22855 12231 97 | 0.691 % | 8.69/8.76 c | 22814 | 2011 62332 198060 | 25140 12381 97 | 0.691 % | 8.80/8.88 c | 23039 | 2011 62332 198060 | 27654 12606 97 | 0.691 % | 8.99/9.00 c =============================================================================== 8.99/9.00 c New solution: -104 8.99/9.00 o -104 8.99/9.00 c Elapsed CPU time: 8.82066 s Remaining CPU time: 171.179 s 8.99/9.00 c =============================================================================== 8.99/9.00 c | 23279 | 2011 62333 198195 | 20777 12846 97 | 0.691 % | 8.99/9.04 c =============================================================================== 8.99/9.04 c New solution: -105 8.99/9.04 o -105 8.99/9.04 c Elapsed CPU time: 8.85865 s Remaining CPU time: 171.141 s 8.99/9.04 c =============================================================================== 8.99/9.04 c | 23330 | 2011 62334 198330 | 20778 12897 97 | 0.691 % | 8.99/9.09 c | 23432 | 2011 62334 198330 | 22855 12999 97 | 0.691 % | 9.09/9.17 c | 23584 | 2011 62334 198330 | 25141 13151 97 | 0.691 % | 9.19/9.26 c | 23810 | 2011 62334 198330 | 27655 13377 97 | 0.691 % | 9.29/9.37 c | 24148 | 2011 62334 198330 | 30421 13715 97 | 0.691 % | 9.39/9.43 c =============================================================================== 9.39/9.44 c New solution: -106 9.39/9.44 o -106 9.39/9.44 c Elapsed CPU time: 9.24859 s Remaining CPU time: 170.751 s 9.39/9.44 c =============================================================================== 9.39/9.44 c | 24280 | 2011 62335 198465 | 20778 13847 96 | 0.691 % | 9.39/9.45 c =============================================================================== 9.39/9.45 c New solution: -107 9.39/9.45 o -107 9.39/9.45 c Elapsed CPU time: 9.26259 s Remaining CPU time: 170.737 s 9.39/9.45 c =============================================================================== 9.39/9.45 c | 24280 | 2011 62336 198600 | 20778 13847 96 | 0.691 % | 9.39/9.47 c =============================================================================== 9.39/9.47 c New solution: -108 9.39/9.47 o -108 9.39/9.47 c Elapsed CPU time: 9.27959 s Remaining CPU time: 170.72 s 9.39/9.47 c =============================================================================== 9.39/9.47 c | 24287 | 2011 62337 198735 | 20779 13854 96 | 0.691 % | 9.39/9.48 c =============================================================================== 9.39/9.48 c New solution: -109 9.39/9.49 o -109 9.39/9.49 c Elapsed CPU time: 9.29759 s Remaining CPU time: 170.702 s 9.39/9.49 c =============================================================================== 9.39/9.49 c | 24307 | 2011 62338 198870 | 20779 13874 96 | 0.691 % | 9.48/9.50 c =============================================================================== 9.48/9.50 c New solution: -110 9.48/9.50 o -110 9.48/9.50 c Elapsed CPU time: 9.30958 s Remaining CPU time: 170.69 s 9.48/9.50 c =============================================================================== 9.48/9.50 c | 24307 | 2011 62339 199005 | 20779 13874 96 | 0.691 % | 9.48/9.53 c | 24407 | 2011 62339 199005 | 22857 13974 96 | 0.691 % | 9.48/9.58 c | 24558 | 2011 62339 199005 | 25143 14125 96 | 0.691 % | 9.59/9.60 c =============================================================================== 9.59/9.60 c New solution: -111 9.59/9.60 o -111 9.59/9.60 c Elapsed CPU time: 9.41057 s Remaining CPU time: 170.589 s 9.59/9.60 c =============================================================================== 9.59/9.60 c | 24578 | 2011 62340 199140 | 20780 14145 96 | 0.691 % | 9.59/9.64 c | 24678 | 2011 62340 199140 | 22858 14245 96 | 0.691 % | 9.59/9.69 c | 24828 | 2011 62340 199140 | 25143 14395 96 | 0.691 % | 9.69/9.77 c | 25054 | 2011 62340 199140 | 27658 14621 96 | 0.691 % | 9.80/9.89 c | 25391 | 2011 62340 199140 | 30423 14958 96 | 0.691 % | 9.99/10.07 c | 25897 | 2011 62340 199140 | 33466 15464 96 | 0.691 % | 10.38/10.43 c | 26656 | 2011 62340 199140 | 36813 16223 96 | 0.691 % | 11.00/11.01 c | 27795 | 2011 62340 199140 | 40494 17362 96 | 0.692 % | 11.89/11.94 c | 29503 | 2011 62340 199140 | 44543 19070 96 | 0.691 % | 13.39/13.42 c | 32070 | 2011 62340 199140 | 48998 21637 95 | 0.691 % | 14.08/14.11 c =============================================================================== 14.08/14.11 c New solution: -112 14.08/14.11 o -112 14.08/14.11 c Elapsed CPU time: 13.8779 s Remaining CPU time: 166.122 s 14.08/14.11 c =============================================================================== 14.08/14.11 c | 33355 | 2011 62341 199275 | 20780 22922 95 | 0.691 % | 14.19/14.29 c | 33455 | 2011 62341 199275 | 22858 10912 92 | 0.691 % | 14.29/14.31 c =============================================================================== 14.29/14.31 c New solution: -113 14.29/14.31 o -113 14.29/14.31 c Elapsed CPU time: 14.0769 s Remaining CPU time: 165.923 s 14.29/14.31 c =============================================================================== 14.29/14.31 c | 33479 | 2011 62342 199410 | 20780 10936 92 | 0.691 % | 14.29/14.35 c | 33579 | 2011 62342 199410 | 22858 11036 92 | 0.691 % | 14.38/14.41 c | 33730 | 2011 62342 199410 | 25144 11187 92 | 0.691 % | 14.48/14.51 c | 33957 | 2011 62342 199410 | 27659 11414 92 | 0.691 % | 14.59/14.63 c | 34296 | 2011 62342 199410 | 30424 11753 92 | 0.691 % | 14.79/14.84 c | 34802 | 2011 62342 199410 | 33467 12259 92 | 0.691 % | 15.18/15.20 c | 35561 | 2011 62342 199410 | 36814 13018 92 | 0.691 % | 15.39/15.43 c =============================================================================== 15.39/15.43 c New solution: -114 15.39/15.43 o -114 15.39/15.43 c Elapsed CPU time: 15.1947 s Remaining CPU time: 164.805 s 15.39/15.43 c =============================================================================== 15.39/15.43 c | 36176 | 2011 62343 199545 | 20781 13633 92 | 0.691 % | 15.39/15.46 c =============================================================================== 15.39/15.46 c New solution: -115 15.39/15.46 o -115 15.39/15.46 c Elapsed CPU time: 15.2157 s Remaining CPU time: 164.784 s 15.39/15.46 c =============================================================================== 15.39/15.46 c | 36191 | 2011 62344 199680 | 20781 13648 92 | 0.691 % | 15.48/15.50 c | 36291 | 2011 62344 199680 | 22859 13748 92 | 0.691 % | 15.48/15.58 c | 36442 | 2011 62344 199680 | 25145 13899 92 | 0.691 % | 15.69/15.72 c | 36667 | 2011 62344 199680 | 27659 14124 92 | 0.691 % | 15.89/15.94 c | 37005 | 2011 62344 199680 | 30425 14462 92 | 0.691 % | 16.19/16.24 c | 37514 | 2011 62344 199680 | 33468 14971 91 | 0.691 % | 16.59/16.69 c | 38278 | 2011 62344 199680 | 36815 15735 91 | 0.691 % | 17.39/17.44 c | 39417 | 2011 62344 199680 | 40496 16874 91 | 0.691 % | 18.48/18.59 c | 41125 | 2011 62344 199680 | 44546 18582 91 | 0.691 % | 20.18/20.25 c | 43687 | 2011 62344 199680 | 49001 21144 91 | 0.691 % | 21.39/21.46 c =============================================================================== 21.39/21.46 c New solution: -116 21.39/21.46 o -116 21.39/21.46 c Elapsed CPU time: 21.1808 s Remaining CPU time: 158.819 s 21.39/21.46 c =============================================================================== 21.39/21.46 c | 45454 | 2011 62345 199815 | 20781 22911 91 | 0.691 % | 21.58/21.66 c =============================================================================== 21.58/21.66 c New solution: -117 21.58/21.66 o -117 21.58/21.66 c Elapsed CPU time: 21.3837 s Remaining CPU time: 158.616 s 21.58/21.66 c =============================================================================== 21.58/21.66 c | 45454 | 2011 62346 199950 | 20782 10815 89 | 0.691 % | 21.68/21.73 c | 45554 | 2011 62346 199950 | 22860 10915 89 | 0.691 % | 21.78/21.84 c | 45706 | 2011 62346 199950 | 25146 11067 89 | 0.692 % | 21.89/21.94 c | 45931 | 2011 62346 199950 | 27660 11292 89 | 0.692 % | 22.08/22.13 c | 46271 | 2011 62346 199950 | 30426 11632 89 | 0.691 % | 22.28/22.36 c | 46779 | 2011 62346 199950 | 33469 12140 89 | 0.691 % | 22.69/22.75 c | 47538 | 2011 62346 199950 | 36816 12899 89 | 0.692 % | 23.28/23.36 c | 48677 | 2011 62346 199950 | 40498 14038 89 | 0.691 % | 24.59/24.62 c | 50386 | 2011 62346 199950 | 44548 15747 89 | 0.691 % | 25.89/25.97 c =============================================================================== 25.89/25.97 c New solution: -118 25.89/25.97 o -118 25.89/25.97 c Elapsed CPU time: 25.6621 s Remaining CPU time: 154.338 s 25.89/25.97 c =============================================================================== 25.89/25.97 c | 52160 | 2011 62347 200085 | 20782 17521 89 | 0.691 % | 25.89/25.99 c =============================================================================== 25.89/25.99 c New solution: -119 25.89/25.99 o -119 25.89/25.99 c Elapsed CPU time: 25.6891 s Remaining CPU time: 154.311 s 25.89/25.99 c =============================================================================== 25.89/25.99 c | 52171 | 2011 62348 200220 | 20782 17532 89 | 0.691 % | 25.99/26.01 c =============================================================================== 25.99/26.01 c New solution: -120 25.99/26.01 o -120 25.99/26.01 c Elapsed CPU time: 25.7031 s Remaining CPU time: 154.297 s 25.99/26.01 c =============================================================================== 25.99/26.01 c | 52171 | 2011 62349 200355 | 20783 17532 89 | 0.691 % | 25.99/26.02 c =============================================================================== 25.99/26.02 c New solution: -121 25.99/26.02 o -121 25.99/26.02 c Elapsed CPU time: 25.7161 s Remaining CPU time: 154.284 s 25.99/26.02 c =============================================================================== 25.99/26.02 c | 52172 | 2011 62350 200490 | 20783 17533 89 | 0.691 % | 25.99/26.09 c | 52273 | 2011 62350 200490 | 22861 17634 89 | 0.691 % | 26.09/26.11 c =============================================================================== 26.09/26.11 c New solution: -122 26.09/26.11 o -122 26.09/26.11 c Elapsed CPU time: 25.8081 s Remaining CPU time: 154.192 s 26.09/26.11 c =============================================================================== 26.09/26.11 c | 52297 | 2011 62351 200625 | 20783 17658 89 | 0.691 % | 26.09/26.13 c =============================================================================== 26.09/26.13 c New solution: -123 26.09/26.13 o -123 26.09/26.13 c Elapsed CPU time: 25.8211 s Remaining CPU time: 154.179 s 26.09/26.13 c =============================================================================== 26.09/26.13 c | 52297 | 2011 62352 200760 | 20784 17658 89 | 0.691 % | 26.09/26.19 c | 52397 | 2011 62352 200760 | 22862 17758 89 | 0.691 % | 26.29/26.33 c | 52548 | 2011 62352 200760 | 25148 17909 89 | 0.691 % | 26.39/26.50 c | 52773 | 2011 62352 200760 | 27663 18134 89 | 0.691 % | 26.68/26.76 c | 53112 | 2011 62352 200760 | 30429 18473 89 | 0.691 % | 27.08/27.17 c | 53620 | 2011 62352 200760 | 33472 18981 89 | 0.691 % | 27.78/27.87 c | 54379 | 2011 62352 200760 | 36820 19740 89 | 0.691 % | 28.88/28.94 c | 55518 | 2011 62352 200760 | 40502 20879 89 | 0.691 % | 30.08/30.11 c | 57226 | 2011 62352 200760 | 44552 22587 89 | 0.691 % | 32.48/32.58 c | 59788 | 2011 62352 200760 | 49007 25149 88 | 0.691 % | 35.88/35.92 c | 63633 | 2011 62352 200760 | 53908 28994 88 | 0.691 % | 42.27/42.36 c | 69399 | 2011 62352 200760 | 59299 34760 88 | 0.691 % | 45.97/46.00 c =============================================================================== 45.97/46.00 c New solution: -124 45.97/46.00 o -124 45.97/46.00 c Elapsed CPU time: 45.5991 s Remaining CPU time: 134.401 s 45.97/46.00 c =============================================================================== 45.97/46.00 c | 73151 | 2011 62353 200895 | 20784 38512 88 | 0.691 % | 46.18/46.29 c | 73252 | 2011 62353 200895 | 22862 11567 86 | 0.691 % | 46.27/46.36 c | 73402 | 2011 62353 200895 | 25149 11717 86 | 0.691 % | 46.37/46.48 c | 73629 | 2011 62353 200895 | 27663 11944 86 | 0.691 % | 46.58/46.64 c | 73969 | 2011 62353 200895 | 30430 12284 86 | 0.691 % | 46.88/46.95 c | 74475 | 2011 62353 200895 | 33473 12790 86 | 0.691 % | 47.18/47.24 c =============================================================================== 47.18/47.24 c New solution: -125 47.18/47.24 o -125 47.18/47.24 c Elapsed CPU time: 46.8349 s Remaining CPU time: 133.165 s 47.18/47.24 c =============================================================================== 47.18/47.24 c | 74950 | 2011 62354 201030 | 20784 13265 86 | 0.691 % | 47.18/47.26 c =============================================================================== 47.18/47.26 c New solution: -126 47.18/47.26 o -126 47.18/47.26 c Elapsed CPU time: 46.8489 s Remaining CPU time: 133.151 s 47.18/47.26 c =============================================================================== 47.18/47.26 c | 74950 | 2011 62355 201165 | 20785 13265 86 | 0.691 % | 47.28/47.32 c | 75050 | 2011 62355 201165 | 22863 13365 86 | 0.691 % | 47.37/47.41 c | 75200 | 2011 62355 201165 | 25149 13515 86 | 0.691 % | 47.47/47.52 c | 75425 | 2011 62355 201165 | 27664 13740 86 | 0.692 % | 47.67/47.74 c | 75763 | 2011 62355 201165 | 30431 14078 86 | 0.691 % | 47.97/48.10 c | 76269 | 2011 62355 201165 | 33474 14584 86 | 0.691 % | 48.38/48.47 c | 77028 | 2011 62355 201165 | 36821 15343 86 | 0.691 % | 49.17/49.21 c | 78168 | 2011 62355 201165 | 40504 16483 86 | 0.691 % | 50.18/50.22 c | 79877 | 2011 62355 201165 | 44554 18192 86 | 0.691 % | 52.27/52.39 c | 82439 | 2011 62355 201165 | 49009 20754 86 | 0.691 % | 56.08/56.15 c | 86284 | 2011 62355 201165 | 53910 24599 86 | 0.691 % | 61.77/61.89 c | 92050 | 2011 62355 201165 | 59302 30365 86 | 0.691 % | 70.28/70.34 c | 100699 | 2011 62355 201165 | 65232 39014 86 | 0.691 % | 70.38/70.41 c =============================================================================== 70.38/70.41 c New solution: -127 70.38/70.41 o -127 70.38/70.41 c Elapsed CPU time: 69.8884 s Remaining CPU time: 110.112 s 70.38/70.41 c =============================================================================== 70.38/70.41 c | 100753 | 2011 62356 201300 | 20785 39068 86 | 0.691 % | 71.38/71.40 c | 100854 | 2011 62356 201300 | 22863 11757 85 | 0.691 % | 71.38/71.47 c | 101004 | 2011 62356 201300 | 25150 11907 85 | 0.691 % | 71.48/71.59 c | 101229 | 2011 62356 201300 | 27665 12132 85 | 0.691 % | 71.67/71.75 c | 101567 | 2011 62356 201300 | 30431 12470 85 | 0.691 % | 71.96/72.02 c | 102075 | 2011 62356 201300 | 33474 12978 85 | 0.691 % | 72.37/72.48 c | 102836 | 2011 62356 201300 | 36822 13739 85 | 0.691 % | 72.96/73.08 c | 103975 | 2011 62356 201300 | 40504 14878 85 | 0.691 % | 73.97/74.03 c | 105683 | 2011 62356 201300 | 44555 16586 85 | 0.691 % | 75.77/75.83 c | 108247 | 2011 62356 201300 | 49010 19150 86 | 0.691 % | 78.97/79.05 c | 112091 | 2011 62356 201300 | 53911 22994 86 | 0.691 % | 83.06/83.14 c | 117858 | 2011 62356 201300 | 59302 28761 86 | 0.691 % | 89.85/89.98 c | 126510 | 2011 62356 201300 | 65233 37413 86 | 0.691 % | 108.15/108.21 c | 139484 | 2011 62356 201300 | 71756 50387 86 | 0.691 % | 110.76/110.88 c =============================================================================== 110.76/110.88 c New solution: -128 110.76/110.88 o -128 110.76/110.88 c Elapsed CPU time: 110.161 s Remaining CPU time: 69.8387 s 110.76/110.88 c =============================================================================== 110.76/110.88 c | 142016 | 2011 62357 201435 | 20785 52919 86 | 0.691 % | 112.17/112.25 c =============================================================================== 112.17/112.25 c New solution: -129 112.17/112.25 o -129 112.17/112.25 c Elapsed CPU time: 111.531 s Remaining CPU time: 68.469 s 112.17/112.25 c =============================================================================== 112.17/112.25 c | 142100 | 2011 62358 201570 | 20786 12040 84 | 0.691 % | 112.17/112.29 c | 142201 | 2011 62358 201570 | 22864 12141 84 | 0.691 % | 112.26/112.35 c | 142352 | 2011 62358 201570 | 25151 12292 84 | 0.691 % | 112.26/112.39 c =============================================================================== 112.26/112.39 c New solution: -130 112.26/112.39 o -130 112.26/112.39 c Elapsed CPU time: 111.678 s Remaining CPU time: 68.322 s 112.26/112.39 c =============================================================================== 112.26/112.39 c | 142433 | 2011 62359 201705 | 20786 12373 84 | 0.691 % | 112.36/112.43 c | 142534 | 2011 62359 201705 | 22864 12474 84 | 0.691 % | 112.36/112.48 c | 142685 | 2011 62359 201705 | 25151 12625 84 | 0.691 % | 112.46/112.55 c | 142911 | 2011 62359 201705 | 27666 12851 84 | 0.691 % | 112.56/112.68 c | 143248 | 2011 62359 201705 | 30433 13188 84 | 0.691 % | 112.75/112.82 c =============================================================================== 112.75/112.82 c New solution: -131 112.75/112.82 o -131 112.75/112.82 c Elapsed CPU time: 112.103 s Remaining CPU time: 67.897 s 112.75/112.82 c =============================================================================== 112.75/112.82 c | 143561 | 2011 62360 201840 | 20786 13501 84 | 0.691 % | 112.75/112.87 c | 143662 | 2011 62360 201840 | 22865 13602 84 | 0.691 % | 112.75/112.89 c =============================================================================== 112.75/112.89 c New solution: -132 112.75/112.89 o -132 112.75/112.89 c Elapsed CPU time: 112.168 s Remaining CPU time: 67.8321 s 112.75/112.89 c =============================================================================== 112.75/112.89 c | 143681 | 2011 62361 201975 | 20787 13621 84 | 0.691 % | 112.85/112.93 c | 143781 | 2011 62361 201975 | 22865 13721 84 | 0.691 % | 112.85/112.99 c | 143932 | 2011 62361 201975 | 25152 13872 84 | 0.691 % | 112.95/113.04 c =============================================================================== 112.95/113.04 c New solution: -133 112.95/113.04 o -133 112.95/113.04 c Elapsed CPU time: 112.32 s Remaining CPU time: 67.6801 s 112.95/113.04 c =============================================================================== 112.95/113.04 c | 144035 | 2011 62362 202110 | 20787 13975 84 | 0.691 % | 112.95/113.07 c =============================================================================== 112.95/113.07 c New solution: -134 112.95/113.07 o -134 112.95/113.07 c Elapsed CPU time: 112.35 s Remaining CPU time: 67.6501 s 112.95/113.07 c =============================================================================== 112.95/113.07 c | 144082 | 2011 62363 202245 | 20787 14022 84 | 0.691 % | 113.05/113.13 c | 144182 | 2011 62363 202245 | 22866 14122 84 | 0.691 % | 113.05/113.19 c | 144333 | 2011 62363 202245 | 25153 14273 84 | 0.691 % | 113.26/113.32 c | 144560 | 2011 62363 202245 | 27668 14500 84 | 0.692 % | 113.45/113.50 c | 144901 | 2011 62363 202245 | 30435 14841 84 | 0.691 % | 113.65/113.79 c | 145407 | 2011 62363 202245 | 33478 15347 84 | 0.691 % | 114.05/114.18 c | 146169 | 2011 62363 202245 | 36826 16109 84 | 0.691 % | 114.66/114.79 c | 147311 | 2011 62363 202245 | 40509 17251 84 | 0.691 % | 115.66/115.71 c | 149019 | 2011 62363 202245 | 44560 18959 84 | 0.691 % | 117.15/117.26 c | 151584 | 2011 62363 202245 | 49016 21524 84 | 0.691 % | 118.95/119.09 c =============================================================================== 118.95/119.09 c New solution: -135 118.95/119.09 o -135 118.95/119.09 c Elapsed CPU time: 118.342 s Remaining CPU time: 61.658 s 118.95/119.09 c =============================================================================== 118.95/119.09 c | 154858 | 2011 62364 202380 | 20788 24798 84 | 0.691 % | 119.25/119.37 c | 154959 | 2011 62364 202380 | 22866 11193 82 | 0.691 % | 119.35/119.46 c | 155111 | 2011 62364 202380 | 25153 11345 82 | 0.691 % | 119.45/119.55 c | 155338 | 2011 62364 202380 | 27668 11572 82 | 0.691 % | 119.55/119.62 c =============================================================================== 119.55/119.62 c New solution: -136 119.55/119.62 o -136 119.55/119.62 c Elapsed CPU time: 118.858 s Remaining CPU time: 61.1421 s 119.55/119.62 c =============================================================================== 119.55/119.62 c | 155500 | 2011 62365 202515 | 20788 11734 82 | 0.691 % | 119.55/119.63 c =============================================================================== 119.55/119.63 c New solution: -137 119.55/119.63 o -137 119.55/119.63 c Elapsed CPU time: 118.872 s Remaining CPU time: 61.1281 s 119.55/119.63 c =============================================================================== 119.55/119.63 c | 155500 | 2011 62366 202650 | 20788 11734 82 | 0.691 % | 119.55/119.65 c =============================================================================== 119.55/119.65 c New solution: -138 119.55/119.65 o -138 119.55/119.65 c Elapsed CPU time: 118.889 s Remaining CPU time: 61.1111 s 119.55/119.65 c =============================================================================== 119.55/119.65 c | 155512 | 2011 62367 202785 | 20789 11746 82 | 0.691 % | 119.65/119.71 c | 155613 | 2011 62367 202785 | 22867 11847 82 | 0.691 % | 119.65/119.78 c | 155763 | 2011 62367 202785 | 25154 11997 82 | 0.691 % | 119.75/119.89 c | 155988 | 2011 62367 202785 | 27670 12222 82 | 0.691 % | 119.95/120.05 c | 156327 | 2011 62367 202785 | 30437 12561 82 | 0.691 % | 120.15/120.29 c | 156836 | 2011 62367 202785 | 33480 13070 82 | 0.691 % | 120.55/120.64 c | 157596 | 2011 62367 202785 | 36828 13830 82 | 0.691 % | 120.95/121.07 c | 158735 | 2011 62367 202785 | 40511 14969 82 | 0.691 % | 121.05/121.15 c =============================================================================== 121.05/121.15 c New solution: -139 121.05/121.15 o -139 121.05/121.15 c Elapsed CPU time: 120.366 s Remaining CPU time: 59.6343 s 121.05/121.15 c =============================================================================== 121.05/121.15 c | 158913 | 2011 62368 202920 | 20789 15147 82 | 0.691 % | 121.05/121.18 c =============================================================================== 121.05/121.18 c New solution: -140 121.05/121.18 o -140 121.05/121.18 c Elapsed CPU time: 120.399 s Remaining CPU time: 59.6013 s 121.05/121.18 c =============================================================================== 121.05/121.18 c | 158948 | 2011 62369 203055 | 20789 15182 82 | 0.691 % | 121.15/121.22 c | 159051 | 2011 62369 203055 | 22868 15285 82 | 0.691 % | 121.15/121.29 c | 159201 | 2011 62369 203055 | 25155 15435 82 | 0.691 % | 121.35/121.40 c | 159426 | 2011 62369 203055 | 27671 15660 82 | 0.692 % | 121.45/121.59 c | 159764 | 2011 62369 203055 | 30438 15998 82 | 0.691 % | 121.65/121.76 c =============================================================================== 121.65/121.76 c New solution: -142 121.65/121.76 o -142 121.65/121.76 c Elapsed CPU time: 120.977 s Remaining CPU time: 59.0234 s 121.65/121.76 c =============================================================================== 121.65/121.76 c | 160020 | 2011 62370 203190 | 20790 16254 82 | 0.691 % | 121.65/121.78 c =============================================================================== 121.65/121.78 c New solution: -143 121.65/121.78 o -143 121.65/121.78 c Elapsed CPU time: 120.995 s Remaining CPU time: 59.0054 s 121.65/121.78 c =============================================================================== 121.65/121.78 c | 160022 | 2011 62371 203325 | 20790 16256 82 | 0.691 % | 121.75/121.84 c | 160124 | 2011 62371 203325 | 22869 16358 82 | 0.691 % | 121.85/121.95 c | 160274 | 2011 62371 203325 | 25156 16508 82 | 0.691 % | 121.95/122.09 c | 160499 | 2011 62371 203325 | 27671 16733 82 | 0.691 % | 122.14/122.28 c | 160838 | 2011 62371 203325 | 30439 17072 82 | 0.691 % | 122.45/122.57 c | 161344 | 2011 62371 203325 | 33483 17578 82 | 0.691 % | 122.95/123.10 c | 162104 | 2011 62371 203325 | 36831 18338 82 | 0.691 % | 123.65/123.79 c | 163243 | 2011 62371 203325 | 40514 19477 82 | 0.691 % | 124.75/124.88 c | 164951 | 2011 62371 203325 | 44565 21185 82 | 0.691 % | 126.64/126.79 c | 167514 | 2011 62371 203325 | 49022 23748 82 | 0.691 % | 129.95/130.03 c | 171360 | 2011 62371 203325 | 53924 27594 82 | 0.691 % | 132.84/132.92 c =============================================================================== 132.84/132.92 c New solution: -144 132.84/132.92 o -144 132.84/132.92 c Elapsed CPU time: 132.072 s Remaining CPU time: 47.9281 s 132.84/132.92 c =============================================================================== 132.84/132.92 c | 174154 | 2011 62372 203460 | 20790 30388 82 | 0.691 % | 132.95/133.08 c =============================================================================== 132.95/133.08 c New solution: -145 132.95/133.08 o -145 132.95/133.08 c Elapsed CPU time: 132.234 s Remaining CPU time: 47.7661 s 132.95/133.08 c =============================================================================== 132.95/133.08 c | 174154 | 2011 62373 203595 | 20791 11291 80 | 0.691 % | 133.05/133.13 c | 174254 | 2011 62373 203595 | 22870 11391 80 | 0.691 % | 133.15/133.22 c | 174404 | 2011 62373 203595 | 25157 11541 80 | 0.692 % | 133.25/133.36 c | 174630 | 2011 62373 203595 | 27672 11767 80 | 0.691 % | 133.35/133.49 c | 174970 | 2011 62373 203595 | 30440 12107 80 | 0.691 % | 133.65/133.71 c | 175476 | 2011 62373 203595 | 33484 12613 80 | 0.691 % | 133.95/134.01 c | 176237 | 2011 62373 203595 | 36832 13374 80 | 0.692 % | 134.54/134.65 c | 177376 | 2011 62373 203595 | 40515 14513 80 | 0.691 % | 135.64/135.77 c | 179084 | 2011 62373 203595 | 44567 16221 80 | 0.691 % | 137.54/137.60 c | 181647 | 2011 62373 203595 | 49024 18784 80 | 0.691 % | 140.14/140.21 c | 185493 | 2011 62373 203595 | 53926 22630 80 | 0.691 % | 144.44/144.54 c | 191261 | 2011 62373 203595 | 59319 28398 80 | 0.691 % | 154.95/155.07 c | 199910 | 2011 62373 203595 | 65251 37047 80 | 0.691 % | 175.84/175.92 c | 212886 | 2011 62373 203595 | 71776 50023 80 | 0.691 % | 180.94/181.03 c There are 14 assigned variables. 14 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: 8 Core Weight: 1 Total Weight: -315 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: 9 Core Weight: 1 Total Weight: -314 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: 9 Core Weight: 2 Total Weight: -312 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: 7 Core Weight: 1 Total Weight: -311 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: 13 Core Weight: 1 Total Weight: -310 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: 13 Core Weight: 1 Total Weight: -309 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: 13 Core Weight: 2 Total Weight: -307 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: 14 Core Weight: 1 Total Weight: -306 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: 15 Core Weight: 1 Total Weight: -305 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: 15 Core Weight: 1 Total Weight: -304 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: 13 Core Weight: 1 Total Weight: -303 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: 13 Core Weight: 1 Total Weight: -302 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: 13 Core Weight: 1 Total Weight: -301 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: 2 Total Weight: -299 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: 1 Total Weight: -298 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: 10 Core Weight: 1 Total Weight: -297 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: 11 Core Weight: 1 Total Weight: -296 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: 8 Core Weight: 1 Total Weight: -295 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: 9 Core Weight: 2 Total Weight: -293 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: 9 Core Weight: 1 Total Weight: -292 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: 3 Core Weight: 3 Total Weight: -289 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: 5 Core Weight: 1 Total Weight: -288 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: 17 Core Weight: 1 Total Weight: -287 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: 18 Core Weight: 1 Total Weight: -286 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: 20 Core Weight: 1 Total Weight: -285 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: 21 Core Weight: 1 Total Weight: -284 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: 22 Core Weight: 1 Total Weight: -283 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: 22 Core Weight: 1 Total Weight: -282 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: 19 Core Weight: 1 Total Weight: -281 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: 19 Core Weight: 1 Total Weight: -280 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: 20 Core Weight: 1 Total Weight: -279 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: 14 Core Weight: 1 Total Weight: -278 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: 10 Core Weight: 1 Total Weight: -277 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: 20 Core Weight: 1 Total Weight: -276 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: 21 Core Weight: 1 Total Weight: -275 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: 26 Core Weight: 1 Total Weight: -274 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: 9 Core Weight: 3 Total Weight: -271 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: 6 Core Weight: 1 Total Weight: -270 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: 7 Core Weight: 1 Total Weight: -269 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: 8 Core Weight: 1 Total Weight: -268 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: -266 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: 8 Core Weight: 1 Total Weight: -265 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: 10 Core Weight: 2 Total Weight: -263 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: 10 Core Weight: 1 Total Weight: -262 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #45 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 9 Core Weight: 1 Total Weight: -261 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #46 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 10 Core Weight: 2 Total Weight: -259 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #47 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 11 Core Weight: 1 Total Weight: -258 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #48 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 #49 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 11 Core Weight: 1 Total Weight: -256 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #50 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 9 Core Weight: 1 Total Weight: -255 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #51 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 11 Core Weight: 1 Total Weight: -254 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #52 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 12 Core Weight: 2 Total Weight: -252 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #53 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 12 Core Weight: 1 Total Weight: -251 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #54 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 9 Core Weight: 1 Total Weight: -250 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #55 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 8 Core Weight: 2 Total Weight: -248 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #56 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 18 Core Weight: 1 Total Weight: -247 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #57 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 17 Core Weight: 1 Total Weight: -246 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #58 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c Core size: 15 Core Weight: 1 Total Weight: -245 186.94/187.02 c 186.94/187.02 c 186.94/187.02 c core #59 187.73/187.84 c 187.73/187.84 c 187.73/187.84 c Core size: 20 Core Weight: 1 Total Weight: -244 187.73/187.84 c 187.73/187.84 c 187.73/187.84 c core #60 187.73/187.84 c 187.73/187.84 c 187.73/187.84 c Core size: 11 Core Weight: 1 Total Weight: -243 187.73/187.84 c 187.73/187.84 c 187.73/187.84 c core #61 187.73/187.84 c 187.73/187.84 c 187.73/187.84 c Core size: 11 Core Weight: 1 Total Weight: -242 187.73/187.84 c 187.73/187.84 c 187.73/187.84 c core #62 187.73/187.84 c 187.73/187.84 c 187.73/187.84 c Core size: 11 Core Weight: 1 Total Weight: -241 187.73/187.84 c 187.73/187.84 c 187.73/187.84 c core #63 187.73/187.84 c 187.73/187.84 c 187.73/187.84 c Core size: 10 Core Weight: 1 Total Weight: -240 187.73/187.84 c 187.73/187.84 c 187.73/187.84 c core #64 187.73/187.84 c 187.73/187.84 c 187.73/187.84 c Core size: 10 Core Weight: 1 Total Weight: -239 187.73/187.84 c 187.73/187.84 c 187.73/187.84 c core #65 187.73/187.84 c 187.73/187.84 c 187.73/187.84 c Core size: 8 Core Weight: 1 Total Weight: -238 187.73/187.84 c 187.73/187.84 c 187.73/187.84 c ============================[ Search Statistics ]============================== 187.73/187.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.73/187.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.73/187.84 c =============================================================================== 187.73/187.84 c | 0 | 2270 62901 198446 | 20967 0 nan | 0.000 % | 187.73/187.85 c =============================================================================== 187.83/187.96 c core #66 187.83/187.96 c 187.83/187.96 c 187.83/187.96 c Core size: 12 Core Weight: 1 Total Weight: -237 187.83/187.96 c 187.83/187.96 c 187.83/187.96 c ============================[ Search Statistics ]============================== 187.83/187.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.83/187.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.83/187.96 c =============================================================================== 187.83/187.96 c | 0 | 2278 62902 198462 | 20967 0 nan | 0.000 % | 187.83/187.96 c =============================================================================== 187.94/188.08 c core #67 187.94/188.08 c 187.94/188.08 c 187.94/188.08 c Core size: 16 Core Weight: 1 Total Weight: -236 187.94/188.08 c 187.94/188.08 c 187.94/188.08 c ============================[ Search Statistics ]============================== 187.94/188.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.94/188.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.94/188.08 c =============================================================================== 187.94/188.08 c | 0 | 2288 62903 198631 | 20967 0 nan | 0.000 % | 187.94/188.09 c =============================================================================== 188.13/188.21 c core #68 188.13/188.21 c 188.13/188.21 c 188.13/188.21 c Core size: 20 Core Weight: 1 Total Weight: -235 188.13/188.21 c 188.13/188.21 c 188.13/188.21 c ============================[ Search Statistics ]============================== 188.13/188.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.13/188.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.13/188.21 c =============================================================================== 188.13/188.21 c | 0 | 2314 62905 200077 | 20968 0 nan | 0.000 % | 188.13/188.21 c =============================================================================== 188.23/188.33 c core #69 188.23/188.33 c 188.23/188.33 c 188.23/188.33 c Core size: 16 Core Weight: 1 Total Weight: -234 188.23/188.33 c 188.23/188.33 c 188.23/188.33 c ============================[ Search Statistics ]============================== 188.23/188.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.23/188.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.23/188.33 c =============================================================================== 188.23/188.33 c | 0 | 2322 62910 200098 | 20970 0 nan | 0.000 % | 188.23/188.33 c =============================================================================== 188.33/188.45 c core #70 188.33/188.45 c 188.33/188.45 c 188.33/188.45 c Core size: 25 Core Weight: 1 Total Weight: -233 188.33/188.45 c 188.33/188.45 c 188.33/188.45 c ============================[ Search Statistics ]============================== 188.33/188.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.33/188.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.33/188.45 c =============================================================================== 188.33/188.45 c | 0 | 2334 62914 200125 | 20971 0 nan | 0.000 % | 188.33/188.46 c =============================================================================== 188.43/188.57 c core #71 188.43/188.57 c 188.43/188.57 c 188.43/188.57 c Core size: 13 Core Weight: 1 Total Weight: -232 188.43/188.57 c 188.43/188.57 c 188.43/188.57 c ============================[ Search Statistics ]============================== 188.43/188.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.43/188.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.43/188.57 c =============================================================================== 188.43/188.57 c | 0 | 2341 62917 200143 | 20972 0 nan | 0.000 % | 188.43/188.58 c =============================================================================== 188.63/188.70 c core #72 188.63/188.70 c 188.63/188.70 c 188.63/188.70 c Core size: 17 Core Weight: 1 Total Weight: -231 188.63/188.70 c 188.63/188.70 c 188.63/188.70 c ============================[ Search Statistics ]============================== 188.63/188.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.63/188.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.63/188.70 c =============================================================================== 188.63/188.70 c | 0 | 2350 62919 200163 | 20973 0 nan | 0.000 % | 188.63/188.71 c =============================================================================== 188.73/188.82 c core #73 188.73/188.82 c 188.73/188.82 c 188.73/188.82 c Core size: 19 Core Weight: 1 Total Weight: -230 188.73/188.82 c 188.73/188.82 c 188.73/188.82 c ============================[ Search Statistics ]============================== 188.73/188.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.73/188.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.73/188.82 c =============================================================================== 188.73/188.82 c | 0 | 2363 62923 200192 | 20974 0 nan | 0.000 % | 188.73/188.83 c =============================================================================== 188.83/188.95 c core #74 188.83/188.95 c 188.83/188.95 c 188.83/188.95 c Core size: 7 Core Weight: 1 Total Weight: -229 188.83/188.95 c 188.83/188.95 c 188.83/188.95 c ============================[ Search Statistics ]============================== 188.83/188.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.83/188.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.83/188.95 c =============================================================================== 188.83/188.95 c | 0 | 2368 62927 200208 | 20975 0 nan | 0.000 % | 188.83/188.96 c =============================================================================== 188.93/189.07 c core #75 188.93/189.07 c 188.93/189.07 c 188.93/189.07 c Core size: 11 Core Weight: 1 Total Weight: -228 188.93/189.07 c 188.93/189.07 c 188.93/189.07 c ============================[ Search Statistics ]============================== 188.93/189.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.93/189.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.93/189.07 c =============================================================================== 188.93/189.07 c | 0 | 2386 62929 201999 | 20976 0 nan | 0.000 % | 188.93/189.09 c =============================================================================== 189.14/189.21 c core #76 189.14/189.21 c 189.14/189.21 c 189.14/189.21 c Core size: 25 Core Weight: 1 Total Weight: -227 189.14/189.21 c 189.14/189.21 c 189.14/189.21 c ============================[ Search Statistics ]============================== 189.14/189.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.14/189.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.14/189.21 c =============================================================================== 189.14/189.21 c | 0 | 2402 62930 202031 | 20976 0 nan | 0.000 % | 189.14/189.23 c =============================================================================== 189.23/189.34 c core #77 189.23/189.34 c 189.23/189.34 c 189.23/189.34 c Core size: 19 Core Weight: 1 Total Weight: -226 189.23/189.34 c 189.23/189.34 c 189.23/189.34 c ============================[ Search Statistics ]============================== 189.23/189.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.23/189.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.23/189.34 c =============================================================================== 189.23/189.34 c | 0 | 2412 62933 202055 | 20977 0 nan | 0.000 % | 189.23/189.35 c =============================================================================== 189.33/189.47 c core #78 189.33/189.47 c 189.33/189.47 c 189.33/189.47 c Core size: 15 Core Weight: 1 Total Weight: -225 189.33/189.47 c 189.33/189.47 c 189.33/189.47 c ============================[ Search Statistics ]============================== 189.33/189.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.33/189.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.33/189.47 c =============================================================================== 189.33/189.47 c | 0 | 2419 62937 202072 | 20979 0 nan | 0.000 % | 189.33/189.49 c =============================================================================== 189.53/189.60 c core #79 189.53/189.60 c 189.53/189.60 c 189.53/189.60 c Core size: 35 Core Weight: 1 Total Weight: -224 189.53/189.60 c 189.53/189.60 c 189.53/189.60 c ============================[ Search Statistics ]============================== 189.53/189.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.53/189.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.53/189.60 c =============================================================================== 189.53/189.60 c | 0 | 2440 62939 202116 | 20979 0 nan | 0.000 % | 189.53/189.63 c =============================================================================== 189.63/189.74 c core #80 189.63/189.74 c 189.63/189.74 c 189.63/189.74 c Core size: 16 Core Weight: 1 Total Weight: -223 189.63/189.74 c 189.63/189.74 c 189.63/189.74 c ============================[ Search Statistics ]============================== 189.63/189.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.63/189.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.63/189.74 c =============================================================================== 189.63/189.74 c | 0 | 2448 62944 202137 | 20981 0 nan | 0.000 % | 189.63/189.77 c =============================================================================== 189.73/189.88 c core #81 189.73/189.88 c 189.73/189.88 c 189.73/189.88 c Core size: 43 Core Weight: 1 Total Weight: -222 189.73/189.88 c 189.73/189.88 c 189.73/189.88 c ============================[ Search Statistics ]============================== 189.73/189.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.73/189.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.73/189.88 c =============================================================================== 189.73/189.88 c | 0 | 2483 62948 202946 | 20982 0 nan | 0.000 % | 189.83/189.90 c =============================================================================== 189.93/190.02 c core #82 189.93/190.02 c 189.93/190.02 c 189.93/190.02 c Core size: 17 Core Weight: 1 Total Weight: -221 189.93/190.02 c 189.93/190.02 c 189.93/190.02 c ============================[ Search Statistics ]============================== 189.93/190.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.93/190.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.93/190.02 c =============================================================================== 189.93/190.02 c | 0 | 2492 62949 202964 | 20983 0 nan | 0.000 % | 189.93/190.05 c =============================================================================== 190.03/190.16 c core #83 190.03/190.16 c 190.03/190.16 c 190.03/190.16 c Core size: 32 Core Weight: 1 Total Weight: -220 190.03/190.16 c 190.03/190.16 c 190.03/190.16 c ============================[ Search Statistics ]============================== 190.03/190.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.03/190.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.03/190.16 c =============================================================================== 190.03/190.16 c | 0 | 2520 62951 203022 | 20983 0 nan | 0.000 % | 190.03/190.18 c =============================================================================== 190.24/190.30 c core #84 190.24/190.30 c 190.24/190.30 c 190.24/190.30 c Core size: 16 Core Weight: 1 Total Weight: -219 190.24/190.30 c 190.24/190.30 c 190.24/190.30 c ============================[ Search Statistics ]============================== 190.24/190.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.24/190.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.24/190.30 c =============================================================================== 190.24/190.30 c | 0 | 2530 62952 203042 | 20984 0 nan | 0.000 % | 190.24/190.34 c =============================================================================== 190.33/190.45 c core #85 190.33/190.45 c 190.33/190.45 c 190.33/190.45 c Core size: 40 Core Weight: 1 Total Weight: -218 190.33/190.45 c 190.33/190.45 c 190.33/190.45 c ============================[ Search Statistics ]============================== 190.33/190.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.33/190.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.33/190.45 c =============================================================================== 190.33/190.45 c | 0 | 2559 62954 203103 | 20984 0 nan | 0.000 % | 190.33/190.47 c =============================================================================== 190.43/190.59 c core #86 190.43/190.59 c 190.43/190.59 c 190.43/190.59 c Core size: 39 Core Weight: 1 Total Weight: -217 190.43/190.59 c 190.43/190.59 c 190.43/190.59 c ============================[ Search Statistics ]============================== 190.43/190.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.43/190.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.43/190.59 c =============================================================================== 190.43/190.59 c | 0 | 2581 62956 203149 | 20985 0 nan | 0.000 % | 190.53/190.61 c =============================================================================== 190.63/190.72 c core #87 190.63/190.72 c 190.63/190.72 c 190.63/190.72 c Core size: 33 Core Weight: 1 Total Weight: -216 190.63/190.72 c 190.63/190.72 c 190.63/190.72 c ============================[ Search Statistics ]============================== 190.63/190.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.63/190.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.63/190.72 c =============================================================================== 190.63/190.72 c | 0 | 2600 62957 203187 | 20985 0 nan | 0.000 % | 190.63/190.75 c =============================================================================== 190.73/190.87 c core #88 190.73/190.87 c 190.73/190.87 c 190.73/190.87 c Core size: 81 Core Weight: 1 Total Weight: -215 190.73/190.87 c 190.73/190.87 c 190.73/190.87 c ============================[ Search Statistics ]============================== 190.73/190.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.73/190.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.73/190.87 c =============================================================================== 190.73/190.87 c | 0 | 2653 62959 203295 | 20986 0 nan | 0.000 % | 190.83/190.93 c | 103 | 2653 62959 203295 | 23084 103 8 | 0.562 % | 190.83/190.96 c =============================================================================== 190.93/191.07 c core #89 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 158 Core Weight: 1 Total Weight: -214 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c ============================[ Search Statistics ]============================== 190.93/191.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.93/191.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.93/191.07 c =============================================================================== 190.93/191.07 c | 0 | 2798 62967 203600 | 20989 0 nan | 0.000 % | 191.03/191.11 c | 100 | 2795 62967 203600 | 23087 100 9 | 0.640 % | 191.03/191.14 c | 251 | 2793 62967 203600 | 25396 251 10 | 0.782 % | 191.03/191.16 c =============================================================================== 191.13/191.28 c core #90 191.13/191.28 c 191.13/191.28 c 191.13/191.28 c Core size: 99 Core Weight: 1 Total Weight: -213 191.13/191.28 c 191.13/191.28 c 191.13/191.28 c ============================[ Search Statistics ]============================== 191.13/191.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.13/191.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.13/191.28 c =============================================================================== 191.13/191.28 c | 0 | 2884 62974 203786 | 20991 0 nan | 0.000 % | 191.24/191.32 c | 101 | 2883 62974 203786 | 23090 101 19 | 0.586 % | 191.24/191.35 c | 251 | 2883 62974 203786 | 25399 251 16 | 0.586 % | 191.24/191.39 c | 476 | 2882 62974 203786 | 27939 476 16 | 0.586 % | 191.34/191.45 c | 813 | 2882 62974 203786 | 30733 813 18 | 0.586 % | 191.43/191.57 c | 1319 | 2882 62974 203786 | 33806 1319 19 | 0.586 % | 191.53/191.62 c =============================================================================== 191.63/191.74 c core #91 191.63/191.74 c 191.63/191.74 c 191.63/191.74 c Core size: 167 Core Weight: 1 Total Weight: -212 191.63/191.74 c 191.63/191.74 c 191.63/191.74 c ============================[ Search Statistics ]============================== 191.63/191.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.63/191.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.63/191.74 c =============================================================================== 191.63/191.74 c | 0 | 3037 62984 204249 | 20994 0 nan | 0.000 % | 191.73/191.80 c | 100 | 3037 62984 204249 | 23094 100 33 | 0.459 % | 191.73/191.83 c | 250 | 3037 62984 204249 | 25403 250 23 | 0.524 % | 191.73/191.89 c | 475 | 3036 62984 204249 | 27943 475 20 | 0.524 % | 191.93/192.02 c | 814 | 3035 62984 204249 | 30738 814 18 | 0.524 % | 192.13/192.28 c | 1320 | 3029 62984 204249 | 33812 596 15 | 0.721 % | 192.22/192.31 c =============================================================================== 192.33/192.43 c core #92 192.33/192.43 c 192.33/192.43 c 192.33/192.43 c Core size: 207 Core Weight: 1 Total Weight: -211 192.33/192.43 c 192.33/192.43 c 192.33/192.43 c ============================[ Search Statistics ]============================== 192.33/192.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.33/192.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.33/192.43 c =============================================================================== 192.33/192.43 c | 0 | 3219 63004 204667 | 21001 0 nan | 0.000 % | 192.33/192.48 c | 103 | 3219 63004 204667 | 23101 103 24 | 0.433 % | 192.44/192.52 c | 254 | 3219 63004 204667 | 25411 254 21 | 0.433 % | 192.44/192.59 c | 480 | 3219 63004 204667 | 27952 480 22 | 0.433 % | 192.53/192.69 c | 817 | 3219 63004 204667 | 30748 817 21 | 0.433 % | 192.73/192.82 c | 1324 | 3219 63004 204667 | 33822 1324 21 | 0.433 % | 192.93/193.02 c | 2084 | 3219 63004 204667 | 37205 2084 22 | 0.433 % | 193.33/193.43 c | 3224 | 3219 63004 204667 | 40925 3224 29 | 0.433 % | 193.83/193.94 c | 4932 | 3219 63004 204667 | 45018 4932 33 | 0.433 % | 194.64/194.74 c | 7495 | 3219 63004 204667 | 49520 7495 38 | 0.433 % | 195.93/196.03 c | 11341 | 3219 63004 204667 | 54472 11341 39 | 0.433 % | 198.43/198.56 c | 17109 | 3219 63004 204667 | 59919 17109 41 | 0.433 % | 203.73/203.87 c | 25758 | 3219 63004 204667 | 65911 25758 43 | 0.433 % | 214.02/214.15 c | 38732 | 3219 63004 204667 | 72502 38732 43 | 0.433 % | 235.92/236.01 c | 58193 | 3219 63004 204667 | 79752 58193 47 | 0.433 % | 281.71/281.87 c | 87385 | 3219 63004 204667 | 87727 19855 52 | 0.433 % | 334.08/334.26 c | 131175 | 3219 63004 204667 | 96500 63645 52 | 0.433 % | 415.16/415.39 c | 196859 | 3219 63004 204667 | 106150 45324 55 | 0.433 % | 609.50/609.74 c | 295390 | 3219 63004 204667 | 116765 50755 55 | 0.433 % | 793.44/793.78 c | 443179 | 3217 63004 204667 | 128442 34523 48 | 0.495 % | 835.13/835.49 c =============================================================================== 837.73/838.01 c core #93 837.73/838.01 c 837.73/838.01 c 837.73/838.01 c Core size: 322 Core Weight: 1 Total Weight: -210 837.73/838.01 c 837.73/838.01 c 837.73/838.01 c ============================[ Search Statistics ]============================== 837.73/838.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 837.73/838.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 837.73/838.01 c =============================================================================== 837.73/838.01 c | 0 | 3476 63177 205685 | 21059 0 nan | 0.000 % | 837.84/838.14 c | 102 | 3476 63177 205685 | 23164 102 41 | 0.401 % | 837.84/838.18 c | 253 | 3476 63177 205685 | 25481 253 30 | 0.401 % | 837.94/838.22 c | 478 | 3476 63177 205685 | 28029 478 29 | 0.401 % | 837.94/838.25 c | 818 | 3476 63177 205685 | 30832 818 28 | 0.401 % | 838.03/838.35 c | 1327 | 3476 63177 205685 | 33915 1327 28 | 0.401 % | 838.23/838.53 c | 2087 | 3476 63177 205685 | 37307 2087 28 | 0.401 % | 838.53/838.86 c | 3227 | 3476 63177 205685 | 41038 3227 30 | 0.401 % | 839.04/839.34 c | 4935 | 3476 63177 205685 | 45141 4935 35 | 0.401 % | 839.63/839.91 c | 7497 | 3476 63177 205685 | 49656 7497 41 | 0.401 % | 840.73/841.10 c | 11343 | 3476 63177 205685 | 54621 11343 40 | 0.401 % | 842.63/842.91 c | 17109 | 3476 63177 205685 | 60083 17109 40 | 0.401 % | 845.53/845.87 c | 25758 | 3476 63177 205685 | 66092 25758 43 | 0.401 % | 853.53/853.81 c | 38734 | 3476 63177 205685 | 72701 38734 47 | 0.401 % | 872.62/872.95 c | 58196 | 3476 63177 205685 | 79971 58196 48 | 0.401 % | 906.91/907.23 c | 87390 | 3476 63177 205685 | 87968 19368 54 | 0.401 % | 946.09/946.45 c | 131179 | 3476 63177 205685 | 96765 63157 50 | 0.401 % | 1027.18/1027.56 c | 196864 | 3476 63177 205685 | 106442 44302 45 | 0.401 % | 1122.45/1122.84 c | 295391 | 3476 63177 205685 | 117086 50585 47 | 0.401 % | 1370.26/1370.78 c | 443181 | 3476 63177 205685 | 128794 94124 57 | 0.401 % | 1625.19/1625.72 c | 664865 | 3476 63177 205685 | 141674 83608 49 | 0.401 % |
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-2680378-1277460356/watcher-2680378-1277460356 -o /tmp/evaluation-result-2680378-1277460356/solver-2680378-1277460356 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680378-1277460356.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.98 1.05 1.00 2/105 28431 /proc/meminfo: memFree=1850208/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=4888 CPUtime=0 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 87329314 5005312 283 1992294400 134512640 135752675 4291958640 18446744073709551615 134564867 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 1222 283 139 303 0 409 0 [startup+0.0544869 s] /proc/loadavg: 0.98 1.05 1.00 2/105 28431 /proc/meminfo: memFree=1850208/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=5348 CPUtime=0.05 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 557 0 0 0 5 0 0 0 25 0 1 0 87329314 5476352 476 1992294400 134512640 135752675 4291958640 18446744073709551615 134561687 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 1337 476 218 303 0 524 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 5348 [startup+0.101492 s] /proc/loadavg: 0.98 1.05 1.00 2/105 28431 /proc/meminfo: memFree=1850208/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=5964 CPUtime=0.1 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 768 0 0 0 10 0 0 0 25 0 1 0 87329314 6107136 687 1992294400 134512640 135752675 4291958640 18446744073709551615 135211666 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 1491 687 297 303 0 678 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 5964 [startup+0.301515 s] /proc/loadavg: 0.98 1.05 1.00 2/105 28431 /proc/meminfo: memFree=1850208/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=8308 CPUtime=0.29 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 1660 0 0 0 29 0 0 0 25 0 1 0 87329314 8507392 1579 1992294400 134512640 135752675 4291958640 18446744073709551615 135221531 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 2077 1579 632 303 0 1264 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8308 [startup+0.701559 s] /proc/loadavg: 0.98 1.05 1.00 2/105 28431 /proc/meminfo: memFree=1850208/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=7276 CPUtime=0.7 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 1975 0 0 0 65 5 0 0 18 0 1 0 87329314 7450624 1353 1992294400 134512640 135752675 4291958640 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 1819 1353 144 303 0 1514 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 7276 [startup+1.50165 s] /proc/loadavg: 0.98 1.05 1.00 2/106 28432 /proc/meminfo: memFree=1844992/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=8464 CPUtime=1.5 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 2255 0 0 0 141 9 0 0 18 0 1 0 87329314 8667136 1633 1992294400 134512640 135752675 4291958640 18446744073709551615 134611626 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 2116 1633 145 303 0 1811 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 8464 [startup+3.10083 s] /proc/loadavg: 0.98 1.05 1.00 2/106 28432 /proc/meminfo: memFree=1842512/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=11512 CPUtime=3.09 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 3035 0 0 0 298 11 0 0 18 0 1 0 87329314 11788288 2413 1992294400 134512640 135752675 4291958640 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 2878 2413 145 303 0 2573 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11512 [startup+6.30118 s] /proc/loadavg: 0.98 1.05 1.00 2/106 28432 /proc/meminfo: memFree=1837180/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=16176 CPUtime=6.29 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 4169 0 0 0 614 15 0 0 19 0 1 0 87329314 16564224 3547 1992294400 134512640 135752675 4291958640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 4044 3547 145 303 0 3739 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16176 [startup+12.7009 s] /proc/loadavg: 0.98 1.04 1.00 2/106 28432 /proc/meminfo: memFree=1829988/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=22944 CPUtime=12.69 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 5874 0 0 0 1247 22 0 0 25 0 1 0 87329314 23494656 5252 1992294400 134512640 135752675 4291958640 18446744073709551615 134611615 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 5736 5252 145 303 0 5431 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22944 [startup+25.5013 s] /proc/loadavg: 0.98 1.04 1.00 2/106 28434 /proc/meminfo: memFree=1819820/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=32736 CPUtime=25.48 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 8298 0 0 0 2519 29 0 0 25 0 1 0 87329314 33521664 7676 1992294400 134512640 135752675 4291958640 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 8184 7676 145 303 0 7879 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32736 [startup+51.1011 s] /proc/loadavg: 1.06 1.05 1.00 2/106 28434 /proc/meminfo: memFree=1806428/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=46196 CPUtime=51.08 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 11649 0 0 0 5066 42 0 0 25 0 1 0 87329314 47304704 11027 1992294400 134512640 135752675 4291958640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 11549 11027 145 303 0 11244 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 46196 [startup+102.309 s] /proc/loadavg: 1.09 1.06 1.00 2/106 28436 /proc/meminfo: memFree=1781504/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=70752 CPUtime=102.26 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 17740 0 0 0 10163 63 0 0 25 0 1 0 87329314 72450048 17118 1992294400 134512640 135752675 4291958640 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 17688 17118 145 303 0 17383 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 70752 [startup+162.301 s] /proc/loadavg: 1.09 1.06 1.00 2/106 28436 /proc/meminfo: memFree=1752116/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=100292 CPUtime=162.24 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 25097 0 0 0 16133 91 0 0 25 0 1 0 87329314 102699008 24475 1992294400 134512640 135752675 4291958640 18446744073709551615 134518874 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 25073 24475 145 303 0 24768 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 100292 [startup+222.301 s] /proc/loadavg: 1.09 1.06 1.00 2/106 28438 /proc/meminfo: memFree=1744552/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=106548 CPUtime=222.22 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 27097 0 0 0 22110 112 0 0 25 0 1 0 87329314 109105152 26204 1992294400 134512640 135752675 4291958640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 26637 26204 146 303 0 26332 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 106548 [startup+282.302 s] /proc/loadavg: 1.08 1.06 1.00 2/106 28440 /proc/meminfo: memFree=1744552/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=107076 CPUtime=282.2 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 27241 0 0 0 28095 125 0 0 25 0 1 0 87329314 109645824 26348 1992294400 134512640 135752675 4291958640 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 26769 26348 146 303 0 26464 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 107076 [startup+342.301 s] /proc/loadavg: 1.08 1.06 1.00 2/106 28442 /proc/meminfo: memFree=1732028/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=119804 CPUtime=342.18 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 30322 0 0 0 34073 145 0 0 25 0 1 0 87329314 122679296 29429 1992294400 134512640 135752675 4291958640 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 29951 29429 146 303 0 29646 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 119804 [startup+402.301 s] /proc/loadavg: 1.07 1.06 1.00 2/106 28444 /proc/meminfo: memFree=1720248/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=131956 CPUtime=402.16 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 33308 0 0 0 40052 164 0 0 25 0 1 0 87329314 135122944 32415 1992294400 134512640 135752675 4291958640 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 32989 32415 146 303 0 32684 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 131956 [startup+462.302 s] /proc/loadavg: 1.07 1.06 1.00 2/106 28444 /proc/meminfo: memFree=1709212/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=142680 CPUtime=462.15 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 35992 0 0 0 46031 184 0 0 25 0 1 0 87329314 146104320 35099 1992294400 134512640 135752675 4291958640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 35670 35099 146 303 0 35365 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 142680 [startup+522.301 s] /proc/loadavg: 1.06 1.06 1.00 2/106 28446 /proc/meminfo: memFree=1702020/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=149920 CPUtime=522.12 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 37771 0 0 0 52018 194 0 0 25 0 1 0 87329314 153518080 36878 1992294400 134512640 135752675 4291958640 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 37480 36878 146 303 0 37175 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 149920 [startup+582.302 s] /proc/loadavg: 1.06 1.06 1.00 2/106 28448 /proc/meminfo: memFree=1692224/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=159740 CPUtime=582.11 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 40232 0 0 0 58001 210 0 0 25 0 1 0 87329314 163573760 39339 1992294400 134512640 135752675 4291958640 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 39935 39339 146 303 0 39630 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 159740 [startup+642.302 s] /proc/loadavg: 1.13 1.08 1.01 2/106 28450 /proc/meminfo: memFree=1678212/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=173704 CPUtime=642.1 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 43698 0 0 0 63979 231 0 0 25 0 1 0 87329314 177872896 42805 1992294400 134512640 135752675 4291958640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 43426 42805 146 303 0 43121 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 173704 [startup+702.301 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.14 1.09 1.01 2/106 28454 /proc/meminfo: memFree=1635804/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=215700 CPUtime=822.03 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 54203 0 0 0 81915 288 0 0 25 0 1 0 87329314 220876800 53310 1992294400 134512640 135752675 4291958640 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 53925 53310 146 303 0 53620 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 215700 [startup+882.301 s] /proc/loadavg: 1.14 1.10 1.01 2/106 28456 /proc/meminfo: memFree=1621172/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=229916 CPUtime=882.02 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 57950 0 0 0 87888 314 0 0 25 0 1 0 87329314 235433984 56942 1992294400 134512640 135752675 4291958640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 57479 56942 146 303 0 57174 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 229916 [startup+942.302 s] /proc/loadavg: 1.08 1.09 1.01 2/106 28458 /proc/meminfo: memFree=1612988/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=238076 CPUtime=942 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 60044 0 0 0 93864 336 0 0 25 0 1 0 87329314 243789824 59036 1992294400 134512640 135752675 4291958640 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 59519 59036 146 303 0 59214 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 238076 [startup+1002.3 s] /proc/loadavg: 1.03 1.07 1.01 2/106 28460 /proc/meminfo: memFree=1603564/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=247696 CPUtime=1001.98 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 62333 0 0 0 99850 348 0 0 25 0 1 0 87329314 253640704 61325 1992294400 134512640 135752675 4291958640 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 61924 61325 146 303 0 61619 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 247696 [startup+1062.3 s] /proc/loadavg: 1.01 1.06 1.00 2/106 28460 /proc/meminfo: memFree=1589304/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=262132 CPUtime=1061.96 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 65930 0 0 0 105821 375 0 0 25 0 1 0 87329314 268423168 64922 1992294400 134512640 135752675 4291958640 18446744073709551615 134612074 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 65533 64922 146 303 0 65228 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 262132 [startup+1122.3 s] /proc/loadavg: 1.00 1.04 1.00 2/106 28462 /proc/meminfo: memFree=1575292/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=276096 CPUtime=1121.95 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 69401 0 0 0 111799 396 0 0 25 0 1 0 87329314 282722304 68393 1992294400 134512640 135752675 4291958640 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 69024 68393 146 303 0 68719 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 276096 [startup+1182.3 s] /proc/loadavg: 1.00 1.03 1.00 2/106 28464 /proc/meminfo: memFree=1565000/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=286308 CPUtime=1181.92 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 71956 0 0 0 117775 417 0 0 25 0 1 0 87329314 293179392 70948 1992294400 134512640 135752675 4291958640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 71577 70948 146 303 0 71272 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 286308 [startup+1242.3 s] /proc/loadavg: 1.00 1.03 1.00 2/106 28466 /proc/meminfo: memFree=1554584/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=296660 CPUtime=1241.91 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 74518 0 0 0 123756 435 0 0 25 0 1 0 87329314 303779840 73510 1992294400 134512640 135752675 4291958640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 74165 73510 146 303 0 73860 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 296660 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.00 2/106 28468 /proc/meminfo: memFree=1545656/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=305516 CPUtime=1301.89 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 76724 0 0 0 129741 448 0 0 25 0 1 0 87329314 312848384 75716 1992294400 134512640 135752675 4291958640 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 76379 75716 146 303 0 76074 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 305516 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/106 28468 /proc/meminfo: memFree=1538464/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=312836 CPUtime=1361.86 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 78507 0 0 0 135725 461 0 0 25 0 1 0 87329314 320344064 77499 1992294400 134512640 135752675 4291958640 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 78209 77499 146 303 0 77904 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 312836 [startup+1422.31 s] /proc/loadavg: 1.00 1.01 1.00 2/106 28470 /proc/meminfo: memFree=1531768/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=319520 CPUtime=1421.85 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 80165 0 0 0 141711 474 0 0 25 0 1 0 87329314 327188480 79157 1992294400 134512640 135752675 4291958640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 79880 79157 146 303 0 79575 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 319520 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28472 /proc/meminfo: memFree=1513912/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=337580 CPUtime=1481.83 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 84671 0 0 0 147683 500 0 0 25 0 1 0 87329314 345681920 83663 1992294400 134512640 135752675 4291958640 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 84395 83663 146 303 0 84090 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 337580 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28474 /proc/meminfo: memFree=1501884/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=349516 CPUtime=1541.81 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 87636 0 0 0 153659 522 0 0 25 0 1 0 87329314 357904384 86628 1992294400 134512640 135752675 4291958640 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 87379 86628 146 303 0 87074 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 349516 [startup+1602.3 s] /proc/loadavg: 1.04 1.01 1.00 2/106 28479 /proc/meminfo: memFree=1484648/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=366280 CPUtime=1601.79 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 91820 0 0 0 159634 545 0 0 25 0 1 0 87329314 375070720 90812 1992294400 134512640 135752675 4291958640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 91570 90812 146 303 0 91265 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 366280 [startup+1662.3 s] /proc/loadavg: 1.01 1.01 1.00 2/106 28479 /proc/meminfo: memFree=1474604/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=376112 CPUtime=1661.77 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 94295 0 0 0 165616 561 0 0 25 0 1 0 87329314 385138688 93287 1992294400 134512640 135752675 4291958640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 94028 93287 146 303 0 93723 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 376112 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28481 /proc/meminfo: memFree=1468776/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=382092 CPUtime=1721.76 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 95761 0 0 0 171603 573 0 0 25 0 1 0 87329314 391262208 94753 1992294400 134512640 135752675 4291958640 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 95523 94753 146 303 0 95218 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 382092 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28483 /proc/meminfo: memFree=1452408/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=398676 CPUtime=1781.73 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 99841 0 0 0 177579 594 0 0 25 0 1 0 87329314 408244224 98833 1992294400 134512640 135752675 4291958640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 99669 98833 146 303 0 99364 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 398676 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28483 /proc/meminfo: memFree=1447696/2059040 swapFree=4136664/4192956 [pid=28431] ppid=28429 vsize=403216 CPUtime=1800.05 /proc/28431/stat : 28431 (wbo1.4b) R 28429 28431 27867 0 -1 4202496 100970 0 0 0 179406 599 0 0 25 0 1 0 87329314 412893184 99962 1992294400 134512640 135752675 4291958640 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28431/statm: 100804 99962 146 303 0 100499 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 403216 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.65 CPU time (s): 1800.09 CPU user time (s): 1794.06 CPU system time (s): 6.03208 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 403216 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.06 system time used= 6.03208 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 100970 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= 63 involuntary context switches= 4438 runsolver used 2.73358 second user time and 8.77767 second system time The end
Begin job on node086 at 2010-06-25 12:05:56 IDJOB=2680378 IDBENCH=71824 IDSOLVER=1190 FILE ID=node086/2680378-1277460356 PBS_JOBID= 11188104 Free space on /tmp= 62388 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-10000opt.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680378-1277460356/watcher-2680378-1277460356 -o /tmp/evaluation-result-2680378-1277460356/solver-2680378-1277460356 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680378-1277460356.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ed2e5a29708037a3709a2832db86ffbb RANDOM SEED=1721210894 node086.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.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1850736 kB Buffers: 46580 kB Cached: 71624 kB SwapCached: 9312 kB Active: 58444 kB Inactive: 73244 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1850736 kB SwapTotal: 4192956 kB SwapFree: 4136664 kB Dirty: 4632 kB Writeback: 0 kB AnonPages: 11904 kB Mapped: 8320 kB Slab: 54624 kB PageTables: 4180 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181768 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= 62384 MiB End job on node086 at 2010-06-25 12:35:59