Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -148 | 181.192 | 181.246 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-2000opt.opb |
MD5SUM | 5ab7e551a21f0b7676d0c7dccbb62e78 |
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 | -167 |
Best CPU time to get the best result obtained on this benchmark | 30.0604 |
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 | 61821 |
Number of constraints which are clauses | 61821 |
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 | 326 |
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 | 326 |
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-2655742-1276686345.opb. 0.00/0.00 c Instance file HOME/instance-2655742-1276686345.opb 0.00/0.00 c File size is 2061590 bytes. 0.19/0.28 c Highest Coefficient sum: 4 0.19/0.28 c ============================[ Problem Statistics ]============================= 0.19/0.28 c | | 0.19/0.28 c | Parsing time: 0.28 s | 0.19/0.28 c | Number Variables: 2025 | 0.19/0.28 c | Number Clauses: 61821 | 0.19/0.28 c | Number Cardinality: 0 | 0.19/0.28 c | Number PB Constraints: 0 | 0.29/0.37 c ============================[ Search Statistics ]============================== 0.29/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.37 c =============================================================================== 0.29/0.37 c | 0 | 2018 61828 184293 | 20607 0 nan | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c New solution: 326 0.29/0.38 o 326 0.29/0.38 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 2018 61829 184428 | 20609 0 nan | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c New solution: 322 0.29/0.39 o 322 0.29/0.39 c Elapsed CPU time: 0.383941 s Remaining CPU time: 179.616 s 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 2018 61830 184563 | 20610 0 nan | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c New solution: 320 0.39/0.40 o 320 0.39/0.40 c Elapsed CPU time: 0.39394 s Remaining CPU time: 179.606 s 0.39/0.40 c =============================================================================== 0.39/0.40 c | 0 | 2018 61831 184698 | 20610 0 nan | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c New solution: 318 0.39/0.41 o 318 0.39/0.41 c Elapsed CPU time: 0.405938 s Remaining CPU time: 179.594 s 0.39/0.41 c =============================================================================== 0.39/0.41 c | 0 | 2018 61832 184833 | 20610 0 nan | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c New solution: 316 0.39/0.43 o 316 0.39/0.43 c Elapsed CPU time: 0.415936 s Remaining CPU time: 179.584 s 0.39/0.43 c =============================================================================== 0.39/0.43 c | 1 | 2018 61833 184968 | 20611 1 132 | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c New solution: 315 0.39/0.44 o 315 0.39/0.44 c Elapsed CPU time: 0.424935 s Remaining CPU time: 179.575 s 0.39/0.44 c =============================================================================== 0.39/0.44 c | 1 | 2018 61834 185103 | 20611 1 132 | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c New solution: 314 0.39/0.45 o 314 0.39/0.45 c Elapsed CPU time: 0.434933 s Remaining CPU time: 179.565 s 0.39/0.45 c =============================================================================== 0.39/0.45 c | 3 | 2018 61835 185238 | 20611 3 130 | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c New solution: 313 0.39/0.46 o 313 0.39/0.46 c Elapsed CPU time: 0.444932 s Remaining CPU time: 179.555 s 0.39/0.46 c =============================================================================== 0.39/0.46 c | 3 | 2018 61836 185373 | 20612 3 130 | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c New solution: 312 0.39/0.47 o 312 0.39/0.47 c Elapsed CPU time: 0.45493 s Remaining CPU time: 179.545 s 0.39/0.47 c =============================================================================== 0.39/0.47 c | 3 | 2018 61837 185508 | 20612 3 130 | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c New solution: 311 0.39/0.48 o 311 0.39/0.48 c Elapsed CPU time: 0.465929 s Remaining CPU time: 179.534 s 0.39/0.48 c =============================================================================== 0.39/0.48 c | 3 | 2018 61838 185643 | 20612 3 130 | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c New solution: 310 0.39/0.49 o 310 0.39/0.49 c Elapsed CPU time: 0.475927 s Remaining CPU time: 179.524 s 0.39/0.49 c =============================================================================== 0.39/0.49 c | 3 | 2018 61839 185778 | 20613 3 130 | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c New solution: 309 0.49/0.50 o 309 0.49/0.50 c Elapsed CPU time: 0.484926 s Remaining CPU time: 179.515 s 0.49/0.50 c =============================================================================== 0.49/0.50 c | 3 | 2018 61840 185913 | 20613 3 130 | 0.000 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c New solution: 308 0.49/0.51 o 308 0.49/0.51 c Elapsed CPU time: 0.493924 s Remaining CPU time: 179.506 s 0.49/0.51 c =============================================================================== 0.49/0.51 c | 3 | 2018 61841 186048 | 20613 3 130 | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c New solution: 307 0.49/0.53 o 307 0.49/0.53 c Elapsed CPU time: 0.503923 s Remaining CPU time: 179.496 s 0.49/0.53 c =============================================================================== 0.49/0.53 c | 5 | 2018 61842 186183 | 20614 5 127 | 0.000 % | 0.49/0.54 c =============================================================================== 0.49/0.54 c New solution: 306 0.49/0.54 o 306 0.49/0.54 c Elapsed CPU time: 0.512922 s Remaining CPU time: 179.487 s 0.49/0.54 c =============================================================================== 0.49/0.54 c | 6 | 2018 61843 186318 | 20614 6 127 | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c New solution: 305 0.49/0.55 o 305 0.49/0.55 c Elapsed CPU time: 0.52292 s Remaining CPU time: 179.477 s 0.49/0.55 c =============================================================================== 0.49/0.55 c | 10 | 2018 61844 186453 | 20614 10 126 | 0.000 % | 0.49/0.56 c =============================================================================== 0.49/0.56 c New solution: 304 0.49/0.56 o 304 0.49/0.56 c Elapsed CPU time: 0.533918 s Remaining CPU time: 179.466 s 0.49/0.56 c =============================================================================== 0.49/0.56 c | 10 | 2018 61845 186588 | 20615 10 126 | 0.000 % | 0.49/0.57 c =============================================================================== 0.49/0.57 c New solution: 303 0.49/0.57 o 303 0.49/0.57 c Elapsed CPU time: 0.544917 s Remaining CPU time: 179.455 s 0.49/0.57 c =============================================================================== 0.49/0.57 c | 11 | 2018 61846 186723 | 20615 11 126 | 0.000 % | 0.49/0.58 c =============================================================================== 0.49/0.58 c New solution: 302 0.49/0.58 o 302 0.49/0.58 c Elapsed CPU time: 0.553915 s Remaining CPU time: 179.446 s 0.49/0.58 c =============================================================================== 0.49/0.58 c | 11 | 2018 61847 186858 | 20615 11 126 | 0.000 % | 0.49/0.59 c =============================================================================== 0.49/0.59 c New solution: 301 0.49/0.59 o 301 0.49/0.59 c Elapsed CPU time: 0.563914 s Remaining CPU time: 179.436 s 0.49/0.59 c =============================================================================== 0.49/0.59 c | 12 | 2018 61848 186993 | 20616 12 116 | 0.000 % | 0.59/0.60 c =============================================================================== 0.59/0.60 c New solution: 300 0.59/0.60 o 300 0.59/0.60 c Elapsed CPU time: 0.572912 s Remaining CPU time: 179.427 s 0.59/0.60 c =============================================================================== 0.59/0.60 c | 12 | 2018 61849 187128 | 20616 12 116 | 0.000 % | 0.59/0.61 c =============================================================================== 0.59/0.61 c New solution: 299 0.59/0.61 o 299 0.59/0.61 c Elapsed CPU time: 0.583911 s Remaining CPU time: 179.416 s 0.59/0.61 c =============================================================================== 0.59/0.61 c | 15 | 2018 61850 187263 | 20616 15 117 | 0.000 % | 0.59/0.62 c =============================================================================== 0.59/0.62 c New solution: 298 0.59/0.62 o 298 0.59/0.62 c Elapsed CPU time: 0.593909 s Remaining CPU time: 179.406 s 0.59/0.62 c =============================================================================== 0.59/0.62 c | 16 | 2018 61851 187398 | 20617 16 110 | 0.000 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c New solution: 297 0.59/0.63 o 297 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 | 17 | 2018 61852 187533 | 20617 17 111 | 0.000 % | 0.59/0.64 c =============================================================================== 0.59/0.64 c New solution: 296 0.59/0.64 o 296 0.59/0.64 c Elapsed CPU time: 0.611906 s Remaining CPU time: 179.388 s 0.59/0.64 c =============================================================================== 0.59/0.64 c | 18 | 2018 61853 187668 | 20617 18 111 | 0.000 % | 0.59/0.65 c =============================================================================== 0.59/0.65 c New solution: 295 0.59/0.65 o 295 0.59/0.65 c Elapsed CPU time: 0.618905 s Remaining CPU time: 179.381 s 0.59/0.65 c =============================================================================== 0.59/0.65 c | 20 | 2018 61854 187803 | 20618 20 112 | 0.000 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c New solution: 294 0.59/0.66 o 294 0.59/0.66 c Elapsed CPU time: 0.627904 s Remaining CPU time: 179.372 s 0.59/0.66 c =============================================================================== 0.59/0.66 c | 20 | 2018 61855 187938 | 20618 20 112 | 0.000 % | 0.59/0.68 c =============================================================================== 0.59/0.68 c New solution: 293 0.59/0.68 o 293 0.59/0.68 c Elapsed CPU time: 0.636903 s Remaining CPU time: 179.363 s 0.59/0.68 c =============================================================================== 0.59/0.68 c | 20 | 2018 61856 188073 | 20618 20 112 | 0.000 % | 0.59/0.69 c =============================================================================== 0.59/0.69 c New solution: 292 0.59/0.69 o 292 0.59/0.69 c Elapsed CPU time: 0.644901 s Remaining CPU time: 179.355 s 0.59/0.69 c =============================================================================== 0.59/0.69 c | 20 | 2018 61857 188208 | 20619 20 112 | 0.000 % | 0.69/0.70 c =============================================================================== 0.69/0.70 c New solution: 291 0.69/0.70 o 291 0.69/0.70 c Elapsed CPU time: 0.6559 s Remaining CPU time: 179.344 s 0.69/0.70 c =============================================================================== 0.69/0.70 c | 26 | 2018 61858 188343 | 20619 26 114 | 0.000 % | 0.69/0.71 c =============================================================================== 0.69/0.71 c New solution: 290 0.69/0.71 o 290 0.69/0.71 c Elapsed CPU time: 0.664898 s Remaining CPU time: 179.335 s 0.69/0.71 c =============================================================================== 0.69/0.71 c | 26 | 2018 61859 188478 | 20619 26 114 | 0.000 % | 0.69/0.72 c =============================================================================== 0.69/0.72 c New solution: 289 0.69/0.72 o 289 0.69/0.72 c Elapsed CPU time: 0.674897 s Remaining CPU time: 179.325 s 0.69/0.72 c =============================================================================== 0.69/0.72 c | 26 | 2018 61860 188613 | 20620 26 114 | 0.000 % | 0.69/0.73 c =============================================================================== 0.69/0.73 c New solution: 288 0.69/0.73 o 288 0.69/0.73 c Elapsed CPU time: 0.684895 s Remaining CPU time: 179.315 s 0.69/0.73 c =============================================================================== 0.69/0.73 c | 30 | 2018 61861 188748 | 20620 30 114 | 0.000 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c New solution: 287 0.69/0.74 o 287 0.69/0.74 c Elapsed CPU time: 0.695894 s Remaining CPU time: 179.304 s 0.69/0.74 c =============================================================================== 0.69/0.74 c | 32 | 2018 61862 188883 | 20620 32 114 | 0.000 % | 0.69/0.75 c =============================================================================== 0.69/0.75 c New solution: 286 0.69/0.75 o 286 0.69/0.75 c Elapsed CPU time: 0.704892 s Remaining CPU time: 179.295 s 0.69/0.75 c =============================================================================== 0.69/0.75 c | 32 | 2018 61863 189018 | 20621 32 114 | 0.000 % | 0.69/0.76 c =============================================================================== 0.69/0.76 c New solution: 285 0.69/0.76 o 285 0.69/0.76 c Elapsed CPU time: 0.713891 s Remaining CPU time: 179.286 s 0.69/0.76 c =============================================================================== 0.69/0.76 c | 32 | 2018 61864 189153 | 20621 32 114 | 0.000 % | 0.69/0.77 c =============================================================================== 0.69/0.77 c New solution: 284 0.69/0.77 o 284 0.69/0.77 c Elapsed CPU time: 0.72189 s Remaining CPU time: 179.278 s 0.69/0.77 c =============================================================================== 0.69/0.77 c | 32 | 2018 61865 189288 | 20621 32 114 | 0.000 % | 0.69/0.78 c =============================================================================== 0.69/0.78 c New solution: 283 0.69/0.78 o 283 0.69/0.78 c Elapsed CPU time: 0.731888 s Remaining CPU time: 179.268 s 0.69/0.78 c =============================================================================== 0.69/0.78 c | 36 | 2018 61866 189423 | 20622 36 115 | 0.000 % | 0.69/0.79 c =============================================================================== 0.69/0.79 c New solution: 282 0.69/0.79 o 282 0.69/0.79 c Elapsed CPU time: 0.741887 s Remaining CPU time: 179.258 s 0.69/0.79 c =============================================================================== 0.69/0.79 c | 36 | 2018 61867 189558 | 20622 36 115 | 0.000 % | 0.79/0.80 c =============================================================================== 0.79/0.80 c New solution: 281 0.79/0.80 o 281 0.79/0.80 c Elapsed CPU time: 0.750885 s Remaining CPU time: 179.249 s 0.79/0.80 c =============================================================================== 0.79/0.80 c | 36 | 2018 61868 189693 | 20622 36 115 | 0.000 % | 0.79/0.82 c =============================================================================== 0.79/0.82 c New solution: 280 0.79/0.82 o 280 0.79/0.82 c Elapsed CPU time: 0.760884 s Remaining CPU time: 179.239 s 0.79/0.82 c =============================================================================== 0.79/0.82 c | 36 | 2018 61869 189828 | 20623 36 115 | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.83 c New solution: 279 0.79/0.83 o 279 0.79/0.83 c Elapsed CPU time: 0.769882 s Remaining CPU time: 179.23 s 0.79/0.83 c =============================================================================== 0.79/0.83 c | 37 | 2018 61870 189963 | 20623 37 115 | 0.000 % | 0.79/0.84 c =============================================================================== 0.79/0.84 c New solution: 278 0.79/0.84 o 278 0.79/0.84 c Elapsed CPU time: 0.779881 s Remaining CPU time: 179.22 s 0.79/0.84 c =============================================================================== 0.79/0.84 c | 39 | 2018 61871 190098 | 20623 39 115 | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.85 c New solution: 277 0.79/0.85 o 277 0.79/0.85 c Elapsed CPU time: 0.790879 s Remaining CPU time: 179.209 s 0.79/0.85 c =============================================================================== 0.79/0.85 c | 39 | 2018 61872 190233 | 20624 39 115 | 0.000 % | 0.79/0.86 c =============================================================================== 0.79/0.86 c New solution: 276 0.79/0.86 o 276 0.79/0.86 c Elapsed CPU time: 0.802877 s Remaining CPU time: 179.197 s 0.79/0.86 c =============================================================================== 0.79/0.86 c | 43 | 2018 61873 190368 | 20624 43 112 | 0.000 % | 0.79/0.87 c =============================================================================== 0.79/0.87 c New solution: 275 0.79/0.87 o 275 0.79/0.87 c Elapsed CPU time: 0.811876 s Remaining CPU time: 179.188 s 0.79/0.87 c =============================================================================== 0.79/0.87 c | 45 | 2018 61874 190503 | 20624 45 112 | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c New solution: 274 0.79/0.88 o 274 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 | 53 | 2018 61875 190638 | 20625 53 112 | 0.000 % | 0.79/0.89 c =============================================================================== 0.79/0.89 c New solution: 273 0.79/0.89 o 273 0.79/0.89 c Elapsed CPU time: 0.834873 s Remaining CPU time: 179.165 s 0.79/0.89 c =============================================================================== 0.79/0.89 c | 53 | 2018 61876 190773 | 20625 53 112 | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.91 c New solution: 272 0.89/0.91 o 272 0.89/0.91 c Elapsed CPU time: 0.845871 s Remaining CPU time: 179.154 s 0.89/0.91 c =============================================================================== 0.89/0.91 c | 64 | 2018 61877 190908 | 20625 64 112 | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.92 c New solution: 271 0.89/0.92 o 271 0.89/0.92 c Elapsed CPU time: 0.855869 s Remaining CPU time: 179.144 s 0.89/0.92 c =============================================================================== 0.89/0.92 c | 66 | 2018 61878 191043 | 20626 66 112 | 0.000 % | 0.89/0.93 c =============================================================================== 0.89/0.93 c New solution: 270 0.89/0.93 o 270 0.89/0.93 c Elapsed CPU time: 0.865868 s Remaining CPU time: 179.134 s 0.89/0.93 c =============================================================================== 0.89/0.93 c | 66 | 2018 61879 191178 | 20626 66 112 | 0.000 % | 0.89/0.94 c =============================================================================== 0.89/0.94 c New solution: 269 0.89/0.94 o 269 0.89/0.94 c Elapsed CPU time: 0.877866 s Remaining CPU time: 179.122 s 0.89/0.94 c =============================================================================== 0.89/0.94 c | 79 | 2018 61880 191313 | 20626 79 110 | 0.000 % | 0.89/0.95 c =============================================================================== 0.89/0.95 c New solution: 268 0.89/0.95 o 268 0.89/0.95 c Elapsed CPU time: 0.887865 s Remaining CPU time: 179.112 s 0.89/0.95 c =============================================================================== 0.89/0.95 c | 85 | 2018 61881 191448 | 20627 85 110 | 0.000 % | 0.89/0.97 c =============================================================================== 0.89/0.97 c New solution: 267 0.89/0.97 o 267 0.89/0.97 c Elapsed CPU time: 0.898863 s Remaining CPU time: 179.101 s 0.89/0.97 c =============================================================================== 0.89/0.97 c | 85 | 2018 61882 191583 | 20627 85 110 | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.98 c New solution: 266 0.89/0.98 o 266 0.89/0.98 c Elapsed CPU time: 0.909861 s Remaining CPU time: 179.09 s 0.89/0.98 c =============================================================================== 0.89/0.98 c | 91 | 2018 61883 191718 | 20627 91 110 | 0.000 % | 0.89/0.99 c =============================================================================== 0.89/0.99 c New solution: 265 0.89/0.99 o 265 0.89/0.99 c Elapsed CPU time: 0.92086 s Remaining CPU time: 179.079 s 0.89/0.99 c =============================================================================== 0.89/0.99 c | 117 | 2018 61884 191853 | 20628 117 109 | 0.000 % | 1.00/1.00 c =============================================================================== 1.00/1.00 c New solution: 264 1.00/1.00 o 264 1.00/1.00 c Elapsed CPU time: 0.930858 s Remaining CPU time: 179.069 s 1.00/1.00 c =============================================================================== 1.00/1.00 c | 117 | 2018 61885 191988 | 20628 117 109 | 0.000 % | 1.00/1.01 c =============================================================================== 1.00/1.01 c New solution: 263 1.00/1.01 o 263 1.00/1.01 c Elapsed CPU time: 0.940856 s Remaining CPU time: 179.059 s 1.00/1.01 c =============================================================================== 1.00/1.01 c | 117 | 2018 61886 192123 | 20628 117 109 | 0.000 % | 1.00/1.02 c =============================================================================== 1.00/1.02 c New solution: 262 1.00/1.02 o 262 1.00/1.02 c Elapsed CPU time: 0.950855 s Remaining CPU time: 179.049 s 1.00/1.02 c =============================================================================== 1.00/1.02 c | 117 | 2018 61887 192258 | 20629 117 109 | 0.000 % | 1.00/1.03 c =============================================================================== 1.00/1.03 c New solution: 261 1.00/1.03 o 261 1.00/1.03 c Elapsed CPU time: 0.963853 s Remaining CPU time: 179.036 s 1.00/1.03 c =============================================================================== 1.00/1.04 c | 155 | 2018 61888 192393 | 20629 155 108 | 0.000 % | 1.00/1.05 c =============================================================================== 1.00/1.05 c New solution: 260 1.00/1.05 o 260 1.00/1.05 c Elapsed CPU time: 0.974851 s Remaining CPU time: 179.025 s 1.00/1.05 c =============================================================================== 1.00/1.05 c | 155 | 2018 61889 192528 | 20629 155 108 | 0.000 % | 1.00/1.06 c =============================================================================== 1.00/1.06 c New solution: 259 1.00/1.06 o 259 1.00/1.06 c Elapsed CPU time: 0.98385 s Remaining CPU time: 179.016 s 1.00/1.06 c =============================================================================== 1.00/1.06 c | 155 | 2018 61890 192663 | 20630 155 108 | 0.000 % | 1.00/1.07 c =============================================================================== 1.00/1.07 c New solution: 258 1.00/1.07 o 258 1.00/1.07 c Elapsed CPU time: 0.995848 s Remaining CPU time: 179.004 s 1.00/1.07 c =============================================================================== 1.00/1.07 c | 166 | 2018 61891 192798 | 20630 166 108 | 0.000 % | 1.00/1.08 c =============================================================================== 1.00/1.08 c New solution: 257 1.00/1.08 o 257 1.00/1.08 c Elapsed CPU time: 1.00585 s Remaining CPU time: 178.994 s 1.00/1.08 c =============================================================================== 1.00/1.08 c | 166 | 2018 61892 192933 | 20630 166 108 | 0.000 % | 1.00/1.09 c =============================================================================== 1.00/1.09 c New solution: 256 1.00/1.09 o 256 1.00/1.09 c Elapsed CPU time: 1.01585 s Remaining CPU time: 178.984 s 1.00/1.09 c =============================================================================== 1.00/1.09 c | 166 | 2018 61893 193068 | 20631 166 108 | 0.000 % | 1.10/1.11 c =============================================================================== 1.10/1.11 c New solution: 255 1.10/1.11 o 255 1.10/1.11 c Elapsed CPU time: 1.02684 s Remaining CPU time: 178.973 s 1.10/1.11 c =============================================================================== 1.10/1.11 c | 169 | 2018 61894 193203 | 20631 169 108 | 0.000 % | 1.10/1.12 c =============================================================================== 1.10/1.12 c New solution: 254 1.10/1.12 o 254 1.10/1.12 c Elapsed CPU time: 1.03784 s Remaining CPU time: 178.962 s 1.10/1.12 c =============================================================================== 1.10/1.12 c | 169 | 2018 61895 193338 | 20631 169 108 | 0.000 % | 1.10/1.13 c =============================================================================== 1.10/1.13 c New solution: 253 1.10/1.13 o 253 1.10/1.13 c Elapsed CPU time: 1.04784 s Remaining CPU time: 178.952 s 1.10/1.13 c =============================================================================== 1.10/1.13 c | 169 | 2018 61896 193473 | 20632 169 108 | 0.000 % | 1.10/1.15 c | 269 | 2018 61896 193473 | 22695 269 104 | 0.346 % | 1.10/1.16 c =============================================================================== 1.10/1.16 c New solution: 251 1.10/1.16 o 251 1.10/1.16 c Elapsed CPU time: 1.07384 s Remaining CPU time: 178.926 s 1.10/1.16 c =============================================================================== 1.10/1.16 c | 269 | 2018 61897 193608 | 20632 269 104 | 0.346 % | 1.10/1.17 c | 369 | 2018 61897 193608 | 22695 369 104 | 0.346 % | 1.10/1.19 c =============================================================================== 1.10/1.19 c New solution: 250 1.10/1.19 o 250 1.10/1.19 c Elapsed CPU time: 1.11183 s Remaining CPU time: 178.888 s 1.10/1.19 c =============================================================================== 1.10/1.19 c | 439 | 2018 61898 193743 | 20632 439 103 | 0.346 % | 1.19/1.22 c | 539 | 2018 61898 193743 | 22695 539 103 | 0.346 % | 1.19/1.24 c | 689 | 2018 61898 193743 | 24965 689 103 | 0.346 % | 1.19/1.29 c =============================================================================== 1.19/1.29 c New solution: 249 1.19/1.29 o 249 1.19/1.29 c Elapsed CPU time: 1.20482 s Remaining CPU time: 178.795 s 1.19/1.29 c =============================================================================== 1.19/1.29 c | 908 | 2018 61899 193878 | 20633 908 103 | 0.346 % | 1.29/1.31 c =============================================================================== 1.29/1.31 c New solution: 248 1.29/1.31 o 248 1.29/1.31 c Elapsed CPU time: 1.21981 s Remaining CPU time: 178.78 s 1.29/1.31 c =============================================================================== 1.29/1.31 c | 915 | 2018 61900 194013 | 20633 915 103 | 0.346 % | 1.29/1.33 c =============================================================================== 1.29/1.33 c New solution: 247 1.29/1.33 o 247 1.29/1.33 c Elapsed CPU time: 1.23981 s Remaining CPU time: 178.76 s 1.29/1.33 c =============================================================================== 1.29/1.33 c | 971 | 2018 61901 194148 | 20633 971 103 | 0.346 % | 1.29/1.34 c =============================================================================== 1.29/1.34 c New solution: 246 1.29/1.34 o 246 1.29/1.34 c Elapsed CPU time: 1.24981 s Remaining CPU time: 178.75 s 1.29/1.34 c =============================================================================== 1.29/1.34 c | 977 | 2018 61902 194283 | 20634 977 103 | 0.346 % | 1.29/1.36 c =============================================================================== 1.29/1.36 c New solution: 245 1.29/1.36 o 245 1.29/1.36 c Elapsed CPU time: 1.27581 s Remaining CPU time: 178.724 s 1.29/1.36 c =============================================================================== 1.29/1.36 c | 1074 | 2018 61903 194418 | 20634 1074 103 | 0.346 % | 1.29/1.38 c =============================================================================== 1.29/1.38 c New solution: 244 1.29/1.38 o 244 1.29/1.38 c Elapsed CPU time: 1.2888 s Remaining CPU time: 178.711 s 1.29/1.38 c =============================================================================== 1.29/1.38 c | 1078 | 2018 61904 194553 | 20634 1078 103 | 0.346 % | 1.29/1.39 c =============================================================================== 1.29/1.39 c New solution: 243 1.29/1.39 o 243 1.29/1.39 c Elapsed CPU time: 1.2998 s Remaining CPU time: 178.7 s 1.29/1.39 c =============================================================================== 1.29/1.39 c | 1080 | 2018 61905 194688 | 20635 1080 103 | 0.346 % | 1.39/1.41 c =============================================================================== 1.39/1.41 c New solution: 242 1.39/1.41 o 242 1.39/1.41 c Elapsed CPU time: 1.3168 s Remaining CPU time: 178.683 s 1.39/1.41 c =============================================================================== 1.39/1.41 c | 1107 | 2018 61906 194823 | 20635 1107 103 | 0.346 % | 1.39/1.43 c | 1208 | 2018 61906 194823 | 22698 1208 103 | 0.346 % | 1.39/1.46 c =============================================================================== 1.39/1.46 c New solution: 241 1.39/1.46 o 241 1.39/1.46 c Elapsed CPU time: 1.35879 s Remaining CPU time: 178.641 s 1.39/1.46 c =============================================================================== 1.39/1.46 c | 1321 | 2018 61907 194958 | 20635 1321 103 | 0.346 % | 1.39/1.47 c =============================================================================== 1.39/1.47 c New solution: 240 1.39/1.47 o 240 1.39/1.47 c Elapsed CPU time: 1.37179 s Remaining CPU time: 178.628 s 1.39/1.47 c =============================================================================== 1.39/1.47 c | 1329 | 2018 61908 195093 | 20636 1329 103 | 0.346 % | 1.39/1.48 c =============================================================================== 1.39/1.48 c New solution: 239 1.39/1.48 o 239 1.39/1.48 c Elapsed CPU time: 1.38279 s Remaining CPU time: 178.617 s 1.39/1.48 c =============================================================================== 1.39/1.48 c | 1329 | 2018 61909 195228 | 20636 1329 103 | 0.346 % | 1.39/1.49 c =============================================================================== 1.39/1.49 c New solution: 238 1.39/1.49 o 238 1.39/1.49 c Elapsed CPU time: 1.39479 s Remaining CPU time: 178.605 s 1.39/1.49 c =============================================================================== 1.39/1.49 c | 1329 | 2018 61910 195363 | 20636 1329 103 | 0.346 % | 1.49/1.52 c | 1429 | 2018 61910 195363 | 22700 1429 103 | 0.346 % | 1.49/1.54 c =============================================================================== 1.49/1.54 c New solution: 237 1.49/1.54 o 237 1.49/1.54 c Elapsed CPU time: 1.43578 s Remaining CPU time: 178.564 s 1.49/1.54 c =============================================================================== 1.49/1.54 c | 1496 | 2018 61911 195498 | 20637 1496 102 | 0.346 % | 1.49/1.56 c =============================================================================== 1.49/1.56 c New solution: 236 1.49/1.56 o 236 1.49/1.56 c Elapsed CPU time: 1.45978 s Remaining CPU time: 178.54 s 1.49/1.56 c =============================================================================== 1.49/1.56 c | 1541 | 2018 61912 195633 | 20637 1541 102 | 0.346 % | 1.49/1.58 c =============================================================================== 1.49/1.58 c New solution: 235 1.49/1.58 o 235 1.49/1.58 c Elapsed CPU time: 1.47477 s Remaining CPU time: 178.525 s 1.49/1.58 c =============================================================================== 1.49/1.58 c | 1552 | 2018 61913 195768 | 20637 1552 102 | 0.346 % | 1.49/1.59 c =============================================================================== 1.49/1.59 c New solution: 234 1.49/1.59 o 234 1.49/1.59 c Elapsed CPU time: 1.48677 s Remaining CPU time: 178.513 s 1.49/1.59 c =============================================================================== 1.49/1.59 c | 1552 | 2018 61914 195903 | 20638 1552 102 | 0.346 % | 1.59/1.61 c | 1654 | 2018 61914 195903 | 22701 1654 102 | 0.346 % | 1.59/1.64 c | 1805 | 2018 61914 195903 | 24971 1805 102 | 0.346 % | 1.59/1.68 c | 2032 | 2018 61914 195903 | 27469 2032 101 | 0.346 % | 1.69/1.75 c | 2370 | 2018 61914 195903 | 30216 2370 100 | 0.346 % | 1.79/1.87 c | 2877 | 2018 61914 195903 | 33237 2877 98 | 0.346 % | 1.89/1.95 c =============================================================================== 1.89/1.95 c New solution: 233 1.89/1.95 o 233 1.89/1.95 c Elapsed CPU time: 1.84172 s Remaining CPU time: 178.158 s 1.89/1.95 c =============================================================================== 1.89/1.95 c | 3118 | 2018 61915 196038 | 20638 3118 98 | 0.346 % | 1.89/1.96 c =============================================================================== 1.89/1.96 c New solution: 232 1.89/1.96 o 232 1.89/1.96 c Elapsed CPU time: 1.85472 s Remaining CPU time: 178.145 s 1.89/1.96 c =============================================================================== 1.89/1.96 c | 3118 | 2018 61916 196173 | 20638 3118 98 | 0.346 % | 1.89/1.98 c =============================================================================== 1.89/1.98 c New solution: 231 1.89/1.98 o 231 1.89/1.98 c Elapsed CPU time: 1.87172 s Remaining CPU time: 178.128 s 1.89/1.98 c =============================================================================== 1.89/1.98 c | 3137 | 2018 61917 196308 | 20639 3137 98 | 0.346 % | 1.89/1.99 c =============================================================================== 1.89/1.99 c New solution: 230 1.89/1.99 o 230 1.89/1.99 c Elapsed CPU time: 1.88571 s Remaining CPU time: 178.114 s 1.89/1.99 c =============================================================================== 1.89/1.99 c | 3138 | 2018 61918 196443 | 20639 3138 98 | 0.346 % | 1.99/2.01 c =============================================================================== 1.99/2.01 c New solution: 229 1.99/2.01 o 229 1.99/2.01 c Elapsed CPU time: 1.90671 s Remaining CPU time: 178.093 s 1.99/2.01 c =============================================================================== 1.99/2.01 c | 3171 | 2018 61919 196578 | 20639 3171 98 | 0.346 % | 1.99/2.03 c =============================================================================== 1.99/2.03 c New solution: 228 1.99/2.03 o 228 1.99/2.03 c Elapsed CPU time: 1.92071 s Remaining CPU time: 178.079 s 1.99/2.03 c =============================================================================== 1.99/2.03 c | 3173 | 2018 61920 196713 | 20640 3173 98 | 0.346 % | 1.99/2.04 c =============================================================================== 1.99/2.04 c New solution: 227 1.99/2.04 o 227 1.99/2.04 c Elapsed CPU time: 1.93371 s Remaining CPU time: 178.066 s 1.99/2.04 c =============================================================================== 1.99/2.04 c | 3173 | 2018 61921 196848 | 20640 3173 98 | 0.346 % | 1.99/2.07 c | 3273 | 2018 61921 196848 | 22704 3273 98 | 0.346 % | 2.10/2.12 c | 3424 | 2018 61921 196848 | 24974 3424 98 | 0.346 % | 2.10/2.18 c | 3649 | 2018 61921 196848 | 27472 3649 97 | 0.346 % | 2.20/2.28 c | 3986 | 2018 61921 196848 | 30219 3986 97 | 0.346 % | 2.39/2.43 c | 4494 | 2018 61921 196848 | 33241 4494 96 | 0.346 % | 2.59/2.65 c | 5254 | 2018 61921 196848 | 36565 5254 95 | 0.346 % | 2.88/2.96 c | 6393 | 2018 61921 196848 | 40222 6393 95 | 0.346 % | 2.99/3.08 c =============================================================================== 2.99/3.08 c New solution: 226 2.99/3.08 o 226 2.99/3.08 c Elapsed CPU time: 2.96355 s Remaining CPU time: 177.036 s 2.99/3.08 c =============================================================================== 2.99/3.08 c | 6694 | 2018 61922 196983 | 20640 6694 95 | 0.346 % | 3.09/3.12 c | 6795 | 2018 61922 196983 | 22704 6795 95 | 0.346 % | 3.09/3.19 c =============================================================================== 3.09/3.19 c New solution: 225 3.09/3.19 o 225 3.09/3.19 c Elapsed CPU time: 3.06553 s Remaining CPU time: 176.934 s 3.09/3.19 c =============================================================================== 3.09/3.19 c | 6936 | 2018 61923 197118 | 20641 6936 95 | 0.346 % | 3.20/3.21 c =============================================================================== 3.20/3.21 c New solution: 224 3.20/3.21 o 224 3.20/3.21 c Elapsed CPU time: 3.09053 s Remaining CPU time: 176.909 s 3.20/3.21 c =============================================================================== 3.20/3.21 c | 6967 | 2018 61924 197253 | 20641 6967 95 | 0.346 % | 3.20/3.26 c | 7068 | 2018 61924 197253 | 22705 7068 95 | 0.346 % | 3.30/3.32 c | 7218 | 2018 61924 197253 | 24976 7218 95 | 0.346 % | 3.39/3.41 c | 7443 | 2018 61924 197253 | 27473 7443 95 | 0.346 % | 3.49/3.54 c | 7780 | 2018 61924 197253 | 30220 7780 95 | 0.346 % | 3.69/3.73 c | 8287 | 2018 61924 197253 | 33243 8287 95 | 0.346 % | 3.89/3.97 c | 9046 | 2018 61924 197253 | 36567 9046 95 | 0.346 % | 4.30/4.31 c =============================================================================== 4.30/4.31 c New solution: 223 4.30/4.31 o 223 4.30/4.31 c Elapsed CPU time: 4.17537 s Remaining CPU time: 175.825 s 4.30/4.31 c =============================================================================== 4.30/4.31 c | 10019 | 2018 61925 197388 | 20641 10019 94 | 0.346 % | 4.30/4.32 c =============================================================================== 4.30/4.32 c New solution: 222 4.30/4.32 o 222 4.30/4.32 c Elapsed CPU time: 4.19136 s Remaining CPU time: 175.809 s 4.30/4.32 c =============================================================================== 4.30/4.32 c | 10023 | 2018 61926 197523 | 20642 10023 94 | 0.346 % | 4.30/4.37 c | 10125 | 2018 61926 197523 | 22706 10125 94 | 0.346 % | 4.39/4.43 c | 10275 | 2018 61926 197523 | 24976 10275 94 | 0.346 % | 4.49/4.51 c | 10500 | 2018 61926 197523 | 27474 10500 94 | 0.346 % | 4.59/4.63 c | 10839 | 2018 61926 197523 | 30221 10839 94 | 0.346 % | 4.69/4.79 c | 11347 | 2018 61926 197523 | 33244 11347 94 | 0.346 % | 5.08/5.10 c | 12107 | 2018 61926 197523 | 36568 12107 94 | 0.346 % | 5.40/5.50 c | 13247 | 2018 61926 197523 | 40225 13247 94 | 0.346 % | 5.69/5.78 c =============================================================================== 5.69/5.78 c New solution: 221 5.69/5.78 o 221 5.69/5.78 c Elapsed CPU time: 5.63714 s Remaining CPU time: 174.363 s 5.69/5.78 c =============================================================================== 5.69/5.78 c | 13987 | 2018 61927 197658 | 20642 13987 94 | 0.346 % | 5.79/5.81 c | 14087 | 2018 61927 197658 | 22706 14087 94 | 0.346 % | 5.79/5.87 c | 14239 | 2018 61927 197658 | 24977 14239 94 | 0.346 % | 5.89/5.97 c | 14464 | 2018 61927 197658 | 27474 14464 94 | 0.346 % | 6.09/6.11 c | 14801 | 2018 61927 197658 | 30222 14801 94 | 0.346 % | 6.19/6.29 c | 15310 | 2018 61927 197658 | 33244 15310 94 | 0.346 % | 6.29/6.38 c =============================================================================== 6.29/6.38 c New solution: 220 6.29/6.38 o 220 6.29/6.38 c Elapsed CPU time: 6.23605 s Remaining CPU time: 173.764 s 6.29/6.38 c =============================================================================== 6.29/6.38 c | 15543 | 2018 61928 197793 | 20642 15543 94 | 0.346 % | 6.38/6.43 c | 15646 | 2018 61928 197793 | 22706 15646 94 | 0.346 % | 6.38/6.49 c | 15798 | 2018 61928 197793 | 24977 15798 94 | 0.346 % | 6.50/6.60 c | 16023 | 2018 61928 197793 | 27475 16023 94 | 0.346 % | 6.69/6.77 c | 16361 | 2018 61928 197793 | 30222 16361 94 | 0.346 % | 6.79/6.84 c =============================================================================== 6.79/6.84 c New solution: 219 6.79/6.84 o 219 6.79/6.84 c Elapsed CPU time: 6.68498 s Remaining CPU time: 173.315 s 6.79/6.84 c =============================================================================== 6.79/6.84 c | 16463 | 2018 61929 197928 | 20643 16463 94 | 0.346 % | 6.79/6.89 c | 16564 | 2018 61929 197928 | 22707 16564 94 | 0.346 % | 6.89/6.92 c =============================================================================== 6.89/6.92 c New solution: 218 6.89/6.92 o 218 6.89/6.92 c Elapsed CPU time: 6.76497 s Remaining CPU time: 173.235 s 6.89/6.92 c =============================================================================== 6.89/6.92 c | 16612 | 2018 61930 198063 | 20643 16612 94 | 0.346 % | 6.89/6.97 c =============================================================================== 6.89/6.97 c New solution: 217 6.89/6.97 o 217 6.89/6.97 c Elapsed CPU time: 6.80896 s Remaining CPU time: 173.191 s 6.89/6.97 c =============================================================================== 6.89/6.97 c | 16685 | 2018 61931 198198 | 20643 16685 94 | 0.346 % | 6.98/7.00 c | 16785 | 2018 61931 198198 | 22708 16785 94 | 0.346 % | 6.98/7.02 c =============================================================================== 6.98/7.02 c New solution: 216 6.98/7.02 o 216 6.98/7.02 c Elapsed CPU time: 6.86396 s Remaining CPU time: 173.136 s 6.98/7.02 c =============================================================================== 6.98/7.02 c | 16805 | 2018 61932 198333 | 20644 16805 94 | 0.346 % | 6.98/7.04 c =============================================================================== 6.98/7.04 c New solution: 215 6.98/7.04 o 215 6.98/7.04 c Elapsed CPU time: 6.88195 s Remaining CPU time: 173.118 s 6.98/7.04 c =============================================================================== 6.98/7.04 c | 16820 | 2018 61933 198468 | 20644 16820 94 | 0.346 % | 6.98/7.06 c =============================================================================== 6.98/7.06 c New solution: 214 6.98/7.06 o 214 6.98/7.06 c Elapsed CPU time: 6.90095 s Remaining CPU time: 173.099 s 6.98/7.06 c =============================================================================== 6.98/7.06 c | 16838 | 2018 61934 198603 | 20644 16838 94 | 0.346 % | 6.98/7.07 c =============================================================================== 6.98/7.07 c New solution: 213 6.98/7.07 o 213 6.98/7.07 c Elapsed CPU time: 6.91295 s Remaining CPU time: 173.087 s 6.98/7.07 c =============================================================================== 6.98/7.07 c | 16842 | 2018 61935 198738 | 20645 16842 94 | 0.346 % | 7.09/7.12 c | 16942 | 2018 61935 198738 | 22709 16942 94 | 0.346 % | 7.09/7.14 c =============================================================================== 7.09/7.14 c New solution: 212 7.09/7.14 o 212 7.09/7.14 c Elapsed CPU time: 6.97694 s Remaining CPU time: 173.023 s 7.09/7.14 c =============================================================================== 7.09/7.14 c | 16952 | 2018 61936 198873 | 20645 16952 94 | 0.346 % | 7.09/7.19 c | 17055 | 2018 61936 198873 | 22709 17055 94 | 0.346 % | 7.19/7.28 c | 17208 | 2018 61936 198873 | 24980 17208 93 | 0.346 % | 7.29/7.38 c | 17433 | 2018 61936 198873 | 27478 17433 93 | 0.346 % | 7.49/7.55 c | 17771 | 2018 61936 198873 | 30226 17771 93 | 0.346 % | 7.78/7.82 c | 18278 | 2018 61936 198873 | 33249 18278 93 | 0.346 % | 8.09/8.18 c | 19037 | 2018 61936 198873 | 36574 19037 93 | 0.346 % | 8.39/8.44 c =============================================================================== 8.39/8.44 c New solution: 211 8.39/8.44 o 211 8.39/8.44 c Elapsed CPU time: 8.26574 s Remaining CPU time: 171.734 s 8.39/8.44 c =============================================================================== 8.39/8.44 c | 19479 | 2018 61937 199008 | 20645 19479 93 | 0.346 % | 8.39/8.46 c =============================================================================== 8.39/8.46 c New solution: 210 8.39/8.46 o 210 8.39/8.46 c Elapsed CPU time: 8.28674 s Remaining CPU time: 171.713 s 8.39/8.46 c =============================================================================== 8.39/8.46 c | 19500 | 2018 61938 199143 | 20646 19500 93 | 0.346 % | 8.49/8.51 c =============================================================================== 8.49/8.51 c New solution: 209 8.49/8.51 o 209 8.49/8.51 c Elapsed CPU time: 8.33973 s Remaining CPU time: 171.66 s 8.49/8.51 c =============================================================================== 8.49/8.51 c | 19585 | 2018 61939 199278 | 20646 19585 93 | 0.346 % | 8.49/8.58 c | 19685 | 2018 61939 199278 | 22710 19685 93 | 0.346 % | 8.59/8.61 c =============================================================================== 8.59/8.61 c New solution: 208 8.59/8.61 o 208 8.59/8.61 c Elapsed CPU time: 8.43172 s Remaining CPU time: 171.568 s 8.59/8.61 c =============================================================================== 8.59/8.61 c | 19700 | 2018 61940 199413 | 20646 19700 93 | 0.346 % | 8.59/8.67 c | 19801 | 2018 61940 199413 | 22711 19801 93 | 0.346 % | 8.69/8.76 c | 19951 | 2018 61940 199413 | 24982 19951 93 | 0.346 % | 8.79/8.89 c | 20176 | 2018 61940 199413 | 27480 20176 93 | 0.346 % | 8.99/9.08 c | 20513 | 2018 61940 199413 | 30228 20513 93 | 0.346 % | 9.29/9.36 c | 21020 | 2018 61940 199413 | 33251 21020 93 | 0.346 % | 9.39/9.46 c =============================================================================== 9.39/9.46 c New solution: 207 9.39/9.46 o 207 9.39/9.46 c Elapsed CPU time: 9.27859 s Remaining CPU time: 170.721 s 9.39/9.46 c =============================================================================== 9.39/9.46 c | 21200 | 2018 61941 199548 | 20647 21200 92 | 0.346 % | 9.69/9.80 c | 21300 | 2018 61941 199548 | 22711 10700 90 | 0.346 % | 9.80/9.87 c | 21453 | 2018 61941 199548 | 24982 10853 90 | 0.346 % | 9.90/9.98 c | 21680 | 2018 61941 199548 | 27481 11080 90 | 0.346 % | 10.09/10.16 c | 22017 | 2018 61941 199548 | 30229 11417 89 | 0.346 % | 10.38/10.43 c | 22523 | 2018 61941 199548 | 33252 11923 89 | 0.346 % | 10.79/10.87 c | 23282 | 2018 61941 199548 | 36577 12682 89 | 0.346 % | 11.49/11.54 c | 24421 | 2018 61941 199548 | 40235 13821 89 | 0.346 % | 12.59/12.64 c | 26129 | 2018 61941 199548 | 44258 15529 88 | 0.346 % | 13.58/13.60 c =============================================================================== 13.58/13.60 c New solution: 206 13.58/13.60 o 206 13.58/13.60 c Elapsed CPU time: 13.38 s Remaining CPU time: 166.62 s 13.58/13.60 c =============================================================================== 13.58/13.60 c | 27479 | 2018 61942 199683 | 20647 16879 88 | 0.346 % | 13.58/13.61 c =============================================================================== 13.58/13.61 c New solution: 205 13.58/13.61 o 205 13.58/13.61 c Elapsed CPU time: 13.393 s Remaining CPU time: 166.607 s 13.58/13.61 c =============================================================================== 13.58/13.61 c | 27482 | 2018 61943 199818 | 20647 16882 88 | 0.346 % | 13.58/13.68 c | 27582 | 2018 61943 199818 | 22712 16982 88 | 0.346 % | 13.68/13.78 c | 27732 | 2018 61943 199818 | 24983 17132 88 | 0.346 % | 13.89/13.92 c | 27957 | 2018 61943 199818 | 27482 17357 88 | 0.346 % | 13.89/13.97 c =============================================================================== 13.89/13.97 c New solution: 204 13.89/13.97 o 204 13.89/13.97 c Elapsed CPU time: 13.7449 s Remaining CPU time: 166.255 s 13.89/13.97 c =============================================================================== 13.89/13.97 c | 28005 | 2018 61944 199953 | 20648 17405 88 | 0.346 % | 13.99/14.02 c | 28108 | 2018 61944 199953 | 22712 17508 88 | 0.346 % | 14.09/14.12 c | 28259 | 2018 61944 199953 | 24984 17659 88 | 0.346 % | 14.20/14.27 c | 28484 | 2018 61944 199953 | 27482 17884 88 | 0.346 % | 14.48/14.50 c | 28822 | 2018 61944 199953 | 30230 18222 87 | 0.346 % | 14.68/14.79 c | 29329 | 2018 61944 199953 | 33253 18729 87 | 0.346 % | 15.30/15.40 c | 30091 | 2018 61944 199953 | 36579 19491 87 | 0.346 % | 16.18/16.23 c | 31230 | 2018 61944 199953 | 40237 20630 87 | 0.346 % | 16.50/16.59 c =============================================================================== 16.50/16.59 c New solution: 203 16.50/16.59 o 203 16.50/16.59 c Elapsed CPU time: 16.3505 s Remaining CPU time: 163.649 s 16.50/16.59 c =============================================================================== 16.50/16.59 c | 31948 | 2018 61945 200088 | 20648 21348 87 | 0.346 % | 16.89/16.90 c =============================================================================== 16.89/16.90 c New solution: 202 16.89/16.90 o 202 16.89/16.90 c Elapsed CPU time: 16.6595 s Remaining CPU time: 163.341 s 16.89/16.90 c =============================================================================== 16.89/16.90 c | 31948 | 2018 61946 200223 | 20648 10674 82 | 0.346 % | 16.89/16.92 c =============================================================================== 16.89/16.92 c New solution: 201 16.89/16.92 o 201 16.89/16.92 c Elapsed CPU time: 16.6745 s Remaining CPU time: 163.326 s 16.89/16.92 c =============================================================================== 16.89/16.92 c | 31948 | 2018 61947 200358 | 20649 10674 82 | 0.346 % | 16.89/16.97 c | 32048 | 2018 61947 200358 | 22713 10774 82 | 0.346 % | 16.99/17.06 c | 32201 | 2018 61947 200358 | 24985 10927 82 | 0.346 % | 17.09/17.18 c | 32427 | 2018 61947 200358 | 27483 11153 82 | 0.346 % | 17.29/17.35 c | 32765 | 2018 61947 200358 | 30232 11491 82 | 0.346 % | 17.59/17.62 c | 33276 | 2018 61947 200358 | 33255 12002 82 | 0.346 % | 17.89/17.96 c | 34036 | 2018 61947 200358 | 36580 12762 82 | 0.346 % | 18.49/18.50 c | 35177 | 2018 61947 200358 | 40239 13903 82 | 0.346 % | 18.69/18.72 c =============================================================================== 18.69/18.72 c New solution: 200 18.69/18.72 o 200 18.69/18.72 c Elapsed CPU time: 18.4652 s Remaining CPU time: 161.535 s 18.69/18.72 c =============================================================================== 18.69/18.72 c | 35665 | 2018 61948 200493 | 20649 14391 82 | 0.346 % | 18.69/18.78 c =============================================================================== 18.69/18.78 c New solution: 199 18.69/18.78 o 199 18.69/18.78 c Elapsed CPU time: 18.5192 s Remaining CPU time: 161.481 s 18.69/18.78 c =============================================================================== 18.69/18.78 c | 35741 | 2018 61949 200628 | 20649 14467 82 | 0.346 % | 18.69/18.79 c =============================================================================== 18.69/18.79 c New solution: 198 18.69/18.79 o 198 18.69/18.79 c Elapsed CPU time: 18.5352 s Remaining CPU time: 161.465 s 18.69/18.79 c =============================================================================== 18.69/18.79 c | 35743 | 2018 61950 200763 | 20650 14469 82 | 0.346 % | 18.78/18.88 c | 35846 | 2018 61950 200763 | 22715 14572 82 | 0.346 % | 18.88/18.99 c | 35997 | 2018 61950 200763 | 24986 14723 82 | 0.346 % | 19.08/19.18 c | 36225 | 2018 61950 200763 | 27485 14951 82 | 0.346 % | 19.38/19.42 c | 36563 | 2018 61950 200763 | 30233 15289 82 | 0.346 % | 19.70/19.78 c | 37070 | 2018 61950 200763 | 33257 15796 81 | 0.346 % | 20.08/20.10 c | 37829 | 2018 61950 200763 | 36582 16555 81 | 0.346 % | 20.18/20.28 c =============================================================================== 20.18/20.28 c New solution: 197 20.18/20.28 o 197 20.18/20.28 c Elapsed CPU time: 20.011 s Remaining CPU time: 159.989 s 20.18/20.28 c =============================================================================== 20.18/20.28 c | 38120 | 2018 61951 200898 | 20650 16846 81 | 0.346 % | 20.28/20.33 c | 38221 | 2018 61951 200898 | 22715 16947 81 | 0.346 % | 20.38/20.41 c | 38371 | 2018 61951 200898 | 24986 17097 81 | 0.346 % | 20.48/20.53 c =============================================================================== 20.48/20.53 c New solution: 196 20.48/20.53 o 196 20.48/20.53 c Elapsed CPU time: 20.2589 s Remaining CPU time: 159.741 s 20.48/20.53 c =============================================================================== 20.48/20.53 c | 38552 | 2018 61952 201033 | 20650 17278 81 | 0.346 % | 20.48/20.55 c =============================================================================== 20.48/20.55 c New solution: 195 20.48/20.55 o 195 20.48/20.55 c Elapsed CPU time: 20.2829 s Remaining CPU time: 159.717 s 20.48/20.55 c =============================================================================== 20.48/20.55 c | 38567 | 2018 61953 201168 | 20651 17293 81 | 0.346 % | 20.58/20.63 c | 38667 | 2018 61953 201168 | 22716 17393 81 | 0.346 % | 20.68/20.75 c | 38818 | 2018 61953 201168 | 24987 17544 81 | 0.346 % | 20.79/20.89 c | 39047 | 2018 61953 201168 | 27486 17773 81 | 0.346 % | 20.98/21.08 c | 39385 | 2018 61953 201168 | 30235 18111 81 | 0.346 % | 21.38/21.41 c =============================================================================== 21.38/21.41 c New solution: 194 21.38/21.41 o 194 21.38/21.41 c Elapsed CPU time: 21.1358 s Remaining CPU time: 158.864 s 21.38/21.41 c =============================================================================== 21.38/21.41 c | 39710 | 2018 61954 201303 | 20651 18436 81 | 0.346 % | 21.38/21.44 c =============================================================================== 21.38/21.44 c New solution: 193 21.38/21.44 o 193 21.38/21.44 c Elapsed CPU time: 21.1628 s Remaining CPU time: 158.837 s 21.38/21.44 c =============================================================================== 21.38/21.44 c | 39723 | 2018 61955 201438 | 20651 18449 81 | 0.346 % | 21.49/21.55 c | 39825 | 2018 61955 201438 | 22716 18551 81 | 0.346 % | 21.59/21.66 c | 39975 | 2018 61955 201438 | 24988 18701 81 | 0.346 % | 21.79/21.81 c =============================================================================== 21.79/21.81 c New solution: 192 21.79/21.81 o 192 21.79/21.81 c Elapsed CPU time: 21.5337 s Remaining CPU time: 158.466 s 21.79/21.81 c =============================================================================== 21.79/21.81 c | 40181 | 2018 61956 201573 | 20652 18907 81 | 0.346 % | 21.79/21.83 c =============================================================================== 21.79/21.83 c New solution: 191 21.79/21.83 o 191 21.79/21.83 c Elapsed CPU time: 21.5487 s Remaining CPU time: 158.451 s 21.79/21.83 c =============================================================================== 21.79/21.83 c | 40182 | 2018 61957 201708 | 20652 18908 81 | 0.346 % | 21.79/21.84 c =============================================================================== 21.79/21.84 c New solution: 190 21.79/21.84 o 190 21.79/21.84 c Elapsed CPU time: 21.5627 s Remaining CPU time: 158.437 s 21.79/21.84 c =============================================================================== 21.79/21.84 c | 40183 | 2018 61958 201843 | 20652 18909 81 | 0.346 % | 21.89/21.92 c | 40284 | 2018 61958 201843 | 22717 19010 81 | 0.346 % | 21.99/22.02 c | 40435 | 2018 61958 201843 | 24989 19161 81 | 0.346 % | 22.08/22.18 c | 40662 | 2018 61958 201843 | 27488 19388 81 | 0.346 % | 22.38/22.40 c | 41000 | 2018 61958 201843 | 30237 19726 81 | 0.346 % | 22.68/22.74 c | 41506 | 2018 61958 201843 | 33261 20232 80 | 0.346 % | 23.18/23.27 c | 42266 | 2018 61958 201843 | 36587 20992 80 | 0.346 % | 23.98/24.06 c | 43405 | 2018 61958 201843 | 40246 22131 80 | 0.346 % | 24.98/25.09 c =============================================================================== 24.98/25.09 c New solution: 189 24.98/25.09 o 189 24.98/25.09 c Elapsed CPU time: 24.7952 s Remaining CPU time: 155.205 s 24.98/25.09 c =============================================================================== 24.98/25.09 c | 44982 | 2018 61959 201978 | 20653 23708 80 | 0.346 % | 25.29/25.36 c =============================================================================== 25.29/25.36 c New solution: 188 25.29/25.36 o 188 25.29/25.36 c Elapsed CPU time: 25.0622 s Remaining CPU time: 154.938 s 25.29/25.36 c =============================================================================== 25.29/25.36 c | 44982 | 2018 61960 202113 | 20653 10930 75 | 0.346 % | 25.29/25.38 c =============================================================================== 25.29/25.38 c New solution: 187 25.29/25.38 o 187 25.29/25.38 c Elapsed CPU time: 25.0762 s Remaining CPU time: 154.924 s 25.29/25.38 c =============================================================================== 25.29/25.38 c | 44982 | 2018 61961 202248 | 20653 10930 75 | 0.346 % | 25.38/25.44 c | 45084 | 2018 61961 202248 | 22719 11032 75 | 0.346 % | 25.48/25.51 c | 45235 | 2018 61961 202248 | 24990 11183 75 | 0.346 % | 25.58/25.62 c | 45462 | 2018 61961 202248 | 27490 11410 75 | 0.346 % | 25.78/25.80 c | 45799 | 2018 61961 202248 | 30239 11747 75 | 0.346 % | 25.98/26.03 c | 46306 | 2018 61961 202248 | 33262 12254 75 | 0.346 % | 26.29/26.32 c | 47066 | 2018 61961 202248 | 36589 13014 75 | 0.346 % | 26.79/26.87 c | 48206 | 2018 61961 202248 | 40248 14154 75 | 0.346 % | 27.68/27.73 c | 49915 | 2018 61961 202248 | 44272 15863 75 | 0.346 % | 28.88/28.99 c | 52478 | 2018 61961 202248 | 48700 18426 75 | 0.346 % | 31.38/31.48 c | 56322 | 2018 61961 202248 | 53570 22270 75 | 0.346 % | 33.99/34.03 c =============================================================================== 33.99/34.03 c New solution: 186 33.99/34.03 o 186 33.99/34.03 c Elapsed CPU time: 33.6889 s Remaining CPU time: 146.311 s 33.99/34.03 c =============================================================================== 33.99/34.03 c | 60299 | 2018 61962 202383 | 20654 26247 75 | 0.346 % | 34.18/34.25 c =============================================================================== 34.18/34.25 c New solution: 185 34.18/34.25 o 185 34.18/34.25 c Elapsed CPU time: 33.9098 s Remaining CPU time: 146.09 s 34.18/34.25 c =============================================================================== 34.18/34.25 c | 60308 | 2018 61963 202518 | 20654 11029 74 | 0.346 % | 34.18/34.29 c | 60408 | 2018 61963 202518 | 22719 11129 74 | 0.346 % | 34.28/34.36 c | 60560 | 2018 61963 202518 | 24991 11281 74 | 0.346 % | 34.38/34.49 c | 60786 | 2018 61963 202518 | 27490 11507 74 | 0.346 % | 34.58/34.68 c | 61123 | 2018 61963 202518 | 30240 11844 74 | 0.346 % | 34.87/34.98 c | 61631 | 2018 61963 202518 | 33264 12352 74 | 0.346 % | 35.38/35.46 c | 62390 | 2018 61963 202518 | 36590 13111 74 | 0.346 % | 36.08/36.10 c | 63529 | 2018 61963 202518 | 40249 14250 74 | 0.346 % | 37.07/37.15 c | 65238 | 2018 61963 202518 | 44274 15959 74 | 0.346 % | 38.67/38.72 c | 67800 | 2018 61963 202518 | 48701 18521 74 | 0.346 % | 40.87/40.90 c | 71646 | 2018 61963 202518 | 53572 22367 75 | 0.346 % | 45.08/45.19 c | 77414 | 2018 61963 202518 | 58929 28135 75 | 0.346 % | 51.77/51.88 c =============================================================================== 51.77/51.88 c New solution: 184 51.77/51.88 o 184 51.77/51.88 c Elapsed CPU time: 51.4342 s Remaining CPU time: 128.566 s 51.77/51.88 c =============================================================================== 51.77/51.88 c | 85595 | 2018 61964 202653 | 20654 36316 75 | 0.346 % | 52.37/52.40 c | 85695 | 2018 61964 202653 | 22720 11481 73 | 0.346 % | 52.37/52.46 c =============================================================================== 52.37/52.46 c New solution: 183 52.37/52.46 o 183 52.37/52.46 c Elapsed CPU time: 52.0101 s Remaining CPU time: 127.99 s 52.37/52.46 c =============================================================================== 52.37/52.46 c | 85769 | 2018 61965 202788 | 20655 11555 73 | 0.346 % | 52.47/52.52 c | 85869 | 2018 61965 202788 | 22720 11655 73 | 0.346 % | 52.57/52.62 c | 86020 | 2018 61965 202788 | 24992 11806 73 | 0.346 % | 52.68/52.78 c | 86245 | 2018 61965 202788 | 27491 12031 73 | 0.346 % | 52.87/52.98 c | 86582 | 2018 61965 202788 | 30240 12368 73 | 0.346 % | 53.17/53.29 c | 87090 | 2018 61965 202788 | 33265 12876 73 | 0.346 % | 53.57/53.68 c | 87849 | 2018 61965 202788 | 36591 13635 73 | 0.346 % | 53.67/53.79 c =============================================================================== 53.67/53.79 c New solution: 182 53.67/53.79 o 182 53.67/53.79 c Elapsed CPU time: 53.3309 s Remaining CPU time: 126.669 s 53.67/53.79 c =============================================================================== 53.67/53.79 c | 88019 | 2018 61966 202923 | 20655 13805 73 | 0.346 % | 53.78/53.86 c | 88119 | 2018 61966 202923 | 22720 13905 73 | 0.346 % | 53.88/53.96 c | 88269 | 2018 61966 202923 | 24992 14055 73 | 0.346 % | 54.07/54.13 c | 88494 | 2018 61966 202923 | 27492 14280 73 | 0.346 % | 54.27/54.35 c | 88834 | 2018 61966 202923 | 30241 14620 73 | 0.346 % | 54.67/54.77 c | 89341 | 2018 61966 202923 | 33265 15127 73 | 0.346 % | 55.27/55.35 c | 90101 | 2018 61966 202923 | 36592 15887 73 | 0.346 % | 55.57/55.62 c =============================================================================== 55.57/55.62 c New solution: 181 55.57/55.62 o 181 55.57/55.62 c Elapsed CPU time: 55.1506 s Remaining CPU time: 124.849 s 55.57/55.62 c =============================================================================== 55.57/55.62 c | 90431 | 2018 61967 203058 | 20655 16217 73 | 0.346 % | 55.57/55.65 c =============================================================================== 55.57/55.65 c New solution: 180 55.57/55.65 o 180 55.57/55.65 c Elapsed CPU time: 55.1846 s Remaining CPU time: 124.815 s 55.57/55.65 c =============================================================================== 55.57/55.65 c | 90469 | 2018 61968 203193 | 20656 16255 73 | 0.346 % | 55.67/55.75 c | 90569 | 2018 61968 203193 | 22721 16355 73 | 0.346 % | 55.77/55.85 c | 90720 | 2018 61968 203193 | 24993 16506 73 | 0.346 % | 55.97/56.01 c | 90946 | 2018 61968 203193 | 27493 16732 73 | 0.346 % | 56.07/56.18 c | 91284 | 2018 61968 203193 | 30242 17070 73 | 0.346 % | 56.37/56.40 c | 91791 | 2018 61968 203193 | 33266 17577 73 | 0.346 % | 56.87/56.93 c | 92550 | 2018 61968 203193 | 36593 18336 73 | 0.346 % | 57.47/57.56 c | 93691 | 2018 61968 203193 | 40252 19477 73 | 0.346 % | 58.77/58.85 c | 95402 | 2018 61968 203193 | 44277 21188 73 | 0.346 % | 60.67/60.70 c | 97968 | 2018 61968 203193 | 48705 23754 73 | 0.346 % | 63.17/63.21 c | 101813 | 2018 61968 203193 | 53576 27599 73 | 0.346 % | 67.57/67.61 c | 107581 | 2018 61968 203193 | 58933 33367 73 | 0.346 % | 75.26/75.34 c | 116230 | 2018 61968 203193 | 64827 42016 72 | 0.346 % | 92.06/92.16 c | 129206 | 2018 61968 203193 | 71310 54992 72 | 0.346 % | 115.26/115.35 c =============================================================================== 115.26/115.35 c New solution: 179 115.26/115.35 o 179 115.26/115.35 c Elapsed CPU time: 114.655 s Remaining CPU time: 65.3454 s 115.26/115.35 c =============================================================================== 115.26/115.35 c | 144524 | 2018 61969 203328 | 20656 70310 72 | 0.346 % | 118.36/118.41 c | 144624 | 2018 61969 203328 | 22721 12122 71 | 0.346 % | 118.36/118.48 c =============================================================================== 118.36/118.48 c New solution: 178 118.36/118.48 o 178 118.36/118.48 c Elapsed CPU time: 117.781 s Remaining CPU time: 62.2189 s 118.36/118.48 c =============================================================================== 118.36/118.48 c | 144709 | 2018 61970 203463 | 20656 12207 71 | 0.346 % | 118.45/118.53 c | 144809 | 2018 61970 203463 | 22722 12307 71 | 0.346 % | 118.55/118.62 c | 144959 | 2018 61970 203463 | 24994 12457 71 | 0.346 % | 118.66/118.74 c | 145184 | 2018 61970 203463 | 27494 12682 71 | 0.346 % | 118.76/118.89 c | 145521 | 2018 61970 203463 | 30243 13019 71 | 0.346 % | 119.05/119.12 c | 146028 | 2018 61970 203463 | 33267 13526 71 | 0.346 % | 119.56/119.61 c | 146792 | 2018 61970 203463 | 36594 14290 71 | 0.346 % | 120.25/120.32 c | 147934 | 2018 61970 203463 | 40253 15432 71 | 0.346 % | 121.25/121.30 c | 149642 | 2018 61970 203463 | 44279 17140 71 | 0.346 % | 122.95/123.03 c | 152204 | 2018 61970 203463 | 48707 19702 71 | 0.346 % | 125.45/125.59 c | 156049 | 2018 61970 203463 | 53578 23547 71 | 0.346 % | 129.56/129.62 c | 161817 | 2018 61970 203463 | 58935 29315 71 | 0.346 % | 136.85/136.97 c | 170466 | 2018 61970 203463 | 64829 37964 71 | 0.346 % | 149.74/149.89 c | 183440 | 2018 61970 203463 | 71312 50938 71 | 0.346 % | 179.64/179.72 c | 202903 | 2018 61970 203463 | 78443 70401 72 | 0.346 % | 180.84/180.95 c There are 7 assigned variables. 7 in cost function. 181.14/181.23 c core #1 181.14/181.23 c #cores: 1 181.14/181.23 c Final Weight: 178 181.14/181.23 o 178 181.14/181.23 s OPTIMUM FOUND 181.14/181.23 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.14/181.23 c Total CPU time: 180.274 s
OK -148
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655742-1276686345/watcher-2655742-1276686345 -o /tmp/evaluation-result-2655742-1276686345/solver-2655742-1276686345 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655742-1276686345.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 17527 /proc/meminfo: memFree=1804656/2059040 swapFree=4163504/4192956 [pid=17527] ppid=17525 vsize=4928 CPUtime=0 /proc/17527/stat : 17527 (wbo1.4b) R 17525 17527 17502 0 -1 4202496 367 0 0 0 0 0 0 0 15 0 1 0 9925517 5046272 285 1992294400 134512640 135751879 4289798576 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17527/statm: 1232 285 144 303 0 423 0 [startup+0.0278561 s] /proc/loadavg: 0.92 0.98 0.99 3/106 17527 /proc/meminfo: memFree=1804656/2059040 swapFree=4163504/4192956 [pid=17527] ppid=17525 vsize=5060 CPUtime=0.02 /proc/17527/stat : 17527 (wbo1.4b) R 17525 17527 17502 0 -1 4202496 443 0 0 0 2 0 0 0 15 0 1 0 9925517 5181440 361 1992294400 134512640 135751879 4289798576 18446744073709551615 134574084 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17527/statm: 1265 361 178 303 0 456 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5060 [startup+0.101862 s] /proc/loadavg: 0.92 0.98 0.99 3/106 17527 /proc/meminfo: memFree=1804656/2059040 swapFree=4163504/4192956 [pid=17527] ppid=17525 vsize=5952 CPUtime=0.09 /proc/17527/stat : 17527 (wbo1.4b) R 17525 17527 17502 0 -1 4202496 795 0 0 0 9 0 0 0 18 0 1 0 9925517 6094848 713 1992294400 134512640 135751879 4289798576 18446744073709551615 134574084 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17527/statm: 1488 715 309 303 0 679 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5952 [startup+0.300881 s] /proc/loadavg: 0.92 0.98 0.99 3/106 17527 /proc/meminfo: memFree=1804656/2059040 swapFree=4163504/4192956 [pid=17527] ppid=17525 vsize=6876 CPUtime=0.29 /proc/17527/stat : 17527 (wbo1.4b) R 17525 17527 17502 0 -1 4202496 1856 0 0 0 29 0 0 0 18 0 1 0 9925517 7041024 1238 1992294400 134512640 135751879 4289798576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17527/statm: 1719 1238 144 303 0 1414 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6876 [startup+0.70092 s] /proc/loadavg: 0.92 0.98 0.99 3/106 17527 /proc/meminfo: memFree=1804656/2059040 swapFree=4163504/4192956 [pid=17527] ppid=17525 vsize=7272 CPUtime=0.69 /proc/17527/stat : 17527 (wbo1.4b) R 17525 17527 17502 0 -1 4202496 1964 0 0 0 65 4 0 0 18 0 1 0 9925517 7446528 1346 1992294400 134512640 135751879 4289798576 18446744073709551615 134517153 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17527/statm: 1818 1346 146 303 0 1513 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7272 [startup+1.501 s] /proc/loadavg: 0.92 0.98 0.99 2/107 17528 /proc/meminfo: memFree=1799688/2059040 swapFree=4163504/4192956 [pid=17527] ppid=17525 vsize=7916 CPUtime=1.49 /proc/17527/stat : 17527 (wbo1.4b) R 17525 17527 17502 0 -1 4202496 2114 0 0 0 139 10 0 0 20 0 1 0 9925517 8105984 1496 1992294400 134512640 135751879 4289798576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17527/statm: 1979 1496 147 303 0 1674 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7916 [startup+3.10015 s] /proc/loadavg: 0.92 0.98 0.99 2/107 17528 /proc/meminfo: memFree=1797828/2059040 swapFree=4163504/4192956 [pid=17527] ppid=17525 vsize=10488 CPUtime=3.09 /proc/17527/stat : 17527 (wbo1.4b) R 17525 17527 17502 0 -1 4202496 2772 0 0 0 297 12 0 0 24 0 1 0 9925517 10739712 2154 1992294400 134512640 135751879 4289798576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17527/statm: 2622 2154 147 303 0 2317 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10488 [startup+6.30146 s] /proc/loadavg: 0.93 0.98 0.99 2/107 17528 /proc/meminfo: memFree=1792992/2059040 swapFree=4163504/4192956 [pid=17527] ppid=17525 vsize=14692 CPUtime=6.29 /proc/17527/stat : 17527 (wbo1.4b) R 17525 17527 17502 0 -1 4202496 3827 0 0 0 615 14 0 0 25 0 1 0 9925517 15044608 3209 1992294400 134512640 135751879 4289798576 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17527/statm: 3673 3209 147 303 0 3368 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14692 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/107 17528 /proc/meminfo: memFree=1787288/2059040 swapFree=4163504/4192956 [pid=17527] ppid=17525 vsize=19796 CPUtime=12.69 /proc/17527/stat : 17527 (wbo1.4b) R 17525 17527 17502 0 -1 4202496 5082 0 0 0 1248 21 0 0 25 0 1 0 9925517 20271104 4464 1992294400 134512640 135751879 4289798576 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17527/statm: 4949 4464 148 303 0 4644 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19796 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/107 17530 /proc/meminfo: memFree=1778856/2059040 swapFree=4163504/4192956 [pid=17527] ppid=17525 vsize=27840 CPUtime=25.48 /proc/17527/stat : 17527 (wbo1.4b) R 17525 17527 17502 0 -1 4202496 7103 0 0 0 2519 29 0 0 25 0 1 0 9925517 28508160 6485 1992294400 134512640 135751879 4289798576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17527/statm: 6960 6485 148 303 0 6655 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27840 [startup+51.1008 s] /proc/loadavg: 0.96 0.98 0.99 2/107 17530 /proc/meminfo: memFree=1763108/2059040 swapFree=4163504/4192956 [pid=17527] ppid=17525 vsize=43848 CPUtime=51.07 /proc/17527/stat : 17527 (wbo1.4b) R 17525 17527 17502 0 -1 4202496 11067 0 0 0 5065 42 0 0 25 0 1 0 9925517 44900352 10449 1992294400 134512640 135751879 4289798576 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17527/statm: 10962 10449 148 303 0 10657 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 43848 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 17532 /proc/meminfo: memFree=1742276/2059040 swapFree=4163504/4192956 [pid=17527] ppid=17525 vsize=64620 CPUtime=102.26 /proc/17527/stat : 17527 (wbo1.4b) R 17525 17527 17502 0 -1 4202496 16187 0 0 0 10164 62 0 0 25 0 1 0 9925517 66170880 15569 1992294400 134512640 135751879 4289798576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17527/statm: 16155 15569 148 303 0 15850 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 64620 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17532 /proc/meminfo: memFree=1720948/2059040 swapFree=4163504/4192956 [pid=17527] ppid=17525 vsize=86032 CPUtime=162.24 /proc/17527/stat : 17527 (wbo1.4b) R 17525 17527 17502 0 -1 4202496 21535 0 0 0 16139 85 0 0 25 0 1 0 9925517 88096768 20917 1992294400 134512640 135751879 4289798576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17527/statm: 21508 20917 148 303 0 21203 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 86032 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17532 /proc/meminfo: memFree=1719832/2059040 swapFree=4163504/4192956 [pid=17527] ppid=17525 vsize=87060 CPUtime=166.24 /proc/17527/stat : 17527 (wbo1.4b) R 17525 17527 17502 0 -1 4202496 21787 0 0 0 16538 86 0 0 25 0 1 0 9925517 89149440 21169 1992294400 134512640 135751879 4289798576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17527/statm: 21765 21169 148 303 0 21460 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 87060 [startup+172.709 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17534 /proc/meminfo: memFree=1718220/2059040 swapFree=4163504/4192956 [pid=17527] ppid=17525 vsize=88684 CPUtime=172.65 /proc/17527/stat : 17527 (wbo1.4b) R 17525 17527 17502 0 -1 4202496 22183 0 0 0 17177 88 0 0 25 0 1 0 9925517 90812416 21565 1992294400 134512640 135751879 4289798576 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17527/statm: 22171 21565 148 303 0 21866 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 88684 [startup+175.901 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17534 /proc/meminfo: memFree=1717352/2059040 swapFree=4163504/4192956 [pid=17527] ppid=17525 vsize=89480 CPUtime=175.85 /proc/17527/stat : 17527 (wbo1.4b) R 17525 17527 17502 0 -1 4202496 22369 0 0 0 17497 88 0 0 25 0 1 0 9925517 91627520 21751 1992294400 134512640 135751879 4289798576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17527/statm: 22370 21751 148 303 0 22065 0 Current children cumulated CPU time (s) 175.85 Current children cumulated vsize (KiB) 89480 [startup+179.101 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17534 /proc/meminfo: memFree=1716608/2059040 swapFree=4163504/4192956 [pid=17527] ppid=17525 vsize=90496 CPUtime=179.04 /proc/17527/stat : 17527 (wbo1.4b) R 17525 17527 17502 0 -1 4202496 22618 0 0 0 17814 90 0 0 25 0 1 0 9925517 92667904 22000 1992294400 134512640 135751879 4289798576 18446744073709551615 134616550 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17527/statm: 22624 22000 148 303 0 22319 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 90496 [startup+179.901 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17534 /proc/meminfo: memFree=1716236/2059040 swapFree=4163504/4192956 [pid=17527] ppid=17525 vsize=90764 CPUtime=179.84 /proc/17527/stat : 17527 (wbo1.4b) R 17525 17527 17502 0 -1 4202496 22670 0 0 0 17894 90 0 0 25 0 1 0 9925517 92942336 22052 1992294400 134512640 135751879 4289798576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17527/statm: 22691 22052 148 303 0 22386 0 Current children cumulated CPU time (s) 179.84 Current children cumulated vsize (KiB) 90764 [startup+180.701 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17534 /proc/meminfo: memFree=1715988/2059040 swapFree=4163504/4192956 [pid=17527] ppid=17525 vsize=90764 CPUtime=180.64 /proc/17527/stat : 17527 (wbo1.4b) R 17525 17527 17502 0 -1 4202496 22705 0 0 0 17974 90 0 0 25 0 1 0 9925517 92942336 22087 1992294400 134512640 135751879 4289798576 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17527/statm: 22691 22087 148 303 0 22386 0 Current children cumulated CPU time (s) 180.64 Current children cumulated vsize (KiB) 90764 [startup+181.101 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17534 /proc/meminfo: memFree=1715988/2059040 swapFree=4163504/4192956 [pid=17527] ppid=17525 vsize=94004 CPUtime=181.04 /proc/17527/stat : 17527 (wbo1.4b) R 17525 17527 17502 0 -1 4202496 23475 0 0 0 18014 90 0 0 25 0 1 0 9925517 96260096 22857 1992294400 134512640 135751879 4289798576 18446744073709551615 135202556 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17527/statm: 23501 22857 149 303 0 23196 0 Current children cumulated CPU time (s) 181.04 Current children cumulated vsize (KiB) 94004 [startup+181.201 s] /proc/loadavg: 0.99 0.98 0.99 2/107 17534 /proc/meminfo: memFree=1715988/2059040 swapFree=4163504/4192956 [pid=17527] ppid=17525 vsize=94004 CPUtime=181.14 /proc/17527/stat : 17527 (wbo1.4b) R 17525 17527 17502 0 -1 4202496 23475 0 0 0 18024 90 0 0 25 0 1 0 9925517 96260096 22857 1992294400 134512640 135751879 4289798576 18446744073709551615 135200219 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/17527/statm: 23501 22857 149 303 0 23196 0 Current children cumulated CPU time (s) 181.14 Current children cumulated vsize (KiB) 94004 Child status: 0 Real time (s): 181.246 CPU time (s): 181.192 CPU user time (s): 180.274 CPU system time (s): 0.91886 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 94004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.274 system time used= 0.91886 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23484 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 33 involuntary context switches= 445 runsolver used 0.329949 second user time and 0.85387 second system time The end
Begin job on node056 at 2010-06-16 13:05:46 IDJOB=2655742 IDBENCH=71831 IDSOLVER=1161 FILE ID=node056/2655742-1276686345 PBS_JOBID= 11172600 Free space on /tmp= 98636 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-2000opt.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655742-1276686345/watcher-2655742-1276686345 -o /tmp/evaluation-result-2655742-1276686345/solver-2655742-1276686345 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655742-1276686345.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5ab7e551a21f0b7676d0c7dccbb62e78 RANDOM SEED=1196324140 node056.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.215 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.43 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.215 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1805184 kB Buffers: 42736 kB Cached: 91956 kB SwapCached: 12596 kB Active: 89520 kB Inactive: 87560 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1805184 kB SwapTotal: 4192956 kB SwapFree: 4163504 kB Dirty: 4816 kB Writeback: 0 kB AnonPages: 29984 kB Mapped: 14084 kB Slab: 54780 kB PageTables: 3968 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180632 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= 98632 MiB End job on node056 at 2010-06-16 13:08:47