Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.07 | 1800.55 |
Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12019_2.std.opb |
MD5SUM | 9033b116fa6917a1af0ec218f9c6d61f |
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 | 85 |
Best CPU time to get the best result obtained on this benchmark | 1798.08 |
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 | 234215 |
Number of constraints which are clauses | 233015 |
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 | 120 |
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-2687074-1278447026.opb. 0.00/0.00 c Instance file HOME/instance-2687074-1278447026.opb 0.00/0.00 c File size is 8036080 bytes. 1.49/1.54 c Highest Coefficient sum: 798 1.49/1.54 c ============================[ Problem Statistics ]============================= 1.49/1.54 c | | 1.49/1.54 c | Parsing time: 1.51 s | 1.49/1.54 c | Number Variables: 72842 | 1.49/1.54 c | Number Clauses: 233015 | 1.49/1.54 c | Number Cardinality: 0 | 1.49/1.54 c | Number PB Constraints: 1200 | 97.96/98.01 c ============================[ Search Statistics ]============================== 97.96/98.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.96/98.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.96/98.01 c =============================================================================== 97.96/98.01 c | 0 | 57336 235595 555877 | 78071 0 nan | 0.000 % | 97.96/98.08 c =============================================================================== 97.96/98.08 c New solution: 300 97.96/98.08 o 300 97.96/98.08 c Elapsed CPU time: 97.9201 s Remaining CPU time: 82.0799 s 97.96/98.08 c =============================================================================== 97.96/98.08 c | 0 | 57336 235596 556177 | 78532 0 nan | 0.000 % | 98.07/98.14 c =============================================================================== 98.07/98.14 c New solution: 299 98.07/98.14 o 299 98.07/98.14 c Elapsed CPU time: 97.9801 s Remaining CPU time: 82.0199 s 98.07/98.14 c =============================================================================== 98.07/98.14 c | 5 | 57215 235597 556477 | 78532 5 41 | 0.000 % | 98.07/98.19 c =============================================================================== 98.07/98.19 c New solution: 298 98.07/98.19 o 298 98.07/98.19 c Elapsed CPU time: 98.0361 s Remaining CPU time: 81.9639 s 98.07/98.19 c =============================================================================== 98.07/98.19 c | 11 | 57081 235598 556777 | 78532 11 32 | 0.000 % | 98.17/98.25 c =============================================================================== 98.17/98.25 c New solution: 297 98.17/98.25 o 297 98.17/98.25 c Elapsed CPU time: 98.0941 s Remaining CPU time: 81.9059 s 98.17/98.25 c =============================================================================== 98.17/98.25 c | 19 | 56941 235599 557077 | 78533 19 37 | 0.000 % | 98.26/98.30 c =============================================================================== 98.26/98.30 c New solution: 296 98.26/98.30 o 296 98.26/98.30 c Elapsed CPU time: 98.1391 s Remaining CPU time: 81.8609 s 98.26/98.30 c =============================================================================== 98.26/98.30 c | 21 | 56790 235600 557377 | 78533 21 35 | 0.000 % | 98.26/98.35 c =============================================================================== 98.26/98.35 c New solution: 295 98.26/98.35 o 295 98.26/98.35 c Elapsed CPU time: 98.1921 s Remaining CPU time: 81.8079 s 98.26/98.35 c =============================================================================== 98.26/98.35 c | 31 | 56626 235601 557677 | 78533 31 40 | 0.000 % | 98.36/98.41 c =============================================================================== 98.36/98.41 c New solution: 294 98.36/98.41 o 294 98.36/98.41 c Elapsed CPU time: 98.2531 s Remaining CPU time: 81.7469 s 98.36/98.41 c =============================================================================== 98.36/98.41 c | 37 | 56449 235602 557977 | 78534 37 41 | 0.000 % | 98.36/98.47 c =============================================================================== 98.36/98.47 c New solution: 293 98.36/98.47 o 293 98.36/98.47 c Elapsed CPU time: 98.3081 s Remaining CPU time: 81.6919 s 98.36/98.47 c =============================================================================== 98.36/98.47 c | 38 | 56259 235603 558277 | 78534 38 41 | 0.000 % | 98.46/98.52 c =============================================================================== 98.46/98.52 c New solution: 292 98.46/98.52 o 292 98.46/98.52 c Elapsed CPU time: 98.363 s Remaining CPU time: 81.637 s 98.46/98.52 c =============================================================================== 98.46/98.52 c | 38 | 56054 235604 558577 | 78534 38 41 | 0.000 % | 98.46/98.58 c =============================================================================== 98.46/98.58 c New solution: 291 98.46/98.58 o 291 98.46/98.58 c Elapsed CPU time: 98.418 s Remaining CPU time: 81.582 s 98.46/98.58 c =============================================================================== 98.46/98.58 c | 44 | 55837 235605 558877 | 78535 44 39 | 0.000 % | 98.56/98.64 c =============================================================================== 98.56/98.64 c New solution: 290 98.56/98.64 o 290 98.56/98.64 c Elapsed CPU time: 98.478 s Remaining CPU time: 81.522 s 98.56/98.64 c =============================================================================== 98.56/98.64 c | 44 | 55606 235606 559177 | 78535 12 34 | 0.000 % | 98.67/98.70 c =============================================================================== 98.67/98.70 c New solution: 289 98.67/98.70 o 289 98.67/98.70 c Elapsed CPU time: 98.536 s Remaining CPU time: 81.464 s 98.67/98.70 c =============================================================================== 98.67/98.70 c | 46 | 55364 235607 559477 | 78535 14 32 | 0.000 % | 98.67/98.76 c =============================================================================== 98.67/98.76 c New solution: 288 98.67/98.76 o 288 98.67/98.76 c Elapsed CPU time: 98.6 s Remaining CPU time: 81.4 s 98.67/98.76 c =============================================================================== 98.67/98.76 c | 47 | 55122 235608 559777 | 78536 15 31 | 0.000 % | 98.77/98.82 c =============================================================================== 98.77/98.82 c New solution: 287 98.77/98.82 o 287 98.77/98.82 c Elapsed CPU time: 98.658 s Remaining CPU time: 81.342 s 98.77/98.82 c =============================================================================== 98.77/98.82 c | 49 | 54880 235609 560077 | 78536 17 30 | 0.000 % | 98.77/98.87 c =============================================================================== 98.77/98.87 c New solution: 286 98.77/98.87 o 286 98.77/98.87 c Elapsed CPU time: 98.705 s Remaining CPU time: 81.295 s 98.77/98.87 c =============================================================================== 98.77/98.87 c | 54 | 54638 235610 560377 | 78536 22 32 | 0.000 % | 98.87/98.93 c =============================================================================== 98.87/98.93 c New solution: 285 98.87/98.93 o 285 98.87/98.93 c Elapsed CPU time: 98.764 s Remaining CPU time: 81.236 s 98.87/98.93 c =============================================================================== 98.87/98.93 c | 57 | 54396 235611 560677 | 78537 25 30 | 0.000 % | 98.87/98.99 c =============================================================================== 98.87/98.99 c New solution: 284 98.87/98.99 o 284 98.87/98.99 c Elapsed CPU time: 98.821 s Remaining CPU time: 81.179 s 98.87/98.99 c =============================================================================== 98.87/98.99 c | 59 | 54154 235612 560977 | 78537 27 29 | 0.000 % | 98.97/99.04 c =============================================================================== 98.97/99.04 c New solution: 283 98.97/99.04 o 283 98.97/99.04 c Elapsed CPU time: 98.878 s Remaining CPU time: 81.122 s 98.97/99.04 c =============================================================================== 98.97/99.04 c | 59 | 53912 235613 561277 | 78537 27 29 | 0.000 % | 99.06/99.10 c =============================================================================== 99.06/99.10 c New solution: 282 99.06/99.10 o 282 99.06/99.10 c Elapsed CPU time: 98.935 s Remaining CPU time: 81.065 s 99.06/99.10 c =============================================================================== 99.06/99.10 c | 61 | 53670 235614 561577 | 78538 29 29 | 0.000 % | 99.06/99.16 c =============================================================================== 99.06/99.16 c New solution: 281 99.06/99.16 o 281 99.06/99.16 c Elapsed CPU time: 98.992 s Remaining CPU time: 81.008 s 99.06/99.16 c =============================================================================== 99.06/99.16 c | 64 | 53428 235615 561877 | 78538 32 29 | 0.000 % | 99.16/99.22 c =============================================================================== 99.16/99.22 c New solution: 280 99.16/99.22 o 280 99.16/99.22 c Elapsed CPU time: 99.0499 s Remaining CPU time: 80.9501 s 99.16/99.22 c =============================================================================== 99.16/99.22 c | 66 | 53186 235616 562177 | 78538 21 33 | 0.000 % | 99.16/99.27 c =============================================================================== 99.16/99.27 c New solution: 279 99.16/99.27 o 279 99.16/99.27 c Elapsed CPU time: 99.1069 s Remaining CPU time: 80.8931 s 99.16/99.27 c =============================================================================== 99.16/99.27 c | 66 | 52944 235617 562477 | 78539 21 33 | 0.000 % | 99.26/99.33 c =============================================================================== 99.26/99.33 c New solution: 278 99.26/99.33 o 278 99.26/99.33 c Elapsed CPU time: 99.1639 s Remaining CPU time: 80.8361 s 99.26/99.33 c =============================================================================== 99.26/99.33 c | 67 | 52702 235618 562777 | 78539 22 33 | 0.000 % | 99.26/99.39 c =============================================================================== 99.26/99.39 c New solution: 277 99.26/99.39 o 277 99.26/99.39 c Elapsed CPU time: 99.2189 s Remaining CPU time: 80.7811 s 99.26/99.39 c =============================================================================== 99.26/99.39 c | 67 | 52460 235619 563077 | 78539 22 33 | 0.000 % | 99.36/99.44 c =============================================================================== 99.36/99.44 c New solution: 276 99.36/99.44 o 276 99.36/99.44 c Elapsed CPU time: 99.2739 s Remaining CPU time: 80.7261 s 99.36/99.44 c =============================================================================== 99.36/99.44 c | 68 | 52218 235620 563377 | 78540 23 33 | 0.000 % | 99.46/99.50 c =============================================================================== 99.46/99.50 c New solution: 275 99.46/99.50 o 275 99.46/99.50 c Elapsed CPU time: 99.3289 s Remaining CPU time: 80.6711 s 99.46/99.50 c =============================================================================== 99.46/99.50 c | 69 | 51976 235621 563677 | 78540 24 32 | 0.000 % | 99.46/99.56 c =============================================================================== 99.46/99.56 c New solution: 274 99.46/99.56 o 274 99.46/99.56 c Elapsed CPU time: 99.3849 s Remaining CPU time: 80.6151 s 99.46/99.56 c =============================================================================== 99.46/99.56 c | 69 | 51734 235622 563977 | 78540 24 32 | 0.000 % | 99.57/99.62 c =============================================================================== 99.57/99.62 c New solution: 273 99.57/99.62 o 273 99.57/99.62 c Elapsed CPU time: 99.4439 s Remaining CPU time: 80.5561 s 99.57/99.62 c =============================================================================== 99.57/99.62 c | 72 | 51492 235623 564277 | 78541 27 31 | 0.000 % | 99.57/99.67 c =============================================================================== 99.57/99.67 c New solution: 272 99.57/99.67 o 272 99.57/99.67 c Elapsed CPU time: 99.4979 s Remaining CPU time: 80.5021 s 99.57/99.67 c =============================================================================== 99.57/99.67 c | 72 | 51250 235624 564577 | 78541 27 31 | 0.000 % | 99.67/99.73 c =============================================================================== 99.67/99.73 c New solution: 271 99.67/99.73 o 271 99.67/99.73 c Elapsed CPU time: 99.5519 s Remaining CPU time: 80.4481 s 99.67/99.73 c =============================================================================== 99.67/99.73 c | 72 | 51008 235625 564877 | 78541 27 31 | 0.000 % | 99.67/99.78 c =============================================================================== 99.67/99.78 c New solution: 270 99.67/99.78 o 270 99.67/99.78 c Elapsed CPU time: 99.6079 s Remaining CPU time: 80.3921 s 99.67/99.78 c =============================================================================== 99.67/99.78 c | 72 | 50766 235626 565177 | 78542 27 31 | 0.000 % | 99.77/99.84 c =============================================================================== 99.77/99.84 c New solution: 269 99.77/99.84 o 269 99.77/99.84 c Elapsed CPU time: 99.6638 s Remaining CPU time: 80.3362 s 99.77/99.84 c =============================================================================== 99.77/99.84 c | 72 | 50524 235627 565477 | 78542 12 29 | 0.000 % | 99.77/99.89 c =============================================================================== 99.77/99.89 c New solution: 268 99.77/99.89 o 268 99.77/99.89 c Elapsed CPU time: 99.7178 s Remaining CPU time: 80.2822 s 99.77/99.89 c =============================================================================== 99.77/99.89 c | 72 | 50282 235628 565777 | 78542 12 29 | 0.000 % | 99.87/99.95 c =============================================================================== 99.87/99.95 c New solution: 267 99.87/99.95 o 267 99.87/99.95 c Elapsed CPU time: 99.7688 s Remaining CPU time: 80.2312 s 99.87/99.95 c =============================================================================== 99.87/99.95 c | 72 | 50040 235629 566077 | 78543 12 29 | 0.000 % | 99.97/100.00 c =============================================================================== 99.97/100.00 c New solution: 266 99.97/100.00 o 266 99.97/100.00 c Elapsed CPU time: 99.8238 s Remaining CPU time: 80.1762 s 99.97/100.00 c =============================================================================== 99.97/100.00 c | 72 | 49798 235630 566377 | 78543 12 29 | 0.000 % | 99.97/100.07 c =============================================================================== 99.97/100.07 c New solution: 265 99.97/100.07 o 265 99.97/100.07 c Elapsed CPU time: 99.8878 s Remaining CPU time: 80.1122 s 99.97/100.07 c =============================================================================== 99.97/100.07 c | 73 | 49556 235631 566677 | 78543 13 28 | 0.000 % | 100.07/100.12 c =============================================================================== 100.07/100.12 c New solution: 264 100.07/100.12 o 264 100.07/100.12 c Elapsed CPU time: 99.9448 s Remaining CPU time: 80.0552 s 100.07/100.12 c =============================================================================== 100.07/100.12 c | 74 | 49314 235632 566977 | 78544 14 29 | 0.000 % | 100.07/100.18 c =============================================================================== 100.07/100.18 c New solution: 263 100.07/100.18 o 263 100.07/100.18 c Elapsed CPU time: 99.9998 s Remaining CPU time: 80.0002 s 100.07/100.18 c =============================================================================== 100.07/100.18 c | 75 | 49072 235633 567277 | 78544 15 28 | 0.000 % | 100.16/100.23 c =============================================================================== 100.16/100.23 c New solution: 262 100.16/100.23 o 262 100.16/100.23 c Elapsed CPU time: 100.053 s Remaining CPU time: 79.9472 s 100.16/100.23 c =============================================================================== 100.16/100.23 c | 76 | 48830 235634 567577 | 78544 16 27 | 0.000 % | 100.16/100.29 c =============================================================================== 100.16/100.29 c New solution: 261 100.16/100.29 o 261 100.16/100.29 c Elapsed CPU time: 100.108 s Remaining CPU time: 79.8922 s 100.16/100.29 c =============================================================================== 100.16/100.29 c | 77 | 48588 235635 567877 | 78545 17 27 | 0.000 % | 100.26/100.34 c =============================================================================== 100.26/100.34 c New solution: 260 100.26/100.34 o 260 100.26/100.34 c Elapsed CPU time: 100.163 s Remaining CPU time: 79.8372 s 100.26/100.34 c =============================================================================== 100.26/100.34 c | 79 | 48346 235636 568177 | 78545 19 27 | 0.000 % | 100.36/100.41 c =============================================================================== 100.36/100.41 c New solution: 259 100.36/100.41 o 259 100.36/100.41 c Elapsed CPU time: 100.224 s Remaining CPU time: 79.7762 s 100.36/100.41 c =============================================================================== 100.36/100.41 c | 80 | 48104 235637 568477 | 78545 20 26 | 0.000 % | 100.36/100.46 c =============================================================================== 100.36/100.46 c New solution: 258 100.36/100.46 o 258 100.36/100.46 c Elapsed CPU time: 100.28 s Remaining CPU time: 79.7202 s 100.36/100.46 c =============================================================================== 100.36/100.46 c | 80 | 47862 235638 568777 | 78546 13 28 | 0.000 % | 100.46/100.52 c =============================================================================== 100.46/100.52 c New solution: 257 100.46/100.52 o 257 100.46/100.52 c Elapsed CPU time: 100.336 s Remaining CPU time: 79.6643 s 100.46/100.52 c =============================================================================== 100.46/100.52 c | 86 | 47620 235639 569077 | 78546 19 34 | 0.000 % | 100.46/100.57 c =============================================================================== 100.46/100.57 c New solution: 256 100.46/100.57 o 256 100.46/100.57 c Elapsed CPU time: 100.39 s Remaining CPU time: 79.6103 s 100.46/100.57 c =============================================================================== 100.46/100.57 c | 87 | 47378 235640 569377 | 78546 20 33 | 0.000 % | 100.56/100.63 c =============================================================================== 100.56/100.63 c New solution: 255 100.56/100.63 o 255 100.56/100.63 c Elapsed CPU time: 100.445 s Remaining CPU time: 79.5553 s 100.56/100.63 c =============================================================================== 100.56/100.63 c | 88 | 47136 235641 569677 | 78547 21 32 | 0.000 % | 100.56/100.68 c =============================================================================== 100.56/100.68 c New solution: 254 100.56/100.68 o 254 100.56/100.68 c Elapsed CPU time: 100.497 s Remaining CPU time: 79.5033 s 100.56/100.68 c =============================================================================== 100.56/100.68 c | 89 | 46894 235642 569977 | 78547 22 31 | 0.000 % | 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.54 s Remaining CPU time: 79.4603 s 100.66/100.72 c =============================================================================== 100.66/100.72 c | 91 | 46652 235643 570277 | 78547 24 32 | 0.000 % | 100.66/100.77 c =============================================================================== 100.66/100.77 c New solution: 252 100.66/100.77 o 252 100.66/100.77 c Elapsed CPU time: 100.592 s Remaining CPU time: 79.4083 s 100.66/100.77 c =============================================================================== 100.66/100.77 c | 91 | 46410 235644 570577 | 78548 24 32 | 0.000 % | 100.76/100.82 c =============================================================================== 100.76/100.82 c New solution: 251 100.76/100.82 o 251 100.76/100.82 c Elapsed CPU time: 100.642 s Remaining CPU time: 79.3583 s 100.76/100.82 c =============================================================================== 100.76/100.82 c | 92 | 46168 235645 570877 | 78548 25 31 | 0.000 % | 100.76/100.87 c =============================================================================== 100.76/100.87 c New solution: 250 100.76/100.87 o 250 100.76/100.87 c Elapsed CPU time: 100.692 s Remaining CPU time: 79.3083 s 100.76/100.87 c =============================================================================== 100.76/100.87 c | 92 | 45926 235646 571177 | 78548 25 31 | 0.000 % | 100.87/100.93 c =============================================================================== 100.87/100.93 c New solution: 249 100.87/100.93 o 249 100.87/100.93 c Elapsed CPU time: 100.744 s Remaining CPU time: 79.2563 s 100.87/100.93 c =============================================================================== 100.87/100.93 c | 94 | 45684 235647 571477 | 78549 27 32 | 0.000 % | 100.87/100.98 c =============================================================================== 100.87/100.98 c New solution: 248 100.87/100.98 o 248 100.87/100.98 c Elapsed CPU time: 100.797 s Remaining CPU time: 79.2033 s 100.87/100.98 c =============================================================================== 100.87/100.98 c | 95 | 45442 235648 571777 | 78549 28 32 | 0.000 % | 100.97/101.03 c =============================================================================== 100.97/101.03 c New solution: 247 100.97/101.03 o 247 100.97/101.03 c Elapsed CPU time: 100.845 s Remaining CPU time: 79.1553 s 100.97/101.03 c =============================================================================== 100.97/101.03 c | 96 | 45200 235649 572077 | 78549 29 32 | 0.000 % | 100.97/101.08 c =============================================================================== 100.97/101.08 c New solution: 246 100.97/101.08 o 246 100.97/101.08 c Elapsed CPU time: 100.889 s Remaining CPU time: 79.1113 s 100.97/101.08 c =============================================================================== 100.97/101.08 c | 97 | 44958 235650 572377 | 78550 12 34 | 0.000 % | 101.07/101.12 c =============================================================================== 101.07/101.12 c New solution: 245 101.07/101.12 o 245 101.07/101.12 c Elapsed CPU time: 100.932 s Remaining CPU time: 79.0683 s 101.07/101.12 c =============================================================================== 101.07/101.12 c | 99 | 44716 235651 572677 | 78550 14 32 | 0.000 % | 101.07/101.17 c =============================================================================== 101.07/101.17 c New solution: 244 101.07/101.17 o 244 101.07/101.17 c Elapsed CPU time: 100.983 s Remaining CPU time: 79.0174 s 101.07/101.17 c =============================================================================== 101.07/101.17 c | 101 | 44474 235652 572977 | 78550 16 30 | 0.000 % | 101.17/101.22 c =============================================================================== 101.17/101.22 c New solution: 243 101.17/101.22 o 243 101.17/101.22 c Elapsed CPU time: 101.024 s Remaining CPU time: 78.9764 s 101.17/101.22 c =============================================================================== 101.17/101.22 c | 102 | 44232 235653 573277 | 78551 17 31 | 0.000 % | 101.17/101.27 c =============================================================================== 101.17/101.27 c New solution: 242 101.17/101.27 o 242 101.17/101.27 c Elapsed CPU time: 101.073 s Remaining CPU time: 78.9274 s 101.17/101.27 c =============================================================================== 101.17/101.27 c | 128 | 43990 235654 573577 | 78551 43 43 | 0.000 % | 101.27/101.34 c =============================================================================== 101.27/101.34 c New solution: 241 101.27/101.34 o 241 101.27/101.34 c Elapsed CPU time: 101.143 s Remaining CPU time: 78.8574 s 101.27/101.34 c =============================================================================== 101.27/101.34 c | 167 | 43748 235655 573877 | 78551 82 66 | 0.000 % | 101.27/101.39 c =============================================================================== 101.27/101.39 c New solution: 240 101.27/101.39 o 240 101.27/101.39 c Elapsed CPU time: 101.194 s Remaining CPU time: 78.8064 s 101.27/101.39 c =============================================================================== 101.27/101.39 c | 167 | 43506 235656 574177 | 78552 82 66 | 0.000 % | 101.37/101.43 c =============================================================================== 101.37/101.43 c New solution: 239 101.37/101.43 o 239 101.37/101.43 c Elapsed CPU time: 101.238 s Remaining CPU time: 78.7624 s 101.37/101.43 c =============================================================================== 101.37/101.43 c | 180 | 43264 235657 574477 | 78552 95 63 | 0.000 % | 101.37/101.48 c =============================================================================== 101.37/101.48 c New solution: 238 101.37/101.48 o 238 101.37/101.48 c Elapsed CPU time: 101.287 s Remaining CPU time: 78.7134 s 101.37/101.48 c =============================================================================== 101.37/101.48 c | 204 | 43022 235658 574777 | 78552 119 62 | 0.000 % | 101.47/101.53 c =============================================================================== 101.47/101.53 c New solution: 237 101.47/101.53 o 237 101.47/101.53 c Elapsed CPU time: 101.339 s Remaining CPU time: 78.6614 s 101.47/101.53 c =============================================================================== 101.47/101.53 c | 209 | 42780 235659 575077 | 78553 124 60 | 0.000 % | 101.47/101.59 c =============================================================================== 101.47/101.59 c New solution: 236 101.47/101.59 o 236 101.47/101.59 c Elapsed CPU time: 101.391 s Remaining CPU time: 78.6094 s 101.47/101.59 c =============================================================================== 101.47/101.59 c | 211 | 42538 235660 575377 | 78553 126 60 | 0.000 % | 101.57/101.64 c =============================================================================== 101.57/101.64 c New solution: 235 101.57/101.64 o 235 101.57/101.64 c Elapsed CPU time: 101.442 s Remaining CPU time: 78.5584 s 101.57/101.64 c =============================================================================== 101.57/101.64 c | 213 | 42296 235661 575677 | 78553 128 59 | 0.000 % | 101.57/101.69 c =============================================================================== 101.57/101.69 c New solution: 234 101.57/101.69 o 234 101.57/101.69 c Elapsed CPU time: 101.494 s Remaining CPU time: 78.5064 s 101.57/101.69 c =============================================================================== 101.57/101.69 c | 216 | 42054 235662 575977 | 78554 62 48 | 0.000 % | 101.67/101.74 c =============================================================================== 101.67/101.74 c New solution: 233 101.67/101.74 o 233 101.67/101.74 c Elapsed CPU time: 101.54 s Remaining CPU time: 78.4604 s 101.67/101.74 c =============================================================================== 101.67/101.74 c | 220 | 41812 235663 576277 | 78554 66 47 | 0.000 % | 101.67/101.78 c =============================================================================== 101.67/101.78 c New solution: 232 101.67/101.78 o 232 101.67/101.78 c Elapsed CPU time: 101.589 s Remaining CPU time: 78.4114 s 101.67/101.78 c =============================================================================== 101.67/101.78 c | 221 | 41570 235664 576577 | 78554 67 47 | 0.000 % | 101.77/101.83 c =============================================================================== 101.77/101.83 c New solution: 231 101.77/101.83 o 231 101.77/101.83 c Elapsed CPU time: 101.637 s Remaining CPU time: 78.3635 s 101.77/101.83 c =============================================================================== 101.77/101.83 c | 221 | 41328 235665 576877 | 78555 67 47 | 0.000 % | 101.77/101.88 c =============================================================================== 101.77/101.88 c New solution: 230 101.77/101.88 o 230 101.77/101.88 c Elapsed CPU time: 101.679 s Remaining CPU time: 78.3215 s 101.77/101.88 c =============================================================================== 101.77/101.88 c | 228 | 41086 235666 577177 | 78555 74 46 | 0.000 % | 101.86/101.93 c =============================================================================== 101.86/101.93 c New solution: 229 101.86/101.93 o 229 101.86/101.93 c Elapsed CPU time: 101.729 s Remaining CPU time: 78.2715 s 101.86/101.93 c =============================================================================== 101.86/101.93 c | 228 | 40844 235667 577477 | 78555 74 46 | 0.000 % | 101.86/101.97 c =============================================================================== 101.86/101.97 c New solution: 228 101.86/101.97 o 228 101.86/101.97 c Elapsed CPU time: 101.775 s Remaining CPU time: 78.2255 s 101.86/101.97 c =============================================================================== 101.86/101.97 c | 228 | 40602 235668 577777 | 78556 74 46 | 0.000 % | 101.96/102.02 c =============================================================================== 101.96/102.02 c New solution: 227 101.96/102.02 o 227 101.96/102.02 c Elapsed CPU time: 101.826 s Remaining CPU time: 78.1745 s 101.96/102.02 c =============================================================================== 101.96/102.02 c | 230 | 40360 235669 578077 | 78556 76 45 | 0.000 % | 101.96/102.07 c =============================================================================== 101.96/102.07 c New solution: 226 101.96/102.07 o 226 101.96/102.07 c Elapsed CPU time: 101.873 s Remaining CPU time: 78.1275 s 101.96/102.07 c =============================================================================== 101.96/102.07 c | 230 | 40118 235670 578377 | 78556 76 45 | 0.000 % | 102.06/102.12 c =============================================================================== 102.06/102.12 c New solution: 225 102.06/102.12 o 225 102.06/102.12 c Elapsed CPU time: 101.92 s Remaining CPU time: 78.0805 s 102.06/102.12 c =============================================================================== 102.06/102.12 c | 230 | 39876 235671 578677 | 78557 76 45 | 0.000 % | 102.06/102.17 c =============================================================================== 102.06/102.17 c New solution: 224 102.06/102.17 o 224 102.06/102.17 c Elapsed CPU time: 101.965 s Remaining CPU time: 78.0345 s 102.06/102.17 c =============================================================================== 102.06/102.17 c | 230 | 39634 235672 578977 | 78557 76 45 | 0.000 % | 102.17/102.21 c =============================================================================== 102.17/102.21 c New solution: 223 102.17/102.21 o 223 102.17/102.21 c Elapsed CPU time: 102.013 s Remaining CPU time: 77.9865 s 102.17/102.21 c =============================================================================== 102.17/102.21 c | 231 | 39392 235673 579277 | 78557 77 45 | 0.000 % | 102.17/102.26 c =============================================================================== 102.17/102.26 c New solution: 222 102.17/102.26 o 222 102.17/102.26 c Elapsed CPU time: 102.061 s Remaining CPU time: 77.9385 s 102.17/102.26 c =============================================================================== 102.17/102.26 c | 232 | 39150 235674 579577 | 78558 78 45 | 0.000 % | 102.27/102.31 c =============================================================================== 102.27/102.31 c New solution: 221 102.27/102.31 o 221 102.27/102.31 c Elapsed CPU time: 102.11 s Remaining CPU time: 77.8895 s 102.27/102.31 c =============================================================================== 102.27/102.31 c | 236 | 38908 235675 579877 | 78558 82 44 | 0.000 % | 102.27/102.36 c =============================================================================== 102.27/102.36 c New solution: 220 102.27/102.36 o 220 102.27/102.36 c Elapsed CPU time: 102.159 s Remaining CPU time: 77.8405 s 102.27/102.36 c =============================================================================== 102.27/102.36 c | 236 | 38666 235676 580177 | 78558 15 30 | 0.000 % | 102.36/102.40 c =============================================================================== 102.36/102.40 c New solution: 219 102.36/102.40 o 219 102.36/102.40 c Elapsed CPU time: 102.201 s Remaining CPU time: 77.7985 s 102.36/102.40 c =============================================================================== 102.36/102.40 c | 241 | 38424 235677 580477 | 78559 20 34 | 0.000 % | 102.36/102.47 c | 341 | 38400 235677 580477 | 86414 120 62 | 47.582 % | 102.47/102.51 c =============================================================================== 102.47/102.51 c New solution: 218 102.47/102.51 o 218 102.47/102.51 c Elapsed CPU time: 102.303 s Remaining CPU time: 77.6966 s 102.47/102.51 c =============================================================================== 102.47/102.51 c | 342 | 38182 235678 580777 | 78559 121 62 | 47.582 % | 102.47/102.55 c =============================================================================== 102.47/102.55 c New solution: 217 102.47/102.55 o 217 102.47/102.55 c Elapsed CPU time: 102.349 s Remaining CPU time: 77.6506 s 102.47/102.55 c =============================================================================== 102.47/102.55 c | 344 | 37940 235679 581077 | 78559 123 61 | 47.582 % | 102.57/102.60 c =============================================================================== 102.57/102.60 c New solution: 216 102.57/102.60 o 216 102.57/102.60 c Elapsed CPU time: 102.395 s Remaining CPU time: 77.6046 s 102.57/102.60 c =============================================================================== 102.57/102.60 c | 344 | 37698 235680 581377 | 78560 123 61 | 47.582 % | 102.57/102.65 c =============================================================================== 102.57/102.65 c New solution: 215 102.57/102.65 o 215 102.57/102.65 c Elapsed CPU time: 102.441 s Remaining CPU time: 77.5586 s 102.57/102.65 c =============================================================================== 102.57/102.65 c | 344 | 37456 235681 581677 | 78560 123 61 | 47.582 % | 102.57/102.69 c =============================================================================== 102.57/102.69 c New solution: 214 102.57/102.69 o 214 102.57/102.69 c Elapsed CPU time: 102.488 s Remaining CPU time: 77.5116 s 102.57/102.69 c =============================================================================== 102.57/102.69 c | 347 | 37214 235682 581977 | 78560 126 61 | 47.582 % | 102.67/102.74 c =============================================================================== 102.67/102.74 c New solution: 213 102.67/102.74 o 213 102.67/102.74 c Elapsed CPU time: 102.533 s Remaining CPU time: 77.4666 s 102.67/102.74 c =============================================================================== 102.67/102.74 c | 348 | 36972 235683 582277 | 78561 127 60 | 47.582 % | 102.67/102.78 c =============================================================================== 102.67/102.78 c New solution: 212 102.67/102.78 o 212 102.67/102.78 c Elapsed CPU time: 102.579 s Remaining CPU time: 77.4206 s 102.67/102.78 c =============================================================================== 102.67/102.78 c | 348 | 36730 235684 582577 | 78561 127 60 | 47.582 % | 102.77/102.83 c =============================================================================== 102.77/102.83 c New solution: 211 102.77/102.83 o 211 102.77/102.83 c Elapsed CPU time: 102.625 s Remaining CPU time: 77.3746 s 102.77/102.83 c =============================================================================== 102.77/102.83 c | 349 | 36488 235685 582877 | 78561 128 60 | 47.582 % | 102.77/102.88 c =============================================================================== 102.77/102.88 c New solution: 210 102.77/102.88 o 210 102.77/102.88 c Elapsed CPU time: 102.673 s Remaining CPU time: 77.3266 s 102.77/102.88 c =============================================================================== 102.77/102.88 c | 351 | 36246 235686 583177 | 78562 130 60 | 47.582 % | 102.87/102.92 c =============================================================================== 102.87/102.92 c New solution: 209 102.87/102.92 o 209 102.87/102.92 c Elapsed CPU time: 102.718 s Remaining CPU time: 77.2816 s 102.87/102.92 c =============================================================================== 102.87/102.92 c | 352 | 36004 235687 583477 | 78562 131 59 | 47.582 % | 102.87/102.98 c =============================================================================== 102.87/102.98 c New solution: 208 102.87/102.98 o 208 102.87/102.98 c Elapsed CPU time: 102.772 s Remaining CPU time: 77.2276 s 102.87/102.98 c =============================================================================== 102.87/102.98 c | 356 | 35762 235688 583777 | 78562 135 59 | 47.582 % | 102.97/103.02 c =============================================================================== 102.97/103.02 c New solution: 207 102.97/103.02 o 207 102.97/103.02 c Elapsed CPU time: 102.817 s Remaining CPU time: 77.1826 s 102.97/103.02 c =============================================================================== 102.97/103.02 c | 356 | 35520 235689 584077 | 78563 135 59 | 47.582 % | 102.97/103.07 c =============================================================================== 102.97/103.07 c New solution: 206 102.97/103.07 o 206 102.97/103.07 c Elapsed CPU time: 102.864 s Remaining CPU time: 77.1356 s 102.97/103.07 c =============================================================================== 102.97/103.07 c | 359 | 35278 235690 584377 | 78563 21 36 | 47.582 % | 103.07/103.11 c =============================================================================== 103.07/103.11 c New solution: 205 103.07/103.11 o 205 103.07/103.11 c Elapsed CPU time: 102.909 s Remaining CPU time: 77.0906 s 103.07/103.11 c =============================================================================== 103.07/103.11 c | 361 | 35036 235691 584677 | 78563 23 35 | 47.582 % | 103.07/103.16 c =============================================================================== 103.07/103.16 c New solution: 204 103.07/103.16 o 204 103.07/103.16 c Elapsed CPU time: 102.953 s Remaining CPU time: 77.0467 s 103.07/103.16 c =============================================================================== 103.07/103.16 c | 363 | 34794 235692 584977 | 78564 25 34 | 47.582 % | 103.17/103.20 c =============================================================================== 103.17/103.20 c New solution: 203 103.17/103.20 o 203 103.17/103.20 c Elapsed CPU time: 102.998 s Remaining CPU time: 77.0017 s 103.17/103.20 c =============================================================================== 103.17/103.20 c | 364 | 34552 235693 585277 | 78564 26 34 | 47.582 % | 103.17/103.25 c =============================================================================== 103.17/103.25 c New solution: 202 103.17/103.25 o 202 103.17/103.25 c Elapsed CPU time: 103.041 s Remaining CPU time: 76.9587 s 103.17/103.25 c =============================================================================== 103.17/103.25 c | 364 | 34310 235694 585577 | 78564 26 34 | 47.582 % | 103.17/103.29 c =============================================================================== 103.17/103.29 c New solution: 201 103.17/103.29 o 201 103.17/103.29 c Elapsed CPU time: 103.085 s Remaining CPU time: 76.9147 s 103.17/103.29 c =============================================================================== 103.17/103.29 c | 364 | 34068 235695 585877 | 78565 26 34 | 47.582 % | 103.27/103.34 c =============================================================================== 103.27/103.34 c New solution: 200 103.27/103.34 o 200 103.27/103.34 c Elapsed CPU time: 103.132 s Remaining CPU time: 76.8677 s 103.27/103.34 c =============================================================================== 103.27/103.34 c | 369 | 33826 235696 586177 | 78565 31 33 | 47.582 % | 103.27/103.38 c =============================================================================== 103.27/103.38 c New solution: 199 103.27/103.38 o 199 103.27/103.38 c Elapsed CPU time: 103.178 s Remaining CPU time: 76.8217 s 103.27/103.38 c =============================================================================== 103.27/103.38 c | 374 | 33584 235697 586477 | 78565 36 32 | 47.582 % | 103.37/103.43 c =============================================================================== 103.37/103.43 c New solution: 198 103.37/103.43 o 198 103.37/103.43 c Elapsed CPU time: 103.221 s Remaining CPU time: 76.7787 s 103.37/103.43 c =============================================================================== 103.37/103.43 c | 374 | 33342 235698 586777 | 78566 36 32 | 47.582 % | 103.37/103.47 c =============================================================================== 103.37/103.47 c New solution: 197 103.37/103.47 o 197 103.37/103.47 c Elapsed CPU time: 103.263 s Remaining CPU time: 76.7367 s 103.37/103.47 c =============================================================================== 103.37/103.47 c | 375 | 33100 235699 587077 | 78566 37 32 | 47.582 % | 103.46/103.51 c =============================================================================== 103.46/103.51 c New solution: 196 103.46/103.51 o 196 103.46/103.51 c Elapsed CPU time: 103.306 s Remaining CPU time: 76.6937 s 103.46/103.51 c =============================================================================== 103.46/103.51 c | 375 | 32858 235700 587377 | 78566 37 32 | 47.582 % | 103.46/103.56 c =============================================================================== 103.46/103.56 c New solution: 195 103.46/103.56 o 195 103.46/103.56 c Elapsed CPU time: 103.348 s Remaining CPU time: 76.6517 s 103.46/103.56 c =============================================================================== 103.46/103.56 c | 375 | 32616 235701 587677 | 78567 37 32 | 47.582 % | 103.56/103.60 c =============================================================================== 103.56/103.60 c New solution: 194 103.56/103.60 o 194 103.56/103.60 c Elapsed CPU time: 103.39 s Remaining CPU time: 76.6097 s 103.56/103.60 c =============================================================================== 103.56/103.60 c | 375 | 32374 235702 587977 | 78567 37 32 | 47.582 % | 103.56/103.64 c =============================================================================== 103.56/103.64 c New solution: 193 103.56/103.64 o 193 103.56/103.64 c Elapsed CPU time: 103.435 s Remaining CPU time: 76.5647 s 103.56/103.64 c =============================================================================== 103.56/103.64 c | 380 | 32132 235703 588277 | 78567 42 31 | 47.582 % | 103.56/103.68 c =============================================================================== 103.56/103.68 c New solution: 192 103.56/103.68 o 192 103.56/103.68 c Elapsed CPU time: 103.476 s Remaining CPU time: 76.5237 s 103.56/103.68 c =============================================================================== 103.56/103.68 c | 380 | 31890 235704 588577 | 78568 42 31 | 47.582 % | 103.66/103.72 c =============================================================================== 103.66/103.72 c New solution: 191 103.66/103.72 o 191 103.66/103.72 c Elapsed CPU time: 103.511 s Remaining CPU time: 76.4887 s 103.66/103.72 c =============================================================================== 103.66/103.72 c | 381 | 31648 235705 588877 | 78568 43 31 | 47.582 % | 103.66/103.76 c =============================================================================== 103.66/103.76 c New solution: 190 103.66/103.76 o 190 103.66/103.76 c Elapsed CPU time: 103.552 s Remaining CPU time: 76.4477 s 103.66/103.76 c =============================================================================== 103.66/103.76 c | 382 | 31406 235706 589177 | 78568 44 30 | 47.582 % | 103.76/103.81 c =============================================================================== 103.76/103.81 c New solution: 189 103.76/103.81 o 189 103.76/103.81 c Elapsed CPU time: 103.596 s Remaining CPU time: 76.4038 s 103.76/103.81 c =============================================================================== 103.76/103.81 c | 382 | 31164 235707 589477 | 78569 12 30 | 47.582 % | 103.76/103.85 c =============================================================================== 103.76/103.85 c New solution: 188 103.76/103.85 o 188 103.76/103.85 c Elapsed CPU time: 103.64 s Remaining CPU time: 76.3598 s 103.76/103.85 c =============================================================================== 103.76/103.85 c | 386 | 30922 235708 589777 | 78569 16 27 | 47.582 % | 103.76/103.89 c =============================================================================== 103.76/103.89 c New solution: 187 103.76/103.89 o 187 103.76/103.89 c Elapsed CPU time: 103.683 s Remaining CPU time: 76.3168 s 103.76/103.89 c =============================================================================== 103.76/103.89 c | 388 | 30680 235709 590077 | 78569 18 27 | 47.582 % | 103.86/103.94 c =============================================================================== 103.86/103.94 c New solution: 186 103.86/103.94 o 186 103.86/103.94 c Elapsed CPU time: 103.724 s Remaining CPU time: 76.2758 s 103.86/103.94 c =============================================================================== 103.86/103.94 c | 388 | 30438 235710 590377 | 78570 18 27 | 47.582 % | 103.86/103.98 c =============================================================================== 103.86/103.98 c New solution: 185 103.86/103.98 o 185 103.86/103.98 c Elapsed CPU time: 103.766 s Remaining CPU time: 76.2338 s 103.86/103.98 c =============================================================================== 103.86/103.98 c | 391 | 30196 235711 590677 | 78570 21 29 | 47.582 % | 103.97/104.02 c =============================================================================== 103.97/104.02 c New solution: 184 103.97/104.02 o 184 103.97/104.02 c Elapsed CPU time: 103.809 s Remaining CPU time: 76.1908 s 103.97/104.02 c =============================================================================== 103.97/104.02 c | 392 | 29954 235712 590977 | 78570 22 28 | 47.582 % | 103.97/104.06 c =============================================================================== 103.97/104.06 c New solution: 183 103.97/104.06 o 183 103.97/104.06 c Elapsed CPU time: 103.844 s Remaining CPU time: 76.1558 s 103.97/104.06 c =============================================================================== 103.97/104.06 c | 393 | 29712 235713 591277 | 78571 23 28 | 47.582 % | 104.07/104.10 c =============================================================================== 104.07/104.10 c New solution: 182 104.07/104.10 o 182 104.07/104.10 c Elapsed CPU time: 103.886 s Remaining CPU time: 76.1138 s 104.07/104.10 c =============================================================================== 104.07/104.10 c | 398 | 29470 235714 591577 | 78571 28 28 | 47.582 % | 104.07/104.14 c =============================================================================== 104.07/104.14 c New solution: 181 104.07/104.14 o 181 104.07/104.14 c Elapsed CPU time: 103.922 s Remaining CPU time: 76.0778 s 104.07/104.14 c =============================================================================== 104.07/104.14 c | 403 | 29228 235715 591877 | 78571 33 28 | 47.582 % | 104.07/104.17 c =============================================================================== 104.07/104.17 c New solution: 180 104.07/104.17 o 180 104.07/104.17 c Elapsed CPU time: 103.958 s Remaining CPU time: 76.0418 s 104.07/104.17 c =============================================================================== 104.07/104.17 c | 404 | 28986 235716 592177 | 78572 34 28 | 47.582 % | 104.16/104.22 c =============================================================================== 104.16/104.22 c New solution: 179 104.16/104.22 o 179 104.16/104.22 c Elapsed CPU time: 103.998 s Remaining CPU time: 76.0018 s 104.16/104.22 c =============================================================================== 104.16/104.22 c | 407 | 28744 235717 592477 | 78572 37 28 | 47.582 % | 104.16/104.26 c =============================================================================== 104.16/104.26 c New solution: 178 104.16/104.26 o 178 104.16/104.26 c Elapsed CPU time: 104.038 s Remaining CPU time: 75.9618 s 104.16/104.26 c =============================================================================== 104.16/104.26 c | 407 | 28502 235718 592777 | 78572 37 28 | 47.582 % | 104.16/104.29 c =============================================================================== 104.16/104.29 c New solution: 177 104.16/104.29 o 177 104.16/104.29 c Elapsed CPU time: 104.072 s Remaining CPU time: 75.9278 s 104.16/104.29 c =============================================================================== 104.16/104.29 c | 410 | 28260 235719 593077 | 78573 40 29 | 47.582 % | 104.26/104.33 c =============================================================================== 104.26/104.33 c New solution: 176 104.26/104.33 o 176 104.26/104.33 c Elapsed CPU time: 104.113 s Remaining CPU time: 75.8868 s 104.26/104.33 c =============================================================================== 104.26/104.33 c | 410 | 28018 235720 593377 | 78573 40 29 | 47.582 % | 104.26/104.38 c =============================================================================== 104.26/104.38 c New solution: 175 104.26/104.38 o 175 104.26/104.38 c Elapsed CPU time: 104.158 s Remaining CPU time: 75.8418 s 104.26/104.38 c =============================================================================== 104.26/104.38 c | 412 | 27776 235721 593677 | 78573 42 28 | 47.582 % | 104.37/104.42 c =============================================================================== 104.37/104.42 c New solution: 174 104.37/104.42 o 174 104.37/104.42 c Elapsed CPU time: 104.204 s Remaining CPU time: 75.7958 s 104.37/104.42 c =============================================================================== 104.37/104.42 c | 457 | 27534 235722 593977 | 78574 87 37 | 47.582 % | 104.37/104.47 c =============================================================================== 104.37/104.47 c New solution: 173 104.37/104.47 o 173 104.37/104.47 c Elapsed CPU time: 104.245 s Remaining CPU time: 75.7548 s 104.37/104.47 c =============================================================================== 104.37/104.47 c | 462 | 27292 235723 594277 | 78574 92 37 | 47.582 % | 104.47/104.51 c =============================================================================== 104.47/104.51 c New solution: 172 104.47/104.51 o 172 104.47/104.51 c Elapsed CPU time: 104.286 s Remaining CPU time: 75.7139 s 104.47/104.51 c =============================================================================== 104.47/104.51 c | 471 | 27050 235724 594577 | 78574 101 38 | 47.582 % | 104.47/104.55 c =============================================================================== 104.47/104.55 c New solution: 171 104.47/104.55 o 171 104.47/104.55 c Elapsed CPU time: 104.326 s Remaining CPU time: 75.6739 s 104.47/104.55 c =============================================================================== 104.47/104.55 c | 471 | 26808 235725 594877 | 78575 101 38 | 47.582 % | 104.47/104.59 c =============================================================================== 104.47/104.59 c New solution: 170 104.47/104.59 o 170 104.47/104.59 c Elapsed CPU time: 104.368 s Remaining CPU time: 75.6319 s 104.47/104.59 c =============================================================================== 104.47/104.59 c | 474 | 26566 235726 595177 | 78575 53 42 | 47.582 % | 104.56/104.62 c =============================================================================== 104.56/104.62 c New solution: 169 104.56/104.62 o 169 104.56/104.62 c Elapsed CPU time: 104.401 s Remaining CPU time: 75.5989 s 104.56/104.62 c =============================================================================== 104.56/104.62 c | 476 | 26324 235727 595477 | 78575 55 41 | 47.582 % | 104.56/104.67 c =============================================================================== 104.56/104.67 c New solution: 168 104.56/104.67 o 168 104.56/104.67 c Elapsed CPU time: 104.442 s Remaining CPU time: 75.5579 s 104.56/104.67 c =============================================================================== 104.56/104.67 c | 482 | 26082 235728 595777 | 78576 61 39 | 47.582 % | 104.67/104.70 c =============================================================================== 104.67/104.70 c New solution: 167 104.67/104.70 o 167 104.67/104.70 c Elapsed CPU time: 104.48 s Remaining CPU time: 75.5199 s 104.67/104.70 c =============================================================================== 104.67/104.70 c | 484 | 25840 235729 596077 | 78576 63 39 | 47.582 % | 104.67/104.74 c =============================================================================== 104.67/104.74 c New solution: 166 104.67/104.74 o 166 104.67/104.74 c Elapsed CPU time: 104.518 s Remaining CPU time: 75.4819 s 104.67/104.74 c =============================================================================== 104.67/104.74 c | 484 | 25598 235730 596377 | 78576 63 39 | 47.582 % | 104.67/104.78 c =============================================================================== 104.67/104.78 c New solution: 165 104.67/104.78 o 165 104.67/104.78 c Elapsed CPU time: 104.556 s Remaining CPU time: 75.4439 s 104.67/104.78 c =============================================================================== 104.67/104.78 c | 485 | 25356 235731 596677 | 78577 64 39 | 47.582 % | 104.76/104.82 c =============================================================================== 104.76/104.82 c New solution: 164 104.76/104.82 o 164 104.76/104.82 c Elapsed CPU time: 104.594 s Remaining CPU time: 75.4059 s 104.76/104.82 c =============================================================================== 104.76/104.82 c | 485 | 25114 235732 596977 | 78577 64 39 | 47.582 % | 104.76/104.86 c =============================================================================== 104.76/104.86 c New solution: 163 104.76/104.86 o 163 104.76/104.86 c Elapsed CPU time: 104.633 s Remaining CPU time: 75.3669 s 104.76/104.86 c =============================================================================== 104.76/104.86 c | 486 | 24872 235733 597277 | 78577 65 38 | 47.582 % | 104.86/104.90 c =============================================================================== 104.86/104.90 c New solution: 162 104.86/104.90 o 162 104.86/104.90 c Elapsed CPU time: 104.671 s Remaining CPU time: 75.3289 s 104.86/104.90 c =============================================================================== 104.86/104.90 c | 486 | 24630 235734 597577 | 78578 65 38 | 47.582 % | 104.86/104.94 c =============================================================================== 104.86/104.94 c New solution: 161 104.86/104.94 o 161 104.86/104.94 c Elapsed CPU time: 104.71 s Remaining CPU time: 75.2899 s 104.86/104.94 c =============================================================================== 104.86/104.94 c | 488 | 24388 235735 597877 | 78578 67 38 | 47.582 % | 104.86/104.98 c =============================================================================== 104.86/104.98 c New solution: 160 104.86/104.98 o 160 104.86/104.98 c Elapsed CPU time: 104.748 s Remaining CPU time: 75.2519 s 104.86/104.98 c =============================================================================== 104.86/104.98 c | 489 | 24146 235736 598177 | 78578 68 38 | 47.582 % | 104.96/105.01 c =============================================================================== 104.96/105.01 c New solution: 159 104.96/105.01 o 159 104.96/105.01 c Elapsed CPU time: 104.786 s Remaining CPU time: 75.2139 s 104.96/105.01 c =============================================================================== 104.96/105.01 c | 490 | 23904 235737 598477 | 78579 69 38 | 47.582 % | 104.96/105.05 c =============================================================================== 104.96/105.05 c New solution: 158 104.96/105.05 o 158 104.96/105.05 c Elapsed CPU time: 104.825 s Remaining CPU time: 75.1749 s 104.96/105.05 c =============================================================================== 104.96/105.05 c | 492 | 23662 235738 598777 | 78579 71 37 | 47.582 % | 104.96/105.09 c =============================================================================== 104.96/105.09 c New solution: 157 104.96/105.09 o 157 104.96/105.09 c Elapsed CPU time: 104.862 s Remaining CPU time: 75.1379 s 104.96/105.09 c =============================================================================== 104.96/105.09 c | 493 | 23420 235739 599077 | 78579 72 37 | 47.582 % | 105.06/105.13 c =============================================================================== 105.06/105.13 c New solution: 156 105.06/105.13 o 156 105.06/105.13 c Elapsed CPU time: 104.9 s Remaining CPU time: 75.0999 s 105.06/105.13 c =============================================================================== 105.06/105.13 c | 494 | 23178 235740 599377 | 78580 73 38 | 47.582 % | 105.06/105.17 c =============================================================================== 105.06/105.17 c New solution: 155 105.06/105.17 o 155 105.06/105.17 c Elapsed CPU time: 104.935 s Remaining CPU time: 75.065 s 105.06/105.17 c =============================================================================== 105.06/105.17 c | 494 | 22936 235741 599677 | 78580 73 38 | 47.582 % | 105.16/105.20 c =============================================================================== 105.16/105.20 c New solution: 154 105.16/105.20 o 154 105.16/105.20 c Elapsed CPU time: 104.974 s Remaining CPU time: 75.026 s 105.16/105.20 c =============================================================================== 105.16/105.20 c | 498 | 22694 235742 599977 | 78580 77 38 | 47.582 % | 105.16/105.24 c =============================================================================== 105.16/105.24 c New solution: 153 105.16/105.24 o 153 105.16/105.24 c Elapsed CPU time: 105.011 s Remaining CPU time: 74.989 s 105.16/105.24 c =============================================================================== 105.16/105.24 c | 500 | 22452 235743 600277 | 78581 79 38 | 47.582 % | 105.16/105.28 c =============================================================================== 105.16/105.28 c New solution: 152 105.16/105.28 o 152 105.16/105.28 c Elapsed CPU time: 105.048 s Remaining CPU time: 74.952 s 105.16/105.28 c =============================================================================== 105.16/105.28 c | 501 | 22210 235744 600577 | 78581 80 38 | 47.582 % | 105.26/105.31 c =============================================================================== 105.26/105.31 c New solution: 151 105.26/105.31 o 151 105.26/105.31 c Elapsed CPU time: 105.084 s Remaining CPU time: 74.916 s 105.26/105.31 c =============================================================================== 105.26/105.31 c | 501 | 21968 235745 600877 | 78581 80 38 | 47.582 % | 105.26/105.35 c =============================================================================== 105.26/105.35 c New solution: 150 105.26/105.35 o 150 105.26/105.35 c Elapsed CPU time: 105.119 s Remaining CPU time: 74.881 s 105.26/105.35 c =============================================================================== 105.26/105.35 c | 503 | 21726 235746 601177 | 78582 82 37 | 47.582 % | 105.26/105.39 c =============================================================================== 105.26/105.39 c New solution: 149 105.26/105.39 o 149 105.26/105.39 c Elapsed CPU time: 105.154 s Remaining CPU time: 74.846 s 105.26/105.39 c =============================================================================== 105.26/105.39 c | 503 | 21484 235747 601477 | 78582 82 37 | 47.582 % | 105.36/105.42 c =============================================================================== 105.36/105.42 c New solution: 148 105.36/105.42 o 148 105.36/105.42 c Elapsed CPU time: 105.188 s Remaining CPU time: 74.812 s 105.36/105.42 c =============================================================================== 105.36/105.42 c | 508 | 21242 235748 601777 | 78582 87 37 | 47.582 % | 105.36/105.46 c =============================================================================== 105.36/105.46 c New solution: 147 105.36/105.46 o 147 105.36/105.46 c Elapsed CPU time: 105.223 s Remaining CPU time: 74.777 s 105.36/105.46 c =============================================================================== 105.36/105.46 c | 510 | 21000 235749 602077 | 78583 89 37 | 47.582 % | 105.36/105.49 c =============================================================================== 105.36/105.49 c New solution: 146 105.36/105.49 o 146 105.36/105.49 c Elapsed CPU time: 105.259 s Remaining CPU time: 74.741 s 105.36/105.49 c =============================================================================== 105.36/105.49 c | 513 | 20758 235750 602377 | 78583 92 36 | 47.582 % | 105.47/105.53 c =============================================================================== 105.47/105.53 c New solution: 145 105.47/105.53 o 145 105.47/105.53 c Elapsed CPU time: 105.295 s Remaining CPU time: 74.705 s 105.47/105.53 c =============================================================================== 105.47/105.53 c | 513 | 20516 235751 602677 | 78583 19 33 | 47.582 % | 105.47/105.56 c =============================================================================== 105.47/105.56 c New solution: 144 105.47/105.56 o 144 105.47/105.56 c Elapsed CPU time: 105.329 s Remaining CPU time: 74.671 s 105.47/105.56 c =============================================================================== 105.47/105.56 c | 513 | 20274 235752 602977 | 78584 19 33 | 47.582 % | 105.47/105.60 c =============================================================================== 105.47/105.60 c New solution: 143 105.47/105.60 o 143 105.47/105.60 c Elapsed CPU time: 105.359 s Remaining CPU time: 74.641 s 105.47/105.60 c =============================================================================== 105.47/105.60 c | 516 | 20032 235753 603277 | 78584 22 31 | 47.582 % | 105.57/105.63 c =============================================================================== 105.57/105.63 c New solution: 142 105.57/105.63 o 142 105.57/105.63 c Elapsed CPU time: 105.394 s Remaining CPU time: 74.606 s 105.57/105.63 c =============================================================================== 105.57/105.63 c | 516 | 19790 235754 603577 | 78584 22 31 | 47.582 % | 105.57/105.66 c =============================================================================== 105.57/105.66 c New solution: 141 105.57/105.66 o 141 105.57/105.66 c Elapsed CPU time: 105.428 s Remaining CPU time: 74.572 s 105.57/105.66 c =============================================================================== 105.57/105.66 c | 517 | 19548 235755 603877 | 78585 23 31 | 47.582 % | 105.66/105.70 c =============================================================================== 105.66/105.70 c New solution: 140 105.66/105.70 o 140 105.66/105.70 c Elapsed CPU time: 105.464 s Remaining CPU time: 74.536 s 105.66/105.70 c =============================================================================== 105.66/105.70 c | 520 | 19306 235756 604177 | 78585 26 31 | 47.582 % | 105.66/105.74 c =============================================================================== 105.66/105.74 c New solution: 139 105.66/105.74 o 139 105.66/105.74 c Elapsed CPU time: 105.5 s Remaining CPU time: 74.5 s 105.66/105.74 c =============================================================================== 105.66/105.74 c | 525 | 19064 235757 604477 | 78585 31 32 | 47.582 % | 105.66/105.77 c =============================================================================== 105.66/105.77 c New solution: 138 105.66/105.77 o 138 105.66/105.77 c Elapsed CPU time: 105.534 s Remaining CPU time: 74.466 s 105.66/105.77 c =============================================================================== 105.66/105.77 c | 526 | 18822 235758 604777 | 78586 32 32 | 47.582 % | 105.76/105.81 c =============================================================================== 105.76/105.81 c New solution: 137 105.76/105.81 o 137 105.76/105.81 c Elapsed CPU time: 105.569 s Remaining CPU time: 74.431 s 105.76/105.81 c =============================================================================== 105.76/105.81 c | 528 | 18580 235759 605077 | 78586 34 33 | 47.582 % | 105.76/105.84 c =============================================================================== 105.76/105.84 c New solution: 136 105.76/105.84 o 136 105.76/105.84 c Elapsed CPU time: 105.605 s Remaining CPU time: 74.3951 s 105.76/105.84 c =============================================================================== 105.76/105.84 c | 531 | 18338 235760 605377 | 78586 37 33 | 47.582 % | 105.76/105.88 c =============================================================================== 105.76/105.88 c New solution: 135 105.76/105.88 o 135 105.76/105.88 c Elapsed CPU time: 105.639 s Remaining CPU time: 74.3611 s 105.76/105.88 c =============================================================================== 105.76/105.88 c | 531 | 18096 235761 605677 | 78587 37 33 | 47.582 % | 105.86/105.91 c =============================================================================== 105.86/105.91 c New solution: 134 105.86/105.91 o 134 105.86/105.91 c Elapsed CPU time: 105.672 s Remaining CPU time: 74.3281 s 105.86/105.91 c =============================================================================== 105.86/105.91 c | 532 | 17854 235762 605977 | 78587 38 32 | 47.582 % | 105.86/105.94 c =============================================================================== 105.86/105.94 c New solution: 133 105.86/105.94 o 133 105.86/105.94 c Elapsed CPU time: 105.706 s Remaining CPU time: 74.2941 s 105.86/105.94 c =============================================================================== 105.86/105.94 c | 532 | 17612 235763 606277 | 78587 38 32 | 47.582 % | 105.86/105.98 c =============================================================================== 105.86/105.98 c New solution: 132 105.86/105.98 o 132 105.86/105.98 c Elapsed CPU time: 105.739 s Remaining CPU time: 74.2611 s 105.86/105.98 c =============================================================================== 105.86/105.98 c | 532 | 17370 235764 606577 | 78588 38 32 | 47.582 % | 105.96/106.01 c =============================================================================== 105.96/106.01 c New solution: 131 105.96/106.01 o 131 105.96/106.01 c Elapsed CPU time: 105.772 s Remaining CPU time: 74.2281 s 105.96/106.01 c =============================================================================== 105.96/106.01 c | 532 | 17128 235765 606877 | 78588 38 32 | 47.582 % | 105.96/106.04 c =============================================================================== 105.96/106.04 c New solution: 130 105.96/106.04 o 130 105.96/106.04 c Elapsed CPU time: 105.803 s Remaining CPU time: 74.1971 s 105.96/106.04 c =============================================================================== 105.96/106.04 c | 536 | 16886 235766 607177 | 78588 42 35 | 47.582 % | 105.96/106.07 c =============================================================================== 105.96/106.07 c New solution: 129 105.96/106.07 o 129 105.96/106.07 c Elapsed CPU time: 105.835 s Remaining CPU time: 74.1651 s 105.96/106.07 c =============================================================================== 105.96/106.07 c | 536 | 16644 235767 607477 | 78589 42 35 | 47.582 % | 106.06/106.11 c =============================================================================== 106.06/106.11 c New solution: 128 106.06/106.11 o 128 106.06/106.11 c Elapsed CPU time: 105.867 s Remaining CPU time: 74.1331 s 106.06/106.11 c =============================================================================== 106.06/106.11 c | 538 | 16402 235768 607777 | 78589 44 35 | 47.582 % | 106.06/106.14 c =============================================================================== 106.06/106.14 c New solution: 127 106.06/106.14 o 127 106.06/106.14 c Elapsed CPU time: 105.899 s Remaining CPU time: 74.1011 s 106.06/106.14 c =============================================================================== 106.06/106.14 c | 538 | 16160 235769 608077 | 78589 44 35 | 47.582 % | 106.06/106.17 c =============================================================================== 106.06/106.17 c New solution: 126 106.06/106.17 o 126 106.06/106.17 c Elapsed CPU time: 105.93 s Remaining CPU time: 74.0701 s 106.06/106.17 c =============================================================================== 106.06/106.17 c | 538 | 15918 235770 608377 | 78590 44 35 | 47.582 % | 106.16/106.20 c =============================================================================== 106.16/106.20 c New solution: 125 106.16/106.20 o 125 106.16/106.20 c Elapsed CPU time: 105.96 s Remaining CPU time: 74.0401 s 106.16/106.20 c =============================================================================== 106.16/106.20 c | 539 | 15676 235771 608677 | 78590 45 34 | 47.582 % | 106.16/106.23 c =============================================================================== 106.16/106.23 c New solution: 124 106.16/106.23 o 124 106.16/106.23 c Elapsed CPU time: 105.992 s Remaining CPU time: 74.0081 s 106.16/106.23 c =============================================================================== 106.16/106.23 c | 542 | 15434 235772 608977 | 78590 48 33 | 47.582 % | 106.16/106.27 c =============================================================================== 106.16/106.27 c New solution: 123 106.16/106.27 o 123 106.16/106.27 c Elapsed CPU time: 106.023 s Remaining CPU time: 73.9771 s 106.16/106.27 c =============================================================================== 106.16/106.27 c | 542 | 15192 235773 609277 | 78591 48 33 | 47.582 % | 106.26/106.30 c =============================================================================== 106.26/106.30 c New solution: 122 106.26/106.30 o 122 106.26/106.30 c Elapsed CPU time: 106.054 s Remaining CPU time: 73.9461 s 106.26/106.30 c =============================================================================== 106.26/106.30 c | 542 | 14950 235774 609577 | 78591 48 33 | 47.582 % | 106.26/106.33 c =============================================================================== 106.26/106.33 c New solution: 121 106.26/106.33 o 121 106.26/106.33 c Elapsed CPU time: 106.085 s Remaining CPU time: 73.9151 s 106.26/106.33 c =============================================================================== 106.26/106.33 c | 542 | 14708 235775 609877 | 78591 48 33 | 47.582 % | 106.26/106.36 c =============================================================================== 106.26/106.36 c New solution: 120 106.26/106.36 o 120 106.26/106.36 c Elapsed CPU time: 106.115 s Remaining CPU time: 73.8851 s 106.26/106.36 c =============================================================================== 106.26/106.36 c | 542 | 14466 235776 610177 | 78592 48 33 | 47.582 % | 106.26/106.39 c =============================================================================== 106.26/106.39 c New solution: 119 106.26/106.39 o 119 106.26/106.39 c Elapsed CPU time: 106.146 s Remaining CPU time: 73.8541 s 106.26/106.39 c =============================================================================== 106.26/106.39 c | 544 | 14224 235777 610477 | 78592 50 33 | 47.582 % | 106.36/106.42 c =============================================================================== 106.36/106.42 c New solution: 118 106.36/106.42 o 118 106.36/106.42 c Elapsed CPU time: 106.176 s Remaining CPU time: 73.8241 s 106.36/106.42 c =============================================================================== 106.36/106.42 c | 544 | 13982 235778 610777 | 78592 50 33 | 47.582 % | 106.36/106.45 c =============================================================================== 106.36/106.45 c New solution: 117 106.36/106.45 o 117 106.36/106.45 c Elapsed CPU time: 106.205 s Remaining CPU time: 73.7951 s 106.36/106.45 c =============================================================================== 106.36/106.45 c | 546 | 13740 235779 611077 | 78593 52 33 | 47.582 % | 106.36/106.48 c =============================================================================== 106.36/106.48 c New solution: 116 106.36/106.48 o 116 106.36/106.48 c Elapsed CPU time: 106.234 s Remaining CPU time: 73.7661 s 106.36/106.48 c =============================================================================== 106.36/106.48 c | 547 | 13498 235780 611377 | 78593 53 32 | 47.582 % | 106.46/106.51 c =============================================================================== 106.46/106.51 c New solution: 115 106.46/106.51 o 115 106.46/106.51 c Elapsed CPU time: 106.264 s Remaining CPU time: 73.7362 s 106.46/106.51 c =============================================================================== 106.46/106.51 c | 548 | 13256 235781 611677 | 78593 54 33 | 47.582 % | 106.46/106.54 c =============================================================================== 106.46/106.54 c New solution: 114 106.46/106.54 o 114 106.46/106.54 c Elapsed CPU time: 106.291 s Remaining CPU time: 73.7092 s 106.46/106.54 c =============================================================================== 106.46/106.54 c | 550 | 13014 235782 611977 | 78594 56 32 | 47.582 % | 106.46/106.57 c =============================================================================== 106.46/106.57 c New solution: 113 106.46/106.57 o 113 106.46/106.57 c Elapsed CPU time: 106.32 s Remaining CPU time: 73.6802 s 106.46/106.57 c =============================================================================== 106.46/106.57 c | 552 | 12772 235783 612277 | 78594 58 32 | 47.582 % | 106.46/106.59 c =============================================================================== 106.46/106.59 c New solution: 112 106.46/106.59 o 112 106.46/106.59 c Elapsed CPU time: 106.347 s Remaining CPU time: 73.6532 s 106.46/106.59 c =============================================================================== 106.46/106.59 c | 555 | 12530 235784 612577 | 78594 61 31 | 47.582 % | 106.57/106.62 c =============================================================================== 106.57/106.62 c New solution: 111 106.57/106.62 o 111 106.57/106.62 c Elapsed CPU time: 106.376 s Remaining CPU time: 73.6242 s 106.57/106.62 c =============================================================================== 106.57/106.62 c | 555 | 12288 235785 612877 | 78595 61 31 | 47.582 % | 106.57/106.65 c =============================================================================== 106.57/106.65 c New solution: 110 106.57/106.65 o 110 106.57/106.65 c Elapsed CPU time: 106.403 s Remaining CPU time: 73.5972 s 106.57/106.65 c =============================================================================== 106.57/106.65 c | 555 | 12046 235786 613177 | 78595 61 31 | 47.582 % | 106.57/106.68 c =============================================================================== 106.57/106.68 c New solution: 109 106.57/106.68 o 109 106.57/106.68 c Elapsed CPU time: 106.433 s Remaining CPU time: 73.5672 s 106.57/106.68 c =============================================================================== 106.57/106.68 c | 556 | 11804 235787 613477 | 78595 12 28 | 47.582 % | 106.67/106.71 c =============================================================================== 106.67/106.71 c New solution: 108 106.67/106.71 o 108 106.67/106.71 c Elapsed CPU time: 106.461 s Remaining CPU time: 73.5392 s 106.67/106.71 c =============================================================================== 106.67/106.71 c | 557 | 11562 235788 613777 | 78596 13 27 | 47.582 % | 106.67/106.75 c =============================================================================== 106.67/106.75 c New solution: 107 106.67/106.75 o 107 106.67/106.75 c Elapsed CPU time: 106.501 s Remaining CPU time: 73.4992 s 106.67/106.75 c =============================================================================== 106.67/106.75 c | 579 | 11320 235789 614077 | 78596 35 57 | 47.582 % | 106.67/106.78 c =============================================================================== 106.67/106.78 c New solution: 106 106.67/106.78 o 106 106.67/106.78 c Elapsed CPU time: 106.529 s Remaining CPU time: 73.4712 s 106.67/106.78 c =============================================================================== 106.67/106.78 c | 579 | 11078 235790 614377 | 78596 35 57 | 47.582 % | 106.76/106.81 c =============================================================================== 106.76/106.81 c New solution: 105 106.76/106.81 o 105 106.76/106.81 c Elapsed CPU time: 106.557 s Remaining CPU time: 73.4432 s 106.76/106.81 c =============================================================================== 106.76/106.81 c | 579 | 10836 235791 614677 | 78597 35 57 | 47.582 % | 106.76/106.83 c =============================================================================== 106.76/106.84 c New solution: 104 106.76/106.84 o 104 106.76/106.84 c Elapsed CPU time: 106.585 s Remaining CPU time: 73.4152 s 106.76/106.84 c =============================================================================== 106.76/106.84 c | 581 | 10594 235792 614977 | 78597 37 55 | 47.582 % | 106.76/106.86 c =============================================================================== 106.76/106.86 c New solution: 103 106.76/106.86 o 103 106.76/106.86 c Elapsed CPU time: 106.61 s Remaining CPU time: 73.3902 s 106.76/106.86 c =============================================================================== 106.76/106.86 c | 586 | 10352 235793 615277 | 78597 42 52 | 47.582 % | 106.76/106.89 c =============================================================================== 106.76/106.89 c New solution: 102 106.76/106.89 o 102 106.76/106.89 c Elapsed CPU time: 106.637 s Remaining CPU time: 73.3632 s 106.76/106.89 c =============================================================================== 106.76/106.89 c | 595 | 10110 235794 615577 | 78598 51 49 | 47.582 % | 106.86/106.93 c =============================================================================== 106.86/106.93 c New solution: 101 106.86/106.93 o 101 106.86/106.93 c Elapsed CPU time: 106.676 s Remaining CPU time: 73.3242 s 106.86/106.93 c =============================================================================== 106.86/106.93 c | 629 | 9868 235795 615877 | 78598 85 49 | 47.582 % | 106.86/106.96 c =============================================================================== 106.86/106.96 c New solution: 100 106.86/106.96 o 100 106.86/106.96 c Elapsed CPU time: 106.704 s Remaining CPU time: 73.2962 s 106.86/106.96 c =============================================================================== 106.86/106.96 c | 633 | 9626 235796 616177 | 78598 89 49 | 47.582 % | 106.86/106.99 c =============================================================================== 106.86/106.99 c New solution: 99 106.86/106.99 o 99 106.86/106.99 c Elapsed CPU time: 106.734 s Remaining CPU time: 73.2662 s 106.86/106.99 c =============================================================================== 106.86/106.99 c | 637 | 9384 235797 616477 | 78599 93 48 | 47.582 % | 106.97/107.01 c =============================================================================== 106.97/107.01 c New solution: 98 106.97/107.01 o 98 106.97/107.01 c Elapsed CPU time: 106.758 s Remaining CPU time: 73.2422 s 106.97/107.01 c =============================================================================== 106.97/107.01 c | 638 | 9142 235798 616777 | 78599 94 48 | 47.582 % | 106.97/107.04 c =============================================================================== 106.97/107.04 c New solution: 97 106.97/107.04 o 97 106.97/107.04 c Elapsed CPU time: 106.785 s Remaining CPU time: 73.2152 s 106.97/107.04 c =============================================================================== 106.97/107.04 c | 639 | 8900 235799 617077 | 78599 95 48 | 47.582 % | 106.97/107.06 c =============================================================================== 106.97/107.06 c New solution: 96 106.97/107.06 o 96 106.97/107.06 c Elapsed CPU time: 106.81 s Remaining CPU time: 73.1902 s 106.97/107.06 c =============================================================================== 106.97/107.06 c | 640 | 8658 235800 617377 | 78600 96 47 | 47.582 % | 106.97/107.09 c =============================================================================== 106.97/107.09 c New solution: 95 106.97/107.09 o 95 106.97/107.09 c Elapsed CPU time: 106.835 s Remaining CPU time: 73.1652 s 106.97/107.09 c =============================================================================== 106.97/107.09 c | 645 | 8416 235801 617677 | 78600 101 46 | 47.582 % | 107.07/107.12 c =============================================================================== 107.07/107.12 c New solution: 94 107.07/107.12 o 94 107.07/107.12 c Elapsed CPU time: 106.861 s Remaining CPU time: 73.1392 s 107.07/107.12 c =============================================================================== 107.07/107.12 c | 649 | 8174 235802 617977 | 78600 105 46 | 47.582 % | 107.07/107.14 c =============================================================================== 107.07/107.14 c New solution: 93 107.07/107.14 o 93 107.07/107.14 c Elapsed CPU time: 106.888 s Remaining CPU time: 73.1123 s 107.07/107.14 c =============================================================================== 107.07/107.14 c | 660 | 7932 235803 618277 | 78601 116 44 | 47.582 % | 107.17/107.25 c | 760 | 7927 235803 618277 | 86461 216 65 | 89.443 % | 107.17/107.28 c =============================================================================== 107.17/107.28 c New solution: 92 107.17/107.28 o 92 107.17/107.28 c Elapsed CPU time: 107.021 s Remaining CPU time: 72.9793 s 107.17/107.28 c =============================================================================== 107.17/107.28 c | 770 | 7690 235804 618577 | 78601 226 64 | 89.443 % | 107.27/107.35 c | 870 | 7682 235804 618577 | 86461 326 70 | 89.775 % | 107.27/107.38 c =============================================================================== 107.27/107.38 c New solution: 91 107.27/107.38 o 91 107.27/107.38 c Elapsed CPU time: 107.12 s Remaining CPU time: 72.8803 s 107.27/107.38 c =============================================================================== 107.27/107.38 c | 873 | 7448 235805 618877 | 78601 329 70 | 89.775 % | 107.37/107.42 c =============================================================================== 107.37/107.42 c New solution: 90 107.37/107.42 o 90 107.37/107.42 c Elapsed CPU time: 107.161 s Remaining CPU time: 72.8393 s 107.37/107.42 c =============================================================================== 107.37/107.42 c | 889 | 7206 235806 619177 | 78602 345 71 | 89.775 % | 107.37/107.45 c =============================================================================== 107.37/107.45 c New solution: 89 107.37/107.45 o 89 107.37/107.45 c Elapsed CPU time: 107.193 s Remaining CPU time: 72.8073 s 107.37/107.45 c =============================================================================== 107.37/107.45 c | 903 | 6964 235807 619477 | 78602 359 69 | 89.775 % | 107.37/107.48 c =============================================================================== 107.37/107.48 c New solution: 88 107.37/107.48 o 88 107.37/107.48 c Elapsed CPU time: 107.227 s Remaining CPU time: 72.7733 s 107.37/107.48 c =============================================================================== 107.37/107.48 c | 920 | 6722 235808 619777 | 78602 376 69 | 89.775 % | 107.47/107.53 c | 1020 | 6716 235808 619777 | 86462 476 69 | 91.104 % | 107.57/107.66 c | 1172 | 6708 235808 619777 | 95109 628 70 | 91.104 % | 107.67/107.73 c | 1397 | 6693 235808 619777 | 104620 853 63 | 91.104 % | 107.97/108.09 c | 1734 | 6689 235808 619777 | 115082 1190 64 | 91.104 % | 108.26/108.36 c =============================================================================== 108.26/108.36 c New solution: 87 108.26/108.36 o 87 108.26/108.36 c Elapsed CPU time: 108.1 s Remaining CPU time: 71.9004 s 108.26/108.36 c =============================================================================== 108.26/108.36 c | 2018 | 6480 235809 620077 | 78603 1171 66 | 91.104 % | 108.36/108.45 c | 2118 | 6464 235809 620077 | 86463 1271 66 | 91.436 % | 108.46/108.52 c | 2269 | 6450 235809 620077 | 95109 1422 65 | 91.436 % | 108.77/108.84 c | 2495 | 6443 235809 620077 | 104620 1648 68 | 91.436 % | 108.87/108.97 c | 2832 | 6425 235809 620077 | 115082 1985 66 | 91.436 % | 109.46/109.51 c | 3338 | 6423 235809 620077 | 126590 2491 66 | 91.436 % | 109.76/109.80 c | 4097 | 6416 235809 620077 | 139250 3250 61 | 91.436 % | 111.07/111.10 c | 5238 | 6238 235809 620077 | 153175 3994 60 | 91.436 % | 111.56/111.69 c | 6947 | 6238 235809 620077 | 168492 5703 58 | 91.436 % | 114.97/115.09 c | 9509 | 6238 235809 620077 | 185341 8265 65 | 91.436 % | 115.26/115.31 c =============================================================================== 115.26/115.31 c New solution: 86 115.26/115.31 o 86 115.26/115.31 c Elapsed CPU time: 115.032 s Remaining CPU time: 64.9685 s 115.26/115.31 c =============================================================================== 115.26/115.31 c | 9766 | 6238 235810 620377 | 78603 8522 65 | 91.436 % | 115.37/115.42 c | 9867 | 5996 235810 620377 | 86463 4580 48 | 91.768 % | 115.56/115.61 c | 10019 | 5996 235810 620377 | 95110 4732 49 | 91.768 % | 115.66/115.70 c | 10245 | 5996 235810 620377 | 104621 4958 49 | 91.768 % | 116.06/116.12 c | 10583 | 5996 235810 620377 | 115083 5296 50 | 91.768 % | 116.26/116.34 c | 11089 | 5996 235810 620377 | 126591 5802 50 | 91.768 % | 117.36/117.46 c | 11848 | 5996 235810 620377 | 139250 6561 55 | 91.768 % | 117.96/118.08 c | 12987 | 5996 235810 620377 | 153175 7700 57 | 91.768 % | 120.26/120.30 c | 14695 | 5996 235810 620377 | 168493 9408 61 | 91.768 % | 121.36/121.45 c | 17257 | 5996 235810 620377 | 185342 11970 60 | 91.768 % | 126.46/126.57 c | 21103 | 5996 235810 620377 | 203876 15816 66 | 91.768 % | 130.56/130.60 c | 26869 | 5996 235810 620377 | 224264 21582 68 | 91.768 % | 147.85/147.97 c | 35518 | 5996 235810 620377 | 246690 30231 84 | 91.768 % | 157.95/158.06 c | 48492 | 5996 235810 620377 | 271360 43205 84 | 91.768 % | 180.35/180.47 c There are 66846 assigned variables. 295 in cost function. 180.74/180.80 c core #1 180.74/180.80 c ============================[ Search Statistics ]============================== 180.74/180.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 180.74/180.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 180.74/180.80 c =============================================================================== 180.74/180.80 c | 0 | 5028 81777 45266 | 27259 0 nan | 0.000 % | 180.74/180.83 c | 100 | 5028 81777 45266 | 29984 100 39 | 93.098 % | 180.74/180.87 c | 250 | 5028 81777 45266 | 32983 250 45 | 93.098 % | 180.84/180.95 c | 475 | 5028 81777 45266 | 36281 475 52 | 93.098 % | 180.94/181.07 c | 812 | 5028 81777 45266 | 39909 812 65 | 93.098 % | 181.14/181.23 c | 1318 | 5028 81777 45266 | 43900 1318 64 | 93.098 % | 181.35/181.50 c | 2078 | 5028 81777 45266 | 48290 2078 69 | 93.098 % | 181.74/181.87 c | 3217 | 5028 81777 45266 | 53120 3217 65 | 93.098 % | 182.45/182.54 c | 4925 | 5028 81777 45266 | 58432 4925 73 | 93.098 % | 183.45/183.54 c | 7487 | 5028 81777 45266 | 64275 7487 71 | 93.098 % | 185.44/185.58 c | 11331 | 5028 81777 45266 | 70702 11331 89 | 93.098 % | 188.24/188.38 c | 17099 | 5028 81777 45266 | 77773 17099 83 | 93.098 % | 193.14/193.27 c | 25748 | 5028 81777 45266 | 85550 25748 88 | 93.098 % | 203.03/203.11 c | 38723 | 5028 81777 45266 | 94105 38723 87 | 93.098 % | 221.33/221.49 c | 58187 | 5028 81777 45266 | 103516 58187 91 | 93.098 % | 252.22/252.31 c | 87379 | 5028 81777 45266 | 113867 87379 91 | 93.098 % | 324.91/325.00 c | 131169 | 5028 81777 45266 | 125254 131169 98 | 93.098 % | 492.36/492.50 c | 196853 | 5028 81777 45266 | 137779 17814 63 | 93.098 % | 719.30/719.52 c | 295379 | 5028 81777 45266 | 151557 116340 146 | 93.098 % | 1064.80/1065.17 c | 443168 | 5028 81777 45266 | 166713 58744 58 | 93.098 % | 1686.64/1687.18 c | 664851 | 5028 81777 45266 | 183384 63433 147 | 93.098 % |
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-2687074-1278447026/watcher-2687074-1278447026 -o /tmp/evaluation-result-2687074-1278447026/solver-2687074-1278447026 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687074-1278447026.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.93 0.98 0.99 3/105 22062 /proc/meminfo: memFree=1762872/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=10852 CPUtime=0 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 377 0 0 0 0 0 0 0 20 0 1 0 12910978 11112448 295 1992294400 134512640 135751879 4288698032 18446744073709551615 134613782 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 2713 295 145 303 0 446 0 [startup+0.029449 s] /proc/loadavg: 0.93 0.98 0.99 3/105 22062 /proc/meminfo: memFree=1762872/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=11880 CPUtime=0.02 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 679 0 0 0 2 0 0 0 22 0 1 0 12910978 12165120 597 1992294400 134512640 135751879 4288698032 18446744073709551615 134637701 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 2970 598 180 303 0 703 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11880 [startup+0.101457 s] /proc/loadavg: 0.93 0.98 0.99 3/105 22062 /proc/meminfo: memFree=1762872/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=15944 CPUtime=0.09 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 1717 0 0 0 9 0 0 0 22 0 1 0 12910978 16326656 1635 1992294400 134512640 135751879 4288698032 18446744073709551615 134559811 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 3986 1637 296 303 0 1719 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15944 [startup+0.301479 s] /proc/loadavg: 0.93 0.98 0.99 3/105 22062 /proc/meminfo: memFree=1762872/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=20020 CPUtime=0.3 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 3003 0 0 0 29 1 0 0 22 0 1 0 12910978 20500480 2888 1992294400 134512640 135751879 4288698032 18446744073709551615 134564342 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 5005 2888 622 303 0 2738 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 20020 [startup+0.701526 s] /proc/loadavg: 0.93 0.98 0.99 3/105 22062 /proc/meminfo: memFree=1762872/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=27056 CPUtime=0.69 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 5375 0 0 0 68 1 0 0 24 0 1 0 12910978 27705344 5171 1992294400 134512640 135751879 4288698032 18446744073709551615 135010144 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 6764 5171 1292 303 0 4497 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27056 [startup+1.50162 s] /proc/loadavg: 0.93 0.98 0.99 2/106 22063 /proc/meminfo: memFree=1741908/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=37744 CPUtime=1.49 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 8522 0 0 0 146 3 0 0 25 0 1 0 12910978 38649856 8253 1992294400 134512640 135751879 4288698032 18446744073709551615 134559722 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 9436 8253 2071 303 0 7169 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 37744 [startup+3.1008 s] /proc/loadavg: 0.93 0.98 0.99 2/106 22063 /proc/meminfo: memFree=1712024/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=56980 CPUtime=3.09 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 15411 0 0 0 304 5 0 0 25 0 1 0 12910978 58347520 12955 1992294400 134512640 135751879 4288698032 18446744073709551615 134587104 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 14245 12955 146 303 0 13940 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 56980 [startup+6.30116 s] /proc/loadavg: 1.02 1.00 1.00 2/106 22063 /proc/meminfo: memFree=1705576/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=64108 CPUtime=6.29 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 17192 0 0 0 623 6 0 0 25 0 1 0 12910978 65646592 14736 1992294400 134512640 135751879 4288698032 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 16027 14736 146 303 0 15722 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 64108 [startup+12.7009 s] /proc/loadavg: 1.02 1.00 1.00 2/106 22063 /proc/meminfo: memFree=1695284/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=74140 CPUtime=12.69 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 19703 0 0 0 1262 7 0 0 25 0 1 0 12910978 75919360 17247 1992294400 134512640 135751879 4288698032 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 18535 17247 146 303 0 18230 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 74140 [startup+25.5013 s] /proc/loadavg: 1.01 1.00 1.00 2/106 22063 /proc/meminfo: memFree=1682140/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=86680 CPUtime=25.49 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 22827 0 0 0 2540 9 0 0 25 0 1 0 12910978 88760320 20371 1992294400 134512640 135751879 4288698032 18446744073709551615 134524028 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 21670 20371 146 303 0 21365 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 86680 [startup+51.1013 s] /proc/loadavg: 1.01 1.00 1.00 2/106 22064 /proc/meminfo: memFree=1665896/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=102520 CPUtime=51.08 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 26787 0 0 0 5098 10 0 0 25 0 1 0 12910978 104980480 24331 1992294400 134512640 135751879 4288698032 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 25630 24331 146 303 0 25325 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 102520 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/106 22065 /proc/meminfo: memFree=1651264/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=115940 CPUtime=102.27 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 31591 0 0 0 10210 17 0 0 18 0 1 0 12910978 118722560 27820 1992294400 134512640 135751879 4288698032 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 28985 27820 146 303 0 28680 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 115940 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 22067 /proc/meminfo: memFree=1651140/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=115940 CPUtime=162.24 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 31592 0 0 0 16186 38 0 0 25 0 1 0 12910978 118722560 27821 1992294400 134512640 135751879 4288698032 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 28985 27821 147 303 0 28680 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 115940 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 22069 /proc/meminfo: memFree=1660316/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=105524 CPUtime=222.23 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 32450 0 0 0 22161 62 0 0 25 0 1 0 12910978 108056576 25514 1992294400 134512640 135751879 4288698032 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 26381 25514 151 303 0 26076 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 105524 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 22070 /proc/meminfo: memFree=1660316/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=105524 CPUtime=282.22 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 32461 0 0 0 28142 80 0 0 25 0 1 0 12910978 108056576 25525 1992294400 134512640 135751879 4288698032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 26381 25525 151 303 0 26076 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 105524 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 22072 /proc/meminfo: memFree=1660192/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=105524 CPUtime=342.2 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 32461 0 0 0 34127 93 0 0 25 0 1 0 12910978 108056576 25525 1992294400 134512640 135751879 4288698032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 26381 25525 151 303 0 26076 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 105524 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 22073 /proc/meminfo: memFree=1660192/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=105524 CPUtime=402.19 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 32461 0 0 0 40111 108 0 0 25 0 1 0 12910978 108056576 25525 1992294400 134512640 135751879 4288698032 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 26381 25525 151 303 0 26076 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 105524 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 22075 /proc/meminfo: memFree=1659076/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=107372 CPUtime=462.16 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 32907 0 0 0 46096 120 0 0 25 0 1 0 12910978 109948928 25971 1992294400 134512640 135751879 4288698032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 26843 25971 151 303 0 26538 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 107372 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 22077 /proc/meminfo: memFree=1640600/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=126260 CPUtime=522.15 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 37637 0 0 0 52072 143 0 0 25 0 1 0 12910978 129290240 30701 1992294400 134512640 135751879 4288698032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 31565 30701 151 303 0 31260 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 126260 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 22081 /proc/meminfo: memFree=1619644/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=146256 CPUtime=582.14 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 42613 0 0 0 58050 164 0 0 25 0 1 0 12910978 149766144 35677 1992294400 134512640 135751879 4288698032 18446744073709551615 134611186 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 36564 35677 151 303 0 36259 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 146256 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 22083 /proc/meminfo: memFree=1602284/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=163472 CPUtime=642.13 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 46914 0 0 0 64033 180 0 0 25 0 1 0 12910978 167395328 39978 1992294400 134512640 135751879 4288698032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 40868 39978 151 303 0 40563 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 163472 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 22089 /proc/meminfo: memFree=1561364/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=204452 CPUtime=882.06 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 57147 0 0 0 87963 243 0 0 25 0 1 0 12910978 209358848 50211 1992294400 134512640 135751879 4288698032 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 51113 50211 151 303 0 50808 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 204452 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 22091 /proc/meminfo: memFree=1555040/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=210948 CPUtime=942.04 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 58760 0 0 0 93949 255 0 0 25 0 1 0 12910978 216010752 51824 1992294400 134512640 135751879 4288698032 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 52737 51824 151 303 0 52432 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 210948 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 22092 /proc/meminfo: memFree=1549460/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=216836 CPUtime=1002.02 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 60140 0 0 0 99936 266 0 0 25 0 1 0 12910978 222040064 53204 1992294400 134512640 135751879 4288698032 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 54209 53204 151 303 0 53904 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 216836 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 22094 /proc/meminfo: memFree=1536440/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=230072 CPUtime=1062.01 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 63425 0 0 0 105915 286 0 0 25 0 1 0 12910978 235593728 56489 1992294400 134512640 135751879 4288698032 18446744073709551615 134616347 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 57518 56489 151 303 0 57213 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 230072 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 22096 /proc/meminfo: memFree=1517592/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=248684 CPUtime=1121.99 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 68079 0 0 0 111891 308 0 0 25 0 1 0 12910978 254652416 61143 1992294400 134512640 135751879 4288698032 18446744073709551615 134604644 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 62171 61143 151 303 0 61866 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 248684 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 22097 /proc/meminfo: memFree=1502588/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=263744 CPUtime=1181.97 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 71862 0 0 0 117873 324 0 0 25 0 1 0 12910978 270073856 64926 1992294400 134512640 135751879 4288698032 18446744073709551615 134604779 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 65936 64926 151 303 0 65631 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 263744 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 22099 /proc/meminfo: memFree=1487832/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=278144 CPUtime=1241.96 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 75459 0 0 0 123856 340 0 0 25 0 1 0 12910978 284819456 68523 1992294400 134512640 135751879 4288698032 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 69536 68523 151 303 0 69231 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 278144 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 22100 /proc/meminfo: memFree=1474936/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=290824 CPUtime=1301.95 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 78623 0 0 0 129840 355 0 0 25 0 1 0 12910978 297803776 71687 1992294400 134512640 135751879 4288698032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 72706 71687 151 303 0 72401 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 290824 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 22102 /proc/meminfo: memFree=1464272/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=301528 CPUtime=1361.93 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 81296 0 0 0 135825 368 0 0 25 0 1 0 12910978 308764672 74360 1992294400 134512640 135751879 4288698032 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 75382 74360 151 303 0 75077 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 301528 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 22104 /proc/meminfo: memFree=1453732/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=312004 CPUtime=1421.92 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 83910 0 0 0 141812 380 0 0 25 0 1 0 12910978 319492096 76974 1992294400 134512640 135751879 4288698032 18446744073709551615 134607290 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 78001 76974 151 303 0 77696 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 312004 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 22105 /proc/meminfo: memFree=1441828/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=324040 CPUtime=1481.9 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 86922 0 0 0 147795 395 0 0 25 0 1 0 12910978 331816960 79986 1992294400 134512640 135751879 4288698032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 81010 79986 151 303 0 80705 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 324040 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 22107 /proc/meminfo: memFree=1430048/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=335692 CPUtime=1541.89 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 89816 0 0 0 153779 410 0 0 25 0 1 0 12910978 343748608 82880 1992294400 134512640 135751879 4288698032 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 83923 82880 151 303 0 83618 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 335692 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 22108 /proc/meminfo: memFree=1419260/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=346400 CPUtime=1601.87 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 92516 0 0 0 159763 424 0 0 25 0 1 0 12910978 354713600 85580 1992294400 134512640 135751879 4288698032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 86600 85580 151 303 0 86295 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 346400 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 22110 /proc/meminfo: memFree=1397560/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=368064 CPUtime=1661.85 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 97917 0 0 0 165742 443 0 0 25 0 1 0 12910978 376897536 90981 1992294400 134512640 135751879 4288698032 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 92016 90981 151 303 0 91711 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 368064 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 22112 /proc/meminfo: memFree=1380200/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=385224 CPUtime=1721.83 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 102238 0 0 0 171716 467 0 0 25 0 1 0 12910978 394469376 95302 1992294400 134512640 135751879 4288698032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 96306 95302 151 303 0 96001 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 385224 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 22113 /proc/meminfo: memFree=1370156/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=394996 CPUtime=1781.81 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 104681 0 0 0 177696 485 0 0 25 0 1 0 12910978 404475904 97745 1992294400 134512640 135751879 4288698032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 98749 97745 151 303 0 98444 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 394996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 22114 /proc/meminfo: memFree=1367924/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=397244 CPUtime=1800.02 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 105227 0 0 0 179511 491 0 0 25 0 1 0 12910978 406777856 98291 1992294400 134512640 135751879 4288698032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 99311 98291 151 303 0 99006 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 397244 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 22114 /proc/meminfo: memFree=1367924/2059040 swapFree=4164952/4192956 [pid=22062] ppid=22060 vsize=397244 CPUtime=1800.02 /proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 105227 0 0 0 179511 491 0 0 25 0 1 0 12910978 406777856 98291 1992294400 134512640 135751879 4288698032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22062/statm: 99311 98291 151 303 0 99006 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 397244 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.55 CPU time (s): 1800.07 CPU user time (s): 1795.12 CPU system time (s): 4.95225 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (KiB): 397244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.12 system time used= 4.95225 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 105227 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= 95 involuntary context switches= 3600 runsolver used 2.89856 second user time and 8.59969 second system time The end
Begin job on node088 at 2010-07-06 22:10:26 IDJOB=2687074 IDBENCH=77372 IDSOLVER=1161 FILE ID=node088/2687074-1278447026 PBS_JOBID= 11233513 Free space on /tmp= 62496 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12019_2.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-2687074-1278447026/watcher-2687074-1278447026 -o /tmp/evaluation-result-2687074-1278447026/solver-2687074-1278447026 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687074-1278447026.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9033b116fa6917a1af0ec218f9c6d61f RANDOM SEED=1174602343 node088.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.245 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.245 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 : 5999.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1763772 kB Buffers: 11372 kB Cached: 158852 kB SwapCached: 19140 kB Active: 60208 kB Inactive: 161036 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1763772 kB SwapTotal: 4192956 kB SwapFree: 4164952 kB Dirty: 10556 kB Writeback: 0 kB AnonPages: 31820 kB Mapped: 13600 kB Slab: 52248 kB PageTables: 4084 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179792 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-2687074-1278447026.opb Free space on /tmp at the end= 62492 MiB End job on node088 at 2010-07-06 22:40:29