Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.4b | Wrong Opt. | -118 | 180.998 | 181.078 |
| Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-5000opt.opb |
| MD5SUM | 657f6825a6ae32adb885bdc3b57c624e |
| 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 | -169 |
| Best CPU time to get the best result obtained on this benchmark | 22.3826 |
| 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 | 63342 |
| Number of constraints which are clauses | 63342 |
| 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 | 317 |
| 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 | 317 |
| 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-2655745-1276686910.opb. 0.00/0.00 c Instance file HOME/instance-2655745-1276686910.opb 0.00/0.00 c File size is 2113677 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: 63342 | 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 | 2016 63351 188856 | 21114 0 nan | 0.000 % | 0.29/0.40 c =============================================================================== 0.29/0.40 c New solution: 317 0.29/0.40 o 317 0.29/0.40 c Elapsed CPU time: 0.386941 s Remaining CPU time: 179.613 s 0.29/0.40 c =============================================================================== 0.29/0.40 c | 0 | 2016 63352 188991 | 21117 0 nan | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c New solution: 314 0.39/0.40 o 314 0.39/0.40 c Elapsed CPU time: 0.39294 s Remaining CPU time: 179.607 s 0.39/0.40 c =============================================================================== 0.39/0.40 c | 0 | 2016 63353 189126 | 21117 0 nan | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c New solution: 313 0.39/0.42 o 313 0.39/0.42 c Elapsed CPU time: 0.403938 s Remaining CPU time: 179.596 s 0.39/0.42 c =============================================================================== 0.39/0.42 c | 0 | 2016 63354 189261 | 21118 0 nan | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c New solution: 311 0.39/0.43 o 311 0.39/0.43 c Elapsed CPU time: 0.414936 s Remaining CPU time: 179.585 s 0.39/0.43 c =============================================================================== 0.39/0.43 c | 0 | 2016 63355 189396 | 21118 0 nan | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c New solution: 310 0.39/0.44 o 310 0.39/0.44 c Elapsed CPU time: 0.425935 s Remaining CPU time: 179.574 s 0.39/0.44 c =============================================================================== 0.39/0.44 c | 0 | 2016 63356 189531 | 21118 0 nan | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c New solution: 309 0.39/0.45 o 309 0.39/0.45 c Elapsed CPU time: 0.437933 s Remaining CPU time: 179.562 s 0.39/0.45 c =============================================================================== 0.39/0.45 c | 1 | 2016 63357 189666 | 21119 1 132 | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c New solution: 308 0.39/0.46 o 308 0.39/0.46 c Elapsed CPU time: 0.449931 s Remaining CPU time: 179.55 s 0.39/0.46 c =============================================================================== 0.39/0.46 c | 1 | 2016 63358 189801 | 21119 1 132 | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c New solution: 307 0.39/0.47 o 307 0.39/0.47 c Elapsed CPU time: 0.460929 s Remaining CPU time: 179.539 s 0.39/0.47 c =============================================================================== 0.39/0.47 c | 1 | 2016 63359 189936 | 21119 1 132 | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c New solution: 306 0.39/0.49 o 306 0.39/0.49 c Elapsed CPU time: 0.470928 s Remaining CPU time: 179.529 s 0.39/0.49 c =============================================================================== 0.39/0.49 c | 1 | 2016 63360 190071 | 21120 1 132 | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c New solution: 305 0.49/0.50 o 305 0.49/0.50 c Elapsed CPU time: 0.480926 s Remaining CPU time: 179.519 s 0.49/0.50 c =============================================================================== 0.49/0.50 c | 2 | 2016 63361 190206 | 21120 2 130 | 0.000 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c New solution: 304 0.49/0.51 o 304 0.49/0.51 c Elapsed CPU time: 0.491925 s Remaining CPU time: 179.508 s 0.49/0.51 c =============================================================================== 0.49/0.51 c | 2 | 2016 63362 190341 | 21120 2 130 | 0.000 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c New solution: 303 0.49/0.52 o 303 0.49/0.52 c Elapsed CPU time: 0.502923 s Remaining CPU time: 179.497 s 0.49/0.52 c =============================================================================== 0.49/0.52 c | 2 | 2016 63363 190476 | 21121 2 130 | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c New solution: 302 0.49/0.53 o 302 0.49/0.53 c Elapsed CPU time: 0.512922 s Remaining CPU time: 179.487 s 0.49/0.53 c =============================================================================== 0.49/0.53 c | 4 | 2016 63364 190611 | 21121 4 128 | 0.000 % | 0.49/0.54 c =============================================================================== 0.49/0.54 c New solution: 301 0.49/0.54 o 301 0.49/0.54 c Elapsed CPU time: 0.52392 s Remaining CPU time: 179.476 s 0.49/0.54 c =============================================================================== 0.49/0.54 c | 4 | 2016 63365 190746 | 21121 4 128 | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c New solution: 300 0.49/0.55 o 300 0.49/0.55 c Elapsed CPU time: 0.533918 s Remaining CPU time: 179.466 s 0.49/0.55 c =============================================================================== 0.49/0.55 c | 4 | 2016 63366 190881 | 21122 4 128 | 0.000 % | 0.49/0.56 c =============================================================================== 0.49/0.56 c New solution: 299 0.49/0.56 o 299 0.49/0.56 c Elapsed CPU time: 0.544917 s Remaining CPU time: 179.455 s 0.49/0.56 c =============================================================================== 0.49/0.56 c | 6 | 2016 63367 191016 | 21122 6 127 | 0.000 % | 0.49/0.58 c =============================================================================== 0.49/0.58 c New solution: 298 0.49/0.58 o 298 0.49/0.58 c Elapsed CPU time: 0.554915 s Remaining CPU time: 179.445 s 0.49/0.58 c =============================================================================== 0.49/0.58 c | 7 | 2016 63368 191151 | 21122 7 127 | 0.000 % | 0.49/0.59 c =============================================================================== 0.49/0.59 c New solution: 297 0.49/0.59 o 297 0.49/0.59 c Elapsed CPU time: 0.565913 s Remaining CPU time: 179.434 s 0.49/0.59 c =============================================================================== 0.49/0.59 c | 8 | 2016 63369 191286 | 21123 8 126 | 0.000 % | 0.59/0.60 c =============================================================================== 0.59/0.60 c New solution: 296 0.59/0.60 o 296 0.59/0.60 c Elapsed CPU time: 0.575912 s Remaining CPU time: 179.424 s 0.59/0.60 c =============================================================================== 0.59/0.60 c | 8 | 2016 63370 191421 | 21123 8 126 | 0.000 % | 0.59/0.61 c =============================================================================== 0.59/0.61 c New solution: 295 0.59/0.61 o 295 0.59/0.61 c Elapsed CPU time: 0.584911 s Remaining CPU time: 179.415 s 0.59/0.61 c =============================================================================== 0.59/0.61 c | 10 | 2016 63371 191556 | 21123 10 126 | 0.000 % | 0.59/0.62 c =============================================================================== 0.59/0.62 c New solution: 294 0.59/0.62 o 294 0.59/0.62 c Elapsed CPU time: 0.594909 s Remaining CPU time: 179.405 s 0.59/0.62 c =============================================================================== 0.59/0.62 c | 10 | 2016 63372 191691 | 21124 10 126 | 0.000 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c New solution: 293 0.59/0.63 o 293 0.59/0.63 c Elapsed CPU time: 0.604908 s Remaining CPU time: 179.395 s 0.59/0.63 c =============================================================================== 0.59/0.63 c | 10 | 2016 63373 191826 | 21124 10 126 | 0.000 % | 0.59/0.64 c =============================================================================== 0.59/0.64 c New solution: 292 0.59/0.64 o 292 0.59/0.64 c Elapsed CPU time: 0.613906 s Remaining CPU time: 179.386 s 0.59/0.64 c =============================================================================== 0.59/0.64 c | 10 | 2016 63374 191961 | 21124 10 126 | 0.000 % | 0.59/0.65 c =============================================================================== 0.59/0.65 c New solution: 291 0.59/0.65 o 291 0.59/0.65 c Elapsed CPU time: 0.624905 s Remaining CPU time: 179.375 s 0.59/0.65 c =============================================================================== 0.59/0.65 c | 16 | 2016 63375 192096 | 21125 16 124 | 0.000 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c New solution: 290 0.59/0.66 o 290 0.59/0.66 c Elapsed CPU time: 0.635903 s Remaining CPU time: 179.364 s 0.59/0.66 c =============================================================================== 0.59/0.66 c | 16 | 2016 63376 192231 | 21125 16 124 | 0.000 % | 0.59/0.68 c =============================================================================== 0.59/0.68 c New solution: 289 0.59/0.68 o 289 0.59/0.68 c Elapsed CPU time: 0.646901 s Remaining CPU time: 179.353 s 0.59/0.68 c =============================================================================== 0.59/0.68 c | 19 | 2016 63377 192366 | 21125 19 124 | 0.000 % | 0.59/0.69 c =============================================================================== 0.59/0.69 c New solution: 288 0.59/0.69 o 288 0.59/0.69 c Elapsed CPU time: 0.658899 s Remaining CPU time: 179.341 s 0.59/0.69 c =============================================================================== 0.59/0.69 c | 24 | 2016 63378 192501 | 21126 24 118 | 0.000 % | 0.69/0.70 c =============================================================================== 0.69/0.70 c New solution: 287 0.69/0.70 o 287 0.69/0.70 c Elapsed CPU time: 0.668898 s Remaining CPU time: 179.331 s 0.69/0.70 c =============================================================================== 0.69/0.70 c | 27 | 2016 63379 192636 | 21126 27 119 | 0.000 % | 0.69/0.71 c =============================================================================== 0.69/0.71 c New solution: 286 0.69/0.71 o 286 0.69/0.71 c Elapsed CPU time: 0.678896 s Remaining CPU time: 179.321 s 0.69/0.71 c =============================================================================== 0.69/0.71 c | 27 | 2016 63380 192771 | 21126 27 119 | 0.000 % | 0.69/0.72 c =============================================================================== 0.69/0.72 c New solution: 285 0.69/0.72 o 285 0.69/0.72 c Elapsed CPU time: 0.687895 s Remaining CPU time: 179.312 s 0.69/0.72 c =============================================================================== 0.69/0.72 c | 27 | 2016 63381 192906 | 21127 27 119 | 0.000 % | 0.69/0.73 c =============================================================================== 0.69/0.73 c New solution: 284 0.69/0.73 o 284 0.69/0.73 c Elapsed CPU time: 0.698893 s Remaining CPU time: 179.301 s 0.69/0.73 c =============================================================================== 0.69/0.73 c | 27 | 2016 63382 193041 | 21127 27 119 | 0.000 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c New solution: 283 0.69/0.74 o 283 0.69/0.74 c Elapsed CPU time: 0.707892 s Remaining CPU time: 179.292 s 0.69/0.74 c =============================================================================== 0.69/0.74 c | 27 | 2016 63383 193176 | 21127 27 119 | 0.000 % | 0.69/0.76 c =============================================================================== 0.69/0.76 c New solution: 282 0.69/0.76 o 282 0.69/0.76 c Elapsed CPU time: 0.71789 s Remaining CPU time: 179.282 s 0.69/0.76 c =============================================================================== 0.69/0.76 c | 30 | 2016 63384 193311 | 21128 30 118 | 0.000 % | 0.69/0.77 c =============================================================================== 0.69/0.77 c New solution: 281 0.69/0.77 o 281 0.69/0.77 c Elapsed CPU time: 0.728889 s Remaining CPU time: 179.271 s 0.69/0.77 c =============================================================================== 0.69/0.77 c | 33 | 2016 63385 193446 | 21128 33 118 | 0.000 % | 0.69/0.78 c =============================================================================== 0.69/0.78 c New solution: 280 0.69/0.78 o 280 0.69/0.78 c Elapsed CPU time: 0.738887 s Remaining CPU time: 179.261 s 0.69/0.78 c =============================================================================== 0.69/0.78 c | 33 | 2016 63386 193581 | 21128 33 118 | 0.000 % | 0.69/0.79 c =============================================================================== 0.69/0.79 c New solution: 279 0.69/0.79 o 279 0.69/0.79 c Elapsed CPU time: 0.748886 s Remaining CPU time: 179.251 s 0.69/0.79 c =============================================================================== 0.69/0.79 c | 38 | 2016 63387 193716 | 21129 38 118 | 0.000 % | 0.79/0.80 c =============================================================================== 0.79/0.80 c New solution: 278 0.79/0.80 o 278 0.79/0.80 c Elapsed CPU time: 0.760884 s Remaining CPU time: 179.239 s 0.79/0.80 c =============================================================================== 0.79/0.80 c | 40 | 2016 63388 193851 | 21129 40 118 | 0.000 % | 0.79/0.81 c =============================================================================== 0.79/0.81 c New solution: 277 0.79/0.81 o 277 0.79/0.81 c Elapsed CPU time: 0.771882 s Remaining CPU time: 179.228 s 0.79/0.81 c =============================================================================== 0.79/0.81 c | 45 | 2016 63389 193986 | 21129 45 118 | 0.000 % | 0.79/0.82 c =============================================================================== 0.79/0.82 c New solution: 276 0.79/0.82 o 276 0.79/0.82 c Elapsed CPU time: 0.781881 s Remaining CPU time: 179.218 s 0.79/0.82 c =============================================================================== 0.79/0.82 c | 45 | 2016 63390 194121 | 21130 45 118 | 0.000 % | 0.79/0.84 c =============================================================================== 0.79/0.84 c New solution: 275 0.79/0.84 o 275 0.79/0.84 c Elapsed CPU time: 0.792879 s Remaining CPU time: 179.207 s 0.79/0.84 c =============================================================================== 0.79/0.84 c | 45 | 2016 63391 194256 | 21130 45 118 | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.85 c New solution: 274 0.79/0.85 o 274 0.79/0.85 c Elapsed CPU time: 0.802877 s Remaining CPU time: 179.197 s 0.79/0.85 c =============================================================================== 0.79/0.85 c | 45 | 2016 63392 194391 | 21130 45 118 | 0.000 % | 0.79/0.86 c =============================================================================== 0.79/0.86 c New solution: 273 0.79/0.86 o 273 0.79/0.86 c Elapsed CPU time: 0.813876 s Remaining CPU time: 179.186 s 0.79/0.86 c =============================================================================== 0.79/0.86 c | 45 | 2016 63393 194526 | 21131 45 118 | 0.000 % | 0.79/0.87 c =============================================================================== 0.79/0.87 c New solution: 272 0.79/0.87 o 272 0.79/0.87 c Elapsed CPU time: 0.823874 s Remaining CPU time: 179.176 s 0.79/0.87 c =============================================================================== 0.79/0.87 c | 48 | 2016 63394 194661 | 21131 48 117 | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c New solution: 271 0.79/0.88 o 271 0.79/0.88 c Elapsed CPU time: 0.833873 s Remaining CPU time: 179.166 s 0.79/0.88 c =============================================================================== 0.79/0.88 c | 51 | 2016 63395 194796 | 21131 51 117 | 0.000 % | 0.79/0.89 c =============================================================================== 0.79/0.89 c New solution: 270 0.79/0.89 o 270 0.79/0.89 c Elapsed CPU time: 0.844871 s Remaining CPU time: 179.155 s 0.79/0.89 c =============================================================================== 0.79/0.89 c | 51 | 2016 63396 194931 | 21132 51 117 | 0.000 % | 0.88/0.90 c =============================================================================== 0.88/0.90 c New solution: 269 0.88/0.90 o 269 0.88/0.90 c Elapsed CPU time: 0.856869 s Remaining CPU time: 179.143 s 0.88/0.90 c =============================================================================== 0.88/0.90 c | 55 | 2016 63397 195066 | 21132 55 117 | 0.000 % | 0.88/0.92 c =============================================================================== 0.88/0.92 c New solution: 268 0.88/0.92 o 268 0.88/0.92 c Elapsed CPU time: 0.866868 s Remaining CPU time: 179.133 s 0.88/0.92 c =============================================================================== 0.88/0.92 c | 55 | 2016 63398 195201 | 21132 55 117 | 0.000 % | 0.88/0.93 c =============================================================================== 0.88/0.93 c New solution: 267 0.88/0.93 o 267 0.88/0.93 c Elapsed CPU time: 0.877866 s Remaining CPU time: 179.122 s 0.88/0.93 c =============================================================================== 0.88/0.93 c | 55 | 2016 63399 195336 | 21133 55 117 | 0.000 % | 0.88/0.94 c =============================================================================== 0.88/0.94 c New solution: 266 0.88/0.94 o 266 0.88/0.94 c Elapsed CPU time: 0.888864 s Remaining CPU time: 179.111 s 0.88/0.94 c =============================================================================== 0.88/0.94 c | 62 | 2016 63400 195471 | 21133 62 114 | 0.000 % | 0.88/0.95 c =============================================================================== 0.88/0.95 c New solution: 265 0.88/0.95 o 265 0.88/0.95 c Elapsed CPU time: 0.900863 s Remaining CPU time: 179.099 s 0.88/0.95 c =============================================================================== 0.88/0.95 c | 68 | 2016 63401 195606 | 21133 68 114 | 0.000 % | 0.88/0.96 c =============================================================================== 0.88/0.96 c New solution: 264 0.88/0.96 o 264 0.88/0.96 c Elapsed CPU time: 0.912861 s Remaining CPU time: 179.087 s 0.88/0.96 c =============================================================================== 0.88/0.96 c | 68 | 2016 63402 195741 | 21134 68 114 | 0.000 % | 0.88/0.97 c =============================================================================== 0.88/0.97 c New solution: 263 0.88/0.97 o 263 0.88/0.97 c Elapsed CPU time: 0.922859 s Remaining CPU time: 179.077 s 0.88/0.97 c =============================================================================== 0.88/0.97 c | 68 | 2016 63403 195876 | 21134 68 114 | 0.000 % | 0.88/0.99 c =============================================================================== 0.88/0.99 c New solution: 262 0.88/0.99 o 262 0.88/0.99 c Elapsed CPU time: 0.933858 s Remaining CPU time: 179.066 s 0.88/0.99 c =============================================================================== 0.88/0.99 c | 71 | 2016 63404 196011 | 21134 71 114 | 0.000 % | 0.88/1.00 c =============================================================================== 0.88/1.00 c New solution: 261 0.88/1.00 o 261 0.88/1.00 c Elapsed CPU time: 0.942856 s Remaining CPU time: 179.057 s 0.88/1.00 c =============================================================================== 0.88/1.00 c | 71 | 2016 63405 196146 | 21135 71 114 | 0.000 % | 0.99/1.01 c =============================================================================== 0.99/1.01 c New solution: 260 0.99/1.01 o 260 0.99/1.01 c Elapsed CPU time: 0.952855 s Remaining CPU time: 179.047 s 0.99/1.01 c =============================================================================== 0.99/1.01 c | 71 | 2016 63406 196281 | 21135 71 114 | 0.000 % | 0.99/1.02 c =============================================================================== 0.99/1.02 c New solution: 259 0.99/1.02 o 259 0.99/1.02 c Elapsed CPU time: 0.963853 s Remaining CPU time: 179.036 s 0.99/1.02 c =============================================================================== 0.99/1.02 c | 97 | 2016 63407 196416 | 21135 97 110 | 0.000 % | 0.99/1.03 c =============================================================================== 0.99/1.03 c New solution: 258 0.99/1.03 o 258 0.99/1.03 c Elapsed CPU time: 0.977851 s Remaining CPU time: 179.022 s 0.99/1.03 c =============================================================================== 0.99/1.03 c | 105 | 2016 63408 196551 | 21136 105 110 | 0.000 % | 0.99/1.04 c =============================================================================== 0.99/1.04 c New solution: 257 0.99/1.04 o 257 0.99/1.04 c Elapsed CPU time: 0.986849 s Remaining CPU time: 179.013 s 0.99/1.04 c =============================================================================== 0.99/1.04 c | 105 | 2016 63409 196686 | 21136 105 110 | 0.000 % | 0.99/1.06 c =============================================================================== 0.99/1.06 c New solution: 256 0.99/1.06 o 256 0.99/1.06 c Elapsed CPU time: 0.997848 s Remaining CPU time: 179.002 s 0.99/1.06 c =============================================================================== 0.99/1.06 c | 105 | 2016 63410 196821 | 21136 105 110 | 0.000 % | 0.99/1.07 c =============================================================================== 0.99/1.07 c New solution: 255 0.99/1.07 o 255 0.99/1.07 c Elapsed CPU time: 1.00785 s Remaining CPU time: 178.992 s 0.99/1.07 c =============================================================================== 0.99/1.07 c | 109 | 2016 63411 196956 | 21137 109 109 | 0.000 % | 0.99/1.08 c =============================================================================== 0.99/1.08 c New solution: 254 0.99/1.08 o 254 0.99/1.08 c Elapsed CPU time: 1.02084 s Remaining CPU time: 178.979 s 0.99/1.08 c =============================================================================== 0.99/1.08 c | 121 | 2016 63412 197091 | 21137 121 108 | 0.000 % | 0.99/1.10 c | 222 | 2016 63412 197091 | 23251 222 105 | 0.444 % | 1.10/1.12 c | 372 | 2016 63412 197091 | 25576 372 104 | 0.444 % | 1.10/1.14 c =============================================================================== 1.10/1.14 c New solution: 253 1.10/1.14 o 253 1.10/1.14 c Elapsed CPU time: 1.07484 s Remaining CPU time: 178.925 s 1.10/1.14 c =============================================================================== 1.10/1.14 c | 407 | 2016 63413 197226 | 21137 407 105 | 0.444 % | 1.10/1.15 c =============================================================================== 1.10/1.15 c New solution: 252 1.10/1.15 o 252 1.10/1.15 c Elapsed CPU time: 1.08583 s Remaining CPU time: 178.914 s 1.10/1.15 c =============================================================================== 1.10/1.15 c | 407 | 2016 63414 197361 | 21138 407 105 | 0.444 % | 1.10/1.17 c | 509 | 2016 63414 197361 | 23251 509 104 | 0.444 % | 1.19/1.20 c | 659 | 2016 63414 197361 | 25576 659 104 | 0.444 % | 1.19/1.21 c =============================================================================== 1.19/1.21 c New solution: 251 1.19/1.21 o 251 1.19/1.21 c Elapsed CPU time: 1.14183 s Remaining CPU time: 178.858 s 1.19/1.21 c =============================================================================== 1.19/1.21 c | 662 | 2016 63415 197496 | 21138 662 104 | 0.444 % | 1.19/1.23 c | 762 | 2016 63415 197496 | 23252 762 104 | 0.444 % | 1.19/1.25 c =============================================================================== 1.19/1.25 c New solution: 250 1.19/1.25 o 250 1.19/1.25 c Elapsed CPU time: 1.18182 s Remaining CPU time: 178.818 s 1.19/1.25 c =============================================================================== 1.19/1.25 c | 812 | 2016 63416 197631 | 21138 812 104 | 0.444 % | 1.19/1.27 c =============================================================================== 1.19/1.27 c New solution: 249 1.19/1.27 o 249 1.19/1.27 c Elapsed CPU time: 1.20682 s Remaining CPU time: 178.793 s 1.19/1.27 c =============================================================================== 1.19/1.27 c | 866 | 2016 63417 197766 | 21139 866 104 | 0.444 % | 1.19/1.29 c | 966 | 2016 63417 197766 | 23252 966 104 | 0.444 % | 1.28/1.32 c | 1116 | 2016 63417 197766 | 25578 1116 104 | 0.444 % | 1.28/1.33 c =============================================================================== 1.28/1.33 c New solution: 248 1.28/1.33 o 248 1.28/1.33 c Elapsed CPU time: 1.26481 s Remaining CPU time: 178.735 s 1.28/1.33 c =============================================================================== 1.28/1.33 c | 1123 | 2016 63418 197901 | 21139 1123 104 | 0.444 % | 1.28/1.35 c =============================================================================== 1.28/1.35 c New solution: 247 1.28/1.35 o 247 1.28/1.35 c Elapsed CPU time: 1.27581 s Remaining CPU time: 178.724 s 1.28/1.35 c =============================================================================== 1.28/1.35 c | 1125 | 2016 63419 198036 | 21139 1125 104 | 0.444 % | 1.28/1.37 c | 1227 | 2016 63419 198036 | 23253 1227 104 | 0.444 % | 1.28/1.39 c =============================================================================== 1.28/1.39 c New solution: 246 1.28/1.39 o 246 1.28/1.39 c Elapsed CPU time: 1.3178 s Remaining CPU time: 178.682 s 1.28/1.39 c =============================================================================== 1.28/1.39 c | 1262 | 2016 63420 198171 | 21140 1262 104 | 0.444 % | 1.39/1.41 c =============================================================================== 1.39/1.41 c New solution: 245 1.39/1.41 o 245 1.39/1.41 c Elapsed CPU time: 1.3368 s Remaining CPU time: 178.663 s 1.39/1.41 c =============================================================================== 1.39/1.41 c | 1289 | 2016 63421 198306 | 21140 1289 104 | 0.444 % | 1.39/1.43 c | 1389 | 2016 63421 198306 | 23254 1389 104 | 0.444 % | 1.39/1.47 c | 1539 | 2016 63421 198306 | 25579 1539 103 | 0.444 % | 1.39/1.49 c =============================================================================== 1.39/1.49 c New solution: 244 1.39/1.49 o 244 1.39/1.49 c Elapsed CPU time: 1.41478 s Remaining CPU time: 178.585 s 1.39/1.49 c =============================================================================== 1.39/1.49 c | 1589 | 2016 63422 198441 | 21140 1589 103 | 0.444 % | 1.48/1.50 c =============================================================================== 1.48/1.50 c New solution: 243 1.48/1.50 o 243 1.48/1.50 c Elapsed CPU time: 1.42678 s Remaining CPU time: 178.573 s 1.48/1.50 c =============================================================================== 1.48/1.50 c | 1594 | 2016 63423 198576 | 21141 1594 103 | 0.444 % | 1.48/1.53 c =============================================================================== 1.48/1.53 c New solution: 242 1.48/1.53 o 242 1.48/1.53 c Elapsed CPU time: 1.44978 s Remaining CPU time: 178.55 s 1.48/1.53 c =============================================================================== 1.48/1.53 c | 1656 | 2016 63424 198711 | 21141 1656 103 | 0.444 % | 1.48/1.55 c =============================================================================== 1.48/1.55 c New solution: 241 1.48/1.55 o 241 1.48/1.55 c Elapsed CPU time: 1.46678 s Remaining CPU time: 178.533 s 1.48/1.55 c =============================================================================== 1.48/1.55 c | 1683 | 2016 63425 198846 | 21141 1683 103 | 0.444 % | 1.48/1.57 c =============================================================================== 1.48/1.57 c New solution: 240 1.48/1.57 o 240 1.48/1.57 c Elapsed CPU time: 1.49377 s Remaining CPU time: 178.506 s 1.48/1.57 c =============================================================================== 1.48/1.57 c | 1760 | 2016 63426 198981 | 21142 1760 103 | 0.444 % | 1.48/1.59 c =============================================================================== 1.48/1.59 c New solution: 239 1.48/1.59 o 239 1.48/1.59 c Elapsed CPU time: 1.50677 s Remaining CPU time: 178.493 s 1.48/1.59 c =============================================================================== 1.48/1.59 c | 1761 | 2016 63427 199116 | 21142 1761 103 | 0.444 % | 1.59/1.60 c =============================================================================== 1.59/1.60 c New solution: 238 1.59/1.60 o 238 1.59/1.60 c Elapsed CPU time: 1.51677 s Remaining CPU time: 178.483 s 1.59/1.60 c =============================================================================== 1.59/1.60 c | 1761 | 2016 63428 199251 | 21142 1761 103 | 0.444 % | 1.59/1.62 c | 1861 | 2016 63428 199251 | 23256 1861 103 | 0.444 % | 1.59/1.65 c | 2011 | 2016 63428 199251 | 25582 2011 103 | 0.444 % | 1.59/1.67 c =============================================================================== 1.59/1.67 c New solution: 237 1.59/1.67 o 237 1.59/1.67 c Elapsed CPU time: 1.58176 s Remaining CPU time: 178.418 s 1.59/1.67 c =============================================================================== 1.59/1.67 c | 2019 | 2016 63429 199386 | 21143 2019 103 | 0.444 % | 1.59/1.69 c | 2121 | 2016 63429 199386 | 23257 2121 103 | 0.444 % | 1.69/1.72 c | 2272 | 2016 63429 199386 | 25583 2272 102 | 0.444 % | 1.69/1.75 c =============================================================================== 1.69/1.75 c New solution: 236 1.69/1.75 o 236 1.69/1.75 c Elapsed CPU time: 1.66375 s Remaining CPU time: 178.336 s 1.69/1.75 c =============================================================================== 1.69/1.75 c | 2337 | 2016 63430 199521 | 21143 2337 102 | 0.444 % | 1.69/1.76 c =============================================================================== 1.69/1.76 c New solution: 235 1.69/1.76 o 235 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 | 2343 | 2016 63431 199656 | 21143 2343 102 | 0.444 % | 1.69/1.78 c =============================================================================== 1.69/1.78 c New solution: 234 1.69/1.78 o 234 1.69/1.78 c Elapsed CPU time: 1.68974 s Remaining CPU time: 178.31 s 1.69/1.78 c =============================================================================== 1.69/1.78 c | 2343 | 2016 63432 199791 | 21144 2343 102 | 0.444 % | 1.69/1.79 c =============================================================================== 1.69/1.79 c New solution: 233 1.69/1.79 o 233 1.69/1.79 c Elapsed CPU time: 1.70174 s Remaining CPU time: 178.298 s 1.69/1.79 c =============================================================================== 1.69/1.79 c | 2343 | 2016 63433 199926 | 21144 2343 102 | 0.444 % | 1.78/1.80 c =============================================================================== 1.78/1.80 c New solution: 232 1.78/1.80 o 232 1.78/1.80 c Elapsed CPU time: 1.71474 s Remaining CPU time: 178.285 s 1.78/1.80 c =============================================================================== 1.78/1.80 c | 2343 | 2016 63434 200061 | 21144 2343 102 | 0.444 % | 1.78/1.81 c =============================================================================== 1.78/1.81 c New solution: 231 1.78/1.81 o 231 1.78/1.81 c Elapsed CPU time: 1.72574 s Remaining CPU time: 178.274 s 1.78/1.81 c =============================================================================== 1.78/1.81 c | 2343 | 2016 63435 200196 | 21145 2343 102 | 0.444 % | 1.78/1.83 c =============================================================================== 1.78/1.83 c New solution: 230 1.78/1.83 o 230 1.78/1.83 c Elapsed CPU time: 1.73874 s Remaining CPU time: 178.261 s 1.78/1.83 c =============================================================================== 1.78/1.83 c | 2345 | 2016 63436 200331 | 21145 2345 102 | 0.444 % | 1.78/1.84 c =============================================================================== 1.78/1.84 c New solution: 229 1.78/1.84 o 229 1.78/1.84 c Elapsed CPU time: 1.75073 s Remaining CPU time: 178.249 s 1.78/1.84 c =============================================================================== 1.78/1.84 c | 2345 | 2016 63437 200466 | 21145 2345 102 | 0.444 % | 1.78/1.86 c | 2445 | 2016 63437 200466 | 23260 2445 102 | 0.444 % | 1.78/1.87 c =============================================================================== 1.78/1.87 c New solution: 228 1.78/1.87 o 228 1.78/1.87 c Elapsed CPU time: 1.78473 s Remaining CPU time: 178.215 s 1.78/1.87 c =============================================================================== 1.78/1.87 c | 2451 | 2016 63438 200601 | 21146 2451 102 | 0.444 % | 1.78/1.89 c =============================================================================== 1.78/1.89 c New solution: 227 1.78/1.89 o 227 1.78/1.89 c Elapsed CPU time: 1.79773 s Remaining CPU time: 178.202 s 1.78/1.89 c =============================================================================== 1.78/1.89 c | 2452 | 2016 63439 200736 | 21146 2452 102 | 0.444 % | 1.89/1.90 c =============================================================================== 1.89/1.90 c New solution: 226 1.89/1.90 o 226 1.89/1.90 c Elapsed CPU time: 1.80773 s Remaining CPU time: 178.192 s 1.89/1.90 c =============================================================================== 1.89/1.90 c | 2462 | 2016 63440 200871 | 21146 2462 102 | 0.444 % | 1.89/1.92 c | 2564 | 2016 63440 200871 | 23261 2564 102 | 0.444 % | 1.89/1.97 c =============================================================================== 1.89/1.97 c New solution: 225 1.89/1.97 o 225 1.89/1.97 c Elapsed CPU time: 1.87472 s Remaining CPU time: 178.125 s 1.89/1.97 c =============================================================================== 1.89/1.97 c | 2708 | 2016 63441 201006 | 21147 2708 101 | 0.444 % | 1.99/2.00 c | 2810 | 2016 63441 201006 | 23261 2810 101 | 0.444 % | 1.99/2.03 c =============================================================================== 1.99/2.03 c New solution: 224 1.99/2.03 o 224 1.99/2.03 c Elapsed CPU time: 1.93271 s Remaining CPU time: 178.067 s 1.99/2.03 c =============================================================================== 1.99/2.03 c | 2882 | 2016 63442 201141 | 21147 2882 101 | 0.444 % | 1.99/2.04 c =============================================================================== 1.99/2.04 c New solution: 223 1.99/2.04 o 223 1.99/2.04 c Elapsed CPU time: 1.9457 s Remaining CPU time: 178.054 s 1.99/2.04 c =============================================================================== 1.99/2.04 c | 2882 | 2016 63443 201276 | 21147 2882 101 | 0.444 % | 1.99/2.07 c =============================================================================== 1.99/2.07 c New solution: 222 1.99/2.07 o 222 1.99/2.07 c Elapsed CPU time: 1.9727 s Remaining CPU time: 178.027 s 1.99/2.07 c =============================================================================== 1.99/2.07 c | 2927 | 2016 63444 201411 | 21148 2927 101 | 0.444 % | 1.99/2.08 c =============================================================================== 1.99/2.08 c New solution: 221 1.99/2.08 o 221 1.99/2.08 c Elapsed CPU time: 1.9847 s Remaining CPU time: 178.015 s 1.99/2.08 c =============================================================================== 1.99/2.08 c | 2928 | 2016 63445 201546 | 21148 2928 101 | 0.444 % | 2.09/2.10 c =============================================================================== 2.09/2.10 c New solution: 220 2.09/2.10 o 220 2.09/2.10 c Elapsed CPU time: 1.9967 s Remaining CPU time: 178.003 s 2.09/2.10 c =============================================================================== 2.09/2.10 c | 2928 | 2016 63446 201681 | 21148 2928 101 | 0.444 % | 2.09/2.12 c | 3029 | 2016 63446 201681 | 23263 3029 101 | 0.444 % | 2.09/2.16 c | 3179 | 2016 63446 201681 | 25589 3179 100 | 0.444 % | 2.20/2.21 c | 3404 | 2016 63446 201681 | 28148 3404 100 | 0.444 % | 2.28/2.30 c | 3742 | 2016 63446 201681 | 30963 3742 99 | 0.444 % | 2.38/2.43 c | 4248 | 2016 63446 201681 | 34060 4248 98 | 0.444 % | 2.38/2.48 c =============================================================================== 2.38/2.48 c New solution: 219 2.38/2.48 o 219 2.38/2.48 c Elapsed CPU time: 2.36964 s Remaining CPU time: 177.63 s 2.38/2.48 c =============================================================================== 2.38/2.48 c | 4392 | 2016 63447 201816 | 21149 4392 98 | 0.444 % | 2.48/2.51 c | 4492 | 2016 63447 201816 | 23263 4492 98 | 0.444 % | 2.48/2.55 c =============================================================================== 2.48/2.55 c New solution: 218 2.48/2.55 o 218 2.48/2.55 c Elapsed CPU time: 2.44463 s Remaining CPU time: 177.555 s 2.48/2.55 c =============================================================================== 2.48/2.55 c | 4598 | 2016 63448 201951 | 21149 4598 98 | 0.444 % | 2.48/2.59 c | 4699 | 2016 63448 201951 | 23264 4699 98 | 0.444 % | 2.59/2.63 c | 4849 | 2016 63448 201951 | 25590 4849 98 | 0.444 % | 2.69/2.70 c =============================================================================== 2.69/2.70 c New solution: 217 2.69/2.70 o 217 2.69/2.70 c Elapsed CPU time: 2.58861 s Remaining CPU time: 177.411 s 2.69/2.70 c =============================================================================== 2.69/2.70 c | 5063 | 2016 63449 202086 | 21149 5063 98 | 0.444 % | 2.69/2.72 c =============================================================================== 2.69/2.72 c New solution: 216 2.69/2.72 o 216 2.69/2.72 c Elapsed CPU time: 2.6056 s Remaining CPU time: 177.394 s 2.69/2.72 c =============================================================================== 2.69/2.72 c | 5072 | 2016 63450 202221 | 21150 5072 98 | 0.444 % | 2.69/2.75 c | 5173 | 2016 63450 202221 | 23265 5173 98 | 0.444 % | 2.79/2.80 c | 5323 | 2016 63450 202221 | 25591 5323 97 | 0.444 % | 2.79/2.86 c | 5549 | 2016 63450 202221 | 28150 5549 97 | 0.444 % | 2.89/2.94 c =============================================================================== 2.89/2.94 c New solution: 215 2.89/2.94 o 215 2.89/2.94 c Elapsed CPU time: 2.82057 s Remaining CPU time: 177.179 s 2.89/2.94 c =============================================================================== 2.89/2.94 c | 5727 | 2016 63451 202356 | 21150 5727 97 | 0.444 % | 2.89/2.95 c =============================================================================== 2.89/2.95 c New solution: 214 2.89/2.95 o 214 2.89/2.95 c Elapsed CPU time: 2.83557 s Remaining CPU time: 177.164 s 2.89/2.95 c =============================================================================== 2.89/2.95 c | 5729 | 2016 63452 202491 | 21150 5729 97 | 0.444 % | 2.89/2.99 c | 5829 | 2016 63452 202491 | 23265 5829 97 | 0.444 % | 2.99/3.05 c | 5979 | 2016 63452 202491 | 25592 5979 97 | 0.444 % | 3.09/3.14 c | 6204 | 2016 63452 202491 | 28151 6204 97 | 0.444 % | 3.19/3.25 c | 6544 | 2016 63452 202491 | 30966 6544 97 | 0.444 % | 3.38/3.41 c | 7052 | 2016 63452 202491 | 34063 7052 96 | 0.444 % | 3.48/3.59 c =============================================================================== 3.48/3.59 c New solution: 213 3.48/3.59 o 213 3.48/3.59 c Elapsed CPU time: 3.47447 s Remaining CPU time: 176.526 s 3.48/3.59 c =============================================================================== 3.48/3.59 c | 7629 | 2016 63453 202626 | 21151 7629 96 | 0.444 % | 3.58/3.64 c | 7729 | 2016 63453 202626 | 23266 7729 96 | 0.444 % | 3.58/3.69 c | 7880 | 2016 63453 202626 | 25592 7880 96 | 0.444 % | 3.68/3.79 c | 8106 | 2016 63453 202626 | 28151 8106 96 | 0.444 % | 3.88/3.91 c | 8445 | 2016 63453 202626 | 30967 8445 96 | 0.444 % | 3.98/4.08 c | 8951 | 2016 63453 202626 | 34063 8951 95 | 0.444 % | 4.29/4.30 c | 9710 | 2016 63453 202626 | 37470 9710 95 | 0.444 % | 4.59/4.69 c | 10853 | 2016 63453 202626 | 41217 10853 95 | 0.444 % | 4.88/4.91 c =============================================================================== 4.88/4.91 c New solution: 212 4.88/4.91 o 212 4.88/4.91 c Elapsed CPU time: 4.78327 s Remaining CPU time: 175.217 s 4.88/4.91 c =============================================================================== 4.88/4.91 c | 11442 | 2016 63454 202761 | 21151 11442 95 | 0.444 % | 4.88/4.93 c =============================================================================== 4.88/4.93 c New solution: 211 4.88/4.93 o 211 4.88/4.93 c Elapsed CPU time: 4.80227 s Remaining CPU time: 175.198 s 4.88/4.93 c =============================================================================== 4.88/4.93 c | 11450 | 2016 63455 202896 | 21151 11450 95 | 0.444 % | 4.88/4.95 c =============================================================================== 4.88/4.95 c New solution: 210 4.88/4.95 o 210 4.88/4.95 c Elapsed CPU time: 4.81727 s Remaining CPU time: 175.183 s 4.88/4.95 c =============================================================================== 4.88/4.95 c | 11450 | 2016 63456 203031 | 21152 11450 95 | 0.444 % | 4.88/4.99 c | 11551 | 2016 63456 203031 | 23267 11551 95 | 0.444 % | 4.98/5.03 c =============================================================================== 4.98/5.03 c New solution: 209 4.98/5.03 o 209 4.98/5.03 c Elapsed CPU time: 4.89525 s Remaining CPU time: 175.105 s 4.98/5.03 c =============================================================================== 4.98/5.03 c | 11609 | 2016 63457 203166 | 21152 11609 95 | 0.444 % | 4.98/5.04 c =============================================================================== 4.98/5.04 c New solution: 208 4.98/5.04 o 208 4.98/5.04 c Elapsed CPU time: 4.90925 s Remaining CPU time: 175.091 s 4.98/5.04 c =============================================================================== 4.98/5.04 c | 11610 | 2016 63458 203301 | 21152 11610 95 | 0.444 % | 4.98/5.09 c | 11711 | 2016 63458 203301 | 23267 11711 95 | 0.445 % | 5.09/5.15 c | 11863 | 2016 63458 203301 | 25594 11863 95 | 0.444 % | 5.19/5.25 c | 12088 | 2016 63458 203301 | 28154 12088 95 | 0.445 % | 5.40/5.40 c | 12426 | 2016 63458 203301 | 30969 12426 95 | 0.444 % | 5.59/5.66 c | 12932 | 2016 63458 203301 | 34066 12932 94 | 0.444 % | 6.09/6.14 c | 13692 | 2016 63458 203301 | 37473 13692 94 | 0.444 % | 6.78/6.82 c | 14831 | 2016 63458 203301 | 41220 14831 94 | 0.444 % | 7.70/7.71 c | 16539 | 2016 63458 203301 | 45342 16539 93 | 0.444 % | 8.18/8.24 c =============================================================================== 8.18/8.24 c New solution: 207 8.18/8.24 o 207 8.18/8.24 c Elapsed CPU time: 8.09177 s Remaining CPU time: 171.908 s 8.18/8.24 c =============================================================================== 8.18/8.24 c | 17522 | 2016 63459 203436 | 21153 17522 93 | 0.444 % | 8.18/8.26 c =============================================================================== 8.18/8.26 c New solution: 206 8.18/8.26 o 206 8.18/8.26 c Elapsed CPU time: 8.10977 s Remaining CPU time: 171.89 s 8.18/8.26 c =============================================================================== 8.18/8.26 c | 17525 | 2016 63460 203571 | 21153 17525 93 | 0.444 % | 8.28/8.30 c | 17625 | 2016 63460 203571 | 23268 17625 93 | 0.444 % | 8.28/8.36 c | 17775 | 2016 63460 203571 | 25595 17775 93 | 0.444 % | 8.38/8.48 c | 18000 | 2016 63460 203571 | 28155 18000 93 | 0.444 % | 8.69/8.70 c | 18337 | 2016 63460 203571 | 30970 18337 93 | 0.444 % | 8.99/9.03 c | 18844 | 2016 63460 203571 | 34067 18844 93 | 0.444 % | 9.48/9.51 c | 19605 | 2016 63460 203571 | 37474 19605 93 | 0.444 % | 10.18/10.25 c | 20745 | 2016 63460 203571 | 41221 20745 92 | 0.444 % | 11.39/11.49 c | 22454 | 2016 63460 203571 | 45344 22454 92 | 0.444 % | 13.19/13.27 c | 25016 | 2016 63460 203571 | 49878 25016 92 | 0.444 % | 16.19/16.26 c | 28862 | 2016 63460 203571 | 54866 28862 91 | 0.444 % | 19.49/19.58 c =============================================================================== 19.49/19.58 c New solution: 205 19.49/19.58 o 205 19.49/19.58 c Elapsed CPU time: 19.3861 s Remaining CPU time: 160.614 s 19.49/19.58 c =============================================================================== 19.49/19.58 c | 31818 | 2016 63461 203706 | 21153 31818 91 | 0.444 % | 19.88/19.99 c | 31918 | 2016 63461 203706 | 23269 11278 88 | 0.444 % | 19.98/20.08 c | 32073 | 2016 63461 203706 | 25595 11433 88 | 0.444 % | 20.18/20.20 c | 32300 | 2016 63461 203706 | 28155 11660 88 | 0.444 % | 20.28/20.38 c | 32637 | 2016 63461 203706 | 30971 11997 88 | 0.444 % | 20.58/20.70 c | 33143 | 2016 63461 203706 | 34068 12503 88 | 0.444 % | 20.68/20.76 c =============================================================================== 20.68/20.76 c New solution: 204 20.68/20.76 o 204 20.68/20.76 c Elapsed CPU time: 20.5519 s Remaining CPU time: 159.448 s 20.68/20.76 c =============================================================================== 20.68/20.76 c | 33231 | 2016 63462 203841 | 21154 12591 88 | 0.444 % | 20.68/20.77 c =============================================================================== 20.68/20.77 c New solution: 203 20.68/20.77 o 203 20.68/20.77 c Elapsed CPU time: 20.5659 s Remaining CPU time: 159.434 s 20.68/20.77 c =============================================================================== 20.68/20.77 c | 33231 | 2016 63463 203976 | 21154 12591 88 | 0.444 % | 20.68/20.79 c =============================================================================== 20.68/20.79 c New solution: 202 20.68/20.79 o 202 20.68/20.79 c Elapsed CPU time: 20.5819 s Remaining CPU time: 159.418 s 20.68/20.79 c =============================================================================== 20.68/20.79 c | 33233 | 2016 63464 204111 | 21154 12593 88 | 0.444 % | 20.79/20.80 c =============================================================================== 20.79/20.80 c New solution: 201 20.79/20.80 o 201 20.79/20.80 c Elapsed CPU time: 20.5959 s Remaining CPU time: 159.404 s 20.79/20.80 c =============================================================================== 20.79/20.80 c | 33233 | 2016 63465 204246 | 21155 12593 88 | 0.444 % | 20.79/20.85 c | 33333 | 2016 63465 204246 | 23270 12693 88 | 0.444 % | 20.89/20.93 c | 33484 | 2016 63465 204246 | 25597 12844 88 | 0.444 % | 20.98/21.04 c | 33709 | 2016 63465 204246 | 28157 13069 88 | 0.444 % | 21.18/21.26 c | 34047 | 2016 63465 204246 | 30973 13407 88 | 0.444 % | 21.48/21.54 c | 34553 | 2016 63465 204246 | 34070 13913 88 | 0.444 % | 21.88/21.96 c | 35313 | 2016 63465 204246 | 37477 14673 88 | 0.444 % | 22.58/22.64 c | 36454 | 2016 63465 204246 | 41225 15814 88 | 0.444 % | 23.78/23.85 c | 38162 | 2016 63465 204246 | 45347 17522 87 | 0.444 % | 25.58/25.67 c | 40724 | 2016 63465 204246 | 49882 20084 87 | 0.444 % | 28.59/28.64 c | 44568 | 2016 63465 204246 | 54870 23928 87 | 0.444 % | 34.56/34.61 c | 50336 | 2016 63465 204246 | 60357 29696 87 | 0.444 % | 45.76/45.82 c | 58985 | 2016 63465 204246 | 66393 38345 86 | 0.444 % | 65.55/65.68 c | 71960 | 2016 63465 204246 | 73032 51320 86 | 0.445 % | 92.84/92.95 c =============================================================================== 92.84/92.95 c New solution: 200 92.84/92.95 o 200 92.84/92.95 c Elapsed CPU time: 92.4779 s Remaining CPU time: 87.5221 s 92.84/92.95 c =============================================================================== 92.84/92.95 c | 87243 | 2016 63466 204381 | 21155 66603 86 | 0.445 % | 94.74/94.86 c =============================================================================== 94.74/94.86 c New solution: 199 94.74/94.86 o 199 94.74/94.86 c Elapsed CPU time: 94.3837 s Remaining CPU time: 85.6163 s 94.74/94.86 c =============================================================================== 94.74/94.86 c | 87268 | 2016 63467 204516 | 21155 12251 83 | 0.445 % | 94.84/94.90 c | 87368 | 2016 63467 204516 | 23271 12351 83 | 0.445 % | 94.84/94.96 c | 87519 | 2016 63467 204516 | 25598 12502 83 | 0.444 % | 94.94/95.05 c | 87744 | 2016 63467 204516 | 28158 12727 83 | 0.445 % | 95.04/95.19 c | 88081 | 2016 63467 204516 | 30974 13064 83 | 0.444 % | 95.34/95.44 c | 88588 | 2016 63467 204516 | 34071 13571 84 | 0.444 % | 95.75/95.89 c | 89347 | 2016 63467 204516 | 37478 14330 84 | 0.444 % | 96.44/96.54 c | 90490 | 2016 63467 204516 | 41226 15473 84 | 0.444 % | 97.44/97.52 c | 92198 | 2016 63467 204516 | 45349 17181 84 | 0.444 % | 99.34/99.40 c | 94762 | 2016 63467 204516 | 49883 19745 84 | 0.444 % | 101.65/101.79 c | 98606 | 2016 63467 204516 | 54872 23589 84 | 0.445 % | 105.55/105.62 c | 104372 | 2016 63467 204516 | 60359 29355 84 | 0.444 % | 112.24/112.31 c | 113022 | 2016 63467 204516 | 66395 38005 84 | 0.444 % | 129.13/129.25 c | 126000 | 2016 63467 204516 | 73035 50983 84 | 0.444 % | 162.52/162.69 c | 145463 | 2016 63467 204516 | 80338 70446 84 | 0.444 % | 180.71/180.83 c There are 9 assigned variables. 9 in cost function. 180.91/181.06 c core #1 180.91/181.06 c #cores: 1 180.91/181.06 c Final Weight: 199 180.91/181.06 o 199 180.91/181.06 s OPTIMUM FOUND 180.91/181.06 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 180.91/181.06 c Total CPU time: 180.231 s
OK -118
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655745-1276686910/watcher-2655745-1276686910 -o /tmp/evaluation-result-2655745-1276686910/solver-2655745-1276686910 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655745-1276686910.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9992 /proc/meminfo: memFree=1824408/2059040 swapFree=4139732/4192956 [pid=9992] ppid=9990 vsize=4788 CPUtime=0 /proc/9992/stat : 9992 (wbo1.4b) R 9990 9992 9343 0 -1 4202496 330 0 0 0 0 0 0 0 19 0 1 0 44292613 4902912 249 1992294400 134512640 135751879 4287551760 18446744073709551615 134573855 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9992/statm: 1197 250 141 303 0 375 0 [startup+0.08989 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9992 /proc/meminfo: memFree=1824408/2059040 swapFree=4139732/4192956 [pid=9992] ppid=9990 vsize=6000 CPUtime=0.08 /proc/9992/stat : 9992 (wbo1.4b) R 9990 9992 9343 0 -1 4202496 737 0 0 0 8 0 0 0 19 0 1 0 44292613 6144000 656 1992294400 134512640 135751879 4287551760 18446744073709551615 135225251 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9992/statm: 1500 656 283 303 0 678 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 6000 [startup+0.101891 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9992 /proc/meminfo: memFree=1824408/2059040 swapFree=4139732/4192956 [pid=9992] ppid=9990 vsize=6000 CPUtime=0.09 /proc/9992/stat : 9992 (wbo1.4b) R 9990 9992 9343 0 -1 4202496 781 0 0 0 9 0 0 0 19 0 1 0 44292613 6144000 700 1992294400 134512640 135751879 4287551760 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9992/statm: 1500 700 304 303 0 678 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6000 [startup+0.300934 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9992 /proc/meminfo: memFree=1824408/2059040 swapFree=4139732/4192956 [pid=9992] ppid=9990 vsize=6920 CPUtime=0.29 /proc/9992/stat : 9992 (wbo1.4b) R 9990 9992 9343 0 -1 4202496 1871 0 0 0 29 0 0 0 20 0 1 0 44292613 7086080 1240 1992294400 134512640 135751879 4287551760 18446744073709551615 134581072 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9992/statm: 1730 1240 143 303 0 1425 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6920 [startup+0.701019 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9992 /proc/meminfo: memFree=1824408/2059040 swapFree=4139732/4192956 [pid=9992] ppid=9990 vsize=7316 CPUtime=0.69 /proc/9992/stat : 9992 (wbo1.4b) R 9990 9992 9343 0 -1 4202496 2000 0 0 0 66 3 0 0 18 0 1 0 44292613 7491584 1369 1992294400 134512640 135751879 4287551760 18446744073709551615 134517153 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9992/statm: 1829 1369 146 303 0 1524 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7316 [startup+1.50019 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9993 /proc/meminfo: memFree=1819316/2059040 swapFree=4139732/4192956 [pid=9992] ppid=9990 vsize=8108 CPUtime=1.48 /proc/9992/stat : 9992 (wbo1.4b) R 9990 9992 9343 0 -1 4202496 2184 0 0 0 141 7 0 0 18 0 1 0 44292613 8302592 1553 1992294400 134512640 135751879 4287551760 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9992/statm: 2027 1553 147 303 0 1722 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 8108 [startup+3.10053 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9993 /proc/meminfo: memFree=1817704/2059040 swapFree=4139732/4192956 [pid=9992] ppid=9990 vsize=10360 CPUtime=3.09 /proc/9992/stat : 9992 (wbo1.4b) R 9990 9992 9343 0 -1 4202496 2744 0 0 0 298 11 0 0 19 0 1 0 44292613 10608640 2113 1992294400 134512640 135751879 4287551760 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9992/statm: 2590 2113 147 303 0 2285 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10360 [startup+6.30121 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9993 /proc/meminfo: memFree=1812868/2059040 swapFree=4139732/4192956 [pid=9992] ppid=9990 vsize=14260 CPUtime=6.29 /proc/9992/stat : 9992 (wbo1.4b) R 9990 9992 9343 0 -1 4202496 3711 0 0 0 616 13 0 0 25 0 1 0 44292613 14602240 3080 1992294400 134512640 135751879 4287551760 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9992/statm: 3565 3080 147 303 0 3260 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14260 [startup+12.7006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9993 /proc/meminfo: memFree=1807660/2059040 swapFree=4139732/4192956 [pid=9992] ppid=9990 vsize=19328 CPUtime=12.69 /proc/9992/stat : 9992 (wbo1.4b) R 9990 9992 9343 0 -1 4202496 4963 0 0 0 1252 17 0 0 25 0 1 0 44292613 19791872 4332 1992294400 134512640 135751879 4287551760 18446744073709551615 134518865 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9992/statm: 4832 4332 147 303 0 4527 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19328 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9995 /proc/meminfo: memFree=1799972/2059040 swapFree=4139732/4192956 [pid=9992] ppid=9990 vsize=26684 CPUtime=25.48 /proc/9992/stat : 9992 (wbo1.4b) R 9990 9992 9343 0 -1 4202496 6815 0 0 0 2525 23 0 0 25 0 1 0 44292613 27324416 6184 1992294400 134512640 135751879 4287551760 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9992/statm: 6671 6184 148 303 0 6366 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26684 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9995 /proc/meminfo: memFree=1789928/2059040 swapFree=4139732/4192956 [pid=9992] ppid=9990 vsize=36852 CPUtime=51.06 /proc/9992/stat : 9992 (wbo1.4b) R 9990 9992 9343 0 -1 4202496 9320 0 0 0 5076 30 0 0 25 0 1 0 44292613 37736448 8689 1992294400 134512640 135751879 4287551760 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9992/statm: 9213 8689 148 303 0 8908 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 36852 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9997 /proc/meminfo: memFree=1773188/2059040 swapFree=4139732/4192956 [pid=9992] ppid=9990 vsize=53408 CPUtime=102.25 /proc/9992/stat : 9992 (wbo1.4b) R 9990 9992 9343 0 -1 4202496 13436 0 0 0 10176 49 0 0 25 0 1 0 44292613 54689792 12805 1992294400 134512640 135751879 4287551760 18446744073709551615 134611192 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9992/statm: 13352 12805 148 303 0 13047 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 53408 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9997 /proc/meminfo: memFree=1753100/2059040 swapFree=4139732/4192956 [pid=9992] ppid=9990 vsize=73568 CPUtime=162.22 /proc/9992/stat : 9992 (wbo1.4b) R 9990 9992 9343 0 -1 4202496 18450 0 0 0 16151 71 0 0 25 0 1 0 44292613 75333632 17819 1992294400 134512640 135751879 4287551760 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9992/statm: 18392 17819 148 303 0 18087 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 73568 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9999 /proc/meminfo: memFree=1752108/2059040 swapFree=4139732/4192956 [pid=9992] ppid=9990 vsize=74532 CPUtime=166.22 /proc/9992/stat : 9992 (wbo1.4b) R 9990 9992 9343 0 -1 4202496 18666 0 0 0 16550 72 0 0 25 0 1 0 44292613 76320768 18035 1992294400 134512640 135751879 4287551760 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9992/statm: 18633 18035 148 303 0 18328 0 Current children cumulated CPU time (s) 166.22 Current children cumulated vsize (KiB) 74532 [startup+172.709 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9999 /proc/meminfo: memFree=1750868/2059040 swapFree=4139732/4192956 [pid=9992] ppid=9990 vsize=75732 CPUtime=172.62 /proc/9992/stat : 9992 (wbo1.4b) R 9990 9992 9343 0 -1 4202496 18976 0 0 0 17189 73 0 0 25 0 1 0 44292613 77549568 18345 1992294400 134512640 135751879 4287551760 18446744073709551615 134611076 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9992/statm: 18933 18345 148 303 0 18628 0 Current children cumulated CPU time (s) 172.62 Current children cumulated vsize (KiB) 75732 [startup+175.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9999 /proc/meminfo: memFree=1750124/2059040 swapFree=4139732/4192956 [pid=9992] ppid=9990 vsize=76420 CPUtime=175.82 /proc/9992/stat : 9992 (wbo1.4b) R 9990 9992 9343 0 -1 4202496 19155 0 0 0 17508 74 0 0 25 0 1 0 44292613 78254080 18524 1992294400 134512640 135751879 4287551760 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9992/statm: 19105 18524 148 303 0 18800 0 Current children cumulated CPU time (s) 175.82 Current children cumulated vsize (KiB) 76420 [startup+179.102 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9999 /proc/meminfo: memFree=1749504/2059040 swapFree=4139732/4192956 [pid=9992] ppid=9990 vsize=77244 CPUtime=179.01 /proc/9992/stat : 9992 (wbo1.4b) R 9990 9992 9343 0 -1 4202496 19377 0 0 0 17827 74 0 0 25 0 1 0 44292613 79097856 18746 1992294400 134512640 135751879 4287551760 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9992/statm: 19311 18746 148 303 0 19006 0 Current children cumulated CPU time (s) 179.01 Current children cumulated vsize (KiB) 77244 [startup+179.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9999 /proc/meminfo: memFree=1749132/2059040 swapFree=4139732/4192956 [pid=9992] ppid=9990 vsize=77376 CPUtime=179.81 /proc/9992/stat : 9992 (wbo1.4b) R 9990 9992 9343 0 -1 4202496 19417 0 0 0 17906 75 0 0 25 0 1 0 44292613 79233024 18786 1992294400 134512640 135751879 4287551760 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9992/statm: 19344 18786 148 303 0 19039 0 Current children cumulated CPU time (s) 179.81 Current children cumulated vsize (KiB) 77376 [startup+180.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9999 /proc/meminfo: memFree=1748884/2059040 swapFree=4139732/4192956 [pid=9992] ppid=9990 vsize=77640 CPUtime=180.61 /proc/9992/stat : 9992 (wbo1.4b) R 9990 9992 9343 0 -1 4202496 19471 0 0 0 17986 75 0 0 25 0 1 0 44292613 79503360 18840 1992294400 134512640 135751879 4287551760 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9992/statm: 19410 18840 148 303 0 19105 0 Current children cumulated CPU time (s) 180.61 Current children cumulated vsize (KiB) 77640 [startup+180.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9999 /proc/meminfo: memFree=1748884/2059040 swapFree=4139732/4192956 [pid=9992] ppid=9990 vsize=80916 CPUtime=180.81 /proc/9992/stat : 9992 (wbo1.4b) R 9990 9992 9343 0 -1 4202496 20252 0 0 0 18006 75 0 0 25 0 1 0 44292613 82857984 19621 1992294400 134512640 135751879 4287551760 18446744073709551615 135201930 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9992/statm: 20229 19621 149 303 0 19924 0 Current children cumulated CPU time (s) 180.81 Current children cumulated vsize (KiB) 80916 [startup+181.001 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9999 /proc/meminfo: memFree=1748884/2059040 swapFree=4139732/4192956 [pid=9992] ppid=9990 vsize=80916 CPUtime=180.91 /proc/9992/stat : 9992 (wbo1.4b) R 9990 9992 9343 0 -1 4202496 20252 0 0 0 18016 75 0 0 25 0 1 0 44292613 82857984 19621 1992294400 134512640 135751879 4287551760 18446744073709551615 135200324 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9992/statm: 20229 19621 149 303 0 19924 0 Current children cumulated CPU time (s) 180.91 Current children cumulated vsize (KiB) 80916 Child status: 0 Real time (s): 181.078 CPU time (s): 180.998 CPU user time (s): 180.231 CPU system time (s): 0.767883 CPU usage (%): 99.9561 Max. virtual memory (cumulated for all children) (KiB): 80916 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.231 system time used= 0.767883 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20253 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= 50 involuntary context switches= 2280 runsolver used 0.305953 second user time and 0.870867 second system time The end
Begin job on node010 at 2010-06-16 13:15:10 IDJOB=2655745 IDBENCH=71834 IDSOLVER=1161 FILE ID=node010/2655745-1276686910 PBS_JOBID= 11172565 Free space on /tmp= 62528 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-5000opt.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655745-1276686910/watcher-2655745-1276686910 -o /tmp/evaluation-result-2655745-1276686910/solver-2655745-1276686910 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655745-1276686910.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 657f6825a6ae32adb885bdc3b57c624e RANDOM SEED=1659421932 node010.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.267 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.53 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.267 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: 1824812 kB Buffers: 46616 kB Cached: 95368 kB SwapCached: 5880 kB Active: 86712 kB Inactive: 67832 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1824812 kB SwapTotal: 4192956 kB SwapFree: 4139732 kB Dirty: 4720 kB Writeback: 0 kB AnonPages: 11076 kB Mapped: 12944 kB Slab: 57628 kB PageTables: 4016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181616 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= 62528 MiB End job on node010 at 2010-06-16 13:18:11