Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.4b | Wrong Opt. | -147 | 181.301 | 181.363 |
| Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-7000opt.opb |
| MD5SUM | 2dd11ebefc05ae8ac770ff3615713305 |
| 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 | -172 |
| Best CPU time to get the best result obtained on this benchmark | 59.472 |
| 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 | 62231 |
| Number of constraints which are clauses | 62231 |
| 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 | 347 |
| 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 | 347 |
| 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-2655741-1276686127.opb. 0.00/0.00 c Instance file HOME/instance-2655741-1276686127.opb 0.00/0.00 c File size is 2075649 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: 62231 | 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 | 2010 62246 185523 | 20743 0 nan | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c New solution: 347 0.29/0.39 o 347 0.29/0.39 c Elapsed CPU time: 0.382941 s Remaining CPU time: 179.617 s 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 2010 62247 185658 | 20749 0 nan | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c New solution: 345 0.39/0.40 o 345 0.39/0.40 c Elapsed CPU time: 0.38894 s Remaining CPU time: 179.611 s 0.39/0.40 c =============================================================================== 0.39/0.40 c | 0 | 2010 62248 185793 | 20749 0 nan | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c New solution: 343 0.39/0.41 o 343 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 | 0 | 2010 62249 185928 | 20749 0 nan | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c New solution: 342 0.39/0.42 o 342 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 | 2010 62250 186063 | 20750 1 133 | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c New solution: 341 0.39/0.43 o 341 0.39/0.43 c Elapsed CPU time: 0.416936 s Remaining CPU time: 179.583 s 0.39/0.43 c =============================================================================== 0.39/0.43 c | 1 | 2010 62251 186198 | 20750 1 133 | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c New solution: 340 0.39/0.45 o 340 0.39/0.45 c Elapsed CPU time: 0.425935 s Remaining CPU time: 179.574 s 0.39/0.45 c =============================================================================== 0.39/0.45 c | 2 | 2010 62252 186333 | 20750 2 132 | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c New solution: 339 0.39/0.46 o 339 0.39/0.46 c Elapsed CPU time: 0.434933 s Remaining CPU time: 179.565 s 0.39/0.46 c =============================================================================== 0.39/0.46 c | 2 | 2010 62253 186468 | 20751 2 132 | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c New solution: 338 0.39/0.47 o 338 0.39/0.47 c Elapsed CPU time: 0.445932 s Remaining CPU time: 179.554 s 0.39/0.47 c =============================================================================== 0.39/0.47 c | 2 | 2010 62254 186603 | 20751 2 132 | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c New solution: 337 0.39/0.48 o 337 0.39/0.48 c Elapsed CPU time: 0.45493 s Remaining CPU time: 179.545 s 0.39/0.48 c =============================================================================== 0.39/0.48 c | 2 | 2010 62255 186738 | 20751 2 132 | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c New solution: 336 0.39/0.49 o 336 0.39/0.49 c Elapsed CPU time: 0.463929 s Remaining CPU time: 179.536 s 0.39/0.49 c =============================================================================== 0.39/0.49 c | 2 | 2010 62256 186873 | 20752 2 132 | 0.000 % | 0.48/0.50 c =============================================================================== 0.48/0.50 c New solution: 335 0.48/0.50 o 335 0.48/0.50 c Elapsed CPU time: 0.473927 s Remaining CPU time: 179.526 s 0.48/0.50 c =============================================================================== 0.48/0.50 c | 2 | 2010 62257 187008 | 20752 2 132 | 0.000 % | 0.48/0.51 c =============================================================================== 0.48/0.51 c New solution: 334 0.48/0.51 o 334 0.48/0.51 c Elapsed CPU time: 0.482926 s Remaining CPU time: 179.517 s 0.48/0.51 c =============================================================================== 0.48/0.51 c | 2 | 2010 62258 187143 | 20752 2 132 | 0.000 % | 0.48/0.52 c =============================================================================== 0.48/0.52 c New solution: 333 0.48/0.52 o 333 0.48/0.52 c Elapsed CPU time: 0.492925 s Remaining CPU time: 179.507 s 0.48/0.52 c =============================================================================== 0.48/0.52 c | 2 | 2010 62259 187278 | 20753 2 132 | 0.000 % | 0.48/0.53 c =============================================================================== 0.48/0.53 c New solution: 332 0.48/0.53 o 332 0.48/0.53 c Elapsed CPU time: 0.502923 s Remaining CPU time: 179.497 s 0.48/0.53 c =============================================================================== 0.48/0.53 c | 3 | 2010 62260 187413 | 20753 3 130 | 0.000 % | 0.48/0.54 c =============================================================================== 0.48/0.54 c New solution: 331 0.48/0.54 o 331 0.48/0.54 c Elapsed CPU time: 0.512922 s Remaining CPU time: 179.487 s 0.48/0.54 c =============================================================================== 0.48/0.54 c | 3 | 2010 62261 187548 | 20753 3 130 | 0.000 % | 0.48/0.56 c =============================================================================== 0.48/0.56 c New solution: 330 0.48/0.56 o 330 0.48/0.56 c Elapsed CPU time: 0.52092 s Remaining CPU time: 179.479 s 0.48/0.56 c =============================================================================== 0.48/0.56 c | 3 | 2010 62262 187683 | 20754 3 130 | 0.000 % | 0.48/0.57 c =============================================================================== 0.48/0.57 c New solution: 329 0.48/0.57 o 329 0.48/0.57 c Elapsed CPU time: 0.530919 s Remaining CPU time: 179.469 s 0.48/0.57 c =============================================================================== 0.48/0.57 c | 3 | 2010 62263 187818 | 20754 3 130 | 0.000 % | 0.48/0.58 c =============================================================================== 0.48/0.58 c New solution: 328 0.48/0.58 o 328 0.48/0.58 c Elapsed CPU time: 0.540917 s Remaining CPU time: 179.459 s 0.48/0.58 c =============================================================================== 0.48/0.58 c | 3 | 2010 62264 187953 | 20754 3 130 | 0.000 % | 0.48/0.59 c =============================================================================== 0.48/0.59 c New solution: 327 0.48/0.59 o 327 0.48/0.59 c Elapsed CPU time: 0.548916 s Remaining CPU time: 179.451 s 0.48/0.59 c =============================================================================== 0.48/0.59 c | 3 | 2010 62265 188088 | 20755 3 130 | 0.000 % | 0.59/0.60 c =============================================================================== 0.59/0.60 c New solution: 326 0.59/0.60 o 326 0.59/0.60 c Elapsed CPU time: 0.559914 s Remaining CPU time: 179.44 s 0.59/0.60 c =============================================================================== 0.59/0.60 c | 3 | 2010 62266 188223 | 20755 3 130 | 0.000 % | 0.59/0.61 c =============================================================================== 0.59/0.61 c New solution: 325 0.59/0.61 o 325 0.59/0.61 c Elapsed CPU time: 0.569913 s Remaining CPU time: 179.43 s 0.59/0.61 c =============================================================================== 0.59/0.61 c | 3 | 2010 62267 188358 | 20755 3 130 | 0.000 % | 0.59/0.62 c =============================================================================== 0.59/0.62 c New solution: 324 0.59/0.62 o 324 0.59/0.62 c Elapsed CPU time: 0.580911 s Remaining CPU time: 179.419 s 0.59/0.62 c =============================================================================== 0.59/0.62 c | 3 | 2010 62268 188493 | 20756 3 130 | 0.000 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c New solution: 323 0.59/0.63 o 323 0.59/0.63 c Elapsed CPU time: 0.58991 s Remaining CPU time: 179.41 s 0.59/0.63 c =============================================================================== 0.59/0.63 c | 4 | 2010 62269 188628 | 20756 4 128 | 0.000 % | 0.59/0.64 c =============================================================================== 0.59/0.64 c New solution: 322 0.59/0.64 o 322 0.59/0.64 c Elapsed CPU time: 0.599908 s Remaining CPU time: 179.4 s 0.59/0.64 c =============================================================================== 0.59/0.64 c | 5 | 2010 62270 188763 | 20756 5 127 | 0.000 % | 0.59/0.65 c =============================================================================== 0.59/0.65 c New solution: 321 0.59/0.65 o 321 0.59/0.65 c Elapsed CPU time: 0.609907 s Remaining CPU time: 179.39 s 0.59/0.65 c =============================================================================== 0.59/0.65 c | 5 | 2010 62271 188898 | 20757 5 127 | 0.000 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c New solution: 320 0.59/0.66 o 320 0.59/0.66 c Elapsed CPU time: 0.617906 s Remaining CPU time: 179.382 s 0.59/0.66 c =============================================================================== 0.59/0.66 c | 5 | 2010 62272 189033 | 20757 5 127 | 0.000 % | 0.59/0.67 c =============================================================================== 0.59/0.67 c New solution: 319 0.59/0.67 o 319 0.59/0.67 c Elapsed CPU time: 0.626904 s Remaining CPU time: 179.373 s 0.59/0.67 c =============================================================================== 0.59/0.67 c | 7 | 2010 62273 189168 | 20757 7 126 | 0.000 % | 0.59/0.69 c =============================================================================== 0.59/0.69 c New solution: 318 0.59/0.69 o 318 0.59/0.69 c Elapsed CPU time: 0.635903 s Remaining CPU time: 179.364 s 0.59/0.69 c =============================================================================== 0.59/0.69 c | 11 | 2010 62274 189303 | 20758 11 114 | 0.000 % | 0.69/0.70 c =============================================================================== 0.69/0.70 c New solution: 317 0.69/0.70 o 317 0.69/0.70 c Elapsed CPU time: 0.645901 s Remaining CPU time: 179.354 s 0.69/0.70 c =============================================================================== 0.69/0.70 c | 12 | 2010 62275 189438 | 20758 12 114 | 0.000 % | 0.69/0.71 c =============================================================================== 0.69/0.71 c New solution: 316 0.69/0.71 o 316 0.69/0.71 c Elapsed CPU time: 0.6559 s Remaining CPU time: 179.344 s 0.69/0.71 c =============================================================================== 0.69/0.71 c | 12 | 2010 62276 189573 | 20758 12 114 | 0.000 % | 0.69/0.72 c =============================================================================== 0.69/0.72 c New solution: 315 0.69/0.72 o 315 0.69/0.72 c Elapsed CPU time: 0.665898 s Remaining CPU time: 179.334 s 0.69/0.72 c =============================================================================== 0.69/0.72 c | 13 | 2010 62277 189708 | 20759 13 115 | 0.000 % | 0.69/0.73 c =============================================================================== 0.69/0.73 c New solution: 314 0.69/0.73 o 314 0.69/0.73 c Elapsed CPU time: 0.672897 s Remaining CPU time: 179.327 s 0.69/0.73 c =============================================================================== 0.69/0.73 c | 13 | 2010 62278 189843 | 20759 13 115 | 0.000 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c New solution: 313 0.69/0.74 o 313 0.69/0.74 c Elapsed CPU time: 0.679896 s Remaining CPU time: 179.32 s 0.69/0.74 c =============================================================================== 0.69/0.74 c | 29 | 2010 62279 189978 | 20759 29 110 | 0.000 % | 0.69/0.75 c =============================================================================== 0.69/0.75 c New solution: 312 0.69/0.75 o 312 0.69/0.75 c Elapsed CPU time: 0.689895 s Remaining CPU time: 179.31 s 0.69/0.75 c =============================================================================== 0.69/0.75 c | 29 | 2010 62280 190113 | 20760 29 110 | 0.000 % | 0.69/0.76 c =============================================================================== 0.69/0.76 c New solution: 311 0.69/0.76 o 311 0.69/0.76 c Elapsed CPU time: 0.699893 s Remaining CPU time: 179.3 s 0.69/0.76 c =============================================================================== 0.69/0.76 c | 33 | 2010 62281 190248 | 20760 33 107 | 0.000 % | 0.69/0.77 c =============================================================================== 0.69/0.77 c New solution: 310 0.69/0.77 o 310 0.69/0.77 c Elapsed CPU time: 0.710891 s Remaining CPU time: 179.289 s 0.69/0.77 c =============================================================================== 0.69/0.77 c | 76 | 2010 62282 190383 | 20760 76 108 | 0.000 % | 0.69/0.78 c =============================================================================== 0.69/0.78 c New solution: 309 0.69/0.78 o 309 0.69/0.78 c Elapsed CPU time: 0.723889 s Remaining CPU time: 179.276 s 0.69/0.78 c =============================================================================== 0.69/0.78 c | 91 | 2010 62283 190518 | 20761 91 109 | 0.000 % | 0.79/0.80 c =============================================================================== 0.79/0.80 c New solution: 308 0.79/0.80 o 308 0.79/0.80 c Elapsed CPU time: 0.736887 s Remaining CPU time: 179.263 s 0.79/0.80 c =============================================================================== 0.79/0.80 c | 114 | 2010 62284 190653 | 20761 114 111 | 0.000 % | 0.79/0.81 c =============================================================================== 0.79/0.81 c New solution: 307 0.79/0.81 o 307 0.79/0.81 c Elapsed CPU time: 0.747886 s Remaining CPU time: 179.252 s 0.79/0.81 c =============================================================================== 0.79/0.81 c | 115 | 2010 62285 190788 | 20761 115 111 | 0.000 % | 0.79/0.82 c =============================================================================== 0.79/0.82 c New solution: 306 0.79/0.82 o 306 0.79/0.82 c Elapsed CPU time: 0.756884 s Remaining CPU time: 179.243 s 0.79/0.82 c =============================================================================== 0.79/0.82 c | 115 | 2010 62286 190923 | 20762 115 111 | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.83 c New solution: 305 0.79/0.83 o 305 0.79/0.83 c Elapsed CPU time: 0.770882 s Remaining CPU time: 179.229 s 0.79/0.83 c =============================================================================== 0.79/0.83 c | 170 | 2010 62287 191058 | 20762 170 112 | 0.000 % | 0.79/0.84 c =============================================================================== 0.79/0.84 c New solution: 304 0.79/0.84 o 304 0.79/0.84 c Elapsed CPU time: 0.781881 s Remaining CPU time: 179.218 s 0.79/0.84 c =============================================================================== 0.79/0.84 c | 170 | 2010 62288 191193 | 20762 170 112 | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.85 c New solution: 303 0.79/0.85 o 303 0.79/0.85 c Elapsed CPU time: 0.789879 s Remaining CPU time: 179.21 s 0.79/0.85 c =============================================================================== 0.79/0.85 c | 187 | 2010 62289 191328 | 20763 187 112 | 0.000 % | 0.79/0.87 c =============================================================================== 0.79/0.87 c New solution: 302 0.79/0.87 o 302 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 | 236 | 2010 62290 191463 | 20763 236 112 | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c New solution: 301 0.79/0.88 o 301 0.79/0.88 c Elapsed CPU time: 0.816875 s Remaining CPU time: 179.183 s 0.79/0.88 c =============================================================================== 0.79/0.88 c | 237 | 2010 62291 191598 | 20763 237 112 | 0.000 % | 0.88/0.90 c =============================================================================== 0.88/0.90 c New solution: 300 0.88/0.90 o 300 0.88/0.90 c Elapsed CPU time: 0.833873 s Remaining CPU time: 179.166 s 0.88/0.90 c =============================================================================== 0.88/0.90 c | 306 | 2010 62292 191733 | 20764 306 112 | 0.000 % | 0.88/0.91 c =============================================================================== 0.88/0.91 c New solution: 299 0.88/0.91 o 299 0.88/0.91 c Elapsed CPU time: 0.846871 s Remaining CPU time: 179.153 s 0.88/0.91 c =============================================================================== 0.88/0.91 c | 321 | 2010 62293 191868 | 20764 321 111 | 0.000 % | 0.88/0.93 c =============================================================================== 0.88/0.93 c New solution: 298 0.88/0.93 o 298 0.88/0.93 c Elapsed CPU time: 0.863868 s Remaining CPU time: 179.136 s 0.88/0.93 c =============================================================================== 0.88/0.93 c | 367 | 2010 62294 192003 | 20764 367 111 | 0.000 % | 0.88/0.94 c =============================================================================== 0.88/0.94 c New solution: 297 0.88/0.94 o 297 0.88/0.94 c Elapsed CPU time: 0.874867 s Remaining CPU time: 179.125 s 0.88/0.94 c =============================================================================== 0.88/0.94 c | 368 | 2010 62295 192138 | 20765 368 111 | 0.000 % | 0.88/0.96 c | 468 | 2010 62295 192138 | 22841 468 111 | 0.741 % | 0.88/0.98 c =============================================================================== 0.88/0.98 c New solution: 296 0.88/0.98 o 296 0.88/0.98 c Elapsed CPU time: 0.904862 s Remaining CPU time: 179.095 s 0.88/0.98 c =============================================================================== 0.88/0.98 c | 493 | 2010 62296 192273 | 20765 493 111 | 0.741 % | 0.88/0.99 c =============================================================================== 0.88/0.99 c New solution: 295 0.88/0.99 o 295 0.88/0.99 c Elapsed CPU time: 0.91686 s Remaining CPU time: 179.083 s 0.88/0.99 c =============================================================================== 0.88/0.99 c | 495 | 2010 62297 192408 | 20765 495 111 | 0.741 % | 0.88/1.00 c =============================================================================== 0.88/1.00 c New solution: 294 0.88/1.00 o 294 0.88/1.00 c Elapsed CPU time: 0.926859 s Remaining CPU time: 179.073 s 0.88/1.00 c =============================================================================== 0.88/1.00 c | 495 | 2010 62298 192543 | 20766 495 111 | 0.741 % | 0.99/1.02 c | 595 | 2010 62298 192543 | 22842 595 111 | 0.741 % | 0.99/1.03 c =============================================================================== 0.99/1.03 c New solution: 293 0.99/1.03 o 293 0.99/1.03 c Elapsed CPU time: 0.953854 s Remaining CPU time: 179.046 s 0.99/1.03 c =============================================================================== 0.99/1.03 c | 623 | 2010 62299 192678 | 20766 623 111 | 0.741 % | 0.99/1.04 c =============================================================================== 0.99/1.04 c New solution: 292 0.99/1.04 o 292 0.99/1.04 c Elapsed CPU time: 0.964853 s Remaining CPU time: 179.035 s 0.99/1.04 c =============================================================================== 0.99/1.04 c | 623 | 2010 62300 192813 | 20766 623 111 | 0.741 % | 0.99/1.06 c | 724 | 2010 62300 192813 | 22843 724 111 | 0.741 % | 0.99/1.07 c =============================================================================== 0.99/1.07 c New solution: 291 0.99/1.07 o 291 0.99/1.07 c Elapsed CPU time: 0.995848 s Remaining CPU time: 179.004 s 0.99/1.07 c =============================================================================== 0.99/1.07 c | 741 | 2010 62301 192948 | 20767 741 110 | 0.741 % | 0.99/1.09 c | 842 | 2010 62301 192948 | 22843 842 110 | 0.741 % | 0.99/1.10 c =============================================================================== 0.99/1.10 c New solution: 290 0.99/1.10 o 290 0.99/1.10 c Elapsed CPU time: 1.02684 s Remaining CPU time: 178.973 s 0.99/1.10 c =============================================================================== 0.99/1.10 c | 877 | 2010 62302 193083 | 20767 877 110 | 0.741 % | 1.09/1.12 c =============================================================================== 1.09/1.12 c New solution: 289 1.09/1.12 o 289 1.09/1.12 c Elapsed CPU time: 1.04084 s Remaining CPU time: 178.959 s 1.09/1.12 c =============================================================================== 1.09/1.12 c | 887 | 2010 62303 193218 | 20767 887 110 | 0.741 % | 1.09/1.13 c =============================================================================== 1.09/1.13 c New solution: 288 1.09/1.13 o 288 1.09/1.13 c Elapsed CPU time: 1.05584 s Remaining CPU time: 178.944 s 1.09/1.13 c =============================================================================== 1.09/1.13 c | 911 | 2010 62304 193353 | 20768 911 110 | 0.741 % | 1.09/1.15 c =============================================================================== 1.09/1.15 c New solution: 287 1.09/1.15 o 287 1.09/1.15 c Elapsed CPU time: 1.06784 s Remaining CPU time: 178.932 s 1.09/1.15 c =============================================================================== 1.09/1.15 c | 911 | 2010 62305 193488 | 20768 911 110 | 0.741 % | 1.09/1.16 c =============================================================================== 1.09/1.16 c New solution: 286 1.09/1.16 o 286 1.09/1.16 c Elapsed CPU time: 1.07784 s Remaining CPU time: 178.922 s 1.09/1.16 c =============================================================================== 1.09/1.16 c | 935 | 2010 62306 193623 | 20768 935 110 | 0.741 % | 1.09/1.18 c | 1035 | 2010 62306 193623 | 22845 1035 110 | 0.741 % | 1.19/1.20 c =============================================================================== 1.19/1.20 c New solution: 285 1.19/1.20 o 285 1.19/1.20 c Elapsed CPU time: 1.11483 s Remaining CPU time: 178.885 s 1.19/1.20 c =============================================================================== 1.19/1.20 c | 1085 | 2010 62307 193758 | 20769 1085 110 | 0.741 % | 1.19/1.21 c =============================================================================== 1.19/1.21 c New solution: 284 1.19/1.21 o 284 1.19/1.21 c Elapsed CPU time: 1.12683 s Remaining CPU time: 178.873 s 1.19/1.21 c =============================================================================== 1.19/1.21 c | 1086 | 2010 62308 193893 | 20769 1086 110 | 0.741 % | 1.19/1.24 c | 1188 | 2010 62308 193893 | 22846 1188 109 | 0.741 % | 1.19/1.27 c | 1338 | 2010 62308 193893 | 25130 1338 109 | 0.741 % | 1.29/1.30 c =============================================================================== 1.29/1.30 c New solution: 283 1.29/1.30 o 283 1.29/1.30 c Elapsed CPU time: 1.21781 s Remaining CPU time: 178.782 s 1.29/1.30 c =============================================================================== 1.29/1.30 c | 1467 | 2010 62309 194028 | 20769 1467 109 | 0.741 % | 1.29/1.33 c =============================================================================== 1.29/1.33 c New solution: 282 1.29/1.33 o 282 1.29/1.33 c Elapsed CPU time: 1.24581 s Remaining CPU time: 178.754 s 1.29/1.33 c =============================================================================== 1.29/1.33 c | 1551 | 2010 62310 194163 | 20770 1551 108 | 0.741 % | 1.29/1.34 c =============================================================================== 1.29/1.34 c New solution: 281 1.29/1.34 o 281 1.29/1.34 c Elapsed CPU time: 1.25681 s Remaining CPU time: 178.743 s 1.29/1.34 c =============================================================================== 1.29/1.34 c | 1551 | 2010 62311 194298 | 20770 1551 108 | 0.741 % | 1.29/1.36 c =============================================================================== 1.29/1.36 c New solution: 280 1.29/1.36 o 280 1.29/1.36 c Elapsed CPU time: 1.27581 s Remaining CPU time: 178.724 s 1.29/1.36 c =============================================================================== 1.29/1.36 c | 1609 | 2010 62312 194433 | 20770 1609 108 | 0.741 % | 1.29/1.38 c =============================================================================== 1.29/1.38 c New solution: 279 1.29/1.38 o 279 1.29/1.38 c Elapsed CPU time: 1.2888 s Remaining CPU time: 178.711 s 1.29/1.38 c =============================================================================== 1.29/1.38 c | 1613 | 2010 62313 194568 | 20771 1613 108 | 0.741 % | 1.38/1.40 c | 1713 | 2010 62313 194568 | 22848 1713 108 | 0.741 % | 1.38/1.41 c =============================================================================== 1.38/1.41 c New solution: 278 1.38/1.41 o 278 1.38/1.41 c Elapsed CPU time: 1.3258 s Remaining CPU time: 178.674 s 1.38/1.41 c =============================================================================== 1.38/1.41 c | 1717 | 2010 62314 194703 | 20771 1717 108 | 0.741 % | 1.38/1.44 c | 1818 | 2010 62314 194703 | 22848 1818 108 | 0.741 % | 1.38/1.47 c =============================================================================== 1.38/1.47 c New solution: 277 1.38/1.47 o 277 1.38/1.47 c Elapsed CPU time: 1.38279 s Remaining CPU time: 178.617 s 1.38/1.47 c =============================================================================== 1.38/1.47 c | 1941 | 2010 62315 194838 | 20771 1941 107 | 0.741 % | 1.38/1.49 c =============================================================================== 1.38/1.49 c New solution: 276 1.38/1.49 o 276 1.38/1.49 c Elapsed CPU time: 1.39479 s Remaining CPU time: 178.605 s 1.38/1.49 c =============================================================================== 1.38/1.49 c | 1944 | 2010 62316 194973 | 20772 1944 107 | 0.741 % | 1.49/1.50 c =============================================================================== 1.49/1.50 c New solution: 275 1.49/1.50 o 275 1.49/1.50 c Elapsed CPU time: 1.40579 s Remaining CPU time: 178.594 s 1.49/1.50 c =============================================================================== 1.49/1.50 c | 1944 | 2010 62317 195108 | 20772 1944 107 | 0.741 % | 1.49/1.51 c =============================================================================== 1.49/1.51 c New solution: 274 1.49/1.51 o 274 1.49/1.51 c Elapsed CPU time: 1.41878 s Remaining CPU time: 178.581 s 1.49/1.51 c =============================================================================== 1.49/1.51 c | 1964 | 2010 62318 195243 | 20772 1964 107 | 0.741 % | 1.49/1.54 c =============================================================================== 1.49/1.54 c New solution: 273 1.49/1.54 o 273 1.49/1.54 c Elapsed CPU time: 1.44778 s Remaining CPU time: 178.552 s 1.49/1.54 c =============================================================================== 1.49/1.54 c | 2035 | 2010 62319 195378 | 20773 2035 107 | 0.741 % | 1.49/1.55 c =============================================================================== 1.49/1.55 c New solution: 272 1.49/1.55 o 272 1.49/1.55 c Elapsed CPU time: 1.45978 s Remaining CPU time: 178.54 s 1.49/1.55 c =============================================================================== 1.49/1.55 c | 2043 | 2010 62320 195513 | 20773 2043 107 | 0.741 % | 1.49/1.57 c =============================================================================== 1.49/1.57 c New solution: 271 1.49/1.57 o 271 1.49/1.57 c Elapsed CPU time: 1.46978 s Remaining CPU time: 178.53 s 1.49/1.57 c =============================================================================== 1.49/1.57 c | 2045 | 2010 62321 195648 | 20773 2045 107 | 0.741 % | 1.58/1.60 c | 2145 | 2010 62321 195648 | 22851 2145 107 | 0.741 % | 1.58/1.62 c =============================================================================== 1.58/1.62 c New solution: 270 1.58/1.62 o 270 1.58/1.62 c Elapsed CPU time: 1.51877 s Remaining CPU time: 178.481 s 1.58/1.62 c =============================================================================== 1.58/1.62 c | 2199 | 2010 62322 195783 | 20774 2199 107 | 0.741 % | 1.58/1.63 c =============================================================================== 1.58/1.63 c New solution: 269 1.58/1.63 o 269 1.58/1.63 c Elapsed CPU time: 1.53077 s Remaining CPU time: 178.469 s 1.58/1.63 c =============================================================================== 1.58/1.63 c | 2199 | 2010 62323 195918 | 20774 2199 107 | 0.741 % | 1.58/1.65 c =============================================================================== 1.58/1.65 c New solution: 268 1.58/1.65 o 268 1.58/1.65 c Elapsed CPU time: 1.54076 s Remaining CPU time: 178.459 s 1.58/1.65 c =============================================================================== 1.58/1.65 c | 2199 | 2010 62324 196053 | 20774 2199 107 | 0.741 % | 1.58/1.67 c | 2299 | 2010 62324 196053 | 22852 2299 106 | 0.741 % | 1.58/1.69 c =============================================================================== 1.58/1.69 c New solution: 267 1.58/1.69 o 267 1.58/1.69 c Elapsed CPU time: 1.58576 s Remaining CPU time: 178.414 s 1.58/1.69 c =============================================================================== 1.58/1.69 c | 2325 | 2010 62325 196188 | 20775 2325 106 | 0.741 % | 1.69/1.70 c =============================================================================== 1.69/1.70 c New solution: 266 1.69/1.70 o 266 1.69/1.70 c Elapsed CPU time: 1.59776 s Remaining CPU time: 178.402 s 1.69/1.70 c =============================================================================== 1.69/1.70 c | 2325 | 2010 62326 196323 | 20775 2325 106 | 0.741 % | 1.69/1.72 c =============================================================================== 1.69/1.72 c New solution: 265 1.69/1.72 o 265 1.69/1.72 c Elapsed CPU time: 1.61076 s Remaining CPU time: 178.389 s 1.69/1.72 c =============================================================================== 1.69/1.72 c | 2326 | 2010 62327 196458 | 20775 2326 106 | 0.741 % | 1.69/1.74 c =============================================================================== 1.69/1.74 c New solution: 264 1.69/1.74 o 264 1.69/1.74 c Elapsed CPU time: 1.63075 s Remaining CPU time: 178.369 s 1.69/1.74 c =============================================================================== 1.69/1.74 c | 2358 | 2010 62328 196593 | 20776 2358 106 | 0.741 % | 1.69/1.75 c =============================================================================== 1.69/1.75 c New solution: 263 1.69/1.75 o 263 1.69/1.75 c Elapsed CPU time: 1.64275 s Remaining CPU time: 178.357 s 1.69/1.75 c =============================================================================== 1.69/1.75 c | 2359 | 2010 62329 196728 | 20776 2359 106 | 0.741 % | 1.69/1.77 c | 2460 | 2010 62329 196728 | 22853 2460 106 | 0.741 % | 1.69/1.80 c =============================================================================== 1.69/1.80 c New solution: 262 1.69/1.80 o 262 1.69/1.80 c Elapsed CPU time: 1.68774 s Remaining CPU time: 178.312 s 1.69/1.80 c =============================================================================== 1.69/1.80 c | 2501 | 2010 62330 196863 | 20776 2501 106 | 0.741 % | 1.78/1.81 c =============================================================================== 1.78/1.81 c New solution: 261 1.78/1.81 o 261 1.78/1.81 c Elapsed CPU time: 1.70074 s Remaining CPU time: 178.299 s 1.78/1.81 c =============================================================================== 1.78/1.81 c | 2505 | 2010 62331 196998 | 20777 2505 106 | 0.741 % | 1.78/1.82 c =============================================================================== 1.78/1.82 c New solution: 260 1.78/1.82 o 260 1.78/1.82 c Elapsed CPU time: 1.71374 s Remaining CPU time: 178.286 s 1.78/1.82 c =============================================================================== 1.78/1.82 c | 2506 | 2010 62332 197133 | 20777 2506 106 | 0.741 % | 1.78/1.85 c | 2606 | 2010 62332 197133 | 22855 2606 105 | 0.741 % | 1.78/1.89 c | 2758 | 2010 62332 197133 | 25140 2758 105 | 0.741 % | 1.88/1.95 c | 2983 | 2010 62332 197133 | 27654 2983 104 | 0.741 % | 1.99/2.01 c =============================================================================== 1.99/2.01 c New solution: 259 1.99/2.01 o 259 1.99/2.01 c Elapsed CPU time: 1.89471 s Remaining CPU time: 178.105 s 1.99/2.01 c =============================================================================== 1.99/2.01 c | 3186 | 2010 62333 197268 | 20777 3186 104 | 0.741 % | 1.99/2.03 c | 3287 | 2010 62333 197268 | 22855 3287 104 | 0.741 % | 1.99/2.08 c | 3437 | 2010 62333 197268 | 25140 3437 103 | 0.741 % | 2.09/2.14 c | 3664 | 2010 62333 197268 | 27655 3664 103 | 0.741 % | 2.19/2.21 c =============================================================================== 2.19/2.21 c New solution: 258 2.19/2.21 o 258 2.19/2.21 c Elapsed CPU time: 2.09068 s Remaining CPU time: 177.909 s 2.19/2.21 c =============================================================================== 2.19/2.21 c | 3877 | 2010 62334 197403 | 20778 3877 103 | 0.741 % | 2.19/2.22 c =============================================================================== 2.19/2.22 c New solution: 257 2.19/2.22 o 257 2.19/2.22 c Elapsed CPU time: 2.10468 s Remaining CPU time: 177.895 s 2.19/2.22 c =============================================================================== 2.19/2.22 c | 3880 | 2010 62335 197538 | 20778 3880 103 | 0.741 % | 2.19/2.23 c =============================================================================== 2.19/2.23 c New solution: 256 2.19/2.23 o 256 2.19/2.23 c Elapsed CPU time: 2.11768 s Remaining CPU time: 177.882 s 2.19/2.23 c =============================================================================== 2.19/2.23 c | 3881 | 2010 62336 197673 | 20778 3881 103 | 0.741 % | 2.19/2.26 c | 3981 | 2010 62336 197673 | 22856 3981 102 | 0.741 % | 2.29/2.30 c | 4132 | 2010 62336 197673 | 25142 4132 102 | 0.741 % | 2.29/2.37 c | 4357 | 2010 62336 197673 | 27656 4357 102 | 0.741 % | 2.38/2.45 c | 4695 | 2010 62336 197673 | 30422 4695 101 | 0.741 % | 2.48/2.50 c =============================================================================== 2.48/2.50 c New solution: 255 2.48/2.50 o 255 2.48/2.50 c Elapsed CPU time: 2.37764 s Remaining CPU time: 177.622 s 2.48/2.50 c =============================================================================== 2.48/2.50 c | 4836 | 2010 62337 197808 | 20779 4836 101 | 0.741 % | 2.48/2.53 c | 4937 | 2010 62337 197808 | 22856 4937 101 | 0.741 % | 2.48/2.57 c | 5088 | 2010 62337 197808 | 25142 5088 101 | 0.741 % | 2.58/2.65 c | 5313 | 2010 62337 197808 | 27656 5313 101 | 0.741 % | 2.68/2.75 c | 5650 | 2010 62337 197808 | 30422 5650 101 | 0.741 % | 2.68/2.80 c =============================================================================== 2.68/2.80 c New solution: 254 2.68/2.80 o 254 2.68/2.80 c Elapsed CPU time: 2.67459 s Remaining CPU time: 177.325 s 2.68/2.80 c =============================================================================== 2.68/2.80 c | 5766 | 2010 62338 197943 | 20779 5766 101 | 0.741 % | 2.79/2.83 c | 5867 | 2010 62338 197943 | 22857 5867 100 | 0.741 % | 2.79/2.87 c =============================================================================== 2.79/2.87 c New solution: 253 2.79/2.87 o 253 2.79/2.87 c Elapsed CPU time: 2.74358 s Remaining CPU time: 177.256 s 2.79/2.87 c =============================================================================== 2.79/2.87 c | 5966 | 2010 62339 198078 | 20779 5966 100 | 0.741 % | 2.89/2.90 c | 6066 | 2010 62339 198078 | 22857 6066 100 | 0.741 % | 2.89/2.94 c | 6216 | 2010 62339 198078 | 25143 6216 100 | 0.741 % | 2.89/2.99 c =============================================================================== 2.89/2.99 c New solution: 252 2.89/2.99 o 252 2.89/2.99 c Elapsed CPU time: 2.86456 s Remaining CPU time: 177.135 s 2.89/2.99 c =============================================================================== 2.89/2.99 c | 6331 | 2010 62340 198213 | 20780 6331 100 | 0.741 % | 2.98/3.01 c =============================================================================== 2.98/3.01 c New solution: 251 2.98/3.01 o 251 2.98/3.01 c Elapsed CPU time: 2.87956 s Remaining CPU time: 177.12 s 2.98/3.01 c =============================================================================== 2.98/3.01 c | 6344 | 2010 62341 198348 | 20780 6344 100 | 0.741 % | 2.98/3.02 c =============================================================================== 2.98/3.02 c New solution: 250 2.98/3.02 o 250 2.98/3.02 c Elapsed CPU time: 2.89256 s Remaining CPU time: 177.107 s 2.98/3.02 c =============================================================================== 2.98/3.02 c | 6344 | 2010 62342 198483 | 20780 6344 100 | 0.741 % | 2.98/3.06 c | 6445 | 2010 62342 198483 | 22858 6445 100 | 0.741 % | 3.08/3.12 c | 6595 | 2010 62342 198483 | 25144 6595 100 | 0.741 % | 3.08/3.17 c =============================================================================== 3.08/3.17 c New solution: 249 3.08/3.17 o 249 3.08/3.17 c Elapsed CPU time: 3.04454 s Remaining CPU time: 176.955 s 3.08/3.17 c =============================================================================== 3.08/3.17 c | 6705 | 2010 62343 198618 | 20781 6705 100 | 0.741 % | 3.19/3.21 c | 6805 | 2010 62343 198618 | 22859 6805 100 | 0.741 % | 3.19/3.27 c | 6956 | 2010 62343 198618 | 25145 6956 99 | 0.741 % | 3.29/3.37 c | 7181 | 2010 62343 198618 | 27659 7181 99 | 0.741 % | 3.38/3.50 c | 7518 | 2010 62343 198618 | 30425 7518 99 | 0.741 % | 3.68/3.70 c | 8024 | 2010 62343 198618 | 33468 8024 98 | 0.741 % | 3.68/3.78 c =============================================================================== 3.68/3.78 c New solution: 248 3.68/3.78 o 248 3.68/3.78 c Elapsed CPU time: 3.64745 s Remaining CPU time: 176.353 s 3.68/3.78 c =============================================================================== 3.68/3.78 c | 8232 | 2010 62344 198753 | 20781 8232 98 | 0.741 % | 3.79/3.82 c | 8332 | 2010 62344 198753 | 22859 8332 98 | 0.741 % | 3.79/3.87 c | 8484 | 2010 62344 198753 | 25145 8484 98 | 0.741 % | 3.89/3.96 c =============================================================================== 3.89/3.96 c New solution: 247 3.89/3.96 o 247 3.89/3.96 c Elapsed CPU time: 3.82642 s Remaining CPU time: 176.174 s 3.89/3.96 c =============================================================================== 3.89/3.96 c | 8698 | 2010 62345 198888 | 20781 8698 98 | 0.741 % | 3.89/3.97 c =============================================================================== 3.89/3.97 c New solution: 246 3.89/3.97 o 246 3.89/3.97 c Elapsed CPU time: 3.83942 s Remaining CPU time: 176.161 s 3.89/3.97 c =============================================================================== 3.89/3.97 c | 8699 | 2010 62346 199023 | 20782 8699 98 | 0.741 % | 3.99/4.01 c | 8799 | 2010 62346 199023 | 22860 8799 98 | 0.741 % | 3.99/4.05 c | 8950 | 2010 62346 199023 | 25146 8950 98 | 0.741 % | 4.09/4.14 c | 9175 | 2010 62346 199023 | 27660 9175 98 | 0.741 % | 4.18/4.28 c | 9515 | 2010 62346 199023 | 30426 9515 97 | 0.741 % | 4.39/4.47 c | 10025 | 2010 62346 199023 | 33469 10025 97 | 0.741 % | 4.79/4.82 c | 10785 | 2010 62346 199023 | 36816 10785 97 | 0.741 % | 5.29/5.34 c | 11924 | 2010 62346 199023 | 40498 11924 96 | 0.741 % | 5.89/5.97 c | 13632 | 2010 62346 199023 | 44548 13632 96 | 0.741 % | 7.08/7.14 c | 16194 | 2010 62346 199023 | 49002 16194 95 | 0.741 % | 8.59/8.65 c =============================================================================== 8.59/8.65 c New solution: 245 8.59/8.66 o 245 8.59/8.66 c Elapsed CPU time: 8.48871 s Remaining CPU time: 171.511 s 8.59/8.66 c =============================================================================== 8.59/8.66 c | 18926 | 2010 62347 199158 | 20782 18926 94 | 0.741 % | 8.59/8.67 c =============================================================================== 8.59/8.67 c New solution: 244 8.59/8.67 o 244 8.59/8.67 c Elapsed CPU time: 8.50571 s Remaining CPU time: 171.494 s 8.59/8.67 c =============================================================================== 8.59/8.67 c | 18929 | 2010 62348 199293 | 20782 18929 94 | 0.741 % | 8.69/8.73 c | 19029 | 2010 62348 199293 | 22860 19029 94 | 0.741 % | 8.79/8.81 c | 19179 | 2010 62348 199293 | 25147 19179 94 | 0.741 % | 8.88/8.95 c | 19404 | 2010 62348 199293 | 27661 19404 94 | 0.741 % | 9.08/9.15 c | 19742 | 2010 62348 199293 | 30427 19742 94 | 0.741 % | 9.08/9.19 c =============================================================================== 9.08/9.19 c New solution: 243 9.08/9.19 o 243 9.08/9.19 c Elapsed CPU time: 9.02763 s Remaining CPU time: 170.972 s 9.08/9.19 c =============================================================================== 9.08/9.19 c | 19778 | 2010 62349 199428 | 20783 19778 94 | 0.741 % | 9.18/9.25 c =============================================================================== 9.18/9.25 c New solution: 242 9.18/9.25 o 242 9.18/9.25 c Elapsed CPU time: 9.08462 s Remaining CPU time: 170.915 s 9.18/9.25 c =============================================================================== 9.18/9.25 c | 19836 | 2010 62350 199563 | 20783 19836 94 | 0.741 % | 9.28/9.33 c | 19937 | 2010 62350 199563 | 22861 19937 94 | 0.741 % | 9.38/9.43 c | 20088 | 2010 62350 199563 | 25147 20088 94 | 0.741 % | 9.49/9.59 c | 20313 | 2010 62350 199563 | 27662 20313 94 | 0.741 % | 9.79/9.82 c | 20651 | 2010 62350 199563 | 30428 20651 94 | 0.741 % | 9.89/9.99 c =============================================================================== 9.89/9.99 c New solution: 241 9.89/9.99 o 241 9.89/9.99 c Elapsed CPU time: 9.81451 s Remaining CPU time: 170.185 s 9.89/9.99 c =============================================================================== 9.89/9.99 c | 20870 | 2010 62351 199698 | 20783 20870 94 | 0.741 % | 10.08/10.13 c =============================================================================== 10.08/10.13 c New solution: 240 10.08/10.13 o 240 10.08/10.13 c Elapsed CPU time: 9.95449 s Remaining CPU time: 170.046 s 10.08/10.13 c =============================================================================== 10.08/10.13 c | 20876 | 2010 62352 199833 | 20784 10441 91 | 0.741 % | 10.08/10.18 c | 20976 | 2010 62352 199833 | 22862 10541 91 | 0.741 % | 10.18/10.25 c | 21126 | 2010 62352 199833 | 25148 10691 91 | 0.741 % | 10.28/10.35 c =============================================================================== 10.28/10.35 c New solution: 239 10.28/10.35 o 239 10.28/10.35 c Elapsed CPU time: 10.1715 s Remaining CPU time: 169.829 s 10.28/10.35 c =============================================================================== 10.28/10.35 c | 21320 | 2010 62353 199968 | 20784 10885 91 | 0.741 % | 10.28/10.40 c | 21420 | 2010 62353 199968 | 22862 10985 91 | 0.741 % | 10.38/10.41 c =============================================================================== 10.38/10.41 c New solution: 238 10.38/10.41 o 238 10.38/10.41 c Elapsed CPU time: 10.2294 s Remaining CPU time: 169.771 s 10.38/10.41 c =============================================================================== 10.38/10.41 c | 21421 | 2010 62354 200103 | 20784 10986 91 | 0.741 % | 10.38/10.43 c =============================================================================== 10.38/10.43 c New solution: 237 10.38/10.43 o 237 10.38/10.43 c Elapsed CPU time: 10.2444 s Remaining CPU time: 169.756 s 10.38/10.43 c =============================================================================== 10.38/10.43 c | 21426 | 2010 62355 200238 | 20785 10991 91 | 0.741 % | 10.38/10.46 c | 21528 | 2010 62355 200238 | 22863 11093 91 | 0.741 % | 10.38/10.49 c =============================================================================== 10.38/10.49 c New solution: 236 10.38/10.49 o 236 10.38/10.49 c Elapsed CPU time: 10.3104 s Remaining CPU time: 169.69 s 10.38/10.49 c =============================================================================== 10.38/10.49 c | 21574 | 2010 62356 200373 | 20785 11139 91 | 0.741 % | 10.48/10.54 c | 21674 | 2010 62356 200373 | 22863 11239 91 | 0.741 % | 10.59/10.60 c | 21825 | 2010 62356 200373 | 25150 11390 91 | 0.741 % | 10.69/10.71 c | 22050 | 2010 62356 200373 | 27665 11615 91 | 0.741 % | 10.79/10.89 c | 22388 | 2010 62356 200373 | 30431 11953 91 | 0.741 % | 11.08/11.10 c | 22894 | 2010 62356 200373 | 33474 12459 90 | 0.741 % | 11.38/11.48 c | 23653 | 2010 62356 200373 | 36822 13218 90 | 0.741 % | 12.09/12.11 c =============================================================================== 12.09/12.11 c New solution: 235 12.09/12.11 o 235 12.09/12.11 c Elapsed CPU time: 11.9132 s Remaining CPU time: 168.087 s 12.09/12.11 c =============================================================================== 12.09/12.11 c | 24728 | 2010 62357 200508 | 20785 14293 90 | 0.741 % | 12.09/12.12 c =============================================================================== 12.09/12.12 c New solution: 234 12.09/12.12 o 234 12.09/12.12 c Elapsed CPU time: 11.9282 s Remaining CPU time: 168.072 s 12.09/12.12 c =============================================================================== 12.09/12.12 c | 24728 | 2010 62358 200643 | 20786 14293 90 | 0.741 % | 12.09/12.19 c | 24828 | 2010 62358 200643 | 22864 14393 90 | 0.741 % | 12.19/12.29 c | 24978 | 2010 62358 200643 | 25151 14543 90 | 0.741 % | 12.39/12.47 c | 25205 | 2010 62358 200643 | 27666 14770 90 | 0.741 % | 12.69/12.71 c | 25543 | 2010 62358 200643 | 30432 15108 90 | 0.741 % | 13.09/13.16 c | 26049 | 2010 62358 200643 | 33476 15614 90 | 0.741 % | 13.69/13.70 c | 26808 | 2010 62358 200643 | 36823 16373 90 | 0.741 % | 14.68/14.70 c | 27947 | 2010 62358 200643 | 40506 17512 89 | 0.741 % | 16.18/16.21 c | 29655 | 2010 62358 200643 | 44556 19220 89 | 0.741 % | 18.88/18.96 c | 32217 | 2010 62358 200643 | 49012 21782 89 | 0.741 % | 23.38/23.40 c | 36062 | 2010 62358 200643 | 53913 25627 88 | 0.741 % | 28.17/28.25 c | 41830 | 2010 62358 200643 | 59304 31395 88 | 0.741 % | 28.48/28.57 c =============================================================================== 28.48/28.57 c New solution: 233 28.48/28.57 o 233 28.48/28.57 c Elapsed CPU time: 28.3057 s Remaining CPU time: 151.694 s 28.48/28.57 c =============================================================================== 28.48/28.57 c | 42047 | 2010 62359 200778 | 20786 31612 88 | 0.741 % | 29.08/29.12 c | 42147 | 2010 62359 200778 | 22864 11483 85 | 0.741 % | 29.18/29.22 c | 42297 | 2010 62359 200778 | 25151 11633 85 | 0.741 % | 29.28/29.35 c | 42522 | 2010 62359 200778 | 27666 11858 85 | 0.741 % | 29.48/29.57 c | 42859 | 2010 62359 200778 | 30433 12195 85 | 0.741 % | 29.87/29.94 c | 43366 | 2010 62359 200778 | 33476 12702 85 | 0.741 % | 30.07/30.13 c =============================================================================== 30.07/30.13 c New solution: 232 30.07/30.13 o 232 30.07/30.13 c Elapsed CPU time: 29.8565 s Remaining CPU time: 150.144 s 30.07/30.13 c =============================================================================== 30.07/30.13 c | 43683 | 2010 62360 200913 | 20786 13019 85 | 0.741 % | 30.07/30.18 c =============================================================================== 30.07/30.18 c New solution: 231 30.07/30.18 o 231 30.07/30.18 c Elapsed CPU time: 29.9045 s Remaining CPU time: 150.096 s 30.07/30.18 c =============================================================================== 30.07/30.18 c | 43741 | 2010 62361 201048 | 20787 13077 85 | 0.741 % | 30.18/30.24 c | 43843 | 2010 62361 201048 | 22865 13179 85 | 0.741 % | 30.28/30.30 c | 43995 | 2010 62361 201048 | 25152 13331 85 | 0.741 % | 30.38/30.48 c | 44221 | 2010 62361 201048 | 27667 13557 85 | 0.741 % | 30.69/30.73 c | 44558 | 2010 62361 201048 | 30434 13894 85 | 0.741 % | 30.98/31.10 c | 45065 | 2010 62361 201048 | 33477 14401 85 | 0.741 % | 31.58/31.65 c | 45824 | 2010 62361 201048 | 36825 15160 85 | 0.741 % | 31.58/31.66 c =============================================================================== 31.58/31.66 c New solution: 230 31.58/31.66 o 230 31.58/31.66 c Elapsed CPU time: 31.3772 s Remaining CPU time: 148.623 s 31.58/31.66 c =============================================================================== 31.58/31.66 c | 45824 | 2010 62362 201183 | 20787 15160 85 | 0.741 % | 31.58/31.68 c =============================================================================== 31.58/31.68 c New solution: 229 31.58/31.68 o 229 31.58/31.68 c Elapsed CPU time: 31.3972 s Remaining CPU time: 148.603 s 31.58/31.68 c =============================================================================== 31.58/31.68 c | 45830 | 2010 62363 201318 | 20787 15166 85 | 0.741 % | 31.67/31.70 c =============================================================================== 31.67/31.70 c New solution: 228 31.67/31.70 o 228 31.67/31.70 c Elapsed CPU time: 31.4112 s Remaining CPU time: 148.589 s 31.67/31.70 c =============================================================================== 31.67/31.70 c | 45830 | 2010 62364 201453 | 20788 15166 85 | 0.741 % | 31.67/31.71 c =============================================================================== 31.67/31.71 c New solution: 227 31.67/31.71 o 227 31.67/31.71 c Elapsed CPU time: 31.4252 s Remaining CPU time: 148.575 s 31.67/31.71 c =============================================================================== 31.67/31.71 c | 45830 | 2010 62365 201588 | 20788 15166 85 | 0.741 % | 31.67/31.75 c =============================================================================== 31.67/31.75 c New solution: 226 31.67/31.75 o 226 31.67/31.75 c Elapsed CPU time: 31.4582 s Remaining CPU time: 148.542 s 31.67/31.75 c =============================================================================== 31.67/31.75 c | 45872 | 2010 62366 201723 | 20788 15208 85 | 0.741 % | 31.78/31.81 c | 45972 | 2010 62366 201723 | 22867 15308 85 | 0.741 % | 31.88/31.92 c | 46122 | 2010 62366 201723 | 25154 15458 85 | 0.741 % | 31.98/32.07 c | 46347 | 2010 62366 201723 | 27669 15683 85 | 0.741 % | 32.08/32.13 c =============================================================================== 32.08/32.13 c New solution: 225 32.08/32.13 o 225 32.08/32.13 c Elapsed CPU time: 31.8392 s Remaining CPU time: 148.161 s 32.08/32.13 c =============================================================================== 32.08/32.13 c | 46410 | 2010 62367 201858 | 20789 15746 85 | 0.741 % | 32.08/32.20 c | 46513 | 2010 62367 201858 | 22867 15849 85 | 0.741 % | 32.18/32.28 c | 46665 | 2010 62367 201858 | 25154 16001 85 | 0.741 % | 32.38/32.41 c | 46891 | 2010 62367 201858 | 27670 16227 85 | 0.741 % | 32.48/32.59 c | 47228 | 2010 62367 201858 | 30437 16564 85 | 0.741 % | 32.78/32.82 c | 47734 | 2010 62367 201858 | 33480 17070 85 | 0.741 % | 33.28/33.35 c | 48495 | 2010 62367 201858 | 36828 17831 85 | 0.741 % | 33.88/33.96 c | 49634 | 2010 62367 201858 | 40511 18970 85 | 0.741 % | 35.27/35.39 c | 51342 | 2010 62367 201858 | 44563 20678 85 | 0.741 % | 37.28/37.32 c | 53904 | 2010 62367 201858 | 49019 23240 85 | 0.741 % | 40.07/40.19 c | 57748 | 2010 62367 201858 | 53921 27084 85 | 0.741 % | 40.67/40.76 c =============================================================================== 40.67/40.76 c New solution: 224 40.67/40.76 o 224 40.67/40.76 c Elapsed CPU time: 40.3999 s Remaining CPU time: 139.6 s 40.67/40.76 c =============================================================================== 40.67/40.76 c | 58459 | 2010 62368 201993 | 20789 27795 85 | 0.741 % | 40.96/41.09 c | 58559 | 2010 62368 201993 | 22868 11155 82 | 0.741 % | 41.07/41.18 c | 58711 | 2010 62368 201993 | 25155 11307 82 | 0.741 % | 41.27/41.32 c | 58937 | 2010 62368 201993 | 27670 11533 82 | 0.741 % | 41.27/41.36 c =============================================================================== 41.27/41.36 c New solution: 223 41.27/41.36 o 223 41.27/41.36 c Elapsed CPU time: 41.0008 s Remaining CPU time: 138.999 s 41.27/41.36 c =============================================================================== 41.27/41.36 c | 58990 | 2010 62369 202128 | 20789 11586 82 | 0.741 % | 41.37/41.44 c | 59090 | 2010 62369 202128 | 22868 11686 82 | 0.741 % | 41.47/41.52 c | 59241 | 2010 62369 202128 | 25155 11837 82 | 0.741 % | 41.57/41.62 c | 59468 | 2010 62369 202128 | 27671 12064 82 | 0.741 % | 41.77/41.81 c | 59808 | 2010 62369 202128 | 30438 12404 82 | 0.741 % | 41.97/42.06 c | 60314 | 2010 62369 202128 | 33481 12910 82 | 0.741 % | 42.37/42.41 c | 61076 | 2010 62369 202128 | 36830 13672 83 | 0.741 % | 42.87/42.93 c | 62215 | 2010 62369 202128 | 40513 14811 83 | 0.741 % | 43.88/43.91 c | 63923 | 2010 62369 202128 | 44564 16519 83 | 0.741 % | 44.87/45.00 c | 66486 | 2010 62369 202128 | 49020 19082 83 | 0.741 % | 47.17/47.21 c | 70331 | 2010 62369 202128 | 53923 22927 83 | 0.741 % | 51.36/51.44 c | 76099 | 2010 62369 202128 | 59315 28695 84 | 0.741 % | 54.56/54.69 c =============================================================================== 54.56/54.69 c New solution: 222 54.56/54.69 o 222 54.56/54.69 c Elapsed CPU time: 54.2448 s Remaining CPU time: 125.755 s 54.56/54.69 c =============================================================================== 54.56/54.69 c | 79374 | 2010 62370 202263 | 20790 31970 84 | 0.741 % | 54.97/55.01 c =============================================================================== 54.97/55.01 c New solution: 221 54.97/55.01 o 221 54.97/55.01 c Elapsed CPU time: 54.5687 s Remaining CPU time: 125.431 s 54.97/55.01 c =============================================================================== 54.97/55.01 c | 79375 | 2010 62371 202398 | 20790 11223 83 | 0.741 % | 54.97/55.06 c | 79475 | 2010 62371 202398 | 22869 11323 83 | 0.741 % | 54.97/55.09 c =============================================================================== 54.97/55.09 c New solution: 220 54.97/55.09 o 220 54.97/55.09 c Elapsed CPU time: 54.6477 s Remaining CPU time: 125.352 s 54.97/55.09 c =============================================================================== 54.97/55.09 c | 79537 | 2010 62372 202533 | 20790 11385 83 | 0.741 % | 55.06/55.13 c | 79637 | 2010 62372 202533 | 22869 11485 83 | 0.741 % | 55.06/55.19 c | 79787 | 2010 62372 202533 | 25156 11635 83 | 0.741 % | 55.17/55.29 c | 80012 | 2010 62372 202533 | 27672 11860 83 | 0.741 % | 55.37/55.48 c | 80350 | 2010 62372 202533 | 30439 12198 83 | 0.741 % | 55.67/55.79 c | 80858 | 2010 62372 202533 | 33483 12706 83 | 0.741 % | 56.07/56.13 c | 81618 | 2010 62372 202533 | 36831 13466 83 | 0.741 % | 56.56/56.63 c | 82757 | 2010 62372 202533 | 40515 14605 83 | 0.741 % | 57.47/57.59 c | 84465 | 2010 62372 202533 | 44566 16313 83 | 0.741 % | 58.46/58.60 c | 87028 | 2010 62372 202533 | 49023 18876 83 | 0.741 % | 61.16/61.24 c | 90872 | 2010 62372 202533 | 53925 22720 83 | 0.741 % | 64.27/64.36 c =============================================================================== 64.27/64.36 c New solution: 219 64.27/64.36 o 219 64.27/64.36 c Elapsed CPU time: 63.8763 s Remaining CPU time: 116.124 s 64.27/64.36 c =============================================================================== 64.27/64.36 c | 95264 | 2010 62373 202668 | 20791 27112 83 | 0.741 % | 64.67/64.77 c | 95365 | 2010 62373 202668 | 22870 11178 81 | 0.741 % | 64.77/64.80 c =============================================================================== 64.77/64.80 c New solution: 218 64.77/64.80 o 218 64.77/64.80 c Elapsed CPU time: 64.3072 s Remaining CPU time: 115.693 s 64.77/64.80 c =============================================================================== 64.77/64.80 c | 95398 | 2010 62374 202803 | 20791 11211 81 | 0.741 % | 64.77/64.84 c =============================================================================== 64.77/64.84 c New solution: 217 64.77/64.84 o 217 64.77/64.84 c Elapsed CPU time: 64.3492 s Remaining CPU time: 115.651 s 64.77/64.84 c =============================================================================== 64.77/64.84 c | 95461 | 2010 62375 202938 | 20791 11274 81 | 0.741 % | 64.87/64.91 c | 95561 | 2010 62375 202938 | 22870 11374 81 | 0.741 % | 64.96/65.00 c =============================================================================== 64.96/65.00 c New solution: 216 64.96/65.00 o 216 64.96/65.00 c Elapsed CPU time: 64.5042 s Remaining CPU time: 115.496 s 64.96/65.00 c =============================================================================== 64.96/65.00 c | 95697 | 2010 62376 203073 | 20792 11510 81 | 0.741 % | 64.96/65.07 c | 95797 | 2010 62376 203073 | 22871 11610 81 | 0.741 % | 65.07/65.16 c | 95947 | 2010 62376 203073 | 25158 11760 81 | 0.741 % | 65.16/65.29 c | 96175 | 2010 62376 203073 | 27674 11988 81 | 0.741 % | 65.36/65.48 c | 96513 | 2010 62376 203073 | 30441 12326 81 | 0.741 % | 65.66/65.75 c | 97020 | 2010 62376 203073 | 33485 12833 81 | 0.741 % | 65.97/66.09 c =============================================================================== 65.97/66.09 c New solution: 215 65.97/66.09 o 215 65.97/66.09 c Elapsed CPU time: 65.588 s Remaining CPU time: 114.412 s 65.97/66.09 c =============================================================================== 65.97/66.09 c | 97671 | 2010 62377 203208 | 20792 13484 81 | 0.741 % | 66.06/66.15 c | 97772 | 2010 62377 203208 | 22871 13585 81 | 0.741 % | 66.16/66.22 c | 97924 | 2010 62377 203208 | 25158 13737 81 | 0.741 % | 66.26/66.32 c | 98150 | 2010 62377 203208 | 27674 13963 81 | 0.741 % | 66.36/66.45 c | 98487 | 2010 62377 203208 | 30442 14300 81 | 0.741 % | 66.56/66.65 c | 98995 | 2010 62377 203208 | 33486 14808 81 | 0.741 % | 67.07/67.15 c | 99755 | 2010 62377 203208 | 36834 15568 81 | 0.741 % | 67.66/67.74 c | 100895 | 2010 62377 203208 | 40518 16708 81 | 0.741 % | 68.66/68.79 c | 102605 | 2010 62377 203208 | 44570 18418 81 | 0.741 % | 70.75/70.82 c | 105167 | 2010 62377 203208 | 49027 20980 81 | 0.741 % | 72.05/72.13 c =============================================================================== 72.05/72.13 c New solution: 214 72.05/72.13 o 214 72.05/72.13 c Elapsed CPU time: 71.5811 s Remaining CPU time: 108.419 s 72.05/72.13 c =============================================================================== 72.05/72.13 c | 106672 | 2010 62378 203343 | 20792 22485 81 | 0.741 % | 72.26/72.33 c =============================================================================== 72.26/72.33 c New solution: 213 72.26/72.33 o 213 72.26/72.33 c Elapsed CPU time: 71.7761 s Remaining CPU time: 108.224 s 72.26/72.33 c =============================================================================== 72.26/72.33 c | 106677 | 2010 62379 203478 | 20793 10909 80 | 0.741 % | 72.26/72.34 c =============================================================================== 72.26/72.34 c New solution: 212 72.26/72.34 o 212 72.26/72.34 c Elapsed CPU time: 71.7911 s Remaining CPU time: 108.209 s 72.26/72.34 c =============================================================================== 72.26/72.34 c | 106677 | 2010 62380 203613 | 20793 10909 80 | 0.741 % | 72.26/72.39 c | 106777 | 2010 62380 203613 | 22872 11009 80 | 0.741 % | 72.36/72.48 c | 106927 | 2010 62380 203613 | 25159 11159 80 | 0.741 % | 72.47/72.59 c | 107152 | 2010 62380 203613 | 27675 11384 80 | 0.741 % | 72.66/72.72 c =============================================================================== 72.66/72.72 c New solution: 211 72.66/72.72 o 211 72.66/72.72 c Elapsed CPU time: 72.161 s Remaining CPU time: 107.839 s 72.66/72.72 c =============================================================================== 72.66/72.72 c | 107389 | 2010 62381 203748 | 20793 11621 80 | 0.741 % | 72.66/72.73 c =============================================================================== 72.66/72.73 c New solution: 210 72.66/72.73 o 210 72.66/72.73 c Elapsed CPU time: 72.179 s Remaining CPU time: 107.821 s 72.66/72.73 c =============================================================================== 72.66/72.73 c | 107391 | 2010 62382 203883 | 20794 11623 80 | 0.741 % | 72.66/72.77 c | 107491 | 2010 62382 203883 | 22873 11723 80 | 0.741 % | 72.75/72.85 c | 107642 | 2010 62382 203883 | 25160 11874 80 | 0.741 % | 72.85/72.98 c | 107868 | 2010 62382 203883 | 27676 12100 80 | 0.741 % | 73.15/73.22 c | 108205 | 2010 62382 203883 | 30444 12437 80 | 0.741 % | 73.45/73.53 c | 108712 | 2010 62382 203883 | 33488 12944 80 | 0.741 % | 73.86/73.97 c | 109471 | 2010 62382 203883 | 36837 13703 80 | 0.741 % | 74.46/74.58 c | 110610 | 2010 62382 203883 | 40521 14842 80 | 0.741 % | 75.26/75.38 c | 112318 | 2010 62382 203883 | 44573 16550 80 | 0.741 % | 76.86/76.94 c | 114880 | 2010 62382 203883 | 49031 19112 80 | 0.741 % | 79.36/79.45 c | 118727 | 2010 62382 203883 | 53934 22959 80 | 0.741 % | 84.86/84.99 c | 124494 | 2010 62382 203883 | 59327 28726 80 | 0.741 % | 92.05/92.16 c | 133143 | 2010 62382 203883 | 65260 37375 80 | 0.741 % | 98.75/98.85 c =============================================================================== 98.75/98.85 c New solution: 209 98.75/98.85 o 209 98.75/98.85 c Elapsed CPU time: 98.1631 s Remaining CPU time: 81.8369 s 98.75/98.85 c =============================================================================== 98.75/98.85 c | 139497 | 2010 62383 204018 | 20794 43729 80 | 0.741 % | 99.75/99.83 c | 139597 | 2010 62383 204018 | 22873 11731 79 | 0.741 % | 99.85/99.91 c | 139748 | 2010 62383 204018 | 25161 11882 79 | 0.741 % | 99.85/99.99 c | 139973 | 2010 62383 204018 | 27677 12107 79 | 0.741 % | 100.06/100.16 c | 140310 | 2010 62383 204018 | 30444 12444 79 | 0.741 % | 100.35/100.47 c | 140816 | 2010 62383 204018 | 33489 12950 79 | 0.741 % | 100.75/100.85 c | 141578 | 2010 62383 204018 | 36838 13712 79 | 0.741 % | 101.35/101.48 c | 142718 | 2010 62383 204018 | 40522 14852 79 | 0.741 % | 102.55/102.66 c | 144427 | 2010 62383 204018 | 44574 16561 80 | 0.741 % | 104.05/104.15 c | 146989 | 2010 62383 204018 | 49031 19123 80 | 0.741 % | 106.65/106.75 c | 150834 | 2010 62383 204018 | 53935 22968 80 | 0.741 % | 111.15/111.27 c | 156600 | 2010 62383 204018 | 59328 28734 80 | 0.741 % | 120.14/120.22 c | 165249 | 2010 62383 204018 | 65261 37383 80 | 0.741 % | 131.95/132.06 c =============================================================================== 131.95/132.06 c New solution: 208 131.95/132.06 o 208 131.95/132.06 c Elapsed CPU time: 131.238 s Remaining CPU time: 48.762 s 131.95/132.06 c =============================================================================== 131.95/132.06 c | 177965 | 2010 62384 204153 | 20794 50099 80 | 0.741 % | 135.64/135.71 c =============================================================================== 135.64/135.71 c New solution: 207 135.64/135.71 o 207 135.64/135.71 c Elapsed CPU time: 134.882 s Remaining CPU time: 45.1175 s 135.64/135.71 c =============================================================================== 135.64/135.71 c | 177982 | 2010 62385 204288 | 20795 11837 78 | 0.741 % | 135.64/135.72 c =============================================================================== 135.64/135.72 c New solution: 206 135.64/135.72 o 206 135.64/135.72 c Elapsed CPU time: 134.895 s Remaining CPU time: 45.1045 s 135.64/135.72 c =============================================================================== 135.64/135.72 c | 177983 | 2010 62386 204423 | 20795 11838 78 | 0.741 % | 135.64/135.77 c | 178084 | 2010 62386 204423 | 22874 11939 78 | 0.741 % | 135.74/135.84 c | 178235 | 2010 62386 204423 | 25162 12090 78 | 0.741 % | 135.84/135.96 c | 178462 | 2010 62386 204423 | 27678 12317 78 | 0.741 % | 136.04/136.11 c | 178799 | 2010 62386 204423 | 30446 12654 78 | 0.741 % | 136.25/136.36 c | 179305 | 2010 62386 204423 | 33491 13160 78 | 0.741 % | 136.64/136.73 c | 180065 | 2010 62386 204423 | 36840 13920 78 | 0.741 % | 137.24/137.38 c | 181205 | 2010 62386 204423 | 40524 15060 78 | 0.741 % | 138.24/138.30 c | 182914 | 2010 62386 204423 | 44576 16769 78 | 0.741 % | 139.94/140.02 c | 185476 | 2010 62386 204423 | 49034 19331 78 | 0.741 % | 141.64/141.71 c =============================================================================== 141.64/141.71 c New solution: 205 141.64/141.71 o 205 141.64/141.71 c Elapsed CPU time: 140.847 s Remaining CPU time: 39.1534 s 141.64/141.71 c =============================================================================== 141.64/141.71 c | 187514 | 2010 62387 204558 | 20795 21369 78 | 0.741 % | 141.74/141.89 c | 187614 | 2010 62387 204558 | 22875 10785 77 | 0.741 % | 141.84/142.00 c | 187765 | 2010 62387 204558 | 25162 10936 77 | 0.741 % | 142.04/142.15 c | 187991 | 2010 62387 204558 | 27679 11162 77 | 0.741 % | 142.24/142.39 c | 188328 | 2010 62387 204558 | 30446 11499 77 | 0.741 % | 142.54/142.65 c | 188835 | 2010 62387 204558 | 33491 12006 77 | 0.741 % | 142.85/142.93 c =============================================================================== 142.85/142.93 c New solution: 204 142.85/142.93 o 204 142.85/142.93 c Elapsed CPU time: 142.06 s Remaining CPU time: 37.9396 s 142.85/142.93 c =============================================================================== 142.85/142.93 c | 189436 | 2010 62388 204693 | 20796 12607 77 | 0.741 % | 142.85/142.95 c =============================================================================== 142.85/142.95 c New solution: 203 142.85/142.95 o 203 142.85/142.95 c Elapsed CPU time: 142.076 s Remaining CPU time: 37.9236 s 142.85/142.95 c =============================================================================== 142.85/142.95 c | 189436 | 2010 62389 204828 | 20796 12607 77 | 0.741 % | 142.85/142.97 c =============================================================================== 142.85/142.97 c New solution: 202 142.85/142.97 o 202 142.85/142.97 c Elapsed CPU time: 142.098 s Remaining CPU time: 37.9016 s 142.85/142.97 c =============================================================================== 142.85/142.97 c | 189445 | 2010 62390 204963 | 20796 12616 77 | 0.741 % | 142.85/142.99 c =============================================================================== 142.85/142.99 c New solution: 201 142.85/142.99 o 201 142.85/142.99 c Elapsed CPU time: 142.112 s Remaining CPU time: 37.8876 s 142.85/142.99 c =============================================================================== 142.85/142.99 c | 189445 | 2010 62391 205098 | 20797 12616 77 | 0.741 % | 142.94/143.04 c | 189545 | 2010 62391 205098 | 22876 12716 77 | 0.741 % | 142.94/143.07 c =============================================================================== 142.94/143.07 c New solution: 200 142.94/143.07 o 200 142.94/143.07 c Elapsed CPU time: 142.193 s Remaining CPU time: 37.8066 s 142.94/143.07 c =============================================================================== 142.94/143.07 c | 189586 | 2010 62392 205233 | 20797 12757 77 | 0.741 % | 143.04/143.13 c | 189688 | 2010 62392 205233 | 22877 12859 77 | 0.741 % | 143.14/143.22 c | 189839 | 2010 62392 205233 | 25164 13010 77 | 0.741 % | 143.24/143.34 c | 190064 | 2010 62392 205233 | 27681 13235 77 | 0.741 % | 143.44/143.55 c | 190402 | 2010 62392 205233 | 30449 13573 77 | 0.741 % | 143.74/143.86 c | 190910 | 2010 62392 205233 | 33494 14081 77 | 0.741 % | 144.24/144.36 c | 191672 | 2010 62392 205233 | 36843 14843 77 | 0.741 % | 144.94/145.03 c | 192813 | 2010 62392 205233 | 40528 15984 77 | 0.741 % | 146.03/146.17 c | 194521 | 2010 62392 205233 | 44580 17692 77 | 0.741 % | 147.94/148.00 c | 197084 | 2010 62392 205233 | 49039 20255 77 | 0.741 % | 150.84/150.99 c | 200929 | 2010 62392 205233 | 53942 24100 77 | 0.741 % | 156.93/157.05 c | 206698 | 2010 62392 205233 | 59337 29869 76 | 0.741 % | 166.63/166.77 c | 215349 | 2010 62392 205233 | 65270 38520 76 | 0.741 % | 180.93/181.05 c There are 15 assigned variables. 15 in cost function. 181.22/181.35 c core #1 181.22/181.35 c #cores: 1 181.22/181.35 c Final Weight: 200 181.22/181.35 o 200 181.22/181.35 s OPTIMUM FOUND 181.22/181.35 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.22/181.35 c Total CPU time: 180.29 s
OK -147
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655741-1276686127/watcher-2655741-1276686127 -o /tmp/evaluation-result-2655741-1276686127/solver-2655741-1276686127 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655741-1276686127.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.09 1.13 1.05 3/106 14998 /proc/meminfo: memFree=1781700/2059040 swapFree=4141108/4192956 [pid=14998] ppid=14996 vsize=4748 CPUtime=0 /proc/14998/stat : 14998 (wbo1.4b) R 14996 14998 14289 0 -1 4202496 305 0 0 0 0 0 0 0 19 0 1 0 9904351 4861952 223 1992294400 134512640 135751879 4291983488 18446744073709551615 134560913 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14998/statm: 1187 227 139 303 0 375 0 [startup+0.0113351 s] /proc/loadavg: 1.09 1.13 1.05 3/106 14998 /proc/meminfo: memFree=1781700/2059040 swapFree=4141108/4192956 [pid=14998] ppid=14996 vsize=5016 CPUtime=0 /proc/14998/stat : 14998 (wbo1.4b) R 14996 14998 14289 0 -1 4202496 370 0 0 0 0 0 0 0 19 0 1 0 9904351 5136384 288 1992294400 134512640 135751879 4291983488 18446744073709551615 134559719 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14998/statm: 1254 289 144 303 0 442 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5016 [startup+0.100323 s] /proc/loadavg: 1.09 1.13 1.05 3/106 14998 /proc/meminfo: memFree=1781700/2059040 swapFree=4141108/4192956 [pid=14998] ppid=14996 vsize=5968 CPUtime=0.09 /proc/14998/stat : 14998 (wbo1.4b) R 14996 14998 14289 0 -1 4202496 771 0 0 0 9 0 0 0 19 0 1 0 9904351 6111232 689 1992294400 134512640 135751879 4291983488 18446744073709551615 135225284 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14998/statm: 1492 689 300 303 0 680 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5968 [startup+0.30034 s] /proc/loadavg: 1.09 1.13 1.05 3/106 14998 /proc/meminfo: memFree=1781700/2059040 swapFree=4141108/4192956 [pid=14998] ppid=14996 vsize=6752 CPUtime=0.29 /proc/14998/stat : 14998 (wbo1.4b) R 14996 14998 14289 0 -1 4202496 1845 0 0 0 29 0 0 0 20 0 1 0 9904351 6914048 1224 1992294400 134512640 135751879 4291983488 18446744073709551615 134581066 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14998/statm: 1688 1224 143 303 0 1383 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6752 [startup+0.700375 s] /proc/loadavg: 1.09 1.13 1.05 3/106 14998 /proc/meminfo: memFree=1781700/2059040 swapFree=4141108/4192956 [pid=14998] ppid=14996 vsize=7292 CPUtime=0.69 /proc/14998/stat : 14998 (wbo1.4b) R 14996 14998 14289 0 -1 4202496 1977 0 0 0 64 5 0 0 21 0 1 0 9904351 7467008 1356 1992294400 134512640 135751879 4291983488 18446744073709551615 134598751 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14998/statm: 1823 1356 146 303 0 1518 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7292 [startup+1.50045 s] /proc/loadavg: 1.09 1.13 1.05 2/107 14999 /proc/meminfo: memFree=1776608/2059040 swapFree=4141108/4192956 [pid=14998] ppid=14996 vsize=8192 CPUtime=1.49 /proc/14998/stat : 14998 (wbo1.4b) R 14996 14998 14289 0 -1 4202496 2204 0 0 0 140 9 0 0 23 0 1 0 9904351 8388608 1583 1992294400 134512640 135751879 4291983488 18446744073709551615 134517152 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14998/statm: 2048 1583 147 303 0 1743 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8192 [startup+3.10058 s] /proc/loadavg: 1.09 1.13 1.05 2/107 14999 /proc/meminfo: memFree=1774748/2059040 swapFree=4141108/4192956 [pid=14998] ppid=14996 vsize=10516 CPUtime=3.08 /proc/14998/stat : 14998 (wbo1.4b) R 14996 14998 14289 0 -1 4202496 2791 0 0 0 296 12 0 0 25 0 1 0 9904351 10768384 2170 1992294400 134512640 135751879 4291983488 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14998/statm: 2629 2170 147 303 0 2324 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 10516 [startup+6.30186 s] /proc/loadavg: 1.09 1.13 1.05 2/107 14999 /proc/meminfo: memFree=1770408/2059040 swapFree=4141108/4192956 [pid=14998] ppid=14996 vsize=14340 CPUtime=6.29 /proc/14998/stat : 14998 (wbo1.4b) R 14996 14998 14289 0 -1 4202496 3742 0 0 0 615 14 0 0 25 0 1 0 9904351 14684160 3121 1992294400 134512640 135751879 4291983488 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14998/statm: 3585 3121 147 303 0 3280 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14340 [startup+12.7014 s] /proc/loadavg: 1.08 1.13 1.05 2/107 14999 /proc/meminfo: memFree=1764456/2059040 swapFree=4141108/4192956 [pid=14998] ppid=14996 vsize=19696 CPUtime=12.69 /proc/14998/stat : 14998 (wbo1.4b) R 14996 14998 14289 0 -1 4202496 5063 0 0 0 1250 19 0 0 25 0 1 0 9904351 20168704 4442 1992294400 134512640 135751879 4291983488 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14998/statm: 4924 4442 148 303 0 4619 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19696 [startup+25.5005 s] /proc/loadavg: 1.06 1.12 1.05 2/107 14999 /proc/meminfo: memFree=1758628/2059040 swapFree=4141108/4192956 [pid=14998] ppid=14996 vsize=25244 CPUtime=25.48 /proc/14998/stat : 14998 (wbo1.4b) R 14996 14998 14289 0 -1 4202496 6450 0 0 0 2524 24 0 0 25 0 1 0 9904351 25849856 5829 1992294400 134512640 135751879 4291983488 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14998/statm: 6311 5829 148 303 0 6006 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25244 [startup+51.1008 s] /proc/loadavg: 1.04 1.11 1.05 2/107 15001 /proc/meminfo: memFree=1741640/2059040 swapFree=4141108/4192956 [pid=14998] ppid=14996 vsize=42440 CPUtime=51.06 /proc/14998/stat : 14998 (wbo1.4b) R 14996 14998 14289 0 -1 4202496 10724 0 0 0 5066 40 0 0 25 0 1 0 9904351 43458560 10103 1992294400 134512640 135751879 4291983488 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14998/statm: 10610 10103 148 303 0 10305 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 42440 [startup+102.308 s] /proc/loadavg: 1.02 1.09 1.04 2/107 15003 /proc/meminfo: memFree=1712252/2059040 swapFree=4141108/4192956 [pid=14998] ppid=14996 vsize=71420 CPUtime=102.26 /proc/14998/stat : 14998 (wbo1.4b) R 14996 14998 14289 0 -1 4202496 17926 0 0 0 10159 67 0 0 25 0 1 0 9904351 73134080 17305 1992294400 134512640 135751879 4291983488 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14998/statm: 17855 17305 148 303 0 17550 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 71420 [startup+162.3 s] /proc/loadavg: 1.00 1.07 1.04 2/107 15003 /proc/meminfo: memFree=1684600/2059040 swapFree=4141108/4192956 [pid=14998] ppid=14996 vsize=99252 CPUtime=162.23 /proc/14998/stat : 14998 (wbo1.4b) R 14996 14998 14289 0 -1 4202496 24846 0 0 0 16133 90 0 0 25 0 1 0 9904351 101634048 24225 1992294400 134512640 135751879 4291983488 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14998/statm: 24813 24225 148 303 0 24508 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 99252 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.00 1.07 1.04 2/107 15003 /proc/meminfo: memFree=1683112/2059040 swapFree=4141108/4192956 [pid=14998] ppid=14996 vsize=100612 CPUtime=166.23 /proc/14998/stat : 14998 (wbo1.4b) R 14996 14998 14289 0 -1 4202496 25178 0 0 0 16532 91 0 0 25 0 1 0 9904351 103026688 24557 1992294400 134512640 135751879 4291983488 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14998/statm: 25153 24557 148 303 0 24848 0 Current children cumulated CPU time (s) 166.23 Current children cumulated vsize (KiB) 100612 [startup+172.708 s] /proc/loadavg: 1.00 1.07 1.04 2/107 15003 /proc/meminfo: memFree=1680632/2059040 swapFree=4141108/4192956 [pid=14998] ppid=14996 vsize=102972 CPUtime=172.64 /proc/14998/stat : 14998 (wbo1.4b) R 14996 14998 14289 0 -1 4202496 25765 0 0 0 17169 95 0 0 25 0 1 0 9904351 105443328 25144 1992294400 134512640 135751879 4291983488 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14998/statm: 25743 25144 148 303 0 25438 0 Current children cumulated CPU time (s) 172.64 Current children cumulated vsize (KiB) 102972 [startup+175.902 s] /proc/loadavg: 1.00 1.07 1.04 2/107 15005 /proc/meminfo: memFree=1679268/2059040 swapFree=4141108/4192956 [pid=14998] ppid=14996 vsize=104492 CPUtime=175.84 /proc/14998/stat : 14998 (wbo1.4b) R 14996 14998 14289 0 -1 4202496 26105 0 0 0 17488 96 0 0 25 0 1 0 9904351 106999808 25484 1992294400 134512640 135751879 4291983488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14998/statm: 26123 25484 148 303 0 25818 0 Current children cumulated CPU time (s) 175.84 Current children cumulated vsize (KiB) 104492 [startup+179.102 s] /proc/loadavg: 1.00 1.07 1.04 2/107 15005 /proc/meminfo: memFree=1678896/2059040 swapFree=4141108/4192956 [pid=14998] ppid=14996 vsize=105136 CPUtime=179.03 /proc/14998/stat : 14998 (wbo1.4b) R 14996 14998 14289 0 -1 4202496 26272 0 0 0 17805 98 0 0 25 0 1 0 9904351 107659264 25651 1992294400 134512640 135751879 4291983488 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14998/statm: 26284 25651 148 303 0 25979 0 Current children cumulated CPU time (s) 179.03 Current children cumulated vsize (KiB) 105136 [startup+180.701 s] /proc/loadavg: 1.00 1.06 1.04 2/107 15005 /proc/meminfo: memFree=1678276/2059040 swapFree=4141108/4192956 [pid=14998] ppid=14996 vsize=105392 CPUtime=180.63 /proc/14998/stat : 14998 (wbo1.4b) R 14996 14998 14289 0 -1 4202496 26368 0 0 0 17964 99 0 0 25 0 1 0 9904351 107921408 25747 1992294400 134512640 135751879 4291983488 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14998/statm: 26348 25747 148 303 0 26043 0 Current children cumulated CPU time (s) 180.63 Current children cumulated vsize (KiB) 105392 [startup+181.101 s] /proc/loadavg: 1.00 1.06 1.04 2/107 15005 /proc/meminfo: memFree=1678276/2059040 swapFree=4141108/4192956 [pid=14998] ppid=14996 vsize=108700 CPUtime=181.02 /proc/14998/stat : 14998 (wbo1.4b) R 14996 14998 14289 0 -1 4202496 27159 0 0 0 18003 99 0 0 25 0 1 0 9904351 111308800 26538 1992294400 134512640 135751879 4291983488 18446744073709551615 134550586 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14998/statm: 27175 26538 148 303 0 26870 0 Current children cumulated CPU time (s) 181.02 Current children cumulated vsize (KiB) 108700 [startup+181.301 s] /proc/loadavg: 1.00 1.06 1.04 2/107 15005 /proc/meminfo: memFree=1678276/2059040 swapFree=4141108/4192956 [pid=14998] ppid=14996 vsize=108700 CPUtime=181.22 /proc/14998/stat : 14998 (wbo1.4b) R 14996 14998 14289 0 -1 4202496 27160 0 0 0 18023 99 0 0 25 0 1 0 9904351 111308800 26539 1992294400 134512640 135751879 4291983488 18446744073709551615 135200324 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14998/statm: 27175 26539 149 303 0 26870 0 Current children cumulated CPU time (s) 181.22 Current children cumulated vsize (KiB) 108700 Child status: 0 Real time (s): 181.363 CPU time (s): 181.301 CPU user time (s): 180.29 CPU system time (s): 1.01185 CPU usage (%): 99.9661 Max. virtual memory (cumulated for all children) (KiB): 108700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.29 system time used= 1.01185 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27161 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= 46 involuntary context switches= 2460 runsolver used 0.32295 second user time and 0.864868 second system time The end
Begin job on node050 at 2010-06-16 13:02:07 IDJOB=2655741 IDBENCH=71830 IDSOLVER=1161 FILE ID=node050/2655741-1276686127 PBS_JOBID= 11172564 Free space on /tmp= 62572 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-7000opt.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655741-1276686127/watcher-2655741-1276686127 -o /tmp/evaluation-result-2655741-1276686127/solver-2655741-1276686127 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655741-1276686127.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2dd11ebefc05ae8ac770ff3615713305 RANDOM SEED=95212196 node050.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.215 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.215 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1782104 kB Buffers: 71208 kB Cached: 114092 kB SwapCached: 7128 kB Active: 110292 kB Inactive: 89780 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1782104 kB SwapTotal: 4192956 kB SwapFree: 4141108 kB Dirty: 4628 kB Writeback: 48 kB AnonPages: 11808 kB Mapped: 13056 kB Slab: 54968 kB PageTables: 4108 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179860 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= 62568 MiB End job on node050 at 2010-06-16 13:05:09