Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.09 | 1800.75 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2686970-1278445224.opb. 0.00/0.00 c Instance file HOME/instance-2686970-1278445224.opb 0.00/0.00 c File size is 8259994 bytes. 1.49/1.56 c Highest Coefficient sum: 519 1.49/1.56 c ============================[ Problem Statistics ]============================= 1.49/1.56 c | | 1.49/1.56 c | Parsing time: 1.54 s | 1.49/1.56 c | Number Variables: 72842 | 1.49/1.56 c | Number Clauses: 255148 | 1.49/1.56 c | Number Cardinality: 0 | 1.49/1.56 c | Number PB Constraints: 1200 | 97.65/97.72 c ============================[ Search Statistics ]============================== 97.65/97.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.65/97.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.65/97.72 c =============================================================================== 97.65/97.72 c | 0 | 51591 257602 530174 | 85449 0 nan | 0.000 % | 97.65/97.79 c =============================================================================== 97.65/97.79 c New solution: 300 97.65/97.79 o 300 97.65/97.79 c Elapsed CPU time: 97.6092 s Remaining CPU time: 82.3908 s 97.65/97.79 c =============================================================================== 97.65/97.79 c | 1 | 51591 257603 530474 | 85867 1 7 | 0.000 % | 97.76/97.84 c =============================================================================== 97.76/97.84 c New solution: 299 97.76/97.84 o 299 97.76/97.84 c Elapsed CPU time: 97.6632 s Remaining CPU time: 82.3368 s 97.76/97.84 c =============================================================================== 97.76/97.84 c | 5 | 51470 257604 530774 | 85868 5 13 | 0.000 % | 97.86/97.91 c =============================================================================== 97.86/97.91 c New solution: 298 97.86/97.91 o 298 97.86/97.91 c Elapsed CPU time: 97.7291 s Remaining CPU time: 82.2709 s 97.86/97.91 c =============================================================================== 97.86/97.91 c | 14 | 51338 257605 531074 | 85868 14 10 | 0.000 % | 97.86/97.99 c =============================================================================== 97.86/97.99 c New solution: 297 97.86/97.99 o 297 97.86/97.99 c Elapsed CPU time: 97.8121 s Remaining CPU time: 82.1879 s 97.86/97.99 c =============================================================================== 97.86/97.99 c | 95 | 51189 257606 531374 | 85868 95 46 | 0.000 % | 97.95/98.05 c =============================================================================== 97.95/98.05 c New solution: 296 97.95/98.05 o 296 97.95/98.05 c Elapsed CPU time: 97.8691 s Remaining CPU time: 82.1309 s 97.95/98.05 c =============================================================================== 97.95/98.05 c | 104 | 51028 257607 531674 | 85869 104 44 | 0.000 % | 98.05/98.11 c =============================================================================== 98.05/98.11 c New solution: 295 98.05/98.11 o 295 98.05/98.11 c Elapsed CPU time: 97.9341 s Remaining CPU time: 82.0659 s 98.05/98.11 c =============================================================================== 98.05/98.11 c | 113 | 50847 257608 531974 | 85869 113 42 | 0.000 % | 98.05/98.17 c =============================================================================== 98.05/98.17 c New solution: 294 98.05/98.17 o 294 98.05/98.17 c Elapsed CPU time: 97.9871 s Remaining CPU time: 82.0129 s 98.05/98.17 c =============================================================================== 98.05/98.17 c | 119 | 50659 257609 532274 | 85869 119 41 | 0.000 % | 98.15/98.22 c =============================================================================== 98.15/98.22 c New solution: 293 98.15/98.22 o 293 98.15/98.22 c Elapsed CPU time: 98.0411 s Remaining CPU time: 81.9589 s 98.15/98.22 c =============================================================================== 98.15/98.22 c | 126 | 50459 257610 532574 | 85870 126 40 | 0.000 % | 98.15/98.28 c =============================================================================== 98.15/98.28 c New solution: 292 98.15/98.28 o 292 98.15/98.28 c Elapsed CPU time: 98.1021 s Remaining CPU time: 81.8979 s 98.15/98.28 c =============================================================================== 98.15/98.28 c | 149 | 50251 257611 532874 | 85870 149 39 | 0.000 % | 98.25/98.35 c =============================================================================== 98.25/98.35 c New solution: 291 98.25/98.35 o 291 98.25/98.35 c Elapsed CPU time: 98.1671 s Remaining CPU time: 81.8329 s 98.25/98.35 c =============================================================================== 98.25/98.35 c | 151 | 50034 257612 533174 | 85870 128 37 | 0.000 % | 98.36/98.42 c =============================================================================== 98.36/98.42 c New solution: 290 98.36/98.42 o 290 98.36/98.42 c Elapsed CPU time: 98.2311 s Remaining CPU time: 81.7689 s 98.36/98.42 c =============================================================================== 98.36/98.42 c | 156 | 49798 257613 533474 | 85871 133 37 | 0.000 % | 98.36/98.48 c =============================================================================== 98.36/98.48 c New solution: 289 98.36/98.48 o 289 98.36/98.48 c Elapsed CPU time: 98.2951 s Remaining CPU time: 81.7049 s 98.36/98.48 c =============================================================================== 98.36/98.48 c | 159 | 49556 257614 533774 | 85871 136 36 | 0.000 % | 98.46/98.54 c =============================================================================== 98.46/98.54 c New solution: 288 98.46/98.54 o 288 98.46/98.54 c Elapsed CPU time: 98.357 s Remaining CPU time: 81.643 s 98.46/98.54 c =============================================================================== 98.46/98.54 c | 160 | 49314 257615 534074 | 85871 137 36 | 0.000 % | 98.46/98.60 c =============================================================================== 98.46/98.60 c New solution: 287 98.46/98.60 o 287 98.46/98.60 c Elapsed CPU time: 98.41 s Remaining CPU time: 81.59 s 98.46/98.60 c =============================================================================== 98.46/98.60 c | 168 | 49072 257616 534374 | 85872 145 35 | 0.000 % | 98.56/98.65 c =============================================================================== 98.56/98.65 c New solution: 286 98.56/98.65 o 286 98.56/98.65 c Elapsed CPU time: 98.46 s Remaining CPU time: 81.54 s 98.56/98.65 c =============================================================================== 98.56/98.65 c | 173 | 48830 257617 534674 | 85872 150 35 | 0.000 % | 98.66/98.71 c =============================================================================== 98.66/98.71 c New solution: 285 98.66/98.71 o 285 98.66/98.71 c Elapsed CPU time: 98.523 s Remaining CPU time: 81.477 s 98.66/98.71 c =============================================================================== 98.66/98.71 c | 173 | 48588 257618 534974 | 85872 150 35 | 0.000 % | 98.66/98.77 c =============================================================================== 98.66/98.77 c New solution: 284 98.66/98.77 o 284 98.66/98.77 c Elapsed CPU time: 98.587 s Remaining CPU time: 81.413 s 98.66/98.77 c =============================================================================== 98.66/98.77 c | 175 | 48346 257619 535274 | 85873 152 35 | 0.000 % | 98.76/98.85 c =============================================================================== 98.76/98.85 c New solution: 283 98.76/98.85 o 283 98.76/98.85 c Elapsed CPU time: 98.658 s Remaining CPU time: 81.342 s 98.76/98.85 c =============================================================================== 98.76/98.85 c | 221 | 48104 257620 535574 | 85873 198 37 | 0.000 % | 98.86/98.91 c | 321 | 48094 257620 535574 | 94460 298 43 | 34.293 % | 98.86/98.97 c =============================================================================== 98.86/98.97 c New solution: 282 98.86/98.97 o 282 98.86/98.97 c Elapsed CPU time: 98.783 s Remaining CPU time: 81.217 s 98.86/98.97 c =============================================================================== 98.86/98.97 c | 330 | 47862 257621 535874 | 85873 204 42 | 34.293 % | 98.96/99.03 c =============================================================================== 98.96/99.03 c New solution: 281 98.96/99.03 o 281 98.96/99.03 c Elapsed CPU time: 98.836 s Remaining CPU time: 81.164 s 98.96/99.03 c =============================================================================== 98.96/99.03 c | 338 | 47620 257622 536174 | 85874 212 41 | 34.293 % | 98.96/99.08 c =============================================================================== 98.96/99.08 c New solution: 280 98.96/99.08 o 280 98.96/99.08 c Elapsed CPU time: 98.888 s Remaining CPU time: 81.112 s 98.96/99.08 c =============================================================================== 98.96/99.08 c | 340 | 47378 257623 536474 | 85874 214 41 | 34.293 % | 99.05/99.13 c =============================================================================== 99.05/99.13 c New solution: 279 99.05/99.13 o 279 99.05/99.13 c Elapsed CPU time: 98.94 s Remaining CPU time: 81.06 s 99.05/99.13 c =============================================================================== 99.05/99.13 c | 343 | 47136 257624 536774 | 85874 217 40 | 34.293 % | 99.05/99.19 c =============================================================================== 99.05/99.19 c New solution: 278 99.05/99.19 o 278 99.05/99.19 c Elapsed CPU time: 99.0009 s Remaining CPU time: 80.9991 s 99.05/99.19 c =============================================================================== 99.05/99.19 c | 345 | 46894 257625 537074 | 85875 219 40 | 34.293 % | 99.15/99.26 c =============================================================================== 99.15/99.26 c New solution: 277 99.15/99.26 o 277 99.15/99.26 c Elapsed CPU time: 99.0629 s Remaining CPU time: 80.9371 s 99.15/99.26 c =============================================================================== 99.15/99.26 c | 351 | 46652 257626 537374 | 85875 225 39 | 34.293 % | 99.25/99.32 c =============================================================================== 99.25/99.32 c New solution: 276 99.25/99.32 o 276 99.25/99.32 c Elapsed CPU time: 99.1269 s Remaining CPU time: 80.8731 s 99.25/99.32 c =============================================================================== 99.25/99.32 c | 358 | 46410 257627 537674 | 85875 232 39 | 34.293 % | 99.25/99.38 c =============================================================================== 99.25/99.38 c New solution: 275 99.25/99.38 o 275 99.25/99.38 c Elapsed CPU time: 99.1889 s Remaining CPU time: 80.8111 s 99.25/99.38 c =============================================================================== 99.25/99.38 c | 359 | 46168 257628 537974 | 85876 233 39 | 34.293 % | 99.35/99.43 c =============================================================================== 99.35/99.43 c New solution: 274 99.35/99.43 o 274 99.35/99.43 c Elapsed CPU time: 99.2399 s Remaining CPU time: 80.7601 s 99.35/99.43 c =============================================================================== 99.35/99.43 c | 367 | 45926 257629 538274 | 85876 241 38 | 34.293 % | 99.45/99.50 c =============================================================================== 99.45/99.50 c New solution: 273 99.45/99.50 o 273 99.45/99.50 c Elapsed CPU time: 99.3099 s Remaining CPU time: 80.6901 s 99.45/99.50 c =============================================================================== 99.45/99.50 c | 438 | 45684 257630 538574 | 85876 312 37 | 34.293 % | 99.45/99.57 c =============================================================================== 99.45/99.57 c New solution: 272 99.45/99.57 o 272 99.45/99.57 c Elapsed CPU time: 99.3749 s Remaining CPU time: 80.6251 s 99.45/99.57 c =============================================================================== 99.45/99.57 c | 477 | 45442 257631 538874 | 85877 351 38 | 34.293 % | 99.55/99.63 c =============================================================================== 99.55/99.63 c New solution: 271 99.55/99.63 o 271 99.55/99.63 c Elapsed CPU time: 99.4369 s Remaining CPU time: 80.5631 s 99.55/99.63 c =============================================================================== 99.55/99.63 c | 479 | 45200 257632 539174 | 85877 139 27 | 34.293 % | 99.55/99.69 c =============================================================================== 99.55/99.69 c New solution: 270 99.55/99.69 o 270 99.55/99.69 c Elapsed CPU time: 99.4969 s Remaining CPU time: 80.5031 s 99.55/99.69 c =============================================================================== 99.55/99.69 c | 482 | 44958 257633 539474 | 85877 142 26 | 34.293 % | 99.66/99.74 c =============================================================================== 99.66/99.74 c New solution: 269 99.66/99.74 o 269 99.66/99.74 c Elapsed CPU time: 99.5459 s Remaining CPU time: 80.4541 s 99.66/99.74 c =============================================================================== 99.66/99.74 c | 487 | 44716 257634 539774 | 85878 147 26 | 34.293 % | 99.66/99.79 c =============================================================================== 99.66/99.79 c New solution: 268 99.66/99.79 o 268 99.66/99.79 c Elapsed CPU time: 99.5969 s Remaining CPU time: 80.4031 s 99.66/99.79 c =============================================================================== 99.66/99.79 c | 496 | 44474 257635 540074 | 85878 156 25 | 34.293 % | 99.75/99.85 c | 597 | 44451 257635 540074 | 94466 257 34 | 39.277 % | 99.85/99.93 c =============================================================================== 99.85/99.93 c New solution: 267 99.85/99.93 o 267 99.85/99.93 c Elapsed CPU time: 99.7298 s Remaining CPU time: 80.2702 s 99.85/99.93 c =============================================================================== 99.85/99.93 c | 688 | 44232 257636 540374 | 85878 348 36 | 39.277 % | 99.85/99.99 c =============================================================================== 99.85/99.99 c New solution: 266 99.85/99.99 o 266 99.85/99.99 c Elapsed CPU time: 99.7878 s Remaining CPU time: 80.2122 s 99.85/99.99 c =============================================================================== 99.85/99.99 c | 690 | 43990 257637 540674 | 85879 350 36 | 39.277 % | 99.96/100.05 c =============================================================================== 99.96/100.05 c New solution: 265 99.96/100.05 o 265 99.96/100.05 c Elapsed CPU time: 99.8478 s Remaining CPU time: 80.1522 s 99.96/100.05 c =============================================================================== 99.96/100.05 c | 695 | 43748 257638 540974 | 85879 355 35 | 39.277 % | 99.96/100.10 c =============================================================================== 99.96/100.10 c New solution: 264 99.96/100.10 o 264 99.96/100.10 c Elapsed CPU time: 99.8978 s Remaining CPU time: 80.1022 s 99.96/100.10 c =============================================================================== 99.96/100.10 c | 699 | 43506 257639 541274 | 85879 359 35 | 39.277 % | 100.06/100.16 c =============================================================================== 100.06/100.16 c New solution: 263 100.06/100.16 o 263 100.06/100.16 c Elapsed CPU time: 99.9568 s Remaining CPU time: 80.0432 s 100.06/100.16 c =============================================================================== 100.06/100.16 c | 700 | 43264 257640 541574 | 85880 360 35 | 39.277 % | 100.15/100.21 c =============================================================================== 100.15/100.21 c New solution: 262 100.15/100.21 o 262 100.15/100.21 c Elapsed CPU time: 100.012 s Remaining CPU time: 79.9882 s 100.15/100.21 c =============================================================================== 100.15/100.21 c | 701 | 43022 257641 541874 | 85880 361 35 | 39.277 % | 100.15/100.28 c =============================================================================== 100.15/100.28 c New solution: 261 100.15/100.28 o 261 100.15/100.28 c Elapsed CPU time: 100.085 s Remaining CPU time: 79.9152 s 100.15/100.28 c =============================================================================== 100.15/100.28 c | 711 | 42780 257642 542174 | 85880 149 19 | 39.277 % | 100.25/100.34 c =============================================================================== 100.25/100.34 c New solution: 260 100.25/100.34 o 260 100.25/100.34 c Elapsed CPU time: 100.143 s Remaining CPU time: 79.8572 s 100.25/100.34 c =============================================================================== 100.25/100.34 c | 713 | 42538 257643 542474 | 85881 151 19 | 39.277 % | 100.35/100.40 c =============================================================================== 100.35/100.40 c New solution: 259 100.35/100.40 o 259 100.35/100.40 c Elapsed CPU time: 100.203 s Remaining CPU time: 79.7972 s 100.35/100.40 c =============================================================================== 100.35/100.40 c | 715 | 42296 257644 542774 | 85881 153 19 | 39.277 % | 100.35/100.46 c =============================================================================== 100.35/100.46 c New solution: 258 100.35/100.46 o 258 100.35/100.46 c Elapsed CPU time: 100.263 s Remaining CPU time: 79.7372 s 100.35/100.46 c =============================================================================== 100.35/100.46 c | 721 | 42054 257645 543074 | 85881 159 19 | 39.277 % | 100.45/100.51 c =============================================================================== 100.45/100.51 c New solution: 257 100.45/100.51 o 257 100.45/100.51 c Elapsed CPU time: 100.309 s Remaining CPU time: 79.6912 s 100.45/100.51 c =============================================================================== 100.45/100.51 c | 728 | 41812 257646 543374 | 85882 166 19 | 39.277 % | 100.45/100.58 c =============================================================================== 100.45/100.58 c New solution: 256 100.45/100.58 o 256 100.45/100.58 c Elapsed CPU time: 100.372 s Remaining CPU time: 79.6283 s 100.45/100.58 c =============================================================================== 100.45/100.58 c | 732 | 41570 257647 543674 | 85882 170 19 | 39.277 % | 100.55/100.62 c =============================================================================== 100.55/100.62 c New solution: 255 100.55/100.62 o 255 100.55/100.62 c Elapsed CPU time: 100.419 s Remaining CPU time: 79.5813 s 100.55/100.62 c =============================================================================== 100.55/100.62 c | 736 | 41328 257648 543974 | 85882 174 19 | 39.277 % | 100.55/100.67 c =============================================================================== 100.55/100.67 c New solution: 254 100.55/100.67 o 254 100.55/100.67 c Elapsed CPU time: 100.464 s Remaining CPU time: 79.5363 s 100.55/100.67 c =============================================================================== 100.55/100.67 c | 741 | 41086 257649 544274 | 85883 179 19 | 39.277 % | 100.66/100.72 c =============================================================================== 100.66/100.72 c New solution: 253 100.66/100.72 o 253 100.66/100.72 c Elapsed CPU time: 100.512 s Remaining CPU time: 79.4883 s 100.66/100.72 c =============================================================================== 100.66/100.72 c | 751 | 40844 257650 544574 | 85883 189 19 | 39.277 % | 100.66/100.78 c | 852 | 40833 257650 544574 | 94471 290 29 | 44.260 % | 100.76/100.86 c =============================================================================== 100.76/100.86 c New solution: 252 100.76/100.86 o 252 100.76/100.86 c Elapsed CPU time: 100.653 s Remaining CPU time: 79.3473 s 100.76/100.86 c =============================================================================== 100.76/100.86 c | 936 | 40602 257651 544874 | 85883 374 32 | 44.260 % | 100.85/100.90 c =============================================================================== 100.85/100.90 c New solution: 251 100.85/100.90 o 251 100.85/100.90 c Elapsed CPU time: 100.699 s Remaining CPU time: 79.3013 s 100.85/100.90 c =============================================================================== 100.85/100.90 c | 938 | 40360 257652 545174 | 85884 197 32 | 44.260 % | 100.85/100.96 c =============================================================================== 100.85/100.96 c New solution: 250 100.85/100.96 o 250 100.85/100.96 c Elapsed CPU time: 100.753 s Remaining CPU time: 79.2473 s 100.85/100.96 c =============================================================================== 100.85/100.96 c | 939 | 40118 257653 545474 | 85884 198 32 | 44.260 % | 100.95/101.02 c =============================================================================== 100.95/101.02 c New solution: 249 100.95/101.02 o 249 100.95/101.02 c Elapsed CPU time: 100.809 s Remaining CPU time: 79.1913 s 100.95/101.02 c =============================================================================== 100.95/101.02 c | 940 | 39876 257654 545774 | 85884 199 32 | 44.260 % | 100.95/101.06 c =============================================================================== 100.95/101.06 c New solution: 248 100.95/101.06 o 248 100.95/101.06 c Elapsed CPU time: 100.852 s Remaining CPU time: 79.1483 s 100.95/101.06 c =============================================================================== 100.95/101.06 c | 944 | 39634 257655 546074 | 85885 203 31 | 44.260 % | 101.06/101.12 c =============================================================================== 101.06/101.12 c New solution: 247 101.06/101.12 o 247 101.06/101.12 c Elapsed CPU time: 100.907 s Remaining CPU time: 79.0933 s 101.06/101.12 c =============================================================================== 101.06/101.12 c | 947 | 39392 257656 546374 | 85885 206 31 | 44.260 % | 101.06/101.17 c =============================================================================== 101.06/101.17 c New solution: 246 101.06/101.17 o 246 101.06/101.17 c Elapsed CPU time: 100.962 s Remaining CPU time: 79.0383 s 101.06/101.17 c =============================================================================== 101.06/101.17 c | 949 | 39150 257657 546674 | 85885 208 31 | 44.260 % | 101.16/101.22 c =============================================================================== 101.16/101.22 c New solution: 245 101.16/101.22 o 245 101.16/101.22 c Elapsed CPU time: 101.008 s Remaining CPU time: 78.9924 s 101.16/101.22 c =============================================================================== 101.16/101.22 c | 954 | 38908 257658 546974 | 85886 213 31 | 44.260 % | 101.16/101.27 c =============================================================================== 101.16/101.27 c New solution: 244 101.16/101.27 o 244 101.16/101.27 c Elapsed CPU time: 101.063 s Remaining CPU time: 78.9374 s 101.16/101.27 c =============================================================================== 101.16/101.27 c | 956 | 38666 257659 547274 | 85886 215 30 | 44.260 % | 101.25/101.33 c =============================================================================== 101.25/101.33 c New solution: 243 101.25/101.33 o 243 101.25/101.33 c Elapsed CPU time: 101.117 s Remaining CPU time: 78.8834 s 101.25/101.33 c =============================================================================== 101.25/101.33 c | 960 | 38424 257660 547574 | 85886 219 30 | 44.260 % | 101.25/101.38 c =============================================================================== 101.25/101.38 c New solution: 242 101.25/101.38 o 242 101.25/101.38 c Elapsed CPU time: 101.169 s Remaining CPU time: 78.8314 s 101.25/101.38 c =============================================================================== 101.25/101.38 c | 960 | 38182 257661 547874 | 85887 219 30 | 44.260 % | 101.36/101.44 c =============================================================================== 101.36/101.44 c New solution: 241 101.36/101.44 o 241 101.36/101.44 c Elapsed CPU time: 101.223 s Remaining CPU time: 78.7774 s 101.36/101.44 c =============================================================================== 101.36/101.44 c | 964 | 37940 257662 548174 | 85887 223 30 | 44.260 % | 101.46/101.50 c =============================================================================== 101.46/101.50 c New solution: 240 101.46/101.50 o 240 101.46/101.50 c Elapsed CPU time: 101.287 s Remaining CPU time: 78.7134 s 101.46/101.50 c =============================================================================== 101.46/101.50 c | 1017 | 37698 257663 548474 | 85887 276 31 | 44.260 % | 101.46/101.55 c =============================================================================== 101.46/101.55 c New solution: 239 101.46/101.55 o 239 101.46/101.55 c Elapsed CPU time: 101.339 s Remaining CPU time: 78.6614 s 101.46/101.55 c =============================================================================== 101.46/101.55 c | 1028 | 37456 257664 548774 | 85888 287 31 | 44.260 % | 101.56/101.61 c =============================================================================== 101.56/101.61 c New solution: 238 101.56/101.61 o 238 101.56/101.61 c Elapsed CPU time: 101.397 s Remaining CPU time: 78.6034 s 101.56/101.61 c =============================================================================== 101.56/101.61 c | 1033 | 37214 257665 549074 | 85888 72 19 | 44.260 % | 101.56/101.67 c =============================================================================== 101.56/101.67 c New solution: 237 101.56/101.67 o 237 101.56/101.67 c Elapsed CPU time: 101.451 s Remaining CPU time: 78.5494 s 101.56/101.67 c =============================================================================== 101.56/101.67 c | 1045 | 36972 257666 549374 | 85888 84 19 | 44.260 % | 101.65/101.72 c =============================================================================== 101.65/101.72 c New solution: 236 101.65/101.72 o 236 101.65/101.72 c Elapsed CPU time: 101.498 s Remaining CPU time: 78.5024 s 101.65/101.72 c =============================================================================== 101.65/101.72 c | 1062 | 36730 257667 549674 | 85889 101 20 | 44.260 % | 101.65/101.78 c =============================================================================== 101.65/101.78 c New solution: 235 101.65/101.78 o 235 101.65/101.78 c Elapsed CPU time: 101.559 s Remaining CPU time: 78.4414 s 101.65/101.78 c =============================================================================== 101.65/101.78 c | 1097 | 36488 257668 549974 | 85889 136 27 | 44.260 % | 101.75/101.83 c =============================================================================== 101.75/101.83 c New solution: 234 101.75/101.83 o 234 101.75/101.83 c Elapsed CPU time: 101.617 s Remaining CPU time: 78.3834 s 101.75/101.83 c =============================================================================== 101.75/101.83 c | 1109 | 36246 257669 550274 | 85889 148 28 | 44.260 % | 101.75/101.88 c =============================================================================== 101.75/101.88 c New solution: 233 101.75/101.88 o 233 101.75/101.88 c Elapsed CPU time: 101.666 s Remaining CPU time: 78.3345 s 101.75/101.88 c =============================================================================== 101.75/101.88 c | 1114 | 36004 257670 550574 | 85890 153 27 | 44.260 % | 101.85/101.94 c =============================================================================== 101.85/101.94 c New solution: 232 101.85/101.94 o 232 101.85/101.94 c Elapsed CPU time: 101.722 s Remaining CPU time: 78.2785 s 101.85/101.94 c =============================================================================== 101.85/101.94 c | 1118 | 35762 257671 550874 | 85890 157 27 | 44.260 % | 101.85/101.99 c =============================================================================== 101.85/101.99 c New solution: 231 101.85/101.99 o 231 101.85/101.99 c Elapsed CPU time: 101.775 s Remaining CPU time: 78.2255 s 101.85/101.99 c =============================================================================== 101.85/101.99 c | 1121 | 35520 257672 551174 | 85890 160 27 | 44.260 % | 101.95/102.04 c =============================================================================== 101.95/102.04 c New solution: 230 101.95/102.04 o 230 101.95/102.04 c Elapsed CPU time: 101.827 s Remaining CPU time: 78.1735 s 101.95/102.04 c =============================================================================== 101.95/102.04 c | 1122 | 35278 257673 551474 | 85891 161 27 | 44.260 % | 102.05/102.10 c =============================================================================== 102.05/102.10 c New solution: 229 102.05/102.10 o 229 102.05/102.10 c Elapsed CPU time: 101.878 s Remaining CPU time: 78.1225 s 102.05/102.10 c =============================================================================== 102.05/102.10 c | 1124 | 35036 257674 551774 | 85891 163 26 | 44.260 % | 102.05/102.14 c =============================================================================== 102.05/102.14 c New solution: 228 102.05/102.14 o 228 102.05/102.14 c Elapsed CPU time: 101.92 s Remaining CPU time: 78.0805 s 102.05/102.14 c =============================================================================== 102.05/102.14 c | 1127 | 34794 257675 552074 | 85891 166 26 | 44.260 % | 102.05/102.18 c =============================================================================== 102.05/102.18 c New solution: 227 102.05/102.18 o 227 102.05/102.18 c Elapsed CPU time: 101.961 s Remaining CPU time: 78.0385 s 102.05/102.18 c =============================================================================== 102.05/102.18 c | 1131 | 34552 257676 552374 | 85892 170 26 | 44.260 % | 102.16/102.23 c =============================================================================== 102.16/102.23 c New solution: 226 102.16/102.23 o 226 102.16/102.23 c Elapsed CPU time: 102.009 s Remaining CPU time: 77.9905 s 102.16/102.23 c =============================================================================== 102.16/102.23 c | 1142 | 34310 257677 552674 | 85892 181 25 | 44.260 % | 102.16/102.27 c =============================================================================== 102.16/102.27 c New solution: 225 102.16/102.27 o 225 102.16/102.27 c Elapsed CPU time: 102.051 s Remaining CPU time: 77.9485 s 102.16/102.27 c =============================================================================== 102.16/102.27 c | 1147 | 34068 257678 552974 | 85892 186 25 | 44.260 % | 102.26/102.34 c =============================================================================== 102.26/102.34 c New solution: 224 102.26/102.34 o 224 102.26/102.34 c Elapsed CPU time: 102.122 s Remaining CPU time: 77.8775 s 102.26/102.34 c =============================================================================== 102.26/102.34 c | 1187 | 33826 257679 553274 | 85893 99 23 | 44.260 % | 102.26/102.40 c =============================================================================== 102.26/102.40 c New solution: 223 102.26/102.40 o 223 102.26/102.40 c Elapsed CPU time: 102.173 s Remaining CPU time: 77.8265 s 102.26/102.40 c =============================================================================== 102.26/102.40 c | 1190 | 33584 257680 553574 | 85893 102 23 | 44.260 % | 102.35/102.45 c =============================================================================== 102.35/102.45 c New solution: 222 102.35/102.45 o 222 102.35/102.45 c Elapsed CPU time: 102.223 s Remaining CPU time: 77.7765 s 102.35/102.45 c =============================================================================== 102.35/102.45 c | 1191 | 33342 257681 553874 | 85893 103 23 | 44.260 % | 102.35/102.49 c =============================================================================== 102.35/102.49 c New solution: 221 102.35/102.49 o 221 102.35/102.49 c Elapsed CPU time: 102.265 s Remaining CPU time: 77.7345 s 102.35/102.49 c =============================================================================== 102.35/102.49 c | 1197 | 33100 257682 554174 | 85894 109 23 | 44.260 % | 102.45/102.54 c =============================================================================== 102.45/102.54 c New solution: 220 102.45/102.54 o 220 102.45/102.54 c Elapsed CPU time: 102.321 s Remaining CPU time: 77.6786 s 102.45/102.54 c =============================================================================== 102.45/102.54 c | 1202 | 32858 257683 554474 | 85894 114 22 | 44.260 % | 102.45/102.60 c =============================================================================== 102.45/102.60 c New solution: 219 102.45/102.60 o 219 102.45/102.60 c Elapsed CPU time: 102.373 s Remaining CPU time: 77.6266 s 102.45/102.60 c =============================================================================== 102.45/102.60 c | 1212 | 32616 257684 554774 | 85894 124 21 | 44.260 % | 102.55/102.65 c =============================================================================== 102.55/102.65 c New solution: 218 102.55/102.65 o 218 102.55/102.65 c Elapsed CPU time: 102.425 s Remaining CPU time: 77.5746 s 102.55/102.65 c =============================================================================== 102.55/102.65 c | 1216 | 32374 257685 555074 | 85895 128 21 | 44.260 % | 102.65/102.70 c =============================================================================== 102.65/102.70 c New solution: 217 102.65/102.70 o 217 102.65/102.70 c Elapsed CPU time: 102.478 s Remaining CPU time: 77.5216 s 102.65/102.70 c =============================================================================== 102.65/102.70 c | 1222 | 32132 257686 555374 | 85895 134 21 | 44.260 % | 102.65/102.75 c =============================================================================== 102.65/102.75 c New solution: 216 102.65/102.75 o 216 102.65/102.75 c Elapsed CPU time: 102.533 s Remaining CPU time: 77.4666 s 102.65/102.75 c =============================================================================== 102.65/102.75 c | 1227 | 31890 257687 555674 | 85895 139 21 | 44.260 % | 102.75/102.81 c =============================================================================== 102.75/102.81 c New solution: 215 102.75/102.81 o 215 102.75/102.81 c Elapsed CPU time: 102.586 s Remaining CPU time: 77.4136 s 102.75/102.81 c =============================================================================== 102.75/102.81 c | 1239 | 31648 257688 555974 | 85896 151 20 | 44.260 % | 102.75/102.86 c =============================================================================== 102.75/102.86 c New solution: 214 102.75/102.86 o 214 102.75/102.86 c Elapsed CPU time: 102.632 s Remaining CPU time: 77.3676 s 102.75/102.86 c =============================================================================== 102.75/102.86 c | 1252 | 31406 257689 556274 | 85896 164 20 | 44.260 % | 102.85/102.91 c =============================================================================== 102.85/102.91 c New solution: 213 102.85/102.91 o 213 102.85/102.91 c Elapsed CPU time: 102.682 s Remaining CPU time: 77.3176 s 102.85/102.91 c =============================================================================== 102.85/102.91 c | 1283 | 31164 257690 556574 | 85896 195 24 | 44.260 % | 102.85/102.97 c =============================================================================== 102.85/102.97 c New solution: 212 102.85/102.97 o 212 102.85/102.97 c Elapsed CPU time: 102.748 s Remaining CPU time: 77.2516 s 102.85/102.97 c =============================================================================== 102.85/102.97 c | 1314 | 30922 257691 556874 | 85897 226 27 | 44.260 % | 102.95/103.02 c =============================================================================== 102.95/103.02 c New solution: 211 102.95/103.02 o 211 102.95/103.02 c Elapsed CPU time: 102.8 s Remaining CPU time: 77.1996 s 102.95/103.02 c =============================================================================== 102.95/103.02 c | 1319 | 30680 257692 557174 | 85897 96 19 | 44.260 % | 102.95/103.07 c =============================================================================== 102.95/103.07 c New solution: 210 102.95/103.07 o 210 102.95/103.07 c Elapsed CPU time: 102.849 s Remaining CPU time: 77.1506 s 102.95/103.07 c =============================================================================== 102.95/103.07 c | 1325 | 30438 257693 557474 | 85897 102 19 | 44.260 % | 103.05/103.12 c =============================================================================== 103.05/103.12 c New solution: 209 103.05/103.12 o 209 103.05/103.12 c Elapsed CPU time: 102.899 s Remaining CPU time: 77.1006 s 103.05/103.12 c =============================================================================== 103.05/103.12 c | 1334 | 30196 257694 557774 | 85898 111 20 | 44.260 % | 103.05/103.17 c =============================================================================== 103.05/103.17 c New solution: 208 103.05/103.17 o 208 103.05/103.17 c Elapsed CPU time: 102.949 s Remaining CPU time: 77.0507 s 103.05/103.17 c =============================================================================== 103.05/103.17 c | 1338 | 29954 257695 558074 | 85898 115 19 | 44.260 % | 103.15/103.22 c =============================================================================== 103.15/103.22 c New solution: 207 103.15/103.22 o 207 103.15/103.22 c Elapsed CPU time: 102.997 s Remaining CPU time: 77.0027 s 103.15/103.22 c =============================================================================== 103.15/103.22 c | 1339 | 29712 257696 558374 | 85898 116 19 | 44.260 % | 103.15/103.27 c =============================================================================== 103.15/103.27 c New solution: 206 103.15/103.27 o 206 103.15/103.27 c Elapsed CPU time: 103.043 s Remaining CPU time: 76.9567 s 103.15/103.27 c =============================================================================== 103.15/103.27 c | 1345 | 29470 257697 558674 | 85899 122 19 | 44.260 % | 103.26/103.31 c =============================================================================== 103.26/103.31 c New solution: 205 103.26/103.31 o 205 103.26/103.31 c Elapsed CPU time: 103.085 s Remaining CPU time: 76.9147 s 103.26/103.31 c =============================================================================== 103.26/103.31 c | 1348 | 29228 257698 558974 | 85899 125 19 | 44.260 % | 103.26/103.36 c =============================================================================== 103.26/103.36 c New solution: 204 103.26/103.36 o 204 103.26/103.36 c Elapsed CPU time: 103.133 s Remaining CPU time: 76.8667 s 103.26/103.36 c =============================================================================== 103.26/103.36 c | 1351 | 28986 257699 559274 | 85899 128 19 | 44.260 % | 103.36/103.41 c =============================================================================== 103.36/103.41 c New solution: 203 103.36/103.41 o 203 103.36/103.41 c Elapsed CPU time: 103.181 s Remaining CPU time: 76.8187 s 103.36/103.41 c =============================================================================== 103.36/103.41 c | 1360 | 28744 257700 559574 | 85900 137 19 | 44.260 % | 103.36/103.46 c =============================================================================== 103.36/103.46 c New solution: 202 103.36/103.46 o 202 103.36/103.46 c Elapsed CPU time: 103.234 s Remaining CPU time: 76.7657 s 103.36/103.46 c =============================================================================== 103.36/103.46 c | 1378 | 28502 257701 559874 | 85900 155 20 | 44.260 % | 103.46/103.51 c =============================================================================== 103.46/103.51 c New solution: 201 103.46/103.51 o 201 103.46/103.51 c Elapsed CPU time: 103.285 s Remaining CPU time: 76.7147 s 103.46/103.51 c =============================================================================== 103.46/103.51 c | 1401 | 28260 257702 560174 | 85900 178 23 | 44.260 % | 103.46/103.56 c =============================================================================== 103.46/103.56 c New solution: 200 103.46/103.56 o 200 103.46/103.56 c Elapsed CPU time: 103.33 s Remaining CPU time: 76.6697 s 103.46/103.56 c =============================================================================== 103.46/103.56 c | 1406 | 28018 257703 560474 | 85901 183 22 | 44.260 % | 103.55/103.61 c =============================================================================== 103.55/103.61 c New solution: 199 103.55/103.61 o 199 103.55/103.61 c Elapsed CPU time: 103.378 s Remaining CPU time: 76.6217 s 103.55/103.61 c =============================================================================== 103.55/103.61 c | 1420 | 27776 257704 560774 | 85901 197 23 | 44.260 % | 103.55/103.65 c =============================================================================== 103.55/103.65 c New solution: 198 103.55/103.65 o 198 103.55/103.65 c Elapsed CPU time: 103.417 s Remaining CPU time: 76.5827 s 103.55/103.65 c =============================================================================== 103.55/103.65 c | 1428 | 27534 257705 561074 | 85901 205 23 | 44.260 % | 103.55/103.69 c =============================================================================== 103.55/103.69 c New solution: 197 103.55/103.69 o 197 103.55/103.69 c Elapsed CPU time: 103.462 s Remaining CPU time: 76.5377 s 103.55/103.69 c =============================================================================== 103.55/103.69 c | 1430 | 27292 257706 561374 | 85902 207 22 | 44.260 % | 103.65/103.74 c =============================================================================== 103.65/103.74 c New solution: 196 103.65/103.74 o 196 103.65/103.74 c Elapsed CPU time: 103.506 s Remaining CPU time: 76.4937 s 103.65/103.74 c =============================================================================== 103.65/103.74 c | 1438 | 27050 257707 561674 | 85902 215 22 | 44.260 % | 103.65/103.77 c =============================================================================== 103.65/103.77 c New solution: 195 103.65/103.77 o 195 103.65/103.77 c Elapsed CPU time: 103.543 s Remaining CPU time: 76.4567 s 103.65/103.77 c =============================================================================== 103.65/103.77 c | 1442 | 26808 257708 561974 | 85902 219 22 | 44.260 % | 103.75/103.81 c =============================================================================== 103.75/103.81 c New solution: 194 103.75/103.81 o 194 103.75/103.81 c Elapsed CPU time: 103.582 s Remaining CPU time: 76.4177 s 103.75/103.81 c =============================================================================== 103.75/103.81 c | 1448 | 26566 257709 562274 | 85903 70 14 | 44.260 % | 103.75/103.86 c =============================================================================== 103.75/103.86 c New solution: 193 103.75/103.86 o 193 103.75/103.86 c Elapsed CPU time: 103.629 s Remaining CPU time: 76.3708 s 103.75/103.86 c =============================================================================== 103.75/103.86 c | 1481 | 26324 257710 562574 | 85903 103 20 | 44.260 % | 103.85/103.91 c =============================================================================== 103.85/103.91 c New solution: 192 103.85/103.91 o 192 103.85/103.91 c Elapsed CPU time: 103.673 s Remaining CPU time: 76.3268 s 103.85/103.91 c =============================================================================== 103.85/103.91 c | 1492 | 26082 257711 562874 | 85903 114 21 | 44.260 % | 103.85/103.95 c =============================================================================== 103.85/103.95 c New solution: 191 103.85/103.95 o 191 103.85/103.95 c Elapsed CPU time: 103.712 s Remaining CPU time: 76.2878 s 103.85/103.95 c =============================================================================== 103.85/103.95 c | 1500 | 25840 257712 563174 | 85904 122 21 | 44.260 % | 103.85/103.99 c =============================================================================== 103.85/103.99 c New solution: 190 103.85/103.99 o 190 103.85/103.99 c Elapsed CPU time: 103.751 s Remaining CPU time: 76.2488 s 103.85/103.99 c =============================================================================== 103.85/103.99 c | 1512 | 25598 257713 563474 | 85904 134 21 | 44.260 % | 103.95/104.03 c =============================================================================== 103.95/104.03 c New solution: 189 103.95/104.03 o 189 103.95/104.03 c Elapsed CPU time: 103.794 s Remaining CPU time: 76.2058 s 103.95/104.03 c =============================================================================== 103.95/104.03 c | 1525 | 25356 257714 563774 | 85904 147 23 | 44.260 % | 103.95/104.07 c =============================================================================== 103.95/104.07 c New solution: 188 103.95/104.07 o 188 103.95/104.07 c Elapsed CPU time: 103.83 s Remaining CPU time: 76.1698 s 103.95/104.07 c =============================================================================== 103.95/104.07 c | 1528 | 25114 257715 564074 | 85905 150 22 | 44.260 % | 104.06/104.11 c =============================================================================== 104.06/104.11 c New solution: 187 104.06/104.11 o 187 104.06/104.11 c Elapsed CPU time: 103.873 s Remaining CPU time: 76.1268 s 104.06/104.11 c =============================================================================== 104.06/104.11 c | 1530 | 24872 257716 564374 | 85905 152 22 | 44.260 % | 104.06/104.14 c =============================================================================== 104.06/104.14 c New solution: 186 104.06/104.14 o 186 104.06/104.14 c Elapsed CPU time: 103.909 s Remaining CPU time: 76.0908 s 104.06/104.14 c =============================================================================== 104.06/104.14 c | 1532 | 24630 257717 564674 | 85905 154 22 | 44.260 % | 104.06/104.19 c =============================================================================== 104.06/104.19 c New solution: 185 104.06/104.19 o 185 104.06/104.19 c Elapsed CPU time: 103.957 s Remaining CPU time: 76.0428 s 104.06/104.19 c =============================================================================== 104.06/104.19 c | 1577 | 24388 257718 564974 | 85906 199 25 | 44.260 % | 104.16/104.29 c | 1678 | 24378 257718 564974 | 94496 300 33 | 66.852 % | 104.26/104.33 c =============================================================================== 104.26/104.33 c New solution: 184 104.26/104.33 o 184 104.26/104.33 c Elapsed CPU time: 104.089 s Remaining CPU time: 75.9108 s 104.26/104.33 c =============================================================================== 104.26/104.33 c | 1680 | 24146 257719 565274 | 85906 302 33 | 66.852 % | 104.26/104.37 c =============================================================================== 104.26/104.37 c New solution: 183 104.26/104.37 o 183 104.26/104.37 c Elapsed CPU time: 104.131 s Remaining CPU time: 75.8688 s 104.26/104.37 c =============================================================================== 104.26/104.37 c | 1683 | 23904 257720 565574 | 85906 305 32 | 66.852 % | 104.36/104.41 c =============================================================================== 104.36/104.41 c New solution: 182 104.36/104.41 o 182 104.36/104.41 c Elapsed CPU time: 104.166 s Remaining CPU time: 75.8338 s 104.36/104.41 c =============================================================================== 104.36/104.41 c | 1688 | 23662 257721 565874 | 85907 310 32 | 66.852 % | 104.36/104.45 c =============================================================================== 104.36/104.45 c New solution: 181 104.36/104.45 o 181 104.36/104.45 c Elapsed CPU time: 104.21 s Remaining CPU time: 75.7898 s 104.36/104.45 c =============================================================================== 104.36/104.45 c | 1698 | 23420 257722 566174 | 85907 320 32 | 66.852 % | 104.36/104.49 c =============================================================================== 104.36/104.49 c New solution: 180 104.36/104.49 o 180 104.36/104.49 c Elapsed CPU time: 104.245 s Remaining CPU time: 75.7548 s 104.36/104.49 c =============================================================================== 104.36/104.49 c | 1702 | 23178 257723 566474 | 85907 324 31 | 66.852 % | 104.46/104.53 c =============================================================================== 104.46/104.53 c New solution: 179 104.46/104.53 o 179 104.46/104.53 c Elapsed CPU time: 104.287 s Remaining CPU time: 75.7129 s 104.46/104.53 c =============================================================================== 104.46/104.53 c | 1704 | 22936 257724 566774 | 85908 326 31 | 66.852 % | 104.46/104.57 c =============================================================================== 104.46/104.57 c New solution: 178 104.46/104.57 o 178 104.46/104.57 c Elapsed CPU time: 104.33 s Remaining CPU time: 75.6699 s 104.46/104.57 c =============================================================================== 104.46/104.57 c | 1711 | 22694 257725 567074 | 85908 333 31 | 66.852 % | 104.55/104.61 c =============================================================================== 104.55/104.61 c New solution: 177 104.55/104.61 o 177 104.55/104.61 c Elapsed CPU time: 104.369 s Remaining CPU time: 75.6309 s 104.55/104.61 c =============================================================================== 104.55/104.61 c | 1720 | 22452 257726 567374 | 85908 112 23 | 66.852 % | 104.55/104.66 c =============================================================================== 104.55/104.66 c New solution: 176 104.55/104.66 o 176 104.55/104.66 c Elapsed CPU time: 104.41 s Remaining CPU time: 75.5899 s 104.55/104.66 c =============================================================================== 104.55/104.66 c | 1753 | 22210 257727 567674 | 85909 145 25 | 66.852 % | 104.65/104.74 c | 1853 | 22197 257727 567674 | 94499 245 40 | 69.842 % | 104.65/104.78 c =============================================================================== 104.65/104.78 c New solution: 175 104.65/104.78 o 175 104.65/104.78 c Elapsed CPU time: 104.533 s Remaining CPU time: 75.4669 s 104.65/104.78 c =============================================================================== 104.65/104.78 c | 1858 | 21968 257728 567974 | 85909 250 39 | 69.842 % | 104.76/104.82 c =============================================================================== 104.76/104.82 c New solution: 174 104.76/104.82 o 174 104.76/104.82 c Elapsed CPU time: 104.574 s Remaining CPU time: 75.4259 s 104.76/104.82 c =============================================================================== 104.76/104.82 c | 1860 | 21726 257729 568274 | 85909 252 39 | 69.842 % | 104.76/104.86 c =============================================================================== 104.76/104.86 c New solution: 173 104.76/104.86 o 173 104.76/104.86 c Elapsed CPU time: 104.615 s Remaining CPU time: 75.3849 s 104.76/104.86 c =============================================================================== 104.76/104.86 c | 1863 | 21484 257730 568574 | 85910 255 38 | 69.842 % | 104.85/104.90 c =============================================================================== 104.85/104.90 c New solution: 172 104.85/104.90 o 172 104.85/104.90 c Elapsed CPU time: 104.655 s Remaining CPU time: 75.3449 s 104.85/104.90 c =============================================================================== 104.85/104.90 c | 1865 | 21242 257731 568874 | 85910 257 38 | 69.842 % | 104.85/104.94 c =============================================================================== 104.85/104.94 c New solution: 171 104.85/104.94 o 171 104.85/104.94 c Elapsed CPU time: 104.696 s Remaining CPU time: 75.3039 s 104.85/104.94 c =============================================================================== 104.85/104.94 c | 1867 | 21000 257732 569174 | 85910 259 38 | 69.842 % | 104.85/104.98 c =============================================================================== 104.85/104.98 c New solution: 170 104.85/104.98 o 170 104.85/104.98 c Elapsed CPU time: 104.729 s Remaining CPU time: 75.2709 s 104.85/104.98 c =============================================================================== 104.85/104.98 c | 1870 | 20758 257733 569474 | 85911 262 38 | 69.842 % | 104.95/105.02 c =============================================================================== 104.95/105.02 c New solution: 169 104.95/105.02 o 169 104.95/105.02 c Elapsed CPU time: 104.772 s Remaining CPU time: 75.2279 s 104.95/105.02 c =============================================================================== 104.95/105.02 c | 1876 | 20516 257734 569774 | 85911 268 37 | 69.842 % | 104.95/105.06 c =============================================================================== 104.95/105.06 c New solution: 168 104.95/105.06 o 168 104.95/105.06 c Elapsed CPU time: 104.815 s Remaining CPU time: 75.1849 s 104.95/105.06 c =============================================================================== 104.95/105.06 c | 1882 | 20274 257735 570074 | 85911 274 37 | 69.842 % | 105.05/105.10 c =============================================================================== 105.05/105.10 c New solution: 167 105.05/105.10 o 167 105.05/105.10 c Elapsed CPU time: 104.856 s Remaining CPU time: 75.1439 s 105.05/105.10 c =============================================================================== 105.05/105.10 c | 1887 | 20032 257736 570374 | 85912 279 36 | 69.842 % | 105.05/105.15 c =============================================================================== 105.05/105.15 c New solution: 166 105.05/105.15 o 166 105.05/105.15 c Elapsed CPU time: 104.9 s Remaining CPU time: 75.0999 s 105.05/105.15 c =============================================================================== 105.05/105.15 c | 1894 | 19790 257737 570674 | 85912 286 36 | 69.842 % | 105.05/105.18 c =============================================================================== 105.05/105.18 c New solution: 165 105.05/105.18 o 165 105.05/105.18 c Elapsed CPU time: 104.937 s Remaining CPU time: 75.063 s 105.05/105.18 c =============================================================================== 105.05/105.18 c | 1905 | 19548 257738 570974 | 85912 297 35 | 69.842 % | 105.15/105.24 c =============================================================================== 105.15/105.24 c New solution: 164 105.15/105.24 o 164 105.15/105.24 c Elapsed CPU time: 104.992 s Remaining CPU time: 75.008 s 105.15/105.24 c =============================================================================== 105.15/105.24 c | 1942 | 19306 257739 571274 | 85913 334 35 | 69.842 % | 105.15/105.28 c =============================================================================== 105.15/105.28 c New solution: 163 105.15/105.28 o 163 105.15/105.28 c Elapsed CPU time: 105.034 s Remaining CPU time: 74.966 s 105.15/105.28 c =============================================================================== 105.15/105.28 c | 1950 | 19064 257740 571574 | 85913 342 35 | 69.842 % | 105.25/105.32 c =============================================================================== 105.25/105.32 c New solution: 162 105.25/105.32 o 162 105.25/105.32 c Elapsed CPU time: 105.068 s Remaining CPU time: 74.932 s 105.25/105.32 c =============================================================================== 105.25/105.32 c | 1953 | 18822 257741 571874 | 85913 345 35 | 69.842 % | 105.25/105.36 c =============================================================================== 105.25/105.36 c New solution: 161 105.25/105.36 o 161 105.25/105.36 c Elapsed CPU time: 105.106 s Remaining CPU time: 74.894 s 105.25/105.36 c =============================================================================== 105.25/105.36 c | 1955 | 18580 257742 572174 | 85914 347 35 | 69.842 % | 105.25/105.39 c =============================================================================== 105.25/105.39 c New solution: 160 105.25/105.39 o 160 105.25/105.39 c Elapsed CPU time: 105.143 s Remaining CPU time: 74.857 s 105.25/105.39 c =============================================================================== 105.25/105.39 c | 1957 | 18338 257743 572474 | 85914 349 35 | 69.842 % | 105.35/105.43 c =============================================================================== 105.35/105.43 c New solution: 159 105.35/105.43 o 159 105.35/105.43 c Elapsed CPU time: 105.178 s Remaining CPU time: 74.822 s 105.35/105.43 c =============================================================================== 105.35/105.43 c | 1969 | 18096 257744 572774 | 85914 361 34 | 69.842 % | 105.35/105.47 c =============================================================================== 105.35/105.47 c New solution: 158 105.35/105.47 o 158 105.35/105.47 c Elapsed CPU time: 105.215 s Remaining CPU time: 74.785 s 105.35/105.47 c =============================================================================== 105.35/105.47 c | 1977 | 17854 257745 573074 | 85915 369 34 | 69.842 % | 105.46/105.51 c =============================================================================== 105.46/105.51 c New solution: 157 105.46/105.51 o 157 105.46/105.51 c Elapsed CPU time: 105.257 s Remaining CPU time: 74.743 s 105.46/105.51 c =============================================================================== 105.46/105.51 c | 1983 | 17612 257746 573374 | 85915 375 33 | 69.842 % | 105.46/105.55 c =============================================================================== 105.46/105.55 c New solution: 156 105.46/105.55 o 156 105.46/105.55 c Elapsed CPU time: 105.299 s Remaining CPU time: 74.701 s 105.46/105.55 c =============================================================================== 105.46/105.55 c | 1989 | 17370 257747 573674 | 85915 78 20 | 69.842 % | 105.46/105.59 c =============================================================================== 105.46/105.59 c New solution: 155 105.46/105.59 o 155 105.46/105.59 c Elapsed CPU time: 105.336 s Remaining CPU time: 74.664 s 105.46/105.59 c =============================================================================== 105.46/105.59 c | 2004 | 17128 257748 573974 | 85916 93 20 | 69.842 % | 105.56/105.63 c =============================================================================== 105.56/105.63 c New solution: 154 105.56/105.63 o 154 105.56/105.63 c Elapsed CPU time: 105.376 s Remaining CPU time: 74.624 s 105.56/105.63 c =============================================================================== 105.56/105.63 c | 2011 | 16886 257749 574274 | 85916 100 20 | 69.842 % | 105.56/105.67 c =============================================================================== 105.56/105.67 c New solution: 153 105.56/105.67 o 153 105.56/105.67 c Elapsed CPU time: 105.415 s Remaining CPU time: 74.585 s 105.56/105.67 c =============================================================================== 105.56/105.67 c | 2018 | 16644 257750 574574 | 85916 107 20 | 69.842 % | 105.65/105.71 c =============================================================================== 105.65/105.71 c New solution: 152 105.65/105.71 o 152 105.65/105.71 c Elapsed CPU time: 105.456 s Remaining CPU time: 74.544 s 105.65/105.71 c =============================================================================== 105.65/105.71 c | 2023 | 16402 257751 574874 | 85917 112 20 | 69.842 % | 105.65/105.74 c =============================================================================== 105.65/105.74 c New solution: 151 105.65/105.74 o 151 105.65/105.74 c Elapsed CPU time: 105.491 s Remaining CPU time: 74.509 s 105.65/105.74 c =============================================================================== 105.65/105.74 c | 2024 | 16160 257752 575174 | 85917 113 20 | 69.842 % | 105.65/105.78 c =============================================================================== 105.65/105.78 c New solution: 150 105.65/105.78 o 150 105.65/105.78 c Elapsed CPU time: 105.524 s Remaining CPU time: 74.476 s 105.65/105.78 c =============================================================================== 105.65/105.78 c | 2037 | 15918 257753 575474 | 85917 126 21 | 69.842 % | 105.75/105.82 c | 2139 | 15885 257753 575474 | 94509 228 34 | 78.479 % | 105.85/105.96 c | 2289 | 15874 257753 575474 | 103960 378 41 | 78.479 % | 105.85/105.99 c =============================================================================== 105.85/105.99 c New solution: 149 105.85/105.99 o 149 105.85/105.99 c Elapsed CPU time: 105.736 s Remaining CPU time: 74.2641 s 105.85/105.99 c =============================================================================== 105.85/105.99 c | 2294 | 15676 257754 575774 | 85918 383 40 | 78.479 % | 105.95/106.03 c =============================================================================== 105.95/106.03 c New solution: 148 105.95/106.03 o 148 105.95/106.03 c Elapsed CPU time: 105.771 s Remaining CPU time: 74.2291 s 105.95/106.03 c =============================================================================== 105.95/106.03 c | 2295 | 15434 257755 576074 | 85918 384 40 | 78.479 % | 105.95/106.06 c =============================================================================== 105.95/106.06 c New solution: 147 105.95/106.06 o 147 105.95/106.06 c Elapsed CPU time: 105.807 s Remaining CPU time: 74.1931 s 105.95/106.06 c =============================================================================== 105.95/106.06 c | 2299 | 15192 257756 576374 | 85918 388 40 | 78.479 % | 106.05/106.10 c =============================================================================== 106.05/106.10 c New solution: 146 106.05/106.10 o 146 106.05/106.10 c Elapsed CPU time: 105.845 s Remaining CPU time: 74.1551 s 106.05/106.10 c =============================================================================== 106.05/106.10 c | 2303 | 14950 257757 576674 | 85919 392 40 | 78.479 % | 106.05/106.14 c =============================================================================== 106.05/106.14 c New solution: 145 106.05/106.14 o 145 106.05/106.14 c Elapsed CPU time: 105.881 s Remaining CPU time: 74.1191 s 106.05/106.14 c =============================================================================== 106.05/106.14 c | 2307 | 14708 257758 576974 | 85919 396 40 | 78.479 % | 106.05/106.17 c =============================================================================== 106.05/106.17 c New solution: 144 106.05/106.17 o 144 106.05/106.17 c Elapsed CPU time: 105.917 s Remaining CPU time: 74.0831 s 106.05/106.17 c =============================================================================== 106.05/106.17 c | 2307 | 14466 257759 577274 | 85919 396 40 | 78.479 % | 106.15/106.21 c =============================================================================== 106.15/106.21 c New solution: 143 106.15/106.21 o 143 106.15/106.21 c Elapsed CPU time: 105.951 s Remaining CPU time: 74.0491 s 106.15/106.21 c =============================================================================== 106.15/106.21 c | 2307 | 14224 257760 577574 | 85920 396 40 | 78.479 % | 106.15/106.25 c =============================================================================== 106.15/106.25 c New solution: 142 106.15/106.25 o 142 106.15/106.25 c Elapsed CPU time: 105.984 s Remaining CPU time: 74.0161 s 106.15/106.25 c =============================================================================== 106.15/106.25 c | 2309 | 13982 257761 577874 | 85920 398 39 | 78.479 % | 106.15/106.28 c =============================================================================== 106.15/106.28 c New solution: 141 106.15/106.28 o 141 106.15/106.28 c Elapsed CPU time: 106.015 s Remaining CPU time: 73.9851 s 106.15/106.28 c =============================================================================== 106.15/106.28 c | 2315 | 13740 257762 578174 | 85920 404 39 | 78.479 % | 106.25/106.34 c | 2416 | 13719 257762 578174 | 94512 505 40 | 81.469 % | 106.25/106.37 c =============================================================================== 106.25/106.37 c New solution: 140 106.25/106.37 o 140 106.25/106.37 c Elapsed CPU time: 106.107 s Remaining CPU time: 73.8931 s 106.25/106.37 c =============================================================================== 106.25/106.37 c | 2418 | 13498 257763 578474 | 85921 507 40 | 81.469 % | 106.35/106.40 c =============================================================================== 106.35/106.40 c New solution: 139 106.35/106.40 o 139 106.35/106.40 c Elapsed CPU time: 106.136 s Remaining CPU time: 73.8641 s 106.35/106.40 c =============================================================================== 106.35/106.40 c | 2421 | 13256 257764 578774 | 85921 510 40 | 81.469 % | 106.35/106.43 c =============================================================================== 106.35/106.43 c New solution: 138 106.35/106.43 o 138 106.35/106.43 c Elapsed CPU time: 106.164 s Remaining CPU time: 73.8361 s 106.35/106.43 c =============================================================================== 106.35/106.43 c | 2431 | 13014 257765 579074 | 85921 520 40 | 81.469 % | 106.35/106.47 c =============================================================================== 106.35/106.47 c New solution: 137 106.35/106.47 o 137 106.35/106.47 c Elapsed CPU time: 106.199 s Remaining CPU time: 73.8011 s 106.35/106.47 c =============================================================================== 106.35/106.47 c | 2444 | 12772 257766 579374 | 85922 533 39 | 81.469 % | 106.45/106.51 c =============================================================================== 106.45/106.51 c New solution: 136 106.45/106.51 o 136 106.45/106.51 c Elapsed CPU time: 106.239 s Remaining CPU time: 73.7612 s 106.45/106.51 c =============================================================================== 106.45/106.51 c | 2458 | 12530 257767 579674 | 85922 547 39 | 81.469 % | 106.45/106.54 c =============================================================================== 106.45/106.54 c New solution: 135 106.45/106.54 o 135 106.45/106.54 c Elapsed CPU time: 106.271 s Remaining CPU time: 73.7292 s 106.45/106.54 c =============================================================================== 106.45/106.54 c | 2466 | 12288 257768 579974 | 85922 555 38 | 81.469 % | 106.45/106.57 c =============================================================================== 106.45/106.57 c New solution: 134 106.45/106.57 o 134 106.45/106.57 c Elapsed CPU time: 106.305 s Remaining CPU time: 73.6952 s 106.45/106.57 c =============================================================================== 106.45/106.57 c | 2471 | 12046 257769 580274 | 85923 560 38 | 81.469 % | 106.56/106.60 c =============================================================================== 106.56/106.60 c New solution: 133 106.56/106.60 o 133 106.56/106.60 c Elapsed CPU time: 106.337 s Remaining CPU time: 73.6632 s 106.56/106.60 c =============================================================================== 106.56/106.60 c | 2478 | 11804 257770 580574 | 85923 98 18 | 81.469 % | 106.56/106.63 c =============================================================================== 106.56/106.63 c New solution: 132 106.56/106.63 o 132 106.56/106.63 c Elapsed CPU time: 106.367 s Remaining CPU time: 73.6332 s 106.56/106.63 c =============================================================================== 106.56/106.63 c | 2487 | 11562 257771 580874 | 85923 107 18 | 81.469 % | 106.56/106.69 c | 2587 | 11553 257771 580874 | 94516 207 33 | 84.460 % | 106.66/106.74 c =============================================================================== 106.66/106.74 c New solution: 131 106.66/106.74 o 131 106.66/106.74 c Elapsed CPU time: 106.471 s Remaining CPU time: 73.5292 s 106.66/106.74 c =============================================================================== 106.66/106.74 c | 2610 | 11320 257772 581174 | 85924 230 32 | 84.460 % | 106.66/106.77 c =============================================================================== 106.66/106.77 c New solution: 130 106.66/106.77 o 130 106.66/106.77 c Elapsed CPU time: 106.504 s Remaining CPU time: 73.4962 s 106.66/106.77 c =============================================================================== 106.66/106.77 c | 2628 | 11078 257773 581474 | 85924 248 31 | 84.460 % | 106.75/106.85 c | 2729 | 11071 257773 581474 | 94516 349 39 | 85.124 % | 106.85/106.96 c =============================================================================== 106.85/106.96 c New solution: 129 106.85/106.96 o 129 106.85/106.96 c Elapsed CPU time: 106.69 s Remaining CPU time: 73.3102 s 106.85/106.96 c =============================================================================== 106.85/106.96 c | 2813 | 10836 257774 581774 | 85924 433 40 | 85.124 % | 106.85/106.99 c =============================================================================== 106.85/106.99 c New solution: 128 106.85/106.99 o 128 106.85/106.99 c Elapsed CPU time: 106.724 s Remaining CPU time: 73.2762 s 106.85/106.99 c =============================================================================== 106.85/106.99 c | 2815 | 10594 257775 582074 | 85925 435 40 | 85.124 % | 106.95/107.03 c | 2915 | 10490 257775 582074 | 94517 535 41 | 85.788 % | 107.05/107.13 c | 3065 | 10490 257775 582074 | 103969 685 47 | 85.788 % | 107.05/107.19 c =============================================================================== 107.05/107.19 c New solution: 127 107.05/107.19 o 127 107.05/107.19 c Elapsed CPU time: 106.916 s Remaining CPU time: 73.0843 s 107.05/107.19 c =============================================================================== 107.05/107.19 c | 3136 | 10352 257776 582374 | 85925 756 48 | 85.788 % | 107.25/107.30 c =============================================================================== 107.25/107.30 c New solution: 126 107.25/107.30 o 126 107.25/107.30 c Elapsed CPU time: 107.035 s Remaining CPU time: 72.9653 s 107.25/107.30 c =============================================================================== 107.25/107.30 c | 3222 | 10110 257777 582674 | 85925 842 48 | 85.788 % | 107.25/107.34 c | 3324 | 10074 257777 582674 | 94518 944 47 | 86.453 % | 107.45/107.51 c | 3476 | 10067 257777 582674 | 103970 1096 48 | 86.453 % | 107.45/107.59 c | 3701 | 9868 257777 582674 | 114367 976 45 | 86.453 % | 107.66/107.77 c | 4039 | 9868 257777 582674 | 125803 1314 45 | 86.453 % | 107.76/107.85 c =============================================================================== 107.76/107.85 c New solution: 125 107.76/107.85 o 125 107.76/107.85 c Elapsed CPU time: 107.583 s Remaining CPU time: 72.4174 s 107.76/107.85 c =============================================================================== 107.76/107.85 c | 4138 | 9868 257778 582974 | 85926 1413 44 | 86.453 % | 107.85/107.91 c | 4239 | 9857 257778 582974 | 94518 1514 45 | 86.785 % | 107.85/107.98 c =============================================================================== 107.85/107.98 c New solution: 124 107.85/107.98 o 124 107.85/107.98 c Elapsed CPU time: 107.708 s Remaining CPU time: 72.2924 s 107.85/107.98 c =============================================================================== 107.85/107.98 c | 4285 | 9626 257779 583274 | 85926 1560 45 | 86.785 % | 107.95/108.02 c | 4386 | 9610 257779 583274 | 94518 1661 44 | 87.117 % | 108.05/108.15 c | 4536 | 9603 257779 583274 | 103970 1811 44 | 87.117 % | 108.15/108.22 c =============================================================================== 108.15/108.22 c New solution: 123 108.15/108.22 o 123 108.15/108.22 c Elapsed CPU time: 107.944 s Remaining CPU time: 72.0564 s 108.15/108.22 c =============================================================================== 108.15/108.22 c | 4658 | 9384 257780 583574 | 85926 1933 43 | 87.117 % | 108.15/108.29 c | 4759 | 9374 257780 583574 | 94519 2034 44 | 87.450 % | 108.25/108.35 c | 4909 | 9142 257780 583574 | 103971 1599 37 | 87.450 % | 108.45/108.59 c | 5135 | 9142 257780 583574 | 114368 1825 40 | 87.450 % | 108.65/108.76 c | 5472 | 9142 257780 583574 | 125805 2162 46 | 87.450 % | 109.15/109.26 c | 5979 | 9142 257780 583574 | 138385 2669 50 | 87.450 % | 109.35/109.47 c =============================================================================== 109.35/109.47 c New solution: 122 109.35/109.47 o 122 109.35/109.47 c Elapsed CPU time: 109.188 s Remaining CPU time: 70.8116 s 109.35/109.47 c =============================================================================== 109.35/109.47 c | 6550 | 9142 257781 583874 | 85927 3240 51 | 87.450 % | 109.45/109.58 c | 6653 | 8900 257781 583874 | 94519 2867 46 | 87.782 % | 109.55/109.64 c | 6804 | 8900 257781 583874 | 103971 3018 46 | 87.782 % | 109.75/109.87 c | 7029 | 8900 257781 583874 | 114368 3243 47 | 87.782 % | 109.96/110.01 c | 7366 | 8900 257781 583874 | 125805 3580 46 | 87.782 % | 110.15/110.20 c =============================================================================== 110.15/110.20 c New solution: 121 110.15/110.20 o 121 110.15/110.20 c Elapsed CPU time: 109.919 s Remaining CPU time: 70.0807 s 110.15/110.20 c =============================================================================== 110.15/110.20 c | 7621 | 8900 257782 584174 | 85927 3835 47 | 87.782 % | 110.25/110.33 c | 7723 | 8895 257782 584174 | 94520 3937 48 | 88.114 % | 110.25/110.38 c | 7873 | 8883 257782 584174 | 103972 4087 48 | 88.114 % | 110.55/110.61 c | 8098 | 8876 257782 584174 | 114369 4312 48 | 88.114 % | 110.65/110.72 c | 8435 | 8658 257782 584174 | 125806 4260 44 | 88.114 % | 111.25/111.30 c | 8942 | 8658 257782 584174 | 138386 4767 47 | 88.114 % | 111.84/111.91 c =============================================================================== 111.84/111.91 c New solution: 120 111.84/111.91 o 120 111.84/111.91 c Elapsed CPU time: 111.622 s Remaining CPU time: 68.378 s 111.84/111.91 c =============================================================================== 111.84/111.91 c | 9612 | 8658 257783 584474 | 85927 5437 50 | 88.114 % | 111.94/112.03 c | 9712 | 8649 257783 584474 | 94520 5537 50 | 88.446 % | 111.94/112.09 c | 9862 | 8416 257783 584474 | 103972 4801 46 | 88.446 % | 112.24/112.34 c | 10087 | 8416 257783 584474 | 114369 5026 47 | 88.446 % | 112.34/112.45 c | 10424 | 8416 257783 584474 | 125806 5363 46 | 88.446 % | 113.16/113.24 c | 10932 | 8416 257783 584474 | 138387 5871 49 | 88.446 % | 113.45/113.58 c | 11692 | 8416 257783 584474 | 152226 6631 49 | 88.446 % | 114.35/114.45 c | 12831 | 8416 257783 584474 | 167448 7770 52 | 88.446 % | 114.75/114.82 c =============================================================================== 114.75/114.82 c New solution: 119 114.75/114.82 o 119 114.75/114.82 c Elapsed CPU time: 114.524 s Remaining CPU time: 65.4764 s 114.75/114.82 c =============================================================================== 114.75/114.82 c | 13252 | 8416 257784 584774 | 85928 8191 52 | 88.446 % | 114.85/114.95 c | 13352 | 8174 257784 584774 | 94520 7140 47 | 88.778 % | 115.05/115.14 c | 13502 | 8174 257784 584774 | 103972 7290 47 | 88.778 % | 115.15/115.24 c | 13729 | 8174 257784 584774 | 114370 7517 47 | 88.778 % | 115.54/115.67 c | 14066 | 8174 257784 584774 | 125807 7854 48 | 88.778 % | 115.74/115.88 c | 14572 | 8174 257784 584774 | 138387 8360 48 | 88.778 % | 116.75/116.81 c | 15331 | 8174 257784 584774 | 152226 9119 50 | 88.778 % | 117.05/117.19 c | 16470 | 8174 257784 584774 | 167449 10258 48 | 88.778 % | 119.55/119.69 c | 18180 | 8174 257784 584774 | 184194 11968 53 | 88.778 % | 121.14/121.25 c | 20743 | 8174 257784 584774 | 202613 14531 53 | 88.778 % | 126.75/126.89 c | 24590 | 8174 257784 584774 | 222875 18378 61 | 88.778 % | 129.34/129.49 c | 30356 | 8174 257784 584774 | 245162 24144 60 | 88.778 % | 145.83/145.90 c | 39008 | 8174 257784 584774 | 269678 32796 72 | 88.778 % | 159.83/159.94 c | 51982 | 8174 257784 584774 | 296646 45770 77 | 88.778 % | 160.03/160.11 c =============================================================================== 160.03/160.11 c New solution: 118 160.03/160.11 o 118 160.03/160.11 c Elapsed CPU time: 159.648 s Remaining CPU time: 20.3523 s 160.03/160.11 c =============================================================================== 160.03/160.11 c | 52177 | 8174 257785 585074 | 85928 45965 76 | 88.778 % | 160.23/160.30 c | 52279 | 7932 257785 585074 | 94521 38880 70 | 89.111 % | 160.33/160.43 c | 52429 | 7932 257785 585074 | 103973 39030 70 | 89.111 % | 160.54/160.66 c | 52659 | 7932 257785 585074 | 114370 39260 70 | 89.111 % | 161.03/161.13 c | 52997 | 7932 257785 585074 | 125807 39598 70 | 89.111 % | 161.23/161.36 c | 53503 | 7932 257785 585074 | 138388 40104 70 | 89.111 % | 162.74/162.82 c | 54263 | 7932 257785 585074 | 152227 40864 70 | 89.111 % | 163.53/163.69 c | 55403 | 7932 257785 585074 | 167450 42004 70 | 89.111 % | 166.43/166.53 c | 57111 | 7932 257785 585074 | 184195 43712 71 | 89.111 % | 169.43/169.50 c | 59674 | 7932 257785 585074 | 202614 46275 73 | 89.111 % | 177.12/177.22 c | 63518 | 7932 257785 585074 | 222875 50119 78 | 89.111 % | 180.42/180.52 c There are 64910 assigned variables. 285 in cost function. 180.82/180.91 c core #1 180.82/180.91 c ============================[ Search Statistics ]============================== 180.82/180.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 180.82/180.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 180.82/180.91 c =============================================================================== 180.82/180.91 c | 0 | 4520 86631 58116 | 28877 0 nan | 0.000 % | 180.82/180.95 c | 100 | 4520 86631 58116 | 31764 100 34 | 93.796 % | 180.92/181.01 c | 251 | 4520 86631 58116 | 34941 251 35 | 93.796 % | 180.92/181.09 c | 476 | 4520 86631 58116 | 38435 476 37 | 93.796 % | 181.13/181.21 c | 813 | 4517 86631 58116 | 42278 791 36 | 93.800 % | 181.33/181.40 c | 1319 | 4517 86631 58116 | 46506 1297 40 | 93.800 % | 181.62/181.71 c | 2078 | 4517 86631 58116 | 51157 2056 44 | 93.800 % | 182.13/182.24 c | 3217 | 4517 86631 58116 | 56273 3195 47 | 93.800 % | 182.92/183.04 c | 4925 | 4517 86631 58116 | 61900 4903 49 | 93.800 % | 184.23/184.39 c | 7487 | 4517 86631 58116 | 68090 7465 51 | 93.800 % | 186.52/186.68 c | 11331 | 4507 86631 58116 | 74899 11133 56 | 93.819 % | 189.82/189.94 c =============================================================================== 189.92/190.07 c core #2 189.92/190.07 c ============================[ Search Statistics ]============================== 189.92/190.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.92/190.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.92/190.07 c =============================================================================== 189.92/190.07 c | 0 | 4794 86656 59640 | 28885 0 nan | 0.000 % | 190.02/190.11 c | 101 | 4794 86656 59640 | 31773 101 33 | 93.422 % | 190.02/190.17 c | 252 | 4794 86656 59640 | 34951 252 40 | 93.422 % | 190.13/190.24 c | 478 | 4794 86656 59640 | 38446 478 40 | 93.422 % | 190.23/190.37 c | 815 | 4794 86656 59640 | 42291 815 43 | 93.422 % | 190.43/190.56 c | 1321 | 4794 86656 59640 | 46520 1321 46 | 93.422 % | 190.72/190.80 c | 2080 | 4794 86656 59640 | 51172 2080 48 | 93.422 % | 191.12/191.27 c | 3220 | 4794 86656 59640 | 56289 3220 47 | 93.422 % | 191.82/191.96 c | 4928 | 4794 86656 59640 | 61918 4928 46 | 93.422 % | 193.12/193.23 c | 7490 | 4794 86656 59640 | 68110 7490 53 | 93.422 % | 195.42/195.50 c | 11334 | 4794 86656 59640 | 74921 11334 55 | 93.422 % | 198.92/199.03 c | 17101 | 4794 86656 59640 | 82413 17101 55 | 93.422 % | 207.02/207.10 c | 25750 | 4790 86656 59640 | 90654 25044 58 | 93.427 % | 218.91/219.04 c | 38725 | 4769 86656 59640 | 99720 31487 55 | 93.456 % | 241.70/241.83 c | 58188 | 4769 86656 59640 | 109692 50950 60 | 93.456 % | 289.49/289.64 c | 87382 | 4769 86656 59640 | 120661 80144 64 | 93.456 % | 385.25/385.48 c | 131172 | 4597 86656 59640 | 132727 81848 61 | 93.692 % | 481.12/481.36 c =============================================================================== 481.42/481.63 c core #3 481.42/481.63 c ============================[ Search Statistics ]============================== 481.42/481.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 481.42/481.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 481.42/481.63 c =============================================================================== 481.42/481.63 c | 0 | 5071 86700 61292 | 28900 0 nan | 0.000 % | 481.42/481.68 c | 101 | 5071 86700 61292 | 31790 101 28 | 93.043 % | 481.53/481.76 c | 254 | 5071 86700 61292 | 34969 254 46 | 93.043 % | 481.63/481.86 c | 479 | 5071 86700 61292 | 38465 479 44 | 93.043 % | 481.72/481.99 c | 816 | 5071 86700 61292 | 42312 816 41 | 93.043 % | 481.91/482.20 c | 1323 | 5071 86700 61292 | 46543 1323 44 | 93.043 % | 482.22/482.45 c | 2082 | 5071 86700 61292 | 51198 2082 42 | 93.043 % | 482.73/482.98 c | 3221 | 5071 86700 61292 | 56317 3221 50 | 93.043 % | 483.73/483.90 c | 4932 | 5071 86700 61292 | 61949 4932 50 | 93.043 % | 485.01/485.21 c | 7494 | 5071 86700 61292 | 68144 7494 49 | 93.043 % | 487.12/487.38 c | 11338 | 5071 86700 61292 | 74959 11338 56 | 93.043 % | 491.22/491.43 c | 17106 | 5071 86700 61292 | 82455 17106 55 | 93.043 % | 498.41/498.63 c | 25755 | 5071 86700 61292 | 90700 25755 59 | 93.043 % | 510.81/511.07 c | 38730 | 5071 86700 61292 | 99770 38730 58 | 93.043 % | 537.00/537.25 c | 58191 | 5069 86700 61292 | 109747 58190 60 | 93.045 % | 587.68/587.95 c | 87385 | 5069 86700 61292 | 120722 87384 67 | 93.045 % | 682.05/682.36 c | 131174 | 5069 86700 61292 | 132794 131173 68 | 93.045 % | 891.07/891.40 c | 196860 | 5069 86700 61292 | 146074 196859 71 | 93.045 % | 1099.51/1099.92 c | 295388 | 5069 86700 61292 | 160681 100604 72 | 93.045 % | 1578.52/1579.12 c | 443180 | 5069 86700 61292 | 176749 43209 73 | 93.045 % |
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-2686970-1278445224/watcher-2686970-1278445224 -o /tmp/evaluation-result-2686970-1278445224/solver-2686970-1278445224 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2686970-1278445224.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 22639 /proc/meminfo: memFree=1791624/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=10784 CPUtime=0 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 328 0 0 0 0 0 0 0 16 0 1 0 12733685 11042816 247 1992294400 134512640 135751879 4287672176 18446744073709551615 134613727 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 2696 247 140 303 0 374 0 [startup+0.072211 s] /proc/loadavg: 1.00 1.00 1.00 3/106 22639 /proc/meminfo: memFree=1791624/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=14216 CPUtime=0.06 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 1211 0 0 0 6 0 0 0 16 0 1 0 12733685 14557184 1130 1992294400 134512640 135751879 4287672176 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 3554 1130 240 303 0 1232 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 14216 [startup+0.101216 s] /proc/loadavg: 1.00 1.00 1.00 3/106 22639 /proc/meminfo: memFree=1791624/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=15832 CPUtime=0.09 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 1597 0 0 0 9 0 0 0 16 0 1 0 12733685 16211968 1516 1992294400 134512640 135751879 4287672176 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 3958 1516 284 303 0 1636 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15832 [startup+0.301256 s] /proc/loadavg: 1.00 1.00 1.00 3/106 22639 /proc/meminfo: memFree=1791624/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=20104 CPUtime=0.28 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 2940 0 0 0 28 0 0 0 17 0 1 0 12733685 20586496 2826 1992294400 134512640 135751879 4287672176 18446744073709551615 134557581 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 5026 2826 590 303 0 2704 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 20104 [startup+0.701335 s] /proc/loadavg: 1.00 1.00 1.00 3/106 22639 /proc/meminfo: memFree=1791624/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=25332 CPUtime=0.69 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 4771 0 0 0 68 1 0 0 17 0 1 0 12733685 25939968 4617 1992294400 134512640 135751879 4287672176 18446744073709551615 135225278 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 6333 4617 1200 303 0 4011 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25332 [startup+1.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22640 /proc/meminfo: memFree=1772520/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=37872 CPUtime=1.49 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 8542 0 0 0 147 2 0 0 18 0 1 0 12733685 38780928 8274 1992294400 134512640 135751879 4287672176 18446744073709551615 135225271 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 9468 8274 2111 303 0 7146 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 37872 [startup+3.10082 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22640 /proc/meminfo: memFree=1740900/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=56148 CPUtime=3.08 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 15287 0 0 0 304 4 0 0 21 0 1 0 12733685 57495552 12777 1992294400 134512640 135751879 4287672176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 14037 12777 146 303 0 13732 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 56148 [startup+6.30146 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22640 /proc/meminfo: memFree=1736808/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=61692 CPUtime=6.28 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 16699 0 0 0 623 5 0 0 25 0 1 0 12733685 63172608 14189 1992294400 134512640 135751879 4287672176 18446744073709551615 135202521 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 15423 14189 146 303 0 15118 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 61692 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22640 /proc/meminfo: memFree=1727136/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=70668 CPUtime=12.69 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 18941 0 0 0 1262 7 0 0 25 0 1 0 12733685 72364032 16431 1992294400 134512640 135751879 4287672176 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 17667 16431 146 303 0 17362 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 70668 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22640 /proc/meminfo: memFree=1713868/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=82944 CPUtime=25.48 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 21983 0 0 0 2540 8 0 0 25 0 1 0 12733685 84934656 19473 1992294400 134512640 135751879 4287672176 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 20736 19473 146 303 0 20431 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 82944 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22642 /proc/meminfo: memFree=1697624/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=99048 CPUtime=51.07 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 26037 0 0 0 5096 11 0 0 25 0 1 0 12733685 101425152 23527 1992294400 134512640 135751879 4287672176 18446744073709551615 134697028 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 24762 23527 146 303 0 24457 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 99048 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22642 /proc/meminfo: memFree=1681876/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=113796 CPUtime=102.26 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 31144 0 0 0 10208 18 0 0 18 0 1 0 12733685 116527104 27322 1992294400 134512640 135751879 4287672176 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 28449 27322 147 303 0 28144 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 113796 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22644 /proc/meminfo: memFree=1681876/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=113796 CPUtime=162.23 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 31144 0 0 0 16182 41 0 0 25 0 1 0 12733685 116527104 27322 1992294400 134512640 135751879 4287672176 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 28449 27322 147 303 0 28144 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 113796 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22646 /proc/meminfo: memFree=1691052/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=101988 CPUtime=222.21 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 32287 0 0 0 22155 66 0 0 25 0 1 0 12733685 104435712 25016 1992294400 134512640 135751879 4287672176 18446744073709551615 134607732 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 25497 25016 151 303 0 25192 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 101988 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22648 /proc/meminfo: memFree=1691052/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=101988 CPUtime=282.19 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 32287 0 0 0 28132 87 0 0 25 0 1 0 12733685 104435712 25016 1992294400 134512640 135751879 4287672176 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 25497 25016 151 303 0 25192 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 101988 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22649 /proc/meminfo: memFree=1690928/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=101988 CPUtime=342.17 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 32287 0 0 0 34117 100 0 0 25 0 1 0 12733685 104435712 25016 1992294400 134512640 135751879 4287672176 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 25497 25016 151 303 0 25192 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 101988 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22650 /proc/meminfo: memFree=1690928/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=101988 CPUtime=402.15 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 32287 0 0 0 40102 113 0 0 25 0 1 0 12733685 104435712 25016 1992294400 134512640 135751879 4287672176 18446744073709551615 134610143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 25497 25016 151 303 0 25192 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 101988 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22652 /proc/meminfo: memFree=1690928/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=101988 CPUtime=462.12 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 32297 0 0 0 46084 128 0 0 25 0 1 0 12733685 104435712 25026 1992294400 134512640 135751879 4287672176 18446744073709551615 134616412 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 25497 25026 151 303 0 25192 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 101988 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22654 /proc/meminfo: memFree=1685100/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=109980 CPUtime=522.1 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 33874 0 0 0 52059 151 0 0 25 0 1 0 12733685 112619520 26603 1992294400 134512640 135751879 4287672176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 27495 26603 151 303 0 27190 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 109980 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22656 /proc/meminfo: memFree=1681876/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=113288 CPUtime=582.08 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 34700 0 0 0 58041 167 0 0 25 0 1 0 12733685 116006912 27429 1992294400 134512640 135751879 4287672176 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 28322 27429 151 303 0 28017 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 113288 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22657 /proc/meminfo: memFree=1672576/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=122436 CPUtime=642.07 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 36947 0 0 0 64023 184 0 0 25 0 1 0 12733685 125374464 29676 1992294400 134512640 135751879 4287672176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 30609 29676 151 303 0 30304 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 122436 [startup+702.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22664 /proc/meminfo: memFree=1644180/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=150704 CPUtime=881.98 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 44008 0 0 0 87961 237 0 0 25 0 1 0 12733685 154320896 36737 1992294400 134512640 135751879 4287672176 18446744073709551615 134608098 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 37676 36737 151 303 0 37371 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 150704 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22665 /proc/meminfo: memFree=1638228/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=157072 CPUtime=941.96 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 45511 0 0 0 93948 248 0 0 25 0 1 0 12733685 160841728 38240 1992294400 134512640 135751879 4287672176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 39268 38240 151 303 0 38963 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 157072 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22666 /proc/meminfo: memFree=1625952/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=169084 CPUtime=1001.94 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 48539 0 0 0 99929 265 0 0 25 0 1 0 12733685 173142016 41268 1992294400 134512640 135751879 4287672176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 42271 41268 151 303 0 41966 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 169084 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22668 /proc/meminfo: memFree=1613304/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=181756 CPUtime=1061.92 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 51704 0 0 0 105908 284 0 0 25 0 1 0 12733685 186118144 44433 1992294400 134512640 135751879 4287672176 18446744073709551615 134611031 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 45439 44433 151 303 0 45134 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 181756 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22670 /proc/meminfo: memFree=1602020/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=193128 CPUtime=1121.89 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 54523 0 0 0 111886 303 0 0 25 0 1 0 12733685 197763072 47252 1992294400 134512640 135751879 4287672176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 48282 47252 151 303 0 47977 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 193128 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22672 /proc/meminfo: memFree=1591480/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=203688 CPUtime=1181.88 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 57156 0 0 0 117868 320 0 0 25 0 1 0 12733685 208576512 49885 1992294400 134512640 135751879 4287672176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 50922 49885 151 303 0 50617 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 203688 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22682 /proc/meminfo: memFree=1582056/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=212156 CPUtime=1241.83 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 59301 0 0 0 123849 334 0 0 25 0 1 0 12733685 217247744 52030 1992294400 134512640 135751879 4287672176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 53039 52030 151 303 0 52734 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 212156 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22683 /proc/meminfo: memFree=1573996/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=220280 CPUtime=1301.82 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 61294 0 0 0 129837 345 0 0 25 0 1 0 12733685 225566720 54023 1992294400 134512640 135751879 4287672176 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 55070 54023 151 303 0 54765 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 220280 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22685 /proc/meminfo: memFree=1567424/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=226956 CPUtime=1361.79 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 62954 0 0 0 135824 355 0 0 25 0 1 0 12733685 232402944 55683 1992294400 134512640 135751879 4287672176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 56739 55683 151 303 0 56434 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 226956 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22687 /proc/meminfo: memFree=1561472/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=232776 CPUtime=1421.78 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 64424 0 0 0 141811 367 0 0 25 0 1 0 12733685 238362624 57153 1992294400 134512640 135751879 4287672176 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 58194 57153 151 303 0 57889 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 232776 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22689 /proc/meminfo: memFree=1555520/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=238724 CPUtime=1481.75 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 65909 0 0 0 147795 380 0 0 25 0 1 0 12733685 244453376 58638 1992294400 134512640 135751879 4287672176 18446744073709551615 134620474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 59681 58638 151 303 0 59376 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 238724 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22690 /proc/meminfo: memFree=1549940/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=244168 CPUtime=1541.73 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 67286 0 0 0 153783 390 0 0 25 0 1 0 12733685 250028032 60015 1992294400 134512640 135751879 4287672176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 61042 60015 151 303 0 60737 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 244168 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22691 /proc/meminfo: memFree=1536300/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=257900 CPUtime=1601.71 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 70717 0 0 0 159762 409 0 0 25 0 1 0 12733685 264089600 63446 1992294400 134512640 135751879 4287672176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 64475 63446 151 303 0 64170 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 257900 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22693 /proc/meminfo: memFree=1526008/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=268072 CPUtime=1661.68 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 73262 0 0 0 165740 428 0 0 25 0 1 0 12733685 274505728 65991 1992294400 134512640 135751879 4287672176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 67018 65991 151 303 0 66713 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 268072 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22695 /proc/meminfo: memFree=1517204/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=276916 CPUtime=1721.66 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 75471 0 0 0 171723 443 0 0 25 0 1 0 12733685 283561984 68200 1992294400 134512640 135751879 4287672176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 69229 68200 151 303 0 68924 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 276916 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22697 /proc/meminfo: memFree=1510260/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=283780 CPUtime=1781.64 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 77185 0 0 0 177707 457 0 0 25 0 1 0 12733685 290590720 69914 1992294400 134512640 135751879 4287672176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 70945 69914 151 303 0 70640 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 283780 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22697 /proc/meminfo: memFree=1508524/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=285528 CPUtime=1800.05 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 77606 0 0 0 179545 460 0 0 25 0 1 0 12733685 292380672 70335 1992294400 134512640 135751879 4287672176 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 71382 70335 151 303 0 71077 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 285528 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: 1.00 1.00 1.00 2/107 22697 /proc/meminfo: memFree=1508524/2059040 swapFree=4192956/4192956 [pid=22639] ppid=22637 vsize=285528 CPUtime=1800.05 /proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 77606 0 0 0 179545 460 0 0 25 0 1 0 12733685 292380672 70335 1992294400 134512640 135751879 4287672176 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22639/statm: 71382 70335 151 303 0 71077 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 285528 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.75 CPU time (s): 1800.09 CPU user time (s): 1795.46 CPU system time (s): 4.63229 CPU usage (%): 99.9636 Max. virtual memory (cumulated for all children) (KiB): 285528 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.46 system time used= 4.6323 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 77606 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= 55 involuntary context switches= 21260 runsolver used 2.88256 second user time and 8.61769 second system time The end
Begin job on node033 at 2010-07-06 21:40:24 IDJOB=2686970 IDBENCH=77243 IDSOLVER=1161 FILE ID=node033/2686970-1278445224 PBS_JOBID= 11233446 Free space on /tmp= 62480 MiB SOLVER NAME= wbo 1.4b 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 CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2686970-1278445224/watcher-2686970-1278445224 -o /tmp/evaluation-result-2686970-1278445224/solver-2686970-1278445224 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2686970-1278445224.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c9d9e9de965e10444f6e461e8225e8d3 RANDOM SEED=921604680 node033.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.264 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.264 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: 1792400 kB Buffers: 18772 kB Cached: 117912 kB SwapCached: 0 kB Active: 81392 kB Inactive: 115432 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1792400 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 10760 kB Writeback: 0 kB AnonPages: 60056 kB Mapped: 14388 kB Slab: 47880 kB PageTables: 4236 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179132 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2686970-1278445224.opb Free space on /tmp at the end= 62476 MiB End job on node033 at 2010-07-06 22:10:27