Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.05 | 1800.53 |
Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12057_1.std.opb |
MD5SUM | c5fc99dbb0a3becca43a9267891fcd33 |
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 | 204 |
Best CPU time to get the best result obtained on this benchmark | 1800.16 |
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 | 256080 |
Number of constraints which are clauses | 254880 |
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-2687228-1278449945.opb. 0.00/0.00 c Instance file HOME/instance-2687228-1278449945.opb 0.00/0.00 c File size is 8619569 bytes. 1.69/1.78 c Highest Coefficient sum: 733 1.69/1.79 c ============================[ Problem Statistics ]============================= 1.69/1.79 c | | 1.69/1.79 c | Parsing time: 1.76 s | 1.69/1.79 c | Number Variables: 72842 | 1.69/1.79 c | Number Clauses: 254880 | 1.69/1.79 c | Number Cardinality: 0 | 1.69/1.79 c | Number PB Constraints: 1200 | 98.26/98.37 c ============================[ Search Statistics ]============================== 98.26/98.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.26/98.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.26/98.37 c =============================================================================== 98.26/98.37 c | 0 | 48728 257492 551759 | 85360 0 nan | 0.000 % | 98.36/98.47 c | 100 | 48728 257492 551759 | 93896 100 23 | 33.105 % | 98.46/98.57 c | 251 | 48728 257492 551759 | 103285 251 32 | 33.105 % | 98.66/98.75 c | 476 | 48728 257492 551759 | 113614 476 31 | 33.105 % | 98.76/98.83 c =============================================================================== 98.76/98.83 c New solution: 300 98.76/98.83 o 300 98.76/98.83 c Elapsed CPU time: 98.619 s Remaining CPU time: 81.381 s 98.76/98.83 c =============================================================================== 98.76/98.83 c | 513 | 48728 257493 552059 | 85831 513 30 | 33.105 % | 98.76/98.90 c | 614 | 48607 257493 552059 | 94414 519 29 | 33.271 % | 98.86/98.98 c | 766 | 48607 257493 552059 | 103855 671 28 | 33.271 % | 99.05/99.18 c | 991 | 48607 257493 552059 | 114241 896 31 | 33.271 % | 99.25/99.33 c | 1328 | 48607 257493 552059 | 125665 1233 33 | 33.271 % | 99.55/99.62 c | 1835 | 48607 257493 552059 | 138231 1740 32 | 33.271 % | 99.97/100.05 c | 2595 | 48607 257493 552059 | 152054 2500 33 | 33.271 % | 100.06/100.12 c =============================================================================== 100.06/100.12 c New solution: 299 100.06/100.12 o 299 100.06/100.12 c Elapsed CPU time: 99.9088 s Remaining CPU time: 80.0912 s 100.06/100.12 c =============================================================================== 100.06/100.12 c | 2628 | 48607 257494 552359 | 85831 2533 33 | 33.271 % | 100.06/100.19 c | 2729 | 48476 257494 552359 | 94414 2354 32 | 33.450 % | 100.26/100.31 c | 2879 | 48476 257494 552359 | 103855 2504 32 | 33.451 % | 100.36/100.47 c | 3106 | 48476 257494 552359 | 114241 2731 32 | 33.450 % | 100.46/100.53 c =============================================================================== 100.46/100.53 c New solution: 298 100.46/100.53 o 298 100.46/100.53 c Elapsed CPU time: 100.319 s Remaining CPU time: 79.6813 s 100.46/100.53 c =============================================================================== 100.46/100.53 c | 3121 | 48476 257495 552659 | 85831 2746 31 | 33.450 % | 100.55/100.62 c | 3221 | 48428 257495 552659 | 94414 2846 31 | 33.639 % | 100.65/100.76 c | 3374 | 48339 257495 552659 | 103856 2879 31 | 33.639 % | 100.75/100.85 c =============================================================================== 100.75/100.85 c New solution: 297 100.75/100.85 o 297 100.75/100.85 c Elapsed CPU time: 100.629 s Remaining CPU time: 79.3713 s 100.75/100.85 c =============================================================================== 100.75/100.85 c | 3421 | 48339 257496 552959 | 85832 2926 31 | 33.639 % | 100.85/100.91 c =============================================================================== 100.85/100.91 c New solution: 296 100.85/100.91 o 296 100.85/100.91 c Elapsed CPU time: 100.691 s Remaining CPU time: 79.3093 s 100.85/100.91 c =============================================================================== 100.85/100.91 c | 3435 | 48187 257497 553259 | 85832 2940 31 | 33.639 % | 100.85/100.98 c =============================================================================== 100.85/100.98 c New solution: 295 100.85/100.98 o 295 100.85/100.98 c Elapsed CPU time: 100.766 s Remaining CPU time: 79.2343 s 100.85/100.98 c =============================================================================== 100.85/100.98 c | 3450 | 48031 257498 553559 | 85832 2955 31 | 33.639 % | 100.95/101.07 c | 3552 | 48021 257498 553559 | 94415 3057 31 | 34.302 % | 101.06/101.19 c | 3702 | 47995 257498 553559 | 103857 3207 31 | 34.302 % | 101.25/101.35 c | 3927 | 47856 257498 553559 | 114243 2952 30 | 34.302 % | 101.45/101.58 c | 4264 | 47856 257498 553559 | 125667 3289 33 | 34.302 % | 101.55/101.64 c =============================================================================== 101.55/101.64 c New solution: 294 101.55/101.64 o 294 101.55/101.64 c Elapsed CPU time: 101.426 s Remaining CPU time: 78.5744 s 101.55/101.64 c =============================================================================== 101.55/101.64 c | 4282 | 47856 257499 553859 | 85833 3307 32 | 34.302 % | 101.65/101.73 c | 4383 | 47794 257499 553859 | 94416 3408 33 | 34.556 % | 101.75/101.85 c | 4534 | 47794 257499 553859 | 103857 3559 33 | 34.556 % | 101.95/102.03 c | 4761 | 47671 257499 553859 | 114243 3515 32 | 34.556 % | 102.16/102.26 c | 5098 | 47671 257499 553859 | 125668 3852 34 | 34.556 % | 102.36/102.40 c =============================================================================== 102.36/102.40 c New solution: 293 102.36/102.40 o 293 102.36/102.40 c Elapsed CPU time: 102.172 s Remaining CPU time: 77.8275 s 102.36/102.40 c =============================================================================== 102.36/102.40 c | 5214 | 47671 257500 554159 | 85833 3968 34 | 34.556 % | 102.36/102.47 c | 5314 | 47623 257500 554159 | 94416 4068 34 | 34.837 % | 102.45/102.59 c | 5464 | 47466 257500 554159 | 103858 3576 32 | 34.837 % | 102.65/102.76 c | 5689 | 47466 257500 554159 | 114244 3801 33 | 34.837 % | 102.95/103.02 c | 6026 | 47466 257500 554159 | 125668 4138 34 | 34.837 % | 103.05/103.12 c =============================================================================== 103.05/103.12 c New solution: 292 103.05/103.12 o 292 103.05/103.12 c Elapsed CPU time: 102.885 s Remaining CPU time: 77.1146 s 103.05/103.12 c =============================================================================== 103.05/103.12 c | 6069 | 47466 257501 554459 | 85833 4181 34 | 34.837 % | 103.15/103.23 c =============================================================================== 103.15/103.23 c New solution: 291 103.15/103.23 o 291 103.15/103.23 c Elapsed CPU time: 103.002 s Remaining CPU time: 76.9977 s 103.15/103.23 c =============================================================================== 103.15/103.23 c | 6129 | 47246 257502 554759 | 85834 3953 33 | 34.837 % | 103.26/103.33 c | 6231 | 47235 257502 554759 | 94417 4055 33 | 35.458 % | 103.36/103.46 c | 6383 | 47226 257502 554759 | 103859 4207 34 | 35.458 % | 103.45/103.54 c =============================================================================== 103.45/103.54 c New solution: 290 103.45/103.54 o 290 103.45/103.54 c Elapsed CPU time: 103.306 s Remaining CPU time: 76.6937 s 103.45/103.54 c =============================================================================== 103.45/103.54 c | 6429 | 47014 257503 555059 | 85834 4253 33 | 35.458 % | 103.55/103.61 c | 6529 | 46968 257503 555059 | 94417 4353 33 | 35.790 % | 103.65/103.72 c | 6680 | 46968 257503 555059 | 103859 4504 33 | 35.790 % | 103.75/103.88 c =============================================================================== 103.75/103.88 c New solution: 289 103.75/103.88 o 289 103.75/103.88 c Elapsed CPU time: 103.652 s Remaining CPU time: 76.3478 s 103.75/103.88 c =============================================================================== 103.75/103.88 c | 6856 | 46772 257504 555359 | 85834 4180 33 | 35.790 % | 103.85/103.95 c | 6958 | 46723 257504 555359 | 94418 4282 33 | 36.122 % | 103.95/104.09 c | 7109 | 46723 257504 555359 | 103859 4433 33 | 36.122 % | 104.16/104.27 c | 7334 | 46718 257504 555359 | 114245 4658 33 | 36.122 % | 104.36/104.49 c | 7671 | 46714 257504 555359 | 125670 4995 34 | 36.122 % | 104.46/104.57 c =============================================================================== 104.46/104.57 c New solution: 288 104.46/104.57 o 288 104.46/104.57 c Elapsed CPU time: 104.337 s Remaining CPU time: 75.6629 s 104.46/104.57 c =============================================================================== 104.46/104.57 c | 7699 | 46530 257505 555659 | 85835 4720 34 | 36.122 % | 104.56/104.65 c | 7799 | 46473 257505 555659 | 94418 4820 34 | 36.454 % | 104.65/104.76 c | 7949 | 46471 257505 555659 | 103860 4970 34 | 36.454 % | 104.75/104.90 c | 8174 | 46468 257505 555659 | 114246 5195 34 | 36.454 % | 104.95/105.07 c | 8513 | 46466 257505 555659 | 125671 5534 34 | 36.454 % | 105.26/105.36 c =============================================================================== 105.26/105.36 c New solution: 287 105.26/105.36 o 287 105.26/105.36 c Elapsed CPU time: 105.115 s Remaining CPU time: 74.885 s 105.26/105.36 c =============================================================================== 105.26/105.36 c | 8802 | 46288 257506 555959 | 85835 5407 33 | 36.454 % | 105.36/105.43 c | 8902 | 46224 257506 555959 | 94418 5507 33 | 36.786 % | 105.46/105.54 c | 9052 | 46224 257506 555959 | 103860 5657 33 | 36.786 % | 105.56/105.67 c =============================================================================== 105.56/105.67 c New solution: 286 105.56/105.67 o 286 105.56/105.67 c Elapsed CPU time: 105.419 s Remaining CPU time: 74.581 s 105.56/105.67 c =============================================================================== 105.56/105.67 c | 9228 | 46046 257507 556259 | 85835 5833 33 | 36.786 % | 105.65/105.75 c | 9330 | 46043 257507 556259 | 94419 5935 33 | 37.119 % | 105.75/105.88 c | 9480 | 45804 257507 556259 | 103861 5544 33 | 37.119 % | 105.85/105.95 c =============================================================================== 105.85/105.95 c New solution: 285 105.85/105.95 o 285 105.85/105.95 c Elapsed CPU time: 105.703 s Remaining CPU time: 74.2971 s 105.85/105.95 c =============================================================================== 105.85/105.95 c | 9502 | 45804 257508 556559 | 85836 5566 33 | 37.119 % | 105.95/106.06 c =============================================================================== 105.95/106.06 c New solution: 284 105.95/106.06 o 284 105.95/106.06 c Elapsed CPU time: 105.805 s Remaining CPU time: 74.1951 s 105.95/106.06 c =============================================================================== 105.95/106.06 c | 9561 | 45562 257509 556859 | 85836 5625 33 | 37.119 % | 106.05/106.16 c | 9661 | 45559 257509 556859 | 94419 5725 34 | 37.783 % | 106.15/106.24 c | 9811 | 45512 257509 556859 | 103861 5875 33 | 37.783 % | 106.35/106.43 c | 10036 | 45511 257509 556859 | 114248 6100 34 | 37.783 % | 106.45/106.50 c =============================================================================== 106.45/106.50 c New solution: 283 106.45/106.50 o 283 106.45/106.50 c Elapsed CPU time: 106.25 s Remaining CPU time: 73.7502 s 106.45/106.50 c =============================================================================== 106.45/106.50 c | 10048 | 45320 257510 557159 | 85836 5511 33 | 37.783 % | 106.45/106.57 c | 10148 | 45277 257510 557159 | 94420 5611 33 | 38.115 % | 106.67/106.71 c | 10302 | 45276 257510 557159 | 103862 5765 33 | 38.115 % | 106.76/106.86 c | 10527 | 45262 257510 557159 | 114248 5990 34 | 38.115 % | 107.06/107.14 c | 10864 | 45262 257510 557159 | 125673 6327 35 | 38.115 % | 107.16/107.28 c =============================================================================== 107.16/107.28 c New solution: 282 107.16/107.28 o 282 107.16/107.28 c Elapsed CPU time: 107.03 s Remaining CPU time: 72.9703 s 107.16/107.28 c =============================================================================== 107.16/107.28 c | 10933 | 45078 257511 557459 | 85837 6032 34 | 38.115 % | 107.26/107.36 c =============================================================================== 107.26/107.36 c New solution: 281 107.26/107.36 o 281 107.26/107.36 c Elapsed CPU time: 107.108 s Remaining CPU time: 72.8923 s 107.26/107.36 c =============================================================================== 107.26/107.36 c | 10991 | 44836 257512 557759 | 85837 6090 34 | 38.115 % | 107.36/107.45 c | 11092 | 44802 257512 557759 | 94421 6191 34 | 38.780 % | 107.46/107.59 c | 11242 | 44797 257512 557759 | 103863 6341 35 | 38.780 % | 107.55/107.68 c =============================================================================== 107.55/107.68 c New solution: 280 107.55/107.68 o 280 107.55/107.68 c Elapsed CPU time: 107.42 s Remaining CPU time: 72.5803 s 107.55/107.68 c =============================================================================== 107.55/107.68 c | 11263 | 44594 257513 558059 | 85837 6362 35 | 38.780 % | 107.66/107.78 c =============================================================================== 107.66/107.78 c New solution: 279 107.66/107.78 o 279 107.66/107.78 c Elapsed CPU time: 107.517 s Remaining CPU time: 72.4833 s 107.66/107.78 c =============================================================================== 107.66/107.78 c | 11332 | 44352 257514 558359 | 85838 6431 35 | 38.780 % | 107.76/107.85 c | 11432 | 44348 257514 558359 | 94421 6531 35 | 39.444 % | 107.85/107.99 c | 11582 | 44110 257514 558359 | 103863 5388 33 | 39.444 % | 108.05/108.15 c | 11807 | 44110 257514 558359 | 114250 5613 33 | 39.444 % | 108.25/108.35 c | 12145 | 44110 257514 558359 | 125675 5951 33 | 39.444 % | 108.55/108.69 c | 12651 | 44110 257514 558359 | 138242 6457 34 | 39.444 % | 108.65/108.78 c =============================================================================== 108.65/108.78 c New solution: 278 108.65/108.78 o 278 108.65/108.78 c Elapsed CPU time: 108.511 s Remaining CPU time: 71.4895 s 108.65/108.78 c =============================================================================== 108.65/108.78 c | 12680 | 44110 257515 558659 | 85838 6486 34 | 39.444 % | 108.76/108.87 c | 12782 | 43868 257515 558659 | 94422 6255 33 | 39.777 % | 108.86/108.96 c | 12933 | 43868 257515 558659 | 103864 6406 33 | 39.777 % | 109.05/109.15 c | 13158 | 43868 257515 558659 | 114250 6631 33 | 39.777 % | 109.15/109.25 c =============================================================================== 109.15/109.25 c New solution: 277 109.15/109.25 o 277 109.15/109.25 c Elapsed CPU time: 108.979 s Remaining CPU time: 71.0206 s 109.15/109.25 c =============================================================================== 109.15/109.25 c | 13201 | 43868 257516 558959 | 85838 6674 33 | 39.777 % | 109.25/109.32 c | 13301 | 43788 257516 558959 | 94422 6774 33 | 40.109 % | 109.35/109.41 c | 13452 | 43787 257516 558959 | 103864 6925 33 | 40.109 % | 109.55/109.63 c | 13677 | 43787 257516 558959 | 114251 7150 34 | 40.109 % | 109.75/109.84 c | 14014 | 43626 257516 558959 | 125676 7074 33 | 40.109 % | 110.16/110.25 c | 14520 | 43626 257516 558959 | 138244 7580 34 | 40.109 % | 110.65/110.77 c | 15279 | 43626 257516 558959 | 152068 8339 36 | 40.109 % | 110.75/110.83 c =============================================================================== 110.75/110.83 c New solution: 276 110.75/110.83 o 276 110.75/110.83 c Elapsed CPU time: 110.546 s Remaining CPU time: 69.4538 s 110.75/110.83 c =============================================================================== 110.75/110.83 c | 15281 | 43626 257517 559259 | 85839 8341 36 | 40.109 % | 110.85/110.90 c =============================================================================== 110.85/110.90 c New solution: 275 110.85/110.90 o 275 110.85/110.90 c Elapsed CPU time: 110.619 s Remaining CPU time: 69.3808 s 110.85/110.90 c =============================================================================== 110.85/110.90 c | 15290 | 43384 257518 559559 | 85839 7707 35 | 40.109 % | 110.85/110.98 c =============================================================================== 110.85/110.98 c New solution: 274 110.85/110.98 o 274 110.85/110.98 c Elapsed CPU time: 110.694 s Remaining CPU time: 69.3058 s 110.85/110.98 c =============================================================================== 110.85/110.98 c | 15298 | 43142 257519 559859 | 85839 7715 35 | 40.109 % | 110.96/111.04 c | 15398 | 43046 257519 559859 | 94423 7815 35 | 41.105 % | 111.06/111.15 c | 15548 | 43046 257519 559859 | 103865 7965 35 | 41.105 % | 111.25/111.33 c | 15773 | 43045 257519 559859 | 114252 8190 35 | 41.105 % | 111.35/111.43 c =============================================================================== 111.35/111.43 c New solution: 273 111.35/111.43 o 273 111.35/111.43 c Elapsed CPU time: 111.143 s Remaining CPU time: 68.8569 s 111.35/111.43 c =============================================================================== 111.35/111.43 c | 15816 | 42900 257520 560159 | 85840 8233 35 | 41.105 % | 111.45/111.50 c =============================================================================== 111.45/111.50 c New solution: 272 111.45/111.50 o 272 111.45/111.50 c Elapsed CPU time: 111.218 s Remaining CPU time: 68.7819 s 111.45/111.50 c =============================================================================== 111.45/111.50 c | 15840 | 42658 257521 560459 | 85840 8257 35 | 41.105 % | 111.45/111.59 c =============================================================================== 111.45/111.59 c New solution: 271 111.45/111.59 o 271 111.45/111.59 c Elapsed CPU time: 111.307 s Remaining CPU time: 68.6929 s 111.45/111.59 c =============================================================================== 111.45/111.59 c | 15888 | 42416 257522 560759 | 85840 8305 35 | 41.105 % | 111.66/111.70 c | 15989 | 42409 257522 560759 | 94424 8406 35 | 42.102 % | 111.66/111.78 c =============================================================================== 111.66/111.78 c New solution: 270 111.66/111.78 o 270 111.66/111.78 c Elapsed CPU time: 111.499 s Remaining CPU time: 68.501 s 111.66/111.78 c =============================================================================== 111.66/111.78 c | 16003 | 42174 257523 561059 | 85841 6520 32 | 42.102 % | 111.76/111.86 c =============================================================================== 111.76/111.86 c New solution: 269 111.76/111.86 o 269 111.76/111.86 c Elapsed CPU time: 111.572 s Remaining CPU time: 68.428 s 111.76/111.86 c =============================================================================== 111.76/111.86 c | 16014 | 41932 257524 561359 | 85841 6531 32 | 42.102 % | 111.86/111.96 c =============================================================================== 111.86/111.96 c New solution: 268 111.86/111.96 o 268 111.86/111.96 c Elapsed CPU time: 111.671 s Remaining CPU time: 68.329 s 111.86/111.96 c =============================================================================== 111.86/111.96 c | 16075 | 41690 257525 561659 | 85841 6592 32 | 42.102 % | 111.95/112.06 c | 16178 | 41683 257525 561659 | 94425 6695 32 | 43.099 % | 112.06/112.13 c =============================================================================== 112.06/112.13 c New solution: 267 112.06/112.13 o 267 112.06/112.13 c Elapsed CPU time: 111.845 s Remaining CPU time: 68.155 s 112.06/112.13 c =============================================================================== 112.06/112.13 c | 16196 | 41448 257526 561959 | 85842 6713 32 | 43.099 % | 112.16/112.22 c | 16296 | 41432 257526 561959 | 94426 6813 32 | 43.431 % | 112.25/112.39 c | 16446 | 41423 257526 561959 | 103868 6963 33 | 43.431 % | 112.35/112.48 c =============================================================================== 112.35/112.48 c New solution: 266 112.35/112.48 o 266 112.35/112.48 c Elapsed CPU time: 112.186 s Remaining CPU time: 67.8141 s 112.35/112.48 c =============================================================================== 112.35/112.48 c | 16486 | 41206 257527 562259 | 85842 7003 33 | 43.431 % | 112.45/112.56 c =============================================================================== 112.45/112.56 c New solution: 265 112.45/112.56 o 265 112.45/112.56 c Elapsed CPU time: 112.271 s Remaining CPU time: 67.7291 s 112.45/112.56 c =============================================================================== 112.45/112.56 c | 16512 | 40964 257528 562559 | 85842 5777 32 | 43.431 % | 112.55/112.64 c | 16615 | 40898 257528 562559 | 94426 5880 32 | 44.095 % | 112.75/112.82 c | 16765 | 40894 257528 562559 | 103869 6030 33 | 44.096 % | 112.85/112.90 c =============================================================================== 112.85/112.90 c New solution: 264 112.85/112.90 o 264 112.85/112.90 c Elapsed CPU time: 112.611 s Remaining CPU time: 67.3891 s 112.85/112.90 c =============================================================================== 112.85/112.90 c | 16806 | 40722 257529 562859 | 85843 6071 33 | 44.096 % | 112.85/112.98 c | 16906 | 40720 257529 562859 | 94427 6171 33 | 44.428 % | 112.95/113.06 c =============================================================================== 112.95/113.06 c New solution: 263 112.95/113.06 o 263 112.95/113.06 c Elapsed CPU time: 112.768 s Remaining CPU time: 67.2321 s 112.95/113.06 c =============================================================================== 112.95/113.06 c | 16933 | 40480 257530 563159 | 85843 6198 33 | 44.428 % | 113.05/113.15 c | 17034 | 40478 257530 563159 | 94427 6299 33 | 44.760 % | 113.15/113.28 c | 17184 | 40465 257530 563159 | 103870 6449 33 | 44.760 % | 113.26/113.35 c =============================================================================== 113.26/113.35 c New solution: 262 113.26/113.35 o 262 113.26/113.35 c Elapsed CPU time: 113.053 s Remaining CPU time: 66.9472 s 113.26/113.35 c =============================================================================== 113.26/113.35 c | 17187 | 40238 257531 563459 | 85843 5673 32 | 44.760 % | 113.36/113.42 c =============================================================================== 113.36/113.42 c New solution: 261 113.36/113.42 o 261 113.36/113.42 c Elapsed CPU time: 113.12 s Remaining CPU time: 66.8802 s 113.36/113.42 c =============================================================================== 113.36/113.42 c | 17215 | 39996 257532 563759 | 85844 5701 32 | 44.760 % | 113.45/113.50 c | 17315 | 39936 257532 563759 | 94428 5801 32 | 45.424 % | 113.55/113.65 c | 17465 | 39932 257532 563759 | 103871 5951 33 | 45.424 % | 113.65/113.71 c =============================================================================== 113.65/113.71 c New solution: 260 113.65/113.71 o 260 113.65/113.71 c Elapsed CPU time: 113.411 s Remaining CPU time: 66.5892 s 113.65/113.71 c =============================================================================== 113.65/113.71 c | 17478 | 39754 257533 564059 | 85844 5964 33 | 45.424 % | 113.65/113.78 c | 17578 | 39742 257533 564059 | 94428 6064 33 | 45.757 % | 113.85/113.90 c | 17730 | 39734 257533 564059 | 103871 6216 33 | 45.757 % | 113.85/113.96 c =============================================================================== 113.85/113.96 c New solution: 259 113.85/113.96 o 259 113.85/113.96 c Elapsed CPU time: 113.653 s Remaining CPU time: 66.3473 s 113.85/113.96 c =============================================================================== 113.85/113.96 c | 17737 | 39512 257534 564359 | 85844 6223 33 | 45.757 % | 113.95/114.04 c | 17837 | 39438 257534 564359 | 94429 6323 33 | 46.089 % | 114.05/114.18 c | 17988 | 39270 257534 564359 | 103872 5533 33 | 46.089 % | 114.15/114.25 c =============================================================================== 114.15/114.25 c New solution: 258 114.15/114.25 o 258 114.15/114.25 c Elapsed CPU time: 113.944 s Remaining CPU time: 66.0563 s 114.15/114.25 c =============================================================================== 114.15/114.25 c | 18024 | 39270 257535 564659 | 85845 5569 33 | 46.089 % | 114.25/114.31 c | 18124 | 39226 257535 564659 | 94429 5669 33 | 46.421 % | 114.35/114.44 c | 18276 | 39218 257535 564659 | 103872 5821 32 | 46.421 % | 114.45/114.51 c =============================================================================== 114.45/114.51 c New solution: 257 114.45/114.51 o 257 114.45/114.51 c Elapsed CPU time: 114.205 s Remaining CPU time: 65.7954 s 114.45/114.51 c =============================================================================== 114.45/114.51 c | 18295 | 39028 257536 564959 | 85845 5840 32 | 46.421 % | 114.45/114.59 c =============================================================================== 114.45/114.59 c New solution: 256 114.45/114.59 o 256 114.45/114.59 c Elapsed CPU time: 114.279 s Remaining CPU time: 65.7214 s 114.45/114.59 c =============================================================================== 114.45/114.59 c | 18323 | 38786 257537 565259 | 85845 5868 32 | 46.421 % | 114.56/114.66 c | 18423 | 38769 257537 565259 | 94430 5968 32 | 47.085 % | 114.75/114.80 c | 18574 | 38760 257537 565259 | 103873 6119 33 | 47.085 % | 114.75/114.88 c =============================================================================== 114.75/114.88 c New solution: 255 114.75/114.88 o 255 114.75/114.88 c Elapsed CPU time: 114.572 s Remaining CPU time: 65.4284 s 114.75/114.88 c =============================================================================== 114.75/114.88 c | 18610 | 38544 257538 565559 | 85846 5334 32 | 47.085 % | 114.85/114.95 c | 18710 | 38446 257538 565559 | 94430 5434 32 | 47.418 % | 115.05/115.10 c | 18860 | 38445 257538 565559 | 103873 5584 32 | 47.418 % | 115.15/115.26 c | 19086 | 38444 257538 565559 | 114261 5810 32 | 47.418 % | 115.45/115.51 c | 19423 | 38444 257538 565559 | 125687 6147 32 | 47.418 % | 115.54/115.61 c =============================================================================== 115.54/115.61 c New solution: 254 115.54/115.61 o 254 115.54/115.61 c Elapsed CPU time: 115.288 s Remaining CPU time: 64.7115 s 115.54/115.61 c =============================================================================== 115.54/115.61 c | 19500 | 38302 257539 565859 | 85846 5940 32 | 47.418 % | 115.64/115.71 c | 19600 | 38248 257539 565859 | 94430 6040 32 | 47.750 % | 115.74/115.81 c | 19750 | 38248 257539 565859 | 103874 6190 32 | 47.750 % | 115.84/115.98 c =============================================================================== 115.84/115.98 c New solution: 253 115.84/115.98 o 253 115.84/115.98 c Elapsed CPU time: 115.655 s Remaining CPU time: 64.3446 s 115.84/115.98 c =============================================================================== 115.84/115.98 c | 19936 | 38060 257540 566159 | 85846 6376 32 | 47.750 % | 115.94/116.05 c | 20036 | 38022 257540 566159 | 94431 6476 32 | 48.082 % | 116.13/116.20 c | 20187 | 38017 257540 566159 | 103874 6627 33 | 48.082 % | 116.13/116.27 c =============================================================================== 116.13/116.27 c New solution: 252 116.13/116.27 o 252 116.13/116.27 c Elapsed CPU time: 115.938 s Remaining CPU time: 64.0616 s 116.13/116.27 c =============================================================================== 116.13/116.27 c | 20196 | 37818 257541 566459 | 85847 6636 33 | 48.082 % | 116.23/116.34 c =============================================================================== 116.23/116.34 c New solution: 251 116.23/116.34 o 251 116.23/116.34 c Elapsed CPU time: 116.011 s Remaining CPU time: 63.9886 s 116.23/116.34 c =============================================================================== 116.23/116.34 c | 20215 | 37576 257542 566759 | 85847 5728 31 | 48.082 % | 116.33/116.42 c | 20317 | 37530 257542 566759 | 94432 5830 31 | 48.747 % | 116.44/116.56 c | 20467 | 37530 257542 566759 | 103875 5980 31 | 48.747 % | 116.54/116.65 c =============================================================================== 116.54/116.65 c New solution: 250 116.54/116.65 o 250 116.54/116.65 c Elapsed CPU time: 116.324 s Remaining CPU time: 63.6757 s 116.54/116.65 c =============================================================================== 116.54/116.65 c | 20542 | 37334 257543 567059 | 85847 6055 31 | 48.747 % | 116.64/116.73 c | 20644 | 37278 257543 567059 | 94432 6157 31 | 49.079 % | 116.74/116.81 c | 20794 | 37278 257543 567059 | 103875 6307 32 | 49.079 % | 116.84/116.95 c =============================================================================== 116.84/116.95 c New solution: 249 116.84/116.95 o 249 116.84/116.95 c Elapsed CPU time: 116.617 s Remaining CPU time: 63.3827 s 116.84/116.95 c =============================================================================== 116.84/116.95 c | 20940 | 37092 257544 567359 | 85848 6453 32 | 49.079 % | 116.94/117.06 c | 21040 | 37083 257544 567359 | 94432 6553 32 | 49.411 % | 117.04/117.15 c =============================================================================== 117.04/117.15 c New solution: 248 117.04/117.15 o 248 117.04/117.15 c Elapsed CPU time: 116.816 s Remaining CPU time: 63.1838 s 117.04/117.15 c =============================================================================== 117.04/117.15 c | 21099 | 36850 257545 567659 | 85848 5447 30 | 49.411 % | 117.14/117.23 c | 21199 | 36809 257545 567659 | 94433 5547 31 | 49.743 % | 117.23/117.33 c | 21349 | 36809 257545 567659 | 103876 5697 31 | 49.743 % | 117.33/117.48 c | 21574 | 36806 257545 567659 | 114264 5922 31 | 49.743 % | 117.43/117.55 c =============================================================================== 117.43/117.55 c New solution: 247 117.43/117.55 o 247 117.43/117.55 c Elapsed CPU time: 117.211 s Remaining CPU time: 62.7888 s 117.43/117.55 c =============================================================================== 117.43/117.55 c | 21593 | 36608 257546 567959 | 85848 5941 31 | 49.743 % | 117.54/117.63 c =============================================================================== 117.54/117.63 c New solution: 246 117.54/117.63 o 246 117.54/117.63 c Elapsed CPU time: 117.294 s Remaining CPU time: 62.7058 s 117.54/117.63 c =============================================================================== 117.54/117.63 c | 21623 | 36366 257547 568259 | 85849 5971 31 | 49.743 % | 117.64/117.70 c | 21726 | 36304 257547 568259 | 94433 6074 31 | 50.408 % | 117.73/117.83 c | 21877 | 36304 257547 568259 | 103877 6225 31 | 50.408 % | 117.84/117.93 c =============================================================================== 117.84/117.93 c New solution: 245 117.84/117.93 o 245 117.84/117.93 c Elapsed CPU time: 117.587 s Remaining CPU time: 62.4129 s 117.84/117.93 c =============================================================================== 117.84/117.93 c | 21931 | 36124 257548 568559 | 85849 5632 31 | 50.408 % | 117.94/118.00 c | 22031 | 36100 257548 568559 | 94434 5732 31 | 50.740 % | 118.04/118.14 c | 22181 | 36091 257548 568559 | 103877 5882 31 | 50.740 % | 118.14/118.26 c | 22408 | 36087 257548 568559 | 114265 6109 31 | 50.740 % | 118.34/118.46 c | 22746 | 36087 257548 568559 | 125692 6447 32 | 50.740 % | 118.83/118.90 c | 23252 | 35882 257548 568559 | 138261 6651 33 | 50.740 % | 118.83/118.99 c =============================================================================== 118.83/118.99 c New solution: 244 118.83/118.99 o 244 118.83/118.99 c Elapsed CPU time: 118.643 s Remaining CPU time: 61.357 s 118.83/118.99 c =============================================================================== 118.83/118.99 c | 23323 | 35882 257549 568859 | 85849 6722 33 | 50.740 % | 118.93/119.07 c =============================================================================== 118.93/119.07 c New solution: 243 118.93/119.07 o 243 118.93/119.07 c Elapsed CPU time: 118.724 s Remaining CPU time: 61.276 s 118.93/119.07 c =============================================================================== 118.93/119.07 c | 23371 | 35640 257550 569159 | 85850 6770 33 | 50.740 % | 119.03/119.17 c | 23474 | 35613 257550 569159 | 94435 6873 33 | 51.404 % | 119.13/119.27 c =============================================================================== 119.13/119.27 c New solution: 242 119.13/119.27 o 242 119.13/119.27 c Elapsed CPU time: 118.921 s Remaining CPU time: 61.0791 s 119.13/119.27 c =============================================================================== 119.13/119.27 c | 23527 | 35398 257551 569459 | 85850 6926 33 | 51.404 % | 119.23/119.37 c | 23627 | 35156 257551 569459 | 94435 6018 31 | 51.737 % | 119.33/119.43 c =============================================================================== 119.33/119.43 c New solution: 241 119.33/119.43 o 241 119.33/119.43 c Elapsed CPU time: 119.08 s Remaining CPU time: 60.9201 s 119.33/119.43 c =============================================================================== 119.33/119.43 c | 23639 | 35156 257552 569759 | 85850 6030 31 | 51.737 % | 119.44/119.51 c | 23740 | 35061 257552 569759 | 94435 6131 31 | 52.069 % | 119.54/119.64 c | 23891 | 35061 257552 569759 | 103879 6282 32 | 52.069 % | 119.64/119.78 c | 24116 | 35061 257552 569759 | 114267 6507 32 | 52.069 % | 119.84/119.96 c | 24453 | 35061 257552 569759 | 125693 6844 32 | 52.069 % | 119.94/120.09 c =============================================================================== 119.94/120.09 c New solution: 240 119.94/120.09 o 240 119.94/120.09 c Elapsed CPU time: 119.739 s Remaining CPU time: 60.2612 s 119.94/120.09 c =============================================================================== 119.94/120.09 c | 24567 | 34914 257553 570059 | 85851 6643 31 | 52.069 % | 120.04/120.17 c | 24667 | 34904 257553 570059 | 94436 6743 31 | 52.401 % | 120.14/120.23 c =============================================================================== 120.14/120.23 c New solution: 239 120.14/120.23 o 239 120.14/120.23 c Elapsed CPU time: 119.878 s Remaining CPU time: 60.1222 s 120.14/120.23 c =============================================================================== 120.14/120.23 c | 24681 | 34672 257554 570359 | 85851 6757 31 | 52.401 % | 120.23/120.30 c =============================================================================== 120.23/120.30 c New solution: 238 120.23/120.30 o 238 120.23/120.30 c Elapsed CPU time: 119.944 s Remaining CPU time: 60.0562 s 120.23/120.30 c =============================================================================== 120.23/120.30 c | 24705 | 34430 257555 570659 | 85851 6781 31 | 52.401 % | 120.23/120.38 c | 24805 | 34371 257555 570659 | 94436 6881 32 | 53.066 % | 120.43/120.51 c | 24955 | 34371 257555 570659 | 103880 7031 32 | 53.066 % | 120.43/120.58 c =============================================================================== 120.43/120.58 c New solution: 237 120.43/120.58 o 237 120.43/120.58 c Elapsed CPU time: 120.225 s Remaining CPU time: 59.7753 s 120.43/120.58 c =============================================================================== 120.43/120.58 c | 24996 | 34188 257556 570959 | 85852 7072 32 | 53.066 % | 120.53/120.67 c | 25099 | 34186 257556 570959 | 94437 7175 32 | 53.398 % | 120.63/120.78 c =============================================================================== 120.63/120.78 c New solution: 236 120.63/120.78 o 236 120.63/120.78 c Elapsed CPU time: 120.421 s Remaining CPU time: 59.5793 s 120.63/120.78 c =============================================================================== 120.63/120.78 c | 25203 | 33946 257557 571259 | 85852 7279 32 | 53.398 % | 120.73/120.85 c | 25305 | 33704 257557 571259 | 94437 5830 31 | 53.730 % | 120.94/121.01 c | 25457 | 33704 257557 571259 | 103881 5982 31 | 53.730 % | 120.94/121.08 c =============================================================================== 120.94/121.08 c New solution: 235 120.94/121.08 o 235 120.94/121.08 c Elapsed CPU time: 120.716 s Remaining CPU time: 59.2844 s 120.94/121.08 c =============================================================================== 120.94/121.08 c | 25475 | 33704 257558 571559 | 85852 6000 31 | 53.730 % | 121.03/121.17 c =============================================================================== 121.03/121.17 c New solution: 234 121.03/121.17 o 234 121.03/121.17 c Elapsed CPU time: 120.805 s Remaining CPU time: 59.1954 s 121.03/121.17 c =============================================================================== 121.03/121.17 c | 25544 | 33462 257559 571859 | 85853 6069 31 | 53.730 % | 121.13/121.26 c | 25644 | 33452 257559 571859 | 94438 6169 31 | 54.394 % | 121.23/121.33 c | 25794 | 33435 257559 571859 | 103882 6319 31 | 54.394 % | 121.44/121.52 c | 26019 | 33433 257559 571859 | 114270 6544 33 | 54.394 % | 121.74/121.80 c | 26356 | 33220 257559 571859 | 125697 6233 32 | 54.394 % | 121.84/121.90 c =============================================================================== 121.84/121.90 c New solution: 233 121.84/121.90 o 233 121.84/121.90 c Elapsed CPU time: 121.539 s Remaining CPU time: 58.4615 s 121.84/121.90 c =============================================================================== 121.84/121.90 c | 26457 | 33220 257560 572159 | 85853 6334 32 | 54.394 % | 121.84/122.00 c | 26557 | 33211 257560 572159 | 94438 6434 32 | 54.727 % | 121.94/122.08 c | 26707 | 33144 257560 572159 | 103882 6584 32 | 54.727 % | 122.04/122.19 c | 26936 | 33144 257560 572159 | 114270 6813 32 | 54.727 % | 122.43/122.57 c | 27273 | 33144 257560 572159 | 125697 7150 33 | 54.727 % | 122.53/122.65 c =============================================================================== 122.53/122.65 c New solution: 232 122.53/122.65 o 232 122.53/122.65 c Elapsed CPU time: 122.278 s Remaining CPU time: 57.7216 s 122.53/122.65 c =============================================================================== 122.53/122.65 c | 27292 | 32978 257561 572459 | 85853 6949 33 | 54.727 % | 122.63/122.73 c =============================================================================== 122.63/122.73 c New solution: 231 122.63/122.73 o 231 122.63/122.73 c Elapsed CPU time: 122.357 s Remaining CPU time: 57.6426 s 122.63/122.73 c =============================================================================== 122.63/122.73 c | 27338 | 32736 257562 572759 | 85854 6995 33 | 54.727 % | 122.73/122.81 c | 27438 | 32729 257562 572759 | 94439 7095 34 | 55.391 % | 122.83/122.90 c | 27588 | 32703 257562 572759 | 103883 7245 34 | 55.391 % | 122.93/123.06 c | 27814 | 32698 257562 572759 | 114271 7471 34 | 55.391 % | 123.04/123.13 c =============================================================================== 123.04/123.13 c New solution: 230 123.04/123.13 o 230 123.04/123.13 c Elapsed CPU time: 122.756 s Remaining CPU time: 57.2437 s 123.04/123.13 c =============================================================================== 123.04/123.13 c | 27838 | 32494 257563 573059 | 85854 7495 34 | 55.391 % | 123.04/123.18 c | 27938 | 32442 257563 573059 | 94439 7595 34 | 55.723 % | 123.14/123.28 c | 28088 | 32442 257563 573059 | 103883 7745 34 | 55.723 % | 123.43/123.51 c | 28313 | 32438 257563 573059 | 114272 7970 34 | 55.723 % | 123.53/123.62 c =============================================================================== 123.53/123.62 c New solution: 229 123.53/123.62 o 229 123.53/123.62 c Elapsed CPU time: 123.255 s Remaining CPU time: 56.7447 s 123.53/123.62 c =============================================================================== 123.53/123.62 c | 28441 | 32252 257564 573359 | 85854 6873 32 | 55.723 % | 123.53/123.69 c | 28541 | 32203 257564 573359 | 94440 6973 32 | 56.056 % | 123.73/123.80 c | 28691 | 32203 257564 573359 | 103884 7123 32 | 56.056 % | 123.94/124.00 c | 28917 | 32202 257564 573359 | 114272 7349 33 | 56.056 % | 123.94/124.08 c =============================================================================== 123.94/124.08 c New solution: 228 123.94/124.08 o 228 123.94/124.08 c Elapsed CPU time: 123.707 s Remaining CPU time: 56.2928 s 123.94/124.08 c =============================================================================== 123.94/124.08 c | 28979 | 32010 257565 573659 | 85855 7411 33 | 56.056 % | 124.04/124.15 c | 29080 | 31958 257565 573659 | 94440 7512 33 | 56.388 % | 124.15/124.28 c | 29230 | 31958 257565 573659 | 103884 7662 33 | 56.388 % | 124.34/124.41 c | 29455 | 31768 257565 573659 | 114273 7060 32 | 56.388 % | 124.54/124.63 c | 29792 | 31768 257565 573659 | 125700 7397 32 | 56.388 % | 124.63/124.74 c =============================================================================== 124.63/124.74 c New solution: 227 124.63/124.74 o 227 124.63/124.74 c Elapsed CPU time: 124.366 s Remaining CPU time: 55.6339 s 124.63/124.74 c =============================================================================== 124.63/124.74 c | 30028 | 31768 257566 573959 | 85855 7633 32 | 56.388 % | 124.73/124.81 c | 30128 | 31723 257566 573959 | 94440 7733 32 | 56.720 % | 124.83/124.91 c | 30279 | 31719 257566 573959 | 103884 7884 32 | 56.720 % | 124.93/125.06 c | 30504 | 31715 257566 573959 | 114273 8109 32 | 56.720 % | 125.13/125.28 c | 30843 | 31526 257566 573959 | 125700 8080 32 | 56.720 % | 125.53/125.69 c | 31350 | 31526 257566 573959 | 138270 8587 33 | 56.720 % | 125.63/125.75 c =============================================================================== 125.63/125.75 c New solution: 226 125.63/125.75 o 226 125.63/125.75 c Elapsed CPU time: 125.373 s Remaining CPU time: 54.6271 s 125.63/125.75 c =============================================================================== 125.63/125.75 c | 31376 | 31526 257567 574259 | 85855 8613 33 | 56.720 % | 125.73/125.83 c | 31476 | 31450 257567 574259 | 94441 8713 33 | 57.052 % | 125.84/125.97 c | 31626 | 31284 257567 574259 | 103885 8183 32 | 57.052 % | 125.94/126.04 c =============================================================================== 125.94/126.04 c New solution: 225 125.94/126.04 o 225 125.94/126.04 c Elapsed CPU time: 125.656 s Remaining CPU time: 54.3441 s 125.94/126.04 c =============================================================================== 125.94/126.04 c | 31651 | 31284 257568 574559 | 85856 8208 32 | 57.052 % | 126.04/126.11 c | 31751 | 31263 257568 574559 | 94441 8308 32 | 57.384 % | 126.14/126.23 c | 31901 | 31259 257568 574559 | 103885 8458 32 | 57.384 % | 126.24/126.34 c | 32127 | 31249 257568 574559 | 114274 8684 32 | 57.385 % | 126.34/126.50 c | 32464 | 31249 257568 574559 | 125701 9021 32 | 57.384 % | 126.83/126.94 c | 32970 | 31246 257568 574559 | 138271 9527 32 | 57.384 % | 126.93/127.07 c =============================================================================== 126.93/127.07 c New solution: 224 126.93/127.07 o 224 126.93/127.07 c Elapsed CPU time: 126.68 s Remaining CPU time: 53.3203 s 126.93/127.07 c =============================================================================== 126.93/127.07 c | 33104 | 31042 257569 574859 | 85856 9300 32 | 57.384 % | 127.13/127.21 c | 33205 | 31035 257569 574859 | 94441 9401 33 | 57.717 % | 127.23/127.30 c | 33357 | 31028 257569 574859 | 103886 9553 33 | 57.717 % | 127.44/127.50 c | 33582 | 31024 257569 574859 | 114274 9778 33 | 57.717 % | 127.54/127.64 c =============================================================================== 127.54/127.64 c New solution: 223 127.54/127.64 o 223 127.54/127.64 c Elapsed CPU time: 127.246 s Remaining CPU time: 52.7543 s 127.54/127.64 c =============================================================================== 127.54/127.64 c | 33717 | 30800 257570 575159 | 85856 9913 33 | 57.717 % | 127.63/127.72 c | 33817 | 30795 257570 575159 | 94442 10013 33 | 58.049 % | 127.73/127.85 c | 33969 | 30791 257570 575159 | 103886 10165 33 | 58.049 % | 127.83/127.96 c =============================================================================== 127.83/127.96 c New solution: 222 127.83/127.96 o 222 127.83/127.96 c Elapsed CPU time: 127.57 s Remaining CPU time: 52.4304 s 127.83/127.96 c =============================================================================== 127.83/127.96 c | 34044 | 30558 257571 575459 | 85857 9287 33 | 58.049 % | 127.94/128.06 c | 34145 | 30548 257571 575459 | 94442 9388 33 | 58.381 % | 128.04/128.16 c | 34295 | 30533 257571 575459 | 103886 9538 33 | 58.381 % | 128.24/128.35 c | 34520 | 30531 257571 575459 | 114275 9763 33 | 58.381 % | 128.54/128.60 c | 34857 | 30518 257571 575459 | 125703 10100 33 | 58.381 % | 128.94/129.00 c | 35364 | 30518 257571 575459 | 138273 10607 34 | 58.381 % | 129.64/129.75 c | 36123 | 30316 257571 575459 | 152100 10647 35 | 58.381 % | 129.83/129.99 c =============================================================================== 129.83/129.99 c New solution: 221 129.83/129.99 o 221 129.83/129.99 c Elapsed CPU time: 129.589 s Remaining CPU time: 50.4107 s 129.83/129.99 c =============================================================================== 129.83/129.99 c | 36713 | 30316 257572 575759 | 85857 11237 36 | 58.381 % | 129.93/130.08 c | 36813 | 30300 257572 575759 | 94443 11337 36 | 58.713 % | 130.13/130.21 c | 36964 | 30074 257572 575759 | 103887 10848 35 | 58.713 % | 130.23/130.34 c | 37189 | 30074 257572 575759 | 114276 11073 35 | 58.713 % | 130.53/130.61 c | 37526 | 30074 257572 575759 | 125703 11410 36 | 58.713 % | 130.74/130.85 c | 38032 | 30074 257572 575759 | 138274 11916 35 | 58.713 % | 131.44/131.59 c | 38791 | 30074 257572 575759 | 152101 12675 36 | 58.713 % | 131.94/132.02 c | 39930 | 30074 257572 575759 | 167311 13814 36 | 58.713 % | 133.44/133.54 c | 41640 | 30074 257572 575759 | 184042 15524 36 | 58.714 % | 134.43/134.59 c | 44202 | 30074 257572 575759 | 202447 18086 37 | 58.713 % | 137.73/137.89 c | 48047 | 30074 257572 575759 | 222691 21931 39 | 58.713 % | 138.13/138.29 c =============================================================================== 138.13/138.29 c New solution: 220 138.13/138.29 o 220 138.13/138.29 c Elapsed CPU time: 137.851 s Remaining CPU time: 42.149 s 138.13/138.29 c =============================================================================== 138.13/138.29 c | 48484 | 30074 257573 576059 | 85857 22368 40 | 58.713 % | 138.23/138.39 c | 48586 | 29832 257573 576059 | 94443 21379 39 | 59.046 % | 138.44/138.53 c | 48736 | 29832 257573 576059 | 103887 21529 39 | 59.046 % | 138.54/138.70 c =============================================================================== 138.54/138.70 c New solution: 219 138.54/138.70 o 219 138.54/138.70 c Elapsed CPU time: 138.259 s Remaining CPU time: 41.741 s 138.54/138.70 c =============================================================================== 138.54/138.70 c | 48938 | 29832 257574 576359 | 85858 21731 39 | 59.046 % | 138.73/138.80 c | 49040 | 29817 257574 576359 | 94443 21833 39 | 59.378 % | 138.83/138.97 c | 49190 | 29811 257574 576359 | 103888 21983 39 | 59.378 % | 138.93/139.03 c =============================================================================== 138.93/139.03 c New solution: 218 138.93/139.03 o 218 138.93/139.03 c Elapsed CPU time: 138.593 s Remaining CPU time: 41.4071 s 138.93/139.03 c =============================================================================== 138.93/139.03 c | 49204 | 29590 257575 576659 | 85858 21997 39 | 59.378 % | 139.03/139.11 c | 49304 | 29571 257575 576659 | 94444 22097 39 | 59.710 % | 139.13/139.24 c | 49454 | 29569 257575 576659 | 103888 22247 39 | 59.710 % | 139.23/139.34 c =============================================================================== 139.23/139.34 c New solution: 217 139.23/139.34 o 217 139.23/139.34 c Elapsed CPU time: 138.897 s Remaining CPU time: 41.1031 s 139.23/139.34 c =============================================================================== 139.23/139.34 c | 49541 | 29348 257576 576959 | 85858 22334 39 | 59.710 % | 139.33/139.45 c | 49642 | 29340 257576 576959 | 94444 22435 39 | 60.042 % | 139.43/139.56 c | 49793 | 29305 257576 576959 | 103888 22586 39 | 60.042 % | 139.64/139.76 c | 50019 | 29303 257576 576959 | 114277 22812 39 | 60.042 % | 139.83/139.95 c | 50356 | 29296 257576 576959 | 125705 23149 39 | 60.042 % | 140.33/140.48 c | 50862 | 29106 257576 576959 | 138276 20718 38 | 60.042 % | 141.13/141.21 c | 51621 | 29106 257576 576959 | 152103 21477 38 | 60.042 % | 141.53/141.61 c | 52760 | 29106 257576 576959 | 167314 22616 38 | 60.042 % | 142.33/142.47 c | 54468 | 29106 257576 576959 | 184045 24324 39 | 60.042 % | 144.53/144.63 c | 57032 | 29106 257576 576959 | 202450 26888 42 | 60.042 % | 148.03/148.11 c | 60879 | 29106 257576 576959 | 222695 30735 44 | 60.042 % | 148.13/148.29 c =============================================================================== 148.13/148.29 c New solution: 216 148.13/148.29 o 216 148.13/148.29 c Elapsed CPU time: 147.804 s Remaining CPU time: 32.1965 s 148.13/148.29 c =============================================================================== 148.13/148.29 c | 61214 | 29106 257577 577259 | 85859 31070 44 | 60.042 % | 148.23/148.40 c | 61316 | 28864 257577 577259 | 94444 29607 42 | 60.375 % | 148.53/148.60 c | 61468 | 28864 257577 577259 | 103889 29759 42 | 60.375 % | 148.63/148.75 c | 61693 | 28864 257577 577259 | 114278 29984 42 | 60.375 % | 149.03/149.12 c | 62031 | 28864 257577 577259 | 125706 30322 42 | 60.375 % | 149.13/149.24 c =============================================================================== 149.13/149.24 c New solution: 215 149.13/149.24 o 215 149.13/149.24 c Elapsed CPU time: 148.742 s Remaining CPU time: 31.2576 s 149.13/149.24 c =============================================================================== 149.13/149.24 c | 62182 | 28864 257578 577559 | 85859 30473 42 | 60.375 % | 149.23/149.34 c | 62282 | 28860 257578 577559 | 94445 30573 42 | 60.707 % | 149.32/149.42 c | 62432 | 28815 257578 577559 | 103889 30723 42 | 60.707 % | 149.54/149.63 c | 62659 | 28814 257578 577559 | 114278 30950 42 | 60.707 % | 149.73/149.81 c =============================================================================== 149.73/149.81 c New solution: 214 149.73/149.81 o 214 149.73/149.81 c Elapsed CPU time: 149.307 s Remaining CPU time: 30.6927 s 149.73/149.81 c =============================================================================== 149.73/149.81 c | 62787 | 28622 257579 577859 | 85859 31078 42 | 60.707 % | 149.83/149.90 c | 62888 | 28618 257579 577859 | 94445 31179 42 | 61.039 % | 149.93/150.00 c | 63038 | 28562 257579 577859 | 103890 31329 42 | 61.039 % | 150.03/150.17 c | 63265 | 28562 257579 577859 | 114279 31556 42 | 61.039 % | 150.43/150.54 c | 63602 | 28561 257579 577859 | 125707 31893 42 | 61.039 % | 150.64/150.71 c =============================================================================== 150.64/150.71 c New solution: 213 150.64/150.71 o 213 150.64/150.71 c Elapsed CPU time: 150.206 s Remaining CPU time: 29.7938 s 150.64/150.71 c =============================================================================== 150.64/150.71 c | 63715 | 28380 257580 578159 | 85860 29644 41 | 61.039 % | 150.73/150.80 c | 63820 | 28364 257580 578159 | 94446 29749 41 | 61.371 % | 150.83/150.96 c | 63970 | 28363 257580 578159 | 103890 29899 41 | 61.371 % | 151.03/151.15 c | 64195 | 28352 257580 578159 | 114279 30124 41 | 61.371 % | 151.23/151.31 c | 64533 | 28316 257580 578159 | 125707 30462 41 | 61.371 % | 151.64/151.76 c | 65039 | 28316 257580 578159 | 138278 30968 42 | 61.371 % | 152.13/152.26 c | 65798 | 28314 257580 578159 | 152106 31727 42 | 61.371 % | 152.92/153.02 c | 66937 | 28313 257580 578159 | 167316 32866 42 | 61.371 % | 154.03/154.13 c | 68645 | 28138 257580 578159 | 184048 33830 43 | 61.371 % | 156.23/156.39 c | 71209 | 28138 257580 578159 | 202453 36394 44 | 61.371 % | 157.42/157.59 c =============================================================================== 157.42/157.59 c New solution: 212 157.42/157.59 o 212 157.42/157.59 c Elapsed CPU time: 157.064 s Remaining CPU time: 22.9359 s 157.42/157.59 c =============================================================================== 157.42/157.59 c | 73422 | 28138 257581 578459 | 85860 38607 45 | 61.371 % | 157.63/157.70 c | 73523 | 27896 257581 578459 | 94446 37037 44 | 61.703 % | 157.73/157.89 c | 73673 | 27896 257581 578459 | 103891 37187 44 | 61.703 % | 157.93/158.03 c | 73898 | 27896 257581 578459 | 114280 37412 44 | 61.703 % | 158.13/158.28 c | 74235 | 27896 257581 578459 | 125708 37749 44 | 61.703 % | 158.83/158.91 c | 74741 | 27896 257581 578459 | 138278 38255 44 | 61.703 % | 159.12/159.23 c | 75500 | 27896 257581 578459 | 152106 39014 44 | 61.703 % | 160.13/160.25 c | 76639 | 27896 257581 578459 | 167317 40153 45 | 61.703 % | 161.33/161.43 c | 78349 | 27896 257581 578459 | 184049 41863 45 | 61.703 % | 164.23/164.36 c | 80911 | 27896 257581 578459 | 202454 44425 45 | 61.703 % | 166.12/166.29 c | 84756 | 27896 257581 578459 | 222699 48270 44 | 61.703 % | 169.12/169.25 c | 90522 | 27896 257581 578459 | 244969 54036 45 | 61.703 % | 180.02/180.16 c | 99171 | 27896 257581 578459 | 269466 62685 49 | 61.703 % | 180.52/180.62 c There are 44946 assigned variables. 202 in cost function. 181.92/182.02 c core #1 181.92/182.02 c 181.92/182.02 c 181.92/182.02 c Core size: 195 Core Weight: 114 Total Weight: 114 181.92/182.02 c 181.92/182.02 c 181.92/182.02 c core #2 181.92/182.02 c 181.92/182.02 c 181.92/182.02 c Core size: 230 Core Weight: 1 Total Weight: 115 181.92/182.02 c 181.92/182.02 c 181.92/182.02 c core #3 181.92/182.02 c 181.92/182.02 c 181.92/182.02 c Core size: 228 Core Weight: 1 Total Weight: 116 181.92/182.02 c 181.92/182.02 c 181.92/182.02 c core #4 181.92/182.02 c 181.92/182.02 c 181.92/182.02 c Core size: 275 Core Weight: 1 Total Weight: 117 181.92/182.02 c 181.92/182.02 c 181.92/182.02 c core #5 181.92/182.02 c 181.92/182.02 c 181.92/182.02 c Core size: 383 Core Weight: 1 Total Weight: 118 181.92/182.02 c 181.92/182.02 c 181.92/182.02 c ============================[ Search Statistics ]============================== 181.92/182.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.92/182.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.92/182.03 c =============================================================================== 181.92/182.03 c | 0 | 5870 133499 231010 | 44499 0 nan | 0.000 % | 181.92/182.03 c =============================================================================== 182.12/182.25 c core #6 182.12/182.25 c 182.12/182.25 c 182.12/182.25 c Core size: 268 Core Weight: 1 Total Weight: 119 182.12/182.25 c 182.12/182.25 c 182.12/182.25 c ============================[ Search Statistics ]============================== 182.12/182.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.12/182.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.12/182.25 c =============================================================================== 182.12/182.25 c | 0 | 6205 133592 231587 | 44530 0 nan | 0.000 % | 182.12/182.27 c =============================================================================== 182.32/182.49 c core #7 182.32/182.49 c 182.32/182.49 c 182.32/182.49 c Core size: 312 Core Weight: 1 Total Weight: 120 182.32/182.49 c 182.32/182.49 c 182.32/182.49 c ============================[ Search Statistics ]============================== 182.32/182.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.32/182.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.32/182.49 c =============================================================================== 182.32/182.49 c | 0 | 6539 133684 232165 | 44561 0 nan | 0.000 % | 182.43/182.50 c =============================================================================== 182.62/182.72 c core #8 182.62/182.72 c 182.62/182.72 c 182.62/182.72 c Core size: 332 Core Weight: 1 Total Weight: 121 182.62/182.72 c 182.62/182.72 c 182.62/182.72 c ============================[ Search Statistics ]============================== 182.62/182.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.62/182.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.62/182.72 c =============================================================================== 182.62/182.72 c | 0 | 6857 133776 232743 | 44592 0 nan | 0.000 % | 182.62/182.75 c =============================================================================== 182.82/182.97 c core #9 182.82/182.97 c 182.82/182.97 c 182.82/182.97 c Core size: 378 Core Weight: 1 Total Weight: 122 182.82/182.97 c 182.82/182.97 c 182.82/182.97 c ============================[ Search Statistics ]============================== 182.82/182.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.82/182.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.82/182.97 c =============================================================================== 182.82/182.97 c | 0 | 7190 133866 233321 | 44622 0 nan | 0.000 % | 182.92/183.02 c =============================================================================== 183.12/183.24 c core #10 183.12/183.24 c 183.12/183.24 c 183.12/183.24 c Core size: 390 Core Weight: 1 Total Weight: 123 183.12/183.24 c 183.12/183.24 c 183.12/183.24 c ============================[ Search Statistics ]============================== 183.12/183.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.12/183.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.12/183.24 c =============================================================================== 183.12/183.24 c | 0 | 7535 133955 233903 | 44651 0 nan | 0.000 % | 183.23/183.30 c | 100 | 7532 133955 233903 | 49116 100 16 | 91.210 % | 183.23/183.32 c =============================================================================== 183.42/183.55 c core #11 183.42/183.55 c 183.42/183.55 c 183.42/183.55 c Core size: 496 Core Weight: 1 Total Weight: 124 183.42/183.55 c 183.42/183.55 c 183.42/183.55 c ============================[ Search Statistics ]============================== 183.42/183.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.42/183.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.42/183.55 c =============================================================================== 183.42/183.55 c | 0 | 7865 134046 234492 | 44682 0 nan | 0.000 % | 183.53/183.61 c | 103 | 7865 134046 234492 | 49150 103 19 | 89.362 % | 183.53/183.67 c =============================================================================== 183.82/183.90 c core #12 183.82/183.90 c 183.82/183.90 c 183.82/183.90 c Core size: 485 Core Weight: 1 Total Weight: 125 183.82/183.90 c 183.82/183.90 c 183.82/183.90 c ============================[ Search Statistics ]============================== 183.82/183.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.82/183.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.82/183.90 c =============================================================================== 183.82/183.90 c | 0 | 8187 134134 235072 | 44711 0 nan | 0.000 % | 183.82/183.97 c | 103 | 8187 134134 235072 | 49182 103 16 | 88.929 % | 183.92/184.06 c | 253 | 8187 134134 235072 | 54100 253 21 | 88.929 % | 184.02/184.19 c =============================================================================== 184.32/184.41 c core #13 184.32/184.41 c 184.32/184.41 c 184.32/184.41 c Core size: 479 Core Weight: 1 Total Weight: 126 184.32/184.41 c 184.32/184.41 c 184.32/184.41 c ============================[ Search Statistics ]============================== 184.32/184.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.32/184.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.32/184.41 c =============================================================================== 184.32/184.41 c | 0 | 8522 134223 235659 | 44741 0 nan | 0.000 % | 184.32/184.47 c | 100 | 8522 134223 235659 | 49215 100 21 | 88.490 % | 184.42/184.57 c | 250 | 8518 134223 235659 | 54136 250 22 | 88.672 % | 184.62/184.70 c | 476 | 8361 134223 235659 | 59550 381 23 | 88.707 % | 184.72/184.88 c =============================================================================== 185.02/185.12 c core #14 185.02/185.12 c 185.02/185.12 c 185.02/185.12 c Core size: 666 Core Weight: 1 Total Weight: 127 185.02/185.12 c 185.02/185.12 c 185.02/185.12 c ============================[ Search Statistics ]============================== 185.02/185.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.02/185.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.02/185.12 c =============================================================================== 185.02/185.12 c | 0 | 8849 134315 236255 | 44771 0 nan | 0.000 % | 185.02/185.18 c | 100 | 8849 134315 236255 | 49248 100 18 | 88.062 % | 185.12/185.27 c | 250 | 8849 134315 236255 | 54173 250 23 | 88.062 % | 185.22/185.39 c | 475 | 8849 134315 236255 | 59591 475 23 | 88.062 % | 185.42/185.58 c | 815 | 8740 134315 236255 | 65550 804 25 | 88.914 % | 185.62/185.75 c =============================================================================== 185.83/185.98 c core #15 185.83/185.98 c 185.83/185.98 c 185.83/185.98 c Core size: 614 Core Weight: 1 Total Weight: 128 185.83/185.98 c 185.83/185.98 c 185.83/185.98 c ============================[ Search Statistics ]============================== 185.83/185.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.83/185.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.83/185.98 c =============================================================================== 185.83/185.98 c | 0 | 9175 134400 236834 | 44800 0 nan | 0.000 % | 185.92/186.04 c | 101 | 9175 134400 236834 | 49280 101 18 | 87.636 % | 186.02/186.13 c | 251 | 9175 134400 236834 | 54208 251 21 | 87.636 % | 186.22/186.30 c | 476 | 9175 134400 236834 | 59628 476 23 | 87.636 % | 186.42/186.54 c | 813 | 9056 134400 236834 | 65591 782 27 | 87.827 % | 186.72/186.87 c | 1319 | 9054 134400 236834 | 72150 1288 31 | 87.827 % | 187.02/187.18 c =============================================================================== 187.32/187.41 c core #16 187.32/187.41 c 187.32/187.41 c 187.32/187.41 c Core size: 409 Core Weight: 1 Total Weight: 129 187.32/187.41 c 187.32/187.41 c 187.32/187.41 c ============================[ Search Statistics ]============================== 187.32/187.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.32/187.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.32/187.41 c =============================================================================== 187.32/187.41 c | 0 | 9500 134487 237423 | 44829 0 nan | 0.000 % | 187.32/187.48 c | 100 | 9500 134487 237423 | 49311 100 16 | 87.212 % | 187.42/187.59 c | 250 | 9500 134487 237423 | 54243 250 23 | 87.212 % | 187.62/187.74 c | 475 | 9500 134487 237423 | 59667 475 26 | 87.212 % | 187.82/187.99 c | 813 | 9423 134487 237423 | 65634 804 28 | 87.316 % | 188.21/188.31 c | 1323 | 9321 134487 237423 | 72197 1125 27 | 87.453 % | 188.62/188.76 c | 2082 | 9115 134487 237423 | 79417 1652 28 | 87.756 % | 189.42/189.54 c | 3221 | 8414 134487 237423 | 87359 1246 23 | 89.976 % | 189.42/189.55 c =============================================================================== 189.62/189.78 c core #17 189.62/189.78 c 189.62/189.78 c 189.62/189.78 c Core size: 654 Core Weight: 1 Total Weight: 130 189.62/189.78 c 189.62/189.78 c 189.62/189.78 c ============================[ Search Statistics ]============================== 189.62/189.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.62/189.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.62/189.78 c =============================================================================== 189.62/189.78 c | 0 | 9824 134569 237997 | 44856 0 nan | 0.000 % | 189.72/189.86 c | 102 | 9824 134569 237997 | 49341 102 18 | 86.791 % | 189.82/189.96 c | 253 | 9824 134569 237997 | 54276 253 24 | 86.791 % | 190.02/190.12 c | 478 | 9824 134569 237997 | 59703 478 31 | 86.791 % | 190.23/190.35 c | 815 | 9824 134569 237997 | 65674 815 30 | 86.791 % | 190.62/190.75 c | 1321 | 9622 134569 237997 | 72241 1109 29 | 87.062 % | 191.12/191.27 c | 2080 | 9622 134569 237997 | 79465 1868 32 | 87.062 % | 191.91/192.08 c | 3219 | 9601 134569 237997 | 87412 3001 34 | 87.091 % | 193.31/193.44 c | 4927 | 9601 134569 237997 | 96153 4709 37 | 87.091 % | 194.42/194.59 c =============================================================================== 194.72/194.82 c core #18 194.72/194.82 c 194.72/194.82 c 194.72/194.82 c Core size: 537 Core Weight: 1 Total Weight: 131 194.72/194.82 c 194.72/194.82 c 194.72/194.82 c ============================[ Search Statistics ]============================== 194.72/194.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.72/194.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.72/194.82 c =============================================================================== 194.72/194.82 c | 0 | 10147 134652 238579 | 44884 0 nan | 0.000 % | 194.72/194.89 c | 100 | 10147 134652 238579 | 49372 100 23 | 86.371 % | 194.82/194.97 c | 250 | 10147 134652 238579 | 54309 250 21 | 86.371 % | 195.02/195.12 c | 475 | 10147 134652 238579 | 59740 475 26 | 86.371 % | 195.22/195.30 c | 812 | 10147 134652 238579 | 65714 812 26 | 86.371 % | 195.52/195.66 c | 1318 | 10147 134652 238579 | 72286 1318 29 | 86.371 % | 196.01/196.17 c | 2079 | 10147 134652 238579 | 79514 2079 32 | 86.371 % | 196.92/197.01 c | 3219 | 10028 134652 238579 | 87466 3058 34 | 86.531 % | 198.22/198.36 c | 4927 | 10007 134652 238579 | 96212 4150 36 | 86.559 % | 200.21/200.31 c | 7490 | 10007 134652 238579 | 105834 6713 40 | 86.559 % | 203.62/203.76 c | 11334 | 9997 134652 238579 | 116417 10556 44 | 86.586 % | 207.02/207.15 c =============================================================================== 207.22/207.38 c core #19 207.22/207.38 c 207.22/207.38 c 207.22/207.38 c Core size: 528 Core Weight: 1 Total Weight: 132 207.22/207.38 c 207.22/207.38 c 207.22/207.38 c ============================[ Search Statistics ]============================== 207.22/207.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.22/207.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.22/207.38 c =============================================================================== 207.22/207.38 c | 0 | 10469 134740 239177 | 44913 0 nan | 0.000 % | 207.31/207.45 c | 100 | 10469 134740 239177 | 49404 100 21 | 85.954 % | 207.41/207.53 c | 250 | 10469 134740 239177 | 54345 250 24 | 85.954 % | 207.51/207.69 c | 475 | 10469 134740 239177 | 59779 475 26 | 85.954 % | 207.82/207.93 c | 813 | 10469 134740 239177 | 65757 813 30 | 85.954 % | 208.11/208.29 c | 1319 | 10469 134740 239177 | 72333 1319 32 | 85.954 % | 208.72/208.88 c | 2078 | 10469 134740 239177 | 79566 2078 32 | 85.954 % | 209.51/209.61 c | 3218 | 10469 134740 239177 | 87523 3218 34 | 85.954 % | 210.81/210.90 c | 4927 | 10469 134740 239177 | 96275 4927 35 | 85.954 % | 212.71/212.86 c | 7489 | 10469 134740 239177 | 105903 7489 36 | 85.954 % | 216.21/216.31 c | 11333 | 10343 134740 239177 | 116493 11306 40 | 86.160 % | 222.12/222.21 c | 17099 | 9885 134740 239177 | 128142 12793 40 | 86.737 % | 228.11/228.22 c =============================================================================== 228.31/228.45 c core #20 228.31/228.45 c 228.31/228.45 c 228.31/228.45 c Core size: 570 Core Weight: 1 Total Weight: 133 228.31/228.45 c 228.31/228.45 c 228.31/228.45 c ============================[ Search Statistics ]============================== 228.31/228.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.31/228.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.31/228.45 c =============================================================================== 228.31/228.45 c | 0 | 10790 134823 239758 | 44941 0 nan | 0.000 % | 228.41/228.54 c | 100 | 10790 134823 239758 | 49435 100 24 | 85.539 % | 228.50/228.62 c | 253 | 10790 134823 239758 | 54378 253 25 | 85.539 % | 228.61/228.80 c | 478 | 10790 134823 239758 | 59816 478 28 | 85.539 % | 228.91/229.03 c | 815 | 10790 134823 239758 | 65798 815 29 | 85.539 % | 229.11/229.29 c | 1321 | 10790 134823 239758 | 72377 1321 28 | 85.539 % | 229.61/229.77 c | 2081 | 10790 134823 239758 | 79615 2081 30 | 85.539 % | 230.41/230.56 c | 3221 | 10790 134823 239758 | 87577 3221 33 | 85.539 % | 231.61/231.77 c | 4929 | 10731 134823 239758 | 96335 4927 35 | 85.618 % | 233.61/233.77 c | 7491 | 10731 134823 239758 | 105968 7489 36 | 85.618 % | 236.71/236.89 c | 11335 | 10660 134823 239758 | 116565 11251 39 | 85.713 % | 242.40/242.57 c | 17102 | 10660 134823 239758 | 128221 17018 42 | 85.713 % | 252.41/252.59 c | 25752 | 10570 134823 239758 | 141044 24599 46 | 85.833 % | 270.20/270.36 c | 38727 | 10570 134823 239758 | 155148 37574 50 | 85.833 % | 284.70/284.81 c =============================================================================== 284.90/285.06 c core #21 284.90/285.06 c 284.90/285.06 c 284.90/285.06 c Core size: 569 Core Weight: 1 Total Weight: 134 284.90/285.06 c 284.90/285.06 c 284.90/285.06 c ============================[ Search Statistics ]============================== 284.90/285.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 284.90/285.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 284.90/285.06 c =============================================================================== 284.90/285.06 c | 0 | 11110 134919 240379 | 44973 0 nan | 0.000 % | 284.99/285.14 c | 100 | 11110 134919 240379 | 49470 100 18 | 85.125 % | 285.09/285.23 c | 251 | 11110 134919 240379 | 54417 251 27 | 85.125 % | 285.19/285.37 c | 476 | 11110 134919 240379 | 59859 476 27 | 85.125 % | 285.39/285.57 c | 813 | 11110 134919 240379 | 65844 813 34 | 85.125 % | 285.80/285.95 c | 1319 | 11110 134919 240379 | 72429 1319 36 | 85.125 % | 286.29/286.48 c | 2079 | 11110 134919 240379 | 79672 2079 33 | 85.125 % | 287.20/287.33 c | 3219 | 11110 134919 240379 | 87639 3219 35 | 85.125 % | 288.60/288.71 c | 4927 | 10964 134919 240379 | 96403 4268 34 | 85.321 % | 290.60/290.71 c | 7489 | 10964 134919 240379 | 106043 6830 40 | 85.321 % | 294.20/294.34 c | 11333 | 10964 134919 240379 | 116648 10674 45 | 85.321 % | 299.69/299.83 c | 17100 | 10952 134919 240379 | 128313 16314 47 | 85.337 % | 309.59/309.72 c | 25751 | 10952 134919 240379 | 141144 24965 51 | 85.337 % | 327.48/327.65 c | 38725 | 10952 134919 240379 | 155258 37939 53 | 85.337 % | 362.57/362.70 c | 58188 | 10952 134919 240379 | 170784 57402 55 | 85.337 % | 426.06/426.23 c | 87380 | 10297 134919 240379 | 187863 56397 54 | 86.214 % | 486.24/486.49 c =============================================================================== 486.64/486.80 c core #22 486.64/486.80 c 486.64/486.80 c 486.64/486.80 c Core size: 520 Core Weight: 1 Total Weight: 135 486.64/486.80 c 486.64/486.80 c 486.64/486.80 c ============================[ Search Statistics ]============================== 486.64/486.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 486.64/486.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 486.64/486.80 c =============================================================================== 486.64/486.80 c | 0 | 11429 135017 241007 | 45005 0 nan | 0.000 % | 486.64/486.87 c | 101 | 11429 135017 241007 | 49506 101 22 | 84.714 % | 486.74/486.97 c | 252 | 11429 135017 241007 | 54456 252 27 | 84.714 % | 486.94/487.11 c | 478 | 11412 135017 241007 | 59902 476 27 | 84.737 % | 487.15/487.34 c | 816 | 11412 135017 241007 | 65892 814 28 | 84.737 % | 487.45/487.68 c | 1323 | 11412 135017 241007 | 72482 1321 31 | 84.737 % | 487.95/488.14 c | 2083 | 11412 135017 241007 | 79730 2081 34 | 84.737 % | 488.64/488.82 c | 3223 | 11412 135017 241007 | 87703 3221 32 | 84.737 % | 489.95/490.18 c | 4931 | 11412 135017 241007 | 96473 4929 35 | 84.737 % | 492.05/492.21 c | 7493 | 11412 135017 241007 | 106121 7491 36 | 84.737 % | 495.34/495.58 c | 11338 | 11412 135017 241007 | 116733 11336 43 | 84.737 % | 501.14/501.39 c | 17104 | 11412 135017 241007 | 128406 17102 46 | 84.737 % | 510.84/511.01 c | 25753 | 11412 135017 241007 | 141247 25751 49 | 84.737 % | 528.84/529.08 c | 38728 | 11002 135017 241007 | 155371 32753 48 | 85.285 % | 555.82/556.00 c | 58191 | 11002 135017 241007 | 170908 52216 50 | 85.285 % | 611.32/611.57 c | 87384 | 10959 135017 241007 | 187999 64140 50 | 85.345 % | 711.79/712.02 c | 131173 | 10569 135017 241007 | 206799 62901 46 | 85.864 % | 840.46/840.79 c =============================================================================== 840.86/841.16 c core #23 840.86/841.16 c 840.86/841.16 c 840.86/841.16 c Core size: 443 Core Weight: 1 Total Weight: 136 840.86/841.16 c 840.86/841.16 c 840.86/841.16 c ============================[ Search Statistics ]============================== 840.86/841.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 840.86/841.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 840.86/841.16 c =============================================================================== 840.86/841.16 c | 0 | 11747 135121 241648 | 45040 0 nan | 0.000 % | 840.96/841.23 c | 100 | 11747 135121 241648 | 49544 100 21 | 84.304 % | 841.06/841.38 c | 252 | 11747 135121 241648 | 54498 252 28 | 84.304 % | 841.27/841.56 c | 477 | 11747 135121 241648 | 59948 477 31 | 84.304 % | 841.56/841.80 c | 814 | 11747 135121 241648 | 65943 814 29 | 84.304 % | 841.85/842.12 c | 1321 | 11747 135121 241648 | 72537 1321 31 | 84.304 % | 842.36/842.65 c | 2082 | 11747 135121 241648 | 79791 2082 33 | 84.304 % | 843.26/843.59 c | 3221 | 11714 135121 241648 | 87770 3220 35 | 84.349 % | 844.56/844.85 c | 4929 | 11714 135121 241648 | 96547 4928 34 | 84.349 % | 846.66/846.93 c | 7491 | 11714 135121 241648 | 106202 7490 38 | 84.349 % | 850.55/850.89 c | 11335 | 11714 135121 241648 | 116823 11334 41 | 84.349 % | 856.66/856.97 c | 17101 | 11714 135121 241648 | 128505 17100 43 | 84.349 % | 867.25/867.50 c | 25751 | 11714 135121 241648 | 141355 25750 44 | 84.349 % | 884.75/885.02 c | 38727 | 11714 135121 241648 | 155491 38726 51 | 84.349 % | 918.24/918.57 c | 58188 | 11714 135121 241648 | 171040 58187 53 | 84.349 % | 980.83/981.17 c | 87381 | 11714 135121 241648 | 188144 87380 55 | 84.349 % | 1103.69/1104.05 c | 131170 | 11714 135121 241648 | 206959 131169 57 | 84.349 % | 1365.62/1366.02 c | 196855 | 11714 135121 241648 | 227655 196854 59 | 84.349 % | 1783.12/1783.64 c | 295381 | 11423 135121 241648 | 250420 212287 58 | 84.737 % |
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-2687228-1278449945/watcher-2687228-1278449945 -o /tmp/evaluation-result-2687228-1278449945/solver-2687228-1278449945 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687228-1278449945.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 1.00 3/106 22515 /proc/meminfo: memFree=1356692/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=11140 CPUtime=0 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 329 0 0 0 0 0 0 0 19 0 1 0 13208202 11407360 247 1992294400 134512640 135752675 4287288832 18446744073709551615 134561027 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 2785 247 137 303 0 375 0 [startup+0.0793279 s] /proc/loadavg: 0.99 0.98 1.00 3/106 22515 /proc/meminfo: memFree=1356692/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=14572 CPUtime=0.07 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 1233 0 0 0 7 0 0 0 19 0 1 0 13208202 14921728 1151 1992294400 134512640 135752675 4287288832 18446744073709551615 135189365 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 3643 1151 239 303 0 1233 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 14572 [startup+0.10133 s] /proc/loadavg: 0.99 0.98 1.00 3/106 22515 /proc/meminfo: memFree=1356692/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=16056 CPUtime=0.09 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 1526 0 0 0 9 0 0 0 20 0 1 0 13208202 16441344 1444 1992294400 134512640 135752675 4287288832 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 4014 1444 271 303 0 1604 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16056 [startup+0.301349 s] /proc/loadavg: 0.99 0.98 1.00 3/106 22515 /proc/meminfo: memFree=1356692/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=20460 CPUtime=0.29 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 2884 0 0 0 29 0 0 0 20 0 1 0 13208202 20951040 2769 1992294400 134512640 135752675 4287288832 18446744073709551615 134560782 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 5115 2769 567 303 0 2705 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20460 [startup+0.701387 s] /proc/loadavg: 0.99 0.98 1.00 3/106 22515 /proc/meminfo: memFree=1356692/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=25632 CPUtime=0.69 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 4665 0 0 0 68 1 0 0 21 0 1 0 13208202 26247168 4510 1992294400 134512640 135752675 4287288832 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 6408 4518 1166 303 0 3998 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25632 [startup+1.50146 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22516 /proc/meminfo: memFree=1338084/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=37660 CPUtime=1.49 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 8375 0 0 0 147 2 0 0 23 0 1 0 13208202 38563840 8106 1992294400 134512640 135752675 4287288832 18446744073709551615 135398690 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 9415 8106 2063 303 0 7005 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 37660 [startup+3.10161 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22516 /proc/meminfo: memFree=1308448/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=56340 CPUtime=3.09 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 15423 0 0 0 305 4 0 0 25 0 1 0 13208202 57692160 12824 1992294400 134512640 135752675 4287288832 18446744073709551615 134595047 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 14085 12824 142 303 0 13780 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 56340 [startup+6.30092 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22516 /proc/meminfo: memFree=1298280/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=65448 CPUtime=6.29 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 17699 0 0 0 624 5 0 0 25 0 1 0 13208202 67018752 15100 1992294400 134512640 135752675 4287288832 18446744073709551615 134587424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 16362 15100 142 303 0 16057 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 65448 [startup+12.7015 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22516 /proc/meminfo: memFree=1283028/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=79044 CPUtime=12.68 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 21102 0 0 0 1262 6 0 0 25 0 1 0 13208202 80941056 18503 1992294400 134512640 135752675 4287288832 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 19761 18503 142 303 0 19456 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 79044 [startup+25.5007 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22516 /proc/meminfo: memFree=1262072/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=99504 CPUtime=25.48 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 26237 0 0 0 2540 8 0 0 25 0 1 0 13208202 101892096 23638 1992294400 134512640 135752675 4287288832 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 24876 23638 142 303 0 24571 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 99504 [startup+51.1012 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22516 /proc/meminfo: memFree=1232932/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=129600 CPUtime=51.07 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 33744 0 0 0 5095 12 0 0 25 0 1 0 13208202 132710400 31145 1992294400 134512640 135752675 4287288832 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 32400 31145 142 303 0 32095 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 129600 [startup+102.308 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22518 /proc/meminfo: memFree=1196476/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=164008 CPUtime=102.27 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 43797 0 0 0 10208 19 0 0 25 0 1 0 13208202 167944192 39887 1992294400 134512640 135752675 4287288832 18446744073709551615 134638986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 41002 39887 145 303 0 40697 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 164008 [startup+162.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22529 /proc/meminfo: memFree=1196228/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=164008 CPUtime=162.22 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 43797 0 0 0 16174 48 0 0 25 0 1 0 13208202 167944192 39887 1992294400 134512640 135752675 4287288832 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 41002 39887 145 303 0 40697 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 164008 [startup+222.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22531 /proc/meminfo: memFree=1207760/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=151336 CPUtime=222.21 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 48836 0 0 0 22148 73 0 0 25 0 1 0 13208202 154968064 37175 1992294400 134512640 135752675 4287288832 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 37834 37175 146 303 0 37529 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 151336 [startup+282.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22531 /proc/meminfo: memFree=1208876/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=148904 CPUtime=282.2 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 48836 0 0 0 28127 93 0 0 25 0 1 0 13208202 152477696 36738 1992294400 134512640 135752675 4287288832 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 37226 36738 146 303 0 36921 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 148904 [startup+342.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22533 /proc/meminfo: memFree=1207636/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=151336 CPUtime=342.18 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 49274 0 0 0 34108 110 0 0 25 0 1 0 13208202 154968064 37176 1992294400 134512640 135752675 4287288832 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 37834 37176 146 303 0 37529 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 151336 [startup+402.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22535 /proc/meminfo: memFree=1207636/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=151336 CPUtime=402.17 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 49274 0 0 0 40096 121 0 0 25 0 1 0 13208202 154968064 37176 1992294400 134512640 135752675 4287288832 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 37834 37176 146 303 0 37529 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 151336 [startup+462.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22537 /proc/meminfo: memFree=1207388/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=151336 CPUtime=462.15 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 49274 0 0 0 46081 134 0 0 25 0 1 0 13208202 154968064 37176 1992294400 134512640 135752675 4287288832 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 37834 37176 146 303 0 37529 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 151336 [startup+522.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22539 /proc/meminfo: memFree=1208628/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=148904 CPUtime=522.14 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 49274 0 0 0 52064 150 0 0 25 0 1 0 13208202 152477696 36738 1992294400 134512640 135752675 4287288832 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 37226 36738 146 303 0 36921 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 148904 [startup+582.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22539 /proc/meminfo: memFree=1208628/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=148904 CPUtime=582.12 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 49274 0 0 0 58049 163 0 0 25 0 1 0 13208202 152477696 36738 1992294400 134512640 135752675 4287288832 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 37226 36738 146 303 0 36921 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 148904 [startup+642.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22541 /proc/meminfo: memFree=1208628/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=148904 CPUtime=642.11 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 49284 0 0 0 64035 176 0 0 25 0 1 0 13208202 152477696 36748 1992294400 134512640 135752675 4287288832 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 37226 36748 146 303 0 36921 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 148904 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22547 /proc/meminfo: memFree=1202800/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=156396 CPUtime=882.04 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 50773 0 0 0 87980 224 0 0 25 0 1 0 13208202 160149504 38237 1992294400 134512640 135752675 4287288832 18446744073709551615 134611626 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 39099 38237 146 303 0 38794 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 156396 [startup+942.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22549 /proc/meminfo: memFree=1202800/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=156396 CPUtime=942.03 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 50773 0 0 0 93965 238 0 0 25 0 1 0 13208202 160149504 38237 1992294400 134512640 135752675 4287288832 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 39099 38237 146 303 0 38794 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 156396 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22551 /proc/meminfo: memFree=1199080/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=160248 CPUtime=1002.02 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 51703 0 0 0 99953 249 0 0 25 0 1 0 13208202 164093952 39167 1992294400 134512640 135752675 4287288832 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 40062 39167 146 303 0 39757 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 160248 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22553 /proc/meminfo: memFree=1192756/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=166464 CPUtime=1062 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 53289 0 0 0 105938 262 0 0 25 0 1 0 13208202 170459136 40753 1992294400 134512640 135752675 4287288832 18446744073709551615 134611582 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 41616 40753 146 303 0 41311 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 166464 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22555 /proc/meminfo: memFree=1187424/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=171644 CPUtime=1121.99 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 54574 0 0 0 111924 275 0 0 25 0 1 0 13208202 175763456 42038 1992294400 134512640 135752675 4287288832 18446744073709551615 134605026 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 42911 42038 146 303 0 42606 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 171644 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22558 /proc/meminfo: memFree=1182092/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=176548 CPUtime=1181.97 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 55759 0 0 0 117914 283 0 0 25 0 1 0 13208202 180785152 43223 1992294400 134512640 135752675 4287288832 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 44137 43223 146 303 0 43832 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 176548 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22560 /proc/meminfo: memFree=1177628/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=180956 CPUtime=1241.95 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 56875 0 0 0 123902 293 0 0 25 0 1 0 13208202 185298944 44339 1992294400 134512640 135752675 4287288832 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 45239 44339 146 303 0 44934 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 180956 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22562 /proc/meminfo: memFree=1173040/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=185460 CPUtime=1301.94 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 58004 0 0 0 129890 304 0 0 25 0 1 0 13208202 189911040 45468 1992294400 134512640 135752675 4287288832 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 46365 45468 146 303 0 46060 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 185460 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22564 /proc/meminfo: memFree=1168328/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=190088 CPUtime=1361.93 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 59162 0 0 0 135878 315 0 0 25 0 1 0 13208202 194650112 46626 1992294400 134512640 135752675 4287288832 18446744073709551615 134611574 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 47522 46626 146 303 0 47217 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 190088 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22566 /proc/meminfo: memFree=1163988/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=194808 CPUtime=1421.92 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 60237 0 0 0 141868 324 0 0 25 0 1 0 13208202 199483392 47701 1992294400 134512640 135752675 4287288832 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 48702 47701 146 303 0 48397 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 194808 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22566 /proc/meminfo: memFree=1159896/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=198768 CPUtime=1481.89 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 61262 0 0 0 147856 333 0 0 25 0 1 0 13208202 203538432 48726 1992294400 134512640 135752675 4287288832 18446744073709551615 134616124 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 49692 48727 146 303 0 49387 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 198768 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22568 /proc/meminfo: memFree=1155308/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=203260 CPUtime=1541.88 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 62373 0 0 0 153845 343 0 0 25 0 1 0 13208202 208138240 49837 1992294400 134512640 135752675 4287288832 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 50815 49837 146 303 0 50510 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 203260 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22570 /proc/meminfo: memFree=1151092/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=207484 CPUtime=1601.87 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 63449 0 0 0 159834 353 0 0 25 0 1 0 13208202 212463616 50913 1992294400 134512640 135752675 4287288832 18446744073709551615 134611574 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 51871 50913 146 303 0 51566 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 207484 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22572 /proc/meminfo: memFree=1145512/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=212896 CPUtime=1661.85 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 64808 0 0 0 165820 365 0 0 25 0 1 0 13208202 218005504 52272 1992294400 134512640 135752675 4287288832 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 53224 52272 146 303 0 52919 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 212896 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22574 /proc/meminfo: memFree=1140304/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=218200 CPUtime=1721.84 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 66119 0 0 0 171812 372 0 0 25 0 1 0 13208202 223436800 53583 1992294400 134512640 135752675 4287288832 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 54550 53583 146 303 0 54245 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 218200 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22574 /proc/meminfo: memFree=1134600/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=223760 CPUtime=1781.82 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 67505 0 0 0 177799 383 0 0 25 0 1 0 13208202 229130240 54969 1992294400 134512640 135752675 4287288832 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 55940 54969 146 303 0 55635 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 223760 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 1.00 2/107 22576 /proc/meminfo: memFree=1133484/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=224948 CPUtime=1800.02 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 67798 0 0 0 179617 385 0 0 25 0 1 0 13208202 230346752 55262 1992294400 134512640 135752675 4287288832 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 56237 55262 146 303 0 55932 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 224948 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: 0.99 0.98 1.00 2/107 22576 /proc/meminfo: memFree=1133484/2059040 swapFree=4192956/4192956 [pid=22515] ppid=22513 vsize=224948 CPUtime=1800.02 /proc/22515/stat : 22515 (wbo1.4b) R 22513 22515 22309 0 -1 4202496 67798 0 0 0 179617 385 0 0 25 0 1 0 13208202 230346752 55262 1992294400 134512640 135752675 4287288832 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22515/statm: 56237 55262 146 303 0 55932 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 224948 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.53 CPU time (s): 1800.05 CPU user time (s): 1796.17 CPU system time (s): 3.87941 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 224948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.17 system time used= 3.87941 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67798 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= 22 involuntary context switches= 17223 runsolver used 2.78558 second user time and 8.71767 second system time The end
Begin job on node004 at 2010-07-06 22:59:06 IDJOB=2687228 IDBENCH=77513 IDSOLVER=1190 FILE ID=node004/2687228-1278449945 PBS_JOBID= 11233502 Free space on /tmp= 62428 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12057_1.std.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2687228-1278449945/watcher-2687228-1278449945 -o /tmp/evaluation-result-2687228-1278449945/solver-2687228-1278449945 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687228-1278449945.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c5fc99dbb0a3becca43a9267891fcd33 RANDOM SEED=52952674 node004.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.219 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.219 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: 1357220 kB Buffers: 124528 kB Cached: 437368 kB SwapCached: 0 kB Active: 253036 kB Inactive: 369576 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1357220 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 11180 kB Writeback: 0 kB AnonPages: 60640 kB Mapped: 14392 kB Slab: 57164 kB PageTables: 4120 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181648 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= 62424 MiB End job on node004 at 2010-07-06 23:29:08