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 (fixed) | ? (TO) | 1800.05 | 1800.74 |
| Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12053_3.std.opb |
| MD5SUM | c9d9e9de965e10444f6e461e8225e8d3 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 116 |
| Best CPU time to get the best result obtained on this benchmark | 1798.07 |
| 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 | 72842 |
| Total number of constraints | 256348 |
| Number of constraints which are clauses | 255148 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1200 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 92 |
| Number of terms in the objective function | 300 |
| Biggest coefficient in the objective function | 300 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 45150 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 300 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 45150 |
| Number of bits of the biggest sum of numbers | 16 |
| 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 - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2686981-1278445602.opb. 0.00/0.00 c Instance file HOME/instance-2686981-1278445602.opb 0.00/0.00 c File size is 8259994 bytes. 1.59/1.62 c Highest Coefficient sum: 519 1.59/1.62 c ============================[ Problem Statistics ]============================= 1.59/1.62 c | | 1.59/1.62 c | Parsing time: 1.59 s | 1.59/1.62 c | Number Variables: 72842 | 1.59/1.62 c | Number Clauses: 255148 | 1.59/1.62 c | Number Cardinality: 0 | 1.59/1.62 c | Number PB Constraints: 1200 | 97.56/97.67 c ============================[ Search Statistics ]============================== 97.56/97.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.56/97.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.56/97.67 c =============================================================================== 97.56/97.68 c | 0 | 51591 257602 530174 | 85449 0 nan | 0.000 % | 97.66/97.74 c =============================================================================== 97.66/97.74 c New solution: 300 97.66/97.74 o 300 97.66/97.74 c Elapsed CPU time: 97.5702 s Remaining CPU time: 82.4298 s 97.66/97.74 c =============================================================================== 97.66/97.74 c | 1 | 51591 257603 530474 | 85867 1 7 | 0.000 % | 97.66/97.79 c =============================================================================== 97.66/97.79 c New solution: 299 97.66/97.79 o 299 97.66/97.79 c Elapsed CPU time: 97.6222 s Remaining CPU time: 82.3778 s 97.66/97.79 c =============================================================================== 97.66/97.79 c | 5 | 51470 257604 530774 | 85868 5 13 | 0.000 % | 97.76/97.86 c =============================================================================== 97.76/97.86 c New solution: 298 97.76/97.86 o 298 97.76/97.86 c Elapsed CPU time: 97.6891 s Remaining CPU time: 82.3109 s 97.76/97.86 c =============================================================================== 97.76/97.86 c | 14 | 51338 257605 531074 | 85868 14 10 | 0.000 % | 97.86/97.95 c =============================================================================== 97.86/97.95 c New solution: 297 97.86/97.95 o 297 97.86/97.95 c Elapsed CPU time: 97.7731 s Remaining CPU time: 82.2269 s 97.86/97.95 c =============================================================================== 97.86/97.95 c | 95 | 51189 257606 531374 | 85868 95 46 | 0.000 % | 97.95/98.00 c =============================================================================== 97.95/98.01 c New solution: 296 97.95/98.01 o 296 97.95/98.01 c Elapsed CPU time: 97.8331 s Remaining CPU time: 82.1669 s 97.95/98.01 c =============================================================================== 97.95/98.01 c | 104 | 51028 257607 531674 | 85869 104 44 | 0.000 % | 97.95/98.07 c =============================================================================== 97.95/98.07 c New solution: 295 97.95/98.07 o 295 97.95/98.07 c Elapsed CPU time: 97.8981 s Remaining CPU time: 82.1019 s 97.95/98.07 c =============================================================================== 97.95/98.07 c | 113 | 50847 257608 531974 | 85869 113 42 | 0.000 % | 98.05/98.12 c =============================================================================== 98.05/98.12 c New solution: 294 98.05/98.12 o 294 98.05/98.12 c Elapsed CPU time: 97.9521 s Remaining CPU time: 82.0479 s 98.05/98.12 c =============================================================================== 98.05/98.12 c | 119 | 50659 257609 532274 | 85869 119 41 | 0.000 % | 98.05/98.18 c =============================================================================== 98.05/98.18 c New solution: 293 98.05/98.18 o 293 98.05/98.18 c Elapsed CPU time: 98.0071 s Remaining CPU time: 81.9929 s 98.05/98.18 c =============================================================================== 98.05/98.18 c | 126 | 50459 257610 532574 | 85870 126 40 | 0.000 % | 98.15/98.24 c =============================================================================== 98.15/98.24 c New solution: 292 98.15/98.24 o 292 98.15/98.24 c Elapsed CPU time: 98.0691 s Remaining CPU time: 81.9309 s 98.15/98.24 c =============================================================================== 98.15/98.24 c | 149 | 50251 257611 532874 | 85870 149 39 | 0.000 % | 98.26/98.31 c =============================================================================== 98.26/98.31 c New solution: 291 98.26/98.31 o 291 98.26/98.31 c Elapsed CPU time: 98.1361 s Remaining CPU time: 81.8639 s 98.26/98.31 c =============================================================================== 98.26/98.31 c | 151 | 50034 257612 533174 | 85870 128 37 | 0.000 % | 98.26/98.36 c =============================================================================== 98.26/98.36 c New solution: 290 98.26/98.36 o 290 98.26/98.36 c Elapsed CPU time: 98.1891 s Remaining CPU time: 81.8109 s 98.26/98.36 c =============================================================================== 98.26/98.36 c | 156 | 49798 257613 533474 | 85871 133 37 | 0.000 % | 98.36/98.43 c =============================================================================== 98.36/98.43 c New solution: 289 98.36/98.43 o 289 98.36/98.43 c Elapsed CPU time: 98.2521 s Remaining CPU time: 81.7479 s 98.36/98.43 c =============================================================================== 98.36/98.43 c | 159 | 49556 257614 533774 | 85871 136 36 | 0.000 % | 98.36/98.49 c =============================================================================== 98.36/98.49 c New solution: 288 98.36/98.49 o 288 98.36/98.49 c Elapsed CPU time: 98.3141 s Remaining CPU time: 81.6859 s 98.36/98.49 c =============================================================================== 98.36/98.49 c | 160 | 49314 257615 534074 | 85871 137 36 | 0.000 % | 98.46/98.54 c =============================================================================== 98.46/98.54 c New solution: 287 98.46/98.54 o 287 98.46/98.54 c Elapsed CPU time: 98.367 s Remaining CPU time: 81.633 s 98.46/98.54 c =============================================================================== 98.46/98.54 c | 168 | 49072 257616 534374 | 85872 145 35 | 0.000 % | 98.46/98.59 c =============================================================================== 98.46/98.59 c New solution: 286 98.46/98.59 o 286 98.46/98.59 c Elapsed CPU time: 98.418 s Remaining CPU time: 81.582 s 98.46/98.59 c =============================================================================== 98.46/98.59 c | 173 | 48830 257617 534674 | 85872 150 35 | 0.000 % | 98.56/98.66 c =============================================================================== 98.56/98.66 c New solution: 285 98.56/98.66 o 285 98.56/98.66 c Elapsed CPU time: 98.482 s Remaining CPU time: 81.518 s 98.56/98.66 c =============================================================================== 98.56/98.66 c | 173 | 48588 257618 534974 | 85872 150 35 | 0.000 % | 98.66/98.72 c =============================================================================== 98.66/98.72 c New solution: 284 98.66/98.72 o 284 98.66/98.72 c Elapsed CPU time: 98.544 s Remaining CPU time: 81.456 s 98.66/98.72 c =============================================================================== 98.66/98.72 c | 175 | 48346 257619 535274 | 85873 152 35 | 0.000 % | 98.66/98.79 c =============================================================================== 98.66/98.79 c New solution: 283 98.66/98.79 o 283 98.66/98.79 c Elapsed CPU time: 98.617 s Remaining CPU time: 81.383 s 98.66/98.79 c =============================================================================== 98.66/98.79 c | 221 | 48104 257620 535574 | 85873 198 37 | 0.000 % | 98.76/98.86 c | 321 | 48094 257620 535574 | 94460 298 43 | 34.293 % | 98.86/98.92 c =============================================================================== 98.86/98.92 c New solution: 282 98.86/98.92 o 282 98.86/98.92 c Elapsed CPU time: 98.747 s Remaining CPU time: 81.253 s 98.86/98.92 c =============================================================================== 98.86/98.92 c | 330 | 47862 257621 535874 | 85873 204 42 | 34.293 % | 98.86/98.98 c =============================================================================== 98.86/98.98 c New solution: 281 98.86/98.98 o 281 98.86/98.98 c Elapsed CPU time: 98.8 s Remaining CPU time: 81.2 s 98.86/98.98 c =============================================================================== 98.86/98.98 c | 338 | 47620 257622 536174 | 85874 212 41 | 34.293 % | 98.96/99.03 c =============================================================================== 98.96/99.03 c New solution: 280 98.96/99.03 o 280 98.96/99.03 c Elapsed CPU time: 98.852 s Remaining CPU time: 81.148 s 98.96/99.03 c =============================================================================== 98.96/99.03 c | 340 | 47378 257623 536474 | 85874 214 41 | 34.293 % | 98.96/99.08 c =============================================================================== 98.96/99.08 c New solution: 279 98.96/99.08 o 279 98.96/99.08 c Elapsed CPU time: 98.904 s Remaining CPU time: 81.096 s 98.96/99.08 c =============================================================================== 98.96/99.08 c | 343 | 47136 257624 536774 | 85874 217 40 | 34.293 % | 99.05/99.13 c =============================================================================== 99.05/99.13 c New solution: 278 99.05/99.13 o 278 99.05/99.13 c Elapsed CPU time: 98.953 s Remaining CPU time: 81.047 s 99.05/99.13 c =============================================================================== 99.05/99.13 c | 345 | 46894 257625 537074 | 85875 219 40 | 34.293 % | 99.05/99.18 c =============================================================================== 99.05/99.18 c New solution: 277 99.05/99.18 o 277 99.05/99.18 c Elapsed CPU time: 99.0029 s Remaining CPU time: 80.9971 s 99.05/99.18 c =============================================================================== 99.05/99.18 c | 351 | 46652 257626 537374 | 85875 225 39 | 34.293 % | 99.15/99.23 c =============================================================================== 99.15/99.23 c New solution: 276 99.15/99.23 o 276 99.15/99.23 c Elapsed CPU time: 99.0539 s Remaining CPU time: 80.9461 s 99.15/99.23 c =============================================================================== 99.15/99.23 c | 358 | 46410 257627 537674 | 85875 232 39 | 34.293 % | 99.15/99.29 c =============================================================================== 99.15/99.29 c New solution: 275 99.15/99.29 o 275 99.15/99.29 c Elapsed CPU time: 99.1039 s Remaining CPU time: 80.8961 s 99.15/99.29 c =============================================================================== 99.15/99.29 c | 359 | 46168 257628 537974 | 85876 233 39 | 34.293 % | 99.25/99.34 c =============================================================================== 99.25/99.34 c New solution: 274 99.25/99.34 o 274 99.25/99.34 c Elapsed CPU time: 99.1559 s Remaining CPU time: 80.8441 s 99.25/99.34 c =============================================================================== 99.25/99.34 c | 367 | 45926 257629 538274 | 85876 241 38 | 34.293 % | 99.35/99.41 c =============================================================================== 99.35/99.41 c New solution: 273 99.35/99.41 o 273 99.35/99.41 c Elapsed CPU time: 99.2259 s Remaining CPU time: 80.7741 s 99.35/99.41 c =============================================================================== 99.35/99.41 c | 438 | 45684 257630 538574 | 85876 312 37 | 34.293 % | 99.35/99.47 c =============================================================================== 99.35/99.47 c New solution: 272 99.35/99.47 o 272 99.35/99.47 c Elapsed CPU time: 99.2919 s Remaining CPU time: 80.7081 s 99.35/99.47 c =============================================================================== 99.35/99.47 c | 477 | 45442 257631 538874 | 85877 351 38 | 34.293 % | 99.45/99.53 c =============================================================================== 99.45/99.53 c New solution: 271 99.45/99.53 o 271 99.45/99.53 c Elapsed CPU time: 99.3439 s Remaining CPU time: 80.6561 s 99.45/99.53 c =============================================================================== 99.45/99.53 c | 479 | 45200 257632 539174 | 85877 139 27 | 34.293 % | 99.45/99.59 c =============================================================================== 99.45/99.59 c New solution: 270 99.45/99.59 o 270 99.45/99.59 c Elapsed CPU time: 99.4049 s Remaining CPU time: 80.5951 s 99.45/99.59 c =============================================================================== 99.45/99.59 c | 482 | 44958 257633 539474 | 85877 142 26 | 34.293 % | 99.55/99.64 c =============================================================================== 99.55/99.64 c New solution: 269 99.55/99.64 o 269 99.55/99.64 c Elapsed CPU time: 99.4539 s Remaining CPU time: 80.5461 s 99.55/99.64 c =============================================================================== 99.55/99.64 c | 487 | 44716 257634 539774 | 85878 147 26 | 34.293 % | 99.55/99.69 c =============================================================================== 99.55/99.69 c New solution: 268 99.55/99.69 o 268 99.55/99.69 c Elapsed CPU time: 99.5049 s Remaining CPU time: 80.4951 s 99.55/99.69 c =============================================================================== 99.55/99.69 c | 496 | 44474 257635 540074 | 85878 156 25 | 34.293 % | 99.66/99.75 c | 597 | 44451 257635 540074 | 94466 257 34 | 39.277 % | 99.76/99.83 c =============================================================================== 99.76/99.83 c New solution: 267 99.76/99.83 o 267 99.76/99.83 c Elapsed CPU time: 99.6409 s Remaining CPU time: 80.3591 s 99.76/99.83 c =============================================================================== 99.76/99.83 c | 688 | 44232 257636 540374 | 85878 348 36 | 39.277 % | 99.76/99.87 c =============================================================================== 99.76/99.87 c New solution: 266 99.76/99.87 o 266 99.76/99.87 c Elapsed CPU time: 99.6878 s Remaining CPU time: 80.3122 s 99.76/99.87 c =============================================================================== 99.76/99.87 c | 690 | 43990 257637 540674 | 85879 350 36 | 39.277 % | 99.86/99.92 c =============================================================================== 99.86/99.92 c New solution: 265 99.86/99.92 o 265 99.86/99.92 c Elapsed CPU time: 99.7378 s Remaining CPU time: 80.2622 s 99.86/99.92 c =============================================================================== 99.86/99.92 c | 695 | 43748 257638 540974 | 85879 355 35 | 39.277 % | 99.86/99.97 c =============================================================================== 99.86/99.97 c New solution: 264 99.86/99.97 o 264 99.86/99.97 c Elapsed CPU time: 99.7868 s Remaining CPU time: 80.2132 s 99.86/99.97 c =============================================================================== 99.86/99.97 c | 699 | 43506 257639 541274 | 85879 359 35 | 39.277 % | 99.96/100.02 c =============================================================================== 99.96/100.02 c New solution: 263 99.96/100.02 o 263 99.96/100.02 c Elapsed CPU time: 99.8348 s Remaining CPU time: 80.1652 s 99.96/100.02 c =============================================================================== 99.96/100.02 c | 700 | 43264 257640 541574 | 85880 360 35 | 39.277 % | 99.96/100.08 c =============================================================================== 99.96/100.08 c New solution: 262 99.96/100.08 o 262 99.96/100.08 c Elapsed CPU time: 99.8938 s Remaining CPU time: 80.1062 s 99.96/100.08 c =============================================================================== 99.96/100.08 c | 701 | 43022 257641 541874 | 85880 361 35 | 39.277 % | 100.06/100.14 c =============================================================================== 100.06/100.14 c New solution: 261 100.06/100.14 o 261 100.06/100.14 c Elapsed CPU time: 99.9548 s Remaining CPU time: 80.0452 s 100.06/100.14 c =============================================================================== 100.06/100.14 c | 711 | 42780 257642 542174 | 85880 149 19 | 39.277 % | 100.06/100.19 c =============================================================================== 100.06/100.19 c New solution: 260 100.06/100.19 o 260 100.06/100.19 c Elapsed CPU time: 99.9998 s Remaining CPU time: 80.0002 s 100.06/100.19 c =============================================================================== 100.06/100.19 c | 713 | 42538 257643 542474 | 85881 151 19 | 39.277 % | 100.15/100.25 c =============================================================================== 100.15/100.25 c New solution: 259 100.15/100.25 o 259 100.15/100.25 c Elapsed CPU time: 100.059 s Remaining CPU time: 79.9412 s 100.15/100.25 c =============================================================================== 100.15/100.25 c | 715 | 42296 257644 542774 | 85881 153 19 | 39.277 % | 100.25/100.31 c =============================================================================== 100.25/100.31 c New solution: 258 100.25/100.31 o 258 100.25/100.31 c Elapsed CPU time: 100.118 s Remaining CPU time: 79.8822 s 100.25/100.31 c =============================================================================== 100.25/100.31 c | 721 | 42054 257645 543074 | 85881 159 19 | 39.277 % | 100.25/100.36 c =============================================================================== 100.25/100.36 c New solution: 257 100.25/100.36 o 257 100.25/100.36 c Elapsed CPU time: 100.166 s Remaining CPU time: 79.8342 s 100.25/100.36 c =============================================================================== 100.25/100.36 c | 728 | 41812 257646 543374 | 85882 166 19 | 39.277 % | 100.35/100.43 c =============================================================================== 100.35/100.43 c New solution: 256 100.35/100.43 o 256 100.35/100.43 c Elapsed CPU time: 100.232 s Remaining CPU time: 79.7682 s 100.35/100.43 c =============================================================================== 100.35/100.43 c | 732 | 41570 257647 543674 | 85882 170 19 | 39.277 % | 100.35/100.47 c =============================================================================== 100.35/100.47 c New solution: 255 100.35/100.47 o 255 100.35/100.47 c Elapsed CPU time: 100.279 s Remaining CPU time: 79.7212 s 100.35/100.47 c =============================================================================== 100.35/100.47 c | 736 | 41328 257648 543974 | 85882 174 19 | 39.277 % | 100.45/100.52 c =============================================================================== 100.45/100.52 c New solution: 254 100.45/100.52 o 254 100.45/100.52 c Elapsed CPU time: 100.324 s Remaining CPU time: 79.6763 s 100.45/100.52 c =============================================================================== 100.45/100.52 c | 741 | 41086 257649 544274 | 85883 179 19 | 39.277 % | 100.45/100.57 c =============================================================================== 100.45/100.57 c New solution: 253 100.45/100.57 o 253 100.45/100.57 c Elapsed CPU time: 100.373 s Remaining CPU time: 79.6273 s 100.45/100.57 c =============================================================================== 100.45/100.57 c | 751 | 40844 257650 544574 | 85883 189 19 | 39.277 % | 100.55/100.63 c | 852 | 40833 257650 544574 | 94471 290 29 | 44.260 % | 100.66/100.71 c =============================================================================== 100.66/100.71 c New solution: 252 100.66/100.71 o 252 100.66/100.71 c Elapsed CPU time: 100.516 s Remaining CPU time: 79.4843 s 100.66/100.71 c =============================================================================== 100.66/100.71 c | 936 | 40602 257651 544874 | 85883 374 32 | 44.260 % | 100.66/100.76 c =============================================================================== 100.66/100.76 c New solution: 251 100.66/100.76 o 251 100.66/100.76 c Elapsed CPU time: 100.562 s Remaining CPU time: 79.4383 s 100.66/100.76 c =============================================================================== 100.66/100.76 c | 938 | 40360 257652 545174 | 85884 197 32 | 44.260 % | 100.76/100.81 c =============================================================================== 100.76/100.81 c New solution: 250 100.76/100.81 o 250 100.76/100.81 c Elapsed CPU time: 100.618 s Remaining CPU time: 79.3823 s 100.76/100.81 c =============================================================================== 100.76/100.81 c | 939 | 40118 257653 545474 | 85884 198 32 | 44.260 % | 100.76/100.87 c =============================================================================== 100.76/100.87 c New solution: 249 100.76/100.87 o 249 100.76/100.87 c Elapsed CPU time: 100.673 s Remaining CPU time: 79.3273 s 100.76/100.87 c =============================================================================== 100.76/100.87 c | 940 | 39876 257654 545774 | 85884 199 32 | 44.260 % | 100.85/100.92 c =============================================================================== 100.85/100.92 c New solution: 248 100.85/100.92 o 248 100.85/100.92 c Elapsed CPU time: 100.718 s Remaining CPU time: 79.2823 s 100.85/100.92 c =============================================================================== 100.85/100.92 c | 944 | 39634 257655 546074 | 85885 203 31 | 44.260 % | 100.85/100.96 c =============================================================================== 100.85/100.96 c New solution: 247 100.85/100.96 o 247 100.85/100.96 c Elapsed CPU time: 100.767 s Remaining CPU time: 79.2333 s 100.85/100.96 c =============================================================================== 100.85/100.96 c | 947 | 39392 257656 546374 | 85885 206 31 | 44.260 % | 100.95/101.02 c =============================================================================== 100.95/101.02 c New solution: 246 100.95/101.02 o 246 100.95/101.02 c Elapsed CPU time: 100.822 s Remaining CPU time: 79.1783 s 100.95/101.02 c =============================================================================== 100.95/101.02 c | 949 | 39150 257657 546674 | 85885 208 31 | 44.260 % | 100.95/101.07 c =============================================================================== 100.95/101.07 c New solution: 245 100.95/101.07 o 245 100.95/101.07 c Elapsed CPU time: 100.868 s Remaining CPU time: 79.1323 s 100.95/101.07 c =============================================================================== 100.95/101.07 c | 954 | 38908 257658 546974 | 85886 213 31 | 44.260 % | 101.06/101.12 c =============================================================================== 101.06/101.12 c New solution: 244 101.06/101.12 o 244 101.06/101.12 c Elapsed CPU time: 100.925 s Remaining CPU time: 79.0753 s 101.06/101.12 c =============================================================================== 101.06/101.12 c | 956 | 38666 257659 547274 | 85886 215 30 | 44.260 % | 101.06/101.18 c =============================================================================== 101.06/101.18 c New solution: 243 101.06/101.18 o 243 101.06/101.18 c Elapsed CPU time: 100.981 s Remaining CPU time: 79.0194 s 101.06/101.18 c =============================================================================== 101.06/101.18 c | 960 | 38424 257660 547574 | 85886 219 30 | 44.260 % | 101.16/101.23 c =============================================================================== 101.16/101.23 c New solution: 242 101.16/101.23 o 242 101.16/101.23 c Elapsed CPU time: 101.034 s Remaining CPU time: 78.9664 s 101.16/101.23 c =============================================================================== 101.16/101.23 c | 960 | 38182 257661 547874 | 85887 219 30 | 44.260 % | 101.16/101.29 c =============================================================================== 101.16/101.29 c New solution: 241 101.16/101.29 o 241 101.16/101.29 c Elapsed CPU time: 101.088 s Remaining CPU time: 78.9124 s 101.16/101.29 c =============================================================================== 101.16/101.29 c | 964 | 37940 257662 548174 | 85887 223 30 | 44.260 % | 101.25/101.35 c =============================================================================== 101.25/101.35 c New solution: 240 101.25/101.35 o 240 101.25/101.35 c Elapsed CPU time: 101.153 s Remaining CPU time: 78.8474 s 101.25/101.35 c =============================================================================== 101.25/101.35 c | 1017 | 37698 257663 548474 | 85887 276 31 | 44.260 % | 101.35/101.41 c =============================================================================== 101.35/101.41 c New solution: 239 101.35/101.41 o 239 101.35/101.41 c Elapsed CPU time: 101.205 s Remaining CPU time: 78.7954 s 101.35/101.41 c =============================================================================== 101.35/101.41 c | 1028 | 37456 257664 548774 | 85888 287 31 | 44.260 % | 101.35/101.45 c =============================================================================== 101.35/101.45 c New solution: 238 101.35/101.45 o 238 101.35/101.45 c Elapsed CPU time: 101.251 s Remaining CPU time: 78.7494 s 101.35/101.45 c =============================================================================== 101.35/101.45 c | 1033 | 37214 257665 549074 | 85888 72 19 | 44.260 % | 101.45/101.50 c =============================================================================== 101.45/101.50 c New solution: 237 101.45/101.50 o 237 101.45/101.50 c Elapsed CPU time: 101.297 s Remaining CPU time: 78.7034 s 101.45/101.50 c =============================================================================== 101.45/101.50 c | 1045 | 36972 257666 549374 | 85888 84 19 | 44.260 % | 101.45/101.55 c =============================================================================== 101.45/101.55 c New solution: 236 101.45/101.55 o 236 101.45/101.55 c Elapsed CPU time: 101.345 s Remaining CPU time: 78.6554 s 101.45/101.55 c =============================================================================== 101.45/101.55 c | 1062 | 36730 257667 549674 | 85889 101 20 | 44.260 % | 101.55/101.61 c =============================================================================== 101.55/101.61 c New solution: 235 101.55/101.61 o 235 101.55/101.61 c Elapsed CPU time: 101.407 s Remaining CPU time: 78.5934 s 101.55/101.61 c =============================================================================== 101.55/101.61 c | 1097 | 36488 257668 549974 | 85889 136 27 | 44.260 % | 101.55/101.66 c =============================================================================== 101.55/101.66 c New solution: 234 101.55/101.66 o 234 101.55/101.66 c Elapsed CPU time: 101.456 s Remaining CPU time: 78.5444 s 101.55/101.66 c =============================================================================== 101.55/101.66 c | 1109 | 36246 257669 550274 | 85889 148 28 | 44.260 % | 101.65/101.70 c =============================================================================== 101.65/101.70 c New solution: 233 101.65/101.70 o 233 101.65/101.70 c Elapsed CPU time: 101.498 s Remaining CPU time: 78.5024 s 101.65/101.70 c =============================================================================== 101.65/101.70 c | 1114 | 36004 257670 550574 | 85890 153 27 | 44.260 % | 101.65/101.75 c =============================================================================== 101.65/101.75 c New solution: 232 101.65/101.75 o 232 101.65/101.75 c Elapsed CPU time: 101.545 s Remaining CPU time: 78.4554 s 101.65/101.75 c =============================================================================== 101.65/101.75 c | 1118 | 35762 257671 550874 | 85890 157 27 | 44.260 % | 101.65/101.79 c =============================================================================== 101.65/101.79 c New solution: 231 101.65/101.79 o 231 101.65/101.79 c Elapsed CPU time: 101.589 s Remaining CPU time: 78.4114 s 101.65/101.79 c =============================================================================== 101.65/101.79 c | 1121 | 35520 257672 551174 | 85890 160 27 | 44.260 % | 101.75/101.84 c =============================================================================== 101.75/101.84 c New solution: 230 101.75/101.84 o 230 101.75/101.84 c Elapsed CPU time: 101.638 s Remaining CPU time: 78.3625 s 101.75/101.84 c =============================================================================== 101.75/101.84 c | 1122 | 35278 257673 551474 | 85891 161 27 | 44.260 % | 101.75/101.89 c =============================================================================== 101.75/101.89 c New solution: 229 101.75/101.89 o 229 101.75/101.89 c Elapsed CPU time: 101.688 s Remaining CPU time: 78.3125 s 101.75/101.89 c =============================================================================== 101.75/101.89 c | 1124 | 35036 257674 551774 | 85891 163 26 | 44.260 % | 101.85/101.93 c =============================================================================== 101.85/101.93 c New solution: 228 101.85/101.93 o 228 101.85/101.93 c Elapsed CPU time: 101.729 s Remaining CPU time: 78.2715 s 101.85/101.93 c =============================================================================== 101.85/101.93 c | 1127 | 34794 257675 552074 | 85891 166 26 | 44.260 % | 101.85/101.98 c =============================================================================== 101.85/101.98 c New solution: 227 101.85/101.98 o 227 101.85/101.98 c Elapsed CPU time: 101.771 s Remaining CPU time: 78.2295 s 101.85/101.98 c =============================================================================== 101.85/101.98 c | 1131 | 34552 257676 552374 | 85892 170 26 | 44.260 % | 101.95/102.02 c =============================================================================== 101.95/102.02 c New solution: 226 101.95/102.02 o 226 101.95/102.02 c Elapsed CPU time: 101.817 s Remaining CPU time: 78.1835 s 101.95/102.02 c =============================================================================== 101.95/102.02 c | 1142 | 34310 257677 552674 | 85892 181 25 | 44.260 % | 101.95/102.08 c =============================================================================== 101.95/102.08 c New solution: 225 101.95/102.08 o 225 101.95/102.08 c Elapsed CPU time: 101.87 s Remaining CPU time: 78.1305 s 101.95/102.08 c =============================================================================== 101.95/102.08 c | 1147 | 34068 257678 552974 | 85892 186 25 | 44.260 % | 102.05/102.15 c =============================================================================== 102.05/102.15 c New solution: 224 102.05/102.15 o 224 102.05/102.15 c Elapsed CPU time: 101.943 s Remaining CPU time: 78.0575 s 102.05/102.15 c =============================================================================== 102.05/102.15 c | 1187 | 33826 257679 553274 | 85893 99 23 | 44.260 % | 102.05/102.20 c =============================================================================== 102.05/102.20 c New solution: 223 102.05/102.20 o 223 102.05/102.20 c Elapsed CPU time: 101.993 s Remaining CPU time: 78.0065 s 102.05/102.20 c =============================================================================== 102.05/102.20 c | 1190 | 33584 257680 553574 | 85893 102 23 | 44.260 % | 102.16/102.25 c =============================================================================== 102.16/102.25 c New solution: 222 102.16/102.25 o 222 102.16/102.25 c Elapsed CPU time: 102.042 s Remaining CPU time: 77.9575 s 102.16/102.25 c =============================================================================== 102.16/102.25 c | 1191 | 33342 257681 553874 | 85893 103 23 | 44.260 % | 102.26/102.30 c =============================================================================== 102.26/102.30 c New solution: 221 102.26/102.30 o 221 102.26/102.30 c Elapsed CPU time: 102.093 s Remaining CPU time: 77.9065 s 102.26/102.30 c =============================================================================== 102.26/102.30 c | 1197 | 33100 257682 554174 | 85894 109 23 | 44.260 % | 102.26/102.36 c =============================================================================== 102.26/102.36 c New solution: 220 102.26/102.36 o 220 102.26/102.36 c Elapsed CPU time: 102.15 s Remaining CPU time: 77.8495 s 102.26/102.36 c =============================================================================== 102.26/102.36 c | 1202 | 32858 257683 554474 | 85894 114 22 | 44.260 % | 102.35/102.41 c =============================================================================== 102.35/102.41 c New solution: 219 102.35/102.41 o 219 102.35/102.41 c Elapsed CPU time: 102.203 s Remaining CPU time: 77.7965 s 102.35/102.41 c =============================================================================== 102.35/102.41 c | 1212 | 32616 257684 554774 | 85894 124 21 | 44.260 % | 102.35/102.47 c =============================================================================== 102.35/102.47 c New solution: 218 102.35/102.47 o 218 102.35/102.47 c Elapsed CPU time: 102.255 s Remaining CPU time: 77.7445 s 102.35/102.47 c =============================================================================== 102.35/102.47 c | 1216 | 32374 257685 555074 | 85895 128 21 | 44.260 % | 102.45/102.52 c =============================================================================== 102.45/102.52 c New solution: 217 102.45/102.52 o 217 102.45/102.52 c Elapsed CPU time: 102.307 s Remaining CPU time: 77.6926 s 102.45/102.52 c =============================================================================== 102.45/102.52 c | 1222 | 32132 257686 555374 | 85895 134 21 | 44.260 % | 102.45/102.57 c =============================================================================== 102.45/102.57 c New solution: 216 102.45/102.57 o 216 102.45/102.57 c Elapsed CPU time: 102.354 s Remaining CPU time: 77.6456 s 102.45/102.57 c =============================================================================== 102.45/102.57 c | 1227 | 31890 257687 555674 | 85895 139 21 | 44.260 % | 102.55/102.62 c =============================================================================== 102.55/102.62 c New solution: 215 102.55/102.62 o 215 102.55/102.62 c Elapsed CPU time: 102.408 s Remaining CPU time: 77.5916 s 102.55/102.62 c =============================================================================== 102.55/102.62 c | 1239 | 31648 257688 555974 | 85896 151 20 | 44.260 % | 102.55/102.67 c =============================================================================== 102.55/102.67 c New solution: 214 102.55/102.67 o 214 102.55/102.67 c Elapsed CPU time: 102.453 s Remaining CPU time: 77.5466 s 102.55/102.67 c =============================================================================== 102.55/102.67 c | 1252 | 31406 257689 556274 | 85896 164 20 | 44.260 % | 102.65/102.72 c =============================================================================== 102.65/102.72 c New solution: 213 102.65/102.72 o 213 102.65/102.72 c Elapsed CPU time: 102.504 s Remaining CPU time: 77.4956 s 102.65/102.72 c =============================================================================== 102.65/102.72 c | 1283 | 31164 257690 556574 | 85896 195 24 | 44.260 % | 102.65/102.79 c =============================================================================== 102.65/102.79 c New solution: 212 102.65/102.79 o 212 102.65/102.79 c Elapsed CPU time: 102.569 s Remaining CPU time: 77.4306 s 102.65/102.79 c =============================================================================== 102.65/102.79 c | 1314 | 30922 257691 556874 | 85897 226 27 | 44.260 % | 102.75/102.83 c =============================================================================== 102.75/102.83 c New solution: 211 102.75/102.83 o 211 102.75/102.83 c Elapsed CPU time: 102.614 s Remaining CPU time: 77.3856 s 102.75/102.83 c =============================================================================== 102.75/102.83 c | 1319 | 30680 257692 557174 | 85897 96 19 | 44.260 % | 102.75/102.88 c =============================================================================== 102.75/102.88 c New solution: 210 102.75/102.88 o 210 102.75/102.88 c Elapsed CPU time: 102.664 s Remaining CPU time: 77.3356 s 102.75/102.89 c =============================================================================== 102.75/102.89 c | 1325 | 30438 257693 557474 | 85897 102 19 | 44.260 % | 102.85/102.94 c =============================================================================== 102.85/102.94 c New solution: 209 102.85/102.94 o 209 102.85/102.94 c Elapsed CPU time: 102.716 s Remaining CPU time: 77.2836 s 102.85/102.94 c =============================================================================== 102.85/102.94 c | 1334 | 30196 257694 557774 | 85898 111 20 | 44.260 % | 102.85/102.98 c =============================================================================== 102.85/102.98 c New solution: 208 102.85/102.98 o 208 102.85/102.98 c Elapsed CPU time: 102.759 s Remaining CPU time: 77.2406 s 102.85/102.98 c =============================================================================== 102.85/102.98 c | 1338 | 29954 257695 558074 | 85898 115 19 | 44.260 % | 102.95/103.03 c =============================================================================== 102.95/103.03 c New solution: 207 102.95/103.03 o 207 102.95/103.03 c Elapsed CPU time: 102.807 s Remaining CPU time: 77.1926 s 102.95/103.03 c =============================================================================== 102.95/103.03 c | 1339 | 29712 257696 558374 | 85898 116 19 | 44.260 % | 102.95/103.08 c =============================================================================== 102.95/103.08 c New solution: 206 102.95/103.08 o 206 102.95/103.08 c Elapsed CPU time: 102.855 s Remaining CPU time: 77.1446 s 102.95/103.08 c =============================================================================== 102.95/103.08 c | 1345 | 29470 257697 558674 | 85899 122 19 | 44.260 % | 103.05/103.13 c =============================================================================== 103.05/103.13 c New solution: 205 103.05/103.13 o 205 103.05/103.13 c Elapsed CPU time: 102.905 s Remaining CPU time: 77.0946 s 103.05/103.13 c =============================================================================== 103.05/103.13 c | 1348 | 29228 257698 558974 | 85899 125 19 | 44.260 % | 103.05/103.18 c =============================================================================== 103.05/103.18 c New solution: 204 103.05/103.18 o 204 103.05/103.18 c Elapsed CPU time: 102.953 s Remaining CPU time: 77.0467 s 103.05/103.18 c =============================================================================== 103.05/103.18 c | 1351 | 28986 257699 559274 | 85899 128 19 | 44.260 % | 103.15/103.22 c =============================================================================== 103.15/103.22 c New solution: 203 103.15/103.22 o 203 103.15/103.22 c Elapsed CPU time: 102.994 s Remaining CPU time: 77.0057 s 103.15/103.22 c =============================================================================== 103.15/103.22 c | 1360 | 28744 257700 559574 | 85900 137 19 | 44.260 % | 103.15/103.27 c =============================================================================== 103.15/103.27 c New solution: 202 103.15/103.27 o 202 103.15/103.27 c Elapsed CPU time: 103.047 s Remaining CPU time: 76.9527 s 103.15/103.27 c =============================================================================== 103.15/103.27 c | 1378 | 28502 257701 559874 | 85900 155 20 | 44.260 % | 103.25/103.32 c =============================================================================== 103.25/103.32 c New solution: 201 103.25/103.32 o 201 103.25/103.32 c Elapsed CPU time: 103.099 s Remaining CPU time: 76.9007 s 103.25/103.32 c =============================================================================== 103.25/103.32 c | 1401 | 28260 257702 560174 | 85900 178 23 | 44.260 % | 103.25/103.37 c =============================================================================== 103.25/103.37 c New solution: 200 103.25/103.37 o 200 103.25/103.37 c Elapsed CPU time: 103.146 s Remaining CPU time: 76.8537 s 103.25/103.37 c =============================================================================== 103.25/103.37 c | 1406 | 28018 257703 560474 | 85901 183 22 | 44.260 % | 103.35/103.41 c =============================================================================== 103.35/103.41 c New solution: 199 103.35/103.41 o 199 103.35/103.41 c Elapsed CPU time: 103.186 s Remaining CPU time: 76.8137 s 103.35/103.41 c =============================================================================== 103.35/103.41 c | 1420 | 27776 257704 560774 | 85901 197 23 | 44.260 % | 103.35/103.45 c =============================================================================== 103.35/103.45 c New solution: 198 103.35/103.45 o 198 103.35/103.45 c Elapsed CPU time: 103.225 s Remaining CPU time: 76.7747 s 103.35/103.45 c =============================================================================== 103.35/103.45 c | 1428 | 27534 257705 561074 | 85901 205 23 | 44.260 % | 103.44/103.50 c =============================================================================== 103.44/103.50 c New solution: 197 103.44/103.50 o 197 103.44/103.50 c Elapsed CPU time: 103.271 s Remaining CPU time: 76.7287 s 103.44/103.50 c =============================================================================== 103.44/103.50 c | 1430 | 27292 257706 561374 | 85902 207 22 | 44.260 % | 103.44/103.54 c =============================================================================== 103.44/103.54 c New solution: 196 103.44/103.54 o 196 103.44/103.54 c Elapsed CPU time: 103.316 s Remaining CPU time: 76.6837 s 103.44/103.54 c =============================================================================== 103.44/103.54 c | 1438 | 27050 257707 561674 | 85902 215 22 | 44.260 % | 103.44/103.58 c =============================================================================== 103.44/103.58 c New solution: 195 103.44/103.58 o 195 103.44/103.58 c Elapsed CPU time: 103.353 s Remaining CPU time: 76.6467 s 103.44/103.58 c =============================================================================== 103.44/103.58 c | 1442 | 26808 257708 561974 | 85902 219 22 | 44.260 % | 103.54/103.62 c =============================================================================== 103.54/103.62 c New solution: 194 103.54/103.62 o 194 103.54/103.62 c Elapsed CPU time: 103.393 s Remaining CPU time: 76.6067 s 103.54/103.62 c =============================================================================== 103.54/103.62 c | 1448 | 26566 257709 562274 | 85903 70 14 | 44.260 % | 103.54/103.67 c =============================================================================== 103.54/103.67 c New solution: 193 103.54/103.67 o 193 103.54/103.67 c Elapsed CPU time: 103.44 s Remaining CPU time: 76.5597 s 103.54/103.67 c =============================================================================== 103.54/103.67 c | 1481 | 26324 257710 562574 | 85903 103 20 | 44.260 % | 103.65/103.72 c =============================================================================== 103.65/103.72 c New solution: 192 103.65/103.72 o 192 103.65/103.72 c Elapsed CPU time: 103.484 s Remaining CPU time: 76.5157 s 103.65/103.72 c =============================================================================== 103.65/103.72 c | 1492 | 26082 257711 562874 | 85903 114 21 | 44.260 % | 103.65/103.76 c =============================================================================== 103.65/103.76 c New solution: 191 103.65/103.76 o 191 103.65/103.76 c Elapsed CPU time: 103.523 s Remaining CPU time: 76.4767 s 103.65/103.76 c =============================================================================== 103.65/103.76 c | 1500 | 25840 257712 563174 | 85904 122 21 | 44.260 % | 103.74/103.80 c =============================================================================== 103.74/103.80 c New solution: 190 103.74/103.80 o 190 103.74/103.80 c Elapsed CPU time: 103.563 s Remaining CPU time: 76.4367 s 103.74/103.80 c =============================================================================== 103.74/103.80 c | 1512 | 25598 257713 563474 | 85904 134 21 | 44.260 % | 103.74/103.84 c =============================================================================== 103.74/103.84 c New solution: 189 103.74/103.84 o 189 103.74/103.84 c Elapsed CPU time: 103.607 s Remaining CPU time: 76.3928 s 103.74/103.85 c =============================================================================== 103.74/103.85 c | 1525 | 25356 257714 563774 | 85904 147 23 | 44.260 % | 103.74/103.88 c =============================================================================== 103.74/103.88 c New solution: 188 103.74/103.88 o 188 103.74/103.88 c Elapsed CPU time: 103.645 s Remaining CPU time: 76.3548 s 103.74/103.88 c =============================================================================== 103.74/103.88 c | 1528 | 25114 257715 564074 | 85905 150 22 | 44.260 % | 103.84/103.93 c =============================================================================== 103.84/103.93 c New solution: 187 103.84/103.93 o 187 103.84/103.93 c Elapsed CPU time: 103.688 s Remaining CPU time: 76.3118 s 103.84/103.93 c =============================================================================== 103.84/103.93 c | 1530 | 24872 257716 564374 | 85905 152 22 | 44.260 % | 103.84/103.96 c =============================================================================== 103.84/103.96 c New solution: 186 103.84/103.96 o 186 103.84/103.96 c Elapsed CPU time: 103.724 s Remaining CPU time: 76.2758 s 103.84/103.96 c =============================================================================== 103.84/103.96 c | 1532 | 24630 257717 564674 | 85905 154 22 | 44.260 % | 103.94/104.01 c =============================================================================== 103.94/104.01 c New solution: 185 103.94/104.01 o 185 103.94/104.01 c Elapsed CPU time: 103.773 s Remaining CPU time: 76.2268 s 103.94/104.01 c =============================================================================== 103.94/104.01 c | 1577 | 24388 257718 564974 | 85906 199 25 | 44.260 % | 104.04/104.11 c | 1678 | 24378 257718 564974 | 94496 300 33 | 66.852 % | 104.04/104.15 c =============================================================================== 104.04/104.15 c New solution: 184 104.04/104.15 o 184 104.04/104.15 c Elapsed CPU time: 103.907 s Remaining CPU time: 76.0928 s 104.04/104.15 c =============================================================================== 104.04/104.15 c | 1680 | 24146 257719 565274 | 85906 302 33 | 66.852 % | 104.04/104.19 c =============================================================================== 104.04/104.19 c New solution: 183 104.04/104.19 o 183 104.04/104.19 c Elapsed CPU time: 103.952 s Remaining CPU time: 76.0478 s 104.04/104.19 c =============================================================================== 104.04/104.19 c | 1683 | 23904 257720 565574 | 85906 305 32 | 66.852 % | 104.14/104.23 c =============================================================================== 104.14/104.23 c New solution: 182 104.14/104.23 o 182 104.14/104.23 c Elapsed CPU time: 103.989 s Remaining CPU time: 76.0108 s 104.14/104.23 c =============================================================================== 104.14/104.23 c | 1688 | 23662 257721 565874 | 85907 310 32 | 66.852 % | 104.14/104.28 c =============================================================================== 104.14/104.28 c New solution: 181 104.14/104.28 o 181 104.14/104.28 c Elapsed CPU time: 104.034 s Remaining CPU time: 75.9658 s 104.14/104.28 c =============================================================================== 104.14/104.28 c | 1698 | 23420 257722 566174 | 85907 320 32 | 66.852 % | 104.24/104.32 c =============================================================================== 104.24/104.32 c New solution: 180 104.24/104.32 o 180 104.24/104.32 c Elapsed CPU time: 104.077 s Remaining CPU time: 75.9228 s 104.24/104.32 c =============================================================================== 104.24/104.32 c | 1702 | 23178 257723 566474 | 85907 324 31 | 66.852 % | 104.24/104.36 c =============================================================================== 104.24/104.36 c New solution: 179 104.24/104.36 o 179 104.24/104.36 c Elapsed CPU time: 104.119 s Remaining CPU time: 75.8808 s 104.24/104.36 c =============================================================================== 104.24/104.36 c | 1704 | 22936 257724 566774 | 85908 326 31 | 66.852 % | 104.34/104.41 c =============================================================================== 104.34/104.41 c New solution: 178 104.34/104.41 o 178 104.34/104.41 c Elapsed CPU time: 104.161 s Remaining CPU time: 75.8388 s 104.34/104.41 c =============================================================================== 104.34/104.41 c | 1711 | 22694 257725 567074 | 85908 333 31 | 66.852 % | 104.34/104.45 c =============================================================================== 104.34/104.45 c New solution: 177 104.34/104.45 o 177 104.34/104.45 c Elapsed CPU time: 104.203 s Remaining CPU time: 75.7968 s 104.34/104.45 c =============================================================================== 104.34/104.45 c | 1720 | 22452 257726 567374 | 85908 112 23 | 66.852 % | 104.34/104.49 c =============================================================================== 104.34/104.49 c New solution: 176 104.34/104.49 o 176 104.34/104.49 c Elapsed CPU time: 104.246 s Remaining CPU time: 75.7538 s 104.34/104.49 c =============================================================================== 104.34/104.49 c | 1753 | 22210 257727 567674 | 85909 145 25 | 66.852 % | 104.44/104.58 c | 1853 | 22197 257727 567674 | 94499 245 40 | 69.842 % | 104.53/104.62 c =============================================================================== 104.53/104.62 c New solution: 175 104.53/104.62 o 175 104.53/104.62 c Elapsed CPU time: 104.372 s Remaining CPU time: 75.6279 s 104.53/104.62 c =============================================================================== 104.53/104.62 c | 1858 | 21968 257728 567974 | 85909 250 39 | 69.842 % | 104.53/104.66 c =============================================================================== 104.53/104.66 c New solution: 174 104.53/104.66 o 174 104.53/104.66 c Elapsed CPU time: 104.412 s Remaining CPU time: 75.5879 s 104.53/104.66 c =============================================================================== 104.53/104.66 c | 1860 | 21726 257729 568274 | 85909 252 39 | 69.842 % | 104.64/104.70 c =============================================================================== 104.64/104.70 c New solution: 173 104.64/104.70 o 173 104.64/104.70 c Elapsed CPU time: 104.453 s Remaining CPU time: 75.5469 s 104.64/104.70 c =============================================================================== 104.64/104.70 c | 1863 | 21484 257730 568574 | 85910 255 38 | 69.842 % | 104.64/104.74 c =============================================================================== 104.64/104.74 c New solution: 172 104.64/104.74 o 172 104.64/104.75 c Elapsed CPU time: 104.493 s Remaining CPU time: 75.5069 s 104.64/104.75 c =============================================================================== 104.64/104.75 c | 1865 | 21242 257731 568874 | 85910 257 38 | 69.842 % | 104.64/104.79 c =============================================================================== 104.64/104.79 c New solution: 171 104.64/104.79 o 171 104.64/104.79 c Elapsed CPU time: 104.534 s Remaining CPU time: 75.4659 s 104.64/104.79 c =============================================================================== 104.64/104.79 c | 1867 | 21000 257732 569174 | 85910 259 38 | 69.842 % | 104.74/104.82 c =============================================================================== 104.74/104.82 c New solution: 170 104.74/104.82 o 170 104.74/104.82 c Elapsed CPU time: 104.569 s Remaining CPU time: 75.4309 s 104.74/104.82 c =============================================================================== 104.74/104.82 c | 1870 | 20758 257733 569474 | 85911 262 38 | 69.842 % | 104.74/104.87 c =============================================================================== 104.74/104.87 c New solution: 169 104.74/104.87 o 169 104.74/104.87 c Elapsed CPU time: 104.613 s Remaining CPU time: 75.3869 s 104.74/104.87 c =============================================================================== 104.74/104.87 c | 1876 | 20516 257734 569774 | 85911 268 37 | 69.842 % | 104.84/104.91 c =============================================================================== 104.84/104.91 c New solution: 168 104.84/104.91 o 168 104.84/104.91 c Elapsed CPU time: 104.657 s Remaining CPU time: 75.3429 s 104.84/104.91 c =============================================================================== 104.84/104.91 c | 1882 | 20274 257735 570074 | 85911 274 37 | 69.842 % | 104.84/104.95 c =============================================================================== 104.84/104.95 c New solution: 167 104.84/104.95 o 167 104.84/104.95 c Elapsed CPU time: 104.699 s Remaining CPU time: 75.3009 s 104.84/104.95 c =============================================================================== 104.84/104.95 c | 1887 | 20032 257736 570374 | 85912 279 36 | 69.842 % | 104.94/105.00 c =============================================================================== 104.94/105.00 c New solution: 166 104.94/105.00 o 166 104.94/105.00 c Elapsed CPU time: 104.744 s Remaining CPU time: 75.2559 s 104.94/105.00 c =============================================================================== 104.94/105.00 c | 1894 | 19790 257737 570674 | 85912 286 36 | 69.842 % | 104.94/105.03 c =============================================================================== 104.94/105.03 c New solution: 165 104.94/105.03 o 165 104.94/105.03 c Elapsed CPU time: 104.782 s Remaining CPU time: 75.2179 s 104.94/105.03 c =============================================================================== 104.94/105.03 c | 1905 | 19548 257738 570974 | 85912 297 35 | 69.842 % | 104.94/105.09 c =============================================================================== 104.94/105.09 c New solution: 164 104.94/105.09 o 164 104.94/105.09 c Elapsed CPU time: 104.837 s Remaining CPU time: 75.1629 s 104.94/105.09 c =============================================================================== 104.94/105.09 c | 1942 | 19306 257739 571274 | 85913 334 35 | 69.842 % | 105.04/105.13 c =============================================================================== 105.04/105.13 c New solution: 163 105.04/105.13 o 163 105.04/105.13 c Elapsed CPU time: 104.878 s Remaining CPU time: 75.1219 s 105.04/105.13 c =============================================================================== 105.04/105.13 c | 1950 | 19064 257740 571574 | 85913 342 35 | 69.842 % | 105.04/105.17 c =============================================================================== 105.04/105.17 c New solution: 162 105.04/105.17 o 162 105.04/105.17 c Elapsed CPU time: 104.912 s Remaining CPU time: 75.088 s 105.04/105.17 c =============================================================================== 105.04/105.17 c | 1953 | 18822 257741 571874 | 85913 345 35 | 69.842 % | 105.13/105.21 c =============================================================================== 105.13/105.21 c New solution: 161 105.13/105.21 o 161 105.13/105.21 c Elapsed CPU time: 104.951 s Remaining CPU time: 75.049 s 105.13/105.21 c =============================================================================== 105.13/105.21 c | 1955 | 18580 257742 572174 | 85914 347 35 | 69.842 % | 105.13/105.25 c =============================================================================== 105.13/105.25 c New solution: 160 105.13/105.25 o 160 105.13/105.25 c Elapsed CPU time: 104.99 s Remaining CPU time: 75.01 s 105.13/105.25 c =============================================================================== 105.13/105.25 c | 1957 | 18338 257743 572474 | 85914 349 35 | 69.842 % | 105.13/105.28 c =============================================================================== 105.13/105.28 c New solution: 159 105.13/105.28 o 159 105.13/105.28 c Elapsed CPU time: 105.025 s Remaining CPU time: 74.975 s 105.13/105.28 c =============================================================================== 105.13/105.28 c | 1969 | 18096 257744 572774 | 85914 361 34 | 69.842 % | 105.23/105.32 c =============================================================================== 105.23/105.32 c New solution: 158 105.23/105.32 o 158 105.23/105.32 c Elapsed CPU time: 105.061 s Remaining CPU time: 74.939 s 105.23/105.32 c =============================================================================== 105.23/105.32 c | 1977 | 17854 257745 573074 | 85915 369 34 | 69.842 % | 105.23/105.36 c =============================================================================== 105.23/105.36 c New solution: 157 105.23/105.36 o 157 105.23/105.37 c Elapsed CPU time: 105.104 s Remaining CPU time: 74.896 s 105.23/105.37 c =============================================================================== 105.23/105.37 c | 1983 | 17612 257746 573374 | 85915 375 33 | 69.842 % | 105.33/105.41 c =============================================================================== 105.33/105.41 c New solution: 156 105.33/105.41 o 156 105.33/105.41 c Elapsed CPU time: 105.146 s Remaining CPU time: 74.854 s 105.33/105.41 c =============================================================================== 105.33/105.41 c | 1989 | 17370 257747 573674 | 85915 78 20 | 69.842 % | 105.33/105.45 c =============================================================================== 105.33/105.45 c New solution: 155 105.33/105.45 o 155 105.33/105.45 c Elapsed CPU time: 105.184 s Remaining CPU time: 74.816 s 105.33/105.45 c =============================================================================== 105.33/105.45 c | 2004 | 17128 257748 573974 | 85916 93 20 | 69.842 % | 105.33/105.49 c =============================================================================== 105.33/105.49 c New solution: 154 105.33/105.49 o 154 105.33/105.49 c Elapsed CPU time: 105.225 s Remaining CPU time: 74.775 s 105.33/105.49 c =============================================================================== 105.33/105.49 c | 2011 | 16886 257749 574274 | 85916 100 20 | 69.842 % | 105.44/105.52 c =============================================================================== 105.44/105.52 c New solution: 153 105.44/105.52 o 153 105.44/105.52 c Elapsed CPU time: 105.26 s Remaining CPU time: 74.74 s 105.44/105.52 c =============================================================================== 105.44/105.52 c | 2018 | 16644 257750 574574 | 85916 107 20 | 69.842 % | 105.44/105.56 c =============================================================================== 105.44/105.56 c New solution: 152 105.44/105.56 o 152 105.44/105.56 c Elapsed CPU time: 105.293 s Remaining CPU time: 74.707 s 105.44/105.56 c =============================================================================== 105.44/105.56 c | 2023 | 16402 257751 574874 | 85917 112 20 | 69.842 % | 105.44/105.59 c =============================================================================== 105.44/105.59 c New solution: 151 105.44/105.59 o 151 105.44/105.59 c Elapsed CPU time: 105.329 s Remaining CPU time: 74.671 s 105.44/105.59 c =============================================================================== 105.44/105.59 c | 2024 | 16160 257752 575174 | 85917 113 20 | 69.842 % | 105.54/105.63 c =============================================================================== 105.54/105.63 c New solution: 150 105.54/105.63 o 150 105.54/105.63 c Elapsed CPU time: 105.363 s Remaining CPU time: 74.637 s 105.54/105.63 c =============================================================================== 105.54/105.63 c | 2037 | 15918 257753 575474 | 85917 126 21 | 69.842 % | 105.54/105.67 c | 2139 | 15885 257753 575474 | 94509 228 34 | 78.479 % | 105.73/105.81 c | 2289 | 15874 257753 575474 | 103960 378 41 | 78.479 % | 105.73/105.85 c =============================================================================== 105.73/105.85 c New solution: 149 105.73/105.85 o 149 105.73/105.85 c Elapsed CPU time: 105.575 s Remaining CPU time: 74.425 s 105.73/105.85 c =============================================================================== 105.73/105.85 c | 2294 | 15676 257754 575774 | 85918 383 40 | 78.479 % | 105.73/105.88 c =============================================================================== 105.73/105.88 c New solution: 148 105.73/105.88 o 148 105.73/105.88 c Elapsed CPU time: 105.612 s Remaining CPU time: 74.3881 s 105.73/105.88 c =============================================================================== 105.73/105.88 c | 2295 | 15434 257755 576074 | 85918 384 40 | 78.479 % | 105.83/105.92 c =============================================================================== 105.83/105.92 c New solution: 147 105.83/105.92 o 147 105.83/105.92 c Elapsed CPU time: 105.649 s Remaining CPU time: 74.3511 s 105.83/105.92 c =============================================================================== 105.83/105.92 c | 2299 | 15192 257756 576374 | 85918 388 40 | 78.479 % | 105.83/105.96 c =============================================================================== 105.83/105.96 c New solution: 146 105.83/105.96 o 146 105.83/105.96 c Elapsed CPU time: 105.686 s Remaining CPU time: 74.3141 s 105.83/105.96 c =============================================================================== 105.83/105.96 c | 2303 | 14950 257757 576674 | 85919 392 40 | 78.479 % | 105.93/106.00 c =============================================================================== 105.93/106.00 c New solution: 145 105.93/106.00 o 145 105.93/106.00 c Elapsed CPU time: 105.723 s Remaining CPU time: 74.2771 s 105.93/106.00 c =============================================================================== 105.93/106.00 c | 2307 | 14708 257758 576974 | 85919 396 40 | 78.479 % | 105.93/106.03 c =============================================================================== 105.93/106.03 c New solution: 144 105.93/106.03 o 144 105.93/106.03 c Elapsed CPU time: 105.759 s Remaining CPU time: 74.2411 s 105.93/106.03 c =============================================================================== 105.93/106.03 c | 2307 | 14466 257759 577274 | 85919 396 40 | 78.479 % | 105.93/106.07 c =============================================================================== 105.93/106.07 c New solution: 143 105.93/106.07 o 143 105.93/106.07 c Elapsed CPU time: 105.794 s Remaining CPU time: 74.2061 s 105.93/106.07 c =============================================================================== 105.93/106.07 c | 2307 | 14224 257760 577574 | 85920 396 40 | 78.479 % | 106.02/106.11 c =============================================================================== 106.02/106.11 c New solution: 142 106.02/106.11 o 142 106.02/106.11 c Elapsed CPU time: 105.828 s Remaining CPU time: 74.1721 s 106.02/106.11 c =============================================================================== 106.02/106.11 c | 2309 | 13982 257761 577874 | 85920 398 39 | 78.479 % | 106.02/106.14 c =============================================================================== 106.02/106.14 c New solution: 141 106.02/106.14 o 141 106.02/106.14 c Elapsed CPU time: 105.86 s Remaining CPU time: 74.1401 s 106.02/106.14 c =============================================================================== 106.02/106.14 c | 2315 | 13740 257762 578174 | 85920 404 39 | 78.479 % | 106.12/106.20 c | 2416 | 13719 257762 578174 | 94512 505 40 | 81.469 % | 106.12/106.23 c =============================================================================== 106.12/106.23 c New solution: 140 106.12/106.23 o 140 106.12/106.23 c Elapsed CPU time: 105.951 s Remaining CPU time: 74.0491 s 106.12/106.23 c =============================================================================== 106.12/106.23 c | 2418 | 13498 257763 578474 | 85921 507 40 | 81.469 % | 106.12/106.26 c =============================================================================== 106.12/106.26 c New solution: 139 106.12/106.26 o 139 106.12/106.26 c Elapsed CPU time: 105.981 s Remaining CPU time: 74.0191 s 106.12/106.26 c =============================================================================== 106.12/106.26 c | 2421 | 13256 257764 578774 | 85921 510 40 | 81.469 % | 106.12/106.30 c =============================================================================== 106.12/106.30 c New solution: 138 106.12/106.30 o 138 106.12/106.30 c Elapsed CPU time: 106.011 s Remaining CPU time: 73.9891 s 106.12/106.30 c =============================================================================== 106.12/106.30 c | 2431 | 13014 257765 579074 | 85921 520 40 | 81.469 % | 106.23/106.33 c =============================================================================== 106.23/106.33 c New solution: 137 106.23/106.33 o 137 106.23/106.33 c Elapsed CPU time: 106.046 s Remaining CPU time: 73.9541 s 106.23/106.33 c =============================================================================== 106.23/106.33 c | 2444 | 12772 257766 579374 | 85922 533 39 | 81.469 % | 106.23/106.37 c =============================================================================== 106.23/106.37 c New solution: 136 106.23/106.37 o 136 106.23/106.37 c Elapsed CPU time: 106.085 s Remaining CPU time: 73.9151 s 106.23/106.37 c =============================================================================== 106.23/106.37 c | 2458 | 12530 257767 579674 | 85922 547 39 | 81.469 % | 106.32/106.40 c =============================================================================== 106.32/106.40 c New solution: 135 106.32/106.40 o 135 106.32/106.40 c Elapsed CPU time: 106.117 s Remaining CPU time: 73.8831 s 106.32/106.41 c =============================================================================== 106.32/106.41 c | 2466 | 12288 257768 579974 | 85922 555 38 | 81.469 % | 106.32/106.44 c =============================================================================== 106.32/106.44 c New solution: 134 106.32/106.44 o 134 106.32/106.44 c Elapsed CPU time: 106.147 s Remaining CPU time: 73.8531 s 106.32/106.44 c =============================================================================== 106.32/106.44 c | 2471 | 12046 257769 580274 | 85923 560 38 | 81.469 % | 106.32/106.47 c =============================================================================== 106.32/106.47 c New solution: 133 106.32/106.47 o 133 106.32/106.47 c Elapsed CPU time: 106.179 s Remaining CPU time: 73.8211 s 106.32/106.47 c =============================================================================== 106.32/106.47 c | 2478 | 11804 257770 580574 | 85923 98 18 | 81.469 % | 106.42/106.50 c =============================================================================== 106.42/106.50 c New solution: 132 106.42/106.50 o 132 106.42/106.50 c Elapsed CPU time: 106.214 s Remaining CPU time: 73.7861 s 106.42/106.50 c =============================================================================== 106.42/106.50 c | 2487 | 11562 257771 580874 | 85923 107 18 | 81.469 % | 106.42/106.56 c | 2587 | 11553 257771 580874 | 94516 207 33 | 84.460 % | 106.53/106.61 c =============================================================================== 106.53/106.61 c New solution: 131 106.53/106.61 o 131 106.53/106.61 c Elapsed CPU time: 106.319 s Remaining CPU time: 73.6812 s 106.53/106.61 c =============================================================================== 106.53/106.61 c | 2610 | 11320 257772 581174 | 85924 230 32 | 84.460 % | 106.53/106.64 c =============================================================================== 106.53/106.64 c New solution: 130 106.53/106.64 o 130 106.53/106.64 c Elapsed CPU time: 106.351 s Remaining CPU time: 73.6492 s 106.53/106.64 c =============================================================================== 106.53/106.64 c | 2628 | 11078 257773 581474 | 85924 248 31 | 84.460 % | 106.62/106.73 c | 2729 | 11071 257773 581474 | 94516 349 39 | 85.124 % | 106.72/106.83 c =============================================================================== 106.72/106.83 c New solution: 129 106.72/106.83 o 129 106.72/106.83 c Elapsed CPU time: 106.539 s Remaining CPU time: 73.4612 s 106.72/106.83 c =============================================================================== 106.72/106.83 c | 2813 | 10836 257774 581774 | 85924 433 40 | 85.124 % | 106.72/106.86 c =============================================================================== 106.72/106.86 c New solution: 128 106.72/106.86 o 128 106.72/106.86 c Elapsed CPU time: 106.569 s Remaining CPU time: 73.4312 s 106.72/106.86 c =============================================================================== 106.72/106.86 c | 2815 | 10594 257775 582074 | 85925 435 40 | 85.124 % | 106.82/106.90 c | 2915 | 10490 257775 582074 | 94517 535 41 | 85.788 % | 106.92/107.00 c | 3065 | 10490 257775 582074 | 103969 685 47 | 85.788 % | 106.92/107.06 c =============================================================================== 106.92/107.06 c New solution: 127 106.92/107.06 o 127 106.92/107.06 c Elapsed CPU time: 106.761 s Remaining CPU time: 73.2392 s 106.92/107.06 c =============================================================================== 106.92/107.06 c | 3136 | 10352 257776 582374 | 85925 756 48 | 85.788 % | 107.01/107.18 c =============================================================================== 107.01/107.18 c New solution: 126 107.01/107.18 o 126 107.01/107.18 c Elapsed CPU time: 106.881 s Remaining CPU time: 73.1192 s 107.01/107.18 c =============================================================================== 107.01/107.18 c | 3222 | 10110 257777 582674 | 85925 842 48 | 85.788 % | 107.11/107.22 c | 3324 | 10074 257777 582674 | 94518 944 47 | 86.453 % | 107.21/107.38 c | 3476 | 10067 257777 582674 | 103970 1096 48 | 86.453 % | 107.31/107.47 c | 3701 | 9868 257777 582674 | 114367 976 45 | 86.453 % | 107.51/107.65 c | 4039 | 9868 257777 582674 | 125803 1314 45 | 86.453 % | 107.63/107.73 c =============================================================================== 107.63/107.73 c New solution: 125 107.63/107.73 o 125 107.63/107.73 c Elapsed CPU time: 107.432 s Remaining CPU time: 72.5683 s 107.63/107.73 c =============================================================================== 107.63/107.73 c | 4138 | 9868 257778 582974 | 85926 1413 44 | 86.453 % | 107.63/107.79 c | 4239 | 9857 257778 582974 | 94518 1514 45 | 86.785 % | 107.73/107.86 c =============================================================================== 107.73/107.86 c New solution: 124 107.73/107.86 o 124 107.73/107.86 c Elapsed CPU time: 107.56 s Remaining CPU time: 72.4404 s 107.73/107.86 c =============================================================================== 107.73/107.86 c | 4285 | 9626 257779 583274 | 85926 1560 45 | 86.785 % | 107.82/107.90 c | 4386 | 9610 257779 583274 | 94518 1661 44 | 87.117 % | 107.92/108.03 c | 4536 | 9603 257779 583274 | 103970 1811 44 | 87.117 % | 108.02/108.10 c =============================================================================== 108.02/108.10 c New solution: 123 108.02/108.10 o 123 108.02/108.10 c Elapsed CPU time: 107.798 s Remaining CPU time: 72.2024 s 108.02/108.10 c =============================================================================== 108.02/108.10 c | 4658 | 9384 257780 583574 | 85926 1933 43 | 87.117 % | 108.02/108.17 c | 4759 | 9374 257780 583574 | 94519 2034 44 | 87.450 % | 108.12/108.23 c | 4909 | 9142 257780 583574 | 103971 1599 37 | 87.450 % | 108.32/108.48 c | 5135 | 9142 257780 583574 | 114368 1825 40 | 87.450 % | 108.51/108.64 c | 5472 | 9142 257780 583574 | 125805 2162 46 | 87.450 % | 109.01/109.14 c | 5979 | 9142 257780 583574 | 138385 2669 50 | 87.450 % | 109.21/109.35 c =============================================================================== 109.21/109.35 c New solution: 122 109.21/109.35 o 122 109.21/109.35 c Elapsed CPU time: 109.041 s Remaining CPU time: 70.9586 s 109.21/109.35 c =============================================================================== 109.21/109.35 c | 6550 | 9142 257781 583874 | 85927 3240 51 | 87.450 % | 109.31/109.47 c | 6653 | 8900 257781 583874 | 94519 2867 46 | 87.782 % | 109.42/109.53 c | 6804 | 8900 257781 583874 | 103971 3018 46 | 87.782 % | 109.61/109.76 c | 7029 | 8900 257781 583874 | 114368 3243 47 | 87.782 % | 109.71/109.90 c | 7366 | 8900 257781 583874 | 125805 3580 46 | 87.782 % | 109.92/110.09 c =============================================================================== 109.92/110.09 c New solution: 121 109.92/110.09 o 121 109.92/110.09 c Elapsed CPU time: 109.776 s Remaining CPU time: 70.2237 s 109.92/110.09 c =============================================================================== 109.92/110.09 c | 7621 | 8900 257782 584174 | 85927 3835 47 | 87.782 % | 110.11/110.22 c | 7723 | 8895 257782 584174 | 94520 3937 48 | 88.114 % | 110.11/110.28 c | 7873 | 8883 257782 584174 | 103972 4087 48 | 88.114 % | 110.41/110.51 c | 8098 | 8876 257782 584174 | 114369 4312 48 | 88.114 % | 110.51/110.61 c | 8435 | 8658 257782 584174 | 125806 4260 44 | 88.114 % | 111.02/111.20 c | 8942 | 8658 257782 584174 | 138386 4767 47 | 88.114 % | 111.71/111.81 c =============================================================================== 111.71/111.81 c New solution: 120 111.71/111.81 o 120 111.71/111.81 c Elapsed CPU time: 111.482 s Remaining CPU time: 68.5179 s 111.71/111.81 c =============================================================================== 111.71/111.81 c | 9612 | 8658 257783 584474 | 85927 5437 50 | 88.114 % | 111.81/111.94 c | 9712 | 8649 257783 584474 | 94520 5537 50 | 88.446 % | 111.81/111.99 c | 9862 | 8416 257783 584474 | 103972 4801 46 | 88.446 % | 112.11/112.25 c | 10087 | 8416 257783 584474 | 114369 5026 47 | 88.446 % | 112.20/112.35 c | 10424 | 8416 257783 584474 | 125806 5363 46 | 88.446 % | 113.00/113.15 c | 10932 | 8416 257783 584474 | 138387 5871 49 | 88.446 % | 113.30/113.49 c | 11692 | 8416 257783 584474 | 152226 6631 49 | 88.446 % | 114.21/114.37 c | 12831 | 8416 257783 584474 | 167448 7770 52 | 88.446 % | 114.61/114.74 c =============================================================================== 114.61/114.74 c New solution: 119 114.61/114.74 o 119 114.61/114.74 c Elapsed CPU time: 114.397 s Remaining CPU time: 65.6034 s 114.61/114.74 c =============================================================================== 114.61/114.74 c | 13252 | 8416 257784 584774 | 85928 8191 52 | 88.446 % | 114.71/114.87 c | 13352 | 8174 257784 584774 | 94520 7140 47 | 88.778 % | 114.91/115.06 c | 13502 | 8174 257784 584774 | 103972 7290 47 | 88.778 % | 115.01/115.16 c | 13729 | 8174 257784 584774 | 114370 7517 47 | 88.778 % | 115.51/115.60 c | 14066 | 8174 257784 584774 | 125807 7854 48 | 88.778 % | 115.70/115.81 c | 14572 | 8174 257784 584774 | 138387 8360 48 | 88.778 % | 116.61/116.74 c | 15331 | 8174 257784 584774 | 152226 9119 50 | 88.778 % | 117.01/117.12 c | 16470 | 8174 257784 584774 | 167449 10258 48 | 88.778 % | 119.51/119.65 c | 18180 | 8174 257784 584774 | 184194 11968 53 | 88.778 % | 121.11/121.21 c | 20743 | 8174 257784 584774 | 202613 14531 53 | 88.778 % | 126.80/126.90 c | 24590 | 8174 257784 584774 | 222875 18378 61 | 88.778 % | 129.40/129.52 c | 30356 | 8174 257784 584774 | 245162 24144 60 | 88.778 % | 145.89/146.04 c | 39008 | 8174 257784 584774 | 269678 32796 72 | 88.778 % | 160.09/160.20 c | 51982 | 8174 257784 584774 | 296646 45770 77 | 88.778 % | 160.19/160.37 c =============================================================================== 160.19/160.37 c New solution: 118 160.19/160.37 o 118 160.19/160.37 c Elapsed CPU time: 159.884 s Remaining CPU time: 20.1163 s 160.19/160.37 c =============================================================================== 160.19/160.37 c | 52177 | 8174 257785 585074 | 85928 45965 76 | 88.778 % | 160.40/160.57 c | 52279 | 7932 257785 585074 | 94521 38880 70 | 89.111 % | 160.59/160.70 c | 52429 | 7932 257785 585074 | 103973 39030 70 | 89.111 % | 160.79/160.93 c | 52659 | 7932 257785 585074 | 114370 39260 70 | 89.111 % | 161.29/161.41 c | 52997 | 7932 257785 585074 | 125807 39598 70 | 89.111 % | 161.50/161.63 c | 53503 | 7932 257785 585074 | 138388 40104 70 | 89.111 % | 162.99/163.11 c | 54263 | 7932 257785 585074 | 152227 40864 70 | 89.111 % | 163.79/163.99 c | 55403 | 7932 257785 585074 | 167450 42004 70 | 89.111 % | 166.69/166.85 c | 57111 | 7932 257785 585074 | 184195 43712 71 | 89.111 % | 169.69/169.84 c | 59674 | 7932 257785 585074 | 202614 46275 73 | 89.111 % | 177.49/177.62 c | 63518 | 7932 257785 585074 | 222875 50119 78 | 89.111 % | 180.39/180.57 c There are 64910 assigned variables. 285 in cost function. 180.78/180.95 c core #1 180.78/180.95 c 180.78/180.95 c 180.78/180.95 c Core size: 29 Core Weight: 103 Total Weight: 103 180.78/180.95 c 180.78/180.95 c 180.78/180.95 c ============================[ Search Statistics ]============================== 180.78/180.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 180.78/180.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 180.78/180.95 c =============================================================================== 180.78/180.95 c | 0 | 4520 86629 58116 | 28876 0 nan | 0.000 % | 180.78/180.99 c | 100 | 4520 86629 58116 | 31763 100 34 | 93.796 % | 180.88/181.05 c | 251 | 4520 86629 58116 | 34940 251 35 | 93.796 % | 180.98/181.14 c | 476 | 4520 86629 58116 | 38434 476 37 | 93.796 % | 181.08/181.26 c | 813 | 4517 86629 58116 | 42277 791 36 | 93.800 % | 181.28/181.45 c | 1319 | 4517 86629 58116 | 46505 1297 40 | 93.800 % | 181.58/181.78 c | 2078 | 4517 86629 58116 | 51156 2056 44 | 93.800 % | 182.18/182.31 c | 3217 | 4517 86629 58116 | 56271 3195 47 | 93.800 % | 182.98/183.12 c | 4925 | 4517 86629 58116 | 61898 4903 49 | 93.800 % | 184.38/184.50 c | 7487 | 4517 86629 58116 | 68088 7465 51 | 93.800 % | 186.68/186.84 c | 11331 | 4507 86629 58116 | 74897 11133 56 | 93.819 % | 189.97/190.12 c =============================================================================== 190.08/190.25 c core #2 190.08/190.25 c 190.08/190.25 c 190.08/190.25 c Core size: 652 Core Weight: 1 Total Weight: 104 190.08/190.25 c 190.08/190.25 c 190.08/190.25 c ============================[ Search Statistics ]============================== 190.08/190.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.08/190.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.08/190.25 c =============================================================================== 190.08/190.25 c | 0 | 4791 86650 59605 | 28883 0 nan | 0.000 % | 190.08/190.30 c | 101 | 4791 86650 59605 | 31771 101 33 | 93.425 % | 190.18/190.35 c | 251 | 4791 86650 59605 | 34948 251 33 | 93.425 % | 190.27/190.45 c | 478 | 4791 86650 59605 | 38443 478 36 | 93.425 % | 190.38/190.56 c | 815 | 4791 86650 59605 | 42288 815 39 | 93.425 % | 190.58/190.75 c | 1322 | 4791 86650 59605 | 46516 1322 39 | 93.425 % | 190.88/191.04 c | 2081 | 4791 86650 59605 | 51168 2081 43 | 93.425 % | 191.37/191.53 c | 3221 | 4791 86650 59605 | 56285 3221 47 | 93.425 % | 192.18/192.33 c | 4929 | 4791 86650 59605 | 61913 4929 50 | 93.425 % | 193.48/193.61 c | 7494 | 4791 86650 59605 | 68105 7494 47 | 93.425 % | 195.37/195.58 c | 11339 | 4791 86650 59605 | 74915 11339 51 | 93.425 % | 199.47/199.65 c | 17105 | 4791 86650 59605 | 82407 17105 54 | 93.425 % | 204.77/204.99 c | 25756 | 4791 86650 59605 | 90648 25756 55 | 93.425 % | 220.26/220.43 c | 38730 | 4791 86650 59605 | 99713 38730 59 | 93.425 % | 245.35/245.53 c | 58191 | 4747 86650 59605 | 109684 46098 59 | 93.486 % | 287.05/287.21 c | 87383 | 4747 86650 59605 | 120652 75290 62 | 93.486 % | 388.21/388.44 c | 131173 | 4741 86650 59605 | 132718 119073 68 | 93.497 % | 576.45/576.73 c | 196857 | 4496 86650 59605 | 145989 87126 62 | 93.881 % | 596.84/597.10 c =============================================================================== 597.14/597.42 c core #3 597.14/597.42 c 597.14/597.42 c 597.14/597.42 c Core size: 699 Core Weight: 1 Total Weight: 105 597.14/597.42 c 597.14/597.42 c 597.14/597.42 c ============================[ Search Statistics ]============================== 597.14/597.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 597.14/597.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 597.14/597.42 c =============================================================================== 597.14/597.42 c | 0 | 5068 86693 61254 | 28897 0 nan | 0.000 % | 597.14/597.47 c | 100 | 5068 86693 61254 | 31787 100 37 | 93.046 % | 597.24/597.52 c | 250 | 5068 86693 61254 | 34966 250 37 | 93.046 % | 597.34/597.62 c | 475 | 5068 86693 61254 | 38462 475 41 | 93.046 % | 597.44/597.74 c | 813 | 5068 86693 61254 | 42309 813 40 | 93.046 % | 597.63/597.99 c | 1319 | 5068 86693 61254 | 46539 1319 40 | 93.046 % | 597.93/598.29 c | 2079 | 5068 86693 61254 | 51193 2079 41 | 93.046 % | 598.54/598.83 c | 3219 | 5068 86693 61254 | 56313 3219 46 | 93.046 % | 599.14/599.49 c | 4927 | 5068 86693 61254 | 61944 4927 44 | 93.046 % | 600.34/600.64 c | 7491 | 5068 86693 61254 | 68139 7491 50 | 93.046 % | 602.33/602.60 c | 11337 | 5068 86693 61254 | 74953 11337 52 | 93.046 % | 605.74/606.08 c | 17103 | 5068 86693 61254 | 82448 17103 52 | 93.046 % | 611.93/612.22 c | 25753 | 5068 86693 61254 | 90693 25753 61 | 93.046 % | 624.12/624.45 c | 38728 | 5068 86693 61254 | 99762 38728 61 | 93.046 % | 651.92/652.26 c | 58189 | 5068 86693 61254 | 109738 58189 65 | 93.046 % | 701.10/701.45 c | 87381 | 5068 86693 61254 | 120712 87381 66 | 93.046 % | 794.88/795.26 c | 131171 | 5068 86693 61254 | 132783 131171 70 | 93.046 % | 987.09/987.58 c | 196855 | 5068 86693 61254 | 146062 196855 75 | 93.046 % | 1161.32/1161.84 c | 295381 | 5066 86693 61254 | 160668 97358 74 | 93.049 % | 1642.96/1643.69 c | 443170 | 5066 86693 61254 | 176735 36468 68 | 93.049 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2686981-1278445602/watcher-2686981-1278445602 -o /tmp/evaluation-result-2686981-1278445602/solver-2686981-1278445602 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2686981-1278445602.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 19289 /proc/meminfo: memFree=1905196/2059040 swapFree=4133796/4192956 [pid=19289] ppid=19287 vsize=10788 CPUtime=0 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 297 0 0 0 0 0 0 0 20 0 1 0 12773483 11046912 215 1992294400 134512640 135752675 4293252992 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 2697 215 134 303 0 375 0 [startup+0.0911411 s] /proc/loadavg: 0.92 0.98 0.99 3/106 19289 /proc/meminfo: memFree=1905196/2059040 swapFree=4133796/4192956 [pid=19289] ppid=19287 vsize=14984 CPUtime=0.08 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 1395 0 0 0 8 0 0 0 20 0 1 0 12773483 15343616 1313 1992294400 134512640 135752675 4293252992 18446744073709551615 134557647 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 3746 1313 253 303 0 1424 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 14984 [startup+0.101173 s] /proc/loadavg: 0.92 0.98 0.99 3/106 19289 /proc/meminfo: memFree=1905196/2059040 swapFree=4133796/4192956 [pid=19289] ppid=19287 vsize=15704 CPUtime=0.09 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 1492 0 0 0 9 0 0 0 20 0 1 0 12773483 16080896 1410 1992294400 134512640 135752675 4293252992 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 3926 1411 268 303 0 1604 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15704 [startup+0.301196 s] /proc/loadavg: 0.92 0.98 0.99 3/106 19289 /proc/meminfo: memFree=1905196/2059040 swapFree=4133796/4192956 [pid=19289] ppid=19287 vsize=19976 CPUtime=0.28 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 2875 0 0 0 28 0 0 0 21 0 1 0 12773483 20455424 2760 1992294400 134512640 135752675 4293252992 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 4994 2760 564 303 0 2672 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 19976 [startup+0.700258 s] /proc/loadavg: 0.92 0.98 0.99 3/106 19289 /proc/meminfo: memFree=1905196/2059040 swapFree=4133796/4192956 [pid=19289] ppid=19287 vsize=24188 CPUtime=0.68 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 4593 0 0 0 68 0 0 0 22 0 1 0 12773483 24768512 4438 1992294400 134512640 135752675 4293252992 18446744073709551615 135225900 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 6047 4440 1163 303 0 3725 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 24188 [startup+1.50041 s] /proc/loadavg: 0.92 0.98 0.99 3/107 19290 /proc/meminfo: memFree=1886464/2059040 swapFree=4133796/4192956 [pid=19289] ppid=19287 vsize=37480 CPUtime=1.49 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 8417 0 0 0 147 2 0 0 25 0 1 0 12773483 38379520 8148 1992294400 134512640 135752675 4293252992 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 9370 8148 2072 303 0 7048 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 37480 [startup+3.10072 s] /proc/loadavg: 0.92 0.98 0.99 2/107 19290 /proc/meminfo: memFree=1854472/2059040 swapFree=4133796/4192956 [pid=19289] ppid=19287 vsize=56152 CPUtime=3.09 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 15284 0 0 0 304 5 0 0 25 0 1 0 12773483 57499648 12773 1992294400 134512640 135752675 4293252992 18446744073709551615 134524717 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 14038 12773 142 303 0 13733 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 56152 [startup+6.30033 s] /proc/loadavg: 0.93 0.98 0.99 2/107 19290 /proc/meminfo: memFree=1850132/2059040 swapFree=4133796/4192956 [pid=19289] ppid=19287 vsize=61564 CPUtime=6.29 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 16657 0 0 0 623 6 0 0 25 0 1 0 12773483 63041536 14146 1992294400 134512640 135752675 4293252992 18446744073709551615 134523912 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 15391 14146 142 303 0 15086 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 61564 [startup+12.7006 s] /proc/loadavg: 0.93 0.98 0.99 2/107 19290 /proc/meminfo: memFree=1840460/2059040 swapFree=4133796/4192956 [pid=19289] ppid=19287 vsize=70672 CPUtime=12.68 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 18938 0 0 0 1262 6 0 0 25 0 1 0 12773483 72368128 16427 1992294400 134512640 135752675 4293252992 18446744073709551615 135204596 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 17668 16427 142 303 0 17363 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 70672 [startup+25.502 s] /proc/loadavg: 0.95 0.98 0.99 2/107 19290 /proc/meminfo: memFree=1827192/2059040 swapFree=4133796/4192956 [pid=19289] ppid=19287 vsize=82948 CPUtime=25.48 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 21980 0 0 0 2540 8 0 0 25 0 1 0 12773483 84938752 19469 1992294400 134512640 135752675 4293252992 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 20737 19469 142 303 0 20432 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 82948 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/107 19290 /proc/meminfo: memFree=1810948/2059040 swapFree=4133796/4192956 [pid=19289] ppid=19287 vsize=99052 CPUtime=51.07 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 26034 0 0 0 5097 10 0 0 25 0 1 0 12773483 101429248 23523 1992294400 134512640 135752675 4293252992 18446744073709551615 134697668 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 24763 23523 142 303 0 24458 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 99052 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 19292 /proc/meminfo: memFree=1795200/2059040 swapFree=4133796/4192956 [pid=19289] ppid=19287 vsize=113800 CPUtime=102.26 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 31143 0 0 0 10209 17 0 0 21 0 1 0 12773483 116531200 27320 1992294400 134512640 135752675 4293252992 18446744073709551615 134616398 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 28450 27320 145 303 0 28145 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 113800 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19294 /proc/meminfo: memFree=1795200/2059040 swapFree=4133796/4192956 [pid=19289] ppid=19287 vsize=113800 CPUtime=162.19 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 31143 0 0 0 16179 40 0 0 25 0 1 0 12773483 116531200 27320 1992294400 134512640 135752675 4293252992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 28450 27320 145 303 0 28145 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 113800 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19296 /proc/meminfo: memFree=1805492/2059040 swapFree=4133796/4192956 [pid=19289] ppid=19287 vsize=100852 CPUtime=222.17 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 31998 0 0 0 22153 64 0 0 25 0 1 0 12773483 103272448 24726 1992294400 134512640 135752675 4293252992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 25213 24726 146 303 0 24908 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 100852 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19296 /proc/meminfo: memFree=1805492/2059040 swapFree=4133796/4192956 [pid=19289] ppid=19287 vsize=100852 CPUtime=282.14 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 31998 0 0 0 28134 80 0 0 25 0 1 0 12773483 103272448 24726 1992294400 134512640 135752675 4293252992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 25213 24726 146 303 0 24908 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 100852 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19298 /proc/meminfo: memFree=1805500/2059040 swapFree=4133796/4192956 [pid=19289] ppid=19287 vsize=100852 CPUtime=342.12 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 31998 0 0 0 34120 92 0 0 25 0 1 0 12773483 103272448 24726 1992294400 134512640 135752675 4293252992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 25213 24726 146 303 0 24908 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 100852 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19300 /proc/meminfo: memFree=1805500/2059040 swapFree=4133796/4192956 [pid=19289] ppid=19287 vsize=100852 CPUtime=402.11 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 31998 0 0 0 40107 104 0 0 25 0 1 0 12773483 103272448 24726 1992294400 134512640 135752675 4293252992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 25213 24726 146 303 0 24908 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 100852 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19302 /proc/meminfo: memFree=1805500/2059040 swapFree=4133796/4192956 [pid=19289] ppid=19287 vsize=100852 CPUtime=462.09 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 32008 0 0 0 46096 113 0 0 25 0 1 0 12773483 103272448 24736 1992294400 134512640 135752675 4293252992 18446744073709551615 134612030 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 25213 24736 146 303 0 24908 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 100852 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19304 /proc/meminfo: memFree=1805500/2059040 swapFree=4133796/4192956 [pid=19289] ppid=19287 vsize=100852 CPUtime=522.06 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 32008 0 0 0 52082 124 0 0 25 0 1 0 12773483 103272448 24736 1992294400 134512640 135752675 4293252992 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 25213 24736 146 303 0 24908 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 100852 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19304 /proc/meminfo: memFree=1801284/2059040 swapFree=4133796/4192956 [pid=19289] ppid=19287 vsize=105472 CPUtime=582.04 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 33138 0 0 0 58069 135 0 0 25 0 1 0 12773483 108003328 25866 1992294400 134512640 135752675 4293252992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 26368 25866 146 303 0 26063 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 105472 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19306 /proc/meminfo: memFree=1789132/2059040 swapFree=4133796/4192956 [pid=19289] ppid=19287 vsize=119288 CPUtime=642.02 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 36139 0 0 0 64043 159 0 0 25 0 1 0 12773483 122150912 28867 1992294400 134512640 135752675 4293252992 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 29822 28867 146 303 0 29517 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 119288 [startup+702.3 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19321 /proc/meminfo: memFree=1774784/2059040 swapFree=4133804/4192956 [pid=19289] ppid=19287 vsize=130680 CPUtime=881.92 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 38916 0 0 0 87977 215 0 0 25 0 1 0 12773483 133816320 31644 1992294400 134512640 135752675 4293252992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 32670 31644 146 303 0 32365 0 Current children cumulated CPU time (s) 881.92 Current children cumulated vsize (KiB) 130680 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19323 /proc/meminfo: memFree=1767468/2059040 swapFree=4133804/4192956 [pid=19289] ppid=19287 vsize=137964 CPUtime=941.9 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 40759 0 0 0 93965 225 0 0 25 0 1 0 12773483 141275136 33487 1992294400 134512640 135752675 4293252992 18446744073709551615 134607021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 34491 33487 146 303 0 34186 0 Current children cumulated CPU time (s) 941.9 Current children cumulated vsize (KiB) 137964 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19325 /proc/meminfo: memFree=1759408/2059040 swapFree=4133804/4192956 [pid=19289] ppid=19287 vsize=145784 CPUtime=1001.88 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 42742 0 0 0 99951 237 0 0 25 0 1 0 12773483 149282816 35470 1992294400 134512640 135752675 4293252992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 36446 35470 146 303 0 36141 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 145784 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19327 /proc/meminfo: memFree=1748992/2059040 swapFree=4133804/4192956 [pid=19289] ppid=19287 vsize=156920 CPUtime=1061.86 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 45408 0 0 0 105935 251 0 0 25 0 1 0 12773483 160686080 38136 1992294400 134512640 135752675 4293252992 18446744073709551615 134637726 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 39230 38136 146 303 0 38925 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 156920 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19329 /proc/meminfo: memFree=1733244/2059040 swapFree=4133804/4192956 [pid=19289] ppid=19287 vsize=172236 CPUtime=1121.83 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 49234 0 0 0 111911 272 0 0 25 0 1 0 12773483 176369664 41962 1992294400 134512640 135752675 4293252992 18446744073709551615 134605026 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 43059 41962 146 303 0 42754 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 172236 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19329 /proc/meminfo: memFree=1719976/2059040 swapFree=4133804/4192956 [pid=19289] ppid=19287 vsize=185516 CPUtime=1181.82 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 52562 0 0 0 117892 290 0 0 25 0 1 0 12773483 189968384 45290 1992294400 134512640 135752675 4293252992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 46379 45290 146 303 0 46074 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 185516 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19331 /proc/meminfo: memFree=1711296/2059040 swapFree=4133804/4192956 [pid=19289] ppid=19287 vsize=194176 CPUtime=1241.79 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 54714 0 0 0 123878 301 0 0 25 0 1 0 12773483 198836224 47442 1992294400 134512640 135752675 4293252992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 48544 47442 146 303 0 48239 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 194176 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19333 /proc/meminfo: memFree=1703360/2059040 swapFree=4133804/4192956 [pid=19289] ppid=19287 vsize=201812 CPUtime=1301.78 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 56639 0 0 0 129865 313 0 0 25 0 1 0 12773483 206655488 49367 1992294400 134512640 135752675 4293252992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 50453 49367 146 303 0 50148 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 201812 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19335 /proc/meminfo: memFree=1695920/2059040 swapFree=4133804/4192956 [pid=19289] ppid=19287 vsize=209488 CPUtime=1361.75 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 58527 0 0 0 135849 326 0 0 25 0 1 0 12773483 214515712 51255 1992294400 134512640 135752675 4293252992 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 52372 51255 146 303 0 52067 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 209488 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19337 /proc/meminfo: memFree=1689968/2059040 swapFree=4133804/4192956 [pid=19289] ppid=19287 vsize=215352 CPUtime=1421.74 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 59995 0 0 0 141838 336 0 0 25 0 1 0 12773483 220520448 52723 1992294400 134512640 135752675 4293252992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 53838 52723 146 303 0 53533 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 215352 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19337 /proc/meminfo: memFree=1683024/2059040 swapFree=4133804/4192956 [pid=19289] ppid=19287 vsize=222400 CPUtime=1481.71 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 61757 0 0 0 147823 348 0 0 25 0 1 0 12773483 227737600 54485 1992294400 134512640 135752675 4293252992 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 55600 54485 146 303 0 55295 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 222400 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19339 /proc/meminfo: memFree=1676452/2059040 swapFree=4133804/4192956 [pid=19289] ppid=19287 vsize=228960 CPUtime=1541.69 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 63409 0 0 0 153810 359 0 0 25 0 1 0 12773483 234455040 56137 1992294400 134512640 135752675 4293252992 18446744073709551615 134605026 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 57240 56137 146 303 0 56935 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 228960 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19341 /proc/meminfo: memFree=1670252/2059040 swapFree=4133804/4192956 [pid=19289] ppid=19287 vsize=235164 CPUtime=1601.67 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 64953 0 0 0 159798 369 0 0 25 0 1 0 12773483 240807936 57681 1992294400 134512640 135752675 4293252992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 58791 57681 146 303 0 58486 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 235164 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19343 /proc/meminfo: memFree=1657852/2059040 swapFree=4133804/4192956 [pid=19289] ppid=19287 vsize=247456 CPUtime=1661.65 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 68026 0 0 0 165775 390 0 0 25 0 1 0 12773483 253394944 60754 1992294400 134512640 135752675 4293252992 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 61864 60754 146 303 0 61559 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 247456 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19345 /proc/meminfo: memFree=1646320/2059040 swapFree=4133804/4192956 [pid=19289] ppid=19287 vsize=258940 CPUtime=1721.63 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 70918 0 0 0 171755 408 0 0 25 0 1 0 12773483 265154560 63646 1992294400 134512640 135752675 4293252992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 64735 63646 146 303 0 64430 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 258940 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19345 /proc/meminfo: memFree=1635532/2059040 swapFree=4133804/4192956 [pid=19289] ppid=19287 vsize=269632 CPUtime=1781.6 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 73572 0 0 0 177738 422 0 0 25 0 1 0 12773483 276103168 66300 1992294400 134512640 135752675 4293252992 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 67408 66300 146 303 0 67103 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 269632 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19347 /proc/meminfo: memFree=1631812/2059040 swapFree=4133804/4192956 [pid=19289] ppid=19287 vsize=273196 CPUtime=1800.01 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 74488 0 0 0 179574 427 0 0 25 0 1 0 12773483 279752704 67216 1992294400 134512640 135752675 4293252992 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 68299 67216 146 303 0 67994 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 273196 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19347 /proc/meminfo: memFree=1631812/2059040 swapFree=4133804/4192956 [pid=19289] ppid=19287 vsize=273196 CPUtime=1800.01 /proc/19289/stat : 19289 (wbo1.4b) R 19287 19289 18163 0 -1 4202496 74488 0 0 0 179574 427 0 0 25 0 1 0 12773483 279752704 67216 1992294400 134512640 135752675 4293252992 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19289/statm: 68299 67216 146 303 0 67994 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 273196 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.74 CPU time (s): 1800.05 CPU user time (s): 1795.75 CPU system time (s): 4.30535 CPU usage (%): 99.9616 Max. virtual memory (cumulated for all children) (KiB): 273196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.75 system time used= 4.30534 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 74488 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= 29 involuntary context switches= 3707 runsolver used 3.00654 second user time and 8.5237 second system time The end
Begin job on node009 at 2010-07-06 21:46:42 IDJOB=2686981 IDBENCH=77243 IDSOLVER=1190 FILE ID=node009/2686981-1278445602 PBS_JOBID= 11233462 Free space on /tmp= 62492 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12053_3.std.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2686981-1278445602/watcher-2686981-1278445602 -o /tmp/evaluation-result-2686981-1278445602/solver-2686981-1278445602 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2686981-1278445602.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c9d9e9de965e10444f6e461e8225e8d3 RANDOM SEED=1057027503 node009.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.262 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.52 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.262 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1905724 kB Buffers: 5188 kB Cached: 84780 kB SwapCached: 10640 kB Active: 42912 kB Inactive: 60000 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1905724 kB SwapTotal: 4192956 kB SwapFree: 4133796 kB Dirty: 10748 kB Writeback: 0 kB AnonPages: 9956 kB Mapped: 6712 kB Slab: 28496 kB PageTables: 4096 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184120 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= 62492 MiB End job on node009 at 2010-07-06 22:16:45