Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.11 | 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 - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2687085-1278447360.opb. 0.00/0.00 c Instance file HOME/instance-2687085-1278447360.opb 0.00/0.00 c File size is 8036080 bytes. 1.59/1.69 c Highest Coefficient sum: 798 1.59/1.69 c ============================[ Problem Statistics ]============================= 1.59/1.69 c | | 1.59/1.69 c | Parsing time: 1.66 s | 1.59/1.69 c | Number Variables: 72842 | 1.59/1.69 c | Number Clauses: 233015 | 1.59/1.69 c | Number Cardinality: 0 | 1.59/1.69 c | Number PB Constraints: 1200 | 94.17/94.20 c ============================[ Search Statistics ]============================== 94.17/94.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.17/94.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.17/94.20 c =============================================================================== 94.17/94.21 c | 0 | 57336 235595 555877 | 78071 0 nan | 0.000 % | 94.17/94.27 c =============================================================================== 94.17/94.27 c New solution: 300 94.17/94.27 o 300 94.17/94.27 c Elapsed CPU time: 94.1077 s Remaining CPU time: 85.8923 s 94.17/94.27 c =============================================================================== 94.17/94.27 c | 0 | 57336 235596 556177 | 78532 0 nan | 0.000 % | 94.27/94.33 c =============================================================================== 94.27/94.33 c New solution: 299 94.27/94.33 o 299 94.27/94.33 c Elapsed CPU time: 94.1677 s Remaining CPU time: 85.8323 s 94.27/94.33 c =============================================================================== 94.27/94.33 c | 5 | 57215 235597 556477 | 78532 5 41 | 0.000 % | 94.27/94.39 c =============================================================================== 94.27/94.39 c New solution: 298 94.27/94.39 o 298 94.27/94.39 c Elapsed CPU time: 94.2267 s Remaining CPU time: 85.7733 s 94.27/94.39 c =============================================================================== 94.27/94.39 c | 11 | 57081 235598 556777 | 78532 11 32 | 0.000 % | 94.37/94.45 c =============================================================================== 94.37/94.45 c New solution: 297 94.37/94.45 o 297 94.37/94.45 c Elapsed CPU time: 94.2857 s Remaining CPU time: 85.7143 s 94.37/94.45 c =============================================================================== 94.37/94.45 c | 19 | 56941 235599 557077 | 78533 19 37 | 0.000 % | 94.47/94.50 c =============================================================================== 94.47/94.50 c New solution: 296 94.47/94.50 o 296 94.47/94.50 c Elapsed CPU time: 94.3367 s Remaining CPU time: 85.6633 s 94.47/94.50 c =============================================================================== 94.47/94.50 c | 21 | 56790 235600 557377 | 78533 21 35 | 0.000 % | 94.47/94.56 c =============================================================================== 94.47/94.56 c New solution: 295 94.47/94.56 o 295 94.47/94.56 c Elapsed CPU time: 94.3916 s Remaining CPU time: 85.6084 s 94.47/94.56 c =============================================================================== 94.47/94.56 c | 31 | 56626 235601 557677 | 78533 31 40 | 0.000 % | 94.58/94.61 c =============================================================================== 94.58/94.61 c New solution: 294 94.58/94.61 o 294 94.58/94.61 c Elapsed CPU time: 94.4426 s Remaining CPU time: 85.5574 s 94.58/94.61 c =============================================================================== 94.58/94.61 c | 37 | 56449 235602 557977 | 78534 37 41 | 0.000 % | 94.58/94.67 c =============================================================================== 94.58/94.67 c New solution: 293 94.58/94.67 o 293 94.58/94.67 c Elapsed CPU time: 94.4996 s Remaining CPU time: 85.5004 s 94.58/94.67 c =============================================================================== 94.58/94.67 c | 38 | 56259 235603 558277 | 78534 38 41 | 0.000 % | 94.67/94.73 c =============================================================================== 94.67/94.73 c New solution: 292 94.67/94.73 o 292 94.67/94.73 c Elapsed CPU time: 94.5576 s Remaining CPU time: 85.4424 s 94.67/94.73 c =============================================================================== 94.67/94.73 c | 38 | 56054 235604 558577 | 78534 38 41 | 0.000 % | 94.67/94.79 c =============================================================================== 94.67/94.79 c New solution: 291 94.67/94.79 o 291 94.67/94.79 c Elapsed CPU time: 94.6156 s Remaining CPU time: 85.3844 s 94.67/94.79 c =============================================================================== 94.67/94.79 c | 44 | 55837 235605 558877 | 78535 44 39 | 0.000 % | 94.77/94.85 c =============================================================================== 94.77/94.85 c New solution: 290 94.77/94.85 o 290 94.77/94.85 c Elapsed CPU time: 94.6776 s Remaining CPU time: 85.3224 s 94.77/94.85 c =============================================================================== 94.77/94.85 c | 44 | 55606 235606 559177 | 78535 12 34 | 0.000 % | 94.87/94.91 c =============================================================================== 94.87/94.91 c New solution: 289 94.87/94.91 o 289 94.87/94.91 c Elapsed CPU time: 94.7396 s Remaining CPU time: 85.2604 s 94.87/94.91 c =============================================================================== 94.87/94.91 c | 46 | 55364 235607 559477 | 78535 14 32 | 0.000 % | 94.87/94.98 c =============================================================================== 94.87/94.98 c New solution: 288 94.87/94.98 o 288 94.87/94.98 c Elapsed CPU time: 94.8056 s Remaining CPU time: 85.1944 s 94.87/94.98 c =============================================================================== 94.87/94.98 c | 47 | 55122 235608 559777 | 78536 15 31 | 0.000 % | 94.97/95.04 c =============================================================================== 94.97/95.04 c New solution: 287 94.97/95.04 o 287 94.97/95.04 c Elapsed CPU time: 94.8676 s Remaining CPU time: 85.1324 s 94.97/95.04 c =============================================================================== 94.97/95.04 c | 49 | 54880 235609 560077 | 78536 17 30 | 0.000 % | 94.97/95.09 c =============================================================================== 94.97/95.09 c New solution: 286 94.97/95.09 o 286 94.97/95.09 c Elapsed CPU time: 94.9166 s Remaining CPU time: 85.0834 s 94.97/95.09 c =============================================================================== 94.97/95.09 c | 54 | 54638 235610 560377 | 78536 22 32 | 0.000 % | 95.06/95.15 c =============================================================================== 95.06/95.15 c New solution: 285 95.06/95.15 o 285 95.06/95.15 c Elapsed CPU time: 94.9776 s Remaining CPU time: 85.0224 s 95.06/95.15 c =============================================================================== 95.06/95.15 c | 57 | 54396 235611 560677 | 78537 25 30 | 0.000 % | 95.16/95.22 c =============================================================================== 95.16/95.22 c New solution: 284 95.16/95.22 o 284 95.16/95.22 c Elapsed CPU time: 95.0376 s Remaining CPU time: 84.9624 s 95.16/95.22 c =============================================================================== 95.16/95.22 c | 59 | 54154 235612 560977 | 78537 27 29 | 0.000 % | 95.16/95.28 c =============================================================================== 95.16/95.28 c New solution: 283 95.16/95.28 o 283 95.16/95.28 c Elapsed CPU time: 95.0985 s Remaining CPU time: 84.9015 s 95.16/95.28 c =============================================================================== 95.16/95.28 c | 59 | 53912 235613 561277 | 78537 27 29 | 0.000 % | 95.26/95.34 c =============================================================================== 95.26/95.34 c New solution: 282 95.26/95.34 o 282 95.26/95.34 c Elapsed CPU time: 95.1585 s Remaining CPU time: 84.8415 s 95.26/95.34 c =============================================================================== 95.26/95.34 c | 61 | 53670 235614 561577 | 78538 29 29 | 0.000 % | 95.26/95.38 c =============================================================================== 95.26/95.38 c New solution: 281 95.26/95.38 o 281 95.26/95.38 c Elapsed CPU time: 95.2045 s Remaining CPU time: 84.7955 s 95.26/95.38 c =============================================================================== 95.26/95.38 c | 64 | 53428 235615 561877 | 78538 32 29 | 0.000 % | 95.37/95.45 c =============================================================================== 95.37/95.45 c New solution: 280 95.37/95.45 o 280 95.37/95.45 c Elapsed CPU time: 95.2655 s Remaining CPU time: 84.7345 s 95.37/95.45 c =============================================================================== 95.37/95.45 c | 66 | 53186 235616 562177 | 78538 21 33 | 0.000 % | 95.47/95.51 c =============================================================================== 95.47/95.51 c New solution: 279 95.47/95.51 o 279 95.47/95.51 c Elapsed CPU time: 95.3235 s Remaining CPU time: 84.6765 s 95.47/95.51 c =============================================================================== 95.47/95.51 c | 66 | 52944 235617 562477 | 78539 21 33 | 0.000 % | 95.47/95.57 c =============================================================================== 95.47/95.57 c New solution: 278 95.47/95.57 o 278 95.47/95.57 c Elapsed CPU time: 95.3845 s Remaining CPU time: 84.6155 s 95.47/95.57 c =============================================================================== 95.47/95.57 c | 67 | 52702 235618 562777 | 78539 22 33 | 0.000 % | 95.58/95.63 c =============================================================================== 95.58/95.63 c New solution: 277 95.58/95.63 o 277 95.58/95.63 c Elapsed CPU time: 95.4425 s Remaining CPU time: 84.5575 s 95.58/95.63 c =============================================================================== 95.58/95.63 c | 67 | 52460 235619 563077 | 78539 22 33 | 0.000 % | 95.58/95.68 c =============================================================================== 95.58/95.68 c New solution: 276 95.58/95.68 o 276 95.58/95.68 c Elapsed CPU time: 95.4995 s Remaining CPU time: 84.5005 s 95.58/95.68 c =============================================================================== 95.58/95.68 c | 68 | 52218 235620 563377 | 78540 23 33 | 0.000 % | 95.67/95.74 c =============================================================================== 95.67/95.74 c New solution: 275 95.67/95.74 o 275 95.67/95.74 c Elapsed CPU time: 95.5585 s Remaining CPU time: 84.4415 s 95.67/95.74 c =============================================================================== 95.67/95.74 c | 69 | 51976 235621 563677 | 78540 24 32 | 0.000 % | 95.77/95.80 c =============================================================================== 95.77/95.80 c New solution: 274 95.77/95.80 o 274 95.77/95.80 c Elapsed CPU time: 95.6165 s Remaining CPU time: 84.3835 s 95.77/95.80 c =============================================================================== 95.77/95.80 c | 69 | 51734 235622 563977 | 78540 24 32 | 0.000 % | 95.77/95.86 c =============================================================================== 95.77/95.86 c New solution: 273 95.77/95.86 o 273 95.77/95.86 c Elapsed CPU time: 95.6775 s Remaining CPU time: 84.3225 s 95.77/95.86 c =============================================================================== 95.77/95.86 c | 72 | 51492 235623 564277 | 78541 27 31 | 0.000 % | 95.86/95.92 c =============================================================================== 95.86/95.92 c New solution: 272 95.86/95.92 o 272 95.86/95.92 c Elapsed CPU time: 95.7354 s Remaining CPU time: 84.2646 s 95.86/95.92 c =============================================================================== 95.86/95.92 c | 72 | 51250 235624 564577 | 78541 27 31 | 0.000 % | 95.86/95.98 c =============================================================================== 95.86/95.98 c New solution: 271 95.86/95.98 o 271 95.86/95.98 c Elapsed CPU time: 95.7924 s Remaining CPU time: 84.2076 s 95.86/95.98 c =============================================================================== 95.86/95.98 c | 72 | 51008 235625 564877 | 78541 27 31 | 0.000 % | 95.96/96.04 c =============================================================================== 95.96/96.04 c New solution: 270 95.96/96.04 o 270 95.96/96.04 c Elapsed CPU time: 95.8494 s Remaining CPU time: 84.1506 s 95.96/96.04 c =============================================================================== 95.96/96.04 c | 72 | 50766 235626 565177 | 78542 27 31 | 0.000 % | 96.07/96.10 c =============================================================================== 96.07/96.10 c New solution: 269 96.07/96.10 o 269 96.07/96.10 c Elapsed CPU time: 95.9074 s Remaining CPU time: 84.0926 s 96.07/96.10 c =============================================================================== 96.07/96.10 c | 72 | 50524 235627 565477 | 78542 12 29 | 0.000 % | 96.07/96.15 c =============================================================================== 96.07/96.15 c New solution: 268 96.07/96.15 o 268 96.07/96.15 c Elapsed CPU time: 95.9644 s Remaining CPU time: 84.0356 s 96.07/96.15 c =============================================================================== 96.07/96.15 c | 72 | 50282 235628 565777 | 78542 12 29 | 0.000 % | 96.17/96.21 c =============================================================================== 96.17/96.21 c New solution: 267 96.17/96.21 o 267 96.17/96.21 c Elapsed CPU time: 96.0204 s Remaining CPU time: 83.9796 s 96.17/96.21 c =============================================================================== 96.17/96.21 c | 72 | 50040 235629 566077 | 78543 12 29 | 0.000 % | 96.17/96.27 c =============================================================================== 96.17/96.27 c New solution: 266 96.17/96.27 o 266 96.17/96.27 c Elapsed CPU time: 96.0774 s Remaining CPU time: 83.9226 s 96.17/96.27 c =============================================================================== 96.17/96.27 c | 72 | 49798 235630 566377 | 78543 12 29 | 0.000 % | 96.27/96.34 c =============================================================================== 96.27/96.34 c New solution: 265 96.27/96.34 o 265 96.27/96.34 c Elapsed CPU time: 96.1444 s Remaining CPU time: 83.8556 s 96.27/96.34 c =============================================================================== 96.27/96.34 c | 73 | 49556 235631 566677 | 78543 13 28 | 0.000 % | 96.37/96.40 c =============================================================================== 96.37/96.40 c New solution: 264 96.37/96.40 o 264 96.37/96.40 c Elapsed CPU time: 96.2054 s Remaining CPU time: 83.7946 s 96.37/96.40 c =============================================================================== 96.37/96.40 c | 74 | 49314 235632 566977 | 78544 14 29 | 0.000 % | 96.37/96.45 c =============================================================================== 96.37/96.45 c New solution: 263 96.37/96.45 o 263 96.37/96.45 c Elapsed CPU time: 96.2614 s Remaining CPU time: 83.7386 s 96.37/96.45 c =============================================================================== 96.37/96.45 c | 75 | 49072 235633 567277 | 78544 15 28 | 0.000 % | 96.47/96.51 c =============================================================================== 96.47/96.51 c New solution: 262 96.47/96.51 o 262 96.47/96.51 c Elapsed CPU time: 96.3164 s Remaining CPU time: 83.6836 s 96.47/96.51 c =============================================================================== 96.47/96.51 c | 76 | 48830 235634 567577 | 78544 16 27 | 0.000 % | 96.47/96.57 c =============================================================================== 96.47/96.57 c New solution: 261 96.47/96.57 o 261 96.47/96.57 c Elapsed CPU time: 96.3753 s Remaining CPU time: 83.6247 s 96.47/96.57 c =============================================================================== 96.47/96.57 c | 77 | 48588 235635 567877 | 78545 17 27 | 0.000 % | 96.57/96.63 c =============================================================================== 96.57/96.63 c New solution: 260 96.57/96.63 o 260 96.57/96.63 c Elapsed CPU time: 96.4323 s Remaining CPU time: 83.5677 s 96.57/96.63 c =============================================================================== 96.57/96.63 c | 79 | 48346 235636 568177 | 78545 19 27 | 0.000 % | 96.57/96.69 c =============================================================================== 96.57/96.69 c New solution: 259 96.57/96.69 o 259 96.57/96.69 c Elapsed CPU time: 96.4983 s Remaining CPU time: 83.5017 s 96.57/96.69 c =============================================================================== 96.57/96.69 c | 80 | 48104 235637 568477 | 78545 20 26 | 0.000 % | 96.67/96.75 c =============================================================================== 96.67/96.75 c New solution: 258 96.67/96.75 o 258 96.67/96.75 c Elapsed CPU time: 96.5563 s Remaining CPU time: 83.4437 s 96.67/96.75 c =============================================================================== 96.67/96.75 c | 80 | 47862 235638 568777 | 78546 13 28 | 0.000 % | 96.67/96.80 c =============================================================================== 96.67/96.80 c New solution: 257 96.67/96.80 o 257 96.67/96.80 c Elapsed CPU time: 96.6043 s Remaining CPU time: 83.3957 s 96.67/96.80 c =============================================================================== 96.67/96.80 c | 86 | 47620 235639 569077 | 78546 19 34 | 0.000 % | 96.77/96.86 c =============================================================================== 96.77/96.86 c New solution: 256 96.77/96.86 o 256 96.77/96.86 c Elapsed CPU time: 96.6603 s Remaining CPU time: 83.3397 s 96.77/96.86 c =============================================================================== 96.77/96.86 c | 87 | 47378 235640 569377 | 78546 20 33 | 0.000 % | 96.87/96.91 c =============================================================================== 96.87/96.91 c New solution: 255 96.87/96.91 o 255 96.87/96.91 c Elapsed CPU time: 96.7183 s Remaining CPU time: 83.2817 s 96.87/96.91 c =============================================================================== 96.87/96.91 c | 88 | 47136 235641 569677 | 78547 21 32 | 0.000 % | 96.87/96.97 c =============================================================================== 96.87/96.97 c New solution: 254 96.87/96.97 o 254 96.87/96.97 c Elapsed CPU time: 96.7723 s Remaining CPU time: 83.2277 s 96.87/96.97 c =============================================================================== 96.87/96.97 c | 89 | 46894 235642 569977 | 78547 22 31 | 0.000 % | 96.96/97.01 c =============================================================================== 96.96/97.01 c New solution: 253 96.96/97.01 o 253 96.96/97.01 c Elapsed CPU time: 96.8163 s Remaining CPU time: 83.1837 s 96.96/97.01 c =============================================================================== 96.96/97.01 c | 91 | 46652 235643 570277 | 78547 24 32 | 0.000 % | 96.96/97.07 c =============================================================================== 96.96/97.07 c New solution: 252 96.96/97.07 o 252 96.96/97.07 c Elapsed CPU time: 96.8693 s Remaining CPU time: 83.1307 s 96.96/97.07 c =============================================================================== 96.96/97.07 c | 91 | 46410 235644 570577 | 78548 24 32 | 0.000 % | 97.06/97.12 c =============================================================================== 97.06/97.12 c New solution: 251 97.06/97.12 o 251 97.06/97.12 c Elapsed CPU time: 96.9223 s Remaining CPU time: 83.0777 s 97.06/97.12 c =============================================================================== 97.06/97.12 c | 92 | 46168 235645 570877 | 78548 25 31 | 0.000 % | 97.06/97.17 c =============================================================================== 97.06/97.17 c New solution: 250 97.06/97.17 o 250 97.06/97.17 c Elapsed CPU time: 96.9753 s Remaining CPU time: 83.0247 s 97.06/97.17 c =============================================================================== 97.06/97.17 c | 92 | 45926 235646 571177 | 78548 25 31 | 0.000 % | 97.16/97.23 c =============================================================================== 97.16/97.23 c New solution: 249 97.16/97.23 o 249 97.16/97.23 c Elapsed CPU time: 97.0302 s Remaining CPU time: 82.9698 s 97.16/97.23 c =============================================================================== 97.16/97.23 c | 94 | 45684 235647 571477 | 78549 27 32 | 0.000 % | 97.16/97.29 c =============================================================================== 97.16/97.29 c New solution: 248 97.16/97.29 o 248 97.16/97.29 c Elapsed CPU time: 97.0842 s Remaining CPU time: 82.9158 s 97.16/97.29 c =============================================================================== 97.16/97.29 c | 95 | 45442 235648 571777 | 78549 28 32 | 0.000 % | 97.27/97.34 c =============================================================================== 97.27/97.34 c New solution: 247 97.27/97.34 o 247 97.27/97.34 c Elapsed CPU time: 97.1372 s Remaining CPU time: 82.8628 s 97.27/97.34 c =============================================================================== 97.27/97.34 c | 96 | 45200 235649 572077 | 78549 29 32 | 0.000 % | 97.37/97.40 c =============================================================================== 97.37/97.40 c New solution: 246 97.37/97.40 o 246 97.37/97.40 c Elapsed CPU time: 97.1952 s Remaining CPU time: 82.8048 s 97.37/97.40 c =============================================================================== 97.37/97.40 c | 97 | 44958 235650 572377 | 78550 12 34 | 0.000 % | 97.37/97.45 c =============================================================================== 97.37/97.45 c New solution: 245 97.37/97.45 o 245 97.37/97.45 c Elapsed CPU time: 97.2492 s Remaining CPU time: 82.7508 s 97.37/97.45 c =============================================================================== 97.37/97.45 c | 99 | 44716 235651 572677 | 78550 14 32 | 0.000 % | 97.47/97.51 c =============================================================================== 97.47/97.51 c New solution: 244 97.47/97.51 o 244 97.47/97.51 c Elapsed CPU time: 97.3042 s Remaining CPU time: 82.6958 s 97.47/97.51 c =============================================================================== 97.47/97.51 c | 101 | 44474 235652 572977 | 78550 16 30 | 0.000 % | 97.47/97.55 c =============================================================================== 97.47/97.55 c New solution: 243 97.47/97.55 o 243 97.47/97.55 c Elapsed CPU time: 97.3482 s Remaining CPU time: 82.6518 s 97.47/97.55 c =============================================================================== 97.47/97.55 c | 102 | 44232 235653 573277 | 78551 17 31 | 0.000 % | 97.57/97.60 c =============================================================================== 97.57/97.60 c New solution: 242 97.57/97.60 o 242 97.57/97.60 c Elapsed CPU time: 97.4002 s Remaining CPU time: 82.5998 s 97.57/97.60 c =============================================================================== 97.57/97.60 c | 128 | 43990 235654 573577 | 78551 43 43 | 0.000 % | 97.57/97.68 c =============================================================================== 97.57/97.68 c New solution: 241 97.57/97.68 o 241 97.57/97.68 c Elapsed CPU time: 97.4722 s Remaining CPU time: 82.5278 s 97.57/97.68 c =============================================================================== 97.57/97.68 c | 167 | 43748 235655 573877 | 78551 82 66 | 0.000 % | 97.67/97.73 c =============================================================================== 97.67/97.73 c New solution: 240 97.67/97.73 o 240 97.67/97.73 c Elapsed CPU time: 97.5252 s Remaining CPU time: 82.4748 s 97.67/97.73 c =============================================================================== 97.67/97.73 c | 167 | 43506 235656 574177 | 78552 82 66 | 0.000 % | 97.67/97.79 c =============================================================================== 97.67/97.79 c New solution: 239 97.67/97.79 o 239 97.67/97.79 c Elapsed CPU time: 97.5802 s Remaining CPU time: 82.4198 s 97.67/97.79 c =============================================================================== 97.67/97.79 c | 180 | 43264 235657 574477 | 78552 95 63 | 0.000 % | 97.77/97.84 c =============================================================================== 97.77/97.84 c New solution: 238 97.77/97.84 o 238 97.77/97.84 c Elapsed CPU time: 97.6312 s Remaining CPU time: 82.3688 s 97.77/97.84 c =============================================================================== 97.77/97.84 c | 204 | 43022 235658 574777 | 78552 119 62 | 0.000 % | 97.77/97.90 c =============================================================================== 97.77/97.90 c New solution: 237 97.77/97.90 o 237 97.77/97.90 c Elapsed CPU time: 97.6871 s Remaining CPU time: 82.3129 s 97.77/97.90 c =============================================================================== 97.77/97.90 c | 209 | 42780 235659 575077 | 78553 124 60 | 0.000 % | 97.87/97.95 c =============================================================================== 97.87/97.95 c New solution: 236 97.87/97.95 o 236 97.87/97.95 c Elapsed CPU time: 97.7411 s Remaining CPU time: 82.2589 s 97.87/97.95 c =============================================================================== 97.87/97.95 c | 211 | 42538 235660 575377 | 78553 126 60 | 0.000 % | 97.96/98.00 c =============================================================================== 97.96/98.00 c New solution: 235 97.96/98.00 o 235 97.96/98.00 c Elapsed CPU time: 97.7951 s Remaining CPU time: 82.2049 s 97.96/98.00 c =============================================================================== 97.96/98.00 c | 213 | 42296 235661 575677 | 78553 128 59 | 0.000 % | 97.96/98.06 c =============================================================================== 97.96/98.06 c New solution: 234 97.96/98.06 o 234 97.96/98.06 c Elapsed CPU time: 97.8481 s Remaining CPU time: 82.1519 s 97.96/98.06 c =============================================================================== 97.96/98.06 c | 216 | 42054 235662 575977 | 78554 62 48 | 0.000 % | 98.07/98.11 c =============================================================================== 98.07/98.11 c New solution: 233 98.07/98.11 o 233 98.07/98.11 c Elapsed CPU time: 97.8961 s Remaining CPU time: 82.1039 s 98.07/98.11 c =============================================================================== 98.07/98.11 c | 220 | 41812 235663 576277 | 78554 66 47 | 0.000 % | 98.07/98.16 c =============================================================================== 98.07/98.16 c New solution: 232 98.07/98.16 o 232 98.07/98.16 c Elapsed CPU time: 97.9471 s Remaining CPU time: 82.0529 s 98.07/98.16 c =============================================================================== 98.07/98.16 c | 221 | 41570 235664 576577 | 78554 67 47 | 0.000 % | 98.17/98.21 c =============================================================================== 98.17/98.21 c New solution: 231 98.17/98.21 o 231 98.17/98.21 c Elapsed CPU time: 97.9981 s Remaining CPU time: 82.0019 s 98.17/98.21 c =============================================================================== 98.17/98.21 c | 221 | 41328 235665 576877 | 78555 67 47 | 0.000 % | 98.17/98.25 c =============================================================================== 98.17/98.25 c New solution: 230 98.17/98.25 o 230 98.17/98.25 c Elapsed CPU time: 98.0411 s Remaining CPU time: 81.9589 s 98.17/98.25 c =============================================================================== 98.17/98.25 c | 228 | 41086 235666 577177 | 78555 74 46 | 0.000 % | 98.27/98.31 c =============================================================================== 98.27/98.31 c New solution: 229 98.27/98.31 o 229 98.27/98.31 c Elapsed CPU time: 98.0911 s Remaining CPU time: 81.9089 s 98.27/98.31 c =============================================================================== 98.27/98.31 c | 228 | 40844 235667 577477 | 78555 74 46 | 0.000 % | 98.27/98.36 c =============================================================================== 98.27/98.36 c New solution: 228 98.27/98.36 o 228 98.27/98.36 c Elapsed CPU time: 98.1411 s Remaining CPU time: 81.8589 s 98.27/98.36 c =============================================================================== 98.27/98.36 c | 228 | 40602 235668 577777 | 78556 74 46 | 0.000 % | 98.37/98.41 c =============================================================================== 98.37/98.41 c New solution: 227 98.37/98.41 o 227 98.37/98.41 c Elapsed CPU time: 98.1941 s Remaining CPU time: 81.8059 s 98.37/98.41 c =============================================================================== 98.37/98.41 c | 230 | 40360 235669 578077 | 78556 76 45 | 0.000 % | 98.37/98.46 c =============================================================================== 98.37/98.46 c New solution: 226 98.37/98.46 o 226 98.37/98.46 c Elapsed CPU time: 98.2431 s Remaining CPU time: 81.7569 s 98.37/98.46 c =============================================================================== 98.37/98.46 c | 230 | 40118 235670 578377 | 78556 76 45 | 0.000 % | 98.47/98.51 c =============================================================================== 98.47/98.51 c New solution: 225 98.47/98.51 o 225 98.47/98.51 c Elapsed CPU time: 98.2931 s Remaining CPU time: 81.7069 s 98.47/98.51 c =============================================================================== 98.47/98.51 c | 230 | 39876 235671 578677 | 78557 76 45 | 0.000 % | 98.47/98.56 c =============================================================================== 98.47/98.56 c New solution: 224 98.47/98.56 o 224 98.47/98.56 c Elapsed CPU time: 98.343 s Remaining CPU time: 81.657 s 98.47/98.56 c =============================================================================== 98.47/98.56 c | 230 | 39634 235672 578977 | 78557 76 45 | 0.000 % | 98.57/98.61 c =============================================================================== 98.57/98.61 c New solution: 223 98.57/98.61 o 223 98.57/98.61 c Elapsed CPU time: 98.393 s Remaining CPU time: 81.607 s 98.57/98.61 c =============================================================================== 98.57/98.61 c | 231 | 39392 235673 579277 | 78557 77 45 | 0.000 % | 98.57/98.66 c =============================================================================== 98.57/98.66 c New solution: 222 98.57/98.66 o 222 98.57/98.66 c Elapsed CPU time: 98.442 s Remaining CPU time: 81.558 s 98.57/98.66 c =============================================================================== 98.57/98.66 c | 232 | 39150 235674 579577 | 78558 78 45 | 0.000 % | 98.67/98.71 c =============================================================================== 98.67/98.71 c New solution: 221 98.67/98.71 o 221 98.67/98.71 c Elapsed CPU time: 98.491 s Remaining CPU time: 81.509 s 98.67/98.71 c =============================================================================== 98.67/98.71 c | 236 | 38908 235675 579877 | 78558 82 44 | 0.000 % | 98.67/98.76 c =============================================================================== 98.67/98.76 c New solution: 220 98.67/98.76 o 220 98.67/98.76 c Elapsed CPU time: 98.543 s Remaining CPU time: 81.457 s 98.67/98.76 c =============================================================================== 98.67/98.76 c | 236 | 38666 235676 580177 | 78558 15 30 | 0.000 % | 98.77/98.81 c =============================================================================== 98.77/98.81 c New solution: 219 98.77/98.81 o 219 98.77/98.81 c Elapsed CPU time: 98.588 s Remaining CPU time: 81.412 s 98.77/98.81 c =============================================================================== 98.77/98.81 c | 241 | 38424 235677 580477 | 78559 20 34 | 0.000 % | 98.77/98.88 c | 341 | 38400 235677 580477 | 86414 120 62 | 47.582 % | 98.88/98.92 c =============================================================================== 98.88/98.92 c New solution: 218 98.88/98.92 o 218 98.88/98.92 c Elapsed CPU time: 98.696 s Remaining CPU time: 81.304 s 98.88/98.92 c =============================================================================== 98.88/98.92 c | 342 | 38182 235678 580777 | 78559 121 62 | 47.582 % | 98.88/98.97 c =============================================================================== 98.88/98.97 c New solution: 217 98.88/98.97 o 217 98.88/98.97 c Elapsed CPU time: 98.745 s Remaining CPU time: 81.255 s 98.88/98.97 c =============================================================================== 98.88/98.97 c | 344 | 37940 235679 581077 | 78559 123 61 | 47.582 % | 98.98/99.02 c =============================================================================== 98.98/99.02 c New solution: 216 98.98/99.02 o 216 98.98/99.02 c Elapsed CPU time: 98.794 s Remaining CPU time: 81.206 s 98.98/99.02 c =============================================================================== 98.98/99.02 c | 344 | 37698 235680 581377 | 78560 123 61 | 47.582 % | 98.98/99.07 c =============================================================================== 98.98/99.07 c New solution: 215 98.98/99.07 o 215 98.98/99.07 c Elapsed CPU time: 98.841 s Remaining CPU time: 81.159 s 98.98/99.07 c =============================================================================== 98.98/99.07 c | 344 | 37456 235681 581677 | 78560 123 61 | 47.582 % | 99.06/99.11 c =============================================================================== 99.06/99.11 c New solution: 214 99.06/99.11 o 214 99.06/99.11 c Elapsed CPU time: 98.888 s Remaining CPU time: 81.112 s 99.06/99.11 c =============================================================================== 99.06/99.11 c | 347 | 37214 235682 581977 | 78560 126 61 | 47.582 % | 99.06/99.15 c =============================================================================== 99.06/99.15 c New solution: 213 99.06/99.15 o 213 99.06/99.15 c Elapsed CPU time: 98.928 s Remaining CPU time: 81.072 s 99.06/99.15 c =============================================================================== 99.06/99.15 c | 348 | 36972 235683 582277 | 78561 127 60 | 47.582 % | 99.06/99.19 c =============================================================================== 99.06/99.19 c New solution: 212 99.06/99.19 o 212 99.06/99.19 c Elapsed CPU time: 98.968 s Remaining CPU time: 81.032 s 99.06/99.19 c =============================================================================== 99.06/99.19 c | 348 | 36730 235684 582577 | 78561 127 60 | 47.582 % | 99.16/99.24 c =============================================================================== 99.16/99.24 c New solution: 211 99.16/99.24 o 211 99.16/99.24 c Elapsed CPU time: 99.0109 s Remaining CPU time: 80.9891 s 99.16/99.24 c =============================================================================== 99.16/99.24 c | 349 | 36488 235685 582877 | 78561 128 60 | 47.582 % | 99.16/99.28 c =============================================================================== 99.16/99.28 c New solution: 210 99.16/99.28 o 210 99.16/99.28 c Elapsed CPU time: 99.0539 s Remaining CPU time: 80.9461 s 99.16/99.28 c =============================================================================== 99.16/99.28 c | 351 | 36246 235686 583177 | 78562 130 60 | 47.582 % | 99.26/99.32 c =============================================================================== 99.26/99.32 c New solution: 209 99.26/99.32 o 209 99.26/99.32 c Elapsed CPU time: 99.0939 s Remaining CPU time: 80.9061 s 99.26/99.32 c =============================================================================== 99.26/99.32 c | 352 | 36004 235687 583477 | 78562 131 59 | 47.582 % | 99.26/99.37 c =============================================================================== 99.26/99.37 c New solution: 208 99.26/99.37 o 208 99.26/99.37 c Elapsed CPU time: 99.1419 s Remaining CPU time: 80.8581 s 99.26/99.37 c =============================================================================== 99.26/99.37 c | 356 | 35762 235688 583777 | 78562 135 59 | 47.582 % | 99.36/99.41 c =============================================================================== 99.36/99.41 c New solution: 207 99.36/99.41 o 207 99.36/99.41 c Elapsed CPU time: 99.1819 s Remaining CPU time: 80.8181 s 99.36/99.41 c =============================================================================== 99.36/99.41 c | 356 | 35520 235689 584077 | 78563 135 59 | 47.582 % | 99.36/99.46 c =============================================================================== 99.36/99.46 c New solution: 206 99.36/99.46 o 206 99.36/99.46 c Elapsed CPU time: 99.2249 s Remaining CPU time: 80.7751 s 99.36/99.46 c =============================================================================== 99.36/99.46 c | 359 | 35278 235690 584377 | 78563 21 36 | 47.582 % | 99.36/99.49 c =============================================================================== 99.36/99.49 c New solution: 205 99.36/99.49 o 205 99.36/99.49 c Elapsed CPU time: 99.2649 s Remaining CPU time: 80.7351 s 99.36/99.49 c =============================================================================== 99.36/99.49 c | 361 | 35036 235691 584677 | 78563 23 35 | 47.582 % | 99.46/99.53 c =============================================================================== 99.46/99.53 c New solution: 204 99.46/99.53 o 204 99.46/99.53 c Elapsed CPU time: 99.3029 s Remaining CPU time: 80.6971 s 99.46/99.53 c =============================================================================== 99.46/99.53 c | 363 | 34794 235692 584977 | 78564 25 34 | 47.582 % | 99.46/99.58 c =============================================================================== 99.46/99.58 c New solution: 203 99.46/99.58 o 203 99.46/99.58 c Elapsed CPU time: 99.3499 s Remaining CPU time: 80.6501 s 99.46/99.58 c =============================================================================== 99.46/99.58 c | 364 | 34552 235693 585277 | 78564 26 34 | 47.582 % | 99.57/99.63 c =============================================================================== 99.57/99.63 c New solution: 202 99.57/99.63 o 202 99.57/99.63 c Elapsed CPU time: 99.3949 s Remaining CPU time: 80.6051 s 99.57/99.63 c =============================================================================== 99.57/99.63 c | 364 | 34310 235694 585577 | 78564 26 34 | 47.582 % | 99.57/99.67 c =============================================================================== 99.57/99.67 c New solution: 201 99.57/99.67 o 201 99.57/99.67 c Elapsed CPU time: 99.4399 s Remaining CPU time: 80.5601 s 99.57/99.67 c =============================================================================== 99.57/99.67 c | 364 | 34068 235695 585877 | 78565 26 34 | 47.582 % | 99.67/99.71 c =============================================================================== 99.67/99.71 c New solution: 200 99.67/99.71 o 200 99.67/99.71 c Elapsed CPU time: 99.4809 s Remaining CPU time: 80.5191 s 99.67/99.71 c =============================================================================== 99.67/99.71 c | 369 | 33826 235696 586177 | 78565 31 33 | 47.582 % | 99.67/99.76 c =============================================================================== 99.67/99.76 c New solution: 199 99.67/99.76 o 199 99.67/99.76 c Elapsed CPU time: 99.5219 s Remaining CPU time: 80.4781 s 99.67/99.76 c =============================================================================== 99.67/99.76 c | 374 | 33584 235697 586477 | 78565 36 32 | 47.582 % | 99.77/99.80 c =============================================================================== 99.77/99.80 c New solution: 198 99.77/99.80 o 198 99.77/99.80 c Elapsed CPU time: 99.5669 s Remaining CPU time: 80.4331 s 99.77/99.80 c =============================================================================== 99.77/99.80 c | 374 | 33342 235698 586777 | 78566 36 32 | 47.582 % | 99.77/99.85 c =============================================================================== 99.77/99.85 c New solution: 197 99.77/99.85 o 197 99.77/99.85 c Elapsed CPU time: 99.6109 s Remaining CPU time: 80.3891 s 99.77/99.85 c =============================================================================== 99.77/99.85 c | 375 | 33100 235699 587077 | 78566 37 32 | 47.582 % | 99.77/99.89 c =============================================================================== 99.77/99.89 c New solution: 196 99.77/99.89 o 196 99.77/99.89 c Elapsed CPU time: 99.6548 s Remaining CPU time: 80.3452 s 99.77/99.89 c =============================================================================== 99.77/99.89 c | 375 | 32858 235700 587377 | 78566 37 32 | 47.582 % | 99.86/99.94 c =============================================================================== 99.86/99.94 c New solution: 195 99.86/99.94 o 195 99.86/99.94 c Elapsed CPU time: 99.6988 s Remaining CPU time: 80.3012 s 99.86/99.94 c =============================================================================== 99.86/99.94 c | 375 | 32616 235701 587677 | 78567 37 32 | 47.582 % | 99.86/99.98 c =============================================================================== 99.86/99.98 c New solution: 194 99.86/99.98 o 194 99.86/99.98 c Elapsed CPU time: 99.7418 s Remaining CPU time: 80.2582 s 99.86/99.98 c =============================================================================== 99.86/99.98 c | 375 | 32374 235702 587977 | 78567 37 32 | 47.582 % | 99.97/100.03 c =============================================================================== 99.97/100.03 c New solution: 193 99.97/100.03 o 193 99.97/100.03 c Elapsed CPU time: 99.7888 s Remaining CPU time: 80.2112 s 99.97/100.03 c =============================================================================== 99.97/100.03 c | 380 | 32132 235703 588277 | 78567 42 31 | 47.582 % | 99.97/100.07 c =============================================================================== 99.97/100.07 c New solution: 192 99.97/100.07 o 192 99.97/100.07 c Elapsed CPU time: 99.8328 s Remaining CPU time: 80.1672 s 99.97/100.07 c =============================================================================== 99.97/100.07 c | 380 | 31890 235704 588577 | 78568 42 31 | 47.582 % | 100.07/100.11 c =============================================================================== 100.07/100.11 c New solution: 191 100.07/100.11 o 191 100.07/100.11 c Elapsed CPU time: 99.8708 s Remaining CPU time: 80.1292 s 100.07/100.11 c =============================================================================== 100.07/100.11 c | 381 | 31648 235705 588877 | 78568 43 31 | 47.582 % | 100.07/100.15 c =============================================================================== 100.07/100.15 c New solution: 190 100.07/100.15 o 190 100.07/100.15 c Elapsed CPU time: 99.9158 s Remaining CPU time: 80.0842 s 100.07/100.15 c =============================================================================== 100.07/100.15 c | 382 | 31406 235706 589177 | 78568 44 30 | 47.582 % | 100.07/100.19 c =============================================================================== 100.07/100.19 c New solution: 189 100.07/100.19 o 189 100.07/100.19 c Elapsed CPU time: 99.9538 s Remaining CPU time: 80.0462 s 100.07/100.19 c =============================================================================== 100.07/100.19 c | 382 | 31164 235707 589477 | 78569 12 30 | 47.582 % | 100.16/100.24 c =============================================================================== 100.16/100.24 c New solution: 188 100.16/100.24 o 188 100.16/100.24 c Elapsed CPU time: 99.9998 s Remaining CPU time: 80.0002 s 100.16/100.24 c =============================================================================== 100.16/100.24 c | 386 | 30922 235708 589777 | 78569 16 27 | 47.582 % | 100.16/100.28 c =============================================================================== 100.16/100.28 c New solution: 187 100.16/100.28 o 187 100.16/100.28 c Elapsed CPU time: 100.04 s Remaining CPU time: 79.9602 s 100.16/100.28 c =============================================================================== 100.16/100.28 c | 388 | 30680 235709 590077 | 78569 18 27 | 47.582 % | 100.26/100.32 c =============================================================================== 100.26/100.32 c New solution: 186 100.26/100.32 o 186 100.26/100.32 c Elapsed CPU time: 100.076 s Remaining CPU time: 79.9242 s 100.26/100.32 c =============================================================================== 100.26/100.32 c | 388 | 30438 235710 590377 | 78570 18 27 | 47.582 % | 100.26/100.36 c =============================================================================== 100.26/100.36 c New solution: 185 100.26/100.36 o 185 100.26/100.36 c Elapsed CPU time: 100.123 s Remaining CPU time: 79.8772 s 100.26/100.36 c =============================================================================== 100.26/100.36 c | 391 | 30196 235711 590677 | 78570 21 29 | 47.582 % | 100.36/100.41 c =============================================================================== 100.36/100.41 c New solution: 184 100.36/100.41 o 184 100.36/100.41 c Elapsed CPU time: 100.168 s Remaining CPU time: 79.8322 s 100.36/100.41 c =============================================================================== 100.36/100.41 c | 392 | 29954 235712 590977 | 78570 22 28 | 47.582 % | 100.36/100.44 c =============================================================================== 100.36/100.44 c New solution: 183 100.36/100.44 o 183 100.36/100.44 c Elapsed CPU time: 100.205 s Remaining CPU time: 79.7952 s 100.36/100.44 c =============================================================================== 100.36/100.44 c | 393 | 29712 235713 591277 | 78571 23 28 | 47.582 % | 100.36/100.48 c =============================================================================== 100.36/100.48 c New solution: 182 100.36/100.48 o 182 100.36/100.48 c Elapsed CPU time: 100.243 s Remaining CPU time: 79.7572 s 100.36/100.48 c =============================================================================== 100.36/100.48 c | 398 | 29470 235714 591577 | 78571 28 28 | 47.582 % | 100.46/100.52 c =============================================================================== 100.46/100.52 c New solution: 181 100.46/100.52 o 181 100.46/100.52 c Elapsed CPU time: 100.282 s Remaining CPU time: 79.7182 s 100.46/100.52 c =============================================================================== 100.46/100.52 c | 403 | 29228 235715 591877 | 78571 33 28 | 47.582 % | 100.46/100.56 c =============================================================================== 100.46/100.56 c New solution: 180 100.46/100.56 o 180 100.46/100.56 c Elapsed CPU time: 100.319 s Remaining CPU time: 79.6813 s 100.46/100.56 c =============================================================================== 100.46/100.56 c | 404 | 28986 235716 592177 | 78572 34 28 | 47.582 % | 100.57/100.60 c =============================================================================== 100.57/100.60 c New solution: 179 100.57/100.60 o 179 100.57/100.60 c Elapsed CPU time: 100.361 s Remaining CPU time: 79.6393 s 100.57/100.60 c =============================================================================== 100.57/100.60 c | 407 | 28744 235717 592477 | 78572 37 28 | 47.582 % | 100.57/100.64 c =============================================================================== 100.57/100.64 c New solution: 178 100.57/100.64 o 178 100.57/100.64 c Elapsed CPU time: 100.396 s Remaining CPU time: 79.6043 s 100.57/100.64 c =============================================================================== 100.57/100.64 c | 407 | 28502 235718 592777 | 78572 37 28 | 47.582 % | 100.57/100.67 c =============================================================================== 100.57/100.67 c New solution: 177 100.57/100.67 o 177 100.57/100.67 c Elapsed CPU time: 100.433 s Remaining CPU time: 79.5673 s 100.57/100.67 c =============================================================================== 100.57/100.67 c | 410 | 28260 235719 593077 | 78573 40 29 | 47.582 % | 100.67/100.71 c =============================================================================== 100.67/100.71 c New solution: 176 100.67/100.71 o 176 100.67/100.71 c Elapsed CPU time: 100.47 s Remaining CPU time: 79.5303 s 100.67/100.71 c =============================================================================== 100.67/100.71 c | 410 | 28018 235720 593377 | 78573 40 29 | 47.582 % | 100.67/100.75 c =============================================================================== 100.67/100.75 c New solution: 175 100.67/100.75 o 175 100.67/100.75 c Elapsed CPU time: 100.513 s Remaining CPU time: 79.4873 s 100.67/100.75 c =============================================================================== 100.67/100.75 c | 412 | 27776 235721 593677 | 78573 42 28 | 47.582 % | 100.77/100.80 c =============================================================================== 100.77/100.80 c New solution: 174 100.77/100.80 o 174 100.77/100.80 c Elapsed CPU time: 100.559 s Remaining CPU time: 79.4413 s 100.77/100.80 c =============================================================================== 100.77/100.80 c | 457 | 27534 235722 593977 | 78574 87 37 | 47.582 % | 100.77/100.84 c =============================================================================== 100.77/100.84 c New solution: 173 100.77/100.84 o 173 100.77/100.84 c Elapsed CPU time: 100.597 s Remaining CPU time: 79.4033 s 100.77/100.84 c =============================================================================== 100.77/100.84 c | 462 | 27292 235723 594277 | 78574 92 37 | 47.582 % | 100.77/100.88 c =============================================================================== 100.77/100.88 c New solution: 172 100.77/100.88 o 172 100.77/100.88 c Elapsed CPU time: 100.64 s Remaining CPU time: 79.3603 s 100.77/100.88 c =============================================================================== 100.77/100.88 c | 471 | 27050 235724 594577 | 78574 101 38 | 47.582 % | 100.87/100.92 c =============================================================================== 100.87/100.92 c New solution: 171 100.87/100.92 o 171 100.87/100.92 c Elapsed CPU time: 100.675 s Remaining CPU time: 79.3253 s 100.87/100.92 c =============================================================================== 100.87/100.92 c | 471 | 26808 235725 594877 | 78575 101 38 | 47.582 % | 100.87/100.96 c =============================================================================== 100.87/100.96 c New solution: 170 100.87/100.96 o 170 100.87/100.96 c Elapsed CPU time: 100.711 s Remaining CPU time: 79.2893 s 100.87/100.96 c =============================================================================== 100.87/100.96 c | 474 | 26566 235726 595177 | 78575 53 42 | 47.582 % | 100.87/101.00 c =============================================================================== 100.87/101.00 c New solution: 169 100.87/101.00 o 169 100.87/101.00 c Elapsed CPU time: 100.746 s Remaining CPU time: 79.2543 s 100.87/101.00 c =============================================================================== 100.87/101.00 c | 476 | 26324 235727 595477 | 78575 55 41 | 47.582 % | 100.96/101.03 c =============================================================================== 100.96/101.03 c New solution: 168 100.96/101.03 o 168 100.96/101.03 c Elapsed CPU time: 100.784 s Remaining CPU time: 79.2163 s 100.96/101.03 c =============================================================================== 100.96/101.03 c | 482 | 26082 235728 595777 | 78576 61 39 | 47.582 % | 100.96/101.07 c =============================================================================== 100.96/101.07 c New solution: 167 100.96/101.07 o 167 100.96/101.07 c Elapsed CPU time: 100.819 s Remaining CPU time: 79.1813 s 100.96/101.07 c =============================================================================== 100.96/101.07 c | 484 | 25840 235729 596077 | 78576 63 39 | 47.582 % | 101.07/101.11 c =============================================================================== 101.07/101.11 c New solution: 166 101.07/101.11 o 166 101.07/101.11 c Elapsed CPU time: 100.86 s Remaining CPU time: 79.1403 s 101.07/101.11 c =============================================================================== 101.07/101.11 c | 484 | 25598 235730 596377 | 78576 63 39 | 47.582 % | 101.07/101.15 c =============================================================================== 101.07/101.15 c New solution: 165 101.07/101.15 o 165 101.07/101.15 c Elapsed CPU time: 100.902 s Remaining CPU time: 79.0983 s 101.07/101.15 c =============================================================================== 101.07/101.15 c | 485 | 25356 235731 596677 | 78577 64 39 | 47.582 % | 101.07/101.19 c =============================================================================== 101.07/101.19 c New solution: 164 101.07/101.19 o 164 101.07/101.19 c Elapsed CPU time: 100.942 s Remaining CPU time: 79.0583 s 101.07/101.19 c =============================================================================== 101.07/101.19 c | 485 | 25114 235732 596977 | 78577 64 39 | 47.582 % | 101.18/101.23 c =============================================================================== 101.18/101.23 c New solution: 163 101.18/101.23 o 163 101.18/101.23 c Elapsed CPU time: 100.984 s Remaining CPU time: 79.0164 s 101.18/101.23 c =============================================================================== 101.18/101.23 c | 486 | 24872 235733 597277 | 78577 65 38 | 47.582 % | 101.18/101.27 c =============================================================================== 101.18/101.27 c New solution: 162 101.18/101.27 o 162 101.18/101.27 c Elapsed CPU time: 101.023 s Remaining CPU time: 78.9774 s 101.18/101.27 c =============================================================================== 101.18/101.27 c | 486 | 24630 235734 597577 | 78578 65 38 | 47.582 % | 101.27/101.31 c =============================================================================== 101.27/101.31 c New solution: 161 101.27/101.31 o 161 101.27/101.31 c Elapsed CPU time: 101.061 s Remaining CPU time: 78.9394 s 101.27/101.31 c =============================================================================== 101.27/101.31 c | 488 | 24388 235735 597877 | 78578 67 38 | 47.582 % | 101.27/101.36 c =============================================================================== 101.27/101.36 c New solution: 160 101.27/101.36 o 160 101.27/101.36 c Elapsed CPU time: 101.101 s Remaining CPU time: 78.8994 s 101.27/101.36 c =============================================================================== 101.27/101.36 c | 489 | 24146 235736 598177 | 78578 68 38 | 47.582 % | 101.27/101.40 c =============================================================================== 101.27/101.40 c New solution: 159 101.27/101.40 o 159 101.27/101.40 c Elapsed CPU time: 101.141 s Remaining CPU time: 78.8594 s 101.27/101.40 c =============================================================================== 101.27/101.40 c | 490 | 23904 235737 598477 | 78579 69 38 | 47.582 % | 101.37/101.43 c =============================================================================== 101.37/101.43 c New solution: 158 101.37/101.43 o 158 101.37/101.43 c Elapsed CPU time: 101.176 s Remaining CPU time: 78.8244 s 101.37/101.43 c =============================================================================== 101.37/101.43 c | 492 | 23662 235738 598777 | 78579 71 37 | 47.582 % | 101.37/101.47 c =============================================================================== 101.37/101.47 c New solution: 157 101.37/101.47 o 157 101.37/101.47 c Elapsed CPU time: 101.216 s Remaining CPU time: 78.7844 s 101.37/101.47 c =============================================================================== 101.37/101.47 c | 493 | 23420 235739 599077 | 78579 72 37 | 47.582 % | 101.47/101.51 c =============================================================================== 101.47/101.51 c New solution: 156 101.47/101.51 o 156 101.47/101.51 c Elapsed CPU time: 101.255 s Remaining CPU time: 78.7454 s 101.47/101.51 c =============================================================================== 101.47/101.51 c | 494 | 23178 235740 599377 | 78580 73 38 | 47.582 % | 101.47/101.55 c =============================================================================== 101.47/101.55 c New solution: 155 101.47/101.55 o 155 101.47/101.55 c Elapsed CPU time: 101.293 s Remaining CPU time: 78.7074 s 101.47/101.55 c =============================================================================== 101.47/101.55 c | 494 | 22936 235741 599677 | 78580 73 38 | 47.582 % | 101.47/101.58 c =============================================================================== 101.47/101.58 c New solution: 154 101.47/101.58 o 154 101.47/101.58 c Elapsed CPU time: 101.328 s Remaining CPU time: 78.6724 s 101.47/101.58 c =============================================================================== 101.47/101.58 c | 498 | 22694 235742 599977 | 78580 77 38 | 47.582 % | 101.57/101.62 c =============================================================================== 101.57/101.62 c New solution: 153 101.57/101.62 o 153 101.57/101.62 c Elapsed CPU time: 101.367 s Remaining CPU time: 78.6334 s 101.57/101.62 c =============================================================================== 101.57/101.62 c | 500 | 22452 235743 600277 | 78581 79 38 | 47.582 % | 101.57/101.66 c =============================================================================== 101.57/101.66 c New solution: 152 101.57/101.66 o 152 101.57/101.66 c Elapsed CPU time: 101.405 s Remaining CPU time: 78.5954 s 101.57/101.66 c =============================================================================== 101.57/101.66 c | 501 | 22210 235744 600577 | 78581 80 38 | 47.582 % | 101.67/101.70 c =============================================================================== 101.67/101.70 c New solution: 151 101.67/101.70 o 151 101.67/101.70 c Elapsed CPU time: 101.443 s Remaining CPU time: 78.5574 s 101.67/101.70 c =============================================================================== 101.67/101.70 c | 501 | 21968 235745 600877 | 78581 80 38 | 47.582 % | 101.67/101.74 c =============================================================================== 101.67/101.74 c New solution: 150 101.67/101.74 o 150 101.67/101.74 c Elapsed CPU time: 101.481 s Remaining CPU time: 78.5194 s 101.67/101.74 c =============================================================================== 101.67/101.74 c | 503 | 21726 235746 601177 | 78582 82 37 | 47.582 % | 101.67/101.78 c =============================================================================== 101.67/101.78 c New solution: 149 101.67/101.78 o 149 101.67/101.78 c Elapsed CPU time: 101.519 s Remaining CPU time: 78.4814 s 101.67/101.78 c =============================================================================== 101.67/101.78 c | 503 | 21484 235747 601477 | 78582 82 37 | 47.582 % | 101.77/101.81 c =============================================================================== 101.77/101.81 c New solution: 148 101.77/101.81 o 148 101.77/101.81 c Elapsed CPU time: 101.554 s Remaining CPU time: 78.4464 s 101.77/101.81 c =============================================================================== 101.77/101.81 c | 508 | 21242 235748 601777 | 78582 87 37 | 47.582 % | 101.77/101.85 c =============================================================================== 101.77/101.85 c New solution: 147 101.77/101.85 o 147 101.77/101.85 c Elapsed CPU time: 101.591 s Remaining CPU time: 78.4094 s 101.77/101.85 c =============================================================================== 101.77/101.85 c | 510 | 21000 235749 602077 | 78583 89 37 | 47.582 % | 101.77/101.89 c =============================================================================== 101.77/101.89 c New solution: 146 101.77/101.89 o 146 101.77/101.89 c Elapsed CPU time: 101.63 s Remaining CPU time: 78.3705 s 101.77/101.89 c =============================================================================== 101.77/101.89 c | 513 | 20758 235750 602377 | 78583 92 36 | 47.582 % | 101.86/101.92 c =============================================================================== 101.86/101.92 c New solution: 145 101.86/101.92 o 145 101.86/101.92 c Elapsed CPU time: 101.667 s Remaining CPU time: 78.3335 s 101.86/101.93 c =============================================================================== 101.86/101.93 c | 513 | 20516 235751 602677 | 78583 19 33 | 47.582 % | 101.86/101.96 c =============================================================================== 101.86/101.96 c New solution: 144 101.86/101.96 o 144 101.86/101.96 c Elapsed CPU time: 101.703 s Remaining CPU time: 78.2975 s 101.86/101.96 c =============================================================================== 101.86/101.96 c | 513 | 20274 235752 602977 | 78584 19 33 | 47.582 % | 101.86/101.99 c =============================================================================== 101.86/101.99 c New solution: 143 101.86/101.99 o 143 101.86/101.99 c Elapsed CPU time: 101.735 s Remaining CPU time: 78.2655 s 101.86/101.99 c =============================================================================== 101.86/101.99 c | 516 | 20032 235753 603277 | 78584 22 31 | 47.582 % | 101.96/102.03 c =============================================================================== 101.96/102.03 c New solution: 142 101.96/102.03 o 142 101.96/102.03 c Elapsed CPU time: 101.77 s Remaining CPU time: 78.2305 s 101.96/102.03 c =============================================================================== 101.96/102.03 c | 516 | 19790 235754 603577 | 78584 22 31 | 47.582 % | 101.96/102.07 c =============================================================================== 101.96/102.07 c New solution: 141 101.96/102.07 o 141 101.96/102.07 c Elapsed CPU time: 101.808 s Remaining CPU time: 78.1925 s 101.96/102.07 c =============================================================================== 101.96/102.07 c | 517 | 19548 235755 603877 | 78585 23 31 | 47.582 % | 102.07/102.10 c =============================================================================== 102.07/102.10 c New solution: 140 102.07/102.10 o 140 102.07/102.10 c Elapsed CPU time: 101.842 s Remaining CPU time: 78.1585 s 102.07/102.10 c =============================================================================== 102.07/102.10 c | 520 | 19306 235756 604177 | 78585 26 31 | 47.582 % | 102.07/102.14 c =============================================================================== 102.07/102.14 c New solution: 139 102.07/102.14 o 139 102.07/102.14 c Elapsed CPU time: 101.876 s Remaining CPU time: 78.1245 s 102.07/102.14 c =============================================================================== 102.07/102.14 c | 525 | 19064 235757 604477 | 78585 31 32 | 47.582 % | 102.07/102.17 c =============================================================================== 102.07/102.17 c New solution: 138 102.07/102.17 o 138 102.07/102.17 c Elapsed CPU time: 101.913 s Remaining CPU time: 78.0875 s 102.07/102.17 c =============================================================================== 102.07/102.17 c | 526 | 18822 235758 604777 | 78586 32 32 | 47.582 % | 102.18/102.21 c =============================================================================== 102.18/102.21 c New solution: 137 102.18/102.21 o 137 102.18/102.21 c Elapsed CPU time: 101.948 s Remaining CPU time: 78.0525 s 102.18/102.21 c =============================================================================== 102.18/102.21 c | 528 | 18580 235759 605077 | 78586 34 33 | 47.582 % | 102.18/102.25 c =============================================================================== 102.18/102.25 c New solution: 136 102.18/102.25 o 136 102.18/102.25 c Elapsed CPU time: 101.985 s Remaining CPU time: 78.0145 s 102.18/102.25 c =============================================================================== 102.18/102.25 c | 531 | 18338 235760 605377 | 78586 37 33 | 47.582 % | 102.18/102.28 c =============================================================================== 102.18/102.28 c New solution: 135 102.18/102.28 o 135 102.18/102.28 c Elapsed CPU time: 102.016 s Remaining CPU time: 77.9835 s 102.18/102.28 c =============================================================================== 102.18/102.28 c | 531 | 18096 235761 605677 | 78587 37 33 | 47.582 % | 102.28/102.31 c =============================================================================== 102.28/102.31 c New solution: 134 102.28/102.31 o 134 102.28/102.31 c Elapsed CPU time: 102.049 s Remaining CPU time: 77.9505 s 102.28/102.31 c =============================================================================== 102.28/102.31 c | 532 | 17854 235762 605977 | 78587 38 32 | 47.582 % | 102.28/102.34 c =============================================================================== 102.28/102.34 c New solution: 133 102.28/102.34 o 133 102.28/102.34 c Elapsed CPU time: 102.078 s Remaining CPU time: 77.9215 s 102.28/102.34 c =============================================================================== 102.28/102.34 c | 532 | 17612 235763 606277 | 78587 38 32 | 47.582 % | 102.28/102.37 c =============================================================================== 102.28/102.37 c New solution: 132 102.28/102.37 o 132 102.28/102.37 c Elapsed CPU time: 102.108 s Remaining CPU time: 77.8915 s 102.28/102.37 c =============================================================================== 102.28/102.37 c | 532 | 17370 235764 606577 | 78588 38 32 | 47.582 % | 102.37/102.40 c =============================================================================== 102.37/102.40 c New solution: 131 102.37/102.40 o 131 102.37/102.40 c Elapsed CPU time: 102.138 s Remaining CPU time: 77.8615 s 102.37/102.40 c =============================================================================== 102.37/102.40 c | 532 | 17128 235765 606877 | 78588 38 32 | 47.582 % | 102.37/102.44 c =============================================================================== 102.37/102.44 c New solution: 130 102.37/102.44 o 130 102.37/102.44 c Elapsed CPU time: 102.17 s Remaining CPU time: 77.8295 s 102.37/102.44 c =============================================================================== 102.37/102.44 c | 536 | 16886 235766 607177 | 78588 42 35 | 47.582 % | 102.37/102.47 c =============================================================================== 102.37/102.47 c New solution: 129 102.37/102.47 o 129 102.37/102.47 c Elapsed CPU time: 102.199 s Remaining CPU time: 77.8005 s 102.37/102.47 c =============================================================================== 102.37/102.47 c | 536 | 16644 235767 607477 | 78589 42 35 | 47.582 % | 102.46/102.50 c =============================================================================== 102.46/102.50 c New solution: 128 102.46/102.50 o 128 102.46/102.50 c Elapsed CPU time: 102.228 s Remaining CPU time: 77.7715 s 102.46/102.50 c =============================================================================== 102.46/102.50 c | 538 | 16402 235768 607777 | 78589 44 35 | 47.582 % | 102.46/102.53 c =============================================================================== 102.46/102.53 c New solution: 127 102.46/102.53 o 127 102.46/102.53 c Elapsed CPU time: 102.256 s Remaining CPU time: 77.7435 s 102.46/102.53 c =============================================================================== 102.46/102.53 c | 538 | 16160 235769 608077 | 78589 44 35 | 47.582 % | 102.46/102.56 c =============================================================================== 102.46/102.56 c New solution: 126 102.46/102.56 o 126 102.46/102.56 c Elapsed CPU time: 102.285 s Remaining CPU time: 77.7146 s 102.46/102.56 c =============================================================================== 102.46/102.56 c | 538 | 15918 235770 608377 | 78590 44 35 | 47.582 % | 102.46/102.59 c =============================================================================== 102.46/102.59 c New solution: 125 102.46/102.59 o 125 102.46/102.59 c Elapsed CPU time: 102.315 s Remaining CPU time: 77.6846 s 102.46/102.59 c =============================================================================== 102.46/102.59 c | 539 | 15676 235771 608677 | 78590 45 34 | 47.582 % | 102.57/102.62 c =============================================================================== 102.57/102.62 c New solution: 124 102.57/102.62 o 124 102.57/102.62 c Elapsed CPU time: 102.348 s Remaining CPU time: 77.6516 s 102.57/102.62 c =============================================================================== 102.57/102.62 c | 542 | 15434 235772 608977 | 78590 48 33 | 47.582 % | 102.57/102.65 c =============================================================================== 102.57/102.65 c New solution: 123 102.57/102.65 o 123 102.57/102.65 c Elapsed CPU time: 102.377 s Remaining CPU time: 77.6226 s 102.57/102.65 c =============================================================================== 102.57/102.65 c | 542 | 15192 235773 609277 | 78591 48 33 | 47.582 % | 102.57/102.68 c =============================================================================== 102.57/102.68 c New solution: 122 102.57/102.68 o 122 102.57/102.68 c Elapsed CPU time: 102.406 s Remaining CPU time: 77.5936 s 102.57/102.68 c =============================================================================== 102.57/102.68 c | 542 | 14950 235774 609577 | 78591 48 33 | 47.582 % | 102.67/102.71 c =============================================================================== 102.67/102.71 c New solution: 121 102.67/102.71 o 121 102.67/102.71 c Elapsed CPU time: 102.434 s Remaining CPU time: 77.5656 s 102.67/102.71 c =============================================================================== 102.67/102.71 c | 542 | 14708 235775 609877 | 78591 48 33 | 47.582 % | 102.67/102.74 c =============================================================================== 102.67/102.74 c New solution: 120 102.67/102.74 o 120 102.67/102.74 c Elapsed CPU time: 102.462 s Remaining CPU time: 77.5376 s 102.67/102.74 c =============================================================================== 102.67/102.74 c | 542 | 14466 235776 610177 | 78592 48 33 | 47.582 % | 102.67/102.77 c =============================================================================== 102.67/102.77 c New solution: 119 102.67/102.77 o 119 102.67/102.77 c Elapsed CPU time: 102.492 s Remaining CPU time: 77.5076 s 102.67/102.77 c =============================================================================== 102.67/102.77 c | 544 | 14224 235777 610477 | 78592 50 33 | 47.582 % | 102.77/102.80 c =============================================================================== 102.77/102.80 c New solution: 118 102.77/102.80 o 118 102.77/102.80 c Elapsed CPU time: 102.524 s Remaining CPU time: 77.4756 s 102.77/102.80 c =============================================================================== 102.77/102.80 c | 544 | 13982 235778 610777 | 78592 50 33 | 47.582 % | 102.77/102.83 c =============================================================================== 102.77/102.83 c New solution: 117 102.77/102.83 o 117 102.77/102.83 c Elapsed CPU time: 102.555 s Remaining CPU time: 77.4446 s 102.77/102.83 c =============================================================================== 102.77/102.83 c | 546 | 13740 235779 611077 | 78593 52 33 | 47.582 % | 102.77/102.86 c =============================================================================== 102.77/102.86 c New solution: 116 102.77/102.86 o 116 102.77/102.86 c Elapsed CPU time: 102.587 s Remaining CPU time: 77.4126 s 102.77/102.86 c =============================================================================== 102.77/102.86 c | 547 | 13498 235780 611377 | 78593 53 32 | 47.582 % | 102.77/102.90 c =============================================================================== 102.77/102.90 c New solution: 115 102.77/102.90 o 115 102.77/102.90 c Elapsed CPU time: 102.619 s Remaining CPU time: 77.3806 s 102.77/102.90 c =============================================================================== 102.77/102.90 c | 548 | 13256 235781 611677 | 78593 54 33 | 47.582 % | 102.87/102.92 c =============================================================================== 102.87/102.92 c New solution: 114 102.87/102.92 o 114 102.87/102.92 c Elapsed CPU time: 102.648 s Remaining CPU time: 77.3516 s 102.87/102.92 c =============================================================================== 102.87/102.92 c | 550 | 13014 235782 611977 | 78594 56 32 | 47.582 % | 102.87/102.95 c =============================================================================== 102.87/102.95 c New solution: 113 102.87/102.95 o 113 102.87/102.95 c Elapsed CPU time: 102.679 s Remaining CPU time: 77.3206 s 102.87/102.95 c =============================================================================== 102.87/102.95 c | 552 | 12772 235783 612277 | 78594 58 32 | 47.582 % | 102.87/102.98 c =============================================================================== 102.87/102.98 c New solution: 112 102.87/102.98 o 112 102.87/102.98 c Elapsed CPU time: 102.707 s Remaining CPU time: 77.2926 s 102.87/102.98 c =============================================================================== 102.87/102.98 c | 555 | 12530 235784 612577 | 78594 61 31 | 47.582 % | 102.96/103.01 c =============================================================================== 102.96/103.01 c New solution: 111 102.96/103.01 o 111 102.96/103.01 c Elapsed CPU time: 102.734 s Remaining CPU time: 77.2656 s 102.96/103.01 c =============================================================================== 102.96/103.01 c | 555 | 12288 235785 612877 | 78595 61 31 | 47.582 % | 102.96/103.04 c =============================================================================== 102.96/103.04 c New solution: 110 102.96/103.04 o 110 102.96/103.04 c Elapsed CPU time: 102.761 s Remaining CPU time: 77.2386 s 102.96/103.04 c =============================================================================== 102.96/103.04 c | 555 | 12046 235786 613177 | 78595 61 31 | 47.582 % | 102.96/103.07 c =============================================================================== 102.96/103.07 c New solution: 109 102.96/103.07 o 109 102.96/103.07 c Elapsed CPU time: 102.789 s Remaining CPU time: 77.2106 s 102.96/103.07 c =============================================================================== 102.96/103.07 c | 556 | 11804 235787 613477 | 78595 12 28 | 47.582 % | 103.06/103.10 c =============================================================================== 103.06/103.10 c New solution: 108 103.06/103.10 o 108 103.06/103.10 c Elapsed CPU time: 102.819 s Remaining CPU time: 77.1806 s 103.06/103.10 c =============================================================================== 103.06/103.10 c | 557 | 11562 235788 613777 | 78596 13 27 | 47.582 % | 103.06/103.14 c =============================================================================== 103.06/103.14 c New solution: 107 103.06/103.14 o 107 103.06/103.14 c Elapsed CPU time: 102.862 s Remaining CPU time: 77.1376 s 103.06/103.14 c =============================================================================== 103.06/103.14 c | 579 | 11320 235789 614077 | 78596 35 57 | 47.582 % | 103.06/103.17 c =============================================================================== 103.06/103.17 c New solution: 106 103.06/103.17 o 106 103.06/103.17 c Elapsed CPU time: 102.888 s Remaining CPU time: 77.1116 s 103.06/103.17 c =============================================================================== 103.06/103.17 c | 579 | 11078 235790 614377 | 78596 35 57 | 47.582 % | 103.06/103.19 c =============================================================================== 103.06/103.19 c New solution: 105 103.06/103.19 o 105 103.06/103.19 c Elapsed CPU time: 102.912 s Remaining CPU time: 77.0876 s 103.06/103.19 c =============================================================================== 103.06/103.19 c | 579 | 10836 235791 614677 | 78597 35 57 | 47.582 % | 103.17/103.22 c =============================================================================== 103.17/103.22 c New solution: 104 103.17/103.22 o 104 103.17/103.22 c Elapsed CPU time: 102.942 s Remaining CPU time: 77.0576 s 103.17/103.22 c =============================================================================== 103.17/103.22 c | 581 | 10594 235792 614977 | 78597 37 55 | 47.582 % | 103.17/103.25 c =============================================================================== 103.17/103.25 c New solution: 103 103.17/103.25 o 103 103.17/103.25 c Elapsed CPU time: 102.969 s Remaining CPU time: 77.0307 s 103.17/103.25 c =============================================================================== 103.17/103.25 c | 586 | 10352 235793 615277 | 78597 42 52 | 47.582 % | 103.17/103.28 c =============================================================================== 103.17/103.28 c New solution: 102 103.17/103.28 o 102 103.17/103.28 c Elapsed CPU time: 102.998 s Remaining CPU time: 77.0017 s 103.17/103.28 c =============================================================================== 103.17/103.28 c | 595 | 10110 235794 615577 | 78598 51 49 | 47.582 % | 103.28/103.32 c =============================================================================== 103.28/103.32 c New solution: 101 103.28/103.32 o 101 103.28/103.32 c Elapsed CPU time: 103.039 s Remaining CPU time: 76.9607 s 103.28/103.32 c =============================================================================== 103.28/103.32 c | 629 | 9868 235795 615877 | 78598 85 49 | 47.582 % | 103.28/103.35 c =============================================================================== 103.28/103.35 c New solution: 100 103.28/103.35 o 100 103.28/103.35 c Elapsed CPU time: 103.069 s Remaining CPU time: 76.9307 s 103.28/103.35 c =============================================================================== 103.28/103.35 c | 633 | 9626 235796 616177 | 78598 89 49 | 47.582 % | 103.28/103.38 c =============================================================================== 103.28/103.38 c New solution: 99 103.28/103.38 o 99 103.28/103.38 c Elapsed CPU time: 103.101 s Remaining CPU time: 76.8987 s 103.28/103.38 c =============================================================================== 103.28/103.38 c | 637 | 9384 235797 616477 | 78599 93 48 | 47.582 % | 103.38/103.41 c =============================================================================== 103.38/103.41 c New solution: 98 103.38/103.41 o 98 103.38/103.41 c Elapsed CPU time: 103.127 s Remaining CPU time: 76.8727 s 103.38/103.41 c =============================================================================== 103.38/103.41 c | 638 | 9142 235798 616777 | 78599 94 48 | 47.582 % | 103.38/103.44 c =============================================================================== 103.38/103.44 c New solution: 97 103.38/103.44 o 97 103.38/103.44 c Elapsed CPU time: 103.152 s Remaining CPU time: 76.8477 s 103.38/103.44 c =============================================================================== 103.38/103.44 c | 639 | 8900 235799 617077 | 78599 95 48 | 47.582 % | 103.38/103.47 c =============================================================================== 103.38/103.47 c New solution: 96 103.38/103.47 o 96 103.38/103.47 c Elapsed CPU time: 103.179 s Remaining CPU time: 76.8207 s 103.38/103.47 c =============================================================================== 103.38/103.47 c | 640 | 8658 235800 617377 | 78600 96 47 | 47.582 % | 103.38/103.49 c =============================================================================== 103.38/103.49 c New solution: 95 103.38/103.49 o 95 103.38/103.49 c Elapsed CPU time: 103.206 s Remaining CPU time: 76.7937 s 103.38/103.49 c =============================================================================== 103.38/103.49 c | 645 | 8416 235801 617677 | 78600 101 46 | 47.582 % | 103.47/103.52 c =============================================================================== 103.47/103.52 c New solution: 94 103.47/103.52 o 94 103.47/103.52 c Elapsed CPU time: 103.233 s Remaining CPU time: 76.7667 s 103.47/103.52 c =============================================================================== 103.47/103.52 c | 649 | 8174 235802 617977 | 78600 105 46 | 47.582 % | 103.47/103.55 c =============================================================================== 103.47/103.55 c New solution: 93 103.47/103.55 o 93 103.47/103.55 c Elapsed CPU time: 103.261 s Remaining CPU time: 76.7387 s 103.47/103.55 c =============================================================================== 103.47/103.55 c | 660 | 7932 235803 618277 | 78601 116 44 | 47.582 % | 103.56/103.66 c | 760 | 7927 235803 618277 | 86461 216 65 | 89.443 % | 103.56/103.69 c =============================================================================== 103.56/103.69 c New solution: 92 103.56/103.69 o 92 103.56/103.69 c Elapsed CPU time: 103.403 s Remaining CPU time: 76.5967 s 103.56/103.69 c =============================================================================== 103.56/103.69 c | 770 | 7690 235804 618577 | 78601 226 64 | 89.443 % | 103.66/103.77 c | 870 | 7682 235804 618577 | 86461 326 70 | 89.775 % | 103.66/103.80 c =============================================================================== 103.66/103.80 c New solution: 91 103.66/103.80 o 91 103.66/103.80 c Elapsed CPU time: 103.508 s Remaining CPU time: 76.4917 s 103.66/103.80 c =============================================================================== 103.66/103.80 c | 873 | 7448 235805 618877 | 78601 329 70 | 89.775 % | 103.76/103.84 c =============================================================================== 103.76/103.84 c New solution: 90 103.76/103.84 o 90 103.76/103.84 c Elapsed CPU time: 103.551 s Remaining CPU time: 76.4487 s 103.76/103.84 c =============================================================================== 103.76/103.84 c | 889 | 7206 235806 619177 | 78602 345 71 | 89.775 % | 103.76/103.87 c =============================================================================== 103.76/103.87 c New solution: 89 103.76/103.87 o 89 103.76/103.87 c Elapsed CPU time: 103.584 s Remaining CPU time: 76.4157 s 103.76/103.87 c =============================================================================== 103.76/103.87 c | 903 | 6964 235807 619477 | 78602 359 69 | 89.775 % | 103.86/103.91 c =============================================================================== 103.86/103.91 c New solution: 88 103.86/103.91 o 88 103.86/103.91 c Elapsed CPU time: 103.62 s Remaining CPU time: 76.3798 s 103.86/103.91 c =============================================================================== 103.86/103.91 c | 920 | 6722 235808 619777 | 78602 376 69 | 89.775 % | 103.86/103.96 c | 1020 | 6716 235808 619777 | 86462 476 69 | 91.104 % | 103.96/104.10 c | 1172 | 6708 235808 619777 | 95109 628 70 | 91.104 % | 104.06/104.18 c | 1397 | 6693 235808 619777 | 104620 853 63 | 91.104 % | 104.47/104.56 c | 1734 | 6689 235808 619777 | 115082 1190 64 | 91.104 % | 104.77/104.84 c =============================================================================== 104.77/104.84 c New solution: 87 104.77/104.84 o 87 104.77/104.84 c Elapsed CPU time: 104.55 s Remaining CPU time: 75.4499 s 104.77/104.84 c =============================================================================== 104.77/104.84 c | 2018 | 6480 235809 620077 | 78603 1171 66 | 91.104 % | 104.87/104.94 c | 2118 | 6464 235809 620077 | 86463 1271 66 | 91.436 % | 104.97/105.02 c | 2269 | 6450 235809 620077 | 95109 1422 65 | 91.436 % | 105.27/105.36 c | 2495 | 6443 235809 620077 | 104620 1648 68 | 91.436 % | 105.47/105.50 c | 2832 | 6425 235809 620077 | 115082 1985 66 | 91.436 % | 105.97/106.07 c | 3338 | 6423 235809 620077 | 126590 2491 66 | 91.436 % | 106.26/106.38 c | 4097 | 6416 235809 620077 | 139250 3250 61 | 91.436 % | 107.67/107.78 c | 5238 | 6238 235809 620077 | 153175 3994 60 | 91.436 % | 108.37/108.40 c | 6947 | 6238 235809 620077 | 168492 5703 58 | 91.436 % | 111.96/112.04 c | 9509 | 6238 235809 620077 | 185341 8265 65 | 91.436 % | 112.17/112.27 c =============================================================================== 112.17/112.27 c New solution: 86 112.17/112.27 o 86 112.17/112.27 c Elapsed CPU time: 111.956 s Remaining CPU time: 68.044 s 112.17/112.27 c =============================================================================== 112.17/112.27 c | 9766 | 6238 235810 620377 | 78603 8522 65 | 91.436 % | 112.26/112.38 c | 9867 | 5996 235810 620377 | 86463 4580 48 | 91.768 % | 112.46/112.59 c | 10019 | 5996 235810 620377 | 95110 4732 49 | 91.768 % | 112.56/112.68 c | 10245 | 5996 235810 620377 | 104621 4958 49 | 91.768 % | 113.06/113.13 c | 10583 | 5996 235810 620377 | 115083 5296 50 | 91.768 % | 113.27/113.37 c | 11089 | 5996 235810 620377 | 126591 5802 50 | 91.768 % | 114.46/114.56 c | 11848 | 5996 235810 620377 | 139250 6561 55 | 91.768 % | 115.16/115.22 c | 12987 | 5996 235810 620377 | 153175 7700 57 | 91.768 % | 117.57/117.61 c | 14695 | 5996 235810 620377 | 168493 9408 61 | 91.768 % | 118.77/118.83 c | 17257 | 5996 235810 620377 | 185342 11970 60 | 91.768 % | 124.27/124.32 c | 21103 | 5996 235810 620377 | 203876 15816 66 | 91.768 % | 128.46/128.58 c | 26869 | 5996 235810 620377 | 224264 21582 68 | 91.768 % | 147.06/147.14 c | 35518 | 5996 235810 620377 | 246690 30231 84 | 91.768 % | 157.66/157.71 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.75/180.82 c core #1 180.75/180.82 c 180.75/180.82 c 180.75/180.82 c Core size: 9 Core Weight: 81 Total Weight: 81 180.75/180.82 c 180.75/180.82 c 180.75/180.82 c ============================[ Search Statistics ]============================== 180.75/180.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 180.75/180.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 180.75/180.82 c =============================================================================== 180.75/180.82 c | 0 | 5028 81773 45260 | 27257 0 nan | 0.000 % | 180.75/180.85 c | 100 | 5028 81773 45260 | 29983 100 39 | 93.098 % | 180.75/180.90 c | 250 | 5028 81773 45260 | 32981 250 45 | 93.098 % | 180.85/180.98 c | 475 | 5028 81773 45260 | 36279 475 52 | 93.098 % | 181.05/181.10 c | 812 | 5028 81773 45260 | 39907 812 65 | 93.098 % | 181.14/181.29 c | 1318 | 5028 81773 45260 | 43898 1318 64 | 93.098 % | 181.45/181.57 c | 2078 | 5028 81773 45260 | 48288 2078 69 | 93.098 % | 181.85/181.97 c | 3217 | 5028 81773 45260 | 53117 3217 65 | 93.098 % | 182.55/182.69 c | 4925 | 5028 81773 45260 | 58429 4925 73 | 93.098 % | 183.65/183.77 c | 7487 | 5028 81773 45260 | 64272 7487 71 | 93.098 % | 185.85/185.95 c | 11331 | 5028 81773 45260 | 70699 11331 89 | 93.098 % | 188.85/188.93 c | 17097 | 5028 81773 45260 | 77769 17097 83 | 93.098 % | 194.55/194.65 c | 25746 | 5028 81773 45260 | 85546 25746 90 | 93.098 % | 203.84/203.95 c | 38720 | 5028 81773 45260 | 94100 38720 94 | 93.098 % | 222.53/222.69 c | 58181 | 5028 81773 45260 | 103510 58181 100 | 93.098 % | 263.52/263.65 c | 87373 | 5028 81773 45260 | 113862 87373 94 | 93.098 % | 366.21/366.31 c | 131163 | 5028 81773 45260 | 125248 131163 101 | 93.098 % | 526.37/526.59 c | 196847 | 5028 81773 45260 | 137773 18906 86 | 93.098 % | 658.74/658.92 c | 295373 | 5028 81773 45260 | 151550 117432 94 | 93.098 % | 991.25/991.59 c | 443164 | 5028 81773 45260 | 166705 60523 133 | 93.098 % | 1502.43/1502.82 c | 664847 | 5028 81773 45260 | 183375 64153 83 | 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-2687085-1278447360/watcher-2687085-1278447360 -o /tmp/evaluation-result-2687085-1278447360/solver-2687085-1278447360 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687085-1278447360.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.67 1.99 1.75 3/106 22620 /proc/meminfo: memFree=1822264/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=10844 CPUtime=0 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 367 0 0 0 0 0 0 0 18 0 1 0 12942487 11104256 285 1992294400 134512640 135752675 4288238704 18446744073709551615 134609568 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 2711 285 139 303 0 444 0 [startup+0.0834331 s] /proc/loadavg: 1.67 1.99 1.75 3/106 22620 /proc/meminfo: memFree=1822264/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=14756 CPUtime=0.08 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 1365 0 0 0 8 0 0 0 20 0 1 0 12942487 15110144 1283 1992294400 134512640 135752675 4288238704 18446744073709551615 134559922 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 3689 1283 246 303 0 1422 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 14756 [startup+0.101433 s] /proc/loadavg: 1.67 1.99 1.75 3/106 22620 /proc/meminfo: memFree=1822264/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=15476 CPUtime=0.09 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 1537 0 0 0 9 0 0 0 20 0 1 0 12942487 15847424 1455 1992294400 134512640 135752675 4288238704 18446744073709551615 134559859 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 3869 1455 273 303 0 1602 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15476 [startup+0.30045 s] /proc/loadavg: 1.67 1.99 1.75 3/106 22620 /proc/meminfo: memFree=1822264/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=19748 CPUtime=0.29 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 2863 0 0 0 28 1 0 0 20 0 1 0 12942487 20221952 2748 1992294400 134512640 135752675 4288238704 18446744073709551615 134574323 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 4937 2748 566 303 0 2670 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19748 [startup+0.700486 s] /proc/loadavg: 1.67 1.99 1.75 3/106 22620 /proc/meminfo: memFree=1822264/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=26196 CPUtime=0.69 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 4854 0 0 0 68 1 0 0 20 0 1 0 12942487 26824704 4699 1992294400 134512640 135752675 4288238704 18446744073709551615 135228428 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 6549 4699 1184 303 0 4282 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26196 [startup+1.50055 s] /proc/loadavg: 1.67 1.99 1.75 2/107 22621 /proc/meminfo: memFree=1802664/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=36812 CPUtime=1.49 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 8187 0 0 0 147 2 0 0 23 0 1 0 12942487 37695488 7918 1992294400 134512640 135752675 4288238704 18446744073709551615 134559914 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 9203 7918 1981 303 0 6936 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36812 [startup+3.1007 s] /proc/loadavg: 1.62 1.97 1.74 2/107 22621 /proc/meminfo: memFree=1772532/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=56444 CPUtime=3.09 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 15280 0 0 0 304 5 0 0 25 0 1 0 12942487 57798656 12824 1992294400 134512640 135752675 4288238704 18446744073709551615 135211771 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 14111 12824 142 303 0 13806 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 56444 [startup+6.30098 s] /proc/loadavg: 1.62 1.97 1.74 2/107 22621 /proc/meminfo: memFree=1765340/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=63308 CPUtime=6.29 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 16992 0 0 0 623 6 0 0 25 0 1 0 12942487 64827392 14536 1992294400 134512640 135752675 4288238704 18446744073709551615 135204850 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 15827 14536 142 303 0 15522 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 63308 [startup+12.7015 s] /proc/loadavg: 1.52 1.94 1.73 2/107 22621 /proc/meminfo: memFree=1755172/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=72944 CPUtime=12.69 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 19402 0 0 0 1262 7 0 0 25 0 1 0 12942487 74694656 16946 1992294400 134512640 135752675 4288238704 18446744073709551615 135211654 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 18236 16946 142 303 0 17931 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 72944 [startup+25.5017 s] /proc/loadavg: 1.44 1.91 1.73 2/107 22621 /proc/meminfo: memFree=1742276/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=85088 CPUtime=25.49 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 22434 0 0 0 2541 8 0 0 25 0 1 0 12942487 87130112 19978 1992294400 134512640 135752675 4288238704 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 21272 19978 142 303 0 20967 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 85088 [startup+51.1019 s] /proc/loadavg: 1.29 1.84 1.71 2/107 22622 /proc/meminfo: memFree=1726776/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=101588 CPUtime=51.08 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 26552 0 0 0 5098 10 0 0 25 0 1 0 12942487 104026112 24096 1992294400 134512640 135752675 4288238704 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 25397 24096 142 303 0 25092 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 101588 [startup+102.308 s] /proc/loadavg: 1.11 1.69 1.66 2/107 22623 /proc/meminfo: memFree=1712516/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=113688 CPUtime=102.28 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 31015 0 0 0 10204 24 0 0 25 0 1 0 12942487 116416512 27244 1992294400 134512640 135752675 4288238704 18446744073709551615 134517153 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 28422 27244 145 303 0 28117 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 113688 [startup+162.302 s] /proc/loadavg: 1.04 1.56 1.62 2/107 22625 /proc/meminfo: memFree=1712516/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=113688 CPUtime=162.25 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 31015 0 0 0 16185 40 0 0 25 0 1 0 12942487 116416512 27244 1992294400 134512640 135752675 4288238704 18446744073709551615 134517376 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 28422 27244 145 303 0 28117 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 113688 [startup+222.302 s] /proc/loadavg: 1.01 1.46 1.58 2/107 22627 /proc/meminfo: memFree=1722188/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=102836 CPUtime=222.24 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 31870 0 0 0 22165 59 0 0 25 0 1 0 12942487 105304064 24838 1992294400 134512640 135752675 4288238704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 25709 24838 146 303 0 25404 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 102836 [startup+282.301 s] /proc/loadavg: 1.00 1.37 1.54 2/107 22631 /proc/meminfo: memFree=1721444/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=102836 CPUtime=282.22 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 31870 0 0 0 28146 76 0 0 25 0 1 0 12942487 105304064 24838 1992294400 134512640 135752675 4288238704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 25709 24838 146 303 0 25404 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 102836 [startup+342.301 s] /proc/loadavg: 1.00 1.30 1.50 2/107 22632 /proc/meminfo: memFree=1721444/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=102836 CPUtime=342.2 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 31881 0 0 0 34133 87 0 0 25 0 1 0 12942487 105304064 24849 1992294400 134512640 135752675 4288238704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 25709 24849 146 303 0 25404 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 102836 [startup+402.302 s] /proc/loadavg: 1.00 1.24 1.47 2/107 22634 /proc/meminfo: memFree=1721444/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=102836 CPUtime=402.19 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 31881 0 0 0 40120 99 0 0 25 0 1 0 12942487 105304064 24849 1992294400 134512640 135752675 4288238704 18446744073709551615 134605232 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 25709 24849 146 303 0 25404 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 102836 [startup+462.301 s] /proc/loadavg: 1.00 1.20 1.44 2/107 22636 /proc/meminfo: memFree=1717724/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=107324 CPUtime=462.18 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 32979 0 0 0 46105 113 0 0 25 0 1 0 12942487 109899776 25947 1992294400 134512640 135752675 4288238704 18446744073709551615 134517387 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 26831 25947 146 303 0 26526 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 107324 [startup+522.3 s] /proc/loadavg: 1.00 1.16 1.41 2/107 22638 /proc/meminfo: memFree=1707928/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=117100 CPUtime=522.16 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 35422 0 0 0 52091 125 0 0 25 0 1 0 12942487 119910400 28390 1992294400 134512640 135752675 4288238704 18446744073709551615 134611554 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 29275 28390 146 303 0 28970 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 117100 [startup+582.3 s] /proc/loadavg: 1.00 1.13 1.38 2/107 22639 /proc/meminfo: memFree=1681268/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=143636 CPUtime=582.14 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 42063 0 0 0 58063 151 0 0 25 0 1 0 12942487 147083264 35031 1992294400 134512640 135752675 4288238704 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 35909 35031 146 303 0 35604 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 143636 [startup+642.301 s] /proc/loadavg: 1.00 1.10 1.35 2/107 22640 /proc/meminfo: memFree=1664900/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=159764 CPUtime=642.14 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 46105 0 0 0 64042 172 0 0 25 0 1 0 12942487 163598336 39073 1992294400 134512640 135752675 4288238704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 39941 39073 146 303 0 39636 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 159764 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.04 1.26 2/107 22647 /proc/meminfo: memFree=1610340/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=214628 CPUtime=882.07 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 59702 0 0 0 87970 237 0 0 25 0 1 0 12942487 219779072 52670 1992294400 134512640 135752675 4288238704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 53657 52670 146 303 0 53352 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 214628 [startup+942.301 s] /proc/loadavg: 1.00 1.03 1.24 2/107 22648 /proc/meminfo: memFree=1594096/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=231004 CPUtime=942.06 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 63819 0 0 0 93952 254 0 0 25 0 1 0 12942487 236548096 56787 1992294400 134512640 135752675 4288238704 18446744073709551615 134611679 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 57751 56787 146 303 0 57446 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 231004 [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.23 2/107 22650 /proc/meminfo: memFree=1571776/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=253068 CPUtime=1002.05 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 69323 0 0 0 99927 278 0 0 25 0 1 0 12942487 259141632 62291 1992294400 134512640 135752675 4288238704 18446744073709551615 134616067 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 63267 62291 146 303 0 62962 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 253068 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.21 2/107 22652 /proc/meminfo: memFree=1557020/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=267872 CPUtime=1062.03 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 73037 0 0 0 105905 298 0 0 25 0 1 0 12942487 274300928 66005 1992294400 134512640 135752675 4288238704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 66968 66005 146 303 0 66663 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 267872 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.19 2/107 22654 /proc/meminfo: memFree=1545984/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=278860 CPUtime=1122.02 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 75765 0 0 0 111888 314 0 0 25 0 1 0 12942487 285552640 68733 1992294400 134512640 135752675 4288238704 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 69715 68733 146 303 0 69410 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 278860 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.18 2/107 22655 /proc/meminfo: memFree=1537428/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=287348 CPUtime=1182.01 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 77900 0 0 0 117874 327 0 0 25 0 1 0 12942487 294244352 70868 1992294400 134512640 135752675 4288238704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 71837 70868 146 303 0 71532 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 287348 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.16 2/107 22656 /proc/meminfo: memFree=1529244/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=295532 CPUtime=1241.99 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 79931 0 0 0 123859 340 0 0 25 0 1 0 12942487 302624768 72899 1992294400 134512640 135752675 4288238704 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 73883 72899 146 303 0 73578 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 295532 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.15 2/107 22658 /proc/meminfo: memFree=1520440/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=304176 CPUtime=1301.98 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 82091 0 0 0 129845 353 0 0 25 0 1 0 12942487 311476224 75059 1992294400 134512640 135752675 4288238704 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 76044 75059 146 303 0 75739 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 304176 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.14 2/107 22660 /proc/meminfo: memFree=1513000/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=311732 CPUtime=1361.96 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 83974 0 0 0 135830 366 0 0 25 0 1 0 12942487 319213568 76942 1992294400 134512640 135752675 4288238704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 77933 76942 146 303 0 77628 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 311732 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.13 2/107 22662 /proc/meminfo: memFree=1506180/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=318476 CPUtime=1421.96 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 85658 0 0 0 141818 378 0 0 25 0 1 0 12942487 326119424 78626 1992294400 134512640 135752675 4288238704 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 79619 78626 146 303 0 79314 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 318476 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.12 2/107 22663 /proc/meminfo: memFree=1490680/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=334072 CPUtime=1481.93 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 89545 0 0 0 147795 398 0 0 25 0 1 0 12942487 342089728 82513 1992294400 134512640 135752675 4288238704 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 83518 82513 146 303 0 83213 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 334072 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.11 2/107 22664 /proc/meminfo: memFree=1472700/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=351760 CPUtime=1541.92 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 93995 0 0 0 153773 419 0 0 25 0 1 0 12942487 360202240 86963 1992294400 134512640 135752675 4288238704 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 87940 86963 146 303 0 87635 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 351760 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 22666 /proc/meminfo: memFree=1458564/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=366152 CPUtime=1601.9 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 97570 0 0 0 159754 436 0 0 25 0 1 0 12942487 374939648 90538 1992294400 134512640 135752675 4288238704 18446744073709551615 134616122 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 91538 90538 146 303 0 91233 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 366152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 22668 /proc/meminfo: memFree=1445792/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=378612 CPUtime=1661.88 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 100690 0 0 0 165737 451 0 0 25 0 1 0 12942487 387698688 93658 1992294400 134512640 135752675 4288238704 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 94653 93658 146 303 0 94348 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 378612 [startup+1722.3 s] /proc/loadavg: 1.07 1.02 1.09 2/107 22670 /proc/meminfo: memFree=1433144/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=391336 CPUtime=1721.87 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 103863 0 0 0 171721 466 0 0 25 0 1 0 12942487 400728064 96831 1992294400 134512640 135752675 4288238704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 97834 96831 146 303 0 97529 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 391336 [startup+1782.3 s] /proc/loadavg: 1.09 1.03 1.09 2/107 22671 /proc/meminfo: memFree=1420868/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=403392 CPUtime=1781.86 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 106855 0 0 0 177708 478 0 0 25 0 1 0 12942487 413073408 99823 1992294400 134512640 135752675 4288238704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 100848 99823 146 303 0 100543 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 403392 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.07 1.02 1.08 2/107 22672 /proc/meminfo: memFree=1417520/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=406560 CPUtime=1800.06 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 107667 0 0 0 179525 481 0 0 25 0 1 0 12942487 416317440 100635 1992294400 134512640 135752675 4288238704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 101640 100635 146 303 0 101335 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 406560 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.07 1.02 1.08 2/107 22672 /proc/meminfo: memFree=1417520/2059040 swapFree=4164944/4192956 [pid=22620] ppid=22618 vsize=406560 CPUtime=1800.06 /proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 107667 0 0 0 179525 481 0 0 25 0 1 0 12942487 416317440 100635 1992294400 134512640 135752675 4288238704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22620/statm: 101640 100635 146 303 0 101335 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 406560 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.55 CPU time (s): 1800.11 CPU user time (s): 1795.25 CPU system time (s): 4.85926 CPU usage (%): 99.9757 Max. virtual memory (cumulated for all children) (KiB): 406560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.25 system time used= 4.85926 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 107667 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= 64 involuntary context switches= 3770 runsolver used 3.04754 second user time and 8.45671 second system time The end
Begin job on node055 at 2010-07-06 22:16:00 IDJOB=2687085 IDBENCH=77372 IDSOLVER=1190 FILE ID=node055/2687085-1278447360 PBS_JOBID= 11233522 Free space on /tmp= 62568 MiB SOLVER NAME= wbo 1.4b (fixed) 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 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2687085-1278447360/watcher-2687085-1278447360 -o /tmp/evaluation-result-2687085-1278447360/solver-2687085-1278447360 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687085-1278447360.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9033b116fa6917a1af0ec218f9c6d61f RANDOM SEED=533116950 node055.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.224 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.44 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.224 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1822792 kB Buffers: 15828 kB Cached: 118628 kB SwapCached: 1444 kB Active: 83620 kB Inactive: 84088 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1822792 kB SwapTotal: 4192956 kB SwapFree: 4164944 kB Dirty: 10604 kB Writeback: 0 kB AnonPages: 31752 kB Mapped: 13544 kB Slab: 46704 kB PageTables: 4164 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180108 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62568 MiB End job on node055 at 2010-07-06 22:46:03