Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.11 | 1800.59 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_25_1.opb |
MD5SUM | 7980660368cd371c40e33d6668082e41 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -65 |
Best CPU time to get the best result obtained on this benchmark | 1800.23 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -64 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 500 |
Minimum length of a constraint | 25 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 15716 |
Sum of products size (including duplicates) | 31432 |
Number of different products | 7858 |
Sum of products size | 15716 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702513-1278568836.opb. 0.00/0.00 c Instance file HOME/instance-2702513-1278568836.opb 0.00/0.00 c File size is 665196 bytes. 0.09/0.10 c Highest Coefficient sum: 48 0.09/0.10 c ============================[ Problem Statistics ]============================= 0.09/0.10 c | | 0.09/0.10 c | Parsing time: 0.10 s | 0.09/0.10 c | Number Variables: 8358 | 0.09/0.10 c | Number Clauses: 7858 | 0.09/0.10 c | Number Cardinality: 1000 | 0.09/0.10 c | Number PB Constraints: 7858 | 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 500 16716 38561 | 5572 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c New solution: 0 0.09/0.13 o 0 0.09/0.13 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 500 16717 39061 | 5572 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: -1 0.09/0.14 o -1 0.09/0.14 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 500 16718 39561 | 5572 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: -2 0.09/0.14 o -2 0.09/0.14 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 500 16719 40061 | 5573 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: -3 0.09/0.14 o -3 0.09/0.14 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 500 16720 40561 | 5573 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: -4 0.09/0.15 o -4 0.09/0.15 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 1 | 500 16721 41061 | 5573 1 497 | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: -5 0.09/0.15 o -5 0.09/0.15 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 1 | 500 16722 41561 | 5574 1 497 | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: -6 0.09/0.15 o -6 0.09/0.15 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 7 | 500 16723 42061 | 5574 7 496 | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c New solution: -7 0.09/0.16 o -7 0.09/0.16 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s 0.09/0.16 c =============================================================================== 0.09/0.16 c | 9 | 500 16724 42561 | 5574 9 495 | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c New solution: -8 0.09/0.16 o -8 0.09/0.16 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s 0.09/0.16 c =============================================================================== 0.09/0.16 c | 11 | 500 16725 43061 | 5575 11 495 | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c New solution: -9 0.09/0.17 o -9 0.09/0.17 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s 0.09/0.17 c =============================================================================== 0.09/0.17 c | 17 | 500 16726 43561 | 5575 17 494 | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c New solution: -10 0.09/0.17 o -10 0.09/0.17 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s 0.09/0.17 c =============================================================================== 0.09/0.17 c | 26 | 500 16727 44061 | 5575 26 493 | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c New solution: -11 0.09/0.18 o -11 0.09/0.18 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 59 | 500 16728 44561 | 5576 59 492 | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c New solution: -12 0.09/0.19 o -12 0.09/0.19 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s 0.09/0.19 c =============================================================================== 0.09/0.19 c | 75 | 500 16729 45061 | 5576 75 493 | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: -13 0.19/0.20 o -13 0.19/0.20 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 154 | 500 16730 45561 | 5576 154 491 | 0.000 % | 0.19/0.22 c | 255 | 500 16730 45561 | 6134 255 490 | 94.018 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: -14 0.19/0.23 o -14 0.19/0.23 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 294 | 500 16731 46061 | 5577 294 490 | 94.018 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: -15 0.19/0.24 o -15 0.19/0.24 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 361 | 500 16732 46561 | 5577 361 489 | 94.018 % | 0.19/0.26 c | 462 | 500 16732 46561 | 6135 462 489 | 94.018 % | 0.19/0.29 c | 614 | 500 16732 46561 | 6748 614 488 | 94.018 % | 0.29/0.34 c | 839 | 500 16732 46561 | 7423 839 488 | 94.018 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c New solution: -16 0.29/0.36 o -16 0.29/0.36 c Elapsed CPU time: 0.350946 s Remaining CPU time: 179.649 s 0.29/0.36 c =============================================================================== 0.29/0.36 c | 936 | 500 16733 47061 | 5577 936 488 | 94.018 % | 0.29/0.38 c | 1037 | 500 16733 47061 | 6135 1037 488 | 94.018 % | 0.39/0.43 c | 1190 | 500 16733 47061 | 6748 1190 488 | 94.018 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c New solution: -17 0.39/0.45 o -17 0.39/0.45 c Elapsed CPU time: 0.429934 s Remaining CPU time: 179.57 s 0.39/0.45 c =============================================================================== 0.39/0.45 c | 1242 | 500 16734 47561 | 5578 1242 487 | 94.018 % | 0.39/0.47 c | 1343 | 500 16734 47561 | 6135 1343 487 | 94.018 % | 0.49/0.51 c | 1493 | 500 16734 47561 | 6749 1493 487 | 94.018 % | 0.49/0.57 c | 1718 | 500 16734 47561 | 7424 1718 487 | 94.018 % | 0.59/0.62 c =============================================================================== 0.59/0.62 c New solution: -18 0.59/0.62 o -18 0.59/0.62 c Elapsed CPU time: 0.601908 s Remaining CPU time: 179.398 s 0.59/0.62 c =============================================================================== 0.59/0.62 c | 1895 | 500 16735 48061 | 5578 1895 487 | 94.018 % | 0.59/0.65 c | 1995 | 500 16735 48061 | 6136 1995 487 | 94.018 % | 0.59/0.69 c | 2147 | 500 16735 48061 | 6749 2147 487 | 94.018 % | 0.69/0.78 c | 2372 | 500 16735 48061 | 7424 2372 487 | 94.018 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c New solution: -19 0.79/0.88 o -19 0.79/0.88 c Elapsed CPU time: 0.855869 s Remaining CPU time: 179.144 s 0.79/0.88 c =============================================================================== 0.79/0.88 c | 2617 | 500 16736 48561 | 5578 2617 487 | 94.018 % | 0.89/0.92 c | 2718 | 500 16736 48561 | 6136 2718 487 | 94.018 % | 0.89/0.97 c | 2870 | 500 16736 48561 | 6750 2870 487 | 94.018 % | 1.00/1.04 c | 3096 | 500 16736 48561 | 7425 3096 487 | 94.018 % | 1.10/1.18 c | 3434 | 500 16736 48561 | 8167 3434 487 | 94.018 % | 1.39/1.41 c | 3942 | 500 16736 48561 | 8984 3942 487 | 94.018 % | 1.79/1.84 c | 4701 | 500 16736 48561 | 9882 4701 488 | 94.018 % | 2.29/2.38 c | 5840 | 500 16736 48561 | 10871 5840 488 | 94.018 % | 3.30/3.36 c =============================================================================== 3.30/3.36 c New solution: -20 3.30/3.36 o -20 3.30/3.36 c Elapsed CPU time: 3.3085 s Remaining CPU time: 176.692 s 3.30/3.36 c =============================================================================== 3.30/3.36 c | 7002 | 500 16737 49061 | 5579 7002 487 | 94.018 % | 3.39/3.42 c | 7102 | 500 16737 49061 | 6136 7102 487 | 94.018 % | 3.49/3.53 c | 7252 | 500 16737 49061 | 6750 7252 487 | 94.018 % | 3.59/3.66 c | 7477 | 500 16737 49061 | 7425 7477 487 | 94.018 % | 3.89/3.90 c | 7815 | 500 16737 49061 | 8168 7815 487 | 94.018 % | 4.09/4.17 c | 8321 | 500 16737 49061 | 8985 8321 487 | 94.018 % | 4.19/4.24 c =============================================================================== 4.19/4.24 c New solution: -21 4.19/4.24 o -21 4.19/4.24 c Elapsed CPU time: 4.17636 s Remaining CPU time: 175.824 s 4.19/4.24 c =============================================================================== 4.19/4.24 c | 8383 | 500 16738 49561 | 5579 8383 487 | 94.018 % | 4.30/4.33 c | 8484 | 500 16738 49561 | 6137 8484 487 | 94.018 % | 4.40/4.45 c | 8636 | 500 16738 49561 | 6750 8636 487 | 94.018 % | 4.49/4.50 c | 8861 | 500 16738 49561 | 7426 8861 487 | 94.018 % | 4.59/4.68 c | 9199 | 500 16738 49561 | 8168 9199 487 | 94.018 % | 4.99/5.03 c | 9706 | 500 16738 49561 | 8985 9706 487 | 94.018 % | 5.60/5.67 c | 10467 | 500 16738 49561 | 9884 10467 487 | 94.018 % | 5.69/5.76 c =============================================================================== 5.69/5.76 c New solution: -22 5.69/5.76 o -22 5.69/5.76 c Elapsed CPU time: 5.68314 s Remaining CPU time: 174.317 s 5.69/5.76 c =============================================================================== 5.69/5.76 c | 10563 | 500 16739 50061 | 5579 10563 487 | 94.018 % | 5.89/5.90 c | 10665 | 500 16739 50061 | 6137 10665 487 | 94.018 % | 6.09/6.11 c | 10815 | 500 16739 50061 | 6751 10815 487 | 94.018 % | 6.29/6.33 c | 11041 | 500 16739 50061 | 7426 11041 487 | 94.018 % | 6.39/6.40 c =============================================================================== 6.39/6.40 c New solution: -23 6.39/6.40 o -23 6.39/6.40 c Elapsed CPU time: 6.31804 s Remaining CPU time: 173.682 s 6.39/6.40 c =============================================================================== 6.39/6.40 c | 11093 | 500 16740 50561 | 5580 11093 487 | 94.018 % | 6.60/6.63 c | 11193 | 500 16740 50561 | 6138 11193 487 | 94.018 % | 6.69/6.77 c =============================================================================== 6.69/6.77 c New solution: -24 6.69/6.77 o -24 6.69/6.77 c Elapsed CPU time: 6.68898 s Remaining CPU time: 173.311 s 6.69/6.77 c =============================================================================== 6.69/6.77 c | 11291 | 500 16741 51061 | 5580 11291 487 | 94.018 % | 6.89/6.92 c | 11392 | 500 16741 51061 | 6138 11392 487 | 94.018 % | 7.09/7.16 c | 11545 | 500 16741 51061 | 6752 11545 487 | 94.018 % | 7.39/7.44 c | 11771 | 500 16741 51061 | 7427 11771 487 | 94.018 % | 7.79/7.80 c | 12109 | 500 16741 51061 | 8170 12109 486 | 94.018 % | 8.39/8.45 c | 12617 | 500 16741 51061 | 8987 12617 486 | 94.018 % | 9.29/9.33 c | 13377 | 500 16741 51061 | 9885 13377 486 | 94.018 % | 10.79/10.81 c | 14517 | 500 16741 51061 | 10874 14517 485 | 94.018 % | 13.49/13.51 c =============================================================================== 13.49/13.51 c New solution: -25 13.49/13.51 o -25 13.49/13.51 c Elapsed CPU time: 13.402 s Remaining CPU time: 166.598 s 13.49/13.51 c =============================================================================== 13.49/13.51 c | 16129 | 500 16742 51561 | 5580 16129 485 | 94.018 % | 13.59/13.69 c | 16230 | 500 16742 51561 | 6138 8166 482 | 94.018 % | 13.79/13.89 c | 16381 | 500 16742 51561 | 6752 8317 482 | 94.018 % | 13.99/14.05 c | 16606 | 500 16742 51561 | 7427 8542 482 | 94.018 % | 14.19/14.29 c | 16944 | 500 16742 51561 | 8170 8880 482 | 94.018 % | 14.49/14.54 c | 17452 | 500 16742 51561 | 8987 9388 482 | 94.018 % | 14.89/14.98 c | 18212 | 500 16742 51561 | 9886 10148 482 | 94.018 % | 16.29/16.36 c | 19351 | 500 16742 51561 | 10875 11287 481 | 94.018 % | 17.49/17.53 c =============================================================================== 17.49/17.53 c New solution: -26 17.49/17.53 o -26 17.49/17.53 c Elapsed CPU time: 17.3964 s Remaining CPU time: 162.604 s 17.49/17.53 c =============================================================================== 17.49/17.53 c | 20300 | 500 16743 52061 | 5581 12236 481 | 94.018 % | 17.59/17.67 c | 20400 | 500 16743 52061 | 6139 12336 481 | 94.018 % | 17.68/17.79 c | 20550 | 500 16743 52061 | 6753 12486 481 | 94.018 % | 17.89/17.95 c =============================================================================== 17.89/17.95 c New solution: -27 17.89/17.95 o -27 17.89/17.95 c Elapsed CPU time: 17.8093 s Remaining CPU time: 162.191 s 17.89/17.95 c =============================================================================== 17.89/17.95 c | 20689 | 500 16744 52561 | 5581 12625 481 | 94.018 % | 17.99/18.07 c | 20789 | 500 16744 52561 | 6139 12725 481 | 94.018 % | 18.19/18.25 c | 20940 | 500 16744 52561 | 6753 12876 481 | 94.018 % | 18.38/18.41 c | 21166 | 500 16744 52561 | 7428 13102 481 | 94.018 % | 18.59/18.65 c | 21504 | 500 16744 52561 | 8171 13440 481 | 94.018 % | 19.09/19.16 c | 22010 | 500 16744 52561 | 8988 13946 480 | 94.018 % | 19.98/20.01 c | 22772 | 500 16744 52561 | 9887 14708 480 | 94.018 % | 21.29/21.31 c | 23911 | 500 16744 52561 | 10876 15847 480 | 94.018 % | 23.19/23.20 c | 25619 | 500 16744 52561 | 11964 17555 479 | 94.018 % | 25.47/25.56 c | 28181 | 500 16744 52561 | 13160 20117 479 | 94.018 % | 30.57/30.69 c | 32028 | 500 16744 52561 | 14476 13119 475 | 94.018 % | 35.66/35.76 c | 37795 | 500 16744 52561 | 15924 18886 475 | 94.018 % | 42.27/42.34 c | 46444 | 500 16744 52561 | 17516 14038 474 | 94.018 % | 42.66/42.74 c =============================================================================== 42.66/42.74 c New solution: -28 42.66/42.74 o -28 42.66/42.74 c Elapsed CPU time: 42.4256 s Remaining CPU time: 137.574 s 42.66/42.74 c =============================================================================== 42.66/42.74 c | 46870 | 500 16745 53061 | 5581 14464 474 | 94.018 % | 42.77/42.87 c | 46970 | 500 16745 53061 | 6139 7332 474 | 94.018 % | 42.87/42.98 c | 47120 | 500 16745 53061 | 6753 7482 474 | 94.018 % | 43.06/43.11 c | 47345 | 500 16745 53061 | 7429 7707 474 | 94.018 % | 43.26/43.30 c | 47683 | 500 16745 53061 | 8172 8045 474 | 94.018 % | 43.57/43.63 c | 48189 | 500 16745 53061 | 8989 8551 474 | 94.018 % | 44.26/44.34 c | 48949 | 500 16745 53061 | 9888 9311 474 | 94.018 % | 45.16/45.22 c | 50089 | 500 16745 53061 | 10877 10451 474 | 94.018 % | 46.26/46.35 c | 51798 | 500 16745 53061 | 11964 12160 474 | 94.018 % | 47.86/47.97 c | 54360 | 500 16745 53061 | 13161 14722 474 | 94.018 % | 48.16/48.25 c =============================================================================== 48.16/48.25 c New solution: -29 48.16/48.25 o -29 48.16/48.25 c Elapsed CPU time: 47.8957 s Remaining CPU time: 132.104 s 48.16/48.25 c =============================================================================== 48.16/48.25 c | 55141 | 500 16746 53561 | 5582 15503 474 | 94.018 % | 48.26/48.39 c | 55243 | 500 16746 53561 | 6140 7854 474 | 94.018 % | 48.37/48.43 c | 55394 | 500 16746 53561 | 6754 8005 474 | 94.018 % | 48.46/48.52 c | 55621 | 500 16746 53561 | 7429 8232 474 | 94.018 % | 48.56/48.66 c | 55958 | 500 16746 53561 | 8172 8569 474 | 94.018 % | 49.07/49.15 c | 56464 | 500 16746 53561 | 8989 9075 474 | 94.018 % | 49.76/49.85 c | 57223 | 500 16746 53561 | 9888 9834 474 | 94.018 % | 51.27/51.35 c | 58363 | 500 16746 53561 | 10877 10974 475 | 94.018 % | 53.66/53.70 c | 60071 | 500 16746 53561 | 11965 12682 475 | 94.018 % | 56.66/56.78 c | 62634 | 500 16746 53561 | 13162 15245 474 | 94.018 % | 58.06/58.13 c =============================================================================== 58.06/58.13 c New solution: -30 58.06/58.13 o -30 58.06/58.13 c Elapsed CPU time: 57.7182 s Remaining CPU time: 122.282 s 58.06/58.13 c =============================================================================== 58.06/58.13 c | 63570 | 500 16747 54061 | 5582 16181 474 | 94.018 % | 58.27/58.34 c | 63671 | 500 16747 54061 | 6140 8192 474 | 94.018 % | 58.36/58.42 c | 63822 | 500 16747 54061 | 6754 8343 474 | 94.018 % | 58.46/58.56 c | 64050 | 500 16747 54061 | 7430 8571 474 | 94.018 % | 58.66/58.72 c | 64387 | 500 16747 54061 | 8173 8908 474 | 94.018 % | 59.06/59.10 c | 64894 | 500 16747 54061 | 8990 9415 474 | 94.018 % | 59.66/59.75 c | 65653 | 500 16747 54061 | 9889 10174 474 | 94.018 % | 61.35/61.42 c | 66792 | 500 16747 54061 | 10878 11313 474 | 94.018 % | 63.06/63.19 c | 68501 | 500 16747 54061 | 11966 13022 474 | 94.018 % | 64.76/64.86 c | 71063 | 500 16747 54061 | 13162 15584 474 | 94.018 % | 67.07/67.13 c | 74908 | 500 16747 54061 | 14479 19429 473 | 94.018 % | 71.47/71.55 c | 80675 | 500 16747 54061 | 15927 13093 472 | 94.018 % | 73.86/73.90 c =============================================================================== 73.86/73.90 c New solution: -31 73.86/73.90 o -31 73.86/73.90 c Elapsed CPU time: 73.3638 s Remaining CPU time: 106.636 s 73.86/73.90 c =============================================================================== 73.86/73.90 c | 85387 | 500 16748 54561 | 5582 17805 472 | 94.018 % | 74.06/74.16 c | 85488 | 500 16748 54561 | 6140 9004 472 | 94.018 % | 74.15/74.27 c | 85641 | 500 16748 54561 | 6755 9157 472 | 94.018 % | 74.36/74.41 c | 85868 | 500 16748 54561 | 7430 9384 472 | 94.018 % | 74.66/74.73 c | 86205 | 500 16748 54561 | 8173 9721 472 | 94.018 % | 74.95/75.07 c | 86713 | 500 16748 54561 | 8990 10229 472 | 94.018 % | 75.56/75.61 c | 87474 | 500 16748 54561 | 9890 10990 472 | 94.018 % | 76.25/76.39 c | 88613 | 500 16748 54561 | 10879 12129 472 | 94.018 % | 77.46/77.55 c | 90322 | 500 16748 54561 | 11966 13838 472 | 94.018 % | 80.26/80.33 c | 92884 | 500 16748 54561 | 13163 16400 472 | 94.018 % | 84.76/84.81 c | 96729 | 500 16748 54561 | 14479 20245 471 | 94.018 % | 88.35/88.41 c | 102495 | 500 16748 54561 | 15927 13899 471 | 94.018 % | 94.45/94.57 c | 111146 | 500 16748 54561 | 17520 22550 471 | 94.018 % | 99.55/99.60 c =============================================================================== 99.55/99.60 c New solution: -32 99.55/99.60 o -32 99.55/99.60 c Elapsed CPU time: 98.871 s Remaining CPU time: 81.129 s 99.55/99.60 c =============================================================================== 99.55/99.60 c | 117440 | 500 16749 55061 | 5583 13809 470 | 94.018 % | 99.65/99.79 c | 117540 | 500 16749 55061 | 6141 7005 470 | 94.018 % | 99.85/99.96 c | 117690 | 500 16749 55061 | 6755 7155 470 | 94.018 % | 100.06/100.15 c | 117916 | 500 16749 55061 | 7430 7381 470 | 94.018 % | 100.35/100.48 c | 118253 | 500 16749 55061 | 8174 7718 471 | 94.018 % | 100.74/100.86 c | 118759 | 500 16749 55061 | 8991 8224 471 | 94.018 % | 101.45/101.53 c | 119519 | 500 16749 55061 | 9890 8984 471 | 94.018 % | 102.64/102.74 c | 120659 | 500 16749 55061 | 10879 10124 471 | 94.018 % | 104.25/104.36 c | 122369 | 500 16749 55061 | 11967 11834 471 | 94.018 % | 107.45/107.54 c | 124933 | 500 16749 55061 | 13164 14398 471 | 94.018 % | 112.25/112.38 c | 128778 | 500 16749 55061 | 14480 18243 470 | 94.018 % | 118.55/118.62 c | 134544 | 500 16749 55061 | 15928 11884 470 | 94.018 % | 122.94/123.09 c =============================================================================== 122.94/123.09 c New solution: -33 122.94/123.09 o -33 122.94/123.09 c Elapsed CPU time: 122.234 s Remaining CPU time: 57.7656 s 122.94/123.09 c =============================================================================== 122.94/123.09 c | 138826 | 500 16750 55561 | 5583 16166 470 | 94.018 % | 123.24/123.34 c | 138926 | 500 16750 55561 | 6141 8183 470 | 94.018 % | 123.44/123.50 c | 139076 | 500 16750 55561 | 6755 8333 470 | 94.018 % | 123.84/123.95 c | 139301 | 500 16750 55561 | 7431 8558 470 | 94.018 % | 124.35/124.40 c | 139639 | 500 16750 55561 | 8174 8896 470 | 94.018 % | 124.94/125.07 c | 140145 | 500 16750 55561 | 8992 9402 470 | 94.018 % | 125.64/125.77 c | 140904 | 500 16750 55561 | 9891 10161 470 | 94.018 % | 126.94/127.04 c | 142044 | 500 16750 55561 | 10880 11301 470 | 94.018 % | 129.34/129.48 c | 143752 | 500 16750 55561 | 11968 13009 470 | 94.018 % | 134.44/134.56 c | 146315 | 500 16750 55561 | 13165 15572 470 | 94.018 % | 138.45/138.60 c | 150159 | 500 16750 55561 | 14481 19416 470 | 94.018 % | 149.74/149.81 c | 155927 | 500 16750 55561 | 15929 13078 469 | 94.018 % | 158.54/158.66 c | 164577 | 500 16750 55561 | 17522 21728 469 | 94.018 % | 171.54/171.67 c | 177551 | 500 16750 55561 | 19275 19667 468 | 94.018 % | 181.03/181.14 c There are 7858 assigned variables. 0 in cost function. 182.33/182.48 c core #1 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -499 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #2 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -498 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #3 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -497 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #4 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -496 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #5 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -495 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #6 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -494 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #7 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -493 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #8 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -492 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #9 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -491 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #10 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -490 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #11 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -489 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #12 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -488 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #13 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -487 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #14 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -486 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #15 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -485 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #16 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -484 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #17 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -483 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #18 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -482 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #19 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -481 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #20 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -480 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #21 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -479 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #22 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -478 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #23 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -477 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #24 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -476 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #25 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -475 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #26 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -474 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #27 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -473 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #28 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -472 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #29 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -471 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #30 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -470 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #31 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -469 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #32 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -468 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #33 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -467 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #34 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -466 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #35 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -465 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #36 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -464 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #37 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -463 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #38 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -462 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #39 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -461 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #40 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -460 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #41 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -459 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #42 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -458 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #43 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -457 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #44 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -456 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #45 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -455 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #46 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -454 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #47 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -453 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #48 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -452 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #49 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -451 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #50 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -450 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #51 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -449 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #52 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -448 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #53 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -447 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #54 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -446 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #55 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -445 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #56 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -444 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #57 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -443 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #58 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -442 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c core #59 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 3 Core Weight: 1 Total Weight: -441 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #60 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -440 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #61 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -439 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #62 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -438 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #63 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -437 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #64 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -436 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #65 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -435 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #66 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -434 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #67 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -433 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #68 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -432 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #69 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -431 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #70 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -430 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #71 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -429 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #72 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -428 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #73 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -427 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #74 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -426 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #75 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -425 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #76 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -424 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #77 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -423 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #78 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -422 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #79 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -421 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #80 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -420 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #81 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -419 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #82 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -418 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #83 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -417 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #84 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -416 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #85 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -415 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #86 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -414 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #87 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -413 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #88 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -412 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #89 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -411 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #90 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -410 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #91 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -409 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #92 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -408 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #93 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -407 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #94 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -406 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #95 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -405 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #96 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -404 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #97 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -403 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #98 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -402 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #99 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -401 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #100 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -400 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #101 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -399 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #102 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -398 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c core #103 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 3 Core Weight: 1 Total Weight: -397 183.54/183.70 c 183.54/183.70 c 183.54/183.70 c core #104 183.54/183.70 c 183.54/183.70 c 183.54/183.70 c Core size: 3 Core Weight: 1 Total Weight: -396 183.54/183.70 c 183.54/183.70 c 183.54/183.70 c core #105 183.54/183.70 c 183.54/183.70 c 183.54/183.70 c Core size: 3 Core Weight: 1 Total Weight: -395 183.54/183.70 c 183.54/183.70 c 183.54/183.70 c core #106 183.54/183.70 c 183.54/183.70 c 183.54/183.70 c Core size: 3 Core Weight: 1 Total Weight: -394 183.54/183.70 c 183.54/183.70 c 183.54/183.70 c core #107 183.54/183.70 c 183.54/183.70 c 183.54/183.70 c Core size: 3 Core Weight: 1 Total Weight: -393 183.54/183.70 c 183.54/183.70 c 183.54/183.70 c core #108 183.54/183.70 c 183.54/183.70 c 183.54/183.70 c Core size: 3 Core Weight: 1 Total Weight: -392 183.54/183.70 c 183.54/183.70 c 183.54/183.70 c core #109 183.54/183.70 c 183.54/183.70 c 183.54/183.70 c Core size: 3 Core Weight: 1 Total Weight: -391 183.54/183.70 c 183.54/183.70 c 183.54/183.70 c core #110 183.54/183.70 c 183.54/183.70 c 183.54/183.70 c Core size: 3 Core Weight: 1 Total Weight: -390 183.54/183.70 c 183.54/183.70 c 183.54/183.70 c core #111 183.54/183.70 c 183.54/183.70 c 183.54/183.70 c Core size: 3 Core Weight: 1 Total Weight: -389 183.54/183.70 c 183.54/183.70 c 183.54/183.70 c core #112 183.54/183.70 c 183.54/183.70 c 183.54/183.70 c Core size: 3 Core Weight: 1 Total Weight: -388 183.54/183.70 c 183.54/183.70 c 183.54/183.70 c core #113 183.54/183.70 c 183.54/183.70 c 183.54/183.70 c Core size: 3 Core Weight: 1 Total Weight: -387 183.54/183.70 c 183.54/183.70 c 183.54/183.70 c core #114 183.54/183.70 c 183.54/183.70 c 183.54/183.70 c Core size: 3 Core Weight: 1 Total Weight: -386 183.54/183.70 c 183.54/183.70 c 183.54/183.70 c core #115 183.54/183.70 c 183.54/183.70 c 183.54/183.70 c Core size: 3 Core Weight: 1 Total Weight: -385 183.54/183.70 c 183.54/183.70 c 183.54/183.70 c core #116 183.54/183.70 c 183.54/183.70 c 183.54/183.70 c Core size: 3 Core Weight: 1 Total Weight: -384 183.54/183.70 c 183.54/183.70 c 183.54/183.70 c core #117 183.54/183.70 c 183.54/183.70 c 183.54/183.70 c Core size: 3 Core Weight: 1 Total Weight: -383 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c core #118 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c Core size: 3 Core Weight: 1 Total Weight: -382 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c core #119 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c Core size: 3 Core Weight: 1 Total Weight: -381 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c core #120 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c Core size: 3 Core Weight: 1 Total Weight: -380 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c core #121 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c Core size: 3 Core Weight: 1 Total Weight: -379 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c core #122 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c Core size: 3 Core Weight: 1 Total Weight: -378 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c core #123 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c Core size: 3 Core Weight: 1 Total Weight: -377 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c core #124 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c Core size: 3 Core Weight: 1 Total Weight: -376 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c core #125 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c Core size: 3 Core Weight: 1 Total Weight: -375 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c core #126 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c Core size: 3 Core Weight: 1 Total Weight: -374 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c core #127 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c Core size: 3 Core Weight: 1 Total Weight: -373 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c core #128 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c Core size: 3 Core Weight: 1 Total Weight: -372 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c core #129 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c Core size: 3 Core Weight: 1 Total Weight: -371 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c core #130 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c Core size: 3 Core Weight: 1 Total Weight: -370 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c core #131 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c Core size: 3 Core Weight: 1 Total Weight: -369 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c core #132 184.93/185.06 c 184.93/185.06 c 184.93/185.06 c Core size: 3 Core Weight: 1 Total Weight: -368 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #133 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -367 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #134 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -366 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #135 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -365 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #136 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -364 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #137 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -363 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #138 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -362 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #139 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -361 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #140 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -360 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #141 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -359 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #142 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -358 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #143 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -357 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #144 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -356 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #145 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -355 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #146 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -354 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #147 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -353 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #148 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -352 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #149 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -351 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #150 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -350 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #151 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -349 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #152 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -348 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #153 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -347 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #154 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -346 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #155 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -345 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #156 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -344 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #157 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -343 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #158 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -342 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #159 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -341 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #160 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -340 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #161 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -339 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #162 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -338 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #163 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -337 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #164 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -336 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #165 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -335 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #166 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -334 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #167 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -333 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #168 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -332 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #169 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -331 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #170 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -330 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #171 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -329 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #172 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -328 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #173 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -327 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #174 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -326 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c core #175 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 3 Core Weight: 1 Total Weight: -325 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #176 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -324 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #177 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -323 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #178 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -322 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #179 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -321 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #180 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -320 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #181 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -319 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #182 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -318 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #183 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -317 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #184 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -316 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #185 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -315 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #186 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -314 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #187 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -313 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #188 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -312 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #189 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -311 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #190 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -310 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #191 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -309 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #192 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -308 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #193 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -307 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #194 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -306 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #195 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -305 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #196 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -304 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #197 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -303 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #198 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -302 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #199 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -301 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #200 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -300 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #201 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -299 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #202 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -298 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #203 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -297 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #204 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -296 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #205 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -295 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #206 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -294 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #207 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -293 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #208 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -292 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #209 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -291 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #210 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -290 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #211 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -289 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #212 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -288 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #213 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -287 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #214 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -286 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #215 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -285 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #216 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -284 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #217 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -283 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #218 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -282 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #219 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -281 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #220 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -280 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #221 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -279 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #222 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -278 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #223 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -277 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #224 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -276 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #225 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -275 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #226 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -274 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #227 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -273 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #228 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -272 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #229 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -271 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #230 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -270 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #231 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -269 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #232 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -268 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c core #233 186.43/186.59 c 186.43/186.59 c 186.43/186.59 c Core size: 3 Core Weight: 1 Total Weight: -267 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c core #234 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c Core size: 3 Core Weight: 1 Total Weight: -266 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c core #235 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c Core size: 3 Core Weight: 1 Total Weight: -265 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c core #236 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c Core size: 3 Core Weight: 1 Total Weight: -264 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c core #237 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c Core size: 3 Core Weight: 1 Total Weight: -263 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c core #238 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c Core size: 3 Core Weight: 1 Total Weight: -262 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c core #239 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c Core size: 3 Core Weight: 1 Total Weight: -261 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c core #240 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c Core size: 6 Core Weight: 1 Total Weight: -260 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c core #241 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c Core size: 7 Core Weight: 1 Total Weight: -259 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c core #242 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c Core size: 7 Core Weight: 1 Total Weight: -258 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c core #243 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c Core size: 7 Core Weight: 1 Total Weight: -257 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c core #244 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c Core size: 7 Core Weight: 1 Total Weight: -256 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c core #245 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c Core size: 7 Core Weight: 1 Total Weight: -255 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c core #246 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c Core size: 6 Core Weight: 1 Total Weight: -254 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c core #247 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c Core size: 15 Core Weight: 1 Total Weight: -253 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c core #248 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c Core size: 7 Core Weight: 1 Total Weight: -252 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c core #249 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c Core size: 7 Core Weight: 1 Total Weight: -251 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c core #250 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c Core size: 7 Core Weight: 1 Total Weight: -250 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c core #251 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c Core size: 14 Core Weight: 1 Total Weight: -249 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c core #252 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c Core size: 22 Core Weight: 1 Total Weight: -248 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c ============================[ Search Statistics ]============================== 187.13/187.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.13/187.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.13/187.25 c =============================================================================== 187.13/187.25 c | 0 | 1042 16502 34300 | 5500 0 nan | 0.000 % | 187.13/187.25 c =============================================================================== 187.13/187.29 c core #253 187.13/187.29 c 187.13/187.29 c 187.13/187.29 c Core size: 10 Core Weight: 1 Total Weight: -247 187.13/187.29 c 187.13/187.29 c 187.13/187.29 c ============================[ Search Statistics ]============================== 187.13/187.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.13/187.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.13/187.29 c =============================================================================== 187.13/187.29 c | 0 | 1048 16503 34312 | 5501 0 nan | 0.000 % | 187.13/187.29 c =============================================================================== 187.23/187.33 c core #254 187.23/187.33 c 187.23/187.33 c 187.23/187.33 c Core size: 12 Core Weight: 1 Total Weight: -246 187.23/187.33 c 187.23/187.33 c 187.23/187.33 c ============================[ Search Statistics ]============================== 187.23/187.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.23/187.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.23/187.33 c =============================================================================== 187.23/187.33 c | 0 | 1056 16504 34328 | 5501 0 nan | 0.000 % | 187.23/187.34 c =============================================================================== 187.23/187.37 c core #255 187.23/187.37 c 187.23/187.37 c 187.23/187.37 c Core size: 16 Core Weight: 1 Total Weight: -245 187.23/187.37 c 187.23/187.37 c 187.23/187.37 c ============================[ Search Statistics ]============================== 187.23/187.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.23/187.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.23/187.37 c =============================================================================== 187.23/187.37 c | 0 | 1066 16505 34348 | 5501 0 nan | 0.000 % | 187.23/187.38 c =============================================================================== 187.33/187.41 c core #256 187.33/187.41 c 187.33/187.41 c 187.33/187.41 c Core size: 10 Core Weight: 1 Total Weight: -244 187.33/187.41 c 187.33/187.41 c 187.33/187.41 c ============================[ Search Statistics ]============================== 187.33/187.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.33/187.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.33/187.41 c =============================================================================== 187.33/187.41 c | 0 | 1072 16506 34360 | 5502 0 nan | 0.000 % | 187.33/187.42 c =============================================================================== 187.33/187.46 c core #257 187.33/187.46 c 187.33/187.46 c 187.33/187.46 c Core size: 10 Core Weight: 1 Total Weight: -243 187.33/187.46 c 187.33/187.46 c 187.33/187.46 c ============================[ Search Statistics ]============================== 187.33/187.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.33/187.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.33/187.46 c =============================================================================== 187.33/187.46 c | 0 | 1078 16507 34372 | 5502 0 nan | 0.000 % | 187.33/187.47 c =============================================================================== 187.43/187.50 c core #258 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c Core size: 12 Core Weight: 1 Total Weight: -242 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c ============================[ Search Statistics ]============================== 187.43/187.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.43/187.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.43/187.50 c =============================================================================== 187.43/187.50 c | 0 | 1086 16508 34388 | 5502 0 nan | 0.000 % | 187.43/187.51 c =============================================================================== 187.43/187.54 c core #259 187.43/187.54 c 187.43/187.54 c 187.43/187.54 c Core size: 10 Core Weight: 1 Total Weight: -241 187.43/187.54 c 187.43/187.54 c 187.43/187.54 c ============================[ Search Statistics ]============================== 187.43/187.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.43/187.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.43/187.54 c =============================================================================== 187.43/187.54 c | 0 | 1092 16509 34400 | 5503 0 nan | 0.000 % | 187.43/187.55 c =============================================================================== 187.43/187.59 c core #260 187.43/187.59 c 187.43/187.59 c 187.43/187.59 c Core size: 16 Core Weight: 1 Total Weight: -240 187.43/187.59 c 187.43/187.59 c 187.43/187.59 c ============================[ Search Statistics ]============================== 187.43/187.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.43/187.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.43/187.59 c =============================================================================== 187.43/187.59 c | 0 | 1102 16510 34420 | 5503 0 nan | 0.000 % | 187.53/187.60 c =============================================================================== 187.53/187.63 c core #261 187.53/187.63 c 187.53/187.63 c 187.53/187.63 c Core size: 10 Core Weight: 1 Total Weight: -239 187.53/187.63 c 187.53/187.63 c 187.53/187.63 c ============================[ Search Statistics ]============================== 187.53/187.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.53/187.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.53/187.63 c =============================================================================== 187.53/187.63 c | 0 | 1108 16511 34432 | 5503 0 nan | 0.000 % | 187.53/187.64 c =============================================================================== 187.53/187.68 c core #262 187.53/187.68 c 187.53/187.68 c 187.53/187.68 c Core size: 10 Core Weight: 1 Total Weight: -238 187.53/187.68 c 187.53/187.68 c 187.53/187.68 c ============================[ Search Statistics ]============================== 187.53/187.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.53/187.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.53/187.68 c =============================================================================== 187.53/187.68 c | 0 | 1114 16512 34444 | 5504 0 nan | 0.000 % | 187.53/187.69 c =============================================================================== 187.63/187.72 c core #263 187.63/187.72 c 187.63/187.72 c 187.63/187.72 c Core size: 16 Core Weight: 1 Total Weight: -237 187.63/187.72 c 187.63/187.72 c 187.63/187.72 c ============================[ Search Statistics ]============================== 187.63/187.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.63/187.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.63/187.72 c =============================================================================== 187.63/187.72 c | 0 | 1124 16513 34464 | 5504 0 nan | 0.000 % | 187.63/187.73 c =============================================================================== 187.63/187.77 c core #264 187.63/187.77 c 187.63/187.77 c 187.63/187.77 c Core size: 12 Core Weight: 1 Total Weight: -236 187.63/187.77 c 187.63/187.77 c 187.63/187.77 c ============================[ Search Statistics ]============================== 187.63/187.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.63/187.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.63/187.77 c =============================================================================== 187.63/187.77 c | 0 | 1132 16514 34480 | 5504 0 nan | 0.000 % | 187.63/187.78 c =============================================================================== 187.73/187.81 c core #265 187.73/187.81 c 187.73/187.81 c 187.73/187.81 c Core size: 10 Core Weight: 1 Total Weight: -235 187.73/187.81 c 187.73/187.81 c 187.73/187.81 c ============================[ Search Statistics ]============================== 187.73/187.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.73/187.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.73/187.81 c =============================================================================== 187.73/187.81 c | 0 | 1138 16515 34492 | 5505 0 nan | 0.000 % | 187.73/187.82 c =============================================================================== 187.73/187.85 c core #266 187.73/187.85 c 187.73/187.85 c 187.73/187.85 c Core size: 11 Core Weight: 1 Total Weight: -234 187.73/187.85 c 187.73/187.85 c 187.73/187.85 c ============================[ Search Statistics ]============================== 187.73/187.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.73/187.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.73/187.85 c =============================================================================== 187.73/187.85 c | 0 | 1146 16516 34508 | 5505 0 nan | 0.000 % | 187.73/187.86 c =============================================================================== 187.73/187.89 c core #267 187.73/187.89 c 187.73/187.89 c 187.73/187.89 c Core size: 10 Core Weight: 1 Total Weight: -233 187.73/187.89 c 187.73/187.89 c 187.73/187.89 c ============================[ Search Statistics ]============================== 187.73/187.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.73/187.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.73/187.89 c =============================================================================== 187.73/187.89 c | 0 | 1152 16517 34520 | 5505 0 nan | 0.000 % | 187.82/187.90 c =============================================================================== 187.82/187.93 c core #268 187.82/187.93 c 187.82/187.93 c 187.82/187.93 c Core size: 14 Core Weight: 1 Total Weight: -232 187.82/187.93 c 187.82/187.93 c 187.82/187.93 c ============================[ Search Statistics ]============================== 187.82/187.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.82/187.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.82/187.93 c =============================================================================== 187.82/187.93 c | 0 | 1160 16518 34536 | 5506 0 nan | 0.000 % | 187.82/187.94 c =============================================================================== 187.82/187.98 c core #269 187.82/187.98 c 187.82/187.98 c 187.82/187.98 c Core size: 12 Core Weight: 1 Total Weight: -231 187.82/187.98 c 187.82/187.98 c 187.82/187.98 c ============================[ Search Statistics ]============================== 187.82/187.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.82/187.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.82/187.98 c =============================================================================== 187.82/187.98 c | 0 | 1168 16519 34552 | 5506 0 nan | 0.000 % | 187.82/187.99 c =============================================================================== 187.93/188.02 c core #270 187.93/188.02 c 187.93/188.02 c 187.93/188.02 c Core size: 23 Core Weight: 1 Total Weight: -230 187.93/188.02 c 187.93/188.02 c 187.93/188.02 c ============================[ Search Statistics ]============================== 187.93/188.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.93/188.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.93/188.02 c =============================================================================== 187.93/188.02 c | 0 | 1186 16520 34588 | 5506 0 nan | 0.000 % | 187.93/188.03 c =============================================================================== 187.93/188.07 c core #271 187.93/188.07 c 187.93/188.07 c 187.93/188.07 c Core size: 10 Core Weight: 1 Total Weight: -229 187.93/188.07 c 187.93/188.07 c 187.93/188.07 c ============================[ Search Statistics ]============================== 187.93/188.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.93/188.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.93/188.07 c =============================================================================== 187.93/188.07 c | 0 | 1192 16521 34600 | 5507 0 nan | 0.000 % | 187.93/188.07 c =============================================================================== 188.03/188.11 c core #272 188.03/188.11 c 188.03/188.11 c 188.03/188.11 c Core size: 12 Core Weight: 1 Total Weight: -228 188.03/188.11 c 188.03/188.11 c 188.03/188.11 c ============================[ Search Statistics ]============================== 188.03/188.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.03/188.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.03/188.11 c =============================================================================== 188.03/188.11 c | 0 | 1200 16522 34616 | 5507 0 nan | 0.000 % | 188.03/188.11 c =============================================================================== 188.03/188.15 c core #273 188.03/188.15 c 188.03/188.15 c 188.03/188.15 c Core size: 16 Core Weight: 1 Total Weight: -227 188.03/188.15 c 188.03/188.15 c 188.03/188.15 c ============================[ Search Statistics ]============================== 188.03/188.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.03/188.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.03/188.15 c =============================================================================== 188.03/188.15 c | 0 | 1210 16523 34636 | 5507 0 nan | 0.000 % | 188.03/188.16 c =============================================================================== 188.03/188.19 c core #274 188.03/188.19 c 188.03/188.19 c 188.03/188.19 c Core size: 14 Core Weight: 1 Total Weight: -226 188.03/188.19 c 188.03/188.19 c 188.03/188.19 c ============================[ Search Statistics ]============================== 188.03/188.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.03/188.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.03/188.19 c =============================================================================== 188.03/188.19 c | 0 | 1218 16524 34652 | 5508 0 nan | 0.000 % | 188.12/188.20 c =============================================================================== 188.12/188.23 c core #275 188.12/188.23 c 188.12/188.23 c 188.12/188.23 c Core size: 12 Core Weight: 1 Total Weight: -225 188.12/188.23 c 188.12/188.23 c 188.12/188.23 c ============================[ Search Statistics ]============================== 188.12/188.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.12/188.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.12/188.23 c =============================================================================== 188.12/188.23 c | 0 | 1226 16525 34668 | 5508 0 nan | 0.000 % | 188.12/188.24 c =============================================================================== 188.12/188.28 c core #276 188.12/188.28 c 188.12/188.28 c 188.12/188.28 c Core size: 10 Core Weight: 1 Total Weight: -224 188.12/188.28 c 188.12/188.28 c 188.12/188.28 c ============================[ Search Statistics ]============================== 188.12/188.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.12/188.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.12/188.28 c =============================================================================== 188.12/188.28 c | 0 | 1232 16526 34680 | 5508 0 nan | 0.000 % | 188.12/188.28 c =============================================================================== 188.22/188.32 c core #277 188.22/188.32 c 188.22/188.32 c 188.22/188.32 c Core size: 14 Core Weight: 1 Total Weight: -223 188.22/188.32 c 188.22/188.32 c 188.22/188.32 c ============================[ Search Statistics ]============================== 188.22/188.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.22/188.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.22/188.32 c =============================================================================== 188.22/188.32 c | 0 | 1240 16527 34696 | 5509 0 nan | 0.000 % | 188.22/188.33 c =============================================================================== 188.22/188.36 c core #278 188.22/188.36 c 188.22/188.36 c 188.22/188.36 c Core size: 12 Core Weight: 1 Total Weight: -222 188.22/188.36 c 188.22/188.36 c 188.22/188.36 c ============================[ Search Statistics ]============================== 188.22/188.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.22/188.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.22/188.36 c =============================================================================== 188.22/188.36 c | 0 | 1248 16528 34712 | 5509 0 nan | 0.000 % | 188.22/188.37 c =============================================================================== 188.32/188.41 c core #279 188.32/188.41 c 188.32/188.41 c 188.32/188.41 c Core size: 16 Core Weight: 1 Total Weight: -221 188.32/188.41 c 188.32/188.41 c 188.32/188.41 c ============================[ Search Statistics ]============================== 188.32/188.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.32/188.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.32/188.41 c =============================================================================== 188.32/188.41 c | 0 | 1258 16529 34732 | 5509 0 nan | 0.000 % | 188.32/188.41 c =============================================================================== 188.32/188.45 c core #280 188.32/188.45 c 188.32/188.45 c 188.32/188.45 c Core size: 16 Core Weight: 1 Total Weight: -220 188.32/188.45 c 188.32/188.45 c 188.32/188.45 c ============================[ Search Statistics ]============================== 188.32/188.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.32/188.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.32/188.45 c =============================================================================== 188.32/188.45 c | 0 | 1268 16530 34752 | 5510 0 nan | 0.000 % | 188.32/188.46 c =============================================================================== 188.32/188.49 c core #281 188.32/188.49 c 188.32/188.49 c 188.32/188.49 c Core size: 12 Core Weight: 1 Total Weight: -219 188.32/188.49 c 188.32/188.49 c 188.32/188.49 c ============================[ Search Statistics ]============================== 188.32/188.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.32/188.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.32/188.49 c =============================================================================== 188.32/188.49 c | 0 | 1276 16531 34768 | 5510 0 nan | 0.000 % | 188.42/188.50 c =============================================================================== 188.42/188.54 c core #282 188.42/188.54 c 188.42/188.54 c 188.42/188.54 c Core size: 12 Core Weight: 1 Total Weight: -218 188.42/188.54 c 188.42/188.54 c 188.42/188.54 c ============================[ Search Statistics ]============================== 188.42/188.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.42/188.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.42/188.54 c =============================================================================== 188.42/188.54 c | 0 | 1284 16532 34784 | 5510 0 nan | 0.000 % | 188.42/188.54 c =============================================================================== 188.42/188.58 c core #283 188.42/188.58 c 188.42/188.58 c 188.42/188.58 c Core size: 14 Core Weight: 1 Total Weight: -217 188.42/188.58 c 188.42/188.58 c 188.42/188.58 c ============================[ Search Statistics ]============================== 188.42/188.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.42/188.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.42/188.58 c =============================================================================== 188.42/188.58 c | 0 | 1292 16533 34800 | 5511 0 nan | 0.000 % | 188.42/188.58 c =============================================================================== 188.52/188.62 c core #284 188.52/188.62 c 188.52/188.62 c 188.52/188.62 c Core size: 14 Core Weight: 1 Total Weight: -216 188.52/188.62 c 188.52/188.62 c 188.52/188.62 c ============================[ Search Statistics ]============================== 188.52/188.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.52/188.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.52/188.62 c =============================================================================== 188.52/188.62 c | 0 | 1300 16534 34816 | 5511 0 nan | 0.000 % | 188.52/188.63 c =============================================================================== 188.52/188.66 c core #285 188.52/188.66 c 188.52/188.66 c 188.52/188.66 c Core size: 14 Core Weight: 1 Total Weight: -215 188.52/188.66 c 188.52/188.66 c 188.52/188.66 c ============================[ Search Statistics ]============================== 188.52/188.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.52/188.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.52/188.66 c =============================================================================== 188.52/188.66 c | 0 | 1308 16535 34832 | 5511 0 nan | 0.000 % | 188.52/188.67 c =============================================================================== 188.62/188.71 c core #286 188.62/188.71 c 188.62/188.71 c 188.62/188.71 c Core size: 16 Core Weight: 1 Total Weight: -214 188.62/188.71 c 188.62/188.71 c 188.62/188.71 c ============================[ Search Statistics ]============================== 188.62/188.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.62/188.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.62/188.71 c =============================================================================== 188.62/188.71 c | 0 | 1318 16536 34852 | 5512 0 nan | 0.000 % | 188.62/188.72 c =============================================================================== 188.62/188.75 c core #287 188.62/188.75 c 188.62/188.75 c 188.62/188.75 c Core size: 16 Core Weight: 1 Total Weight: -213 188.62/188.75 c 188.62/188.75 c 188.62/188.75 c ============================[ Search Statistics ]============================== 188.62/188.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.62/188.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.62/188.75 c =============================================================================== 188.62/188.75 c | 0 | 1328 16537 34872 | 5512 0 nan | 0.000 % | 188.62/188.76 c =============================================================================== 188.73/188.80 c core #288 188.73/188.80 c 188.73/188.80 c 188.73/188.80 c Core size: 14 Core Weight: 1 Total Weight: -212 188.73/188.80 c 188.73/188.80 c 188.73/188.80 c ============================[ Search Statistics ]============================== 188.73/188.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.73/188.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.73/188.80 c =============================================================================== 188.73/188.80 c | 0 | 1336 16538 34888 | 5512 0 nan | 0.000 % | 188.73/188.80 c =============================================================================== 188.73/188.84 c core #289 188.73/188.84 c 188.73/188.84 c 188.73/188.84 c Core size: 14 Core Weight: 1 Total Weight: -211 188.73/188.84 c 188.73/188.84 c 188.73/188.84 c ============================[ Search Statistics ]============================== 188.73/188.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.73/188.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.73/188.84 c =============================================================================== 188.73/188.84 c | 0 | 1344 16539 34904 | 5513 0 nan | 0.000 % | 188.73/188.85 c =============================================================================== 188.73/188.89 c core #290 188.73/188.89 c 188.73/188.89 c 188.73/188.89 c Core size: 14 Core Weight: 1 Total Weight: -210 188.73/188.89 c 188.73/188.89 c 188.73/188.89 c ============================[ Search Statistics ]============================== 188.73/188.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.73/188.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.73/188.89 c =============================================================================== 188.73/188.89 c | 0 | 1352 16540 34920 | 5513 0 nan | 0.000 % | 188.73/188.89 c =============================================================================== 188.83/188.93 c core #291 188.83/188.93 c 188.83/188.93 c 188.83/188.93 c Core size: 12 Core Weight: 1 Total Weight: -209 188.83/188.93 c 188.83/188.93 c 188.83/188.93 c ============================[ Search Statistics ]============================== 188.83/188.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.83/188.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.83/188.93 c =============================================================================== 188.83/188.93 c | 0 | 1360 16541 34936 | 5513 0 nan | 0.000 % | 188.83/188.94 c =============================================================================== 188.83/188.97 c core #292 188.83/188.97 c 188.83/188.97 c 188.83/188.97 c Core size: 14 Core Weight: 1 Total Weight: -208 188.83/188.97 c 188.83/188.97 c 188.83/188.97 c ============================[ Search Statistics ]============================== 188.83/188.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.83/188.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.83/188.97 c =============================================================================== 188.83/188.97 c | 0 | 1368 16542 34952 | 5514 0 nan | 0.000 % | 188.83/188.98 c =============================================================================== 188.93/189.02 c core #293 188.93/189.02 c 188.93/189.02 c 188.93/189.02 c Core size: 16 Core Weight: 1 Total Weight: -207 188.93/189.02 c 188.93/189.02 c 188.93/189.02 c ============================[ Search Statistics ]============================== 188.93/189.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.93/189.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.93/189.02 c =============================================================================== 188.93/189.02 c | 0 | 1378 16543 34972 | 5514 0 nan | 0.000 % | 188.93/189.03 c =============================================================================== 188.93/189.07 c core #294 188.93/189.07 c 188.93/189.07 c 188.93/189.07 c Core size: 14 Core Weight: 1 Total Weight: -206 188.93/189.07 c 188.93/189.07 c 188.93/189.07 c ============================[ Search Statistics ]============================== 188.93/189.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.93/189.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.93/189.07 c =============================================================================== 188.93/189.07 c | 0 | 1386 16544 34988 | 5514 0 nan | 0.000 % | 188.93/189.08 c =============================================================================== 189.03/189.11 c core #295 189.03/189.11 c 189.03/189.11 c 189.03/189.11 c Core size: 16 Core Weight: 1 Total Weight: -205 189.03/189.11 c 189.03/189.11 c 189.03/189.11 c ============================[ Search Statistics ]============================== 189.03/189.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.03/189.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.03/189.11 c =============================================================================== 189.03/189.11 c | 0 | 1396 16545 35008 | 5515 0 nan | 0.000 % | 189.03/189.12 c =============================================================================== 189.03/189.16 c core #296 189.03/189.16 c 189.03/189.16 c 189.03/189.16 c Core size: 26 Core Weight: 1 Total Weight: -204 189.03/189.16 c 189.03/189.16 c 189.03/189.16 c ============================[ Search Statistics ]============================== 189.03/189.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.03/189.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.03/189.16 c =============================================================================== 189.03/189.16 c | 0 | 1412 16546 35040 | 5515 0 nan | 0.000 % | 189.03/189.17 c =============================================================================== 189.13/189.21 c core #297 189.13/189.21 c 189.13/189.21 c 189.13/189.21 c Core size: 20 Core Weight: 1 Total Weight: -203 189.13/189.21 c 189.13/189.21 c 189.13/189.21 c ============================[ Search Statistics ]============================== 189.13/189.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.13/189.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.13/189.21 c =============================================================================== 189.13/189.21 c | 0 | 1424 16547 35064 | 5515 0 nan | 0.000 % | 189.13/189.22 c =============================================================================== 189.13/189.26 c core #298 189.13/189.26 c 189.13/189.26 c 189.13/189.26 c Core size: 16 Core Weight: 1 Total Weight: -202 189.13/189.26 c 189.13/189.26 c 189.13/189.26 c ============================[ Search Statistics ]============================== 189.13/189.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.13/189.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.13/189.26 c =============================================================================== 189.13/189.26 c | 0 | 1432 16548 35080 | 5516 0 nan | 0.000 % | 189.13/189.27 c =============================================================================== 189.23/189.31 c core #299 189.23/189.31 c 189.23/189.31 c 189.23/189.31 c Core size: 21 Core Weight: 1 Total Weight: -201 189.23/189.31 c 189.23/189.31 c 189.23/189.31 c ============================[ Search Statistics ]============================== 189.23/189.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.23/189.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.23/189.31 c =============================================================================== 189.23/189.31 c | 0 | 1445 16549 35106 | 5516 0 nan | 0.000 % | 189.23/189.32 c =============================================================================== 189.23/189.36 c core #300 189.23/189.36 c 189.23/189.36 c 189.23/189.36 c Core size: 16 Core Weight: 1 Total Weight: -200 189.23/189.36 c 189.23/189.36 c 189.23/189.36 c ============================[ Search Statistics ]============================== 189.23/189.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.23/189.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.23/189.36 c =============================================================================== 189.23/189.36 c | 0 | 1455 16550 35126 | 5516 0 nan | 0.000 % | 189.23/189.37 c =============================================================================== 189.33/189.41 c core #301 189.33/189.41 c 189.33/189.41 c 189.33/189.41 c Core size: 21 Core Weight: 1 Total Weight: -199 189.33/189.41 c 189.33/189.41 c 189.33/189.41 c ============================[ Search Statistics ]============================== 189.33/189.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.33/189.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.33/189.41 c =============================================================================== 189.33/189.41 c | 0 | 1470 16551 35156 | 5517 0 nan | 0.000 % | 189.33/189.43 c =============================================================================== 189.33/189.46 c core #302 189.33/189.46 c 189.33/189.46 c 189.33/189.46 c Core size: 40 Core Weight: 1 Total Weight: -198 189.33/189.46 c 189.33/189.46 c 189.33/189.46 c ============================[ Search Statistics ]============================== 189.33/189.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.33/189.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.33/189.46 c =============================================================================== 189.33/189.46 c | 0 | 1508 16552 35232 | 5517 0 nan | 0.000 % | 189.43/189.50 c =============================================================================== 189.43/189.54 c core #303 189.43/189.54 c 189.43/189.54 c 189.43/189.54 c Core size: 67 Core Weight: 1 Total Weight: -197 189.43/189.54 c 189.43/189.54 c 189.43/189.54 c ============================[ Search Statistics ]============================== 189.43/189.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.43/189.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.43/189.54 c =============================================================================== 189.43/189.54 c | 0 | 1555 16553 35326 | 5517 0 nan | 0.000 % | 189.53/189.60 c | 100 | 1555 16553 35326 | 6069 100 10 | 83.491 % | 189.53/189.65 c =============================================================================== 189.53/189.69 c core #304 189.53/189.69 c 189.53/189.69 c 189.53/189.69 c Core size: 81 Core Weight: 1 Total Weight: -196 189.53/189.69 c 189.53/189.69 c 189.53/189.69 c ============================[ Search Statistics ]============================== 189.53/189.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.53/189.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.53/189.69 c =============================================================================== 189.53/189.69 c | 0 | 1618 16554 35452 | 5518 0 nan | 0.000 % | 189.63/189.78 c | 101 | 1618 16554 35452 | 6069 101 27 | 82.925 % | 189.73/189.84 c | 251 | 1618 16554 35452 | 6676 251 28 | 82.936 % | 189.82/189.94 c | 477 | 1618 16554 35452 | 7344 477 29 | 82.946 % | 190.02/190.10 c | 814 | 1615 16554 35452 | 8078 812 30 | 82.957 % | 190.13/190.30 c =============================================================================== 190.23/190.35 c core #305 190.23/190.35 c 190.23/190.35 c 190.23/190.35 c Core size: 122 Core Weight: 1 Total Weight: -195 190.23/190.35 c 190.23/190.35 c 190.23/190.35 c ============================[ Search Statistics ]============================== 190.23/190.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.23/190.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.23/190.35 c =============================================================================== 190.23/190.35 c | 0 | 1726 16555 35668 | 5518 0 nan | 0.000 % | 190.32/190.42 c | 100 | 1726 16555 35668 | 6070 100 21 | 81.991 % | 190.43/190.50 c | 250 | 1726 16555 35668 | 6677 250 27 | 81.991 % | 190.53/190.63 c | 475 | 1726 16555 35668 | 7344 475 32 | 81.991 % | 190.73/190.81 c | 813 | 1725 16555 35668 | 8079 810 35 | 82.001 % | 190.93/191.07 c | 1319 | 1725 16555 35668 | 8887 1316 36 | 82.001 % | 191.33/191.44 c | 2078 | 1725 16555 35668 | 9776 2075 39 | 82.001 % | 191.92/192.05 c | 3217 | 1725 16555 35668 | 10753 3214 39 | 82.001 % | 192.63/192.79 c =============================================================================== 192.73/192.89 c core #306 192.73/192.89 c 192.73/192.89 c 192.73/192.89 c Core size: 148 Core Weight: 1 Total Weight: -194 192.73/192.89 c 192.73/192.89 c 192.73/192.89 c ============================[ Search Statistics ]============================== 192.73/192.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.73/192.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.73/192.89 c =============================================================================== 192.73/192.89 c | 0 | 1864 16556 35944 | 5518 0 nan | 0.000 % | 192.83/192.95 c | 100 | 1864 16556 35944 | 6070 100 27 | 80.827 % | 192.93/193.01 c | 255 | 1864 16556 35944 | 6677 255 23 | 80.827 % | 193.03/193.13 c | 481 | 1864 16556 35944 | 7345 481 26 | 80.827 % | 193.23/193.34 c | 818 | 1864 16556 35944 | 8079 818 25 | 80.827 % | 193.53/193.63 c | 1325 | 1863 16556 35944 | 8887 1261 21 | 80.837 % | 193.72/193.81 c =============================================================================== 193.72/193.86 c core #307 193.72/193.86 c 193.72/193.86 c 193.72/193.86 c Core size: 120 Core Weight: 1 Total Weight: -193 193.72/193.86 c 193.72/193.86 c 193.72/193.86 c ============================[ Search Statistics ]============================== 193.72/193.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.72/193.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.72/193.86 c =============================================================================== 193.72/193.86 c | 0 | 1969 16557 36154 | 5519 0 nan | 0.000 % | 193.82/193.92 c | 100 | 1969 16557 36154 | 6070 100 28 | 79.963 % | 193.82/193.98 c | 250 | 1969 16557 36154 | 6677 250 27 | 79.963 % | 193.92/194.08 c | 481 | 1969 16557 36154 | 7345 481 28 | 79.963 % | 194.23/194.31 c | 819 | 1969 16557 36154 | 8080 819 30 | 79.963 % | 194.53/194.62 c | 1326 | 1969 16557 36154 | 8888 1326 33 | 79.963 % | 195.02/195.11 c | 2085 | 1969 16557 36154 | 9777 2085 37 | 79.963 % | 195.73/195.86 c | 3225 | 1969 16557 36154 | 10754 3225 35 | 79.963 % | 196.03/196.11 c =============================================================================== 196.03/196.16 c core #308 196.03/196.16 c 196.03/196.16 c 196.03/196.16 c Core size: 122 Core Weight: 1 Total Weight: -192 196.03/196.16 c 196.03/196.16 c 196.03/196.16 c ============================[ Search Statistics ]============================== 196.03/196.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.03/196.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.03/196.16 c =============================================================================== 196.03/196.16 c | 0 | 2078 16558 36372 | 5519 0 nan | 0.000 % | 196.13/196.22 c | 100 | 2078 16558 36372 | 6071 100 12 | 79.086 % | 196.13/196.28 c | 251 | 2078 16558 36372 | 6678 251 11 | 79.086 % | 196.23/196.39 c | 477 | 2078 16558 36372 | 7346 477 13 | 79.086 % | 196.43/196.57 c | 815 | 2078 16558 36372 | 8080 815 13 | 79.086 % | 196.63/196.72 c =============================================================================== 196.63/196.76 c core #309 196.63/196.76 c 196.63/196.76 c 196.63/196.76 c Core size: 81 Core Weight: 1 Total Weight: -191 196.63/196.76 c 196.63/196.76 c 196.63/196.76 c ============================[ Search Statistics ]============================== 196.63/196.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.63/196.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.63/196.76 c =============================================================================== 196.63/196.76 c | 0 | 2148 16559 36512 | 5519 0 nan | 0.000 % | 196.73/196.85 c | 100 | 2148 16559 36512 | 6071 100 40 | 78.533 % | 196.83/196.93 c | 250 | 2148 16559 36512 | 6678 250 31 | 78.533 % | 196.92/197.05 c | 477 | 2148 16559 36512 | 7346 477 30 | 78.533 % | 197.12/197.25 c | 815 | 2148 16559 36512 | 8081 815 33 | 78.533 % | 197.53/197.64 c | 1322 | 2148 16559 36512 | 8889 1322 38 | 78.533 % | 197.93/198.05 c | 2081 | 2148 16559 36512 | 9778 2081 41 | 78.533 % | 198.82/198.99 c | 3223 | 2147 16559 36512 | 10756 3218 43 | 78.543 % | 199.92/200.05 c =============================================================================== 200.03/200.13 c core #310 200.03/200.13 c 200.03/200.13 c 200.03/200.13 c Core size: 123 Core Weight: 1 Total Weight: -190 200.03/200.13 c 200.03/200.13 c 200.03/200.13 c ============================[ Search Statistics ]============================== 200.03/200.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.03/200.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.03/200.13 c =============================================================================== 200.03/200.13 c | 0 | 2259 16560 36734 | 5520 0 nan | 0.000 % | 200.13/200.21 c | 102 | 2259 16560 36734 | 6072 102 33 | 77.671 % | 200.13/200.24 c | 252 | 2259 16560 36734 | 6679 252 26 | 77.671 % | 200.22/200.35 c | 482 | 2259 16560 36734 | 7347 482 23 | 77.671 % | 200.42/200.51 c | 819 | 2259 16560 36734 | 8081 819 29 | 77.671 % | 200.63/200.75 c | 1327 | 2259 16560 36734 | 8890 1327 28 | 77.671 % | 200.82/200.90 c =============================================================================== 200.82/200.95 c core #311 200.82/200.95 c 200.82/200.95 c 200.82/200.95 c Core size: 65 Core Weight: 1 Total Weight: -189 200.82/200.95 c 200.82/200.95 c 200.82/200.95 c ============================[ Search Statistics ]============================== 200.82/200.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.82/200.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.82/200.95 c =============================================================================== 200.82/200.95 c | 0 | 2318 16561 36852 | 5520 0 nan | 0.000 % | 200.92/201.02 c | 100 | 2318 16561 36852 | 6072 100 22 | 77.221 % | 200.92/201.09 c | 250 | 2318 16561 36852 | 6679 250 18 | 77.221 % | 201.02/201.17 c | 476 | 2318 16561 36852 | 7347 476 17 | 77.221 % | 201.23/201.35 c | 814 | 2318 16561 36852 | 8082 814 20 | 77.221 % | 201.52/201.64 c | 1321 | 2318 16561 36852 | 8890 1321 23 | 77.221 % | 201.93/202.05 c | 2081 | 2318 16561 36852 | 9779 2081 24 | 77.221 % | 202.82/202.92 c | 3220 | 2318 16561 36852 | 10757 3220 27 | 77.221 % | 204.02/204.15 c | 4928 | 2318 16561 36852 | 11833 4928 29 | 77.221 % | 205.72/205.88 c =============================================================================== 205.92/206.03 c core #312 205.92/206.03 c 205.92/206.03 c 205.92/206.03 c Core size: 141 Core Weight: 1 Total Weight: -188 205.92/206.03 c 205.92/206.03 c 205.92/206.03 c ============================[ Search Statistics ]============================== 205.92/206.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.92/206.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.92/206.03 c =============================================================================== 205.92/206.03 c | 0 | 2425 16562 37066 | 5520 0 nan | 0.000 % | 206.02/206.10 c | 100 | 2425 16562 37066 | 6072 100 34 | 76.417 % | 206.02/206.13 c | 250 | 2425 16562 37066 | 6680 250 24 | 76.417 % | 206.02/206.18 c | 475 | 2425 16562 37066 | 7348 475 25 | 76.417 % | 206.12/206.28 c | 812 | 2425 16562 37066 | 8082 812 30 | 76.417 % | 206.32/206.42 c | 1318 | 2425 16562 37066 | 8891 1318 33 | 76.417 % | 206.73/206.83 c | 2077 | 2425 16562 37066 | 9780 2077 42 | 76.417 % | 207.22/207.35 c | 3216 | 2425 16562 37066 | 10758 3216 48 | 76.417 % | 207.83/207.95 c | 4926 | 2425 16562 37066 | 11834 4926 51 | 76.417 % | 209.62/209.78 c | 7489 | 2425 16562 37066 | 13017 7489 51 | 76.417 % | 212.23/212.39 c | 11334 | 2425 16562 37066 | 14319 11334 54 | 76.417 % | 217.42/217.59 c | 17101 | 2425 16562 37066 | 15751 17101 50 | 76.417 % | 227.11/227.24 c | 25751 | 2425 16562 37066 | 17326 13918 32 | 76.417 % | 235.22/235.34 c =============================================================================== 235.92/236.00 c core #313 235.92/236.00 c 235.92/236.00 c 235.92/236.00 c Core size: 198 Core Weight: 1 Total Weight: -187 235.92/236.00 c 235.92/236.00 c 235.92/236.00 c ============================[ Search Statistics ]============================== 235.92/236.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.92/236.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.92/236.00 c =============================================================================== 235.92/236.00 c | 0 | 2582 16563 37380 | 5521 0 nan | 0.000 % | 235.92/236.06 c | 100 | 2582 16563 37380 | 6073 100 31 | 75.268 % | 236.02/236.11 c | 250 | 2582 16563 37380 | 6680 250 22 | 75.268 % | 236.02/236.17 c | 475 | 2582 16563 37380 | 7348 475 22 | 75.268 % | 236.21/236.34 c | 814 | 2582 16563 37380 | 8083 814 36 | 75.268 % | 236.51/236.64 c | 1322 | 2582 16563 37380 | 8891 1322 41 | 75.268 % | 236.81/236.99 c | 2081 | 2582 16563 37380 | 9780 2081 44 | 75.268 % | 237.42/237.56 c | 3223 | 2582 16563 37380 | 10758 3223 54 | 75.268 % | 238.52/238.66 c | 4932 | 2582 16563 37380 | 11834 4932 60 | 75.268 % | 240.41/240.55 c | 7497 | 2582 16563 37380 | 13018 7497 60 | 75.268 % | 243.31/243.43 c | 11342 | 2582 16563 37380 | 14320 11342 62 | 75.268 % | 248.91/249.02 c | 17108 | 2582 16563 37380 | 15752 17108 60 | 75.268 % | 258.01/258.16 c | 25762 | 2582 16563 37380 | 17327 13845 47 | 75.268 % | 274.31/274.48 c | 38736 | 2582 16563 37380 | 19059 14170 35 | 75.268 % | 282.40/282.58 c =============================================================================== 283.50/283.65 c core #314 283.50/283.65 c 283.50/283.65 c 283.50/283.65 c Core size: 142 Core Weight: 1 Total Weight: -186 283.50/283.65 c 283.50/283.65 c 283.50/283.65 c ============================[ Search Statistics ]============================== 283.50/283.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 283.50/283.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 283.50/283.65 c =============================================================================== 283.50/283.65 c | 0 | 2702 16564 37620 | 5521 0 nan | 0.000 % | 283.61/283.71 c | 100 | 2702 16564 37620 | 6073 100 31 | 74.413 % | 283.61/283.76 c | 254 | 2702 16564 37620 | 6680 254 29 | 74.413 % | 283.71/283.81 c | 479 | 2702 16564 37620 | 7348 479 41 | 74.413 % | 283.80/283.92 c | 817 | 2702 16564 37620 | 8083 817 45 | 74.413 % | 283.90/284.09 c | 1328 | 2702 16564 37620 | 8892 1328 52 | 74.413 % | 284.20/284.35 c | 2087 | 2702 16564 37620 | 9781 2087 57 | 74.413 % | 284.60/284.76 c | 3226 | 2702 16564 37620 | 10759 3226 68 | 74.413 % | 285.30/285.41 c | 4934 | 2702 16564 37620 | 11835 4934 76 | 74.413 % | 286.80/286.90 c | 7497 | 2702 16564 37620 | 13019 7497 87 | 74.413 % | 289.50/289.65 c | 11342 | 2702 16564 37620 | 14320 11342 97 | 74.413 % | 296.00/296.14 c | 17110 | 2702 16564 37620 | 15753 17110 102 | 74.413 % | 306.30/306.48 c | 25762 | 2702 16564 37620 | 17328 13861 114 | 74.413 % | 326.09/326.29 c | 38736 | 2702 16564 37620 | 19061 14106 124 | 74.413 % | 351.49/351.63 c | 58199 | 2702 16564 37620 | 20967 19933 127 | 74.413 % | 391.88/392.03 c | 87391 | 2702 16564 37620 | 23063 17284 113 | 74.413 % | 471.45/471.68 c | 131180 | 2702 16564 37620 | 25370 24562 132 | 74.413 % | 610.82/611.00 c | 196867 | 2702 16564 37620 | 27907 30990 141 | 74.413 % | 824.97/825.21 c | 295393 | 2702 16564 37620 | 30698 24070 149 | 74.413 % | 1137.39/1137.79 c | 443183 | 2702 16564 37620 | 33767 26516 129 | 74.413 % | 1631.17/1631.65 c | 664868 | 2702 16564 37620 | 37144 31089 172 | 74.413 % |
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-2702513-1278568836/watcher-2702513-1278568836 -o /tmp/evaluation-result-2702513-1278568836/solver-2702513-1278568836 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702513-1278568836.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/105 30451 /proc/meminfo: memFree=1687252/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=3784 CPUtime=0 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 419 0 0 0 0 0 0 0 25 0 1 0 25092164 3874816 338 1992294400 134512640 135752675 4294253056 18446744073709551615 134574047 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 946 338 137 303 0 478 0 [startup+0.016182 s] /proc/loadavg: 1.00 1.00 1.00 3/105 30451 /proc/meminfo: memFree=1687252/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=4368 CPUtime=0.01 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 550 0 0 0 1 0 0 0 25 0 1 0 25092164 4472832 469 1992294400 134512640 135752675 4294253056 18446744073709551615 134611438 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 1092 471 145 303 0 624 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4368 [startup+0.101189 s] /proc/loadavg: 1.00 1.00 1.00 3/105 30451 /proc/meminfo: memFree=1687252/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=6072 CPUtime=0.09 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 1089 0 0 0 9 0 0 0 25 0 1 0 25092164 6217728 1008 1992294400 134512640 135752675 4294253056 18446744073709551615 135225911 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 1518 1008 282 303 0 1050 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6072 [startup+0.30121 s] /proc/loadavg: 1.00 1.00 1.00 3/105 30451 /proc/meminfo: memFree=1687252/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=7396 CPUtime=0.29 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 1595 0 0 0 28 1 0 0 18 0 1 0 25092164 7573504 1351 1992294400 134512640 135752675 4294253056 18446744073709551615 134612130 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 1849 1351 145 303 0 1544 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7396 [startup+0.70025 s] /proc/loadavg: 1.00 1.00 1.00 3/105 30451 /proc/meminfo: memFree=1687252/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=10348 CPUtime=0.69 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 2362 0 0 0 67 2 0 0 18 0 1 0 25092164 10596352 2118 1992294400 134512640 135752675 4294253056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 2587 2118 145 303 0 2282 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10348 [startup+1.50033 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30452 /proc/meminfo: memFree=1678068/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=14344 CPUtime=1.49 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 3362 0 0 0 146 3 0 0 19 0 1 0 25092164 14688256 3118 1992294400 134512640 135752675 4294253056 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 3586 3118 145 303 0 3281 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14344 [startup+3.10049 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30452 /proc/meminfo: memFree=1673232/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=19860 CPUtime=3.09 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 4721 0 0 0 304 5 0 0 24 0 1 0 25092164 20336640 4477 1992294400 134512640 135752675 4294253056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 4965 4477 145 303 0 4660 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19860 [startup+6.30081 s] /proc/loadavg: 1.08 1.02 1.01 2/106 30452 /proc/meminfo: memFree=1663072/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=28476 CPUtime=6.29 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 6882 0 0 0 621 8 0 0 25 0 1 0 25092164 29159424 6638 1992294400 134512640 135752675 4294253056 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 7119 6638 145 303 0 6814 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28476 [startup+12.7015 s] /proc/loadavg: 1.07 1.02 1.00 2/106 30452 /proc/meminfo: memFree=1652408/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=38140 CPUtime=12.69 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 9289 0 0 0 1258 11 0 0 25 0 1 0 25092164 39055360 9045 1992294400 134512640 135752675 4294253056 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 9535 9045 145 303 0 9230 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38140 [startup+25.5017 s] /proc/loadavg: 1.06 1.01 1.00 2/106 30461 /proc/meminfo: memFree=1627732/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=62808 CPUtime=25.47 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 15449 0 0 0 2529 18 0 0 25 0 1 0 25092164 64315392 15205 1992294400 134512640 135752675 4294253056 18446744073709551615 134611642 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 15702 15205 145 303 0 15397 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 62808 [startup+51.1013 s] /proc/loadavg: 1.04 1.01 1.00 2/106 30463 /proc/meminfo: memFree=1568088/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=122652 CPUtime=51.07 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 30383 0 0 0 5072 35 0 0 25 0 1 0 25092164 125595648 30139 1992294400 134512640 135752675 4294253056 18446744073709551615 134605375 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 30663 30139 145 303 0 30358 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 122652 [startup+102.308 s] /proc/loadavg: 1.01 1.01 1.00 2/106 30463 /proc/meminfo: memFree=1445204/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=244516 CPUtime=102.25 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 60804 0 0 0 10155 70 0 0 25 0 1 0 25092164 250384384 60560 1992294400 134512640 135752675 4294253056 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 61129 60560 145 303 0 60824 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 244516 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30465 /proc/meminfo: memFree=1353444/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=336792 CPUtime=162.23 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 83850 0 0 0 16125 98 0 0 25 0 1 0 25092164 344875008 83606 1992294400 134512640 135752675 4294253056 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 84198 83606 145 303 0 83893 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 336792 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30467 /proc/meminfo: memFree=1319096/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=369828 CPUtime=222.22 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 92347 0 0 0 22097 125 0 0 25 0 1 0 25092164 378703872 91956 1992294400 134512640 135752675 4294253056 18446744073709551615 134605232 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 92457 91956 146 303 0 92152 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 369828 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30469 /proc/meminfo: memFree=1318972/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=369828 CPUtime=282.2 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 92354 0 0 0 28074 146 0 0 25 0 1 0 25092164 378703872 91963 1992294400 134512640 135752675 4294253056 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 92457 91963 146 303 0 92152 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 369828 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30471 /proc/meminfo: memFree=1312152/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=376564 CPUtime=342.19 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 94067 0 0 0 34051 168 0 0 25 0 1 0 25092164 385601536 93676 1992294400 134512640 135752675 4294253056 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 94141 93676 146 303 0 93836 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 376564 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30471 /proc/meminfo: memFree=1285864/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=402976 CPUtime=402.17 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 100660 0 0 0 40027 190 0 0 25 0 1 0 25092164 412647424 100269 1992294400 134512640 135752675 4294253056 18446744073709551615 134605498 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 100744 100269 146 303 0 100439 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 402976 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30473 /proc/meminfo: memFree=1264288/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=424408 CPUtime=462.16 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 105996 0 0 0 46007 209 0 0 25 0 1 0 25092164 434593792 105605 1992294400 134512640 135752675 4294253056 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 106102 105605 146 303 0 105797 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 424408 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30475 /proc/meminfo: memFree=1241844/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=446968 CPUtime=522.14 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 111654 0 0 0 51987 227 0 0 25 0 1 0 25092164 457695232 111263 1992294400 134512640 135752675 4294253056 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 111742 111263 146 303 0 111437 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 446968 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30477 /proc/meminfo: memFree=1221136/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=467416 CPUtime=582.13 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 116754 0 0 0 57968 245 0 0 25 0 1 0 25092164 478633984 116363 1992294400 134512640 135752675 4294253056 18446744073709551615 134605373 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 116854 116363 146 303 0 116549 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 467416 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30479 /proc/meminfo: memFree=1199932/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=488480 CPUtime=642.11 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 122017 0 0 0 63950 261 0 0 25 0 1 0 25092164 500203520 121626 1992294400 134512640 135752675 4294253056 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 122120 121626 146 303 0 121815 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 488480 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30485 /proc/meminfo: memFree=1117224/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=571140 CPUtime=882.05 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 142617 0 0 0 87873 332 0 0 25 0 1 0 25092164 584847360 142226 1992294400 134512640 135752675 4294253056 18446744073709551615 134611732 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 142785 142226 146 303 0 142480 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 571140 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30487 /proc/meminfo: memFree=1094532/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=594096 CPUtime=942.04 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 148332 0 0 0 93854 350 0 0 25 0 1 0 25092164 608354304 147941 1992294400 134512640 135752675 4294253056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 148524 147941 146 303 0 148219 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 594096 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30487 /proc/meminfo: memFree=1074320/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=614244 CPUtime=1002.02 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 153364 0 0 0 99834 368 0 0 25 0 1 0 25092164 628985856 152973 1992294400 134512640 135752675 4294253056 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 153561 152973 146 303 0 153256 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 614244 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30489 /proc/meminfo: memFree=1053488/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=635144 CPUtime=1062 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 158587 0 0 0 105816 384 0 0 25 0 1 0 25092164 650387456 158196 1992294400 134512640 135752675 4294253056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 158786 158196 146 303 0 158481 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 635144 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30491 /proc/meminfo: memFree=1031664/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=656844 CPUtime=1121.99 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 163996 0 0 0 111796 403 0 0 25 0 1 0 25092164 672608256 163605 1992294400 134512640 135752675 4294253056 18446744073709551615 134605278 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 164211 163605 146 303 0 163906 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 656844 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30496 /proc/meminfo: memFree=1012568/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=675636 CPUtime=1181.98 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 168676 0 0 0 117777 421 0 0 25 0 1 0 25092164 691851264 168285 1992294400 134512640 135752675 4294253056 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 168909 168285 146 303 0 168604 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 675636 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30498 /proc/meminfo: memFree=988140/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=699968 CPUtime=1241.96 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 174755 0 0 0 123755 441 0 0 25 0 1 0 25092164 716767232 174364 1992294400 134512640 135752675 4294253056 18446744073709551615 134616601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 174992 174364 146 303 0 174687 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 699968 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30498 /proc/meminfo: memFree=968300/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=719464 CPUtime=1301.96 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 179625 0 0 0 129738 458 0 0 25 0 1 0 25092164 736731136 179234 1992294400 134512640 135752675 4294253056 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 179866 179234 146 303 0 179561 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 719464 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30500 /proc/meminfo: memFree=945112/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=742832 CPUtime=1361.93 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 185469 0 0 0 135718 475 0 0 25 0 1 0 25092164 760659968 185078 1992294400 134512640 135752675 4294253056 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 185708 185078 146 303 0 185403 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 742832 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30502 /proc/meminfo: memFree=926760/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=761104 CPUtime=1421.93 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 190016 0 0 0 141703 490 0 0 25 0 1 0 25092164 779370496 189625 1992294400 134512640 135752675 4294253056 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 190276 189625 146 303 0 189971 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 761104 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30504 /proc/meminfo: memFree=900348/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=787684 CPUtime=1481.9 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 196671 0 0 0 147683 507 0 0 25 0 1 0 25092164 806588416 196280 1992294400 134512640 135752675 4294253056 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 196921 196280 146 303 0 196616 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 787684 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30506 /proc/meminfo: memFree=877408/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=810488 CPUtime=1541.89 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 202349 0 0 0 153664 525 0 0 25 0 1 0 25092164 829939712 201958 1992294400 134512640 135752675 4294253056 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 202622 201958 146 303 0 202317 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 810488 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30506 /proc/meminfo: memFree=855956/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=832208 CPUtime=1601.87 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 207802 0 0 0 159644 543 0 0 25 0 1 0 25092164 852180992 207411 1992294400 134512640 135752675 4294253056 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 208052 207411 146 303 0 207747 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 832208 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30508 /proc/meminfo: memFree=837356/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=850552 CPUtime=1661.86 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 212343 0 0 0 165628 558 0 0 25 0 1 0 25092164 870965248 211952 1992294400 134512640 135752675 4294253056 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 212638 211952 146 303 0 212333 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 850552 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30510 /proc/meminfo: memFree=820120/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=868024 CPUtime=1721.84 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 216701 0 0 0 171614 570 0 0 25 0 1 0 25092164 888856576 216310 1992294400 134512640 135752675 4294253056 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 217006 216310 146 303 0 216701 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 868024 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30512 /proc/meminfo: memFree=803504/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=884384 CPUtime=1781.83 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 220728 0 0 0 177601 582 0 0 25 0 1 0 25092164 905609216 220337 1992294400 134512640 135752675 4294253056 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 221096 220337 146 303 0 220791 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 884384 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30512 /proc/meminfo: memFree=794452/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=893228 CPUtime=1800.03 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 222951 0 0 0 179416 587 0 0 25 0 1 0 25092164 914665472 222560 1992294400 134512640 135752675 4294253056 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 223307 222560 146 303 0 223002 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 893228 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30512 /proc/meminfo: memFree=794452/2059040 swapFree=4139448/4192956 [pid=30451] ppid=30449 vsize=893228 CPUtime=1800.03 /proc/30451/stat : 30451 (wbo1.4b) R 30449 30451 30011 0 -1 4202496 222951 0 0 0 179416 587 0 0 25 0 1 0 25092164 914665472 222560 1992294400 134512640 135752675 4294253056 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30451/statm: 223307 222560 146 303 0 223002 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 893228 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.59 CPU time (s): 1800.11 CPU user time (s): 1794.16 CPU system time (s): 5.9501 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 893228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.16 system time used= 5.9501 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 222951 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= 41 involuntary context switches= 3652 runsolver used 2.92656 second user time and 8.59469 second system time The end
Begin job on node084 at 2010-07-08 08:00:36 IDJOB=2702513 IDBENCH=48191 IDSOLVER=1190 FILE ID=node084/2702513-1278568836 PBS_JOBID= 11239563 Free space on /tmp= 62508 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_1.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-2702513-1278568836/watcher-2702513-1278568836 -o /tmp/evaluation-result-2702513-1278568836/solver-2702513-1278568836 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702513-1278568836.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7980660368cd371c40e33d6668082e41 RANDOM SEED=1854591272 node084.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.215 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.215 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1688904 kB Buffers: 77200 kB Cached: 188620 kB SwapCached: 22024 kB Active: 164204 kB Inactive: 131124 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1688904 kB SwapTotal: 4192956 kB SwapFree: 4139448 kB Dirty: 2812 kB Writeback: 0 kB AnonPages: 12252 kB Mapped: 12056 kB Slab: 52968 kB PageTables: 4224 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182860 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-2702513-1278568836.opb Free space on /tmp at the end= 62508 MiB End job on node084 at 2010-07-08 08:30:39