Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -140 | 181.408 | 181.452 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-6000opt.opb |
MD5SUM | 41920bbbb40277697ec2dd9f115c2d3f |
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 | -175 |
Best CPU time to get the best result obtained on this benchmark | 21.2418 |
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 | 62145 |
Number of constraints which are clauses | 62145 |
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 | 352 |
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 | 352 |
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-2655749-1276687260.opb. 0.00/0.00 c Instance file HOME/instance-2655749-1276687260.opb 0.00/0.00 c File size is 2073867 bytes. 0.19/0.29 c Highest Coefficient sum: 4 0.19/0.29 c ============================[ Problem Statistics ]============================= 0.19/0.29 c | | 0.19/0.29 c | Parsing time: 0.29 s | 0.19/0.29 c | Number Variables: 2025 | 0.19/0.29 c | Number Clauses: 62145 | 0.19/0.29 c | Number Cardinality: 0 | 0.19/0.29 c | Number PB Constraints: 0 | 0.29/0.38 c ============================[ Search Statistics ]============================== 0.29/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 2017 62153 185265 | 20715 0 nan | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c New solution: 352 0.29/0.39 o 352 0.29/0.39 c Elapsed CPU time: 0.381941 s Remaining CPU time: 179.618 s 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 2017 62154 185400 | 20718 0 nan | 0.000 % | 0.29/0.40 c =============================================================================== 0.29/0.40 c New solution: 349 0.29/0.40 o 349 0.29/0.40 c Elapsed CPU time: 0.387941 s Remaining CPU time: 179.612 s 0.29/0.40 c =============================================================================== 0.29/0.40 c | 0 | 2017 62155 185535 | 20718 0 nan | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c New solution: 348 0.39/0.41 o 348 0.39/0.41 c Elapsed CPU time: 0.396939 s Remaining CPU time: 179.603 s 0.39/0.41 c =============================================================================== 0.39/0.41 c | 1 | 2017 62156 185670 | 20718 1 134 | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c New solution: 347 0.39/0.42 o 347 0.39/0.42 c Elapsed CPU time: 0.406938 s Remaining CPU time: 179.593 s 0.39/0.42 c =============================================================================== 0.39/0.42 c | 1 | 2017 62157 185805 | 20719 1 134 | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c New solution: 345 0.39/0.43 o 345 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 | 2017 62158 185940 | 20719 1 134 | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c New solution: 343 0.39/0.44 o 343 0.39/0.44 c Elapsed CPU time: 0.425935 s Remaining CPU time: 179.574 s 0.39/0.44 c =============================================================================== 0.39/0.44 c | 1 | 2017 62159 186075 | 20719 1 134 | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c New solution: 342 0.39/0.45 o 342 0.39/0.45 c Elapsed CPU time: 0.436933 s Remaining CPU time: 179.563 s 0.39/0.45 c =============================================================================== 0.39/0.45 c | 1 | 2017 62160 186210 | 20720 1 134 | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c New solution: 341 0.39/0.46 o 341 0.39/0.46 c Elapsed CPU time: 0.446932 s Remaining CPU time: 179.553 s 0.39/0.46 c =============================================================================== 0.39/0.46 c | 1 | 2017 62161 186345 | 20720 1 134 | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c New solution: 340 0.39/0.47 o 340 0.39/0.47 c Elapsed CPU time: 0.45793 s Remaining CPU time: 179.542 s 0.39/0.47 c =============================================================================== 0.39/0.47 c | 2 | 2017 62162 186480 | 20720 2 132 | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c New solution: 339 0.39/0.49 o 339 0.39/0.49 c Elapsed CPU time: 0.467928 s Remaining CPU time: 179.532 s 0.39/0.49 c =============================================================================== 0.39/0.49 c | 2 | 2017 62163 186615 | 20721 2 132 | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c New solution: 338 0.49/0.50 o 338 0.49/0.50 c Elapsed CPU time: 0.477927 s Remaining CPU time: 179.522 s 0.49/0.50 c =============================================================================== 0.49/0.50 c | 2 | 2017 62164 186750 | 20721 2 132 | 0.000 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c New solution: 337 0.49/0.51 o 337 0.49/0.51 c Elapsed CPU time: 0.485926 s Remaining CPU time: 179.514 s 0.49/0.51 c =============================================================================== 0.49/0.51 c | 2 | 2017 62165 186885 | 20721 2 132 | 0.000 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c New solution: 336 0.49/0.52 o 336 0.49/0.52 c Elapsed CPU time: 0.493924 s Remaining CPU time: 179.506 s 0.49/0.52 c =============================================================================== 0.49/0.52 c | 3 | 2017 62166 187020 | 20722 3 131 | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c New solution: 335 0.49/0.53 o 335 0.49/0.53 c Elapsed CPU time: 0.502923 s Remaining CPU time: 179.497 s 0.49/0.53 c =============================================================================== 0.49/0.53 c | 3 | 2017 62167 187155 | 20722 3 131 | 0.000 % | 0.49/0.54 c =============================================================================== 0.49/0.54 c New solution: 334 0.49/0.54 o 334 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 | 3 | 2017 62168 187290 | 20722 3 131 | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c New solution: 333 0.49/0.55 o 333 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 | 3 | 2017 62169 187425 | 20723 3 131 | 0.000 % | 0.49/0.56 c =============================================================================== 0.49/0.56 c New solution: 332 0.49/0.56 o 332 0.49/0.56 c Elapsed CPU time: 0.532918 s Remaining CPU time: 179.467 s 0.49/0.56 c =============================================================================== 0.49/0.56 c | 3 | 2017 62170 187560 | 20723 3 131 | 0.000 % | 0.49/0.57 c =============================================================================== 0.49/0.57 c New solution: 331 0.49/0.57 o 331 0.49/0.57 c Elapsed CPU time: 0.541917 s Remaining CPU time: 179.458 s 0.49/0.57 c =============================================================================== 0.49/0.57 c | 3 | 2017 62171 187695 | 20723 3 131 | 0.000 % | 0.49/0.58 c =============================================================================== 0.49/0.58 c New solution: 330 0.49/0.58 o 330 0.49/0.58 c Elapsed CPU time: 0.549916 s Remaining CPU time: 179.45 s 0.49/0.58 c =============================================================================== 0.49/0.58 c | 4 | 2017 62172 187830 | 20724 4 130 | 0.000 % | 0.49/0.60 c =============================================================================== 0.49/0.60 c New solution: 329 0.49/0.60 o 329 0.49/0.60 c Elapsed CPU time: 0.559914 s Remaining CPU time: 179.44 s 0.49/0.60 c =============================================================================== 0.49/0.60 c | 4 | 2017 62173 187965 | 20724 4 130 | 0.000 % | 0.60/0.61 c =============================================================================== 0.60/0.61 c New solution: 328 0.60/0.61 o 328 0.60/0.61 c Elapsed CPU time: 0.569913 s Remaining CPU time: 179.43 s 0.60/0.61 c =============================================================================== 0.60/0.61 c | 5 | 2017 62174 188100 | 20724 5 129 | 0.000 % | 0.60/0.62 c =============================================================================== 0.60/0.62 c New solution: 327 0.60/0.62 o 327 0.60/0.62 c Elapsed CPU time: 0.579911 s Remaining CPU time: 179.42 s 0.60/0.62 c =============================================================================== 0.60/0.62 c | 5 | 2017 62175 188235 | 20725 5 129 | 0.000 % | 0.60/0.63 c =============================================================================== 0.60/0.63 c New solution: 326 0.60/0.63 o 326 0.60/0.63 c Elapsed CPU time: 0.58991 s Remaining CPU time: 179.41 s 0.60/0.63 c =============================================================================== 0.60/0.63 c | 5 | 2017 62176 188370 | 20725 5 129 | 0.000 % | 0.60/0.64 c =============================================================================== 0.60/0.64 c New solution: 325 0.60/0.64 o 325 0.60/0.64 c Elapsed CPU time: 0.599908 s Remaining CPU time: 179.4 s 0.60/0.64 c =============================================================================== 0.60/0.64 c | 5 | 2017 62177 188505 | 20725 5 129 | 0.000 % | 0.60/0.65 c =============================================================================== 0.60/0.65 c New solution: 324 0.60/0.65 o 324 0.60/0.65 c Elapsed CPU time: 0.609907 s Remaining CPU time: 179.39 s 0.60/0.65 c =============================================================================== 0.60/0.65 c | 5 | 2017 62178 188640 | 20726 5 129 | 0.000 % | 0.60/0.66 c =============================================================================== 0.60/0.66 c New solution: 323 0.60/0.66 o 323 0.60/0.66 c Elapsed CPU time: 0.619905 s Remaining CPU time: 179.38 s 0.60/0.66 c =============================================================================== 0.60/0.66 c | 6 | 2017 62179 188775 | 20726 6 128 | 0.000 % | 0.60/0.67 c =============================================================================== 0.60/0.67 c New solution: 322 0.60/0.67 o 322 0.60/0.67 c Elapsed CPU time: 0.628904 s Remaining CPU time: 179.371 s 0.60/0.67 c =============================================================================== 0.60/0.67 c | 8 | 2017 62180 188910 | 20726 8 127 | 0.000 % | 0.60/0.68 c =============================================================================== 0.60/0.68 c New solution: 321 0.60/0.68 o 321 0.60/0.68 c Elapsed CPU time: 0.639902 s Remaining CPU time: 179.36 s 0.60/0.68 c =============================================================================== 0.60/0.68 c | 8 | 2017 62181 189045 | 20727 8 127 | 0.000 % | 0.60/0.69 c =============================================================================== 0.60/0.69 c New solution: 320 0.60/0.69 o 320 0.60/0.69 c Elapsed CPU time: 0.649901 s Remaining CPU time: 179.35 s 0.60/0.69 c =============================================================================== 0.60/0.69 c | 8 | 2017 62182 189180 | 20727 8 127 | 0.000 % | 0.69/0.70 c =============================================================================== 0.69/0.70 c New solution: 319 0.69/0.70 o 319 0.69/0.70 c Elapsed CPU time: 0.658899 s Remaining CPU time: 179.341 s 0.69/0.70 c =============================================================================== 0.69/0.70 c | 8 | 2017 62183 189315 | 20727 8 127 | 0.000 % | 0.69/0.71 c =============================================================================== 0.69/0.72 c New solution: 318 0.69/0.72 o 318 0.69/0.72 c Elapsed CPU time: 0.668898 s Remaining CPU time: 179.331 s 0.69/0.72 c =============================================================================== 0.69/0.72 c | 8 | 2017 62184 189450 | 20728 8 127 | 0.000 % | 0.69/0.73 c =============================================================================== 0.69/0.73 c New solution: 317 0.69/0.73 o 317 0.69/0.73 c Elapsed CPU time: 0.677896 s Remaining CPU time: 179.322 s 0.69/0.73 c =============================================================================== 0.69/0.73 c | 8 | 2017 62185 189585 | 20728 8 127 | 0.000 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c New solution: 316 0.69/0.74 o 316 0.69/0.74 c Elapsed CPU time: 0.688895 s Remaining CPU time: 179.311 s 0.69/0.74 c =============================================================================== 0.69/0.74 c | 8 | 2017 62186 189720 | 20728 8 127 | 0.000 % | 0.69/0.75 c =============================================================================== 0.69/0.75 c New solution: 315 0.69/0.75 o 315 0.69/0.75 c Elapsed CPU time: 0.697893 s Remaining CPU time: 179.302 s 0.69/0.75 c =============================================================================== 0.69/0.75 c | 14 | 2017 62187 189855 | 20729 14 116 | 0.000 % | 0.69/0.76 c =============================================================================== 0.69/0.76 c New solution: 314 0.69/0.76 o 314 0.69/0.76 c Elapsed CPU time: 0.707892 s Remaining CPU time: 179.292 s 0.69/0.76 c =============================================================================== 0.69/0.76 c | 15 | 2017 62188 189990 | 20729 15 116 | 0.000 % | 0.69/0.77 c =============================================================================== 0.69/0.77 c New solution: 313 0.69/0.77 o 313 0.69/0.77 c Elapsed CPU time: 0.71889 s Remaining CPU time: 179.281 s 0.69/0.77 c =============================================================================== 0.69/0.77 c | 16 | 2017 62189 190125 | 20729 16 116 | 0.000 % | 0.69/0.78 c =============================================================================== 0.69/0.78 c New solution: 312 0.69/0.78 o 312 0.69/0.78 c Elapsed CPU time: 0.727889 s Remaining CPU time: 179.272 s 0.69/0.78 c =============================================================================== 0.69/0.78 c | 16 | 2017 62190 190260 | 20730 16 116 | 0.000 % | 0.69/0.79 c =============================================================================== 0.69/0.79 c New solution: 311 0.69/0.79 o 311 0.69/0.79 c Elapsed CPU time: 0.738887 s Remaining CPU time: 179.261 s 0.69/0.79 c =============================================================================== 0.69/0.79 c | 18 | 2017 62191 190395 | 20730 18 116 | 0.000 % | 0.79/0.80 c =============================================================================== 0.79/0.80 c New solution: 310 0.79/0.80 o 310 0.79/0.80 c Elapsed CPU time: 0.748886 s Remaining CPU time: 179.251 s 0.79/0.80 c =============================================================================== 0.79/0.80 c | 18 | 2017 62192 190530 | 20730 18 116 | 0.000 % | 0.79/0.81 c =============================================================================== 0.79/0.81 c New solution: 309 0.79/0.81 o 309 0.79/0.81 c Elapsed CPU time: 0.758884 s Remaining CPU time: 179.241 s 0.79/0.81 c =============================================================================== 0.79/0.81 c | 22 | 2017 62193 190665 | 20731 22 117 | 0.000 % | 0.79/0.82 c =============================================================================== 0.79/0.82 c New solution: 308 0.79/0.82 o 308 0.79/0.82 c Elapsed CPU time: 0.768883 s Remaining CPU time: 179.231 s 0.79/0.82 c =============================================================================== 0.79/0.82 c | 22 | 2017 62194 190800 | 20731 22 117 | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.83 c New solution: 307 0.79/0.83 o 307 0.79/0.83 c Elapsed CPU time: 0.778881 s Remaining CPU time: 179.221 s 0.79/0.83 c =============================================================================== 0.79/0.83 c | 22 | 2017 62195 190935 | 20731 22 117 | 0.000 % | 0.79/0.84 c =============================================================================== 0.79/0.84 c New solution: 306 0.79/0.84 o 306 0.79/0.84 c Elapsed CPU time: 0.78888 s Remaining CPU time: 179.211 s 0.79/0.84 c =============================================================================== 0.79/0.84 c | 22 | 2017 62196 191070 | 20732 22 117 | 0.000 % | 0.79/0.86 c =============================================================================== 0.79/0.86 c New solution: 305 0.79/0.86 o 305 0.79/0.86 c Elapsed CPU time: 0.797878 s Remaining CPU time: 179.202 s 0.79/0.86 c =============================================================================== 0.79/0.86 c | 25 | 2017 62197 191205 | 20732 25 117 | 0.000 % | 0.79/0.87 c =============================================================================== 0.79/0.87 c New solution: 304 0.79/0.87 o 304 0.79/0.87 c Elapsed CPU time: 0.807877 s Remaining CPU time: 179.192 s 0.79/0.87 c =============================================================================== 0.79/0.87 c | 25 | 2017 62198 191340 | 20732 25 117 | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c New solution: 303 0.79/0.88 o 303 0.79/0.88 c Elapsed CPU time: 0.817875 s Remaining CPU time: 179.182 s 0.79/0.88 c =============================================================================== 0.79/0.88 c | 25 | 2017 62199 191475 | 20733 25 117 | 0.000 % | 0.79/0.89 c =============================================================================== 0.79/0.89 c New solution: 302 0.79/0.89 o 302 0.79/0.89 c Elapsed CPU time: 0.826874 s Remaining CPU time: 179.173 s 0.79/0.89 c =============================================================================== 0.79/0.89 c | 25 | 2017 62200 191610 | 20733 25 117 | 0.000 % | 0.89/0.90 c =============================================================================== 0.89/0.90 c New solution: 301 0.89/0.90 o 301 0.89/0.90 c Elapsed CPU time: 0.836872 s Remaining CPU time: 179.163 s 0.89/0.90 c =============================================================================== 0.89/0.90 c | 27 | 2017 62201 191745 | 20733 27 117 | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.91 c New solution: 300 0.89/0.91 o 300 0.89/0.91 c Elapsed CPU time: 0.847871 s Remaining CPU time: 179.152 s 0.89/0.91 c =============================================================================== 0.89/0.91 c | 27 | 2017 62202 191880 | 20734 27 117 | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.92 c New solution: 299 0.89/0.92 o 299 0.89/0.92 c Elapsed CPU time: 0.858869 s Remaining CPU time: 179.141 s 0.89/0.92 c =============================================================================== 0.89/0.92 c | 27 | 2017 62203 192015 | 20734 27 117 | 0.000 % | 0.89/0.93 c =============================================================================== 0.89/0.93 c New solution: 298 0.89/0.93 o 298 0.89/0.93 c Elapsed CPU time: 0.868867 s Remaining CPU time: 179.131 s 0.89/0.93 c =============================================================================== 0.89/0.93 c | 27 | 2017 62204 192150 | 20734 27 117 | 0.000 % | 0.89/0.94 c =============================================================================== 0.89/0.94 c New solution: 297 0.89/0.94 o 297 0.89/0.94 c Elapsed CPU time: 0.878866 s Remaining CPU time: 179.121 s 0.89/0.94 c =============================================================================== 0.89/0.94 c | 30 | 2017 62205 192285 | 20735 30 117 | 0.000 % | 0.89/0.95 c =============================================================================== 0.89/0.95 c New solution: 296 0.89/0.95 o 296 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 | 37 | 2017 62206 192420 | 20735 37 113 | 0.000 % | 0.89/0.96 c =============================================================================== 0.89/0.96 c New solution: 295 0.89/0.96 o 295 0.89/0.96 c Elapsed CPU time: 0.897863 s Remaining CPU time: 179.102 s 0.89/0.96 c =============================================================================== 0.89/0.96 c | 40 | 2017 62207 192555 | 20735 40 114 | 0.000 % | 0.89/0.97 c =============================================================================== 0.89/0.97 c New solution: 294 0.89/0.97 o 294 0.89/0.97 c Elapsed CPU time: 0.907861 s Remaining CPU time: 179.092 s 0.89/0.97 c =============================================================================== 0.89/0.97 c | 40 | 2017 62208 192690 | 20736 40 114 | 0.000 % | 0.89/0.99 c =============================================================================== 0.89/0.99 c New solution: 293 0.89/0.99 o 293 0.89/0.99 c Elapsed CPU time: 0.91686 s Remaining CPU time: 179.083 s 0.89/0.99 c =============================================================================== 0.89/0.99 c | 41 | 2017 62209 192825 | 20736 41 114 | 0.000 % | 0.89/1.00 c =============================================================================== 0.89/1.00 c New solution: 292 0.89/1.00 o 292 0.89/1.00 c Elapsed CPU time: 0.927858 s Remaining CPU time: 179.072 s 0.89/1.00 c =============================================================================== 0.89/1.00 c | 43 | 2017 62210 192960 | 20736 43 114 | 0.000 % | 1.00/1.01 c =============================================================================== 1.00/1.01 c New solution: 291 1.00/1.01 o 291 1.00/1.01 c Elapsed CPU time: 0.936857 s Remaining CPU time: 179.063 s 1.00/1.01 c =============================================================================== 1.00/1.01 c | 43 | 2017 62211 193095 | 20737 43 114 | 0.000 % | 1.00/1.02 c =============================================================================== 1.00/1.02 c New solution: 290 1.00/1.02 o 290 1.00/1.02 c Elapsed CPU time: 0.946856 s Remaining CPU time: 179.053 s 1.00/1.02 c =============================================================================== 1.00/1.02 c | 44 | 2017 62212 193230 | 20737 44 114 | 0.000 % | 1.00/1.03 c =============================================================================== 1.00/1.03 c New solution: 289 1.00/1.03 o 289 1.00/1.03 c Elapsed CPU time: 0.957854 s Remaining CPU time: 179.042 s 1.00/1.03 c =============================================================================== 1.00/1.03 c | 48 | 2017 62213 193365 | 20737 48 114 | 0.000 % | 1.00/1.04 c =============================================================================== 1.00/1.04 c New solution: 288 1.00/1.04 o 288 1.00/1.04 c Elapsed CPU time: 0.967852 s Remaining CPU time: 179.032 s 1.00/1.04 c =============================================================================== 1.00/1.04 c | 50 | 2017 62214 193500 | 20738 50 113 | 0.000 % | 1.00/1.05 c =============================================================================== 1.00/1.05 c New solution: 287 1.00/1.05 o 287 1.00/1.05 c Elapsed CPU time: 0.975851 s Remaining CPU time: 179.024 s 1.00/1.05 c =============================================================================== 1.00/1.05 c | 50 | 2017 62215 193635 | 20738 50 113 | 0.000 % | 1.00/1.06 c =============================================================================== 1.00/1.06 c New solution: 286 1.00/1.06 o 286 1.00/1.06 c Elapsed CPU time: 0.98485 s Remaining CPU time: 179.015 s 1.00/1.06 c =============================================================================== 1.00/1.06 c | 51 | 2017 62216 193770 | 20738 51 113 | 0.000 % | 1.00/1.07 c =============================================================================== 1.00/1.07 c New solution: 285 1.00/1.07 o 285 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 | 57 | 2017 62217 193905 | 20739 57 113 | 0.000 % | 1.00/1.08 c =============================================================================== 1.00/1.08 c New solution: 284 1.00/1.08 o 284 1.00/1.08 c Elapsed CPU time: 1.00685 s Remaining CPU time: 178.993 s 1.00/1.08 c =============================================================================== 1.00/1.08 c | 59 | 2017 62218 194040 | 20739 59 113 | 0.000 % | 1.00/1.10 c =============================================================================== 1.00/1.10 c New solution: 283 1.00/1.10 o 283 1.00/1.10 c Elapsed CPU time: 1.01684 s Remaining CPU time: 178.983 s 1.00/1.10 c =============================================================================== 1.00/1.10 c | 59 | 2017 62219 194175 | 20739 59 113 | 0.000 % | 1.10/1.11 c =============================================================================== 1.10/1.11 c New solution: 282 1.10/1.11 o 282 1.10/1.11 c Elapsed CPU time: 1.02584 s Remaining CPU time: 178.974 s 1.10/1.11 c =============================================================================== 1.10/1.11 c | 59 | 2017 62220 194310 | 20740 59 113 | 0.000 % | 1.10/1.12 c =============================================================================== 1.10/1.12 c New solution: 281 1.10/1.12 o 281 1.10/1.12 c Elapsed CPU time: 1.03584 s Remaining CPU time: 178.964 s 1.10/1.12 c =============================================================================== 1.10/1.12 c | 93 | 2017 62221 194445 | 20740 93 110 | 0.000 % | 1.10/1.13 c =============================================================================== 1.10/1.13 c New solution: 280 1.10/1.13 o 280 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 | 100 | 2017 62222 194580 | 20740 100 110 | 0.000 % | 1.10/1.14 c =============================================================================== 1.10/1.14 c New solution: 279 1.10/1.14 o 279 1.10/1.14 c Elapsed CPU time: 1.05784 s Remaining CPU time: 178.942 s 1.10/1.14 c =============================================================================== 1.10/1.14 c | 100 | 2017 62223 194715 | 20741 100 110 | 0.000 % | 1.10/1.15 c =============================================================================== 1.10/1.15 c New solution: 278 1.10/1.15 o 278 1.10/1.15 c Elapsed CPU time: 1.06884 s Remaining CPU time: 178.931 s 1.10/1.15 c =============================================================================== 1.10/1.15 c | 100 | 2017 62224 194850 | 20741 100 110 | 0.000 % | 1.10/1.17 c =============================================================================== 1.10/1.17 c New solution: 277 1.10/1.17 o 277 1.10/1.17 c Elapsed CPU time: 1.08083 s Remaining CPU time: 178.919 s 1.10/1.17 c =============================================================================== 1.10/1.17 c | 104 | 2017 62225 194985 | 20741 104 110 | 0.000 % | 1.10/1.18 c =============================================================================== 1.10/1.18 c New solution: 276 1.10/1.18 o 276 1.10/1.18 c Elapsed CPU time: 1.09183 s Remaining CPU time: 178.908 s 1.10/1.18 c =============================================================================== 1.10/1.18 c | 105 | 2017 62226 195120 | 20742 105 110 | 0.000 % | 1.10/1.19 c =============================================================================== 1.10/1.19 c New solution: 275 1.10/1.19 o 275 1.10/1.19 c Elapsed CPU time: 1.10183 s Remaining CPU time: 178.898 s 1.10/1.19 c =============================================================================== 1.10/1.19 c | 105 | 2017 62227 195255 | 20742 105 110 | 0.000 % | 1.19/1.20 c =============================================================================== 1.19/1.20 c New solution: 274 1.19/1.20 o 274 1.19/1.20 c Elapsed CPU time: 1.11383 s Remaining CPU time: 178.886 s 1.19/1.20 c =============================================================================== 1.19/1.20 c | 105 | 2017 62228 195390 | 20742 105 110 | 0.000 % | 1.19/1.21 c =============================================================================== 1.19/1.21 c New solution: 273 1.19/1.21 o 273 1.19/1.21 c Elapsed CPU time: 1.12483 s Remaining CPU time: 178.875 s 1.19/1.21 c =============================================================================== 1.19/1.21 c | 107 | 2017 62229 195525 | 20743 107 110 | 0.000 % | 1.19/1.23 c =============================================================================== 1.19/1.23 c New solution: 272 1.19/1.23 o 272 1.19/1.23 c Elapsed CPU time: 1.13783 s Remaining CPU time: 178.862 s 1.19/1.23 c =============================================================================== 1.19/1.23 c | 127 | 2017 62230 195660 | 20743 127 109 | 0.000 % | 1.19/1.24 c =============================================================================== 1.19/1.24 c New solution: 271 1.19/1.24 o 271 1.19/1.24 c Elapsed CPU time: 1.14882 s Remaining CPU time: 178.851 s 1.19/1.24 c =============================================================================== 1.19/1.24 c | 127 | 2017 62231 195795 | 20743 127 109 | 0.000 % | 1.19/1.26 c =============================================================================== 1.19/1.26 c New solution: 270 1.19/1.26 o 270 1.19/1.26 c Elapsed CPU time: 1.16182 s Remaining CPU time: 178.838 s 1.19/1.26 c =============================================================================== 1.19/1.26 c | 144 | 2017 62232 195930 | 20744 144 107 | 0.000 % | 1.19/1.27 c =============================================================================== 1.19/1.27 c New solution: 269 1.19/1.27 o 269 1.19/1.27 c Elapsed CPU time: 1.17382 s Remaining CPU time: 178.826 s 1.19/1.27 c =============================================================================== 1.19/1.27 c | 144 | 2017 62233 196065 | 20744 144 107 | 0.000 % | 1.19/1.29 c | 245 | 2017 62233 196065 | 22818 245 105 | 0.395 % | 1.29/1.31 c =============================================================================== 1.29/1.31 c New solution: 268 1.29/1.31 o 268 1.29/1.31 c Elapsed CPU time: 1.21781 s Remaining CPU time: 178.782 s 1.29/1.31 c =============================================================================== 1.29/1.31 c | 352 | 2017 62234 196200 | 20744 352 102 | 0.395 % | 1.29/1.34 c | 453 | 2017 62234 196200 | 22819 453 100 | 0.395 % | 1.29/1.37 c =============================================================================== 1.29/1.37 c New solution: 267 1.29/1.37 o 267 1.29/1.37 c Elapsed CPU time: 1.26981 s Remaining CPU time: 178.73 s 1.29/1.37 c =============================================================================== 1.29/1.37 c | 556 | 2017 62235 196335 | 20745 556 100 | 0.395 % | 1.29/1.38 c =============================================================================== 1.29/1.38 c New solution: 266 1.29/1.38 o 266 1.29/1.38 c Elapsed CPU time: 1.28181 s Remaining CPU time: 178.718 s 1.29/1.38 c =============================================================================== 1.29/1.38 c | 556 | 2017 62236 196470 | 20745 556 100 | 0.395 % | 1.39/1.41 c | 656 | 2017 62236 196470 | 22819 656 99 | 0.395 % | 1.39/1.42 c =============================================================================== 1.39/1.42 c New solution: 264 1.39/1.42 o 264 1.39/1.42 c Elapsed CPU time: 1.3228 s Remaining CPU time: 178.677 s 1.39/1.42 c =============================================================================== 1.39/1.42 c | 657 | 2017 62237 196605 | 20745 657 99 | 0.395 % | 1.39/1.44 c =============================================================================== 1.39/1.44 c New solution: 263 1.39/1.44 o 263 1.39/1.44 c Elapsed CPU time: 1.3398 s Remaining CPU time: 178.66 s 1.39/1.44 c =============================================================================== 1.39/1.44 c | 682 | 2017 62238 196740 | 20746 682 99 | 0.395 % | 1.39/1.46 c | 782 | 2017 62238 196740 | 22820 782 99 | 0.395 % | 1.39/1.47 c =============================================================================== 1.39/1.47 c New solution: 262 1.39/1.47 o 262 1.39/1.47 c Elapsed CPU time: 1.37379 s Remaining CPU time: 178.626 s 1.39/1.47 c =============================================================================== 1.39/1.47 c | 790 | 2017 62239 196875 | 20746 790 99 | 0.395 % | 1.39/1.49 c =============================================================================== 1.39/1.49 c New solution: 261 1.39/1.49 o 261 1.39/1.49 c Elapsed CPU time: 1.38879 s Remaining CPU time: 178.611 s 1.39/1.49 c =============================================================================== 1.39/1.49 c | 801 | 2017 62240 197010 | 20746 801 99 | 0.395 % | 1.49/1.51 c =============================================================================== 1.49/1.51 c New solution: 260 1.49/1.51 o 260 1.49/1.51 c Elapsed CPU time: 1.40479 s Remaining CPU time: 178.595 s 1.49/1.51 c =============================================================================== 1.49/1.51 c | 816 | 2017 62241 197145 | 20747 816 99 | 0.395 % | 1.49/1.52 c =============================================================================== 1.49/1.52 c New solution: 259 1.49/1.52 o 259 1.49/1.52 c Elapsed CPU time: 1.42078 s Remaining CPU time: 178.579 s 1.49/1.52 c =============================================================================== 1.49/1.52 c | 828 | 2017 62242 197280 | 20747 828 99 | 0.395 % | 1.49/1.54 c | 929 | 2017 62242 197280 | 22822 929 99 | 0.395 % | 1.49/1.58 c =============================================================================== 1.49/1.58 c New solution: 258 1.49/1.58 o 258 1.49/1.58 c Elapsed CPU time: 1.47978 s Remaining CPU time: 178.52 s 1.49/1.58 c =============================================================================== 1.49/1.58 c | 1068 | 2017 62243 197415 | 20747 1068 99 | 0.395 % | 1.49/1.60 c =============================================================================== 1.49/1.60 c New solution: 257 1.49/1.60 o 257 1.49/1.60 c Elapsed CPU time: 1.49477 s Remaining CPU time: 178.505 s 1.49/1.60 c =============================================================================== 1.49/1.60 c | 1080 | 2017 62244 197550 | 20748 1080 99 | 0.395 % | 1.59/1.61 c =============================================================================== 1.59/1.61 c New solution: 256 1.59/1.61 o 256 1.59/1.61 c Elapsed CPU time: 1.50677 s Remaining CPU time: 178.493 s 1.59/1.61 c =============================================================================== 1.59/1.61 c | 1081 | 2017 62245 197685 | 20748 1081 99 | 0.395 % | 1.59/1.63 c | 1181 | 2017 62245 197685 | 22823 1181 99 | 0.395 % | 1.59/1.67 c =============================================================================== 1.59/1.67 c New solution: 255 1.59/1.67 o 255 1.59/1.67 c Elapsed CPU time: 1.56276 s Remaining CPU time: 178.437 s 1.59/1.67 c =============================================================================== 1.59/1.67 c | 1299 | 2017 62246 197820 | 20748 1299 99 | 0.395 % | 1.59/1.69 c | 1401 | 2017 62246 197820 | 22823 1401 99 | 0.395 % | 1.69/1.72 c =============================================================================== 1.69/1.72 c New solution: 254 1.69/1.72 o 254 1.69/1.72 c Elapsed CPU time: 1.61575 s Remaining CPU time: 178.384 s 1.69/1.72 c =============================================================================== 1.69/1.72 c | 1467 | 2017 62247 197955 | 20749 1467 99 | 0.395 % | 1.69/1.75 c | 1567 | 2017 62247 197955 | 22823 1567 98 | 0.395 % | 1.69/1.78 c | 1717 | 2017 62247 197955 | 25106 1717 98 | 0.395 % | 1.80/1.85 c | 1944 | 2017 62247 197955 | 27616 1944 98 | 0.395 % | 1.90/1.94 c | 2281 | 2017 62247 197955 | 30378 2281 98 | 0.395 % | 1.99/2.07 c | 2787 | 2017 62247 197955 | 33416 2787 97 | 0.395 % | 2.20/2.30 c | 3547 | 2017 62247 197955 | 36758 3547 97 | 0.395 % | 2.59/2.67 c | 4686 | 2017 62247 197955 | 40433 4686 97 | 0.395 % | 3.20/3.25 c | 6394 | 2017 62247 197955 | 44477 6394 96 | 0.395 % | 4.29/4.37 c | 8957 | 2017 62247 197955 | 48925 8957 96 | 0.395 % | 4.39/4.49 c =============================================================================== 4.39/4.49 c New solution: 253 4.39/4.49 o 253 4.39/4.49 c Elapsed CPU time: 4.36034 s Remaining CPU time: 175.64 s 4.39/4.49 c =============================================================================== 4.39/4.49 c | 9200 | 2017 62248 198090 | 20749 9200 96 | 0.395 % | 4.49/4.52 c | 9300 | 2017 62248 198090 | 22824 9300 96 | 0.395 % | 4.49/4.57 c =============================================================================== 4.49/4.57 c New solution: 252 4.49/4.57 o 252 4.49/4.57 c Elapsed CPU time: 4.43832 s Remaining CPU time: 175.562 s 4.49/4.57 c =============================================================================== 4.49/4.57 c | 9429 | 2017 62249 198225 | 20749 9429 96 | 0.395 % | 4.59/4.60 c =============================================================================== 4.59/4.60 c New solution: 251 4.59/4.60 o 251 4.59/4.60 c Elapsed CPU time: 4.46832 s Remaining CPU time: 175.532 s 4.59/4.60 c =============================================================================== 4.59/4.60 c | 9489 | 2017 62250 198360 | 20750 9489 96 | 0.395 % | 4.59/4.63 c | 9589 | 2017 62250 198360 | 22825 9589 96 | 0.395 % | 4.59/4.66 c =============================================================================== 4.59/4.66 c New solution: 250 4.59/4.66 o 250 4.59/4.66 c Elapsed CPU time: 4.52431 s Remaining CPU time: 175.476 s 4.59/4.66 c =============================================================================== 4.59/4.66 c | 9622 | 2017 62251 198495 | 20750 9622 96 | 0.395 % | 4.59/4.67 c =============================================================================== 4.59/4.67 c New solution: 249 4.59/4.67 o 249 4.59/4.67 c Elapsed CPU time: 4.53931 s Remaining CPU time: 175.461 s 4.59/4.67 c =============================================================================== 4.59/4.67 c | 9623 | 2017 62252 198630 | 20750 9623 96 | 0.395 % | 4.69/4.70 c | 9725 | 2017 62252 198630 | 22825 9725 96 | 0.395 % | 4.69/4.77 c =============================================================================== 4.69/4.77 c New solution: 248 4.69/4.77 o 248 4.69/4.77 c Elapsed CPU time: 4.6363 s Remaining CPU time: 175.364 s 4.69/4.77 c =============================================================================== 4.69/4.77 c | 9855 | 2017 62253 198765 | 20751 9855 96 | 0.395 % | 4.69/4.78 c =============================================================================== 4.69/4.78 c New solution: 247 4.69/4.78 o 247 4.69/4.78 c Elapsed CPU time: 4.65029 s Remaining CPU time: 175.35 s 4.69/4.78 c =============================================================================== 4.69/4.78 c | 9856 | 2017 62254 198900 | 20751 9856 96 | 0.395 % | 4.79/4.80 c =============================================================================== 4.79/4.80 c New solution: 246 4.79/4.80 o 246 4.79/4.80 c Elapsed CPU time: 4.66429 s Remaining CPU time: 175.336 s 4.79/4.80 c =============================================================================== 4.79/4.80 c | 9856 | 2017 62255 199035 | 20751 9856 96 | 0.395 % | 4.79/4.84 c | 9957 | 2017 62255 199035 | 22826 9957 96 | 0.395 % | 4.79/4.89 c | 10107 | 2017 62255 199035 | 25109 10107 96 | 0.395 % | 4.89/4.98 c | 10332 | 2017 62255 199035 | 27620 10332 96 | 0.395 % | 5.09/5.10 c | 10671 | 2017 62255 199035 | 30382 10671 96 | 0.395 % | 5.29/5.34 c | 11177 | 2017 62255 199035 | 33420 11177 96 | 0.395 % | 5.59/5.70 c | 11936 | 2017 62255 199035 | 36762 11936 96 | 0.395 % | 6.19/6.20 c | 13075 | 2017 62255 199035 | 40439 13075 95 | 0.395 % | 7.09/7.17 c | 14785 | 2017 62255 199035 | 44483 14785 95 | 0.395 % | 8.49/8.55 c | 17348 | 2017 62255 199035 | 48931 17348 94 | 0.395 % | 9.48/9.56 c =============================================================================== 9.48/9.56 c New solution: 245 9.48/9.56 o 245 9.48/9.56 c Elapsed CPU time: 9.40357 s Remaining CPU time: 170.596 s 9.48/9.56 c =============================================================================== 9.48/9.56 c | 18836 | 2017 62256 199170 | 20752 18836 94 | 0.395 % | 9.58/9.65 c | 18937 | 2017 62256 199170 | 22827 18937 94 | 0.395 % | 9.68/9.79 c | 19088 | 2017 62256 199170 | 25109 19088 94 | 0.395 % | 9.98/10.06 c | 19315 | 2017 62256 199170 | 27620 19315 94 | 0.395 % | 10.49/10.50 c | 19652 | 2017 62256 199170 | 30383 19652 94 | 0.395 % | 10.89/10.95 c | 20158 | 2017 62256 199170 | 33421 20158 94 | 0.395 % | 10.99/11.06 c =============================================================================== 10.99/11.06 c New solution: 244 10.99/11.06 o 244 10.99/11.06 c Elapsed CPU time: 10.8943 s Remaining CPU time: 169.106 s 10.99/11.06 c =============================================================================== 10.99/11.06 c | 20371 | 2017 62257 199305 | 20752 20371 94 | 0.395 % | 11.08/11.17 c | 20473 | 2017 62257 199305 | 22827 20473 94 | 0.395 % | 11.08/11.20 c =============================================================================== 11.08/11.20 c New solution: 243 11.08/11.20 o 243 11.08/11.20 c Elapsed CPU time: 11.0263 s Remaining CPU time: 168.974 s 11.08/11.20 c =============================================================================== 11.08/11.20 c | 20491 | 2017 62258 199440 | 20752 20491 94 | 0.395 % | 11.19/11.21 c =============================================================================== 11.19/11.21 c New solution: 242 11.19/11.21 o 242 11.19/11.21 c Elapsed CPU time: 11.0413 s Remaining CPU time: 168.959 s 11.19/11.21 c =============================================================================== 11.19/11.21 c | 20491 | 2017 62259 199575 | 20753 20491 94 | 0.395 % | 11.29/11.32 c | 20591 | 2017 62259 199575 | 22828 20591 94 | 0.395 % | 11.39/11.40 c | 20741 | 2017 62259 199575 | 25111 20741 94 | 0.395 % | 11.49/11.58 c | 20966 | 2017 62259 199575 | 27622 20966 94 | 0.395 % | 11.79/11.87 c | 21304 | 2017 62259 199575 | 30384 21304 94 | 0.395 % | 12.19/12.22 c =============================================================================== 12.19/12.22 c New solution: 241 12.19/12.22 o 241 12.19/12.22 c Elapsed CPU time: 12.0452 s Remaining CPU time: 167.955 s 12.19/12.22 c =============================================================================== 12.19/12.22 c | 21558 | 2017 62260 199710 | 20753 21558 94 | 0.395 % | 12.29/12.40 c | 21659 | 2017 62260 199710 | 22828 10880 91 | 0.395 % | 12.48/12.51 c | 21810 | 2017 62260 199710 | 25111 11031 91 | 0.395 % | 12.59/12.69 c | 22035 | 2017 62260 199710 | 27622 11256 91 | 0.395 % | 12.89/12.94 c | 22373 | 2017 62260 199710 | 30384 11594 91 | 0.395 % | 13.19/13.25 c | 22880 | 2017 62260 199710 | 33423 12101 91 | 0.395 % | 13.58/13.60 c | 23642 | 2017 62260 199710 | 36765 12863 91 | 0.395 % | 13.99/14.00 c | 24783 | 2017 62260 199710 | 40442 14004 91 | 0.395 % | 14.68/14.77 c | 26491 | 2017 62260 199710 | 44486 15712 91 | 0.395 % | 15.89/15.91 c | 29054 | 2017 62260 199710 | 48935 18275 91 | 0.395 % | 18.09/18.15 c =============================================================================== 18.09/18.15 c New solution: 240 18.09/18.15 o 240 18.09/18.15 c Elapsed CPU time: 17.9323 s Remaining CPU time: 162.068 s 18.09/18.15 c =============================================================================== 18.09/18.15 c | 32603 | 2017 62261 199845 | 20753 21824 91 | 0.395 % | 18.39/18.41 c | 32703 | 2017 62261 199845 | 22829 11012 89 | 0.395 % | 18.49/18.52 c | 32853 | 2017 62261 199845 | 25111 11162 89 | 0.395 % | 18.60/18.63 c =============================================================================== 18.60/18.63 c New solution: 239 18.60/18.63 o 239 18.60/18.63 c Elapsed CPU time: 18.4062 s Remaining CPU time: 161.594 s 18.60/18.63 c =============================================================================== 18.60/18.63 c | 33015 | 2017 62262 199980 | 20754 11324 89 | 0.395 % | 18.60/18.66 c | 33116 | 2017 62262 199980 | 22829 11425 89 | 0.395 % | 18.69/18.71 c | 33266 | 2017 62262 199980 | 25112 11575 89 | 0.395 % | 18.79/18.81 c | 33495 | 2017 62262 199980 | 27623 11804 89 | 0.395 % | 18.99/19.01 c | 33834 | 2017 62262 199980 | 30385 12143 89 | 0.395 % | 19.28/19.31 c | 34341 | 2017 62262 199980 | 33424 12650 89 | 0.395 % | 19.70/19.71 c | 35100 | 2017 62262 199980 | 36766 13409 89 | 0.395 % | 20.39/20.45 c | 36240 | 2017 62262 199980 | 40443 14549 89 | 0.395 % | 21.28/21.36 c | 37949 | 2017 62262 199980 | 44488 16258 89 | 0.395 % | 21.90/21.94 c =============================================================================== 21.90/21.94 c New solution: 238 21.90/21.94 o 238 21.90/21.94 c Elapsed CPU time: 21.6897 s Remaining CPU time: 158.31 s 21.90/21.94 c =============================================================================== 21.90/21.94 c | 38883 | 2017 62263 200115 | 20754 17192 89 | 0.395 % | 21.90/22.00 c | 38984 | 2017 62263 200115 | 22829 17293 89 | 0.395 % | 22.00/22.07 c | 39139 | 2017 62263 200115 | 25112 17448 89 | 0.395 % | 22.19/22.22 c | 39365 | 2017 62263 200115 | 27624 17674 89 | 0.395 % | 22.49/22.52 c | 39704 | 2017 62263 200115 | 30386 18013 89 | 0.395 % | 22.68/22.73 c | 40212 | 2017 62263 200115 | 33425 18521 89 | 0.395 % | 22.99/23.01 c | 40974 | 2017 62263 200115 | 36767 19283 89 | 0.395 % | 23.79/23.82 c | 42115 | 2017 62263 200115 | 40444 20424 90 | 0.395 % | 25.19/25.30 c | 43824 | 2017 62263 200115 | 44488 22133 90 | 0.395 % | 27.49/27.53 c | 46388 | 2017 62263 200115 | 48937 24697 90 | 0.395 % | 31.18/31.22 c | 50233 | 2017 62263 200115 | 53831 28542 90 | 0.395 % | 37.88/37.94 c | 55999 | 2017 62263 200115 | 59214 34308 90 | 0.395 % | 46.19/46.24 c | 64650 | 2017 62263 200115 | 65135 42959 90 | 0.395 % | 52.58/52.69 c =============================================================================== 52.58/52.69 c New solution: 237 52.58/52.69 o 237 52.58/52.69 c Elapsed CPU time: 52.31 s Remaining CPU time: 127.69 s 52.58/52.69 c =============================================================================== 52.58/52.69 c | 70269 | 2017 62264 200250 | 20754 48578 90 | 0.395 % | 54.68/54.74 c | 70371 | 2017 62264 200250 | 22830 11865 89 | 0.395 % | 54.68/54.78 c =============================================================================== 54.68/54.78 c New solution: 236 54.68/54.78 o 236 54.68/54.78 c Elapsed CPU time: 54.3967 s Remaining CPU time: 125.603 s 54.68/54.78 c =============================================================================== 54.68/54.78 c | 70428 | 2017 62265 200385 | 20755 11922 89 | 0.395 % | 54.78/54.84 c | 70528 | 2017 62265 200385 | 22830 12022 89 | 0.395 % | 54.88/54.93 c | 70678 | 2017 62265 200385 | 25113 12172 89 | 0.395 % | 54.98/55.07 c | 70904 | 2017 62265 200385 | 27624 12398 89 | 0.395 % | 55.18/55.27 c | 71241 | 2017 62265 200385 | 30387 12735 89 | 0.395 % | 55.48/55.59 c | 71747 | 2017 62265 200385 | 33426 13241 89 | 0.395 % | 55.98/56.06 c | 72508 | 2017 62265 200385 | 36768 14002 89 | 0.395 % | 56.68/56.70 c | 73649 | 2017 62265 200385 | 40445 15143 89 | 0.395 % | 57.58/57.65 c | 75358 | 2017 62265 200385 | 44490 16852 89 | 0.395 % | 59.08/59.14 c | 77920 | 2017 62265 200385 | 48939 19414 89 | 0.395 % | 61.28/61.40 c | 81766 | 2017 62265 200385 | 53833 23260 89 | 0.395 % | 65.58/65.61 c | 87532 | 2017 62265 200385 | 59216 29026 89 | 0.395 % | 72.77/72.84 c | 96181 | 2017 62265 200385 | 65138 37675 89 | 0.395 % | 75.97/76.03 c =============================================================================== 75.97/76.03 c New solution: 235 75.97/76.03 o 235 75.97/76.03 c Elapsed CPU time: 75.5185 s Remaining CPU time: 104.481 s 75.97/76.03 c =============================================================================== 75.97/76.03 c | 98773 | 2017 62266 200520 | 20755 40267 89 | 0.395 % | 76.57/76.62 c | 98874 | 2017 62266 200520 | 22830 11672 88 | 0.395 % | 76.57/76.68 c | 99025 | 2017 62266 200520 | 25113 11823 88 | 0.395 % | 76.67/76.78 c | 99250 | 2017 62266 200520 | 27625 12048 88 | 0.395 % | 76.88/76.94 c | 99587 | 2017 62266 200520 | 30387 12385 88 | 0.395 % | 77.08/77.19 c =============================================================================== 77.08/77.19 c New solution: 234 77.08/77.19 o 234 77.08/77.19 c Elapsed CPU time: 76.6693 s Remaining CPU time: 103.331 s 77.08/77.19 c =============================================================================== 77.08/77.19 c | 99995 | 2017 62267 200655 | 20755 12793 88 | 0.395 % | 77.18/77.20 c =============================================================================== 77.18/77.20 c New solution: 233 77.18/77.20 o 233 77.18/77.20 c Elapsed CPU time: 76.6873 s Remaining CPU time: 103.313 s 77.18/77.20 c =============================================================================== 77.18/77.20 c | 99999 | 2017 62268 200790 | 20756 12797 88 | 0.395 % | 77.18/77.25 c | 100100 | 2017 62268 200790 | 22831 12898 88 | 0.395 % | 77.28/77.35 c | 100250 | 2017 62268 200790 | 25114 13048 88 | 0.395 % | 77.37/77.48 c | 100477 | 2017 62268 200790 | 27626 13275 88 | 0.395 % | 77.57/77.69 c | 100816 | 2017 62268 200790 | 30388 13614 88 | 0.395 % | 77.87/77.93 c | 101323 | 2017 62268 200790 | 33427 14121 88 | 0.395 % | 78.08/78.18 c =============================================================================== 78.08/78.18 c New solution: 232 78.08/78.18 o 232 78.08/78.18 c Elapsed CPU time: 77.6542 s Remaining CPU time: 102.346 s 78.08/78.18 c =============================================================================== 78.08/78.18 c | 101809 | 2017 62269 200925 | 20756 14607 88 | 0.395 % | 78.18/78.25 c | 101910 | 2017 62269 200925 | 22831 14708 88 | 0.395 % | 78.28/78.35 c | 102060 | 2017 62269 200925 | 25115 14858 88 | 0.395 % | 78.48/78.50 c | 102286 | 2017 62269 200925 | 27626 15084 88 | 0.395 % | 78.67/78.71 c | 102623 | 2017 62269 200925 | 30389 15421 88 | 0.395 % | 78.97/79.04 c | 103131 | 2017 62269 200925 | 33428 15929 88 | 0.395 % | 79.38/79.44 c | 103890 | 2017 62269 200925 | 36771 16688 88 | 0.395 % | 80.07/80.12 c | 105029 | 2017 62269 200925 | 40448 17827 87 | 0.395 % | 81.28/81.39 c | 106738 | 2017 62269 200925 | 44493 19536 87 | 0.395 % | 82.38/82.50 c | 109301 | 2017 62269 200925 | 48942 22099 87 | 0.395 % | 83.17/83.25 c =============================================================================== 83.17/83.25 c New solution: 231 83.17/83.25 o 231 83.17/83.25 c Elapsed CPU time: 82.6884 s Remaining CPU time: 97.3116 s 83.17/83.25 c =============================================================================== 83.17/83.25 c | 110824 | 2017 62270 201060 | 20756 23622 87 | 0.395 % | 83.77/83.83 c =============================================================================== 83.77/83.83 c New solution: 230 83.77/83.83 o 230 83.77/83.83 c Elapsed CPU time: 83.2703 s Remaining CPU time: 96.7297 s 83.77/83.83 c =============================================================================== 83.77/83.83 c | 110825 | 2017 62271 201195 | 20757 11100 85 | 0.395 % | 83.77/83.85 c =============================================================================== 83.77/83.85 c New solution: 229 83.77/83.85 o 229 83.77/83.85 c Elapsed CPU time: 83.2863 s Remaining CPU time: 96.7137 s 83.77/83.85 c =============================================================================== 83.77/83.85 c | 110828 | 2017 62272 201330 | 20757 11103 85 | 0.395 % | 83.77/83.89 c | 110928 | 2017 62272 201330 | 22833 11203 85 | 0.395 % | 83.87/83.96 c | 111078 | 2017 62272 201330 | 25116 11353 85 | 0.395 % | 83.97/84.06 c | 111305 | 2017 62272 201330 | 27628 11580 85 | 0.395 % | 84.08/84.19 c | 111643 | 2017 62272 201330 | 30390 11918 85 | 0.395 % | 84.28/84.37 c | 112150 | 2017 62272 201330 | 33429 12425 85 | 0.395 % | 84.68/84.70 c | 112911 | 2017 62272 201330 | 36772 13186 85 | 0.395 % | 85.17/85.30 c | 114050 | 2017 62272 201330 | 40450 14325 85 | 0.395 % | 86.07/86.13 c | 115758 | 2017 62272 201330 | 44495 16033 85 | 0.395 % | 86.97/87.06 c =============================================================================== 86.97/87.06 c New solution: 228 86.97/87.06 o 228 86.97/87.06 c Elapsed CPU time: 86.4709 s Remaining CPU time: 93.5291 s 86.97/87.06 c =============================================================================== 86.97/87.06 c | 117195 | 2017 62273 201465 | 20757 17470 85 | 0.395 % | 86.97/87.07 c =============================================================================== 86.97/87.07 c New solution: 227 86.97/87.07 o 227 86.97/87.07 c Elapsed CPU time: 86.4849 s Remaining CPU time: 93.5151 s 86.97/87.07 c =============================================================================== 86.97/87.07 c | 117195 | 2017 62274 201600 | 20758 17470 85 | 0.395 % | 87.07/87.12 c | 117295 | 2017 62274 201600 | 22833 17570 85 | 0.395 % | 87.17/87.22 c | 117445 | 2017 62274 201600 | 25117 17720 85 | 0.395 % | 87.27/87.38 c | 117671 | 2017 62274 201600 | 27628 17946 85 | 0.395 % | 87.47/87.58 c | 118008 | 2017 62274 201600 | 30391 18283 85 | 0.395 % | 87.78/87.87 c | 118515 | 2017 62274 201600 | 33430 18790 85 | 0.395 % | 88.37/88.40 c | 119275 | 2017 62274 201600 | 36774 19550 85 | 0.395 % | 89.27/89.38 c | 120416 | 2017 62274 201600 | 40451 20691 85 | 0.395 % | 90.67/90.78 c | 122126 | 2017 62274 201600 | 44496 22401 85 | 0.395 % | 92.97/93.00 c | 124690 | 2017 62274 201600 | 48946 24965 85 | 0.395 % | 96.27/96.40 c | 128535 | 2017 62274 201600 | 53840 28810 85 | 0.395 % | 102.28/102.35 c | 134302 | 2017 62274 201600 | 59224 34577 85 | 0.395 % | 107.56/107.67 c =============================================================================== 107.56/107.67 c New solution: 226 107.56/107.67 o 226 107.56/107.67 c Elapsed CPU time: 106.964 s Remaining CPU time: 73.0363 s 107.56/107.67 c =============================================================================== 107.56/107.67 c | 140589 | 2017 62275 201735 | 20758 40864 85 | 0.395 % | 108.87/108.91 c =============================================================================== 108.87/108.91 c New solution: 225 108.87/108.91 o 225 108.87/108.91 c Elapsed CPU time: 108.203 s Remaining CPU time: 71.7974 s 108.87/108.91 c =============================================================================== 108.87/108.91 c | 140591 | 2017 62276 201870 | 20758 11604 83 | 0.395 % | 108.87/108.93 c =============================================================================== 108.87/108.93 c New solution: 224 108.87/108.93 o 224 108.87/108.93 c Elapsed CPU time: 108.219 s Remaining CPU time: 71.7815 s 108.87/108.93 c =============================================================================== 108.87/108.93 c | 140593 | 2017 62277 202005 | 20759 11606 83 | 0.395 % | 108.87/108.94 c =============================================================================== 108.87/108.94 c New solution: 223 108.87/108.94 o 223 108.87/108.94 c Elapsed CPU time: 108.232 s Remaining CPU time: 71.7685 s 108.87/108.94 c =============================================================================== 108.87/108.94 c | 140593 | 2017 62278 202140 | 20759 11606 83 | 0.395 % | 108.87/108.99 c | 140694 | 2017 62278 202140 | 22835 11707 83 | 0.395 % | 108.97/109.05 c | 140845 | 2017 62278 202140 | 25118 11858 84 | 0.395 % | 109.07/109.14 c | 141070 | 2017 62278 202140 | 27630 12083 84 | 0.395 % | 109.17/109.29 c | 141407 | 2017 62278 202140 | 30393 12420 84 | 0.395 % | 109.47/109.53 c | 141914 | 2017 62278 202140 | 33433 12927 84 | 0.395 % | 109.87/109.96 c | 142673 | 2017 62278 202140 | 36776 13686 84 | 0.395 % | 110.47/110.52 c =============================================================================== 110.47/110.52 c New solution: 222 110.47/110.52 o 222 110.47/110.52 c Elapsed CPU time: 109.794 s Remaining CPU time: 70.2057 s 110.47/110.52 c =============================================================================== 110.47/110.52 c | 143792 | 2017 62279 202275 | 20759 14805 84 | 0.395 % | 110.47/110.54 c =============================================================================== 110.47/110.54 c New solution: 221 110.47/110.54 o 221 110.47/110.54 c Elapsed CPU time: 109.809 s Remaining CPU time: 70.1907 s 110.47/110.54 c =============================================================================== 110.47/110.54 c | 143792 | 2017 62280 202410 | 20760 14805 84 | 0.395 % | 110.47/110.55 c =============================================================================== 110.47/110.55 c New solution: 220 110.47/110.55 o 220 110.47/110.55 c Elapsed CPU time: 109.823 s Remaining CPU time: 70.1767 s 110.47/110.55 c =============================================================================== 110.47/110.55 c | 143792 | 2017 62281 202545 | 20760 14805 84 | 0.395 % | 110.56/110.61 c | 143892 | 2017 62281 202545 | 22836 14905 84 | 0.395 % | 110.56/110.69 c | 144043 | 2017 62281 202545 | 25120 15056 84 | 0.395 % | 110.76/110.83 c | 144270 | 2017 62281 202545 | 27632 15283 84 | 0.395 % | 110.97/111.04 c | 144607 | 2017 62281 202545 | 30395 15620 84 | 0.395 % | 111.27/111.32 c | 145113 | 2017 62281 202545 | 33434 16126 84 | 0.395 % | 111.77/111.80 c | 145873 | 2017 62281 202545 | 36778 16886 84 | 0.395 % | 112.56/112.66 c | 147015 | 2017 62281 202545 | 40456 18028 84 | 0.395 % | 113.86/113.98 c | 148723 | 2017 62281 202545 | 44501 19736 84 | 0.395 % | 115.47/115.54 c | 151285 | 2017 62281 202545 | 48951 22298 84 | 0.395 % | 117.67/117.78 c =============================================================================== 117.67/117.78 c New solution: 219 117.67/117.78 o 219 117.67/117.78 c Elapsed CPU time: 117.002 s Remaining CPU time: 62.9978 s 117.67/117.78 c =============================================================================== 117.67/117.78 c | 154795 | 2017 62282 202680 | 20760 25808 84 | 0.395 % | 118.06/118.12 c =============================================================================== 118.06/118.12 c New solution: 218 118.06/118.12 o 218 118.06/118.12 c Elapsed CPU time: 117.346 s Remaining CPU time: 62.6538 s 118.06/118.12 c =============================================================================== 118.06/118.12 c | 154795 | 2017 62283 202815 | 20761 11117 82 | 0.395 % | 118.06/118.17 c | 154895 | 2017 62283 202815 | 22837 11217 82 | 0.395 % | 118.16/118.24 c | 155045 | 2017 62283 202815 | 25120 11367 82 | 0.395 % | 118.26/118.36 c | 155273 | 2017 62283 202815 | 27632 11595 82 | 0.395 % | 118.46/118.54 c | 155610 | 2017 62283 202815 | 30396 11932 82 | 0.395 % | 118.68/118.74 c | 156117 | 2017 62283 202815 | 33435 12439 82 | 0.395 % | 118.97/119.07 c | 156878 | 2017 62283 202815 | 36779 13200 82 | 0.395 % | 119.56/119.62 c | 158019 | 2017 62283 202815 | 40457 14341 82 | 0.395 % | 120.56/120.62 c | 159728 | 2017 62283 202815 | 44503 16050 82 | 0.395 % | 122.16/122.28 c | 162291 | 2017 62283 202815 | 48953 18613 82 | 0.395 % | 124.56/124.68 c | 166135 | 2017 62283 202815 | 53848 22457 82 | 0.395 % | 128.16/128.22 c | 171902 | 2017 62283 202815 | 59233 28224 82 | 0.395 % | 131.77/131.88 c =============================================================================== 131.77/131.88 c New solution: 217 131.77/131.88 o 217 131.77/131.88 c Elapsed CPU time: 131.024 s Remaining CPU time: 48.9759 s 131.77/131.88 c =============================================================================== 131.77/131.88 c | 176751 | 2017 62284 202950 | 20761 33073 82 | 0.395 % | 132.36/132.42 c | 176851 | 2017 62284 202950 | 22837 11480 81 | 0.395 % | 132.36/132.48 c | 177001 | 2017 62284 202950 | 25121 11630 81 | 0.395 % | 132.46/132.50 c =============================================================================== 132.46/132.50 c New solution: 216 132.46/132.50 o 216 132.46/132.50 c Elapsed CPU time: 131.643 s Remaining CPU time: 48.357 s 132.46/132.50 c =============================================================================== 132.46/132.50 c | 177033 | 2017 62285 203085 | 20761 11662 81 | 0.395 % | 132.46/132.54 c | 177134 | 2017 62285 203085 | 22837 11763 81 | 0.395 % | 132.56/132.61 c =============================================================================== 132.56/132.61 c New solution: 215 132.56/132.61 o 215 132.56/132.61 c Elapsed CPU time: 131.745 s Remaining CPU time: 48.255 s 132.56/132.61 c =============================================================================== 132.56/132.61 c | 177275 | 2017 62286 203220 | 20762 11904 81 | 0.395 % | 132.56/132.65 c | 177376 | 2017 62286 203220 | 22838 12005 81 | 0.395 % | 132.65/132.72 c | 177526 | 2017 62286 203220 | 25122 12155 81 | 0.395 % | 132.75/132.82 c | 177754 | 2017 62286 203220 | 27634 12383 81 | 0.395 % | 132.85/132.95 c | 178092 | 2017 62286 203220 | 30397 12721 81 | 0.395 % | 133.07/133.18 c | 178602 | 2017 62286 203220 | 33437 13231 81 | 0.395 % | 133.56/133.66 c | 179364 | 2017 62286 203220 | 36781 13993 81 | 0.395 % | 134.16/134.28 c | 180504 | 2017 62286 203220 | 40459 15133 82 | 0.395 % | 135.26/135.36 c | 182212 | 2017 62286 203220 | 44505 16841 82 | 0.395 % | 136.96/137.01 c | 184774 | 2017 62286 203220 | 48955 19403 82 | 0.395 % | 139.45/139.53 c | 188618 | 2017 62286 203220 | 53851 23247 82 | 0.395 % | 143.66/143.76 c | 194385 | 2017 62286 203220 | 59236 29014 82 | 0.395 % | 151.16/151.21 c =============================================================================== 151.16/151.21 c New solution: 214 151.16/151.21 o 214 151.16/151.21 c Elapsed CPU time: 150.23 s Remaining CPU time: 29.7698 s 151.16/151.21 c =============================================================================== 151.16/151.21 c | 201854 | 2017 62287 203355 | 20762 36483 82 | 0.395 % | 151.56/151.61 c | 201954 | 2017 62287 203355 | 22838 11575 80 | 0.395 % | 151.56/151.69 c | 202105 | 2017 62287 203355 | 25122 11726 80 | 0.395 % | 151.66/151.80 c | 202331 | 2017 62287 203355 | 27634 11952 80 | 0.395 % | 151.96/152.02 c | 202668 | 2017 62287 203355 | 30398 12289 80 | 0.395 % | 152.25/152.30 c | 203175 | 2017 62287 203355 | 33437 12796 80 | 0.395 % | 152.66/152.74 c | 203935 | 2017 62287 203355 | 36781 13556 80 | 0.395 % | 153.36/153.45 c | 205077 | 2017 62287 203355 | 40459 14698 80 | 0.395 % | 154.45/154.59 c | 206785 | 2017 62287 203355 | 44505 16406 80 | 0.395 % | 155.16/155.24 c =============================================================================== 155.16/155.24 c New solution: 213 155.16/155.24 o 213 155.16/155.24 c Elapsed CPU time: 154.244 s Remaining CPU time: 25.7564 s 155.16/155.24 c =============================================================================== 155.16/155.24 c | 207865 | 2017 62288 203490 | 20762 17486 80 | 0.395 % | 155.16/155.29 c | 207966 | 2017 62288 203490 | 22838 17587 80 | 0.395 % | 155.26/155.39 c | 208116 | 2017 62288 203490 | 25122 17737 80 | 0.395 % | 155.46/155.53 c | 208341 | 2017 62288 203490 | 27635 17962 80 | 0.395 % | 155.75/155.86 c | 208678 | 2017 62288 203490 | 30398 18299 80 | 0.395 % | 156.06/156.20 c | 209185 | 2017 62288 203490 | 33438 18806 80 | 0.395 % | 156.56/156.65 c | 209944 | 2017 62288 203490 | 36782 19565 80 | 0.395 % | 157.36/157.44 c | 211084 | 2017 62288 203490 | 40460 20705 80 | 0.395 % | 158.55/158.65 c | 212792 | 2017 62288 203490 | 44506 22413 80 | 0.395 % | 160.56/160.67 c | 215357 | 2017 62288 203490 | 48957 24978 81 | 0.395 % | 163.55/163.60 c | 219203 | 2017 62288 203490 | 53853 28824 81 | 0.395 % | 168.95/169.02 c | 224969 | 2017 62288 203490 | 59238 34590 81 | 0.395 % | 169.26/169.40 c =============================================================================== 169.26/169.40 c New solution: 212 169.26/169.40 o 212 169.26/169.40 c Elapsed CPU time: 168.337 s Remaining CPU time: 11.6626 s 169.26/169.40 c =============================================================================== 169.26/169.40 c | 225285 | 2017 62289 203625 | 20763 34906 81 | 0.395 % | 169.85/169.90 c | 225386 | 2017 62289 203625 | 22839 11537 79 | 0.395 % | 169.85/169.96 c | 225537 | 2017 62289 203625 | 25123 11688 79 | 0.395 % | 169.95/170.08 c | 225767 | 2017 62289 203625 | 27635 11918 79 | 0.395 % | 170.15/170.25 c | 226104 | 2017 62289 203625 | 30399 12255 79 | 0.395 % | 170.46/170.56 c | 226611 | 2017 62289 203625 | 33439 12762 79 | 0.395 % | 170.85/170.97 c | 227370 | 2017 62289 203625 | 36782 13521 79 | 0.395 % | 171.56/171.64 c | 228509 | 2017 62289 203625 | 40461 14660 79 | 0.395 % | 172.75/172.80 c | 230217 | 2017 62289 203625 | 44507 16368 79 | 0.395 % | 174.25/174.34 c | 232783 | 2017 62289 203625 | 48958 18934 79 | 0.395 % | 176.96/177.06 c | 236627 | 2017 62289 203625 | 53853 22778 79 | 0.395 % | 181.05/181.13 c There are 8 assigned variables. 8 in cost function. 181.35/181.43 c core #1 181.35/181.43 c #cores: 1 181.35/181.43 c Final Weight: 212 181.35/181.43 o 212 181.35/181.43 s OPTIMUM FOUND 181.35/181.43 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.35/181.43 c Total CPU time: 180.298 s
OK -140
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655749-1276687260/watcher-2655749-1276687260 -o /tmp/evaluation-result-2655749-1276687260/solver-2655749-1276687260 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655749-1276687260.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 15522 /proc/meminfo: memFree=1646656/2059040 swapFree=4192956/4192956 [pid=15522] ppid=15520 vsize=4884 CPUtime=0 /proc/15522/stat : 15522 (wbo1.4b) R 15520 15522 15412 0 -1 4202496 368 0 0 0 0 0 0 0 22 0 1 0 10016868 5001216 287 1992294400 134512640 135751879 4290023808 18446744073709551615 134561495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15522/statm: 1221 287 144 303 0 409 0 [startup+0.0861579 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15522 /proc/meminfo: memFree=1646656/2059040 swapFree=4192956/4192956 [pid=15522] ppid=15520 vsize=5964 CPUtime=0.08 /proc/15522/stat : 15522 (wbo1.4b) R 15520 15522 15412 0 -1 4202496 734 0 0 0 8 0 0 0 24 0 1 0 10016868 6107136 653 1992294400 134512640 135751879 4290023808 18446744073709551615 134559719 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15522/statm: 1491 653 280 303 0 679 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5964 [startup+0.101159 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15522 /proc/meminfo: memFree=1646656/2059040 swapFree=4192956/4192956 [pid=15522] ppid=15520 vsize=5964 CPUtime=0.09 /proc/15522/stat : 15522 (wbo1.4b) R 15520 15522 15412 0 -1 4202496 787 0 0 0 9 0 0 0 24 0 1 0 10016868 6107136 706 1992294400 134512640 135751879 4290023808 18446744073709551615 135227788 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15522/statm: 1491 707 307 303 0 679 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5964 [startup+0.301176 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15522 /proc/meminfo: memFree=1646656/2059040 swapFree=4192956/4192956 [pid=15522] ppid=15520 vsize=6860 CPUtime=0.29 /proc/15522/stat : 15522 (wbo1.4b) R 15520 15522 15412 0 -1 4202496 1852 0 0 0 29 0 0 0 25 0 1 0 10016868 7024640 1232 1992294400 134512640 135751879 4290023808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15522/statm: 1715 1232 144 303 0 1410 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6860 [startup+0.701211 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15522 /proc/meminfo: memFree=1646656/2059040 swapFree=4192956/4192956 [pid=15522] ppid=15520 vsize=7256 CPUtime=0.69 /proc/15522/stat : 15522 (wbo1.4b) R 15520 15522 15412 0 -1 4202496 1974 0 0 0 65 4 0 0 25 0 1 0 10016868 7430144 1354 1992294400 134512640 135751879 4290023808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15522/statm: 1814 1354 146 303 0 1509 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7256 [startup+1.50285 s] /proc/loadavg: 0.92 0.98 0.99 2/107 15523 /proc/meminfo: memFree=1641812/2059040 swapFree=4192956/4192956 [pid=15522] ppid=15520 vsize=7644 CPUtime=1.49 /proc/15522/stat : 15522 (wbo1.4b) R 15520 15522 15412 0 -1 4202496 2061 0 0 0 139 10 0 0 25 0 1 0 10016868 7827456 1441 1992294400 134512640 135751879 4290023808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15522/statm: 1911 1441 147 303 0 1606 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7644 [startup+3.10142 s] /proc/loadavg: 0.92 0.98 0.99 2/107 15523 /proc/meminfo: memFree=1640076/2059040 swapFree=4192956/4192956 [pid=15522] ppid=15520 vsize=10116 CPUtime=3.09 /proc/15522/stat : 15522 (wbo1.4b) R 15520 15522 15412 0 -1 4202496 2686 0 0 0 298 11 0 0 25 0 1 0 10016868 10358784 2066 1992294400 134512640 135751879 4290023808 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15522/statm: 2529 2066 147 303 0 2224 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10116 [startup+6.30069 s] /proc/loadavg: 0.93 0.98 0.99 2/107 15523 /proc/meminfo: memFree=1635736/2059040 swapFree=4192956/4192956 [pid=15522] ppid=15520 vsize=13900 CPUtime=6.29 /proc/15522/stat : 15522 (wbo1.4b) R 15520 15522 15412 0 -1 4202496 3619 0 0 0 615 14 0 0 25 0 1 0 10016868 14233600 2999 1992294400 134512640 135751879 4290023808 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15522/statm: 3475 2999 147 303 0 3170 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13900 [startup+12.7002 s] /proc/loadavg: 0.93 0.98 0.99 2/107 15523 /proc/meminfo: memFree=1630652/2059040 swapFree=4192956/4192956 [pid=15522] ppid=15520 vsize=18208 CPUtime=12.69 /proc/15522/stat : 15522 (wbo1.4b) R 15520 15522 15412 0 -1 4202496 4692 0 0 0 1251 18 0 0 25 0 1 0 10016868 18644992 4072 1992294400 134512640 135751879 4290023808 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15522/statm: 4552 4072 148 303 0 4247 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18208 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/107 15523 /proc/meminfo: memFree=1620360/2059040 swapFree=4192956/4192956 [pid=15522] ppid=15520 vsize=28448 CPUtime=25.48 /proc/15522/stat : 15522 (wbo1.4b) R 15520 15522 15412 0 -1 4202496 7255 0 0 0 2522 26 0 0 25 0 1 0 10016868 29130752 6635 1992294400 134512640 135751879 4290023808 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15522/statm: 7112 6635 148 303 0 6807 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28448 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.99 2/107 15523 /proc/meminfo: memFree=1608580/2059040 swapFree=4192956/4192956 [pid=15522] ppid=15520 vsize=40436 CPUtime=51.08 /proc/15522/stat : 15522 (wbo1.4b) R 15520 15522 15412 0 -1 4202496 10219 0 0 0 5072 36 0 0 25 0 1 0 10016868 41406464 9599 1992294400 134512640 135751879 4290023808 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15522/statm: 10109 9599 148 303 0 9804 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 40436 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 3/107 15525 /proc/meminfo: memFree=1578820/2059040 swapFree=4192956/4192956 [pid=15522] ppid=15520 vsize=69908 CPUtime=102.28 /proc/15522/stat : 15522 (wbo1.4b) R 15520 15522 15412 0 -1 4202496 17546 0 0 0 10162 66 0 0 25 0 1 0 10016868 71585792 16926 1992294400 134512640 135751879 4290023808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15522/statm: 17477 16926 148 303 0 17172 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 69908 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15527 /proc/meminfo: memFree=1543728/2059040 swapFree=4192956/4192956 [pid=15522] ppid=15520 vsize=105172 CPUtime=162.25 /proc/15522/stat : 15522 (wbo1.4b) R 15520 15522 15412 0 -1 4202496 26336 0 0 0 16125 100 0 0 25 0 1 0 10016868 107696128 25716 1992294400 134512640 135751879 4290023808 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15522/statm: 26293 25716 148 303 0 25988 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 105172 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 15527 /proc/meminfo: memFree=1541496/2059040 swapFree=4192956/4192956 [pid=15522] ppid=15520 vsize=107096 CPUtime=166.25 /proc/15522/stat : 15522 (wbo1.4b) R 15520 15522 15412 0 -1 4202496 26828 0 0 0 16524 101 0 0 25 0 1 0 10016868 109666304 26208 1992294400 134512640 135751879 4290023808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15522/statm: 26774 26208 148 303 0 26469 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 107096 [startup+172.709 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15527 /proc/meminfo: memFree=1538272/2059040 swapFree=4192956/4192956 [pid=15522] ppid=15520 vsize=110432 CPUtime=172.66 /proc/15522/stat : 15522 (wbo1.4b) R 15520 15522 15412 0 -1 4202496 27638 0 0 0 17162 104 0 0 25 0 1 0 10016868 113082368 27018 1992294400 134512640 135751879 4290023808 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15522/statm: 27608 27018 148 303 0 27303 0 Current children cumulated CPU time (s) 172.66 Current children cumulated vsize (KiB) 110432 [startup+175.9 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15527 /proc/meminfo: memFree=1536164/2059040 swapFree=4192956/4192956 [pid=15522] ppid=15520 vsize=112492 CPUtime=175.86 /proc/15522/stat : 15522 (wbo1.4b) R 15520 15522 15412 0 -1 4202496 28152 0 0 0 17480 106 0 0 25 0 1 0 10016868 115191808 27532 1992294400 134512640 135751879 4290023808 18446744073709551615 134616871 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15522/statm: 28123 27532 148 303 0 27818 0 Current children cumulated CPU time (s) 175.86 Current children cumulated vsize (KiB) 112492 [startup+179.101 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15527 /proc/meminfo: memFree=1534924/2059040 swapFree=4192956/4192956 [pid=15522] ppid=15520 vsize=114180 CPUtime=179.05 /proc/15522/stat : 15522 (wbo1.4b) R 15520 15522 15412 0 -1 4202496 28591 0 0 0 17797 108 0 0 25 0 1 0 10016868 116920320 27971 1992294400 134512640 135751879 4290023808 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15522/statm: 28545 27971 148 303 0 28240 0 Current children cumulated CPU time (s) 179.05 Current children cumulated vsize (KiB) 114180 [startup+180.702 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15527 /proc/meminfo: memFree=1533808/2059040 swapFree=4192956/4192956 [pid=15522] ppid=15520 vsize=114948 CPUtime=180.65 /proc/15522/stat : 15522 (wbo1.4b) R 15520 15522 15412 0 -1 4202496 28781 0 0 0 17956 109 0 0 25 0 1 0 10016868 117706752 28161 1992294400 134512640 135751879 4290023808 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15522/statm: 28737 28161 148 303 0 28432 0 Current children cumulated CPU time (s) 180.65 Current children cumulated vsize (KiB) 114948 [startup+181.102 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15527 /proc/meminfo: memFree=1533808/2059040 swapFree=4192956/4192956 [pid=15522] ppid=15520 vsize=115204 CPUtime=181.05 /proc/15522/stat : 15522 (wbo1.4b) R 15520 15522 15412 0 -1 4202496 28835 0 0 0 17996 109 0 0 25 0 1 0 10016868 117968896 28215 1992294400 134512640 135751879 4290023808 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15522/statm: 28801 28215 148 303 0 28496 0 Current children cumulated CPU time (s) 181.05 Current children cumulated vsize (KiB) 115204 [startup+181.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15527 /proc/meminfo: memFree=1533808/2059040 swapFree=4192956/4192956 [pid=15522] ppid=15520 vsize=118320 CPUtime=181.25 /proc/15522/stat : 15522 (wbo1.4b) R 15520 15522 15412 0 -1 4202496 29601 0 0 0 18016 109 0 0 25 0 1 0 10016868 121159680 28981 1992294400 134512640 135751879 4290023808 18446744073709551615 134521941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15522/statm: 29580 28981 149 303 0 29275 0 Current children cumulated CPU time (s) 181.25 Current children cumulated vsize (KiB) 118320 [startup+181.402 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15527 /proc/meminfo: memFree=1530336/2059040 swapFree=4192956/4192956 [pid=15522] ppid=15520 vsize=118320 CPUtime=181.35 /proc/15522/stat : 15522 (wbo1.4b) R 15520 15522 15412 0 -1 4202496 29601 0 0 0 18026 109 0 0 25 0 1 0 10016868 121159680 28981 1992294400 134512640 135751879 4290023808 18446744073709551615 135200324 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15522/statm: 29580 28981 149 303 0 29275 0 Current children cumulated CPU time (s) 181.35 Current children cumulated vsize (KiB) 118320 Child status: 0 Real time (s): 181.452 CPU time (s): 181.408 CPU user time (s): 180.298 CPU system time (s): 1.11083 CPU usage (%): 99.976 Max. virtual memory (cumulated for all children) (KiB): 118320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.298 system time used= 1.11083 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29602 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= 53 involuntary context switches= 243 runsolver used 0.303953 second user time and 0.886865 second system time The end
Begin job on node057 at 2010-06-16 13:21:01 IDJOB=2655749 IDBENCH=71838 IDSOLVER=1161 FILE ID=node057/2655749-1276687260 PBS_JOBID= 11172595 Free space on /tmp= 62532 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-6000opt.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655749-1276687260/watcher-2655749-1276687260 -o /tmp/evaluation-result-2655749-1276687260/solver-2655749-1276687260 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655749-1276687260.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 41920bbbb40277697ec2dd9f115c2d3f RANDOM SEED=630659361 node057.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.247 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.49 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.247 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1647184 kB Buffers: 114112 kB Cached: 159104 kB SwapCached: 0 kB Active: 130484 kB Inactive: 202080 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1647184 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4636 kB Writeback: 0 kB AnonPages: 59268 kB Mapped: 15436 kB Slab: 57488 kB PageTables: 4000 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182332 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62528 MiB End job on node057 at 2010-06-16 13:24:02