Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -135 | 181.157 | 181.229 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-4000opt.opb |
MD5SUM | 6c6e5d09e1e6b4cdc1d36588d438ba6a |
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 | 26.512 |
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 | 63250 |
Number of constraints which are clauses | 63250 |
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 | 316 |
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 | 316 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655734-1276685135.opb. 0.00/0.00 c Instance file HOME/instance-2655734-1276685135.opb 0.00/0.00 c File size is 2109722 bytes. 0.19/0.29 c Highest Coefficient sum: 4 0.19/0.29 c ============================[ Problem Statistics ]============================= 0.19/0.29 c | | 0.19/0.29 c | Parsing time: 0.28 s | 0.19/0.29 c | Number Variables: 2025 | 0.19/0.29 c | Number Clauses: 63250 | 0.19/0.29 c | Number Cardinality: 0 | 0.19/0.29 c | Number PB Constraints: 0 | 0.29/0.38 c ============================[ Search Statistics ]============================== 0.29/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 2019 63256 188580 | 21083 0 nan | 0.000 % | 0.29/0.40 c =============================================================================== 0.29/0.40 c New solution: 316 0.29/0.40 o 316 0.29/0.40 c Elapsed CPU time: 0.383941 s Remaining CPU time: 179.616 s 0.29/0.40 c =============================================================================== 0.29/0.40 c | 0 | 2019 63257 188715 | 21085 0 nan | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c New solution: 315 0.39/0.40 o 315 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 | 2019 63258 188850 | 21086 0 nan | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c New solution: 312 0.39/0.41 o 312 0.39/0.41 c Elapsed CPU time: 0.397939 s Remaining CPU time: 179.602 s 0.39/0.41 c =============================================================================== 0.39/0.41 c | 0 | 2019 63259 188985 | 21086 0 nan | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c New solution: 309 0.39/0.43 o 309 0.39/0.43 c Elapsed CPU time: 0.406938 s Remaining CPU time: 179.593 s 0.39/0.43 c =============================================================================== 0.39/0.43 c | 0 | 2019 63260 189120 | 21086 0 nan | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c New solution: 308 0.39/0.44 o 308 0.39/0.44 c Elapsed CPU time: 0.416936 s Remaining CPU time: 179.583 s 0.39/0.44 c =============================================================================== 0.39/0.44 c | 0 | 2019 63261 189255 | 21087 0 nan | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c New solution: 307 0.39/0.45 o 307 0.39/0.45 c Elapsed CPU time: 0.427934 s Remaining CPU time: 179.572 s 0.39/0.45 c =============================================================================== 0.39/0.45 c | 1 | 2019 63262 189390 | 21087 1 132 | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c New solution: 305 0.39/0.46 o 305 0.39/0.46 c Elapsed CPU time: 0.438933 s Remaining CPU time: 179.561 s 0.39/0.46 c =============================================================================== 0.39/0.46 c | 1 | 2019 63263 189525 | 21087 1 132 | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c New solution: 304 0.39/0.47 o 304 0.39/0.47 c Elapsed CPU time: 0.447931 s Remaining CPU time: 179.552 s 0.39/0.47 c =============================================================================== 0.39/0.47 c | 1 | 2019 63264 189660 | 21088 1 132 | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c New solution: 303 0.39/0.48 o 303 0.39/0.48 c Elapsed CPU time: 0.45893 s Remaining CPU time: 179.541 s 0.39/0.48 c =============================================================================== 0.39/0.48 c | 2 | 2019 63265 189795 | 21088 2 130 | 0.000 % | 0.39/0.50 c =============================================================================== 0.39/0.50 c New solution: 302 0.39/0.50 o 302 0.39/0.50 c Elapsed CPU time: 0.467928 s Remaining CPU time: 179.532 s 0.39/0.50 c =============================================================================== 0.39/0.50 c | 2 | 2019 63266 189930 | 21088 2 130 | 0.000 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c New solution: 301 0.49/0.51 o 301 0.49/0.51 c Elapsed CPU time: 0.477927 s Remaining CPU time: 179.522 s 0.49/0.51 c =============================================================================== 0.49/0.51 c | 2 | 2019 63267 190065 | 21089 2 130 | 0.000 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c New solution: 300 0.49/0.52 o 300 0.49/0.52 c Elapsed CPU time: 0.489925 s Remaining CPU time: 179.51 s 0.49/0.52 c =============================================================================== 0.49/0.52 c | 2 | 2019 63268 190200 | 21089 2 130 | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c New solution: 299 0.49/0.53 o 299 0.49/0.53 c Elapsed CPU time: 0.498924 s Remaining CPU time: 179.501 s 0.49/0.53 c =============================================================================== 0.49/0.53 c | 2 | 2019 63269 190335 | 21089 2 130 | 0.000 % | 0.49/0.54 c =============================================================================== 0.49/0.54 c New solution: 298 0.49/0.54 o 298 0.49/0.54 c Elapsed CPU time: 0.508922 s Remaining CPU time: 179.491 s 0.49/0.54 c =============================================================================== 0.49/0.54 c | 2 | 2019 63270 190470 | 21090 2 130 | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c New solution: 297 0.49/0.55 o 297 0.49/0.55 c Elapsed CPU time: 0.518921 s Remaining CPU time: 179.481 s 0.49/0.55 c =============================================================================== 0.49/0.55 c | 2 | 2019 63271 190605 | 21090 2 130 | 0.000 % | 0.49/0.56 c =============================================================================== 0.49/0.56 c New solution: 296 0.49/0.56 o 296 0.49/0.56 c Elapsed CPU time: 0.528919 s Remaining CPU time: 179.471 s 0.49/0.56 c =============================================================================== 0.49/0.56 c | 8 | 2019 63272 190740 | 21090 8 96 | 0.000 % | 0.49/0.58 c =============================================================================== 0.49/0.58 c New solution: 295 0.49/0.58 o 295 0.49/0.58 c Elapsed CPU time: 0.539917 s Remaining CPU time: 179.46 s 0.49/0.58 c =============================================================================== 0.49/0.58 c | 9 | 2019 63273 190875 | 21091 9 99 | 0.000 % | 0.49/0.59 c =============================================================================== 0.49/0.59 c New solution: 294 0.49/0.59 o 294 0.49/0.59 c Elapsed CPU time: 0.549916 s Remaining CPU time: 179.45 s 0.49/0.59 c =============================================================================== 0.49/0.59 c | 10 | 2019 63274 191010 | 21091 10 102 | 0.000 % | 0.59/0.60 c =============================================================================== 0.59/0.60 c New solution: 293 0.59/0.60 o 293 0.59/0.60 c Elapsed CPU time: 0.558915 s Remaining CPU time: 179.441 s 0.59/0.60 c =============================================================================== 0.59/0.60 c | 12 | 2019 63275 191145 | 21091 12 106 | 0.000 % | 0.59/0.61 c =============================================================================== 0.59/0.61 c New solution: 292 0.59/0.61 o 292 0.59/0.61 c Elapsed CPU time: 0.566913 s Remaining CPU time: 179.433 s 0.59/0.61 c =============================================================================== 0.59/0.61 c | 14 | 2019 63276 191280 | 21092 14 108 | 0.000 % | 0.59/0.62 c =============================================================================== 0.59/0.62 c New solution: 291 0.59/0.62 o 291 0.59/0.62 c Elapsed CPU time: 0.577912 s Remaining CPU time: 179.422 s 0.59/0.62 c =============================================================================== 0.59/0.62 c | 14 | 2019 63277 191415 | 21092 14 108 | 0.000 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c New solution: 290 0.59/0.63 o 290 0.59/0.63 c Elapsed CPU time: 0.58791 s Remaining CPU time: 179.412 s 0.59/0.63 c =============================================================================== 0.59/0.63 c | 14 | 2019 63278 191550 | 21092 14 108 | 0.000 % | 0.59/0.64 c =============================================================================== 0.59/0.64 c New solution: 289 0.59/0.64 o 289 0.59/0.64 c Elapsed CPU time: 0.597909 s Remaining CPU time: 179.402 s 0.59/0.64 c =============================================================================== 0.59/0.64 c | 16 | 2019 63279 191685 | 21093 16 109 | 0.000 % | 0.59/0.65 c =============================================================================== 0.59/0.65 c New solution: 288 0.59/0.65 o 288 0.59/0.65 c Elapsed CPU time: 0.607907 s Remaining CPU time: 179.392 s 0.59/0.65 c =============================================================================== 0.59/0.65 c | 18 | 2019 63280 191820 | 21093 18 111 | 0.000 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c New solution: 287 0.59/0.66 o 287 0.59/0.66 c Elapsed CPU time: 0.616906 s Remaining CPU time: 179.383 s 0.59/0.66 c =============================================================================== 0.59/0.66 c | 19 | 2019 63281 191955 | 21093 19 111 | 0.000 % | 0.59/0.67 c =============================================================================== 0.59/0.67 c New solution: 286 0.59/0.67 o 286 0.59/0.67 c Elapsed CPU time: 0.624905 s Remaining CPU time: 179.375 s 0.59/0.67 c =============================================================================== 0.59/0.67 c | 22 | 2019 63282 192090 | 21094 22 112 | 0.000 % | 0.59/0.69 c =============================================================================== 0.59/0.69 c New solution: 285 0.59/0.69 o 285 0.59/0.69 c Elapsed CPU time: 0.634903 s Remaining CPU time: 179.365 s 0.59/0.69 c =============================================================================== 0.59/0.69 c | 22 | 2019 63283 192225 | 21094 22 112 | 0.000 % | 0.69/0.70 c =============================================================================== 0.69/0.70 c New solution: 284 0.69/0.70 o 284 0.69/0.70 c Elapsed CPU time: 0.644901 s Remaining CPU time: 179.355 s 0.69/0.70 c =============================================================================== 0.69/0.70 c | 27 | 2019 63284 192360 | 21094 27 109 | 0.000 % | 0.69/0.71 c =============================================================================== 0.69/0.71 c New solution: 283 0.69/0.71 o 283 0.69/0.71 c Elapsed CPU time: 0.6549 s Remaining CPU time: 179.345 s 0.69/0.71 c =============================================================================== 0.69/0.71 c | 27 | 2019 63285 192495 | 21095 27 109 | 0.000 % | 0.69/0.72 c =============================================================================== 0.69/0.72 c New solution: 282 0.69/0.72 o 282 0.69/0.72 c Elapsed CPU time: 0.665898 s Remaining CPU time: 179.334 s 0.69/0.72 c =============================================================================== 0.69/0.72 c | 42 | 2019 63286 192630 | 21095 42 110 | 0.000 % | 0.69/0.73 c =============================================================================== 0.69/0.73 c New solution: 281 0.69/0.73 o 281 0.69/0.73 c Elapsed CPU time: 0.676897 s Remaining CPU time: 179.323 s 0.69/0.73 c =============================================================================== 0.69/0.73 c | 55 | 2019 63287 192765 | 21095 55 110 | 0.000 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c New solution: 280 0.69/0.74 o 280 0.69/0.74 c Elapsed CPU time: 0.685895 s Remaining CPU time: 179.314 s 0.69/0.74 c =============================================================================== 0.69/0.74 c | 57 | 2019 63288 192900 | 21096 57 110 | 0.000 % | 0.69/0.76 c =============================================================================== 0.69/0.76 c New solution: 279 0.69/0.76 o 279 0.69/0.76 c Elapsed CPU time: 0.696894 s Remaining CPU time: 179.303 s 0.69/0.76 c =============================================================================== 0.69/0.76 c | 59 | 2019 63289 193035 | 21096 59 110 | 0.000 % | 0.69/0.77 c =============================================================================== 0.69/0.77 c New solution: 278 0.69/0.77 o 278 0.69/0.77 c Elapsed CPU time: 0.705892 s Remaining CPU time: 179.294 s 0.69/0.77 c =============================================================================== 0.69/0.77 c | 60 | 2019 63290 193170 | 21096 60 110 | 0.000 % | 0.69/0.78 c =============================================================================== 0.69/0.78 c New solution: 277 0.69/0.78 o 277 0.69/0.78 c Elapsed CPU time: 0.716891 s Remaining CPU time: 179.283 s 0.69/0.78 c =============================================================================== 0.69/0.78 c | 70 | 2019 63291 193305 | 21097 70 111 | 0.000 % | 0.69/0.79 c =============================================================================== 0.69/0.79 c New solution: 276 0.69/0.79 o 276 0.69/0.79 c Elapsed CPU time: 0.728889 s Remaining CPU time: 179.271 s 0.69/0.79 c =============================================================================== 0.69/0.79 c | 71 | 2019 63292 193440 | 21097 71 111 | 0.000 % | 0.79/0.80 c =============================================================================== 0.79/0.80 c New solution: 275 0.79/0.80 o 275 0.79/0.80 c Elapsed CPU time: 0.737887 s Remaining CPU time: 179.262 s 0.79/0.80 c =============================================================================== 0.79/0.80 c | 72 | 2019 63293 193575 | 21097 72 111 | 0.000 % | 0.79/0.81 c =============================================================================== 0.79/0.81 c New solution: 274 0.79/0.81 o 274 0.79/0.81 c Elapsed CPU time: 0.746886 s Remaining CPU time: 179.253 s 0.79/0.81 c =============================================================================== 0.79/0.81 c | 72 | 2019 63294 193710 | 21098 72 111 | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.83 c New solution: 273 0.79/0.83 o 273 0.79/0.83 c Elapsed CPU time: 0.759884 s Remaining CPU time: 179.24 s 0.79/0.83 c =============================================================================== 0.79/0.83 c | 103 | 2019 63295 193845 | 21098 103 110 | 0.000 % | 0.79/0.84 c =============================================================================== 0.79/0.84 c New solution: 272 0.79/0.84 o 272 0.79/0.84 c Elapsed CPU time: 0.769882 s Remaining CPU time: 179.23 s 0.79/0.84 c =============================================================================== 0.79/0.84 c | 104 | 2019 63296 193980 | 21098 104 110 | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.85 c New solution: 271 0.79/0.85 o 271 0.79/0.85 c Elapsed CPU time: 0.78288 s Remaining CPU time: 179.217 s 0.79/0.85 c =============================================================================== 0.79/0.85 c | 127 | 2019 63297 194115 | 21099 127 111 | 0.000 % | 0.79/0.86 c =============================================================================== 0.79/0.86 c New solution: 270 0.79/0.86 o 270 0.79/0.86 c Elapsed CPU time: 0.792879 s Remaining CPU time: 179.207 s 0.79/0.86 c =============================================================================== 0.79/0.86 c | 128 | 2019 63298 194250 | 21099 128 111 | 0.000 % | 0.79/0.87 c =============================================================================== 0.79/0.87 c New solution: 269 0.79/0.87 o 269 0.79/0.87 c Elapsed CPU time: 0.800878 s Remaining CPU time: 179.199 s 0.79/0.87 c =============================================================================== 0.79/0.87 c | 144 | 2019 63299 194385 | 21099 144 110 | 0.000 % | 0.79/0.89 c =============================================================================== 0.79/0.89 c New solution: 268 0.79/0.89 o 268 0.79/0.89 c Elapsed CPU time: 0.813876 s Remaining CPU time: 179.186 s 0.79/0.89 c =============================================================================== 0.79/0.89 c | 156 | 2019 63300 194520 | 21100 156 110 | 0.000 % | 0.89/0.90 c =============================================================================== 0.89/0.90 c New solution: 267 0.89/0.90 o 267 0.89/0.90 c Elapsed CPU time: 0.823874 s Remaining CPU time: 179.176 s 0.89/0.90 c =============================================================================== 0.89/0.90 c | 161 | 2019 63301 194655 | 21100 161 110 | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.91 c New solution: 266 0.89/0.91 o 266 0.89/0.91 c Elapsed CPU time: 0.833873 s Remaining CPU time: 179.166 s 0.89/0.91 c =============================================================================== 0.89/0.91 c | 161 | 2019 63302 194790 | 21100 161 110 | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.92 c New solution: 265 0.89/0.92 o 265 0.89/0.92 c Elapsed CPU time: 0.845871 s Remaining CPU time: 179.154 s 0.89/0.92 c =============================================================================== 0.89/0.92 c | 161 | 2019 63303 194925 | 21101 161 110 | 0.000 % | 0.89/0.93 c =============================================================================== 0.89/0.93 c New solution: 264 0.89/0.93 o 264 0.89/0.93 c Elapsed CPU time: 0.855869 s Remaining CPU time: 179.144 s 0.89/0.93 c =============================================================================== 0.89/0.93 c | 161 | 2019 63304 195060 | 21101 161 110 | 0.000 % | 0.89/0.94 c =============================================================================== 0.89/0.94 c New solution: 263 0.89/0.94 o 263 0.89/0.94 c Elapsed CPU time: 0.865868 s Remaining CPU time: 179.134 s 0.89/0.94 c =============================================================================== 0.89/0.94 c | 162 | 2019 63305 195195 | 21101 162 110 | 0.000 % | 0.89/0.96 c =============================================================================== 0.89/0.96 c New solution: 262 0.89/0.96 o 262 0.89/0.96 c Elapsed CPU time: 0.879866 s Remaining CPU time: 179.12 s 0.89/0.96 c =============================================================================== 0.89/0.96 c | 185 | 2019 63306 195330 | 21102 185 109 | 0.000 % | 0.89/0.97 c =============================================================================== 0.89/0.97 c New solution: 261 0.89/0.97 o 261 0.89/0.97 c Elapsed CPU time: 0.886865 s Remaining CPU time: 179.113 s 0.89/0.97 c =============================================================================== 0.89/0.97 c | 217 | 2019 63307 195465 | 21102 217 109 | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.98 c New solution: 260 0.89/0.98 o 260 0.89/0.98 c Elapsed CPU time: 0.898863 s Remaining CPU time: 179.101 s 0.89/0.98 c =============================================================================== 0.89/0.98 c | 221 | 2019 63308 195600 | 21102 221 109 | 0.000 % | 0.89/0.99 c =============================================================================== 0.89/0.99 c New solution: 259 0.89/0.99 o 259 0.89/0.99 c Elapsed CPU time: 0.909861 s Remaining CPU time: 179.09 s 0.89/0.99 c =============================================================================== 0.89/0.99 c | 248 | 2019 63309 195735 | 21103 248 108 | 0.000 % | 0.99/1.00 c =============================================================================== 0.99/1.00 c New solution: 258 0.99/1.00 o 258 0.99/1.00 c Elapsed CPU time: 0.92086 s Remaining CPU time: 179.079 s 0.99/1.00 c =============================================================================== 0.99/1.00 c | 250 | 2019 63310 195870 | 21103 250 108 | 0.000 % | 0.99/1.02 c =============================================================================== 0.99/1.02 c New solution: 257 0.99/1.02 o 257 0.99/1.02 c Elapsed CPU time: 0.934857 s Remaining CPU time: 179.065 s 0.99/1.02 c =============================================================================== 0.99/1.02 c | 260 | 2019 63311 196005 | 21103 260 108 | 0.000 % | 0.99/1.03 c =============================================================================== 0.99/1.03 c New solution: 256 0.99/1.03 o 256 0.99/1.03 c Elapsed CPU time: 0.946856 s Remaining CPU time: 179.053 s 0.99/1.03 c =============================================================================== 0.99/1.03 c | 263 | 2019 63312 196140 | 21104 263 108 | 0.000 % | 0.99/1.05 c =============================================================================== 0.99/1.05 c New solution: 255 0.99/1.05 o 255 0.99/1.05 c Elapsed CPU time: 0.961853 s Remaining CPU time: 179.038 s 0.99/1.05 c =============================================================================== 0.99/1.05 c | 286 | 2019 63313 196275 | 21104 286 108 | 0.000 % | 0.99/1.06 c =============================================================================== 0.99/1.06 c New solution: 254 0.99/1.06 o 254 0.99/1.06 c Elapsed CPU time: 0.974851 s Remaining CPU time: 179.025 s 0.99/1.06 c =============================================================================== 0.99/1.06 c | 290 | 2019 63314 196410 | 21104 290 108 | 0.000 % | 0.99/1.07 c =============================================================================== 0.99/1.07 c New solution: 253 0.99/1.07 o 253 0.99/1.07 c Elapsed CPU time: 0.988849 s Remaining CPU time: 179.011 s 0.99/1.07 c =============================================================================== 0.99/1.07 c | 307 | 2019 63315 196545 | 21105 307 108 | 0.000 % | 0.99/1.09 c =============================================================================== 0.99/1.09 c New solution: 252 0.99/1.09 o 252 0.99/1.09 c Elapsed CPU time: 1.00385 s Remaining CPU time: 178.996 s 0.99/1.09 c =============================================================================== 0.99/1.09 c | 343 | 2019 63316 196680 | 21105 343 107 | 0.000 % | 1.09/1.10 c =============================================================================== 1.09/1.10 c New solution: 251 1.09/1.10 o 251 1.09/1.10 c Elapsed CPU time: 1.01684 s Remaining CPU time: 178.983 s 1.09/1.10 c =============================================================================== 1.09/1.10 c | 349 | 2019 63317 196815 | 21105 349 107 | 0.000 % | 1.09/1.12 c =============================================================================== 1.09/1.12 c New solution: 250 1.09/1.12 o 250 1.09/1.12 c Elapsed CPU time: 1.02984 s Remaining CPU time: 178.97 s 1.09/1.12 c =============================================================================== 1.09/1.12 c | 353 | 2019 63318 196950 | 21106 353 107 | 0.000 % | 1.09/1.14 c =============================================================================== 1.09/1.14 c New solution: 249 1.09/1.14 o 249 1.09/1.14 c Elapsed CPU time: 1.05584 s Remaining CPU time: 178.944 s 1.09/1.14 c =============================================================================== 1.09/1.14 c | 441 | 2019 63319 197085 | 21106 441 106 | 0.000 % | 1.09/1.16 c =============================================================================== 1.09/1.16 c New solution: 248 1.09/1.16 o 248 1.09/1.16 c Elapsed CPU time: 1.06684 s Remaining CPU time: 178.933 s 1.09/1.16 c =============================================================================== 1.09/1.16 c | 441 | 2019 63320 197220 | 21106 441 106 | 0.000 % | 1.09/1.18 c | 541 | 2019 63320 197220 | 23217 541 105 | 0.296 % | 1.09/1.20 c =============================================================================== 1.09/1.20 c New solution: 247 1.09/1.20 o 247 1.09/1.20 c Elapsed CPU time: 1.10683 s Remaining CPU time: 178.893 s 1.09/1.20 c =============================================================================== 1.09/1.20 c | 598 | 2019 63321 197355 | 21107 598 104 | 0.296 % | 1.20/1.21 c =============================================================================== 1.20/1.21 c New solution: 246 1.20/1.21 o 246 1.20/1.21 c Elapsed CPU time: 1.11983 s Remaining CPU time: 178.88 s 1.20/1.21 c =============================================================================== 1.20/1.21 c | 606 | 2019 63322 197490 | 21107 606 104 | 0.296 % | 1.20/1.22 c =============================================================================== 1.20/1.22 c New solution: 245 1.20/1.22 o 245 1.20/1.22 c Elapsed CPU time: 1.13083 s Remaining CPU time: 178.869 s 1.20/1.22 c =============================================================================== 1.20/1.22 c | 622 | 2019 63323 197625 | 21107 622 104 | 0.296 % | 1.20/1.25 c =============================================================================== 1.20/1.25 c New solution: 244 1.20/1.25 o 244 1.20/1.25 c Elapsed CPU time: 1.15682 s Remaining CPU time: 178.843 s 1.20/1.25 c =============================================================================== 1.20/1.25 c | 686 | 2019 63324 197760 | 21108 686 103 | 0.296 % | 1.20/1.26 c =============================================================================== 1.20/1.26 c New solution: 243 1.20/1.26 o 243 1.20/1.26 c Elapsed CPU time: 1.16982 s Remaining CPU time: 178.83 s 1.20/1.26 c =============================================================================== 1.20/1.26 c | 703 | 2019 63325 197895 | 21108 703 103 | 0.296 % | 1.20/1.28 c =============================================================================== 1.20/1.28 c New solution: 242 1.20/1.28 o 242 1.20/1.28 c Elapsed CPU time: 1.18482 s Remaining CPU time: 178.815 s 1.20/1.28 c =============================================================================== 1.20/1.28 c | 709 | 2019 63326 198030 | 21108 709 103 | 0.296 % | 1.20/1.29 c =============================================================================== 1.20/1.29 c New solution: 241 1.20/1.29 o 241 1.20/1.29 c Elapsed CPU time: 1.19682 s Remaining CPU time: 178.803 s 1.20/1.29 c =============================================================================== 1.20/1.29 c | 709 | 2019 63327 198165 | 21109 709 103 | 0.296 % | 1.29/1.31 c =============================================================================== 1.29/1.31 c New solution: 240 1.29/1.31 o 240 1.29/1.31 c Elapsed CPU time: 1.21182 s Remaining CPU time: 178.788 s 1.29/1.31 c =============================================================================== 1.29/1.31 c | 751 | 2019 63328 198300 | 21109 751 103 | 0.296 % | 1.29/1.32 c =============================================================================== 1.29/1.32 c New solution: 239 1.29/1.32 o 239 1.29/1.32 c Elapsed CPU time: 1.22381 s Remaining CPU time: 178.776 s 1.29/1.32 c =============================================================================== 1.29/1.32 c | 751 | 2019 63329 198435 | 21109 751 103 | 0.296 % | 1.29/1.33 c =============================================================================== 1.29/1.33 c New solution: 237 1.29/1.33 o 237 1.29/1.33 c Elapsed CPU time: 1.23881 s Remaining CPU time: 178.761 s 1.29/1.33 c =============================================================================== 1.29/1.33 c | 763 | 2019 63330 198570 | 21110 763 103 | 0.296 % | 1.29/1.36 c | 863 | 2019 63330 198570 | 23221 863 102 | 0.296 % | 1.29/1.37 c =============================================================================== 1.29/1.37 c New solution: 236 1.29/1.37 o 236 1.29/1.37 c Elapsed CPU time: 1.27281 s Remaining CPU time: 178.727 s 1.29/1.37 c =============================================================================== 1.29/1.37 c | 869 | 2019 63331 198705 | 21110 869 102 | 0.296 % | 1.29/1.38 c =============================================================================== 1.29/1.38 c New solution: 235 1.29/1.38 o 235 1.29/1.38 c Elapsed CPU time: 1.2848 s Remaining CPU time: 178.715 s 1.29/1.38 c =============================================================================== 1.29/1.38 c | 870 | 2019 63332 198840 | 21110 870 102 | 0.296 % | 1.39/1.40 c =============================================================================== 1.39/1.40 c New solution: 234 1.39/1.40 o 234 1.39/1.40 c Elapsed CPU time: 1.3038 s Remaining CPU time: 178.696 s 1.39/1.40 c =============================================================================== 1.39/1.40 c | 911 | 2019 63333 198975 | 21111 911 102 | 0.296 % | 1.39/1.42 c | 1012 | 2019 63333 198975 | 23222 1012 101 | 0.296 % | 1.39/1.46 c | 1162 | 2019 63333 198975 | 25544 1162 100 | 0.297 % | 1.49/1.51 c | 1387 | 2019 63333 198975 | 28098 1387 99 | 0.296 % | 1.49/1.55 c =============================================================================== 1.49/1.55 c New solution: 232 1.49/1.55 o 232 1.49/1.55 c Elapsed CPU time: 1.45478 s Remaining CPU time: 178.545 s 1.49/1.55 c =============================================================================== 1.49/1.55 c | 1504 | 2019 63334 199110 | 21111 1504 99 | 0.296 % | 1.49/1.58 c | 1604 | 2019 63334 199110 | 23222 1604 99 | 0.296 % | 1.59/1.62 c | 1756 | 2019 63334 199110 | 25544 1756 98 | 0.296 % | 1.59/1.68 c | 1982 | 2019 63334 199110 | 28099 1982 98 | 0.296 % | 1.69/1.77 c | 2319 | 2019 63334 199110 | 30909 2319 97 | 0.296 % | 1.79/1.81 c =============================================================================== 1.79/1.81 c New solution: 231 1.79/1.81 o 231 1.79/1.81 c Elapsed CPU time: 1.70774 s Remaining CPU time: 178.292 s 1.79/1.81 c =============================================================================== 1.79/1.81 c | 2408 | 2019 63335 199245 | 21111 2408 97 | 0.296 % | 1.79/1.83 c =============================================================================== 1.79/1.83 c New solution: 230 1.79/1.83 o 230 1.79/1.83 c Elapsed CPU time: 1.72474 s Remaining CPU time: 178.275 s 1.79/1.83 c =============================================================================== 1.79/1.83 c | 2425 | 2019 63336 199380 | 21112 2425 97 | 0.296 % | 1.79/1.86 c | 2527 | 2019 63336 199380 | 23223 2527 97 | 0.296 % | 1.89/1.91 c | 2677 | 2019 63336 199380 | 25545 2677 97 | 0.296 % | 1.89/1.97 c | 2903 | 2019 63336 199380 | 28100 2903 96 | 0.296 % | 1.99/2.07 c | 3241 | 2019 63336 199380 | 30910 3241 96 | 0.296 % | 2.09/2.12 c =============================================================================== 2.09/2.12 c New solution: 229 2.09/2.12 o 229 2.09/2.12 c Elapsed CPU time: 2.01669 s Remaining CPU time: 177.983 s 2.09/2.12 c =============================================================================== 2.09/2.12 c | 3357 | 2019 63337 199515 | 21112 3357 96 | 0.296 % | 2.09/2.16 c | 3460 | 2019 63337 199515 | 23223 3460 96 | 0.296 % | 2.19/2.20 c | 3611 | 2019 63337 199515 | 25545 3611 96 | 0.296 % | 2.19/2.24 c =============================================================================== 2.19/2.24 c New solution: 228 2.19/2.24 o 228 2.19/2.24 c Elapsed CPU time: 2.13267 s Remaining CPU time: 177.867 s 2.19/2.24 c =============================================================================== 2.19/2.24 c | 3699 | 2019 63338 199650 | 21112 3699 96 | 0.296 % | 2.19/2.25 c =============================================================================== 2.19/2.25 c New solution: 227 2.19/2.25 o 227 2.19/2.25 c Elapsed CPU time: 2.14767 s Remaining CPU time: 177.852 s 2.19/2.25 c =============================================================================== 2.19/2.25 c | 3703 | 2019 63339 199785 | 21113 3703 96 | 0.296 % | 2.19/2.27 c =============================================================================== 2.19/2.27 c New solution: 226 2.19/2.27 o 226 2.19/2.27 c Elapsed CPU time: 2.16067 s Remaining CPU time: 177.839 s 2.19/2.27 c =============================================================================== 2.19/2.27 c | 3709 | 2019 63340 199920 | 21113 3709 96 | 0.296 % | 2.30/2.31 c =============================================================================== 2.30/2.31 c New solution: 225 2.30/2.31 o 225 2.30/2.31 c Elapsed CPU time: 2.20167 s Remaining CPU time: 177.798 s 2.30/2.31 c =============================================================================== 2.30/2.31 c | 3799 | 2019 63341 200055 | 21113 3799 96 | 0.296 % | 2.30/2.34 c | 3901 | 2019 63341 200055 | 23225 3901 95 | 0.296 % | 2.39/2.40 c | 4051 | 2019 63341 200055 | 25547 4051 95 | 0.296 % | 2.39/2.48 c | 4277 | 2019 63341 200055 | 28102 4277 95 | 0.296 % | 2.49/2.57 c =============================================================================== 2.49/2.57 c New solution: 224 2.49/2.57 o 224 2.49/2.57 c Elapsed CPU time: 2.46062 s Remaining CPU time: 177.539 s 2.49/2.57 c =============================================================================== 2.49/2.57 c | 4520 | 2019 63342 200190 | 21114 4520 95 | 0.296 % | 2.49/2.60 c =============================================================================== 2.49/2.60 c New solution: 223 2.49/2.60 o 223 2.49/2.60 c Elapsed CPU time: 2.48162 s Remaining CPU time: 177.518 s 2.49/2.60 c =============================================================================== 2.49/2.60 c | 4549 | 2019 63343 200325 | 21114 4549 95 | 0.296 % | 2.59/2.63 c =============================================================================== 2.59/2.63 c New solution: 222 2.59/2.63 o 222 2.59/2.63 c Elapsed CPU time: 2.51462 s Remaining CPU time: 177.485 s 2.59/2.63 c =============================================================================== 2.59/2.63 c | 4615 | 2019 63344 200460 | 21114 4615 95 | 0.296 % | 2.59/2.67 c | 4715 | 2019 63344 200460 | 23226 4715 95 | 0.296 % | 2.68/2.72 c | 4866 | 2019 63344 200460 | 25548 4866 95 | 0.296 % | 2.68/2.73 c =============================================================================== 2.68/2.73 c New solution: 221 2.68/2.73 o 221 2.68/2.73 c Elapsed CPU time: 2.6176 s Remaining CPU time: 177.382 s 2.68/2.73 c =============================================================================== 2.68/2.73 c | 4877 | 2019 63345 200595 | 21115 4877 95 | 0.296 % | 2.68/2.75 c =============================================================================== 2.68/2.75 c New solution: 220 2.68/2.75 o 220 2.68/2.75 c Elapsed CPU time: 2.6296 s Remaining CPU time: 177.37 s 2.68/2.75 c =============================================================================== 2.68/2.75 c | 4885 | 2019 63346 200730 | 21115 4885 95 | 0.296 % | 2.68/2.76 c =============================================================================== 2.68/2.76 c New solution: 219 2.68/2.76 o 219 2.68/2.76 c Elapsed CPU time: 2.6476 s Remaining CPU time: 177.352 s 2.68/2.76 c =============================================================================== 2.68/2.76 c | 4898 | 2019 63347 200865 | 21115 4898 95 | 0.296 % | 2.68/2.80 c | 4999 | 2019 63347 200865 | 23227 4999 95 | 0.296 % | 2.79/2.84 c | 5149 | 2019 63347 200865 | 25549 5149 94 | 0.296 % | 2.89/2.92 c | 5375 | 2019 63347 200865 | 28104 5375 94 | 0.296 % | 2.99/3.01 c | 5713 | 2019 63347 200865 | 30915 5713 94 | 0.296 % | 3.09/3.11 c =============================================================================== 3.09/3.11 c New solution: 218 3.09/3.11 o 218 3.09/3.11 c Elapsed CPU time: 2.98955 s Remaining CPU time: 177.01 s 3.09/3.11 c =============================================================================== 3.09/3.11 c | 6019 | 2019 63348 201000 | 21116 6019 94 | 0.296 % | 3.09/3.15 c | 6120 | 2019 63348 201000 | 23227 6120 94 | 0.296 % | 3.19/3.21 c =============================================================================== 3.19/3.21 c New solution: 217 3.19/3.21 o 217 3.19/3.21 c Elapsed CPU time: 3.08453 s Remaining CPU time: 176.915 s 3.19/3.21 c =============================================================================== 3.19/3.21 c | 6225 | 2019 63349 201135 | 21116 6225 94 | 0.296 % | 3.19/3.25 c | 6329 | 2019 63349 201135 | 23227 6329 94 | 0.296 % | 3.19/3.29 c =============================================================================== 3.19/3.29 c New solution: 216 3.19/3.29 o 216 3.19/3.29 c Elapsed CPU time: 3.16752 s Remaining CPU time: 176.832 s 3.19/3.29 c =============================================================================== 3.19/3.29 c | 6429 | 2019 63350 201270 | 21116 6429 94 | 0.296 % | 3.29/3.31 c =============================================================================== 3.29/3.31 c New solution: 215 3.29/3.31 o 215 3.29/3.31 c Elapsed CPU time: 3.18552 s Remaining CPU time: 176.814 s 3.29/3.31 c =============================================================================== 3.29/3.31 c | 6438 | 2019 63351 201405 | 21117 6438 94 | 0.296 % | 3.29/3.33 c =============================================================================== 3.29/3.33 c New solution: 214 3.29/3.33 o 214 3.29/3.33 c Elapsed CPU time: 3.19751 s Remaining CPU time: 176.802 s 3.29/3.33 c =============================================================================== 3.29/3.33 c | 6439 | 2019 63352 201540 | 21117 6439 94 | 0.296 % | 3.29/3.34 c =============================================================================== 3.29/3.34 c New solution: 213 3.29/3.34 o 213 3.29/3.34 c Elapsed CPU time: 3.21051 s Remaining CPU time: 176.789 s 3.29/3.34 c =============================================================================== 3.29/3.34 c | 6441 | 2019 63353 201675 | 21117 6441 94 | 0.296 % | 3.29/3.35 c =============================================================================== 3.29/3.35 c New solution: 212 3.29/3.35 o 212 3.29/3.35 c Elapsed CPU time: 3.22451 s Remaining CPU time: 176.775 s 3.29/3.35 c =============================================================================== 3.29/3.35 c | 6441 | 2019 63354 201810 | 21118 6441 94 | 0.296 % | 3.29/3.37 c =============================================================================== 3.29/3.37 c New solution: 211 3.29/3.37 o 211 3.29/3.37 c Elapsed CPU time: 3.23851 s Remaining CPU time: 176.761 s 3.29/3.37 c =============================================================================== 3.29/3.37 c | 6445 | 2019 63355 201945 | 21118 6445 94 | 0.296 % | 3.29/3.40 c =============================================================================== 3.29/3.40 c New solution: 210 3.29/3.40 o 210 3.29/3.40 c Elapsed CPU time: 3.2685 s Remaining CPU time: 176.731 s 3.29/3.40 c =============================================================================== 3.29/3.40 c | 6500 | 2019 63356 202080 | 21118 6500 94 | 0.296 % | 3.40/3.44 c | 6600 | 2019 63356 202080 | 23230 6600 94 | 0.296 % | 3.40/3.45 c =============================================================================== 3.40/3.45 c New solution: 209 3.40/3.45 o 209 3.40/3.45 c Elapsed CPU time: 3.3215 s Remaining CPU time: 176.679 s 3.40/3.45 c =============================================================================== 3.40/3.45 c | 6624 | 2019 63357 202215 | 21119 6624 94 | 0.296 % | 3.40/3.49 c =============================================================================== 3.40/3.49 c New solution: 208 3.40/3.49 o 208 3.40/3.49 c Elapsed CPU time: 3.35349 s Remaining CPU time: 176.647 s 3.40/3.49 c =============================================================================== 3.40/3.49 c | 6673 | 2019 63358 202350 | 21119 6673 93 | 0.296 % | 3.49/3.50 c =============================================================================== 3.49/3.50 c New solution: 206 3.49/3.50 o 206 3.49/3.50 c Elapsed CPU time: 3.36649 s Remaining CPU time: 176.634 s 3.49/3.50 c =============================================================================== 3.49/3.50 c | 6674 | 2019 63359 202485 | 21119 6674 93 | 0.296 % | 3.49/3.54 c | 6774 | 2019 63359 202485 | 23231 6774 93 | 0.296 % | 3.49/3.58 c | 6924 | 2019 63359 202485 | 25554 6924 93 | 0.296 % | 3.59/3.64 c | 7149 | 2019 63359 202485 | 28110 7149 93 | 0.296 % | 3.69/3.73 c | 7487 | 2019 63359 202485 | 30921 7487 93 | 0.296 % | 3.89/3.90 c | 7993 | 2019 63359 202485 | 34013 7993 92 | 0.296 % | 3.99/4.09 c | 8753 | 2019 63359 202485 | 37414 8753 92 | 0.296 % | 4.29/4.33 c =============================================================================== 4.29/4.33 c New solution: 205 4.29/4.33 o 205 4.29/4.33 c Elapsed CPU time: 4.18736 s Remaining CPU time: 175.813 s 4.29/4.33 c =============================================================================== 4.29/4.33 c | 9631 | 2019 63360 202620 | 21120 9631 91 | 0.296 % | 4.29/4.36 c | 9733 | 2019 63360 202620 | 23232 9733 91 | 0.296 % | 4.29/4.39 c | 9884 | 2019 63360 202620 | 25555 9884 91 | 0.296 % | 4.40/4.45 c | 10110 | 2019 63360 202620 | 28110 10110 91 | 0.296 % | 4.50/4.53 c | 10447 | 2019 63360 202620 | 30921 10447 91 | 0.296 % | 4.59/4.64 c =============================================================================== 4.59/4.64 c New solution: 204 4.59/4.64 o 204 4.59/4.64 c Elapsed CPU time: 4.49632 s Remaining CPU time: 175.504 s 4.59/4.64 c =============================================================================== 4.59/4.64 c | 10882 | 2019 63361 202755 | 21120 10882 91 | 0.296 % | 4.59/4.66 c =============================================================================== 4.59/4.66 c New solution: 202 4.59/4.66 o 202 4.59/4.66 c Elapsed CPU time: 4.51131 s Remaining CPU time: 175.489 s 4.59/4.66 c =============================================================================== 4.59/4.66 c | 10887 | 2019 63362 202890 | 21120 10887 91 | 0.296 % | 4.59/4.69 c | 10988 | 2019 63362 202890 | 23232 10988 91 | 0.296 % | 4.69/4.74 c =============================================================================== 4.69/4.74 c New solution: 200 4.69/4.74 o 200 4.69/4.74 c Elapsed CPU time: 4.5883 s Remaining CPU time: 175.412 s 4.69/4.74 c =============================================================================== 4.69/4.74 c | 11072 | 2019 63363 203025 | 21121 11072 91 | 0.296 % | 4.69/4.77 c | 11176 | 2019 63363 203025 | 23233 11176 91 | 0.296 % | 4.79/4.81 c | 11326 | 2019 63363 203025 | 25556 11326 91 | 0.296 % | 4.79/4.87 c | 11551 | 2019 63363 203025 | 28112 11551 91 | 0.296 % | 4.89/4.98 c | 11888 | 2019 63363 203025 | 30923 11888 91 | 0.296 % | 5.09/5.16 c | 12396 | 2019 63363 203025 | 34015 12396 90 | 0.296 % | 5.29/5.38 c =============================================================================== 5.29/5.38 c New solution: 199 5.29/5.38 o 199 5.29/5.38 c Elapsed CPU time: 5.2302 s Remaining CPU time: 174.77 s 5.29/5.38 c =============================================================================== 5.29/5.38 c | 12966 | 2019 63364 203160 | 21121 12966 90 | 0.296 % | 5.39/5.40 c =============================================================================== 5.39/5.40 c New solution: 198 5.39/5.40 o 198 5.39/5.40 c Elapsed CPU time: 5.2462 s Remaining CPU time: 174.754 s 5.39/5.40 c =============================================================================== 5.39/5.40 c | 12967 | 2019 63365 203295 | 21121 12967 90 | 0.296 % | 5.39/5.42 c =============================================================================== 5.39/5.42 c New solution: 196 5.39/5.42 o 196 5.39/5.42 c Elapsed CPU time: 5.2612 s Remaining CPU time: 174.739 s 5.39/5.42 c =============================================================================== 5.39/5.42 c | 12971 | 2019 63366 203430 | 21122 12971 90 | 0.296 % | 5.39/5.47 c | 13071 | 2019 63366 203430 | 23234 13071 90 | 0.296 % | 5.49/5.53 c | 13222 | 2019 63366 203430 | 25557 13222 90 | 0.296 % | 5.60/5.63 c | 13447 | 2019 63366 203430 | 28113 13447 90 | 0.296 % | 5.69/5.74 c | 13786 | 2019 63366 203430 | 30924 13786 90 | 0.296 % | 5.79/5.89 c | 14295 | 2019 63366 203430 | 34017 14295 89 | 0.296 % | 6.09/6.10 c | 15054 | 2019 63366 203430 | 37418 15054 89 | 0.296 % | 6.38/6.47 c | 16193 | 2019 63366 203430 | 41160 16193 89 | 0.296 % | 7.09/7.19 c | 17903 | 2019 63366 203430 | 45276 17903 88 | 0.296 % | 8.29/8.37 c | 20469 | 2019 63366 203430 | 49804 20469 87 | 0.296 % | 10.28/10.32 c | 24315 | 2019 63366 203430 | 54785 24315 86 | 0.296 % | 11.88/11.95 c =============================================================================== 11.88/11.95 c New solution: 195 11.88/11.95 o 195 11.88/11.95 c Elapsed CPU time: 11.7572 s Remaining CPU time: 168.243 s 11.88/11.95 c =============================================================================== 11.88/11.95 c | 27014 | 2019 63367 203565 | 21122 27014 86 | 0.296 % | 12.20/12.22 c =============================================================================== 12.20/12.22 c New solution: 194 12.20/12.22 o 194 12.20/12.22 c Elapsed CPU time: 12.0252 s Remaining CPU time: 167.975 s 12.20/12.22 c =============================================================================== 12.20/12.22 c | 27014 | 2019 63368 203700 | 21122 10991 81 | 0.296 % | 12.20/12.26 c | 27115 | 2019 63368 203700 | 23234 11092 81 | 0.296 % | 12.29/12.31 c | 27266 | 2019 63368 203700 | 25558 11243 81 | 0.296 % | 12.39/12.40 c | 27491 | 2019 63368 203700 | 28114 11468 81 | 0.296 % | 12.49/12.57 c | 27828 | 2019 63368 203700 | 30925 11805 81 | 0.296 % | 12.69/12.77 c | 28334 | 2019 63368 203700 | 34018 12311 82 | 0.296 % | 13.09/13.11 c | 29095 | 2019 63368 203700 | 37420 13072 82 | 0.296 % | 13.58/13.66 c | 30235 | 2019 63368 203700 | 41162 14212 82 | 0.296 % | 14.39/14.44 c | 31943 | 2019 63368 203700 | 45278 15920 82 | 0.296 % | 15.58/15.61 c | 34507 | 2019 63368 203700 | 49806 18484 82 | 0.296 % | 17.70/17.77 c | 38351 | 2019 63368 203700 | 54786 22328 82 | 0.296 % | 21.28/21.35 c | 44119 | 2019 63368 203700 | 60265 28096 82 | 0.296 % | 23.29/23.36 c =============================================================================== 23.29/23.36 c New solution: 193 23.29/23.36 o 193 23.29/23.36 c Elapsed CPU time: 23.1035 s Remaining CPU time: 156.897 s 23.29/23.36 c =============================================================================== 23.29/23.36 c | 46871 | 2019 63369 203835 | 21123 30848 82 | 0.296 % | 23.99/24.01 c =============================================================================== 23.99/24.01 c New solution: 192 23.99/24.01 o 192 23.99/24.01 c Elapsed CPU time: 23.7564 s Remaining CPU time: 156.244 s 23.99/24.01 c =============================================================================== 23.99/24.01 c | 46899 | 2019 63370 203970 | 21123 11204 81 | 0.296 % | 23.99/24.03 c =============================================================================== 23.99/24.03 c New solution: 191 23.99/24.03 o 191 23.99/24.03 c Elapsed CPU time: 23.7724 s Remaining CPU time: 156.228 s 23.99/24.03 c =============================================================================== 23.99/24.03 c | 46901 | 2019 63371 204105 | 21123 11206 81 | 0.296 % | 23.99/24.06 c | 47002 | 2019 63371 204105 | 23236 11307 81 | 0.296 % | 24.09/24.12 c | 47154 | 2019 63371 204105 | 25559 11459 81 | 0.296 % | 24.19/24.21 c | 47379 | 2019 63371 204105 | 28115 11684 81 | 0.296 % | 24.29/24.35 c | 47717 | 2019 63371 204105 | 30927 12022 81 | 0.296 % | 24.58/24.65 c | 48226 | 2019 63371 204105 | 34019 12531 81 | 0.296 % | 24.78/24.82 c =============================================================================== 24.78/24.82 c New solution: 190 24.78/24.82 o 190 24.78/24.82 c Elapsed CPU time: 24.5613 s Remaining CPU time: 155.439 s 24.78/24.82 c =============================================================================== 24.78/24.82 c | 48564 | 2019 63372 204240 | 21124 12869 81 | 0.296 % | 24.78/24.87 c | 48666 | 2019 63372 204240 | 23236 12971 81 | 0.296 % | 24.89/24.93 c | 48818 | 2019 63372 204240 | 25560 13123 81 | 0.296 % | 24.99/25.04 c | 49043 | 2019 63372 204240 | 28116 13348 81 | 0.296 % | 25.09/25.19 c | 49380 | 2019 63372 204240 | 30927 13685 81 | 0.296 % | 25.39/25.44 c | 49890 | 2019 63372 204240 | 34020 14195 81 | 0.296 % | 25.78/25.82 c | 50649 | 2019 63372 204240 | 37422 14954 81 | 0.296 % | 26.39/26.46 c | 51788 | 2019 63372 204240 | 41164 16093 81 | 0.296 % | 27.19/27.29 c | 53497 | 2019 63372 204240 | 45281 17802 81 | 0.296 % | 28.59/28.70 c =============================================================================== 28.59/28.70 c New solution: 189 28.59/28.70 o 189 28.59/28.70 c Elapsed CPU time: 28.4097 s Remaining CPU time: 151.59 s 28.59/28.70 c =============================================================================== 28.59/28.70 c | 55674 | 2019 63373 204375 | 21124 19979 81 | 0.296 % | 28.69/28.79 c | 55775 | 2019 63373 204375 | 23236 20080 81 | 0.296 % | 28.88/28.91 c | 55925 | 2019 63373 204375 | 25560 20230 81 | 0.296 % | 28.98/29.07 c | 56150 | 2019 63373 204375 | 28116 20455 81 | 0.296 % | 29.18/29.29 c | 56488 | 2019 63373 204375 | 30928 20793 81 | 0.296 % | 29.59/29.67 c | 56995 | 2019 63373 204375 | 34020 21300 81 | 0.296 % | 30.08/30.18 c | 57754 | 2019 63373 204375 | 37423 22059 81 | 0.296 % | 30.98/31.08 c | 58894 | 2019 63373 204375 | 41165 23199 81 | 0.296 % | 32.27/32.33 c | 60604 | 2019 63373 204375 | 45281 24909 81 | 0.296 % | 34.58/34.60 c | 63166 | 2019 63373 204375 | 49810 27471 81 | 0.296 % | 36.97/37.03 c | 67012 | 2019 63373 204375 | 54791 31317 81 | 0.296 % | 41.17/41.26 c | 72778 | 2019 63373 204375 | 60270 37083 81 | 0.296 % | 51.26/51.34 c | 81427 | 2019 63373 204375 | 66297 45732 81 | 0.296 % | 70.56/70.65 c | 94402 | 2019 63373 204375 | 72926 58707 81 | 0.296 % | 98.74/98.85 c | 113864 | 2019 63373 204375 | 80219 17445 78 | 0.296 % | 113.84/113.96 c =============================================================================== 113.84/113.96 c New solution: 188 113.84/113.96 o 188 113.84/113.96 c Elapsed CPU time: 113.33 s Remaining CPU time: 66.6702 s 113.84/113.96 c =============================================================================== 113.84/113.96 c | 134219 | 2019 63374 204510 | 21124 37800 79 | 0.296 % | 114.44/114.55 c =============================================================================== 114.44/114.55 c New solution: 187 114.44/114.55 o 187 114.44/114.55 c Elapsed CPU time: 113.912 s Remaining CPU time: 66.0883 s 114.44/114.55 c =============================================================================== 114.44/114.55 c | 134246 | 2019 63375 204645 | 21125 11542 78 | 0.296 % | 114.44/114.59 c | 134346 | 2019 63375 204645 | 23237 11642 78 | 0.296 % | 114.55/114.66 c | 134497 | 2019 63375 204645 | 25561 11793 78 | 0.296 % | 114.65/114.76 c | 134722 | 2019 63375 204645 | 28117 12018 79 | 0.296 % | 114.84/114.94 c | 135061 | 2019 63375 204645 | 30929 12357 79 | 0.296 % | 115.14/115.23 c | 135567 | 2019 63375 204645 | 34022 12863 79 | 0.296 % | 115.44/115.60 c | 136330 | 2019 63375 204645 | 37424 13626 79 | 0.296 % | 116.14/116.28 c | 137469 | 2019 63375 204645 | 41166 14765 79 | 0.296 % | 117.35/117.41 c | 139179 | 2019 63375 204645 | 45283 16475 79 | 0.296 % | 118.04/118.15 c =============================================================================== 118.04/118.15 c New solution: 186 118.04/118.15 o 186 118.04/118.15 c Elapsed CPU time: 117.49 s Remaining CPU time: 62.5099 s 118.04/118.15 c =============================================================================== 118.04/118.15 c | 140597 | 2019 63376 204780 | 21125 17893 79 | 0.296 % | 118.14/118.21 c | 140703 | 2019 63376 204780 | 23237 17999 79 | 0.296 % | 118.24/118.32 c | 140853 | 2019 63376 204780 | 25561 18149 79 | 0.296 % | 118.44/118.52 c | 141078 | 2019 63376 204780 | 28117 18374 79 | 0.296 % | 118.75/118.82 c | 141416 | 2019 63376 204780 | 30929 18712 79 | 0.296 % | 119.14/119.25 c | 141922 | 2019 63376 204780 | 34022 19218 80 | 0.296 % | 119.74/119.88 c | 142681 | 2019 63376 204780 | 37424 19977 80 | 0.296 % | 120.54/120.65 c | 143820 | 2019 63376 204780 | 41167 21116 80 | 0.296 % | 122.15/122.28 c | 145528 | 2019 63376 204780 | 45284 22824 80 | 0.296 % | 124.24/124.40 c | 148093 | 2019 63376 204780 | 49812 25389 79 | 0.296 % | 128.64/128.70 c | 151937 | 2019 63376 204780 | 54793 29233 79 | 0.296 % | 137.23/137.33 c | 157704 | 2019 63376 204780 | 60273 35000 79 | 0.296 % | 147.23/147.36 c | 166354 | 2019 63376 204780 | 66300 43650 80 | 0.296 % | 151.13/151.22 c =============================================================================== 151.13/151.22 c New solution: 184 151.13/151.22 o 184 151.13/151.22 c Elapsed CPU time: 150.417 s Remaining CPU time: 29.5829 s 151.13/151.22 c =============================================================================== 151.13/151.22 c | 169253 | 2019 63377 204915 | 21125 46549 80 | 0.296 % | 152.93/153.06 c | 169354 | 2019 63377 204915 | 23238 12123 78 | 0.296 % | 153.03/153.15 c | 169507 | 2019 63377 204915 | 25562 12276 78 | 0.296 % | 153.13/153.25 c | 169733 | 2019 63377 204915 | 28118 12502 78 | 0.296 % | 153.33/153.42 c | 170070 | 2019 63377 204915 | 30930 12839 78 | 0.296 % | 153.63/153.73 c | 170577 | 2019 63377 204915 | 34023 13346 78 | 0.296 % | 153.63/153.75 c =============================================================================== 153.63/153.75 c New solution: 183 153.63/153.75 o 183 153.63/153.75 c Elapsed CPU time: 152.932 s Remaining CPU time: 27.0683 s 153.63/153.75 c =============================================================================== 153.63/153.75 c | 170588 | 2019 63378 205050 | 21126 13357 78 | 0.296 % | 153.73/153.81 c | 170691 | 2019 63378 205050 | 23238 13460 78 | 0.296 % | 153.83/153.90 c | 170841 | 2019 63378 205050 | 25562 13610 78 | 0.296 % | 153.93/154.03 c | 171066 | 2019 63378 205050 | 28118 13835 78 | 0.296 % | 154.03/154.19 c | 171403 | 2019 63378 205050 | 30930 14172 78 | 0.296 % | 154.43/154.54 c | 171911 | 2019 63378 205050 | 34023 14680 78 | 0.296 % | 155.04/155.12 c | 172670 | 2019 63378 205050 | 37425 15439 78 | 0.296 % | 155.82/155.94 c | 173809 | 2019 63378 205050 | 41168 16578 78 | 0.296 % | 157.24/157.34 c | 175517 | 2019 63378 205050 | 45285 18286 78 | 0.296 % | 159.13/159.25 c =============================================================================== 159.13/159.25 c New solution: 182 159.13/159.25 o 182 159.13/159.25 c Elapsed CPU time: 158.406 s Remaining CPU time: 21.5941 s 159.13/159.25 c =============================================================================== 159.13/159.25 c | 178013 | 2019 63379 205185 | 21126 20782 79 | 0.296 % | 159.23/159.37 c | 178114 | 2019 63379 205185 | 23238 20883 79 | 0.296 % | 159.43/159.51 c | 178264 | 2019 63379 205185 | 25562 21033 79 | 0.296 % | 159.53/159.69 c | 178490 | 2019 63379 205185 | 28119 21259 79 | 0.296 % | 159.82/159.92 c | 178827 | 2019 63379 205185 | 30931 21596 79 | 0.296 % | 160.22/160.31 c | 179333 | 2019 63379 205185 | 34024 22102 79 | 0.296 % | 160.92/161.07 c | 180094 | 2019 63379 205185 | 37426 22863 79 | 0.296 % | 162.03/162.19 c | 181233 | 2019 63379 205185 | 41169 24002 79 | 0.296 % | 163.62/163.78 c | 182943 | 2019 63379 205185 | 45286 25712 78 | 0.296 % | 166.23/166.35 c | 185505 | 2019 63379 205185 | 49814 28274 78 | 0.296 % | 166.52/166.67 c =============================================================================== 166.52/166.67 c New solution: 181 166.52/166.67 o 181 166.52/166.67 c Elapsed CPU time: 165.792 s Remaining CPU time: 14.2082 s 166.52/166.67 c =============================================================================== 166.52/166.67 c | 185863 | 2019 63380 205320 | 21126 28632 78 | 0.296 % | 166.82/166.93 c | 185965 | 2019 63380 205320 | 23239 11481 76 | 0.296 % | 166.92/167.02 c | 186116 | 2019 63380 205320 | 25563 11632 76 | 0.296 % | 167.02/167.12 c | 186341 | 2019 63380 205320 | 28119 11857 76 | 0.296 % | 167.23/167.31 c | 186678 | 2019 63380 205320 | 30931 12194 76 | 0.296 % | 167.53/167.63 c | 187184 | 2019 63380 205320 | 34024 12700 76 | 0.296 % | 167.92/168.02 c | 187944 | 2019 63380 205320 | 37427 13460 76 | 0.296 % | 169.02/169.13 c | 189083 | 2019 63380 205320 | 41169 14599 75 | 0.296 % | 170.32/170.42 c | 190792 | 2019 63380 205320 | 45286 16308 75 | 0.296 % | 171.63/171.75 c | 193356 | 2019 63380 205320 | 49815 18872 75 | 0.296 % | 175.12/175.20 c | 197205 | 2019 63380 205320 | 54797 22721 75 | 0.296 % | 180.82/180.95 c There are 6 assigned variables. 6 in cost function. 181.12/181.21 c core #1 181.12/181.21 c #cores: 1 181.12/181.21 c Final Weight: 181 181.12/181.21 o 181 181.12/181.21 s OPTIMUM FOUND 181.12/181.21 v x1 x2 -x3 x4 x5 -x6 x7 x8 x9 -x10 x11 x12 x13 x14 -x15 x16 x17 x18 x19 -x20 -x21 -x22 -x23 x24 -x25 x26 -x27 -x28 x29 x30 -x31 -x32 -x33 -x34 x35 x36 x37 x38 -x39 -x40 x41 x42 x43 x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 x53 -x54 -x55 -x56 -x57 x58 x59 -x60 x61 -x62 -x63 x64 x65 x66 x67 -x68 x69 x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 x79 -x80 -x81 x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 x96 x97 -x98 -x99 -x100 -x101 x102 x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 x141 -x142 x143 -x144 x145 -x146 -x147 x148 -x149 -x150 x151 x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 x175 -x176 -x177 x178 -x179 x180 -x181 -x182 -x183 x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 x212 x213 -x214 -x215 x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 x232 x233 -x234 x235 -x236 -x237 x238 x239 x240 -x241 -x242 x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 x332 -x333 -x334 -x335 -x336 x337 -x338 x339 -x340 -x341 -x342 x343 -x344 -x345 x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 x386 -x387 x388 -x389 -x390 -x391 -x392 x393 -x394 x395 -x396 x397 -x398 x399 -x400 x401 -x402 -x403 -x404 x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 x421 -x422 x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 x560 -x561 -x562 -x563 x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 x762 -x763 x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 x799 -x800 -x801 -x802 -x803 x804 -x805 -x806 x807 -x808 x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x820 -x821 x822 -x823 x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 x860 -x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 -x874 x875 -x876 x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 x926 -x927 x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 x942 -x943 x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 x1056 -x1057 -x1058 x1059 -x1060 -x1061 x1062 -x1063 -x1064 -x1065 x1066 -x1067 x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 x1207 -x1208 -x1209 -x1210 x1211 -x1212 -x1213 -x1214 -x1215 -x1216 x1217 -x1218 -x1219 x1220 -x1221 x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 x1310 -x1311 x1312 -x1313 -x1314 x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 -x1323 x1324 -x1325 x1326 -x1327 -x1328 -x1329 -x1330 x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 x1343 -x1344 -x1345 -x1346 -x1347 x1348 -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 x1371 x1372 -x1373 x1374 -x1375 -x1376 -x1377 x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 x1406 x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 x1419 -x1420 x1421 -x1422 x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 x1452 -x1453 -x1454 -x1455 x1456 -x1457 -x1458 -x1459 x1460 -x1461 -x1462 x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 x1660 -x1661 x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 x1703 -x1704 x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 x1718 -x1719 x1720 -x1721 -x1722 -x1723 -x1724 -x1725 x1726 -x1727 -x1728 x1729 -x1730 x1731 -x1732 x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 x1800 -x1801 -x1802 x1803 -x1804 x1805 -x1806 -x1807 -x1808 x1809 -x1810 -x1811 x1812 -x1813 -x1814 x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 x1825 -x1826 x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 x1838 -x1839 x1840 -x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 x1927 -x1928 x1929 -x1930 x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 x1940 -x1941 x1942 -x1943 x1944 -x1945 x1946 -x1947 x1948 -x1949 -x1950 -x1951 -x1952 -x1953 x1954 -x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 x1972 -x1973 x1974 -x1975 x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 x1985 -x1986 x1987 -x1988 x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 x2012 -x2013 x2014 -x2015 x2016 -x2017 x2018 -x2019 x2020 -x2021 -x2022 -x2023 x2024 -x2025 181.12/181.21 c Total CPU time: 180.263 s
OK -135
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655734-1276685135/watcher-2655734-1276685135 -o /tmp/evaluation-result-2655734-1276685135/solver-2655734-1276685135 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655734-1276685135.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: 2.08 2.54 2.07 2/106 8420 /proc/meminfo: memFree=1820752/2059040 swapFree=4139776/4192956 [pid=8420] ppid=8418 vsize=4920 CPUtime=0 /proc/8420/stat : 8420 (wbo1.4b) R 8418 8420 8251 0 -1 4202496 367 0 0 0 0 0 0 0 22 0 1 0 44114999 5038080 286 1992294400 134512640 135751879 4289171568 18446744073709551615 134559744 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8420/statm: 1230 287 144 303 0 409 0 [startup+0.106128 s] /proc/loadavg: 2.08 2.54 2.07 2/106 8420 /proc/meminfo: memFree=1820752/2059040 swapFree=4139776/4192956 [pid=8420] ppid=8418 vsize=6132 CPUtime=0.09 /proc/8420/stat : 8420 (wbo1.4b) R 8418 8420 8251 0 -1 4202496 810 0 0 0 9 0 0 0 22 0 1 0 44114999 6279168 729 1992294400 134512640 135751879 4289171568 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8420/statm: 1533 729 314 303 0 712 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6132 [startup+0.201141 s] /proc/loadavg: 2.08 2.54 2.07 2/106 8420 /proc/meminfo: memFree=1820752/2059040 swapFree=4139776/4192956 [pid=8420] ppid=8418 vsize=7300 CPUtime=0.19 /proc/8420/stat : 8420 (wbo1.4b) R 8418 8420 8251 0 -1 4202496 1251 0 0 0 19 0 0 0 22 0 1 0 44114999 7475200 1170 1992294400 134512640 135751879 4289171568 18446744073709551615 134559616 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8420/statm: 1825 1170 481 303 0 1004 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 7300 [startup+0.301154 s] /proc/loadavg: 2.08 2.54 2.07 2/106 8420 /proc/meminfo: memFree=1820752/2059040 swapFree=4139776/4192956 [pid=8420] ppid=8418 vsize=6804 CPUtime=0.29 /proc/8420/stat : 8420 (wbo1.4b) R 8418 8420 8251 0 -1 4202496 1869 0 0 0 28 1 0 0 22 0 1 0 44114999 6967296 1239 1992294400 134512640 135751879 4289171568 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8420/statm: 1701 1239 143 303 0 1396 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6804 [startup+0.701206 s] /proc/loadavg: 2.08 2.54 2.07 2/106 8420 /proc/meminfo: memFree=1820752/2059040 swapFree=4139776/4192956 [pid=8420] ppid=8418 vsize=7340 CPUtime=0.69 /proc/8420/stat : 8420 (wbo1.4b) R 8418 8420 8251 0 -1 4202496 1999 0 0 0 64 5 0 0 25 0 1 0 44114999 7516160 1369 1992294400 134512640 135751879 4289171568 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8420/statm: 1835 1369 146 303 0 1530 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7340 [startup+1.50131 s] /proc/loadavg: 2.08 2.54 2.07 2/107 8421 /proc/meminfo: memFree=1815660/2059040 swapFree=4139776/4192956 [pid=8420] ppid=8418 vsize=8000 CPUtime=1.49 /proc/8420/stat : 8420 (wbo1.4b) R 8418 8420 8251 0 -1 4202496 2146 0 0 0 140 9 0 0 25 0 1 0 44114999 8192000 1516 1992294400 134512640 135751879 4289171568 18446744073709551615 134518865 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8420/statm: 2000 1516 147 303 0 1695 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8000 [startup+3.10052 s] /proc/loadavg: 1.99 2.52 2.07 2/107 8421 /proc/meminfo: memFree=1813800/2059040 swapFree=4139776/4192956 [pid=8420] ppid=8418 vsize=10116 CPUtime=3.09 /proc/8420/stat : 8420 (wbo1.4b) R 8418 8420 8251 0 -1 4202496 2702 0 0 0 297 12 0 0 25 0 1 0 44114999 10358784 2072 1992294400 134512640 135751879 4289171568 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8420/statm: 2529 2072 147 303 0 2224 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10116 [startup+6.30094 s] /proc/loadavg: 1.99 2.52 2.07 2/107 8421 /proc/meminfo: memFree=1809336/2059040 swapFree=4139776/4192956 [pid=8420] ppid=8418 vsize=14664 CPUtime=6.29 /proc/8420/stat : 8420 (wbo1.4b) R 8418 8420 8251 0 -1 4202496 3809 0 0 0 614 15 0 0 25 0 1 0 44114999 15015936 3179 1992294400 134512640 135751879 4289171568 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8420/statm: 3666 3179 147 303 0 3361 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14664 [startup+12.7008 s] /proc/loadavg: 1.84 2.47 2.06 2/107 8423 /proc/meminfo: memFree=1803136/2059040 swapFree=4139776/4192956 [pid=8420] ppid=8418 vsize=20304 CPUtime=12.69 /proc/8420/stat : 8420 (wbo1.4b) R 8418 8420 8251 0 -1 4202496 5219 0 0 0 1250 19 0 0 25 0 1 0 44114999 20791296 4589 1992294400 134512640 135751879 4289171568 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8420/statm: 5076 4589 148 303 0 4771 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20304 [startup+25.5015 s] /proc/loadavg: 1.71 2.42 2.04 2/107 8423 /proc/meminfo: memFree=1793092/2059040 swapFree=4139776/4192956 [pid=8420] ppid=8418 vsize=29960 CPUtime=25.49 /proc/8420/stat : 8420 (wbo1.4b) R 8418 8420 8251 0 -1 4202496 7617 0 0 0 2523 26 0 0 25 0 1 0 44114999 30679040 6987 1992294400 134512640 135751879 4289171568 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8420/statm: 7490 6987 148 303 0 7185 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 29960 [startup+51.1018 s] /proc/loadavg: 1.46 2.30 2.01 2/107 8423 /proc/meminfo: memFree=1779452/2059040 swapFree=4139776/4192956 [pid=8420] ppid=8418 vsize=43680 CPUtime=51.06 /proc/8420/stat : 8420 (wbo1.4b) R 8418 8420 8251 0 -1 4202496 11025 0 0 0 5066 40 0 0 25 0 1 0 44114999 44728320 10395 1992294400 134512640 135751879 4289171568 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8420/statm: 10920 10395 148 303 0 10615 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 43680 [startup+102.302 s] /proc/loadavg: 1.18 2.08 1.95 2/107 8425 /proc/meminfo: memFree=1762588/2059040 swapFree=4139776/4192956 [pid=8420] ppid=8418 vsize=60356 CPUtime=102.26 /proc/8420/stat : 8420 (wbo1.4b) R 8418 8420 8251 0 -1 4202496 15131 0 0 0 10172 54 0 0 25 0 1 0 44114999 61804544 14501 1992294400 134512640 135751879 4289171568 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8420/statm: 15089 14501 148 303 0 14784 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 60356 [startup+162.301 s] /proc/loadavg: 1.07 1.88 1.89 2/107 8427 /proc/meminfo: memFree=1736796/2059040 swapFree=4139776/4192956 [pid=8420] ppid=8418 vsize=86356 CPUtime=162.23 /proc/8420/stat : 8420 (wbo1.4b) R 8418 8420 8251 0 -1 4202496 21602 0 0 0 16144 79 0 0 25 0 1 0 44114999 88428544 20972 1992294400 134512640 135751879 4289171568 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8420/statm: 21589 20972 148 303 0 21284 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 86356 Solver just ended. Dumping a history of the last processes samples [startup+166.401 s] /proc/loadavg: 1.07 1.88 1.89 2/107 8427 /proc/meminfo: memFree=1734936/2059040 swapFree=4139776/4192956 [pid=8420] ppid=8418 vsize=87940 CPUtime=166.33 /proc/8420/stat : 8420 (wbo1.4b) R 8418 8420 8251 0 -1 4202496 22023 0 0 0 16552 81 0 0 25 0 1 0 44114999 90050560 21393 1992294400 134512640 135751879 4289171568 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8420/statm: 21985 21393 148 303 0 21680 0 Current children cumulated CPU time (s) 166.33 Current children cumulated vsize (KiB) 87940 [startup+172.809 s] /proc/loadavg: 1.06 1.85 1.88 2/107 8427 /proc/meminfo: memFree=1731216/2059040 swapFree=4139776/4192956 [pid=8420] ppid=8418 vsize=91704 CPUtime=172.73 /proc/8420/stat : 8420 (wbo1.4b) R 8418 8420 8251 0 -1 4202496 22939 0 0 0 17189 84 0 0 25 0 1 0 44114999 93904896 22309 1992294400 134512640 135751879 4289171568 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8420/statm: 22926 22309 148 303 0 22621 0 Current children cumulated CPU time (s) 172.73 Current children cumulated vsize (KiB) 91704 [startup+176.001 s] /proc/loadavg: 1.06 1.85 1.88 2/107 8427 /proc/meminfo: memFree=1729976/2059040 swapFree=4139776/4192956 [pid=8420] ppid=8418 vsize=92892 CPUtime=175.92 /proc/8420/stat : 8420 (wbo1.4b) R 8418 8420 8251 0 -1 4202496 23252 0 0 0 17507 85 0 0 25 0 1 0 44114999 95121408 22622 1992294400 134512640 135751879 4289171568 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8420/statm: 23223 22622 148 303 0 22918 0 Current children cumulated CPU time (s) 175.92 Current children cumulated vsize (KiB) 92892 [startup+179.202 s] /proc/loadavg: 1.05 1.84 1.88 2/107 8427 /proc/meminfo: memFree=1729108/2059040 swapFree=4139776/4192956 [pid=8420] ppid=8418 vsize=93948 CPUtime=179.12 /proc/8420/stat : 8420 (wbo1.4b) R 8418 8420 8251 0 -1 4202496 23517 0 0 0 17825 87 0 0 25 0 1 0 44114999 96202752 22887 1992294400 134512640 135751879 4289171568 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8420/statm: 23487 22887 148 303 0 23182 0 Current children cumulated CPU time (s) 179.12 Current children cumulated vsize (KiB) 93948 [startup+180.002 s] /proc/loadavg: 1.05 1.84 1.88 2/107 8427 /proc/meminfo: memFree=1728860/2059040 swapFree=4139776/4192956 [pid=8420] ppid=8418 vsize=94212 CPUtime=179.92 /proc/8420/stat : 8420 (wbo1.4b) R 8418 8420 8251 0 -1 4202496 23573 0 0 0 17905 87 0 0 25 0 1 0 44114999 96473088 22943 1992294400 134512640 135751879 4289171568 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8420/statm: 23553 22943 148 303 0 23248 0 Current children cumulated CPU time (s) 179.92 Current children cumulated vsize (KiB) 94212 [startup+180.802 s] /proc/loadavg: 1.05 1.84 1.88 2/107 8427 /proc/meminfo: memFree=1728488/2059040 swapFree=4139776/4192956 [pid=8420] ppid=8418 vsize=94476 CPUtime=180.72 /proc/8420/stat : 8420 (wbo1.4b) R 8418 8420 8251 0 -1 4202496 23629 0 0 0 17984 88 0 0 25 0 1 0 44114999 96743424 22999 1992294400 134512640 135751879 4289171568 18446744073709551615 134611233 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8420/statm: 23619 22999 148 303 0 23314 0 Current children cumulated CPU time (s) 180.72 Current children cumulated vsize (KiB) 94476 [startup+181.202 s] /proc/loadavg: 1.05 1.84 1.88 2/107 8427 /proc/meminfo: memFree=1728488/2059040 swapFree=4139776/4192956 [pid=8420] ppid=8418 vsize=97748 CPUtime=181.12 /proc/8420/stat : 8420 (wbo1.4b) R 8418 8420 8251 0 -1 4202496 24417 0 0 0 18024 88 0 0 25 0 1 0 44114999 100093952 23787 1992294400 134512640 135751879 4289171568 18446744073709551615 135200099 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8420/statm: 24437 23787 149 303 0 24132 0 Current children cumulated CPU time (s) 181.12 Current children cumulated vsize (KiB) 97748 Child status: 0 Real time (s): 181.229 CPU time (s): 181.157 CPU user time (s): 180.263 CPU system time (s): 0.894863 CPU usage (%): 99.9605 Max. virtual memory (cumulated for all children) (KiB): 97748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.263 system time used= 0.894863 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24418 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= 33 involuntary context switches= 2444 runsolver used 0.32695 second user time and 0.85487 second system time The end
Begin job on node013 at 2010-06-16 12:45:35 IDJOB=2655734 IDBENCH=71823 IDSOLVER=1161 FILE ID=node013/2655734-1276685135 PBS_JOBID= 11172588 Free space on /tmp= 62548 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-4000opt.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655734-1276685135/watcher-2655734-1276685135 -o /tmp/evaluation-result-2655734-1276685135/solver-2655734-1276685135 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655734-1276685135.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6c6e5d09e1e6b4cdc1d36588d438ba6a RANDOM SEED=422441221 node013.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.253 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.50 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.253 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1821280 kB Buffers: 46808 kB Cached: 97804 kB SwapCached: 6572 kB Active: 92732 kB Inactive: 65732 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1821280 kB SwapTotal: 4192956 kB SwapFree: 4139776 kB Dirty: 4664 kB Writeback: 0 kB AnonPages: 12316 kB Mapped: 13012 kB Slab: 57396 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181536 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= 62544 MiB End job on node013 at 2010-06-16 12:48:36