Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.12 | 1800.83 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2687217-1278449739.opb. 0.00/0.00 c Instance file HOME/instance-2687217-1278449739.opb 0.00/0.00 c File size is 8619569 bytes. 1.69/1.72 c Highest Coefficient sum: 733 1.69/1.72 c ============================[ Problem Statistics ]============================= 1.69/1.72 c | | 1.69/1.72 c | Parsing time: 1.69 s | 1.69/1.72 c | Number Variables: 72842 | 1.69/1.72 c | Number Clauses: 254880 | 1.69/1.72 c | Number Cardinality: 0 | 1.69/1.72 c | Number PB Constraints: 1200 | 97.34/97.41 c ============================[ Search Statistics ]============================== 97.34/97.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.34/97.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.34/97.41 c =============================================================================== 97.34/97.41 c | 0 | 48728 257492 551759 | 85360 0 nan | 0.000 % | 97.44/97.51 c | 100 | 48728 257492 551759 | 93896 100 23 | 33.105 % | 97.54/97.61 c | 251 | 48728 257492 551759 | 103285 251 32 | 33.105 % | 97.64/97.79 c | 476 | 48728 257492 551759 | 113614 476 31 | 33.105 % | 97.75/97.87 c =============================================================================== 97.75/97.87 c New solution: 300 97.75/97.87 o 300 97.75/97.87 c Elapsed CPU time: 97.6292 s Remaining CPU time: 82.3708 s 97.75/97.87 c =============================================================================== 97.75/97.87 c | 513 | 48728 257493 552059 | 85831 513 30 | 33.105 % | 97.85/97.93 c | 614 | 48607 257493 552059 | 94414 519 29 | 33.271 % | 97.94/98.02 c | 766 | 48607 257493 552059 | 103855 671 28 | 33.271 % | 98.14/98.21 c | 991 | 48607 257493 552059 | 114241 896 31 | 33.271 % | 98.24/98.37 c | 1328 | 48607 257493 552059 | 125665 1233 33 | 33.271 % | 98.54/98.65 c | 1835 | 48607 257493 552059 | 138231 1740 32 | 33.271 % | 98.95/99.07 c | 2595 | 48607 257493 552059 | 152054 2500 33 | 33.271 % | 99.04/99.15 c =============================================================================== 99.04/99.15 c New solution: 299 99.04/99.15 o 299 99.04/99.15 c Elapsed CPU time: 98.904 s Remaining CPU time: 81.096 s 99.04/99.15 c =============================================================================== 99.04/99.15 c | 2628 | 48607 257494 552359 | 85831 2533 33 | 33.271 % | 99.14/99.21 c | 2729 | 48476 257494 552359 | 94414 2354 32 | 33.450 % | 99.24/99.33 c | 2879 | 48476 257494 552359 | 103855 2504 32 | 33.451 % | 99.34/99.48 c | 3106 | 48476 257494 552359 | 114241 2731 32 | 33.450 % | 99.44/99.55 c =============================================================================== 99.44/99.55 c New solution: 298 99.44/99.55 o 298 99.44/99.55 c Elapsed CPU time: 99.3079 s Remaining CPU time: 80.6921 s 99.44/99.55 c =============================================================================== 99.44/99.55 c | 3121 | 48476 257495 552659 | 85831 2746 31 | 33.450 % | 99.54/99.64 c | 3221 | 48428 257495 552659 | 94414 2846 31 | 33.639 % | 99.64/99.77 c | 3374 | 48339 257495 552659 | 103856 2879 31 | 33.639 % | 99.74/99.86 c =============================================================================== 99.74/99.86 c New solution: 297 99.74/99.86 o 297 99.74/99.86 c Elapsed CPU time: 99.6149 s Remaining CPU time: 80.3851 s 99.74/99.86 c =============================================================================== 99.74/99.86 c | 3421 | 48339 257496 552959 | 85832 2926 31 | 33.639 % | 99.84/99.92 c =============================================================================== 99.84/99.92 c New solution: 296 99.84/99.92 o 296 99.84/99.92 c Elapsed CPU time: 99.6768 s Remaining CPU time: 80.3232 s 99.84/99.92 c =============================================================================== 99.84/99.92 c | 3435 | 48187 257497 553259 | 85832 2940 31 | 33.639 % | 99.84/100.00 c =============================================================================== 99.84/100.00 c New solution: 295 99.84/100.00 o 295 99.84/100.00 c Elapsed CPU time: 99.7508 s Remaining CPU time: 80.2492 s 99.84/100.00 c =============================================================================== 99.84/100.00 c | 3450 | 48031 257498 553559 | 85832 2955 31 | 33.639 % | 99.94/100.08 c | 3552 | 48021 257498 553559 | 94415 3057 31 | 34.302 % | 100.14/100.20 c | 3702 | 47995 257498 553559 | 103857 3207 31 | 34.302 % | 100.24/100.36 c | 3927 | 47856 257498 553559 | 114243 2952 30 | 34.302 % | 100.44/100.58 c | 4264 | 47856 257498 553559 | 125667 3289 33 | 34.302 % | 100.53/100.65 c =============================================================================== 100.53/100.65 c New solution: 294 100.53/100.65 o 294 100.53/100.65 c Elapsed CPU time: 100.402 s Remaining CPU time: 79.5983 s 100.53/100.65 c =============================================================================== 100.53/100.65 c | 4282 | 47856 257499 553859 | 85833 3307 32 | 34.302 % | 100.63/100.73 c | 4383 | 47794 257499 553859 | 94416 3408 33 | 34.556 % | 100.73/100.86 c | 4534 | 47794 257499 553859 | 103857 3559 33 | 34.556 % | 100.94/101.03 c | 4761 | 47671 257499 553859 | 114243 3515 32 | 34.556 % | 101.15/101.26 c | 5098 | 47671 257499 553859 | 125668 3852 34 | 34.556 % | 101.24/101.39 c =============================================================================== 101.24/101.39 c New solution: 293 101.24/101.39 o 293 101.24/101.39 c Elapsed CPU time: 101.143 s Remaining CPU time: 78.8574 s 101.24/101.39 c =============================================================================== 101.24/101.39 c | 5214 | 47671 257500 554159 | 85833 3968 34 | 34.556 % | 101.34/101.47 c | 5314 | 47623 257500 554159 | 94416 4068 34 | 34.837 % | 101.44/101.59 c | 5464 | 47466 257500 554159 | 103858 3576 32 | 34.837 % | 101.64/101.75 c | 5689 | 47466 257500 554159 | 114244 3801 33 | 34.837 % | 101.94/102.01 c | 6026 | 47466 257500 554159 | 125668 4138 34 | 34.837 % | 102.04/102.10 c =============================================================================== 102.04/102.10 c New solution: 292 102.04/102.10 o 292 102.04/102.10 c Elapsed CPU time: 101.845 s Remaining CPU time: 78.1555 s 102.04/102.10 c =============================================================================== 102.04/102.10 c | 6069 | 47466 257501 554459 | 85833 4181 34 | 34.837 % | 102.15/102.22 c =============================================================================== 102.15/102.22 c New solution: 291 102.15/102.22 o 291 102.15/102.22 c Elapsed CPU time: 101.958 s Remaining CPU time: 78.0415 s 102.15/102.22 c =============================================================================== 102.15/102.22 c | 6129 | 47246 257502 554759 | 85834 3953 33 | 34.837 % | 102.25/102.32 c | 6231 | 47235 257502 554759 | 94417 4055 33 | 35.458 % | 102.34/102.44 c | 6383 | 47226 257502 554759 | 103859 4207 34 | 35.458 % | 102.44/102.52 c =============================================================================== 102.44/102.52 c New solution: 290 102.44/102.52 o 290 102.44/102.52 c Elapsed CPU time: 102.257 s Remaining CPU time: 77.7425 s 102.44/102.52 c =============================================================================== 102.44/102.52 c | 6429 | 47014 257503 555059 | 85834 4253 33 | 35.458 % | 102.44/102.59 c | 6529 | 46968 257503 555059 | 94417 4353 33 | 35.790 % | 102.64/102.70 c | 6680 | 46968 257503 555059 | 103859 4504 33 | 35.790 % | 102.74/102.86 c =============================================================================== 102.74/102.86 c New solution: 289 102.74/102.86 o 289 102.74/102.86 c Elapsed CPU time: 102.598 s Remaining CPU time: 77.4016 s 102.74/102.86 c =============================================================================== 102.74/102.86 c | 6856 | 46772 257504 555359 | 85834 4180 33 | 35.790 % | 102.84/102.93 c | 6958 | 46723 257504 555359 | 94418 4282 33 | 36.122 % | 102.93/103.07 c | 7109 | 46723 257504 555359 | 103859 4433 33 | 36.122 % | 103.13/103.25 c | 7334 | 46718 257504 555359 | 114245 4658 33 | 36.122 % | 103.34/103.47 c | 7671 | 46714 257504 555359 | 125670 4995 34 | 36.122 % | 103.43/103.55 c =============================================================================== 103.43/103.55 c New solution: 288 103.43/103.55 o 288 103.43/103.55 c Elapsed CPU time: 103.278 s Remaining CPU time: 76.7217 s 103.43/103.55 c =============================================================================== 103.43/103.55 c | 7699 | 46530 257505 555659 | 85835 4720 34 | 36.122 % | 103.53/103.62 c | 7799 | 46473 257505 555659 | 94418 4820 34 | 36.454 % | 103.64/103.73 c | 7949 | 46471 257505 555659 | 103860 4970 34 | 36.454 % | 103.74/103.86 c | 8174 | 46468 257505 555659 | 114246 5195 34 | 36.454 % | 103.94/104.04 c | 8513 | 46466 257505 555659 | 125671 5534 34 | 36.454 % | 104.24/104.32 c =============================================================================== 104.24/104.32 c New solution: 287 104.24/104.32 o 287 104.24/104.32 c Elapsed CPU time: 104.051 s Remaining CPU time: 75.9488 s 104.24/104.32 c =============================================================================== 104.24/104.32 c | 8802 | 46288 257506 555959 | 85835 5407 33 | 36.454 % | 104.24/104.39 c | 8902 | 46224 257506 555959 | 94418 5507 33 | 36.786 % | 104.35/104.50 c | 9052 | 46224 257506 555959 | 103860 5657 33 | 36.786 % | 104.54/104.63 c =============================================================================== 104.54/104.63 c New solution: 286 104.54/104.63 o 286 104.54/104.63 c Elapsed CPU time: 104.354 s Remaining CPU time: 75.6459 s 104.54/104.63 c =============================================================================== 104.54/104.63 c | 9228 | 46046 257507 556259 | 85835 5833 33 | 36.786 % | 104.64/104.71 c | 9330 | 46043 257507 556259 | 94419 5935 33 | 37.119 % | 104.74/104.84 c | 9480 | 45804 257507 556259 | 103861 5544 33 | 37.119 % | 104.84/104.91 c =============================================================================== 104.84/104.91 c New solution: 285 104.84/104.91 o 285 104.84/104.91 c Elapsed CPU time: 104.633 s Remaining CPU time: 75.3669 s 104.84/104.91 c =============================================================================== 104.84/104.91 c | 9502 | 45804 257508 556559 | 85836 5566 33 | 37.119 % | 104.94/105.01 c =============================================================================== 104.94/105.01 c New solution: 284 104.94/105.01 o 284 104.94/105.01 c Elapsed CPU time: 104.735 s Remaining CPU time: 75.2649 s 104.94/105.01 c =============================================================================== 104.94/105.01 c | 9561 | 45562 257509 556859 | 85836 5625 33 | 37.119 % | 105.04/105.11 c | 9661 | 45559 257509 556859 | 94419 5725 34 | 37.783 % | 105.04/105.19 c | 9811 | 45512 257509 556859 | 103861 5875 33 | 37.783 % | 105.24/105.38 c | 10036 | 45511 257509 556859 | 114248 6100 34 | 37.783 % | 105.34/105.45 c =============================================================================== 105.34/105.45 c New solution: 283 105.34/105.45 o 283 105.34/105.45 c Elapsed CPU time: 105.174 s Remaining CPU time: 74.826 s 105.34/105.45 c =============================================================================== 105.34/105.45 c | 10048 | 45320 257510 557159 | 85836 5511 33 | 37.783 % | 105.44/105.52 c | 10148 | 45277 257510 557159 | 94420 5611 33 | 38.115 % | 105.54/105.65 c | 10302 | 45276 257510 557159 | 103862 5765 33 | 38.115 % | 105.73/105.81 c | 10527 | 45262 257510 557159 | 114248 5990 34 | 38.115 % | 105.94/106.08 c | 10864 | 45262 257510 557159 | 125673 6327 35 | 38.115 % | 106.14/106.23 c =============================================================================== 106.14/106.23 c New solution: 282 106.14/106.23 o 282 106.14/106.23 c Elapsed CPU time: 105.943 s Remaining CPU time: 74.0571 s 106.14/106.23 c =============================================================================== 106.14/106.23 c | 10933 | 45078 257511 557459 | 85837 6032 34 | 38.115 % | 106.24/106.30 c =============================================================================== 106.24/106.30 c New solution: 281 106.24/106.30 o 281 106.24/106.30 c Elapsed CPU time: 106.021 s Remaining CPU time: 73.9791 s 106.24/106.30 c =============================================================================== 106.24/106.30 c | 10991 | 44836 257512 557759 | 85837 6090 34 | 38.115 % | 106.24/106.39 c | 11092 | 44802 257512 557759 | 94421 6191 34 | 38.780 % | 106.44/106.53 c | 11242 | 44797 257512 557759 | 103863 6341 35 | 38.780 % | 106.54/106.62 c =============================================================================== 106.54/106.62 c New solution: 280 106.54/106.62 o 280 106.54/106.62 c Elapsed CPU time: 106.331 s Remaining CPU time: 73.6692 s 106.54/106.62 c =============================================================================== 106.54/106.62 c | 11263 | 44594 257513 558059 | 85837 6362 35 | 38.780 % | 106.64/106.71 c =============================================================================== 106.64/106.71 c New solution: 279 106.64/106.71 o 279 106.64/106.71 c Elapsed CPU time: 106.427 s Remaining CPU time: 73.5732 s 106.64/106.71 c =============================================================================== 106.64/106.71 c | 11332 | 44352 257514 558359 | 85838 6431 35 | 38.780 % | 106.64/106.79 c | 11432 | 44348 257514 558359 | 94421 6531 35 | 39.444 % | 106.83/106.92 c | 11582 | 44110 257514 558359 | 103863 5388 33 | 39.444 % | 106.93/107.08 c | 11807 | 44110 257514 558359 | 114250 5613 33 | 39.444 % | 107.13/107.28 c | 12145 | 44110 257514 558359 | 125675 5951 33 | 39.444 % | 107.54/107.62 c | 12651 | 44110 257514 558359 | 138242 6457 34 | 39.444 % | 107.65/107.70 c =============================================================================== 107.65/107.70 c New solution: 278 107.65/107.70 o 278 107.65/107.70 c Elapsed CPU time: 107.414 s Remaining CPU time: 72.5863 s 107.65/107.70 c =============================================================================== 107.65/107.70 c | 12680 | 44110 257515 558659 | 85838 6486 34 | 39.444 % | 107.65/107.79 c | 12782 | 43868 257515 558659 | 94422 6255 33 | 39.777 % | 107.75/107.88 c | 12933 | 43868 257515 558659 | 103864 6406 33 | 39.777 % | 107.94/108.07 c | 13158 | 43868 257515 558659 | 114250 6631 33 | 39.777 % | 108.03/108.17 c =============================================================================== 108.03/108.17 c New solution: 277 108.03/108.17 o 277 108.03/108.17 c Elapsed CPU time: 107.876 s Remaining CPU time: 72.1244 s 108.03/108.17 c =============================================================================== 108.03/108.17 c | 13201 | 43868 257516 558959 | 85838 6674 33 | 39.777 % | 108.13/108.24 c | 13301 | 43788 257516 558959 | 94422 6774 33 | 40.109 % | 108.23/108.33 c | 13452 | 43787 257516 558959 | 103864 6925 33 | 40.109 % | 108.43/108.55 c | 13677 | 43787 257516 558959 | 114251 7150 34 | 40.109 % | 108.63/108.76 c | 14014 | 43626 257516 558959 | 125676 7074 33 | 40.109 % | 109.04/109.16 c | 14520 | 43626 257516 558959 | 138244 7580 34 | 40.109 % | 109.53/109.68 c | 15279 | 43626 257516 558959 | 152068 8339 36 | 40.109 % | 109.63/109.74 c =============================================================================== 109.63/109.74 c New solution: 276 109.63/109.74 o 276 109.63/109.74 c Elapsed CPU time: 109.429 s Remaining CPU time: 70.5706 s 109.63/109.74 c =============================================================================== 109.63/109.74 c | 15281 | 43626 257517 559259 | 85839 8341 36 | 40.109 % | 109.73/109.82 c =============================================================================== 109.73/109.82 c New solution: 275 109.73/109.82 o 275 109.73/109.82 c Elapsed CPU time: 109.511 s Remaining CPU time: 70.4886 s 109.73/109.82 c =============================================================================== 109.73/109.82 c | 15290 | 43384 257518 559559 | 85839 7707 35 | 40.109 % | 109.73/109.89 c =============================================================================== 109.73/109.89 c New solution: 274 109.73/109.89 o 274 109.73/109.89 c Elapsed CPU time: 109.585 s Remaining CPU time: 70.4147 s 109.73/109.89 c =============================================================================== 109.73/109.89 c | 15298 | 43142 257519 559859 | 85839 7715 35 | 40.109 % | 109.84/109.95 c | 15398 | 43046 257519 559859 | 94423 7815 35 | 41.105 % | 109.94/110.06 c | 15548 | 43046 257519 559859 | 103865 7965 35 | 41.105 % | 110.13/110.25 c | 15773 | 43045 257519 559859 | 114252 8190 35 | 41.105 % | 110.23/110.34 c =============================================================================== 110.23/110.34 c New solution: 273 110.23/110.34 o 273 110.23/110.34 c Elapsed CPU time: 110.031 s Remaining CPU time: 69.9687 s 110.23/110.34 c =============================================================================== 110.23/110.34 c | 15816 | 42900 257520 560159 | 85840 8233 35 | 41.105 % | 110.33/110.41 c =============================================================================== 110.33/110.41 c New solution: 272 110.33/110.41 o 272 110.33/110.41 c Elapsed CPU time: 110.105 s Remaining CPU time: 69.8947 s 110.33/110.41 c =============================================================================== 110.33/110.41 c | 15840 | 42658 257521 560459 | 85840 8257 35 | 41.105 % | 110.43/110.50 c =============================================================================== 110.43/110.50 c New solution: 271 110.43/110.50 o 271 110.43/110.50 c Elapsed CPU time: 110.194 s Remaining CPU time: 69.8058 s 110.43/110.50 c =============================================================================== 110.43/110.50 c | 15888 | 42416 257522 560759 | 85840 8305 35 | 41.105 % | 110.53/110.61 c | 15989 | 42409 257522 560759 | 94424 8406 35 | 42.102 % | 110.53/110.69 c =============================================================================== 110.53/110.69 c New solution: 270 110.53/110.69 o 270 110.53/110.69 c Elapsed CPU time: 110.384 s Remaining CPU time: 69.6158 s 110.53/110.69 c =============================================================================== 110.53/110.69 c | 16003 | 42174 257523 561059 | 85841 6520 32 | 42.102 % | 110.63/110.77 c =============================================================================== 110.63/110.77 c New solution: 269 110.63/110.77 o 269 110.63/110.77 c Elapsed CPU time: 110.456 s Remaining CPU time: 69.5438 s 110.63/110.77 c =============================================================================== 110.63/110.77 c | 16014 | 41932 257524 561359 | 85841 6531 32 | 42.102 % | 110.73/110.87 c =============================================================================== 110.73/110.87 c New solution: 268 110.73/110.87 o 268 110.73/110.87 c Elapsed CPU time: 110.554 s Remaining CPU time: 69.4458 s 110.73/110.87 c =============================================================================== 110.73/110.87 c | 16075 | 41690 257525 561659 | 85841 6592 32 | 42.102 % | 110.83/110.97 c | 16178 | 41683 257525 561659 | 94425 6695 32 | 43.099 % | 110.95/111.04 c =============================================================================== 110.95/111.04 c New solution: 267 110.95/111.04 o 267 110.95/111.04 c Elapsed CPU time: 110.727 s Remaining CPU time: 69.2728 s 110.95/111.04 c =============================================================================== 110.95/111.04 c | 16196 | 41448 257526 561959 | 85842 6713 32 | 43.099 % | 111.05/111.12 c | 16296 | 41432 257526 561959 | 94426 6813 32 | 43.431 % | 111.14/111.29 c | 16446 | 41423 257526 561959 | 103868 6963 33 | 43.431 % | 111.24/111.38 c =============================================================================== 111.24/111.38 c New solution: 266 111.24/111.38 o 266 111.24/111.38 c Elapsed CPU time: 111.064 s Remaining CPU time: 68.9359 s 111.24/111.38 c =============================================================================== 111.24/111.38 c | 16486 | 41206 257527 562259 | 85842 7003 33 | 43.431 % | 111.34/111.45 c =============================================================================== 111.34/111.45 c New solution: 265 111.34/111.45 o 265 111.34/111.45 c Elapsed CPU time: 111.139 s Remaining CPU time: 68.8609 s 111.34/111.45 c =============================================================================== 111.34/111.45 c | 16512 | 40964 257528 562559 | 85842 5777 32 | 43.431 % | 111.44/111.53 c | 16615 | 40898 257528 562559 | 94426 5880 32 | 44.095 % | 111.63/111.71 c | 16765 | 40894 257528 562559 | 103869 6030 33 | 44.096 % | 111.63/111.79 c =============================================================================== 111.63/111.79 c New solution: 264 111.63/111.79 o 264 111.63/111.79 c Elapsed CPU time: 111.475 s Remaining CPU time: 68.5249 s 111.63/111.79 c =============================================================================== 111.63/111.79 c | 16806 | 40722 257529 562859 | 85843 6071 33 | 44.096 % | 111.73/111.87 c | 16906 | 40720 257529 562859 | 94427 6171 33 | 44.428 % | 111.83/111.95 c =============================================================================== 111.83/111.95 c New solution: 263 111.83/111.95 o 263 111.83/111.95 c Elapsed CPU time: 111.631 s Remaining CPU time: 68.369 s 111.83/111.95 c =============================================================================== 111.83/111.95 c | 16933 | 40480 257530 563159 | 85843 6198 33 | 44.428 % | 111.93/112.03 c | 17034 | 40478 257530 563159 | 94427 6299 33 | 44.760 % | 112.04/112.17 c | 17184 | 40465 257530 563159 | 103870 6449 33 | 44.760 % | 112.14/112.23 c =============================================================================== 112.14/112.23 c New solution: 262 112.14/112.23 o 262 112.14/112.23 c Elapsed CPU time: 111.911 s Remaining CPU time: 68.089 s 112.14/112.23 c =============================================================================== 112.14/112.23 c | 17187 | 40238 257531 563459 | 85843 5673 32 | 44.760 % | 112.23/112.30 c =============================================================================== 112.23/112.30 c New solution: 261 112.23/112.30 o 261 112.23/112.30 c Elapsed CPU time: 111.979 s Remaining CPU time: 68.021 s 112.23/112.30 c =============================================================================== 112.23/112.30 c | 17215 | 39996 257532 563759 | 85844 5701 32 | 44.760 % | 112.23/112.38 c | 17315 | 39936 257532 563759 | 94428 5801 32 | 45.424 % | 112.43/112.53 c | 17465 | 39932 257532 563759 | 103871 5951 33 | 45.424 % | 112.43/112.59 c =============================================================================== 112.43/112.59 c New solution: 260 112.43/112.59 o 260 112.43/112.59 c Elapsed CPU time: 112.271 s Remaining CPU time: 67.7291 s 112.43/112.59 c =============================================================================== 112.43/112.59 c | 17478 | 39754 257533 564059 | 85844 5964 33 | 45.424 % | 112.53/112.66 c | 17578 | 39742 257533 564059 | 94428 6064 33 | 45.757 % | 112.63/112.78 c | 17730 | 39734 257533 564059 | 103871 6216 33 | 45.757 % | 112.73/112.84 c =============================================================================== 112.73/112.84 c New solution: 259 112.73/112.84 o 259 112.73/112.84 c Elapsed CPU time: 112.514 s Remaining CPU time: 67.4861 s 112.73/112.84 c =============================================================================== 112.73/112.84 c | 17737 | 39512 257534 564359 | 85844 6223 33 | 45.757 % | 112.84/112.92 c | 17837 | 39438 257534 564359 | 94429 6323 33 | 46.089 % | 112.94/113.06 c | 17988 | 39270 257534 564359 | 103872 5533 33 | 46.089 % | 113.04/113.13 c =============================================================================== 113.04/113.13 c New solution: 258 113.04/113.13 o 258 113.04/113.13 c Elapsed CPU time: 112.802 s Remaining CPU time: 67.1981 s 113.04/113.13 c =============================================================================== 113.04/113.13 c | 18024 | 39270 257535 564659 | 85845 5569 33 | 46.089 % | 113.04/113.19 c | 18124 | 39226 257535 564659 | 94429 5669 33 | 46.421 % | 113.24/113.31 c | 18276 | 39218 257535 564659 | 103872 5821 32 | 46.421 % | 113.24/113.38 c =============================================================================== 113.24/113.38 c New solution: 257 113.24/113.38 o 257 113.24/113.38 c Elapsed CPU time: 113.059 s Remaining CPU time: 66.9412 s 113.24/113.38 c =============================================================================== 113.24/113.38 c | 18295 | 39028 257536 564959 | 85845 5840 32 | 46.421 % | 113.34/113.46 c =============================================================================== 113.34/113.46 c New solution: 256 113.34/113.46 o 256 113.34/113.46 c Elapsed CPU time: 113.133 s Remaining CPU time: 66.8672 s 113.34/113.46 c =============================================================================== 113.34/113.46 c | 18323 | 38786 257537 565259 | 85845 5868 32 | 46.421 % | 113.44/113.53 c | 18423 | 38769 257537 565259 | 94430 5968 32 | 47.085 % | 113.53/113.67 c | 18574 | 38760 257537 565259 | 103873 6119 33 | 47.085 % | 113.63/113.75 c =============================================================================== 113.63/113.75 c New solution: 255 113.63/113.75 o 255 113.63/113.75 c Elapsed CPU time: 113.424 s Remaining CPU time: 66.5762 s 113.63/113.75 c =============================================================================== 113.63/113.75 c | 18610 | 38544 257538 565559 | 85846 5334 32 | 47.085 % | 113.73/113.82 c | 18710 | 38446 257538 565559 | 94430 5434 32 | 47.418 % | 113.83/113.97 c | 18860 | 38445 257538 565559 | 103873 5584 32 | 47.418 % | 114.03/114.12 c | 19086 | 38444 257538 565559 | 114261 5810 32 | 47.418 % | 114.24/114.36 c | 19423 | 38444 257538 565559 | 125687 6147 32 | 47.418 % | 114.34/114.46 c =============================================================================== 114.34/114.46 c New solution: 254 114.34/114.46 o 254 114.34/114.46 c Elapsed CPU time: 114.133 s Remaining CPU time: 65.8674 s 114.34/114.46 c =============================================================================== 114.34/114.46 c | 19500 | 38302 257539 565859 | 85846 5940 32 | 47.418 % | 114.43/114.55 c | 19600 | 38248 257539 565859 | 94430 6040 32 | 47.750 % | 114.53/114.65 c | 19750 | 38248 257539 565859 | 103874 6190 32 | 47.750 % | 114.73/114.83 c =============================================================================== 114.73/114.83 c New solution: 253 114.73/114.83 o 253 114.73/114.83 c Elapsed CPU time: 114.496 s Remaining CPU time: 65.5044 s 114.73/114.83 c =============================================================================== 114.73/114.83 c | 19936 | 38060 257540 566159 | 85846 6376 32 | 47.750 % | 114.73/114.90 c | 20036 | 38022 257540 566159 | 94431 6476 32 | 48.082 % | 114.93/115.04 c | 20187 | 38017 257540 566159 | 103874 6627 33 | 48.082 % | 115.04/115.11 c =============================================================================== 115.04/115.11 c New solution: 252 115.04/115.11 o 252 115.04/115.11 c Elapsed CPU time: 114.773 s Remaining CPU time: 65.2274 s 115.04/115.11 c =============================================================================== 115.04/115.11 c | 20196 | 37818 257541 566459 | 85847 6636 33 | 48.082 % | 115.04/115.18 c =============================================================================== 115.04/115.18 c New solution: 251 115.04/115.18 o 251 115.04/115.18 c Elapsed CPU time: 114.844 s Remaining CPU time: 65.1565 s 115.04/115.18 c =============================================================================== 115.04/115.18 c | 20215 | 37576 257542 566759 | 85847 5728 31 | 48.082 % | 115.14/115.26 c | 20317 | 37530 257542 566759 | 94432 5830 31 | 48.747 % | 115.24/115.39 c | 20467 | 37530 257542 566759 | 103875 5980 31 | 48.747 % | 115.34/115.49 c =============================================================================== 115.34/115.49 c New solution: 250 115.34/115.49 o 250 115.34/115.49 c Elapsed CPU time: 115.151 s Remaining CPU time: 64.8485 s 115.34/115.49 c =============================================================================== 115.34/115.49 c | 20542 | 37334 257543 567059 | 85847 6055 31 | 48.747 % | 115.44/115.56 c | 20644 | 37278 257543 567059 | 94432 6157 31 | 49.079 % | 115.53/115.65 c | 20794 | 37278 257543 567059 | 103875 6307 32 | 49.079 % | 115.63/115.78 c =============================================================================== 115.63/115.78 c New solution: 249 115.63/115.78 o 249 115.63/115.78 c Elapsed CPU time: 115.443 s Remaining CPU time: 64.5566 s 115.63/115.78 c =============================================================================== 115.63/115.78 c | 20940 | 37092 257544 567359 | 85848 6453 32 | 49.079 % | 115.73/115.89 c | 21040 | 37083 257544 567359 | 94432 6553 32 | 49.411 % | 115.83/115.98 c =============================================================================== 115.83/115.98 c New solution: 248 115.83/115.98 o 248 115.83/115.98 c Elapsed CPU time: 115.637 s Remaining CPU time: 64.3626 s 115.83/115.98 c =============================================================================== 115.83/115.98 c | 21099 | 36850 257545 567659 | 85848 5447 30 | 49.411 % | 115.93/116.05 c | 21199 | 36809 257545 567659 | 94433 5547 31 | 49.743 % | 116.04/116.15 c | 21349 | 36809 257545 567659 | 103876 5697 31 | 49.743 % | 116.24/116.30 c | 21574 | 36806 257545 567659 | 114264 5922 31 | 49.743 % | 116.24/116.37 c =============================================================================== 116.24/116.37 c New solution: 247 116.24/116.37 o 247 116.24/116.37 c Elapsed CPU time: 116.025 s Remaining CPU time: 63.9746 s 116.24/116.37 c =============================================================================== 116.24/116.37 c | 21593 | 36608 257546 567959 | 85848 5941 31 | 49.743 % | 116.34/116.44 c =============================================================================== 116.34/116.44 c New solution: 246 116.34/116.44 o 246 116.34/116.44 c Elapsed CPU time: 116.099 s Remaining CPU time: 63.9006 s 116.34/116.44 c =============================================================================== 116.34/116.44 c | 21623 | 36366 257547 568259 | 85849 5971 31 | 49.743 % | 116.44/116.52 c | 21726 | 36304 257547 568259 | 94433 6074 31 | 50.408 % | 116.54/116.64 c | 21877 | 36304 257547 568259 | 103877 6225 31 | 50.408 % | 116.63/116.74 c =============================================================================== 116.63/116.74 c New solution: 245 116.63/116.74 o 245 116.63/116.74 c Elapsed CPU time: 116.389 s Remaining CPU time: 63.6107 s 116.63/116.74 c =============================================================================== 116.63/116.74 c | 21931 | 36124 257548 568559 | 85849 5632 31 | 50.408 % | 116.73/116.81 c | 22031 | 36100 257548 568559 | 94434 5732 31 | 50.740 % | 116.83/116.95 c | 22181 | 36091 257548 568559 | 103877 5882 31 | 50.740 % | 116.93/117.07 c | 22408 | 36087 257548 568559 | 114265 6109 31 | 50.740 % | 117.13/117.26 c | 22746 | 36087 257548 568559 | 125692 6447 32 | 50.740 % | 117.54/117.70 c | 23252 | 35882 257548 568559 | 138261 6651 33 | 50.740 % | 117.64/117.79 c =============================================================================== 117.64/117.79 c New solution: 244 117.64/117.79 o 244 117.64/117.79 c Elapsed CPU time: 117.427 s Remaining CPU time: 62.5729 s 117.64/117.79 c =============================================================================== 117.64/117.79 c | 23323 | 35882 257549 568859 | 85849 6722 33 | 50.740 % | 117.73/117.87 c =============================================================================== 117.73/117.87 c New solution: 243 117.73/117.87 o 243 117.73/117.87 c Elapsed CPU time: 117.507 s Remaining CPU time: 62.4929 s 117.73/117.87 c =============================================================================== 117.73/117.87 c | 23371 | 35640 257550 569159 | 85850 6770 33 | 50.740 % | 117.83/117.96 c | 23474 | 35613 257550 569159 | 94435 6873 33 | 51.404 % | 117.93/118.06 c =============================================================================== 117.93/118.06 c New solution: 242 117.93/118.06 o 242 117.93/118.06 c Elapsed CPU time: 117.702 s Remaining CPU time: 62.2979 s 117.93/118.06 c =============================================================================== 117.93/118.06 c | 23527 | 35398 257551 569459 | 85850 6926 33 | 51.404 % | 118.03/118.16 c | 23627 | 35156 257551 569459 | 94435 6018 31 | 51.737 % | 118.13/118.22 c =============================================================================== 118.13/118.22 c New solution: 241 118.13/118.22 o 241 118.13/118.22 c Elapsed CPU time: 117.861 s Remaining CPU time: 62.1389 s 118.13/118.22 c =============================================================================== 118.13/118.22 c | 23639 | 35156 257552 569759 | 85850 6030 31 | 51.737 % | 118.23/118.30 c | 23740 | 35061 257552 569759 | 94435 6131 31 | 52.069 % | 118.33/118.43 c | 23891 | 35061 257552 569759 | 103879 6282 32 | 52.069 % | 118.43/118.56 c | 24116 | 35061 257552 569759 | 114267 6507 32 | 52.069 % | 118.64/118.74 c | 24453 | 35061 257552 569759 | 125693 6844 32 | 52.069 % | 118.74/118.88 c =============================================================================== 118.74/118.88 c New solution: 240 118.74/118.88 o 240 118.74/118.88 c Elapsed CPU time: 118.508 s Remaining CPU time: 61.492 s 118.74/118.88 c =============================================================================== 118.74/118.88 c | 24567 | 34914 257553 570059 | 85851 6643 31 | 52.069 % | 118.83/118.95 c | 24667 | 34904 257553 570059 | 94436 6743 31 | 52.401 % | 118.93/119.02 c =============================================================================== 118.93/119.02 c New solution: 239 118.93/119.02 o 239 118.93/119.02 c Elapsed CPU time: 118.648 s Remaining CPU time: 61.352 s 118.93/119.02 c =============================================================================== 118.93/119.02 c | 24681 | 34672 257554 570359 | 85851 6757 31 | 52.401 % | 118.93/119.08 c =============================================================================== 118.93/119.08 c New solution: 238 118.93/119.08 o 238 118.93/119.08 c Elapsed CPU time: 118.713 s Remaining CPU time: 61.287 s 118.93/119.08 c =============================================================================== 118.93/119.08 c | 24705 | 34430 257555 570659 | 85851 6781 31 | 52.401 % | 119.03/119.16 c | 24805 | 34371 257555 570659 | 94436 6881 32 | 53.066 % | 119.13/119.29 c | 24955 | 34371 257555 570659 | 103880 7031 32 | 53.066 % | 119.23/119.36 c =============================================================================== 119.23/119.36 c New solution: 237 119.23/119.36 o 237 119.23/119.36 c Elapsed CPU time: 118.987 s Remaining CPU time: 61.0131 s 119.23/119.36 c =============================================================================== 119.23/119.36 c | 24996 | 34188 257556 570959 | 85852 7072 32 | 53.066 % | 119.33/119.44 c | 25099 | 34186 257556 570959 | 94437 7175 32 | 53.398 % | 119.43/119.55 c =============================================================================== 119.43/119.55 c New solution: 236 119.43/119.55 o 236 119.43/119.55 c Elapsed CPU time: 119.181 s Remaining CPU time: 60.8191 s 119.43/119.55 c =============================================================================== 119.43/119.55 c | 25203 | 33946 257557 571259 | 85852 7279 32 | 53.398 % | 119.53/119.63 c | 25305 | 33704 257557 571259 | 94437 5830 31 | 53.730 % | 119.63/119.78 c | 25457 | 33704 257557 571259 | 103881 5982 31 | 53.730 % | 119.74/119.85 c =============================================================================== 119.74/119.85 c New solution: 235 119.74/119.85 o 235 119.74/119.85 c Elapsed CPU time: 119.473 s Remaining CPU time: 60.5272 s 119.74/119.85 c =============================================================================== 119.74/119.85 c | 25475 | 33704 257558 571559 | 85852 6000 31 | 53.730 % | 119.84/119.93 c =============================================================================== 119.84/119.93 c New solution: 234 119.84/119.93 o 234 119.84/119.93 c Elapsed CPU time: 119.559 s Remaining CPU time: 60.4412 s 119.84/119.93 c =============================================================================== 119.84/119.93 c | 25544 | 33462 257559 571859 | 85853 6069 31 | 53.730 % | 119.93/120.02 c | 25644 | 33452 257559 571859 | 94438 6169 31 | 54.394 % | 120.03/120.10 c | 25794 | 33435 257559 571859 | 103882 6319 31 | 54.394 % | 120.13/120.28 c | 26019 | 33433 257559 571859 | 114270 6544 33 | 54.394 % | 120.43/120.56 c | 26356 | 33220 257559 571859 | 125697 6233 32 | 54.394 % | 120.53/120.66 c =============================================================================== 120.53/120.66 c New solution: 233 120.53/120.66 o 233 120.53/120.66 c Elapsed CPU time: 120.281 s Remaining CPU time: 59.7193 s 120.53/120.66 c =============================================================================== 120.53/120.66 c | 26457 | 33220 257560 572159 | 85853 6334 32 | 54.394 % | 120.63/120.75 c | 26557 | 33211 257560 572159 | 94438 6434 32 | 54.727 % | 120.73/120.83 c | 26707 | 33144 257560 572159 | 103882 6584 32 | 54.727 % | 120.84/120.94 c | 26936 | 33144 257560 572159 | 114270 6813 32 | 54.727 % | 121.23/121.32 c | 27273 | 33144 257560 572159 | 125697 7150 33 | 54.727 % | 121.23/121.39 c =============================================================================== 121.23/121.39 c New solution: 232 121.23/121.39 o 232 121.23/121.39 c Elapsed CPU time: 121.012 s Remaining CPU time: 58.9884 s 121.23/121.39 c =============================================================================== 121.23/121.39 c | 27292 | 32978 257561 572459 | 85853 6949 33 | 54.727 % | 121.33/121.47 c =============================================================================== 121.33/121.47 c New solution: 231 121.33/121.47 o 231 121.33/121.47 c Elapsed CPU time: 121.09 s Remaining CPU time: 58.9104 s 121.33/121.47 c =============================================================================== 121.33/121.47 c | 27338 | 32736 257562 572759 | 85854 6995 33 | 54.727 % | 121.43/121.55 c | 27438 | 32729 257562 572759 | 94439 7095 34 | 55.391 % | 121.53/121.64 c | 27588 | 32703 257562 572759 | 103883 7245 34 | 55.391 % | 121.73/121.80 c | 27814 | 32698 257562 572759 | 114271 7471 34 | 55.391 % | 121.73/121.86 c =============================================================================== 121.73/121.86 c New solution: 230 121.73/121.86 o 230 121.73/121.86 c Elapsed CPU time: 121.482 s Remaining CPU time: 58.5185 s 121.73/121.86 c =============================================================================== 121.73/121.86 c | 27838 | 32494 257563 573059 | 85854 7495 34 | 55.391 % | 121.83/121.92 c | 27938 | 32442 257563 573059 | 94439 7595 34 | 55.723 % | 121.93/122.01 c | 28088 | 32442 257563 573059 | 103883 7745 34 | 55.723 % | 122.13/122.24 c | 28313 | 32438 257563 573059 | 114272 7970 34 | 55.723 % | 122.23/122.36 c =============================================================================== 122.23/122.36 c New solution: 229 122.23/122.36 o 229 122.23/122.36 c Elapsed CPU time: 121.967 s Remaining CPU time: 58.0325 s 122.23/122.36 c =============================================================================== 122.23/122.36 c | 28441 | 32252 257564 573359 | 85854 6873 32 | 55.723 % | 122.33/122.42 c | 28541 | 32203 257564 573359 | 94440 6973 32 | 56.056 % | 122.43/122.53 c | 28691 | 32203 257564 573359 | 103884 7123 32 | 56.056 % | 122.63/122.73 c | 28917 | 32202 257564 573359 | 114272 7349 33 | 56.056 % | 122.73/122.80 c =============================================================================== 122.73/122.80 c New solution: 228 122.73/122.80 o 228 122.73/122.80 c Elapsed CPU time: 122.411 s Remaining CPU time: 57.5886 s 122.73/122.80 c =============================================================================== 122.73/122.80 c | 28979 | 32010 257565 573659 | 85855 7411 33 | 56.056 % | 122.73/122.87 c | 29080 | 31958 257565 573659 | 94440 7512 33 | 56.388 % | 122.93/123.01 c | 29230 | 31958 257565 573659 | 103884 7662 33 | 56.388 % | 123.04/123.13 c | 29455 | 31768 257565 573659 | 114273 7060 32 | 56.388 % | 123.23/123.34 c | 29792 | 31768 257565 573659 | 125700 7397 32 | 56.388 % | 123.33/123.46 c =============================================================================== 123.33/123.46 c New solution: 227 123.33/123.46 o 227 123.33/123.46 c Elapsed CPU time: 123.065 s Remaining CPU time: 56.9347 s 123.33/123.46 c =============================================================================== 123.33/123.46 c | 30028 | 31768 257566 573959 | 85855 7633 32 | 56.388 % | 123.43/123.52 c | 30128 | 31723 257566 573959 | 94440 7733 32 | 56.720 % | 123.53/123.63 c | 30279 | 31719 257566 573959 | 103884 7884 32 | 56.720 % | 123.63/123.77 c | 30504 | 31715 257566 573959 | 114273 8109 32 | 56.720 % | 123.83/123.99 c | 30843 | 31526 257566 573959 | 125700 8080 32 | 56.720 % | 124.23/124.39 c | 31350 | 31526 257566 573959 | 138270 8587 33 | 56.720 % | 124.33/124.46 c =============================================================================== 124.33/124.46 c New solution: 226 124.33/124.46 o 226 124.33/124.46 c Elapsed CPU time: 124.057 s Remaining CPU time: 55.9429 s 124.33/124.46 c =============================================================================== 124.33/124.46 c | 31376 | 31526 257567 574259 | 85855 8613 33 | 56.720 % | 124.43/124.53 c | 31476 | 31450 257567 574259 | 94441 8713 33 | 57.052 % | 124.53/124.67 c | 31626 | 31284 257567 574259 | 103885 8183 32 | 57.052 % | 124.63/124.74 c =============================================================================== 124.63/124.74 c New solution: 225 124.63/124.74 o 225 124.63/124.74 c Elapsed CPU time: 124.337 s Remaining CPU time: 55.6629 s 124.63/124.74 c =============================================================================== 124.63/124.74 c | 31651 | 31284 257568 574559 | 85856 8208 32 | 57.052 % | 124.73/124.81 c | 31751 | 31263 257568 574559 | 94441 8308 32 | 57.384 % | 124.83/124.92 c | 31901 | 31259 257568 574559 | 103885 8458 32 | 57.384 % | 124.93/125.04 c | 32127 | 31249 257568 574559 | 114274 8684 32 | 57.385 % | 125.03/125.19 c | 32464 | 31249 257568 574559 | 125701 9021 32 | 57.384 % | 125.53/125.63 c | 32970 | 31246 257568 574559 | 138271 9527 32 | 57.384 % | 125.63/125.75 c =============================================================================== 125.63/125.75 c New solution: 224 125.63/125.75 o 224 125.63/125.75 c Elapsed CPU time: 125.349 s Remaining CPU time: 54.6511 s 125.63/125.75 c =============================================================================== 125.63/125.75 c | 33104 | 31042 257569 574859 | 85856 9300 32 | 57.384 % | 125.73/125.89 c | 33205 | 31035 257569 574859 | 94441 9401 33 | 57.717 % | 125.83/125.98 c | 33357 | 31028 257569 574859 | 103886 9553 33 | 57.717 % | 126.03/126.17 c | 33582 | 31024 257569 574859 | 114274 9778 33 | 57.717 % | 126.23/126.31 c =============================================================================== 126.23/126.31 c New solution: 223 126.23/126.31 o 223 126.23/126.31 c Elapsed CPU time: 125.908 s Remaining CPU time: 54.0921 s 126.23/126.31 c =============================================================================== 126.23/126.31 c | 33717 | 30800 257570 575159 | 85856 9913 33 | 57.717 % | 126.23/126.39 c | 33817 | 30795 257570 575159 | 94442 10013 33 | 58.049 % | 126.43/126.52 c | 33969 | 30791 257570 575159 | 103886 10165 33 | 58.049 % | 126.52/126.63 c =============================================================================== 126.52/126.63 c New solution: 222 126.52/126.63 o 222 126.52/126.63 c Elapsed CPU time: 126.226 s Remaining CPU time: 53.7742 s 126.52/126.63 c =============================================================================== 126.52/126.63 c | 34044 | 30558 257571 575459 | 85857 9287 33 | 58.049 % | 126.62/126.73 c | 34145 | 30548 257571 575459 | 94442 9388 33 | 58.381 % | 126.72/126.83 c | 34295 | 30533 257571 575459 | 103886 9538 33 | 58.381 % | 126.92/127.02 c | 34520 | 30531 257571 575459 | 114275 9763 33 | 58.381 % | 127.13/127.26 c | 34857 | 30518 257571 575459 | 125703 10100 33 | 58.381 % | 127.53/127.66 c | 35364 | 30518 257571 575459 | 138273 10607 34 | 58.381 % | 128.23/128.39 c | 36123 | 30316 257571 575459 | 152100 10647 35 | 58.381 % | 128.53/128.63 c =============================================================================== 128.53/128.63 c New solution: 221 128.53/128.63 o 221 128.53/128.63 c Elapsed CPU time: 128.208 s Remaining CPU time: 51.7925 s 128.53/128.63 c =============================================================================== 128.53/128.63 c | 36713 | 30316 257572 575759 | 85857 11237 36 | 58.381 % | 128.63/128.72 c | 36813 | 30300 257572 575759 | 94443 11337 36 | 58.713 % | 128.72/128.85 c | 36964 | 30074 257572 575759 | 103887 10848 35 | 58.713 % | 128.82/128.98 c | 37189 | 30074 257572 575759 | 114276 11073 35 | 58.713 % | 129.12/129.25 c | 37526 | 30074 257572 575759 | 125703 11410 36 | 58.713 % | 129.33/129.48 c | 38032 | 30074 257572 575759 | 138274 11916 35 | 58.713 % | 130.12/130.22 c | 38791 | 30074 257572 575759 | 152101 12675 36 | 58.713 % | 130.53/130.63 c | 39930 | 30074 257572 575759 | 167311 13814 36 | 58.713 % | 132.02/132.14 c | 41640 | 30074 257572 575759 | 184042 15524 36 | 58.714 % | 133.03/133.19 c | 44202 | 30074 257572 575759 | 202447 18086 37 | 58.713 % | 136.33/136.45 c | 48047 | 30074 257572 575759 | 222691 21931 39 | 58.713 % | 136.72/136.84 c =============================================================================== 136.72/136.84 c New solution: 220 136.72/136.84 o 220 136.72/136.84 c Elapsed CPU time: 136.367 s Remaining CPU time: 43.6327 s 136.72/136.84 c =============================================================================== 136.72/136.84 c | 48484 | 30074 257573 576059 | 85857 22368 40 | 58.713 % | 136.82/136.93 c | 48586 | 29832 257573 576059 | 94443 21379 39 | 59.046 % | 136.92/137.08 c | 48736 | 29832 257573 576059 | 103887 21529 39 | 59.046 % | 137.12/137.24 c =============================================================================== 137.12/137.24 c New solution: 219 137.12/137.24 o 219 137.12/137.24 c Elapsed CPU time: 136.769 s Remaining CPU time: 43.2308 s 137.12/137.24 c =============================================================================== 137.12/137.24 c | 48938 | 29832 257574 576359 | 85858 21731 39 | 59.046 % | 137.22/137.34 c | 49040 | 29817 257574 576359 | 94443 21833 39 | 59.378 % | 137.44/137.51 c | 49190 | 29811 257574 576359 | 103888 21983 39 | 59.378 % | 137.44/137.57 c =============================================================================== 137.44/137.57 c New solution: 218 137.44/137.57 o 218 137.44/137.57 c Elapsed CPU time: 137.097 s Remaining CPU time: 42.9028 s 137.44/137.57 c =============================================================================== 137.44/137.57 c | 49204 | 29590 257575 576659 | 85858 21997 39 | 59.378 % | 137.53/137.65 c | 49304 | 29571 257575 576659 | 94444 22097 39 | 59.710 % | 137.63/137.78 c | 49454 | 29569 257575 576659 | 103888 22247 39 | 59.710 % | 137.73/137.87 c =============================================================================== 137.73/137.87 c New solution: 217 137.73/137.87 o 217 137.73/137.87 c Elapsed CPU time: 137.397 s Remaining CPU time: 42.6029 s 137.73/137.87 c =============================================================================== 137.73/137.87 c | 49541 | 29348 257576 576959 | 85858 22334 39 | 59.710 % | 137.83/137.99 c | 49642 | 29340 257576 576959 | 94444 22435 39 | 60.042 % | 137.93/138.09 c | 49793 | 29305 257576 576959 | 103888 22586 39 | 60.042 % | 138.12/138.29 c | 50019 | 29303 257576 576959 | 114277 22812 39 | 60.042 % | 138.32/138.47 c | 50356 | 29296 257576 576959 | 125705 23149 39 | 60.042 % | 138.92/139.00 c | 50862 | 29106 257576 576959 | 138276 20718 38 | 60.042 % | 139.63/139.72 c | 51621 | 29106 257576 576959 | 152103 21477 38 | 60.042 % | 140.02/140.12 c | 52760 | 29106 257576 576959 | 167314 22616 38 | 60.042 % | 140.82/140.98 c | 54468 | 29106 257576 576959 | 184045 24324 39 | 60.042 % | 143.02/143.11 c | 57032 | 29106 257576 576959 | 202450 26888 42 | 60.042 % | 146.43/146.56 c | 60879 | 29106 257576 576959 | 222695 30735 44 | 60.042 % | 146.62/146.74 c =============================================================================== 146.62/146.74 c New solution: 216 146.62/146.74 o 216 146.62/146.74 c Elapsed CPU time: 146.218 s Remaining CPU time: 33.7822 s 146.62/146.74 c =============================================================================== 146.62/146.74 c | 61214 | 29106 257577 577259 | 85859 31070 44 | 60.042 % | 146.72/146.84 c | 61316 | 28864 257577 577259 | 94444 29607 42 | 60.375 % | 146.92/147.04 c | 61468 | 28864 257577 577259 | 103889 29759 42 | 60.375 % | 147.02/147.19 c | 61693 | 28864 257577 577259 | 114278 29984 42 | 60.375 % | 147.42/147.55 c | 62031 | 28864 257577 577259 | 125706 30322 42 | 60.375 % | 147.52/147.67 c =============================================================================== 147.52/147.67 c New solution: 215 147.52/147.67 o 215 147.52/147.67 c Elapsed CPU time: 147.146 s Remaining CPU time: 32.8544 s 147.52/147.67 c =============================================================================== 147.52/147.67 c | 62182 | 28864 257578 577559 | 85859 30473 42 | 60.375 % | 147.62/147.77 c | 62282 | 28860 257578 577559 | 94445 30573 42 | 60.707 % | 147.73/147.85 c | 62432 | 28815 257578 577559 | 103889 30723 42 | 60.707 % | 147.92/148.06 c | 62659 | 28814 257578 577559 | 114278 30950 42 | 60.707 % | 148.12/148.23 c =============================================================================== 148.12/148.23 c New solution: 214 148.12/148.23 o 214 148.12/148.23 c Elapsed CPU time: 147.705 s Remaining CPU time: 32.2955 s 148.12/148.23 c =============================================================================== 148.12/148.23 c | 62787 | 28622 257579 577859 | 85859 31078 42 | 60.707 % | 148.22/148.33 c | 62888 | 28618 257579 577859 | 94445 31179 42 | 61.039 % | 148.33/148.42 c | 63038 | 28562 257579 577859 | 103890 31329 42 | 61.039 % | 148.43/148.59 c | 63265 | 28562 257579 577859 | 114279 31556 42 | 61.039 % | 148.82/148.96 c | 63602 | 28561 257579 577859 | 125707 31893 42 | 61.039 % | 149.02/149.13 c =============================================================================== 149.02/149.13 c New solution: 213 149.02/149.13 o 213 149.02/149.13 c Elapsed CPU time: 148.59 s Remaining CPU time: 31.4096 s 149.02/149.13 c =============================================================================== 149.02/149.13 c | 63715 | 28380 257580 578159 | 85860 29644 41 | 61.039 % | 149.12/149.22 c | 63820 | 28364 257580 578159 | 94446 29749 41 | 61.371 % | 149.22/149.37 c | 63970 | 28363 257580 578159 | 103890 29899 41 | 61.371 % | 149.42/149.56 c | 64195 | 28352 257580 578159 | 114279 30124 41 | 61.371 % | 149.62/149.72 c | 64533 | 28316 257580 578159 | 125707 30462 41 | 61.371 % | 150.02/150.16 c | 65039 | 28316 257580 578159 | 138278 30968 42 | 61.371 % | 150.52/150.65 c | 65798 | 28314 257580 578159 | 152106 31727 42 | 61.371 % | 151.32/151.41 c | 66937 | 28313 257580 578159 | 167316 32866 42 | 61.371 % | 152.42/152.51 c | 68645 | 28138 257580 578159 | 184048 33830 43 | 61.371 % | 154.62/154.75 c | 71209 | 28138 257580 578159 | 202453 36394 44 | 61.371 % | 155.82/155.94 c =============================================================================== 155.82/155.94 c New solution: 212 155.82/155.94 o 212 155.82/155.94 c Elapsed CPU time: 155.377 s Remaining CPU time: 24.6226 s 155.82/155.94 c =============================================================================== 155.82/155.94 c | 73422 | 28138 257581 578459 | 85860 38607 45 | 61.371 % | 155.92/156.05 c | 73523 | 27896 257581 578459 | 94446 37037 44 | 61.703 % | 156.12/156.24 c | 73673 | 27896 257581 578459 | 103891 37187 44 | 61.703 % | 156.22/156.38 c | 73898 | 27896 257581 578459 | 114280 37412 44 | 61.703 % | 156.52/156.62 c | 74235 | 27896 257581 578459 | 125708 37749 44 | 61.703 % | 157.13/157.25 c | 74741 | 27896 257581 578459 | 138278 38255 44 | 61.703 % | 157.42/157.57 c | 75500 | 27896 257581 578459 | 152106 39014 44 | 61.703 % | 158.42/158.58 c | 76639 | 27896 257581 578459 | 167317 40153 45 | 61.703 % | 159.62/159.74 c | 78349 | 27896 257581 578459 | 184049 41863 45 | 61.703 % | 162.51/162.65 c | 80911 | 27896 257581 578459 | 202454 44425 45 | 61.703 % | 164.42/164.55 c | 84756 | 27896 257581 578459 | 222699 48270 44 | 61.703 % | 167.31/167.49 c | 90522 | 27896 257581 578459 | 244969 54036 45 | 61.703 % | 178.21/178.33 c | 99171 | 27896 257581 578459 | 269466 62685 49 | 61.703 % | 180.51/180.69 c There are 44946 assigned variables. 202 in cost function. 182.01/182.10 c core #1 182.01/182.10 c core #2 182.01/182.10 c core #3 182.01/182.10 c core #4 182.01/182.10 c core #5 182.01/182.10 c ============================[ Search Statistics ]============================== 182.01/182.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.01/182.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.01/182.10 c =============================================================================== 182.01/182.10 c | 0 | 5871 133503 231120 | 44501 0 nan | 0.000 % | 182.01/182.10 c =============================================================================== 182.20/182.32 c core #6 182.20/182.32 c ============================[ Search Statistics ]============================== 182.20/182.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.20/182.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.20/182.33 c =============================================================================== 182.20/182.33 c | 0 | 6206 133596 231697 | 44532 0 nan | 0.000 % | 182.20/182.34 c =============================================================================== 182.42/182.56 c core #7 182.42/182.56 c ============================[ Search Statistics ]============================== 182.42/182.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.42/182.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.42/182.56 c =============================================================================== 182.42/182.56 c | 0 | 6540 133688 232275 | 44562 0 nan | 0.000 % | 182.42/182.57 c =============================================================================== 182.71/182.80 c core #8 182.71/182.80 c ============================[ Search Statistics ]============================== 182.71/182.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.71/182.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.71/182.80 c =============================================================================== 182.71/182.80 c | 0 | 6873 133779 232853 | 44593 0 nan | 0.000 % | 182.71/182.84 c =============================================================================== 182.90/183.06 c core #9 182.90/183.06 c ============================[ Search Statistics ]============================== 182.90/183.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.90/183.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.90/183.06 c =============================================================================== 182.90/183.06 c | 0 | 7205 133869 233431 | 44623 0 nan | 0.000 % | 183.00/183.10 c =============================================================================== 183.21/183.33 c core #10 183.21/183.33 c ============================[ Search Statistics ]============================== 183.21/183.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.21/183.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.21/183.33 c =============================================================================== 183.21/183.33 c | 0 | 7536 133958 234010 | 44652 0 nan | 0.000 % | 183.31/183.40 c =============================================================================== 183.52/183.62 c core #11 183.52/183.62 c ============================[ Search Statistics ]============================== 183.52/183.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.52/183.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.52/183.62 c =============================================================================== 183.52/183.62 c | 0 | 7866 134048 234595 | 44682 0 nan | 0.000 % | 183.52/183.68 c | 100 | 7866 134048 234595 | 49150 100 16 | 89.351 % | 183.62/183.76 c | 250 | 7858 134048 234595 | 54066 250 20 | 89.783 % | 183.62/183.78 c =============================================================================== 183.91/184.00 c core #12 183.91/184.00 c ============================[ Search Statistics ]============================== 183.91/184.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.91/184.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.91/184.00 c =============================================================================== 183.91/184.00 c | 0 | 8195 134139 235187 | 44713 0 nan | 0.000 % | 183.91/184.07 c | 101 | 8195 134139 235187 | 49184 101 17 | 88.919 % | 184.00/184.16 c | 253 | 8185 134139 235187 | 54102 253 19 | 89.242 % | 184.10/184.21 c =============================================================================== 184.30/184.44 c core #13 184.30/184.44 c ============================[ Search Statistics ]============================== 184.30/184.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.30/184.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.30/184.44 c =============================================================================== 184.30/184.44 c | 0 | 8523 134231 235783 | 44743 0 nan | 0.000 % | 184.40/184.50 c | 100 | 8523 134231 235783 | 49218 100 17 | 88.488 % | 184.40/184.59 c | 250 | 8523 134231 235783 | 54139 250 22 | 88.489 % | 184.61/184.73 c | 475 | 8320 134231 235783 | 59553 444 23 | 88.763 % | 184.61/184.80 c =============================================================================== 184.91/185.03 c core #14 184.91/185.03 c ============================[ Search Statistics ]============================== 184.91/185.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.91/185.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.91/185.03 c =============================================================================== 184.91/185.03 c | 0 | 8850 134317 236362 | 44772 0 nan | 0.000 % | 185.01/185.10 c | 100 | 8850 134317 236362 | 49249 100 19 | 88.061 % | 185.01/185.18 c | 251 | 8849 134317 236362 | 54174 251 23 | 88.119 % | 185.21/185.31 c | 478 | 8721 134317 236362 | 59591 390 26 | 88.235 % | 185.41/185.52 c | 815 | 8605 134317 236362 | 65551 513 23 | 88.391 % | 185.51/185.63 c =============================================================================== 185.71/185.86 c core #15 185.71/185.86 c ============================[ Search Statistics ]============================== 185.71/185.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.71/185.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.71/185.86 c =============================================================================== 185.71/185.86 c | 0 | 9176 134405 236950 | 44801 0 nan | 0.000 % | 185.81/185.92 c | 101 | 9176 134405 236950 | 49281 101 19 | 87.635 % | 185.91/186.01 c | 251 | 9176 134405 236950 | 54210 251 24 | 87.635 % | 186.01/186.17 c | 478 | 9175 134405 236950 | 59631 478 28 | 87.706 % | 186.21/186.38 c | 815 | 9117 134405 236950 | 65594 810 27 | 87.767 % | 186.60/186.70 c | 1321 | 9073 134405 236950 | 72153 1251 29 | 87.881 % | 186.81/186.94 c =============================================================================== 187.00/187.18 c core #16 187.00/187.18 c ============================[ Search Statistics ]============================== 187.00/187.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.00/187.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.00/187.18 c =============================================================================== 187.00/187.18 c | 0 | 9501 134496 237551 | 44832 0 nan | 0.000 % | 187.10/187.25 c | 100 | 9501 134496 237551 | 49315 100 17 | 87.211 % | 187.20/187.35 c | 250 | 9501 134496 237551 | 54246 250 23 | 87.211 % | 187.31/187.47 c | 475 | 9501 134496 237551 | 59671 475 25 | 87.211 % | 187.61/187.71 c | 813 | 9501 134496 237551 | 65638 813 29 | 87.211 % | 187.91/188.04 c | 1320 | 9343 134496 237551 | 72202 1140 29 | 87.424 % | 188.40/188.54 c | 2079 | 9314 134496 237551 | 79422 1898 32 | 87.600 % | 189.02/189.20 c =============================================================================== 189.31/189.43 c core #17 189.31/189.43 c ============================[ Search Statistics ]============================== 189.31/189.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.31/189.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.31/189.43 c =============================================================================== 189.31/189.43 c | 0 | 9825 134581 238134 | 44860 0 nan | 0.000 % | 189.41/189.50 c | 100 | 9825 134581 238134 | 49346 100 20 | 86.790 % | 189.51/189.61 c | 250 | 9825 134581 238134 | 54281 250 24 | 86.790 % | 189.61/189.75 c | 477 | 9694 134581 238134 | 59709 445 24 | 86.966 % | 189.91/190.00 c | 815 | 9694 134581 238134 | 65680 783 26 | 86.966 % | 190.21/190.36 c | 1321 | 9604 134581 238134 | 72248 1258 30 | 87.087 % | 190.71/190.83 c | 2080 | 9604 134581 238134 | 79472 2017 32 | 87.087 % | 191.51/191.65 c | 3220 | 9502 134581 238134 | 87420 2547 32 | 87.224 % | 192.80/192.98 c | 4928 | 8884 134581 238134 | 96162 2065 28 | 88.384 % | 193.00/193.17 c =============================================================================== 193.30/193.40 c core #18 193.30/193.40 c ============================[ Search Statistics ]============================== 193.30/193.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.30/193.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.30/193.40 c =============================================================================== 193.30/193.40 c | 0 | 10148 134662 238710 | 44887 0 nan | 0.000 % | 193.30/193.47 c | 100 | 10148 134662 238710 | 49376 100 18 | 86.370 % | 193.41/193.57 c | 251 | 10148 134662 238710 | 54313 251 25 | 86.370 % | 193.61/193.72 c | 477 | 10148 134662 238710 | 59745 477 27 | 86.370 % | 193.81/193.94 c | 814 | 10148 134662 238710 | 65719 814 29 | 86.370 % | 194.10/194.27 c | 1320 | 10148 134662 238710 | 72291 1320 30 | 86.370 % | 194.70/194.82 c | 2079 | 10061 134662 238710 | 79520 2061 33 | 86.487 % | 195.51/195.64 c | 3219 | 10041 134662 238710 | 87472 3111 36 | 86.715 % | 196.81/196.93 c | 4927 | 9891 134662 238710 | 96219 4675 38 | 86.715 % | 198.80/198.97 c | 7489 | 9738 134662 238710 | 105841 5608 35 | 87.107 % | 201.90/202.03 c | 11333 | 9554 134662 238710 | 116426 7663 36 | 87.210 % | 203.00/203.11 c =============================================================================== 203.20/203.35 c core #19 203.20/203.35 c ============================[ Search Statistics ]============================== 203.20/203.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.20/203.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.20/203.35 c =============================================================================== 203.20/203.35 c | 0 | 10470 134749 239304 | 44916 0 nan | 0.000 % | 203.30/203.43 c | 100 | 10470 134749 239304 | 49407 100 24 | 85.953 % | 203.40/203.53 c | 251 | 10470 134749 239304 | 54348 251 24 | 85.953 % | 203.59/203.72 c | 478 | 10470 134749 239304 | 59783 478 31 | 85.953 % | 203.79/203.96 c | 816 | 10470 134749 239304 | 65762 816 30 | 85.953 % | 204.20/204.35 c | 1322 | 10470 134749 239304 | 72338 1322 32 | 85.953 % | 204.79/204.96 c | 2081 | 10352 134749 239304 | 79572 1919 34 | 86.111 % | 205.70/205.81 c | 3220 | 10352 134749 239304 | 87529 3058 36 | 86.111 % | 206.89/207.04 c | 4928 | 10352 134749 239304 | 96282 4766 36 | 86.111 % | 209.00/209.16 c | 7490 | 10352 134749 239304 | 105910 7328 41 | 86.111 % | 212.49/212.68 c | 11334 | 10139 134749 239304 | 116501 8830 40 | 86.397 % | 218.29/218.46 c | 17102 | 10129 134749 239304 | 128151 14598 44 | 86.472 % | 227.39/227.53 c =============================================================================== 227.59/227.76 c core #20 227.59/227.76 c ============================[ Search Statistics ]============================== 227.59/227.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.59/227.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.59/227.76 c =============================================================================== 227.59/227.76 c | 0 | 10791 134833 239888 | 44944 0 nan | 0.000 % | 227.68/227.83 c | 100 | 10791 134833 239888 | 49438 100 19 | 85.537 % | 227.78/227.92 c | 250 | 10791 134833 239888 | 54382 250 29 | 85.537 % | 227.88/228.07 c | 475 | 10791 134833 239888 | 59820 475 33 | 85.537 % | 228.08/228.27 c | 813 | 10791 134833 239888 | 65802 813 33 | 85.537 % | 228.39/228.55 c | 1322 | 10791 134833 239888 | 72383 1322 32 | 85.537 % | 228.89/229.02 c | 2082 | 10791 134833 239888 | 79621 2082 34 | 85.537 % | 229.69/229.81 c | 3221 | 10791 134833 239888 | 87583 3221 37 | 85.537 % | 230.80/230.98 c | 4929 | 10791 134833 239888 | 96342 4929 37 | 85.537 % | 232.69/232.85 c | 7492 | 10791 134833 239888 | 105976 7492 40 | 85.537 % | 235.98/236.16 c | 11337 | 10791 134833 239888 | 116574 11337 42 | 85.537 % | 241.48/241.62 c | 17103 | 10604 134833 239888 | 128231 13729 42 | 85.788 % | 250.38/250.51 c | 25752 | 10604 134833 239888 | 141054 22378 45 | 85.788 % | 266.88/267.04 c | 38726 | 10588 134833 239888 | 155160 35348 50 | 85.809 % | 298.26/298.45 c =============================================================================== 298.56/298.70 c core #21 298.56/298.70 c ============================[ Search Statistics ]============================== 298.56/298.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 298.56/298.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 298.56/298.70 c =============================================================================== 298.56/298.70 c | 0 | 11111 134942 240543 | 44980 0 nan | 0.000 % | 298.56/298.78 c | 101 | 11111 134942 240543 | 49478 101 20 | 85.124 % | 298.66/298.89 c | 251 | 11111 134942 240543 | 54426 251 26 | 85.124 % | 298.86/299.04 c | 476 | 11111 134942 240543 | 59869 476 29 | 85.124 % | 299.07/299.29 c | 813 | 11111 134942 240543 | 65856 813 31 | 85.124 % | 299.46/299.62 c | 1320 | 11111 134942 240543 | 72441 1320 34 | 85.124 % | 299.96/300.20 c | 2079 | 11111 134942 240543 | 79685 2079 38 | 85.124 % | 300.76/300.98 c | 3219 | 11111 134942 240543 | 87654 3219 37 | 85.124 % | 302.06/302.21 c | 4928 | 11111 134942 240543 | 96420 4928 38 | 85.124 % | 304.06/304.22 c | 7490 | 11111 134942 240543 | 106062 7490 37 | 85.124 % | 307.66/307.87 c | 11334 | 11111 134942 240543 | 116668 11334 40 | 85.124 % | 313.76/313.90 c | 17102 | 11111 134942 240543 | 128335 17102 43 | 85.124 % | 323.44/323.66 c | 25751 | 11111 134942 240543 | 141168 25751 47 | 85.124 % | 340.63/340.82 c | 38726 | 11111 134942 240543 | 155285 38726 53 | 85.124 % | 373.52/373.73 c | 58188 | 11046 134942 240543 | 170814 58186 56 | 85.211 % | 438.90/439.13 c | 87380 | 10685 134942 240543 | 187895 76519 57 | 85.834 % | 493.37/493.61 c =============================================================================== 493.69/493.93 c core #22 493.69/493.93 c ============================[ Search Statistics ]============================== 493.69/493.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 493.69/493.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 493.69/493.93 c =============================================================================== 493.69/493.93 c | 0 | 11430 135045 241185 | 45015 0 nan | 0.000 % | 493.78/494.00 c | 100 | 11430 135045 241185 | 49516 100 20 | 84.745 % | 493.78/494.08 c | 250 | 11430 135045 241185 | 54468 250 20 | 84.745 % | 493.98/494.21 c | 475 | 11430 135045 241185 | 59914 475 39 | 84.745 % | 494.08/494.38 c | 812 | 11405 135045 241185 | 65906 811 34 | 84.768 % | 494.48/494.70 c | 1318 | 11405 135045 241185 | 72497 1317 34 | 84.768 % | 494.87/495.16 c | 2078 | 11389 135045 241185 | 79746 2074 31 | 84.768 % | 495.67/495.95 c | 3217 | 11389 135045 241185 | 87721 3213 36 | 84.768 % | 496.77/497.07 c | 4926 | 11389 135045 241185 | 96493 4922 37 | 84.768 % | 498.77/499.00 c | 7488 | 11389 135045 241185 | 106143 7484 42 | 84.768 % | 501.87/502.16 c | 11334 | 11389 135045 241185 | 116757 11330 42 | 84.768 % | 507.47/507.78 c | 17101 | 11389 135045 241185 | 128433 17097 44 | 84.768 % | 517.77/518.02 c | 25750 | 11032 135045 241185 | 141276 21645 43 | 85.245 % | 534.86/535.13 c | 38724 | 11032 135045 241185 | 155403 34619 49 | 85.245 % | 565.65/565.90 c | 58188 | 11032 135045 241185 | 170944 54083 51 | 85.245 % | 626.12/626.46 c | 87381 | 10997 135045 241185 | 188038 78407 54 | 85.292 % | 737.89/738.27 c | 131172 | 10499 135045 241185 | 206842 82377 51 | 85.958 % | 883.33/883.73 c =============================================================================== 883.73/884.10 c core #23 883.73/884.10 c ============================[ Search Statistics ]============================== 883.73/884.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 883.73/884.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 883.73/884.10 c =============================================================================== 883.73/884.10 c | 0 | 11748 135151 241835 | 45050 0 nan | 0.000 % | 883.73/884.17 c | 101 | 11748 135151 241835 | 49555 101 16 | 84.303 % | 883.94/884.32 c | 251 | 11748 135151 241835 | 54510 251 33 | 84.303 % | 884.04/884.49 c | 478 | 11748 135151 241835 | 59961 478 32 | 84.303 % | 884.33/884.76 c | 816 | 11748 135151 241835 | 65958 816 38 | 84.303 % | 884.63/885.05 c | 1323 | 11748 135151 241835 | 72554 1323 35 | 84.303 % | 885.23/885.63 c | 2083 | 11748 135151 241835 | 79809 2083 43 | 84.303 % | 886.13/886.52 c | 3222 | 11748 135151 241835 | 87790 3222 50 | 84.303 % | 887.34/887.74 c | 4932 | 11748 135151 241835 | 96569 4932 44 | 84.303 % | 889.92/890.30 c | 7495 | 11748 135151 241835 | 106226 7495 48 | 84.303 % | 892.83/893.24 c | 11339 | 11748 135151 241835 | 116848 11339 46 | 84.303 % | 898.52/898.91 c | 17105 | 11748 135151 241835 | 128533 17105 46 | 84.303 % | 909.12/909.51 c | 25754 | 11748 135151 241835 | 141387 25754 50 | 84.303 % | 927.31/927.71 c | 38728 | 11748 135151 241835 | 155525 38728 54 | 84.303 % | 956.20/956.61 c | 58190 | 11554 135151 241835 | 171078 51807 57 | 84.563 % | 1013.38/1013.85 c | 87383 | 11554 135151 241835 | 188186 81000 57 | 84.563 % | 1127.73/1128.26 c | 131172 | 11554 135151 241835 | 207005 124789 58 | 84.563 % | 1359.15/1359.70 c | 196856 | 11554 135151 241835 | 227705 190473 58 | 84.563 % |
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-2687217-1278449739/watcher-2687217-1278449739 -o /tmp/evaluation-result-2687217-1278449739/solver-2687217-1278449739 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687217-1278449739.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.08 1.02 1.01 3/106 22141 /proc/meminfo: memFree=1831048/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=11420 CPUtime=0 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 13181306 11694080 293 1992294400 134512640 135751879 4288203680 18446744073709551615 134613727 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 2855 293 144 303 0 445 0 [startup+0.0201471 s] /proc/loadavg: 1.08 1.02 1.01 3/106 22141 /proc/meminfo: memFree=1831048/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=11996 CPUtime=0.01 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 547 0 0 0 1 0 0 0 20 0 1 0 13181306 12283904 465 1992294400 134512640 135751879 4288203680 18446744073709551615 134559623 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 2999 465 162 303 0 589 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11996 [startup+0.101162 s] /proc/loadavg: 1.08 1.02 1.01 3/106 22141 /proc/meminfo: memFree=1831048/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=16184 CPUtime=0.09 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 1628 0 0 0 9 0 0 0 20 0 1 0 13181306 16572416 1546 1992294400 134512640 135751879 4288203680 18446744073709551615 135205107 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 4079 1547 288 303 0 1669 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16184 [startup+0.300198 s] /proc/loadavg: 1.08 1.02 1.01 3/106 22141 /proc/meminfo: memFree=1831048/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=20456 CPUtime=0.29 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 2944 0 0 0 28 1 0 0 20 0 1 0 13181306 20946944 2829 1992294400 134512640 135751879 4288203680 18446744073709551615 134637748 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 5114 2829 592 303 0 2704 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20456 [startup+0.70027 s] /proc/loadavg: 1.08 1.02 1.01 3/106 22141 /proc/meminfo: memFree=1831048/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=25628 CPUtime=0.69 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 4754 0 0 0 68 1 0 0 21 0 1 0 13181306 26243072 4599 1992294400 134512640 135751879 4288203680 18446744073709551615 134574068 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 6407 4599 1199 303 0 3997 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25628 [startup+1.50042 s] /proc/loadavg: 1.08 1.02 1.01 2/107 22142 /proc/meminfo: memFree=1811820/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=38052 CPUtime=1.49 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 8492 0 0 0 147 2 0 0 23 0 1 0 13181306 38965248 8223 1992294400 134512640 135751879 4288203680 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 9513 8223 2101 303 0 7103 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 38052 [startup+3.10071 s] /proc/loadavg: 1.08 1.02 1.01 2/107 22142 /proc/meminfo: memFree=1781192/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=56468 CPUtime=3.09 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 15483 0 0 0 304 5 0 0 25 0 1 0 13181306 57823232 12884 1992294400 134512640 135751879 4288203680 18446744073709551615 135201635 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 14117 12884 146 303 0 13812 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 56468 [startup+6.30129 s] /proc/loadavg: 1.07 1.02 1.00 2/107 22142 /proc/meminfo: memFree=1772264/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=65840 CPUtime=6.29 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 17818 0 0 0 622 7 0 0 25 0 1 0 13181306 67420160 15219 1992294400 134512640 135751879 4288203680 18446744073709551615 134697028 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 16460 15219 146 303 0 16155 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 65840 [startup+12.7015 s] /proc/loadavg: 1.07 1.02 1.00 2/107 22142 /proc/meminfo: memFree=1756888/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=79700 CPUtime=12.68 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 21280 0 0 0 1261 7 0 0 25 0 1 0 13181306 81612800 18681 1992294400 134512640 135751879 4288203680 18446744073709551615 135202556 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 19925 18681 146 303 0 19620 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 79700 [startup+25.5008 s] /proc/loadavg: 1.05 1.01 1.00 2/107 22142 /proc/meminfo: memFree=1736428/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=99500 CPUtime=25.48 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 26242 0 0 0 2538 10 0 0 25 0 1 0 13181306 101888000 23643 1992294400 134512640 135751879 4288203680 18446744073709551615 135010270 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 24875 23643 146 303 0 24570 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 99500 [startup+51.1004 s] /proc/loadavg: 1.03 1.01 1.00 2/107 22142 /proc/meminfo: memFree=1706668/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=130520 CPUtime=51.06 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 33982 0 0 0 5092 14 0 0 25 0 1 0 13181306 133652480 31383 1992294400 134512640 135751879 4288203680 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 32630 31383 146 303 0 32325 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 130520 [startup+102.308 s] /proc/loadavg: 1.01 1.01 1.00 2/107 22144 /proc/meminfo: memFree=1670956/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=164004 CPUtime=102.25 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 43800 0 0 0 10204 21 0 0 25 0 1 0 13181306 167940096 39890 1992294400 134512640 135751879 4288203680 18446744073709551615 134620510 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 41001 39890 147 303 0 40696 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 164004 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22146 /proc/meminfo: memFree=1670708/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=164004 CPUtime=162.21 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 43800 0 0 0 16169 52 0 0 25 0 1 0 13181306 167940096 39890 1992294400 134512640 135751879 4288203680 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 41001 39890 147 303 0 40696 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 164004 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22148 /proc/meminfo: memFree=1681620/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=151304 CPUtime=222.19 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 52310 0 0 0 22139 80 0 0 25 0 1 0 13181306 154935296 37174 1992294400 134512640 135751879 4288203680 18446744073709551615 134605954 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 37826 37174 151 303 0 37521 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 151304 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22149 /proc/meminfo: memFree=1681620/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=151304 CPUtime=282.17 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 52748 0 0 0 28118 99 0 0 25 0 1 0 13181306 154935296 37175 1992294400 134512640 135751879 4288203680 18446744073709551615 134607290 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 37826 37175 151 303 0 37521 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 151304 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22159 /proc/meminfo: memFree=1680092/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=151304 CPUtime=342.13 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 53186 0 0 0 34094 119 0 0 25 0 1 0 13181306 154935296 37175 1992294400 134512640 135751879 4288203680 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 37826 37175 151 303 0 37521 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 151304 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22161 /proc/meminfo: memFree=1680092/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=151304 CPUtime=402.11 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 53186 0 0 0 40078 133 0 0 25 0 1 0 13181306 154935296 37175 1992294400 134512640 135751879 4288203680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 37826 37175 151 303 0 37521 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 151304 [startup+462.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22163 /proc/meminfo: memFree=1680092/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=151304 CPUtime=462.09 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 53186 0 0 0 46064 145 0 0 25 0 1 0 13181306 154935296 37175 1992294400 134512640 135751879 4288203680 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 37826 37175 151 303 0 37521 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 151304 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22165 /proc/meminfo: memFree=1679968/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=151304 CPUtime=522.06 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 53625 0 0 0 52046 160 0 0 25 0 1 0 13181306 154935296 37176 1992294400 134512640 135751879 4288203680 18446744073709551615 134611204 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 37826 37176 151 303 0 37521 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 151304 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22166 /proc/meminfo: memFree=1679968/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=151304 CPUtime=582.04 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 53625 0 0 0 58028 176 0 0 25 0 1 0 13181306 154935296 37176 1992294400 134512640 135751879 4288203680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 37826 37176 151 303 0 37521 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 151304 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22167 /proc/meminfo: memFree=1679968/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=151304 CPUtime=642.02 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 53635 0 0 0 64011 191 0 0 25 0 1 0 13181306 154935296 37186 1992294400 134512640 135751879 4288203680 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 37826 37186 151 303 0 37521 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 151304 [startup+702.301 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22173 /proc/meminfo: memFree=1679968/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=151304 CPUtime=821.95 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 53635 0 0 0 81971 224 0 0 25 0 1 0 13181306 154935296 37186 1992294400 134512640 135751879 4288203680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 37826 37186 151 303 0 37521 0 Current children cumulated CPU time (s) 821.95 Current children cumulated vsize (KiB) 151304 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22174 /proc/meminfo: memFree=1679968/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=151304 CPUtime=881.93 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 53635 0 0 0 87957 236 0 0 25 0 1 0 13181306 154935296 37186 1992294400 134512640 135751879 4288203680 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 37826 37186 151 303 0 37521 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 151304 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22175 /proc/meminfo: memFree=1676744/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=155152 CPUtime=941.91 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 54845 0 0 0 93936 255 0 0 25 0 1 0 13181306 158875648 37957 1992294400 134512640 135751879 4288203680 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 38788 37957 151 303 0 38483 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 155152 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22177 /proc/meminfo: memFree=1674388/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=158056 CPUtime=1001.89 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 55567 0 0 0 99918 271 0 0 25 0 1 0 13181306 161849344 38679 1992294400 134512640 135751879 4288203680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 39514 38679 151 303 0 39209 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 158056 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22179 /proc/meminfo: memFree=1667568/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=165248 CPUtime=1061.86 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 57304 0 0 0 105901 285 0 0 25 0 1 0 13181306 169213952 40416 1992294400 134512640 135751879 4288203680 18446744073709551615 134610830 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 41312 40416 151 303 0 41007 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 165248 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22181 /proc/meminfo: memFree=1660996/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=171588 CPUtime=1121.84 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 58910 0 0 0 111884 300 0 0 25 0 1 0 13181306 175706112 42022 1992294400 134512640 135751879 4288203680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 42897 42022 151 303 0 42592 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 171588 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22182 /proc/meminfo: memFree=1655912/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=176916 CPUtime=1181.81 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 60194 0 0 0 117871 310 0 0 25 0 1 0 13181306 181161984 43306 1992294400 134512640 135751879 4288203680 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 44229 43306 151 303 0 43924 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 176916 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22183 /proc/meminfo: memFree=1651076/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=181704 CPUtime=1241.79 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 61409 0 0 0 123857 322 0 0 25 0 1 0 13181306 186064896 44521 1992294400 134512640 135751879 4288203680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 45426 44521 151 303 0 45121 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 181704 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22185 /proc/meminfo: memFree=1646116/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=186464 CPUtime=1301.77 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 62620 0 0 0 129844 333 0 0 25 0 1 0 13181306 190939136 45732 1992294400 134512640 135751879 4288203680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 46616 45732 151 303 0 46311 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 186464 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22187 /proc/meminfo: memFree=1641032/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=191464 CPUtime=1361.74 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 63881 0 0 0 135830 344 0 0 25 0 1 0 13181306 196059136 46993 1992294400 134512640 135751879 4288203680 18446744073709551615 134616263 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 47866 46993 151 303 0 47561 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 191464 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22189 /proc/meminfo: memFree=1635700/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=196756 CPUtime=1421.73 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 65203 0 0 0 141816 357 0 0 25 0 1 0 13181306 201478144 48315 1992294400 134512640 135751879 4288203680 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 49189 48315 151 303 0 48884 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 196756 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22193 /proc/meminfo: memFree=1630244/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=201948 CPUtime=1481.7 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 66423 0 0 0 147805 365 0 0 25 0 1 0 13181306 206794752 49535 1992294400 134512640 135751879 4288203680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 50487 49535 151 303 0 50182 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 201948 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22194 /proc/meminfo: memFree=1626028/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=206640 CPUtime=1541.67 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 67592 0 0 0 153790 377 0 0 25 0 1 0 13181306 211599360 50704 1992294400 134512640 135751879 4288203680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 51660 50704 151 303 0 51355 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 206640 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22196 /proc/meminfo: memFree=1621936/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=210752 CPUtime=1601.65 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 68618 0 0 0 159779 386 0 0 25 0 1 0 13181306 215810048 51730 1992294400 134512640 135751879 4288203680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 52688 51730 151 303 0 52383 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 210752 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22198 /proc/meminfo: memFree=1617720/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=214844 CPUtime=1661.63 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 69660 0 0 0 165769 394 0 0 25 0 1 0 13181306 220000256 52772 1992294400 134512640 135751879 4288203680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 53711 52772 151 303 0 53406 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 214844 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22200 /proc/meminfo: memFree=1613380/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=219136 CPUtime=1721.61 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 70734 0 0 0 171757 404 0 0 25 0 1 0 13181306 224395264 53846 1992294400 134512640 135751879 4288203680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 54784 53846 151 303 0 54479 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 219136 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22201 /proc/meminfo: memFree=1609164/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=223260 CPUtime=1781.58 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 71773 0 0 0 177747 411 0 0 25 0 1 0 13181306 228618240 54885 1992294400 134512640 135751879 4288203680 18446744073709551615 134620388 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 55815 54885 151 303 0 55510 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 223260 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22202 /proc/meminfo: memFree=1608048/2059040 swapFree=4190404/4192956 [pid=22141] ppid=22139 vsize=224448 CPUtime=1800.08 /proc/22141/stat : 22141 (wbo1.4b) R 22139 22141 21911 0 -1 4202496 72070 0 0 0 179594 414 0 0 25 0 1 0 13181306 229834752 55182 1992294400 134512640 135751879 4288203680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22141/statm: 56112 55182 151 303 0 55807 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 224448 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.83 CPU time (s): 1800.12 CPU user time (s): 1795.95 CPU system time (s): 4.17037 CPU usage (%): 99.9603 Max. virtual memory (cumulated for all children) (KiB): 224448 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.95 system time used= 4.17037 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 72070 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= 48 involuntary context switches= 3018 runsolver used 2.82357 second user time and 8.68468 second system time The end
Begin job on node044 at 2010-07-06 22:55:40 IDJOB=2687217 IDBENCH=77513 IDSOLVER=1161 FILE ID=node044/2687217-1278449739 PBS_JOBID= 11233545 Free space on /tmp= 62492 MiB SOLVER NAME= wbo 1.4b 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 CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2687217-1278449739/watcher-2687217-1278449739 -o /tmp/evaluation-result-2687217-1278449739/solver-2687217-1278449739 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687217-1278449739.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c5fc99dbb0a3becca43a9267891fcd33 RANDOM SEED=1537131968 node044.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.267 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.53 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.267 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1831700 kB Buffers: 4196 kB Cached: 91888 kB SwapCached: 104 kB Active: 29588 kB Inactive: 124988 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1831700 kB SwapTotal: 4192956 kB SwapFree: 4190404 kB Dirty: 11052 kB Writeback: 0 kB AnonPages: 58452 kB Mapped: 14400 kB Slab: 50744 kB PageTables: 4200 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181068 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2687217-1278449739.opb Free space on /tmp at the end= 62488 MiB End job on node044 at 2010-07-06 23:25:43