Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -142 | 181.262 | 181.316 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-3000opt.opb |
MD5SUM | 948226035ef0280d59f9150dd2b5c694 |
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 | -187 |
Best CPU time to get the best result obtained on this benchmark | 35.0747 |
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 | 63877 |
Number of constraints which are clauses | 63877 |
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 | 340 |
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 | 340 |
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-2655739-1276685856.opb. 0.00/0.00 c Instance file HOME/instance-2655739-1276685856.opb 0.00/0.00 c File size is 2132614 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.29 s | 0.19/0.29 c | Number Variables: 2025 | 0.19/0.29 c | Number Clauses: 63877 | 0.19/0.29 c | Number Cardinality: 0 | 0.19/0.29 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 | 2018 63884 190461 | 21292 0 nan | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c New solution: 340 0.39/0.40 o 340 0.39/0.40 c Elapsed CPU time: 0.38894 s Remaining CPU time: 179.611 s 0.39/0.40 c =============================================================================== 0.39/0.40 c | 0 | 2018 63885 190596 | 21295 0 nan | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c New solution: 337 0.39/0.40 o 337 0.39/0.40 c Elapsed CPU time: 0.395939 s Remaining CPU time: 179.604 s 0.39/0.40 c =============================================================================== 0.39/0.41 c | 0 | 2018 63886 190731 | 21295 0 nan | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c New solution: 336 0.39/0.42 o 336 0.39/0.42 c Elapsed CPU time: 0.406938 s Remaining CPU time: 179.593 s 0.39/0.42 c =============================================================================== 0.39/0.42 c | 0 | 2018 63887 190866 | 21295 0 nan | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c New solution: 333 0.39/0.43 o 333 0.39/0.43 c Elapsed CPU time: 0.418936 s Remaining CPU time: 179.581 s 0.39/0.43 c =============================================================================== 0.39/0.43 c | 0 | 2018 63888 191001 | 21296 0 nan | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c New solution: 331 0.39/0.44 o 331 0.39/0.44 c Elapsed CPU time: 0.427934 s Remaining CPU time: 179.572 s 0.39/0.44 c =============================================================================== 0.39/0.44 c | 1 | 2018 63889 191136 | 21296 1 133 | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c New solution: 330 0.39/0.45 o 330 0.39/0.45 c Elapsed CPU time: 0.438933 s Remaining CPU time: 179.561 s 0.39/0.45 c =============================================================================== 0.39/0.45 c | 1 | 2018 63890 191271 | 21296 1 133 | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c New solution: 329 0.39/0.46 o 329 0.39/0.46 c Elapsed CPU time: 0.448931 s Remaining CPU time: 179.551 s 0.39/0.46 c =============================================================================== 0.39/0.46 c | 1 | 2018 63891 191406 | 21297 1 133 | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c New solution: 327 0.39/0.47 o 327 0.39/0.47 c Elapsed CPU time: 0.45893 s Remaining CPU time: 179.541 s 0.39/0.47 c =============================================================================== 0.39/0.47 c | 1 | 2018 63892 191541 | 21297 1 133 | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c New solution: 326 0.39/0.49 o 326 0.39/0.49 c Elapsed CPU time: 0.467928 s Remaining CPU time: 179.532 s 0.39/0.49 c =============================================================================== 0.39/0.49 c | 1 | 2018 63893 191676 | 21297 1 133 | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c New solution: 324 0.49/0.50 o 324 0.49/0.50 c Elapsed CPU time: 0.477927 s Remaining CPU time: 179.522 s 0.49/0.50 c =============================================================================== 0.49/0.50 c | 2 | 2018 63894 191811 | 21298 2 132 | 0.000 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c New solution: 322 0.49/0.51 o 322 0.49/0.51 c Elapsed CPU time: 0.487925 s Remaining CPU time: 179.512 s 0.49/0.51 c =============================================================================== 0.49/0.51 c | 2 | 2018 63895 191946 | 21298 2 132 | 0.000 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c New solution: 319 0.49/0.52 o 319 0.49/0.52 c Elapsed CPU time: 0.499924 s Remaining CPU time: 179.5 s 0.49/0.52 c =============================================================================== 0.49/0.52 c | 4 | 2018 63896 192081 | 21298 4 130 | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c New solution: 318 0.49/0.53 o 318 0.49/0.53 c Elapsed CPU time: 0.508922 s Remaining CPU time: 179.491 s 0.49/0.53 c =============================================================================== 0.49/0.53 c | 4 | 2018 63897 192216 | 21299 4 130 | 0.000 % | 0.49/0.54 c =============================================================================== 0.49/0.54 c New solution: 316 0.49/0.54 o 316 0.49/0.54 c Elapsed CPU time: 0.517921 s Remaining CPU time: 179.482 s 0.49/0.54 c =============================================================================== 0.49/0.54 c | 5 | 2018 63898 192351 | 21299 5 129 | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c New solution: 315 0.49/0.55 o 315 0.49/0.55 c Elapsed CPU time: 0.528919 s Remaining CPU time: 179.471 s 0.49/0.55 c =============================================================================== 0.49/0.55 c | 5 | 2018 63899 192486 | 21299 5 129 | 0.000 % | 0.49/0.56 c =============================================================================== 0.49/0.57 c New solution: 314 0.49/0.57 o 314 0.49/0.57 c Elapsed CPU time: 0.538918 s Remaining CPU time: 179.461 s 0.49/0.57 c =============================================================================== 0.49/0.57 c | 5 | 2018 63900 192621 | 21300 5 129 | 0.000 % | 0.49/0.58 c =============================================================================== 0.49/0.58 c New solution: 312 0.49/0.58 o 312 0.49/0.58 c Elapsed CPU time: 0.550916 s Remaining CPU time: 179.449 s 0.49/0.58 c =============================================================================== 0.49/0.58 c | 7 | 2018 63901 192756 | 21300 7 128 | 0.000 % | 0.49/0.59 c =============================================================================== 0.49/0.59 c New solution: 311 0.49/0.59 o 311 0.49/0.59 c Elapsed CPU time: 0.561914 s Remaining CPU time: 179.438 s 0.49/0.59 c =============================================================================== 0.49/0.59 c | 10 | 2018 63902 192891 | 21300 10 127 | 0.000 % | 0.59/0.60 c =============================================================================== 0.59/0.60 c New solution: 309 0.59/0.60 o 309 0.59/0.60 c Elapsed CPU time: 0.571913 s Remaining CPU time: 179.428 s 0.59/0.60 c =============================================================================== 0.59/0.60 c | 14 | 2018 63903 193026 | 21301 14 117 | 0.000 % | 0.59/0.61 c =============================================================================== 0.59/0.61 c New solution: 308 0.59/0.61 o 308 0.59/0.61 c Elapsed CPU time: 0.582911 s Remaining CPU time: 179.417 s 0.59/0.61 c =============================================================================== 0.59/0.61 c | 17 | 2018 63904 193161 | 21301 17 118 | 0.000 % | 0.59/0.62 c =============================================================================== 0.59/0.62 c New solution: 307 0.59/0.62 o 307 0.59/0.62 c Elapsed CPU time: 0.592909 s Remaining CPU time: 179.407 s 0.59/0.62 c =============================================================================== 0.59/0.62 c | 17 | 2018 63905 193296 | 21301 17 118 | 0.000 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c New solution: 306 0.59/0.63 o 306 0.59/0.63 c Elapsed CPU time: 0.602908 s Remaining CPU time: 179.397 s 0.59/0.63 c =============================================================================== 0.59/0.63 c | 27 | 2018 63906 193431 | 21302 27 120 | 0.000 % | 0.59/0.64 c =============================================================================== 0.59/0.64 c New solution: 305 0.59/0.64 o 305 0.59/0.64 c Elapsed CPU time: 0.612906 s Remaining CPU time: 179.387 s 0.59/0.64 c =============================================================================== 0.59/0.64 c | 27 | 2018 63907 193566 | 21302 27 120 | 0.000 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c New solution: 304 0.59/0.66 o 304 0.59/0.66 c Elapsed CPU time: 0.621905 s Remaining CPU time: 179.378 s 0.59/0.66 c =============================================================================== 0.59/0.66 c | 33 | 2018 63908 193701 | 21302 33 120 | 0.000 % | 0.59/0.67 c =============================================================================== 0.59/0.67 c New solution: 303 0.59/0.67 o 303 0.59/0.67 c Elapsed CPU time: 0.630904 s Remaining CPU time: 179.369 s 0.59/0.67 c =============================================================================== 0.59/0.67 c | 35 | 2018 63909 193836 | 21303 35 120 | 0.000 % | 0.59/0.68 c =============================================================================== 0.59/0.68 c New solution: 302 0.59/0.68 o 302 0.59/0.68 c Elapsed CPU time: 0.641902 s Remaining CPU time: 179.358 s 0.59/0.68 c =============================================================================== 0.59/0.68 c | 35 | 2018 63910 193971 | 21303 35 120 | 0.000 % | 0.59/0.69 c =============================================================================== 0.59/0.69 c New solution: 301 0.59/0.69 o 301 0.59/0.69 c Elapsed CPU time: 0.649901 s Remaining CPU time: 179.35 s 0.59/0.69 c =============================================================================== 0.59/0.69 c | 35 | 2018 63911 194106 | 21303 35 120 | 0.000 % | 0.69/0.70 c =============================================================================== 0.69/0.70 c New solution: 300 0.69/0.70 o 300 0.69/0.70 c Elapsed CPU time: 0.660899 s Remaining CPU time: 179.339 s 0.69/0.70 c =============================================================================== 0.69/0.70 c | 39 | 2018 63912 194241 | 21304 39 120 | 0.000 % | 0.69/0.71 c =============================================================================== 0.69/0.71 c New solution: 299 0.69/0.71 o 299 0.69/0.71 c Elapsed CPU time: 0.670898 s Remaining CPU time: 179.329 s 0.69/0.71 c =============================================================================== 0.69/0.71 c | 45 | 2018 63913 194376 | 21304 45 120 | 0.000 % | 0.69/0.72 c =============================================================================== 0.69/0.72 c New solution: 298 0.69/0.72 o 298 0.69/0.72 c Elapsed CPU time: 0.679896 s Remaining CPU time: 179.32 s 0.69/0.72 c =============================================================================== 0.69/0.72 c | 45 | 2018 63914 194511 | 21304 45 120 | 0.000 % | 0.69/0.73 c =============================================================================== 0.69/0.73 c New solution: 297 0.69/0.73 o 297 0.69/0.73 c Elapsed CPU time: 0.690894 s Remaining CPU time: 179.309 s 0.69/0.73 c =============================================================================== 0.69/0.73 c | 45 | 2018 63915 194646 | 21305 45 120 | 0.000 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c New solution: 296 0.69/0.74 o 296 0.69/0.74 c Elapsed CPU time: 0.700893 s Remaining CPU time: 179.299 s 0.69/0.74 c =============================================================================== 0.69/0.74 c | 45 | 2018 63916 194781 | 21305 45 120 | 0.000 % | 0.69/0.75 c =============================================================================== 0.69/0.75 c New solution: 295 0.69/0.75 o 295 0.69/0.75 c Elapsed CPU time: 0.710891 s Remaining CPU time: 179.289 s 0.69/0.75 c =============================================================================== 0.69/0.75 c | 49 | 2018 63917 194916 | 21305 49 120 | 0.000 % | 0.69/0.77 c =============================================================================== 0.69/0.77 c New solution: 294 0.69/0.77 o 294 0.69/0.77 c Elapsed CPU time: 0.72289 s Remaining CPU time: 179.277 s 0.69/0.77 c =============================================================================== 0.69/0.77 c | 56 | 2018 63918 195051 | 21306 56 120 | 0.000 % | 0.69/0.78 c =============================================================================== 0.69/0.78 c New solution: 293 0.69/0.78 o 293 0.69/0.78 c Elapsed CPU time: 0.734888 s Remaining CPU time: 179.265 s 0.69/0.78 c =============================================================================== 0.69/0.78 c | 63 | 2018 63919 195186 | 21306 63 119 | 0.000 % | 0.69/0.79 c =============================================================================== 0.69/0.79 c New solution: 292 0.69/0.79 o 292 0.69/0.79 c Elapsed CPU time: 0.745886 s Remaining CPU time: 179.254 s 0.69/0.79 c =============================================================================== 0.69/0.79 c | 70 | 2018 63920 195321 | 21306 70 119 | 0.000 % | 0.79/0.80 c =============================================================================== 0.79/0.80 c New solution: 291 0.79/0.80 o 291 0.79/0.80 c Elapsed CPU time: 0.756884 s Remaining CPU time: 179.243 s 0.79/0.80 c =============================================================================== 0.79/0.80 c | 70 | 2018 63921 195456 | 21307 70 119 | 0.000 % | 0.79/0.81 c =============================================================================== 0.79/0.81 c New solution: 290 0.79/0.81 o 290 0.79/0.81 c Elapsed CPU time: 0.766883 s Remaining CPU time: 179.233 s 0.79/0.81 c =============================================================================== 0.79/0.81 c | 75 | 2018 63922 195591 | 21307 75 119 | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.83 c New solution: 289 0.79/0.83 o 289 0.79/0.83 c Elapsed CPU time: 0.778881 s Remaining CPU time: 179.221 s 0.79/0.83 c =============================================================================== 0.79/0.83 c | 92 | 2018 63923 195726 | 21307 92 116 | 0.000 % | 0.79/0.84 c =============================================================================== 0.79/0.84 c New solution: 288 0.79/0.84 o 288 0.79/0.84 c Elapsed CPU time: 0.790879 s Remaining CPU time: 179.209 s 0.79/0.84 c =============================================================================== 0.79/0.84 c | 150 | 2018 63924 195861 | 21308 150 113 | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.85 c New solution: 287 0.79/0.85 o 287 0.79/0.85 c Elapsed CPU time: 0.800878 s Remaining CPU time: 179.199 s 0.79/0.85 c =============================================================================== 0.79/0.85 c | 169 | 2018 63925 195996 | 21308 169 112 | 0.000 % | 0.79/0.86 c =============================================================================== 0.79/0.86 c New solution: 286 0.79/0.86 o 286 0.79/0.86 c Elapsed CPU time: 0.810876 s Remaining CPU time: 179.189 s 0.79/0.86 c =============================================================================== 0.79/0.86 c | 169 | 2018 63926 196131 | 21308 169 112 | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c New solution: 285 0.79/0.88 o 285 0.79/0.88 c Elapsed CPU time: 0.823874 s Remaining CPU time: 179.176 s 0.79/0.88 c =============================================================================== 0.79/0.88 c | 209 | 2018 63927 196266 | 21309 209 111 | 0.000 % | 0.79/0.89 c | 309 | 2018 63927 196266 | 23439 309 111 | 0.346 % | 0.89/0.91 c =============================================================================== 0.89/0.91 c New solution: 284 0.89/0.91 o 284 0.89/0.91 c Elapsed CPU time: 0.856869 s Remaining CPU time: 179.143 s 0.89/0.91 c =============================================================================== 0.89/0.91 c | 386 | 2018 63928 196401 | 21309 386 111 | 0.346 % | 0.89/0.92 c =============================================================================== 0.89/0.92 c New solution: 283 0.89/0.92 o 283 0.89/0.92 c Elapsed CPU time: 0.868867 s Remaining CPU time: 179.131 s 0.89/0.92 c =============================================================================== 0.89/0.92 c | 392 | 2018 63929 196536 | 21309 392 111 | 0.346 % | 0.89/0.94 c =============================================================================== 0.89/0.94 c New solution: 282 0.89/0.94 o 282 0.89/0.94 c Elapsed CPU time: 0.887865 s Remaining CPU time: 179.112 s 0.89/0.94 c =============================================================================== 0.89/0.94 c | 462 | 2018 63930 196671 | 21310 462 111 | 0.346 % | 0.89/0.95 c =============================================================================== 0.89/0.95 c New solution: 281 0.89/0.95 o 281 0.89/0.95 c Elapsed CPU time: 0.899863 s Remaining CPU time: 179.1 s 0.89/0.95 c =============================================================================== 0.89/0.95 c | 462 | 2018 63931 196806 | 21310 462 111 | 0.346 % | 0.89/0.97 c =============================================================================== 0.89/0.97 c New solution: 280 0.89/0.97 o 280 0.89/0.97 c Elapsed CPU time: 0.913861 s Remaining CPU time: 179.086 s 0.89/0.97 c =============================================================================== 0.89/0.97 c | 479 | 2018 63932 196941 | 21310 479 110 | 0.346 % | 0.89/0.98 c =============================================================================== 0.89/0.98 c New solution: 279 0.89/0.98 o 279 0.89/0.98 c Elapsed CPU time: 0.924859 s Remaining CPU time: 179.075 s 0.89/0.98 c =============================================================================== 0.89/0.98 c | 486 | 2018 63933 197076 | 21311 486 110 | 0.346 % | 0.89/0.99 c =============================================================================== 0.89/0.99 c New solution: 278 0.89/0.99 o 278 0.89/0.99 c Elapsed CPU time: 0.934857 s Remaining CPU time: 179.065 s 0.89/0.99 c =============================================================================== 0.89/0.99 c | 486 | 2018 63934 197211 | 21311 486 110 | 0.346 % | 1.00/1.01 c | 586 | 2018 63934 197211 | 23442 586 110 | 0.346 % | 1.00/1.03 c | 736 | 2018 63934 197211 | 25786 736 109 | 0.346 % | 1.00/1.07 c | 961 | 2018 63934 197211 | 28365 961 109 | 0.346 % | 1.00/1.09 c =============================================================================== 1.00/1.09 c New solution: 277 1.00/1.09 o 277 1.00/1.09 c Elapsed CPU time: 1.03384 s Remaining CPU time: 178.966 s 1.00/1.09 c =============================================================================== 1.00/1.09 c | 1014 | 2018 63935 197346 | 21311 1014 108 | 0.346 % | 1.10/1.11 c =============================================================================== 1.10/1.11 c New solution: 276 1.10/1.11 o 276 1.10/1.11 c Elapsed CPU time: 1.04484 s Remaining CPU time: 178.955 s 1.10/1.11 c =============================================================================== 1.10/1.11 c | 1015 | 2018 63936 197481 | 21312 1015 108 | 0.346 % | 1.10/1.12 c | 1116 | 2018 63936 197481 | 23443 1116 108 | 0.346 % | 1.10/1.13 c =============================================================================== 1.10/1.13 c New solution: 275 1.10/1.13 o 275 1.10/1.13 c Elapsed CPU time: 1.07184 s Remaining CPU time: 178.928 s 1.10/1.13 c =============================================================================== 1.10/1.13 c | 1130 | 2018 63937 197616 | 21312 1130 108 | 0.346 % | 1.10/1.16 c =============================================================================== 1.10/1.16 c New solution: 274 1.10/1.16 o 274 1.10/1.16 c Elapsed CPU time: 1.09283 s Remaining CPU time: 178.907 s 1.10/1.16 c =============================================================================== 1.10/1.16 c | 1208 | 2018 63938 197751 | 21312 1208 108 | 0.346 % | 1.10/1.17 c =============================================================================== 1.10/1.17 c New solution: 273 1.10/1.17 o 273 1.10/1.17 c Elapsed CPU time: 1.10383 s Remaining CPU time: 178.896 s 1.10/1.17 c =============================================================================== 1.10/1.17 c | 1210 | 2018 63939 197886 | 21313 1210 108 | 0.346 % | 1.10/1.19 c | 1310 | 2018 63939 197886 | 23444 1310 108 | 0.346 % | 1.19/1.21 c =============================================================================== 1.19/1.21 c New solution: 272 1.19/1.21 o 272 1.19/1.21 c Elapsed CPU time: 1.13883 s Remaining CPU time: 178.861 s 1.19/1.21 c =============================================================================== 1.19/1.21 c | 1362 | 2018 63940 198021 | 21313 1362 108 | 0.346 % | 1.19/1.23 c =============================================================================== 1.19/1.23 c New solution: 271 1.19/1.23 o 271 1.19/1.23 c Elapsed CPU time: 1.15882 s Remaining CPU time: 178.841 s 1.19/1.23 c =============================================================================== 1.19/1.23 c | 1448 | 2018 63941 198156 | 21313 1448 108 | 0.346 % | 1.19/1.24 c =============================================================================== 1.19/1.24 c New solution: 270 1.19/1.24 o 270 1.19/1.24 c Elapsed CPU time: 1.16882 s Remaining CPU time: 178.831 s 1.19/1.24 c =============================================================================== 1.19/1.24 c | 1448 | 2018 63942 198291 | 21314 1448 108 | 0.346 % | 1.19/1.26 c | 1550 | 2018 63942 198291 | 23445 1550 108 | 0.346 % | 1.19/1.29 c | 1700 | 2018 63942 198291 | 25789 1700 108 | 0.346 % | 1.29/1.33 c | 1925 | 2018 63942 198291 | 28368 1925 108 | 0.346 % | 1.39/1.40 c =============================================================================== 1.39/1.40 c New solution: 269 1.39/1.40 o 269 1.39/1.40 c Elapsed CPU time: 1.3208 s Remaining CPU time: 178.679 s 1.39/1.40 c =============================================================================== 1.39/1.40 c | 2219 | 2018 63943 198426 | 21314 2219 108 | 0.346 % | 1.39/1.41 c =============================================================================== 1.39/1.41 c New solution: 268 1.39/1.41 o 268 1.39/1.41 c Elapsed CPU time: 1.3358 s Remaining CPU time: 178.664 s 1.39/1.41 c =============================================================================== 1.39/1.41 c | 2229 | 2018 63944 198561 | 21314 2229 108 | 0.346 % | 1.39/1.43 c | 2330 | 2018 63944 198561 | 23446 2330 108 | 0.346 % | 1.39/1.46 c | 2480 | 2018 63944 198561 | 25790 2480 108 | 0.346 % | 1.39/1.47 c =============================================================================== 1.39/1.47 c New solution: 267 1.39/1.47 o 267 1.39/1.47 c Elapsed CPU time: 1.39379 s Remaining CPU time: 178.606 s 1.39/1.47 c =============================================================================== 1.39/1.47 c | 2501 | 2018 63945 198696 | 21315 2501 108 | 0.346 % | 1.39/1.49 c =============================================================================== 1.39/1.49 c New solution: 266 1.39/1.49 o 266 1.39/1.49 c Elapsed CPU time: 1.40579 s Remaining CPU time: 178.594 s 1.39/1.49 c =============================================================================== 1.39/1.49 c | 2501 | 2018 63946 198831 | 21315 2501 108 | 0.346 % | 1.49/1.51 c | 2602 | 2018 63946 198831 | 23446 2602 108 | 0.346 % | 1.49/1.53 c | 2753 | 2018 63946 198831 | 25791 2753 108 | 0.346 % | 1.49/1.59 c | 2979 | 2018 63946 198831 | 28370 2979 107 | 0.346 % | 1.59/1.65 c | 3317 | 2018 63946 198831 | 31207 3317 107 | 0.346 % | 1.69/1.74 c | 3823 | 2018 63946 198831 | 34328 3823 107 | 0.346 % | 1.69/1.76 c =============================================================================== 1.69/1.76 c New solution: 265 1.69/1.76 o 265 1.69/1.76 c Elapsed CPU time: 1.67774 s Remaining CPU time: 178.322 s 1.69/1.76 c =============================================================================== 1.69/1.76 c | 3880 | 2018 63947 198966 | 21315 3880 107 | 0.346 % | 1.69/1.78 c =============================================================================== 1.69/1.78 c New solution: 264 1.69/1.78 o 264 1.69/1.78 c Elapsed CPU time: 1.69174 s Remaining CPU time: 178.308 s 1.69/1.78 c =============================================================================== 1.69/1.78 c | 3890 | 2018 63948 199101 | 21316 3890 107 | 0.346 % | 1.69/1.79 c =============================================================================== 1.69/1.79 c New solution: 263 1.69/1.79 o 263 1.69/1.79 c Elapsed CPU time: 1.70374 s Remaining CPU time: 178.296 s 1.69/1.79 c =============================================================================== 1.69/1.79 c | 3890 | 2018 63949 199236 | 21316 3890 107 | 0.346 % | 1.79/1.81 c =============================================================================== 1.79/1.81 c New solution: 262 1.79/1.81 o 262 1.79/1.81 c Elapsed CPU time: 1.72474 s Remaining CPU time: 178.275 s 1.79/1.81 c =============================================================================== 1.79/1.81 c | 3938 | 2018 63950 199371 | 21316 3938 107 | 0.346 % | 1.79/1.83 c =============================================================================== 1.79/1.83 c New solution: 261 1.79/1.83 o 261 1.79/1.83 c Elapsed CPU time: 1.74174 s Remaining CPU time: 178.258 s 1.79/1.83 c =============================================================================== 1.79/1.83 c | 3964 | 2018 63951 199506 | 21317 3964 107 | 0.346 % | 1.79/1.84 c =============================================================================== 1.79/1.84 c New solution: 260 1.79/1.84 o 260 1.79/1.84 c Elapsed CPU time: 1.75373 s Remaining CPU time: 178.246 s 1.79/1.84 c =============================================================================== 1.79/1.84 c | 3964 | 2018 63952 199641 | 21317 3964 107 | 0.346 % | 1.79/1.86 c | 4065 | 2018 63952 199641 | 23449 4065 107 | 0.346 % | 1.79/1.89 c | 4216 | 2018 63952 199641 | 25793 4216 107 | 0.346 % | 1.89/1.94 c | 4441 | 2018 63952 199641 | 28373 4441 107 | 0.346 % | 1.89/1.98 c =============================================================================== 1.89/1.98 c New solution: 259 1.89/1.98 o 259 1.89/1.98 c Elapsed CPU time: 1.88971 s Remaining CPU time: 178.11 s 1.89/1.98 c =============================================================================== 1.89/1.98 c | 4647 | 2018 63953 199776 | 21317 4647 107 | 0.346 % | 1.89/1.99 c =============================================================================== 1.89/1.99 c New solution: 258 1.89/1.99 o 258 1.89/1.99 c Elapsed CPU time: 1.90171 s Remaining CPU time: 178.098 s 1.89/1.99 c =============================================================================== 1.89/1.99 c | 4647 | 2018 63954 199911 | 21318 4647 107 | 0.346 % | 1.99/2.02 c | 4748 | 2018 63954 199911 | 23449 4748 107 | 0.346 % | 1.99/2.05 c =============================================================================== 1.99/2.05 c New solution: 257 1.99/2.05 o 257 1.99/2.05 c Elapsed CPU time: 1.9507 s Remaining CPU time: 178.049 s 1.99/2.05 c =============================================================================== 1.99/2.05 c | 4842 | 2018 63955 200046 | 21318 4842 106 | 0.346 % | 1.99/2.07 c | 4944 | 2018 63955 200046 | 23450 4944 106 | 0.346 % | 1.99/2.09 c | 5094 | 2018 63955 200046 | 25795 5094 106 | 0.346 % | 2.09/2.15 c | 5319 | 2018 63955 200046 | 28374 5319 106 | 0.346 % | 2.09/2.19 c =============================================================================== 2.09/2.19 c New solution: 256 2.09/2.19 o 256 2.09/2.19 c Elapsed CPU time: 2.09668 s Remaining CPU time: 177.903 s 2.09/2.19 c =============================================================================== 2.09/2.19 c | 5469 | 2018 63956 200181 | 21318 5469 106 | 0.346 % | 2.20/2.23 c =============================================================================== 2.20/2.23 c New solution: 255 2.20/2.23 o 255 2.20/2.23 c Elapsed CPU time: 2.13468 s Remaining CPU time: 177.865 s 2.20/2.23 c =============================================================================== 2.20/2.23 c | 5562 | 2018 63957 200316 | 21319 5562 106 | 0.346 % | 2.20/2.25 c =============================================================================== 2.20/2.25 c New solution: 254 2.20/2.25 o 254 2.20/2.25 c Elapsed CPU time: 2.14967 s Remaining CPU time: 177.85 s 2.20/2.25 c =============================================================================== 2.20/2.25 c | 5567 | 2018 63958 200451 | 21319 5567 106 | 0.346 % | 2.20/2.27 c | 5668 | 2018 63958 200451 | 23451 5668 106 | 0.346 % | 2.29/2.32 c | 5819 | 2018 63958 200451 | 25796 5819 106 | 0.346 % | 2.29/2.39 c | 6044 | 2018 63958 200451 | 28376 6044 106 | 0.346 % | 2.39/2.48 c | 6382 | 2018 63958 200451 | 31213 6382 106 | 0.346 % | 2.59/2.63 c | 6889 | 2018 63958 200451 | 34334 6889 106 | 0.346 % | 2.79/2.80 c =============================================================================== 2.79/2.80 c New solution: 253 2.79/2.80 o 253 2.79/2.80 c Elapsed CPU time: 2.69659 s Remaining CPU time: 177.303 s 2.79/2.80 c =============================================================================== 2.79/2.80 c | 7377 | 2018 63959 200586 | 21319 7377 105 | 0.346 % | 2.79/2.84 c | 7478 | 2018 63959 200586 | 23451 7478 105 | 0.346 % | 2.89/2.90 c | 7628 | 2018 63959 200586 | 25796 7628 105 | 0.346 % | 2.89/2.99 c | 7853 | 2018 63959 200586 | 28376 7853 105 | 0.346 % | 3.09/3.15 c | 8191 | 2018 63959 200586 | 31214 8191 105 | 0.346 % | 3.29/3.33 c | 8699 | 2018 63959 200586 | 34335 8699 105 | 0.346 % | 3.59/3.61 c | 9458 | 2018 63959 200586 | 37769 9458 105 | 0.346 % | 3.59/3.63 c =============================================================================== 3.59/3.63 c New solution: 252 3.59/3.63 o 252 3.59/3.63 c Elapsed CPU time: 3.52046 s Remaining CPU time: 176.48 s 3.59/3.63 c =============================================================================== 3.59/3.63 c | 9472 | 2018 63960 200721 | 21320 9472 105 | 0.346 % | 3.59/3.67 c | 9572 | 2018 63960 200721 | 23452 9572 105 | 0.346 % | 3.69/3.70 c =============================================================================== 3.69/3.70 c New solution: 251 3.69/3.70 o 251 3.69/3.70 c Elapsed CPU time: 3.59045 s Remaining CPU time: 176.41 s 3.69/3.70 c =============================================================================== 3.69/3.70 c | 9606 | 2018 63961 200856 | 21320 9606 105 | 0.346 % | 3.69/3.75 c | 9707 | 2018 63961 200856 | 23452 9707 104 | 0.346 % | 3.79/3.81 c | 9859 | 2018 63961 200856 | 25797 9859 104 | 0.346 % | 3.79/3.89 c =============================================================================== 3.79/3.89 c New solution: 250 3.79/3.89 o 250 3.79/3.89 c Elapsed CPU time: 3.78342 s Remaining CPU time: 176.217 s 3.79/3.89 c =============================================================================== 3.79/3.89 c | 10009 | 2018 63962 200991 | 21320 10009 104 | 0.346 % | 3.89/3.93 c | 10109 | 2018 63962 200991 | 23452 10109 104 | 0.346 % | 3.89/3.98 c | 10260 | 2018 63962 200991 | 25798 10260 104 | 0.346 % | 3.89/3.99 c =============================================================================== 3.89/3.99 c New solution: 249 3.89/3.99 o 249 3.89/3.99 c Elapsed CPU time: 3.88241 s Remaining CPU time: 176.118 s 3.89/3.99 c =============================================================================== 3.89/3.99 c | 10284 | 2018 63963 201126 | 21321 10284 104 | 0.346 % | 3.99/4.02 c =============================================================================== 3.99/4.02 c New solution: 248 3.99/4.02 o 248 3.99/4.02 c Elapsed CPU time: 3.9074 s Remaining CPU time: 176.093 s 3.99/4.02 c =============================================================================== 3.99/4.02 c | 10334 | 2018 63964 201261 | 21321 10334 104 | 0.346 % | 3.99/4.04 c =============================================================================== 3.99/4.04 c New solution: 247 3.99/4.04 o 247 3.99/4.04 c Elapsed CPU time: 3.9204 s Remaining CPU time: 176.08 s 3.99/4.04 c =============================================================================== 3.99/4.04 c | 10334 | 2018 63965 201396 | 21321 10334 104 | 0.346 % | 3.99/4.05 c =============================================================================== 3.99/4.05 c New solution: 246 3.99/4.05 o 246 3.99/4.05 c Elapsed CPU time: 3.9334 s Remaining CPU time: 176.067 s 3.99/4.05 c =============================================================================== 3.99/4.05 c | 10334 | 2018 63966 201531 | 21322 10334 104 | 0.346 % | 3.99/4.09 c =============================================================================== 3.99/4.09 c New solution: 245 3.99/4.09 o 245 3.99/4.09 c Elapsed CPU time: 3.9724 s Remaining CPU time: 176.028 s 3.99/4.09 c =============================================================================== 3.99/4.09 c | 10426 | 2018 63967 201666 | 21322 10426 104 | 0.346 % | 4.09/4.12 c =============================================================================== 4.09/4.12 c New solution: 243 4.09/4.12 o 243 4.09/4.12 c Elapsed CPU time: 4.00339 s Remaining CPU time: 175.997 s 4.09/4.12 c =============================================================================== 4.09/4.12 c | 10480 | 2018 63968 201801 | 21322 10480 104 | 0.346 % | 4.09/4.14 c =============================================================================== 4.09/4.14 c New solution: 242 4.09/4.14 o 242 4.09/4.14 c Elapsed CPU time: 4.01639 s Remaining CPU time: 175.984 s 4.09/4.14 c =============================================================================== 4.09/4.14 c | 10480 | 2018 63969 201936 | 21323 10480 104 | 0.346 % | 4.09/4.17 c =============================================================================== 4.09/4.17 c New solution: 240 4.09/4.17 o 240 4.09/4.17 c Elapsed CPU time: 4.04638 s Remaining CPU time: 175.954 s 4.09/4.17 c =============================================================================== 4.09/4.17 c | 10527 | 2018 63970 202071 | 21323 10527 104 | 0.346 % | 4.19/4.20 c | 10629 | 2018 63970 202071 | 23455 10629 104 | 0.346 % | 4.19/4.23 c =============================================================================== 4.19/4.23 c New solution: 239 4.19/4.23 o 239 4.19/4.23 c Elapsed CPU time: 4.10538 s Remaining CPU time: 175.895 s 4.19/4.23 c =============================================================================== 4.19/4.23 c | 10661 | 2018 63971 202206 | 21323 10661 104 | 0.346 % | 4.19/4.24 c =============================================================================== 4.19/4.24 c New solution: 237 4.19/4.24 o 237 4.19/4.24 c Elapsed CPU time: 4.11637 s Remaining CPU time: 175.884 s 4.19/4.24 c =============================================================================== 4.19/4.24 c | 10663 | 2018 63972 202341 | 21324 10663 104 | 0.346 % | 4.19/4.28 c | 10763 | 2018 63972 202341 | 23456 10763 104 | 0.346 % | 4.29/4.34 c =============================================================================== 4.29/4.34 c New solution: 236 4.29/4.34 o 236 4.29/4.34 c Elapsed CPU time: 4.21536 s Remaining CPU time: 175.785 s 4.29/4.34 c =============================================================================== 4.29/4.34 c | 10898 | 2018 63973 202476 | 21324 10898 104 | 0.346 % | 4.29/4.36 c =============================================================================== 4.29/4.36 c New solution: 235 4.29/4.36 o 235 4.29/4.36 c Elapsed CPU time: 4.22736 s Remaining CPU time: 175.773 s 4.29/4.36 c =============================================================================== 4.29/4.36 c | 10898 | 2018 63974 202611 | 21324 10898 104 | 0.346 % | 4.29/4.39 c =============================================================================== 4.29/4.39 c New solution: 234 4.29/4.39 o 234 4.29/4.39 c Elapsed CPU time: 4.25835 s Remaining CPU time: 175.742 s 4.29/4.39 c =============================================================================== 4.29/4.39 c | 10948 | 2018 63975 202746 | 21325 10948 104 | 0.346 % | 4.40/4.42 c | 11048 | 2018 63975 202746 | 23457 11048 104 | 0.346 % | 4.40/4.47 c | 11198 | 2018 63975 202746 | 25803 11198 104 | 0.346 % | 4.49/4.50 c =============================================================================== 4.49/4.50 c New solution: 233 4.49/4.50 o 233 4.49/4.50 c Elapsed CPU time: 4.37033 s Remaining CPU time: 175.63 s 4.49/4.50 c =============================================================================== 4.49/4.50 c | 11256 | 2018 63976 202881 | 21325 11256 104 | 0.346 % | 4.49/4.54 c | 11358 | 2018 63976 202881 | 23457 11358 104 | 0.346 % | 4.49/4.58 c =============================================================================== 4.49/4.58 c New solution: 232 4.49/4.58 o 232 4.49/4.58 c Elapsed CPU time: 4.44832 s Remaining CPU time: 175.552 s 4.49/4.58 c =============================================================================== 4.49/4.58 c | 11461 | 2018 63977 203016 | 21325 11461 104 | 0.346 % | 4.59/4.63 c | 11562 | 2018 63977 203016 | 23458 11562 104 | 0.346 % | 4.59/4.68 c | 11714 | 2018 63977 203016 | 25804 11714 103 | 0.346 % | 4.69/4.76 c | 11939 | 2018 63977 203016 | 28384 11939 103 | 0.346 % | 4.79/4.88 c | 12279 | 2018 63977 203016 | 31222 12279 103 | 0.346 % | 4.99/5.06 c | 12785 | 2018 63977 203016 | 34345 12785 103 | 0.346 % | 5.29/5.38 c | 13544 | 2018 63977 203016 | 37779 13544 102 | 0.346 % | 5.79/5.89 c | 14683 | 2018 63977 203016 | 41557 14683 101 | 0.346 % | 5.99/6.07 c =============================================================================== 5.99/6.07 c New solution: 231 5.99/6.07 o 231 5.99/6.07 c Elapsed CPU time: 5.9261 s Remaining CPU time: 174.074 s 5.99/6.07 c =============================================================================== 5.99/6.07 c | 15029 | 2018 63978 203151 | 21326 15029 101 | 0.346 % | 6.09/6.11 c =============================================================================== 6.09/6.11 c New solution: 230 6.09/6.11 o 230 6.09/6.11 c Elapsed CPU time: 5.95909 s Remaining CPU time: 174.041 s 6.09/6.11 c =============================================================================== 6.09/6.11 c | 15066 | 2018 63979 203286 | 21326 15066 101 | 0.346 % | 6.09/6.16 c | 15168 | 2018 63979 203286 | 23458 15168 101 | 0.346 % | 6.18/6.21 c | 15318 | 2018 63979 203286 | 25804 15318 101 | 0.346 % | 6.18/6.28 c | 15546 | 2018 63979 203286 | 28385 15546 101 | 0.346 % | 6.39/6.43 c | 15886 | 2018 63979 203286 | 31223 15886 101 | 0.346 % | 6.69/6.72 c | 16392 | 2018 63979 203286 | 34346 16392 100 | 0.346 % | 6.79/6.82 c =============================================================================== 6.79/6.82 c New solution: 229 6.79/6.82 o 229 6.79/6.82 c Elapsed CPU time: 6.66199 s Remaining CPU time: 173.338 s 6.79/6.82 c =============================================================================== 6.79/6.82 c | 16528 | 2018 63980 203421 | 21326 16528 100 | 0.346 % | 6.79/6.83 c =============================================================================== 6.79/6.83 c New solution: 228 6.79/6.83 o 228 6.79/6.83 c Elapsed CPU time: 6.67898 s Remaining CPU time: 173.321 s 6.79/6.83 c =============================================================================== 6.79/6.83 c | 16532 | 2018 63981 203556 | 21327 16532 100 | 0.346 % | 6.79/6.85 c =============================================================================== 6.79/6.85 c New solution: 227 6.79/6.85 o 227 6.79/6.85 c Elapsed CPU time: 6.69398 s Remaining CPU time: 173.306 s 6.79/6.85 c =============================================================================== 6.79/6.85 c | 16537 | 2018 63982 203691 | 21327 16537 100 | 0.346 % | 6.88/6.92 c | 16637 | 2018 63982 203691 | 23460 16637 100 | 0.346 % | 6.88/6.98 c =============================================================================== 6.88/6.98 c New solution: 226 6.88/6.98 o 226 6.88/6.98 c Elapsed CPU time: 6.82596 s Remaining CPU time: 173.174 s 6.88/6.98 c =============================================================================== 6.88/6.98 c | 16742 | 2018 63983 203826 | 21327 16742 100 | 0.346 % | 6.98/7.05 c | 16844 | 2018 63983 203826 | 23460 16844 100 | 0.346 % | 7.08/7.12 c | 16996 | 2018 63983 203826 | 25806 16996 100 | 0.346 % | 7.18/7.21 c | 17223 | 2018 63983 203826 | 28387 17223 100 | 0.346 % | 7.29/7.35 c | 17560 | 2018 63983 203826 | 31225 17560 100 | 0.346 % | 7.60/7.60 c | 18067 | 2018 63983 203826 | 34348 18067 100 | 0.346 % | 7.99/8.00 c | 18828 | 2018 63983 203826 | 37783 18828 99 | 0.346 % | 8.59/8.61 c =============================================================================== 8.59/8.61 c New solution: 225 8.59/8.61 o 225 8.59/8.61 c Elapsed CPU time: 8.44671 s Remaining CPU time: 171.553 s 8.59/8.61 c =============================================================================== 8.59/8.61 c | 19781 | 2018 63984 203961 | 21328 19781 99 | 0.346 % | 8.59/8.65 c =============================================================================== 8.59/8.65 c New solution: 224 8.59/8.65 o 224 8.59/8.65 c Elapsed CPU time: 8.48771 s Remaining CPU time: 171.512 s 8.59/8.65 c =============================================================================== 8.59/8.65 c | 19821 | 2018 63985 204096 | 21328 19821 99 | 0.346 % | 8.59/8.67 c =============================================================================== 8.59/8.67 c New solution: 223 8.59/8.67 o 223 8.59/8.67 c Elapsed CPU time: 8.50271 s Remaining CPU time: 171.497 s 8.59/8.67 c =============================================================================== 8.59/8.67 c | 19836 | 2018 63986 204231 | 21328 19836 99 | 0.346 % | 8.59/8.68 c =============================================================================== 8.59/8.68 c New solution: 222 8.59/8.68 o 222 8.59/8.68 c Elapsed CPU time: 8.5167 s Remaining CPU time: 171.483 s 8.59/8.68 c =============================================================================== 8.59/8.68 c | 19836 | 2018 63987 204366 | 21329 19836 99 | 0.346 % | 8.69/8.75 c | 19940 | 2018 63987 204366 | 23461 19940 99 | 0.346 % | 8.79/8.86 c | 20093 | 2018 63987 204366 | 25808 20093 99 | 0.346 % | 8.98/9.02 c | 20321 | 2018 63987 204366 | 28388 20321 99 | 0.346 % | 9.18/9.27 c | 20658 | 2018 63987 204366 | 31227 20658 99 | 0.346 % | 9.59/9.63 c | 21165 | 2018 63987 204366 | 34350 21165 98 | 0.346 % | 10.09/10.14 c | 21925 | 2018 63987 204366 | 37785 21925 98 | 0.346 % | 10.79/10.80 c | 23066 | 2018 63987 204366 | 41564 23066 98 | 0.346 % | 11.78/11.84 c | 24774 | 2018 63987 204366 | 45720 24774 97 | 0.346 % | 13.79/13.86 c | 27337 | 2018 63987 204366 | 50292 27337 96 | 0.346 % | 15.89/15.97 c | 31182 | 2018 63987 204366 | 55321 31182 95 | 0.346 % | 17.69/17.71 c =============================================================================== 17.69/17.71 c New solution: 221 17.69/17.71 o 221 17.69/17.71 c Elapsed CPU time: 17.4963 s Remaining CPU time: 162.504 s 17.69/17.71 c =============================================================================== 17.69/17.71 c | 33192 | 2018 63988 204501 | 21329 33192 95 | 0.346 % | 17.99/18.02 c | 33293 | 2018 63988 204501 | 23462 11274 87 | 0.346 % | 17.99/18.08 c | 33444 | 2018 63988 204501 | 25808 11425 87 | 0.346 % | 18.18/18.23 c | 33671 | 2018 63988 204501 | 28389 11652 87 | 0.346 % | 18.38/18.40 c | 34008 | 2018 63988 204501 | 31228 11989 87 | 0.346 % | 18.60/18.67 c | 34515 | 2018 63988 204501 | 34351 12496 87 | 0.346 % | 18.98/19.05 c | 35274 | 2018 63988 204501 | 37786 13255 87 | 0.346 % | 19.69/19.74 c | 36414 | 2018 63988 204501 | 41564 14395 87 | 0.346 % | 20.69/20.77 c | 38123 | 2018 63988 204501 | 45721 16104 87 | 0.346 % | 22.19/22.23 c | 40685 | 2018 63988 204501 | 50293 18666 87 | 0.346 % | 23.98/24.09 c =============================================================================== 23.98/24.09 c New solution: 219 23.98/24.09 o 219 23.98/24.09 c Elapsed CPU time: 23.8344 s Remaining CPU time: 156.166 s 23.98/24.09 c =============================================================================== 23.98/24.09 c | 44001 | 2018 63989 204636 | 21329 21982 87 | 0.346 % | 24.28/24.36 c | 44102 | 2018 63989 204636 | 23462 10935 87 | 0.346 % | 24.38/24.44 c | 44252 | 2018 63989 204636 | 25808 11085 87 | 0.346 % | 24.48/24.57 c | 44478 | 2018 63989 204636 | 28389 11311 87 | 0.346 % | 24.68/24.74 c | 44815 | 2018 63989 204636 | 31228 11648 87 | 0.346 % | 24.98/25.05 c | 45321 | 2018 63989 204636 | 34351 12154 87 | 0.346 % | 25.49/25.57 c | 46080 | 2018 63989 204636 | 37786 12913 87 | 0.346 % | 26.39/26.43 c | 47222 | 2018 63989 204636 | 41565 14055 87 | 0.346 % | 26.89/26.94 c =============================================================================== 26.89/26.94 c New solution: 218 26.89/26.94 o 218 26.89/26.94 c Elapsed CPU time: 26.6679 s Remaining CPU time: 153.332 s 26.89/26.94 c =============================================================================== 26.89/26.94 c | 48324 | 2018 63990 204771 | 21330 15157 87 | 0.346 % | 26.89/26.96 c =============================================================================== 26.89/26.96 c New solution: 217 26.89/26.96 o 217 26.89/26.96 c Elapsed CPU time: 26.6839 s Remaining CPU time: 153.316 s 26.89/26.96 c =============================================================================== 26.89/26.96 c | 48324 | 2018 63991 204906 | 21330 15157 87 | 0.346 % | 26.89/26.98 c =============================================================================== 26.89/26.98 c New solution: 216 26.89/26.98 o 216 26.89/26.98 c Elapsed CPU time: 26.7049 s Remaining CPU time: 153.295 s 26.89/26.98 c =============================================================================== 26.89/26.98 c | 48337 | 2018 63992 205041 | 21330 15170 87 | 0.346 % | 26.99/27.02 c | 48437 | 2018 63992 205041 | 23463 15270 87 | 0.346 % | 26.99/27.10 c | 48588 | 2018 63992 205041 | 25810 15421 87 | 0.346 % | 27.09/27.19 c | 48813 | 2018 63992 205041 | 28391 15646 87 | 0.346 % | 27.28/27.31 c | 49150 | 2018 63992 205041 | 31230 15983 87 | 0.346 % | 27.58/27.61 c | 49658 | 2018 63992 205041 | 34353 16491 87 | 0.346 % | 27.88/27.96 c =============================================================================== 27.88/27.96 c New solution: 215 27.88/27.96 o 215 27.88/27.96 c Elapsed CPU time: 27.6758 s Remaining CPU time: 152.324 s 27.88/27.96 c =============================================================================== 27.88/27.96 c | 50083 | 2018 63993 205176 | 21331 16916 87 | 0.346 % | 27.98/28.02 c | 50184 | 2018 63993 205176 | 23464 17017 87 | 0.346 % | 28.08/28.15 c | 50334 | 2018 63993 205176 | 25810 17167 87 | 0.346 % | 28.28/28.35 c | 50561 | 2018 63993 205176 | 28391 17394 87 | 0.346 % | 28.59/28.64 c | 50899 | 2018 63993 205176 | 31230 17732 87 | 0.346 % | 28.88/28.94 c | 51405 | 2018 63993 205176 | 34353 18238 87 | 0.346 % | 29.29/29.33 c | 52165 | 2018 63993 205176 | 37789 18998 87 | 0.346 % | 30.08/30.16 c | 53307 | 2018 63993 205176 | 41568 20140 87 | 0.346 % | 31.28/31.39 c =============================================================================== 31.28/31.39 c New solution: 214 31.28/31.39 o 214 31.28/31.39 c Elapsed CPU time: 31.1003 s Remaining CPU time: 148.9 s 31.28/31.39 c =============================================================================== 31.28/31.39 c | 54961 | 2018 63994 205311 | 21331 21794 87 | 0.346 % | 31.48/31.58 c | 55061 | 2018 63994 205311 | 23464 10954 85 | 0.346 % | 31.58/31.64 c | 55214 | 2018 63994 205311 | 25810 11107 85 | 0.346 % | 31.68/31.76 c | 55439 | 2018 63994 205311 | 28392 11332 85 | 0.346 % | 31.89/31.97 c | 55777 | 2018 63994 205311 | 31231 11670 85 | 0.346 % | 32.29/32.31 c | 56283 | 2018 63994 205311 | 34354 12176 85 | 0.346 % | 32.68/32.79 c | 57044 | 2018 63994 205311 | 37789 12937 85 | 0.346 % | 33.38/33.47 c | 58183 | 2018 63994 205311 | 41568 14076 85 | 0.346 % | 34.48/34.59 c | 59893 | 2018 63994 205311 | 45725 15786 85 | 0.346 % | 36.08/36.13 c | 62456 | 2018 63994 205311 | 50298 18349 85 | 0.346 % | 36.48/36.51 c =============================================================================== 36.48/36.51 c New solution: 213 36.48/36.51 o 213 36.48/36.51 c Elapsed CPU time: 36.2025 s Remaining CPU time: 143.798 s 36.48/36.51 c =============================================================================== 36.48/36.51 c | 63338 | 2018 63995 205446 | 21331 19231 85 | 0.346 % | 36.48/36.57 c | 63438 | 2018 63995 205446 | 23464 19331 85 | 0.346 % | 36.48/36.59 c =============================================================================== 36.48/36.59 c New solution: 212 36.48/36.59 o 212 36.48/36.59 c Elapsed CPU time: 36.2805 s Remaining CPU time: 143.72 s 36.48/36.59 c =============================================================================== 36.48/36.59 c | 63448 | 2018 63996 205581 | 21332 19341 85 | 0.346 % | 36.58/36.62 c =============================================================================== 36.58/36.62 c New solution: 211 36.58/36.62 o 211 36.58/36.62 c Elapsed CPU time: 36.3145 s Remaining CPU time: 143.686 s 36.58/36.62 c =============================================================================== 36.58/36.62 c | 63478 | 2018 63997 205716 | 21332 19371 85 | 0.346 % | 36.58/36.67 c =============================================================================== 36.58/36.67 c New solution: 210 36.58/36.67 o 210 36.58/36.67 c Elapsed CPU time: 36.3615 s Remaining CPU time: 143.639 s 36.58/36.67 c =============================================================================== 36.58/36.67 c | 63529 | 2018 63998 205851 | 21332 19422 85 | 0.346 % | 36.68/36.73 c | 63631 | 2018 63998 205851 | 23465 19524 85 | 0.346 % | 36.78/36.85 c | 63782 | 2018 63998 205851 | 25812 19675 85 | 0.346 % | 36.88/36.98 c | 64008 | 2018 63998 205851 | 28393 19901 85 | 0.346 % | 37.18/37.21 c | 64349 | 2018 63998 205851 | 31233 20242 85 | 0.346 % | 37.39/37.44 c =============================================================================== 37.39/37.44 c New solution: 209 37.39/37.44 o 209 37.39/37.44 c Elapsed CPU time: 37.1314 s Remaining CPU time: 142.869 s 37.39/37.44 c =============================================================================== 37.39/37.44 c | 64682 | 2018 63999 205986 | 21333 20575 85 | 0.346 % | 37.39/37.48 c =============================================================================== 37.39/37.48 c New solution: 208 37.39/37.48 o 208 37.39/37.48 c Elapsed CPU time: 37.1624 s Remaining CPU time: 142.838 s 37.39/37.48 c =============================================================================== 37.39/37.48 c | 64698 | 2018 64000 206121 | 21333 20591 85 | 0.346 % | 37.48/37.59 c | 64799 | 2018 64000 206121 | 23466 20692 85 | 0.346 % | 37.68/37.71 c | 64949 | 2018 64000 206121 | 25813 20842 85 | 0.346 % | 37.78/37.88 c | 65175 | 2018 64000 206121 | 28394 21068 85 | 0.346 % | 37.98/38.09 c | 65512 | 2018 64000 206121 | 31234 21405 85 | 0.346 % | 38.39/38.45 c | 66018 | 2018 64000 206121 | 34357 21911 85 | 0.346 % | 38.39/38.49 c =============================================================================== 38.39/38.49 c New solution: 207 38.39/38.49 o 207 38.39/38.49 c Elapsed CPU time: 38.1632 s Remaining CPU time: 141.837 s 38.39/38.49 c =============================================================================== 38.39/38.49 c | 66056 | 2018 64001 206256 | 21333 21949 85 | 0.346 % | 38.68/38.70 c | 66157 | 2018 64001 206256 | 23467 11076 83 | 0.346 % | 38.68/38.77 c | 66308 | 2018 64001 206256 | 25813 11227 83 | 0.346 % | 38.78/38.86 c | 66533 | 2018 64001 206256 | 28395 11452 83 | 0.346 % | 38.98/39.01 c | 66871 | 2018 64001 206256 | 31234 11790 83 | 0.346 % | 39.08/39.12 c =============================================================================== 39.08/39.12 c New solution: 206 39.08/39.12 o 206 39.08/39.12 c Elapsed CPU time: 38.7951 s Remaining CPU time: 141.205 s 39.08/39.12 c =============================================================================== 39.08/39.12 c | 67138 | 2018 64002 206391 | 21334 12057 83 | 0.346 % | 39.08/39.17 c | 67239 | 2018 64002 206391 | 23467 12158 83 | 0.346 % | 39.18/39.23 c | 67391 | 2018 64002 206391 | 25814 12310 83 | 0.346 % | 39.28/39.32 c | 67618 | 2018 64002 206391 | 28395 12537 83 | 0.346 % | 39.38/39.47 c | 67956 | 2018 64002 206391 | 31235 12875 83 | 0.346 % | 39.68/39.72 c | 68463 | 2018 64002 206391 | 34358 13382 83 | 0.346 % | 40.08/40.14 c | 69224 | 2018 64002 206391 | 37794 14143 83 | 0.346 % | 40.68/40.71 c | 70363 | 2018 64002 206391 | 41573 15282 83 | 0.346 % | 41.48/41.53 c | 72071 | 2018 64002 206391 | 45731 16990 83 | 0.346 % | 42.89/42.95 c | 74635 | 2018 64002 206391 | 50304 19554 83 | 0.346 % | 45.87/45.91 c | 78480 | 2018 64002 206391 | 55334 23399 83 | 0.346 % | 49.78/49.80 c | 84246 | 2018 64002 206391 | 60868 29165 83 | 0.346 % | 53.18/53.23 c =============================================================================== 53.18/53.23 c New solution: 205 53.18/53.23 o 205 53.18/53.23 c Elapsed CPU time: 52.803 s Remaining CPU time: 127.197 s 53.18/53.23 c =============================================================================== 53.18/53.23 c | 87674 | 2018 64003 206526 | 21334 32593 83 | 0.346 % | 53.58/53.65 c | 87774 | 2018 64003 206526 | 23467 11370 80 | 0.346 % | 53.68/53.71 c | 87925 | 2018 64003 206526 | 25814 11521 80 | 0.346 % | 53.68/53.80 c | 88150 | 2018 64003 206526 | 28395 11746 80 | 0.346 % | 53.88/53.92 c | 88487 | 2018 64003 206526 | 31235 12083 80 | 0.346 % | 54.07/54.10 c | 88994 | 2018 64003 206526 | 34359 12590 81 | 0.346 % | 54.48/54.54 c | 89754 | 2018 64003 206526 | 37795 13350 81 | 0.346 % | 54.88/54.99 c | 90893 | 2018 64003 206526 | 41574 14489 81 | 0.346 % | 55.88/55.95 c | 92602 | 2018 64003 206526 | 45732 16198 80 | 0.346 % | 57.28/57.33 c | 95164 | 2018 64003 206526 | 50305 18760 80 | 0.346 % | 60.08/60.11 c | 99008 | 2018 64003 206526 | 55335 22604 80 | 0.346 % | 62.88/62.92 c | 104774 | 2018 64003 206526 | 60869 28370 81 | 0.346 % | 70.07/70.10 c | 113423 | 2018 64003 206526 | 66956 37019 81 | 0.346 % | 80.87/80.98 c =============================================================================== 80.87/80.98 c New solution: 204 80.87/80.98 o 204 80.87/80.98 c Elapsed CPU time: 80.4048 s Remaining CPU time: 99.5952 s 80.87/80.98 c =============================================================================== 80.87/80.98 c | 125864 | 2018 64004 206661 | 21334 49460 81 | 0.346 % | 83.36/83.41 c =============================================================================== 83.36/83.41 c New solution: 203 83.36/83.41 o 203 83.36/83.41 c Elapsed CPU time: 82.8314 s Remaining CPU time: 97.1686 s 83.36/83.41 c =============================================================================== 83.36/83.41 c | 125864 | 2018 64005 206796 | 21335 11722 80 | 0.346 % | 83.36/83.46 c | 125964 | 2018 64005 206796 | 23468 11822 80 | 0.346 % | 83.48/83.50 c | 126115 | 2018 64005 206796 | 25815 11973 80 | 0.346 % | 83.48/83.57 c | 126341 | 2018 64005 206796 | 28396 12199 81 | 0.346 % | 83.58/83.69 c | 126678 | 2018 64005 206796 | 31236 12536 81 | 0.346 % | 83.77/83.88 c | 127184 | 2018 64005 206796 | 34360 13042 81 | 0.346 % | 83.97/84.01 c =============================================================================== 83.97/84.01 c New solution: 202 83.97/84.01 o 202 83.97/84.01 c Elapsed CPU time: 83.4213 s Remaining CPU time: 96.5787 s 83.97/84.01 c =============================================================================== 83.97/84.01 c | 127437 | 2018 64006 206931 | 21335 13295 81 | 0.346 % | 83.97/84.07 c | 127537 | 2018 64006 206931 | 23468 13395 81 | 0.346 % | 84.07/84.14 c | 127687 | 2018 64006 206931 | 25815 13545 81 | 0.346 % | 84.17/84.23 c | 127913 | 2018 64006 206931 | 28397 13771 81 | 0.346 % | 84.27/84.37 c | 128251 | 2018 64006 206931 | 31237 14109 81 | 0.346 % | 84.57/84.63 c | 128757 | 2018 64006 206931 | 34360 14615 81 | 0.346 % | 84.97/85.07 c | 129516 | 2018 64006 206931 | 37796 15374 81 | 0.346 % | 85.77/85.81 c | 130657 | 2018 64006 206931 | 41576 16515 81 | 0.346 % | 86.77/86.84 c | 132365 | 2018 64006 206931 | 45734 18223 81 | 0.346 % | 88.47/88.53 c | 134927 | 2018 64006 206931 | 50307 20785 81 | 0.346 % | 90.46/90.53 c =============================================================================== 90.46/90.53 c New solution: 201 90.46/90.53 o 201 90.46/90.53 c Elapsed CPU time: 89.8933 s Remaining CPU time: 90.1067 s 90.46/90.53 c =============================================================================== 90.46/90.53 c | 137936 | 2018 64007 207066 | 21335 23794 82 | 0.346 % | 90.67/90.75 c | 138036 | 2018 64007 207066 | 23469 11065 81 | 0.346 % | 90.77/90.84 c | 138186 | 2018 64007 207066 | 25816 11215 81 | 0.346 % | 90.87/90.93 c | 138411 | 2018 64007 207066 | 28397 11440 81 | 0.346 % | 91.06/91.11 c | 138748 | 2018 64007 207066 | 31237 11777 81 | 0.346 % | 91.17/91.28 c =============================================================================== 91.17/91.28 c New solution: 200 91.17/91.28 o 200 91.17/91.28 c Elapsed CPU time: 90.6422 s Remaining CPU time: 89.3578 s 91.17/91.28 c =============================================================================== 91.17/91.28 c | 139101 | 2018 64008 207201 | 21336 12130 81 | 0.346 % | 91.27/91.33 c | 139201 | 2018 64008 207201 | 23469 12230 81 | 0.346 % | 91.27/91.35 c =============================================================================== 91.27/91.35 c New solution: 199 91.27/91.35 o 199 91.27/91.35 c Elapsed CPU time: 90.7132 s Remaining CPU time: 89.2868 s 91.27/91.35 c =============================================================================== 91.27/91.35 c | 139216 | 2018 64009 207336 | 21336 12245 81 | 0.346 % | 91.36/91.40 c | 139316 | 2018 64009 207336 | 23469 12345 81 | 0.346 % | 91.36/91.48 c | 139467 | 2018 64009 207336 | 25816 12496 81 | 0.346 % | 91.56/91.60 c | 139692 | 2018 64009 207336 | 28398 12721 81 | 0.346 % | 91.66/91.77 c | 140029 | 2018 64009 207336 | 31238 13058 81 | 0.346 % | 91.97/92.04 c | 140536 | 2018 64009 207336 | 34362 13565 81 | 0.346 % | 92.27/92.39 c | 141295 | 2018 64009 207336 | 37798 14324 81 | 0.346 % | 92.96/93.02 c | 142438 | 2018 64009 207336 | 41578 15467 81 | 0.346 % | 94.06/94.19 c | 144148 | 2018 64009 207336 | 45736 17177 80 | 0.346 % | 95.76/95.82 c | 146710 | 2018 64009 207336 | 50309 19739 80 | 0.346 % | 98.57/98.62 c =============================================================================== 98.57/98.62 c New solution: 198 98.57/98.62 o 198 98.57/98.62 c Elapsed CPU time: 97.9371 s Remaining CPU time: 82.0629 s 98.57/98.62 c =============================================================================== 98.57/98.62 c | 150545 | 2018 64010 207471 | 21336 23574 80 | 0.346 % | 98.76/98.82 c | 150645 | 2018 64010 207471 | 23470 11220 77 | 0.346 % | 98.76/98.90 c | 150795 | 2018 64010 207471 | 25817 11370 77 | 0.346 % | 98.97/99.03 c | 151021 | 2018 64010 207471 | 28399 11596 77 | 0.346 % | 99.16/99.22 c | 151359 | 2018 64010 207471 | 31239 11934 78 | 0.346 % | 99.46/99.57 c | 151867 | 2018 64010 207471 | 34362 12442 78 | 0.346 % | 99.97/100.08 c | 152627 | 2018 64010 207471 | 37799 13202 78 | 0.346 % | 100.66/100.75 c | 153766 | 2018 64010 207471 | 41579 14341 78 | 0.346 % | 101.66/101.78 c | 155475 | 2018 64010 207471 | 45737 16050 78 | 0.346 % | 103.37/103.48 c | 158038 | 2018 64010 207471 | 50310 18613 78 | 0.346 % | 104.86/104.98 c | 161882 | 2018 64010 207471 | 55341 22457 78 | 0.346 % | 108.46/108.56 c | 167648 | 2018 64010 207471 | 60876 28223 78 | 0.346 % | 115.15/115.27 c | 176298 | 2018 64010 207471 | 66963 36873 78 | 0.346 % | 129.06/129.16 c | 189272 | 2018 64010 207471 | 73659 49847 78 | 0.346 % | 154.44/154.53 c | 208734 | 2018 64010 207471 | 81025 69309 78 | 0.346 % | 180.93/181.02 c There are 7 assigned variables. 7 in cost function. 181.24/181.30 c core #1 181.24/181.30 c #cores: 1 181.24/181.30 c Final Weight: 198 181.24/181.30 o 198 181.24/181.30 s OPTIMUM FOUND 181.24/181.30 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.24/181.30 c Total CPU time: 180.278 s
OK -142
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655739-1276685856/watcher-2655739-1276685856 -o /tmp/evaluation-result-2655739-1276685856/solver-2655739-1276685856 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655739-1276685856.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.92 0.98 0.99 3/106 15600 /proc/meminfo: memFree=1738368/2059040 swapFree=4163396/4192956 [pid=15600] ppid=15598 vsize=4936 CPUtime=0 /proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 369 0 0 0 0 0 0 0 18 0 1 0 9878410 5054464 287 1992294400 134512640 135751879 4288697120 18446744073709551615 134562459 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15600/statm: 1234 287 145 303 0 408 0 [startup+0.0620499 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15600 /proc/meminfo: memFree=1738368/2059040 swapFree=4163396/4192956 [pid=15600] ppid=15598 vsize=5644 CPUtime=0.05 /proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 603 0 0 0 5 0 0 0 21 0 1 0 9878410 5779456 521 1992294400 134512640 135751879 4288697120 18446744073709551615 134564646 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15600/statm: 1411 521 238 303 0 585 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 5644 [startup+0.101055 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15600 /proc/meminfo: memFree=1738368/2059040 swapFree=4163396/4192956 [pid=15600] ppid=15598 vsize=6040 CPUtime=0.09 /proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 788 0 0 0 9 0 0 0 21 0 1 0 9878410 6184960 706 1992294400 134512640 135751879 4288697120 18446744073709551615 134517405 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15600/statm: 1510 706 306 303 0 684 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6040 [startup+0.301077 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15600 /proc/meminfo: memFree=1738368/2059040 swapFree=4163396/4192956 [pid=15600] ppid=15598 vsize=6824 CPUtime=0.29 /proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 1881 0 0 0 29 0 0 0 21 0 1 0 9878410 6987776 1245 1992294400 134512640 135751879 4288697120 18446744073709551615 134581152 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15600/statm: 1706 1245 143 303 0 1401 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6824 [startup+0.70112 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15600 /proc/meminfo: memFree=1738368/2059040 swapFree=4163396/4192956 [pid=15600] ppid=15598 vsize=7364 CPUtime=0.69 /proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 2014 0 0 0 65 4 0 0 22 0 1 0 9878410 7540736 1378 1992294400 134512640 135751879 4288697120 18446744073709551615 134517164 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15600/statm: 1841 1378 146 303 0 1536 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7364 [startup+1.50121 s] /proc/loadavg: 0.93 0.98 0.99 2/107 15601 /proc/meminfo: memFree=1733276/2059040 swapFree=4163396/4192956 [pid=15600] ppid=15598 vsize=8552 CPUtime=1.49 /proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 2300 0 0 0 141 8 0 0 25 0 1 0 9878410 8757248 1664 1992294400 134512640 135751879 4288697120 18446744073709551615 134611155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15600/statm: 2138 1664 147 303 0 1833 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8552 [startup+3.10138 s] /proc/loadavg: 0.93 0.98 0.99 2/107 15601 /proc/meminfo: memFree=1730548/2059040 swapFree=4163396/4192956 [pid=15600] ppid=15598 vsize=11464 CPUtime=3.09 /proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 3050 0 0 0 299 10 0 0 25 0 1 0 9878410 11739136 2414 1992294400 134512640 135751879 4288697120 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15600/statm: 2866 2414 147 303 0 2561 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11464 [startup+6.30073 s] /proc/loadavg: 0.93 0.98 0.99 2/107 15601 /proc/meminfo: memFree=1725960/2059040 swapFree=4163396/4192956 [pid=15600] ppid=15598 vsize=15456 CPUtime=6.29 /proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 4019 0 0 0 614 15 0 0 25 0 1 0 9878410 15826944 3383 1992294400 134512640 135751879 4288697120 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15600/statm: 3864 3383 147 303 0 3559 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15456 [startup+12.7014 s] /proc/loadavg: 0.94 0.98 0.99 2/107 15603 /proc/meminfo: memFree=1720380/2059040 swapFree=4163396/4192956 [pid=15600] ppid=15598 vsize=20308 CPUtime=12.69 /proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 5245 0 0 0 1251 18 0 0 25 0 1 0 9878410 20795392 4609 1992294400 134512640 135751879 4288697120 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15600/statm: 5077 4609 147 303 0 4772 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20308 [startup+25.5008 s] /proc/loadavg: 0.95 0.98 0.99 2/107 15603 /proc/meminfo: memFree=1710832/2059040 swapFree=4163396/4192956 [pid=15600] ppid=15598 vsize=29680 CPUtime=25.49 /proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 7564 0 0 0 2523 26 0 0 25 0 1 0 9878410 30392320 6928 1992294400 134512640 135751879 4288697120 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15600/statm: 7420 6928 148 303 0 7115 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 29680 [startup+51.1006 s] /proc/loadavg: 1.03 1.00 1.00 2/107 15603 /proc/meminfo: memFree=1693472/2059040 swapFree=4163396/4192956 [pid=15600] ppid=15598 vsize=47236 CPUtime=51.08 /proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 11918 0 0 0 5068 40 0 0 25 0 1 0 9878410 48369664 11282 1992294400 134512640 135751879 4288697120 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15600/statm: 11809 11282 148 303 0 11504 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 47236 [startup+102.308 s] /proc/loadavg: 1.08 1.02 1.00 2/107 15605 /proc/meminfo: memFree=1663340/2059040 swapFree=4163396/4192956 [pid=15600] ppid=15598 vsize=77068 CPUtime=102.27 /proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 19375 0 0 0 10159 68 0 0 25 0 1 0 9878410 78917632 18739 1992294400 134512640 135751879 4288697120 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15600/statm: 19267 18739 148 303 0 18962 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 77068 [startup+162.301 s] /proc/loadavg: 1.09 1.03 1.00 2/107 15607 /proc/meminfo: memFree=1639284/2059040 swapFree=4163396/4192956 [pid=15600] ppid=15598 vsize=101332 CPUtime=162.24 /proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 25396 0 0 0 16133 91 0 0 25 0 1 0 9878410 103763968 24760 1992294400 134512640 135751879 4288697120 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15600/statm: 25333 24760 148 303 0 25028 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 101332 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.08 1.03 1.00 2/107 15607 /proc/meminfo: memFree=1638292/2059040 swapFree=4163396/4192956 [pid=15600] ppid=15598 vsize=102152 CPUtime=166.24 /proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 25581 0 0 0 16532 92 0 0 25 0 1 0 9878410 104603648 24945 1992294400 134512640 135751879 4288697120 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15600/statm: 25538 24945 148 303 0 25233 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 102152 [startup+172.709 s] /proc/loadavg: 1.08 1.03 1.00 2/107 15607 /proc/meminfo: memFree=1636680/2059040 swapFree=4163396/4192956 [pid=15600] ppid=15598 vsize=103732 CPUtime=172.64 /proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 26001 0 0 0 17171 93 0 0 25 0 1 0 9878410 106221568 25365 1992294400 134512640 135751879 4288697120 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15600/statm: 25933 25365 148 303 0 25628 0 Current children cumulated CPU time (s) 172.64 Current children cumulated vsize (KiB) 103732 [startup+175.9 s] /proc/loadavg: 1.07 1.02 1.00 2/107 15607 /proc/meminfo: memFree=1636060/2059040 swapFree=4163396/4192956 [pid=15600] ppid=15598 vsize=104260 CPUtime=175.84 /proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 26126 0 0 0 17490 94 0 0 25 0 1 0 9878410 106762240 25490 1992294400 134512640 135751879 4288697120 18446744073709551615 134602933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15600/statm: 26065 25490 148 303 0 25760 0 Current children cumulated CPU time (s) 175.84 Current children cumulated vsize (KiB) 104260 [startup+179.101 s] /proc/loadavg: 1.07 1.02 1.00 2/107 15607 /proc/meminfo: memFree=1636060/2059040 swapFree=4163396/4192956 [pid=15600] ppid=15598 vsize=104788 CPUtime=179.04 /proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 26274 0 0 0 17809 95 0 0 25 0 1 0 9878410 107302912 25638 1992294400 134512640 135751879 4288697120 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15600/statm: 26197 25638 148 303 0 25892 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 104788 [startup+180.701 s] /proc/loadavg: 1.06 1.02 1.00 2/107 15607 /proc/meminfo: memFree=1634448/2059040 swapFree=4163396/4192956 [pid=15600] ppid=15598 vsize=106108 CPUtime=180.64 /proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 26578 0 0 0 17968 96 0 0 25 0 1 0 9878410 108654592 25942 1992294400 134512640 135751879 4288697120 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15600/statm: 26527 25942 148 303 0 26222 0 Current children cumulated CPU time (s) 180.64 Current children cumulated vsize (KiB) 106108 [startup+181.101 s] /proc/loadavg: 1.06 1.02 1.00 2/107 15607 /proc/meminfo: memFree=1634448/2059040 swapFree=4163396/4192956 [pid=15600] ppid=15598 vsize=109556 CPUtime=181.04 /proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 27414 0 0 0 18007 97 0 0 25 0 1 0 9878410 112185344 26778 1992294400 134512640 135751879 4288697120 18446744073709551615 135009632 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15600/statm: 27389 26778 149 303 0 27084 0 Current children cumulated CPU time (s) 181.04 Current children cumulated vsize (KiB) 109556 [startup+181.301 s] /proc/loadavg: 1.06 1.02 1.00 2/107 15607 /proc/meminfo: memFree=1634448/2059040 swapFree=4163396/4192956 [pid=15600] ppid=15598 vsize=109228 CPUtime=181.24 /proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 27414 0 0 0 18027 97 0 0 25 0 1 0 9878410 111849472 26703 1992294400 134512640 135751879 4288697120 18446744073709551615 135220911 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15600/statm: 27307 26703 149 303 0 27002 0 Current children cumulated CPU time (s) 181.24 Current children cumulated vsize (KiB) 109228 Child status: 0 Real time (s): 181.316 CPU time (s): 181.262 CPU user time (s): 180.278 CPU system time (s): 0.98485 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 109556 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.278 system time used= 0.98485 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27415 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= 51 involuntary context switches= 1946 runsolver used 0.340948 second user time and 0.856869 second system time The end
Begin job on node038 at 2010-06-16 12:57:37 IDJOB=2655739 IDBENCH=71828 IDSOLVER=1161 FILE ID=node038/2655739-1276685856 PBS_JOBID= 11172596 Free space on /tmp= 62476 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-3000opt.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655739-1276685856/watcher-2655739-1276685856 -o /tmp/evaluation-result-2655739-1276685856/solver-2655739-1276685856 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655739-1276685856.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 948226035ef0280d59f9150dd2b5c694 RANDOM SEED=1738398391 node038.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.222 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.222 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1738896 kB Buffers: 73352 kB Cached: 136788 kB SwapCached: 1600 kB Active: 99160 kB Inactive: 142340 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1738896 kB SwapTotal: 4192956 kB SwapFree: 4163396 kB Dirty: 4824 kB Writeback: 0 kB AnonPages: 29868 kB Mapped: 14016 kB Slab: 56912 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180412 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= 62472 MiB End job on node038 at 2010-06-16 13:00:38