Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.09 | 1800.58 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_25_5.opb |
MD5SUM | 40141f2f083fa5e1f8a41aa043de0b1b |
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 | -64 |
Best CPU time to get the best result obtained on this benchmark | 1800.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -69 |
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 | 47 |
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) | 15706 |
Sum of products size (including duplicates) | 31412 |
Number of different products | 7853 |
Sum of products size | 15706 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702495-1278568502.opb. 0.00/0.00 c Instance file HOME/instance-2702495-1278568502.opb 0.00/0.00 c File size is 664781 bytes. 0.09/0.11 c Highest Coefficient sum: 47 0.09/0.11 c ============================[ Problem Statistics ]============================= 0.09/0.11 c | | 0.09/0.11 c | Parsing time: 0.11 s | 0.09/0.11 c | Number Variables: 8353 | 0.09/0.11 c | Number Clauses: 7853 | 0.09/0.11 c | Number Cardinality: 1000 | 0.09/0.11 c | Number PB Constraints: 7853 | 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 500 16706 38539 | 5568 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: 0 0.09/0.14 o 0 0.09/0.14 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 500 16707 39039 | 5569 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: -1 0.09/0.15 o -1 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 | 0 | 500 16708 39539 | 5569 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: -2 0.09/0.15 o -2 0.09/0.15 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 500 16709 40039 | 5569 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: -3 0.09/0.15 o -3 0.09/0.15 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 500 16710 40539 | 5570 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c New solution: -4 0.09/0.16 o -4 0.09/0.16 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s 0.09/0.16 c =============================================================================== 0.09/0.16 c | 1 | 500 16711 41039 | 5570 1 497 | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c New solution: -5 0.09/0.16 o -5 0.09/0.16 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s 0.09/0.16 c =============================================================================== 0.09/0.16 c | 1 | 500 16712 41539 | 5570 1 497 | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c New solution: -6 0.09/0.17 o -6 0.09/0.17 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s 0.09/0.17 c =============================================================================== 0.09/0.17 c | 1 | 500 16713 42039 | 5571 1 497 | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c New solution: -7 0.09/0.17 o -7 0.09/0.17 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s 0.09/0.17 c =============================================================================== 0.09/0.17 c | 8 | 500 16714 42539 | 5571 8 494 | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c New solution: -8 0.09/0.17 o -8 0.09/0.17 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s 0.09/0.17 c =============================================================================== 0.09/0.17 c | 9 | 500 16715 43039 | 5571 9 494 | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c New solution: -9 0.09/0.18 o -9 0.09/0.18 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 10 | 500 16716 43539 | 5572 10 494 | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c New solution: -10 0.09/0.18 o -10 0.09/0.18 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 15 | 500 16717 44039 | 5572 15 493 | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c New solution: -11 0.09/0.19 o -11 0.09/0.19 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s 0.09/0.19 c =============================================================================== 0.09/0.19 c | 17 | 500 16718 44539 | 5572 17 493 | 0.000 % | 0.09/0.20 c =============================================================================== 0.09/0.20 c New solution: -12 0.09/0.20 o -12 0.09/0.20 c Elapsed CPU time: 0.188971 s Remaining CPU time: 179.811 s 0.09/0.20 c =============================================================================== 0.09/0.20 c | 21 | 500 16719 45039 | 5573 21 492 | 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.19497 s Remaining CPU time: 179.805 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 22 | 500 16720 45539 | 5573 22 492 | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: -14 0.19/0.21 o -14 0.19/0.21 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 25 | 500 16721 46039 | 5573 25 491 | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: -15 0.19/0.22 o -15 0.19/0.22 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 67 | 500 16722 46539 | 5574 67 488 | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: -16 0.19/0.23 o -16 0.19/0.23 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 97 | 500 16723 47039 | 5574 97 487 | 0.000 % | 0.19/0.24 c | 198 | 500 16723 47039 | 6131 198 487 | 94.014 % | 0.19/0.27 c | 350 | 500 16723 47039 | 6744 350 486 | 94.014 % | 0.29/0.31 c | 575 | 500 16723 47039 | 7419 575 485 | 94.014 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c New solution: -17 0.29/0.33 o -17 0.29/0.33 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s 0.29/0.33 c =============================================================================== 0.29/0.33 c | 691 | 500 16724 47539 | 5574 691 485 | 94.014 % | 0.29/0.36 c | 791 | 500 16724 47539 | 6132 791 485 | 94.014 % | 0.29/0.39 c | 942 | 500 16724 47539 | 6745 942 485 | 94.014 % | 0.39/0.44 c | 1167 | 500 16724 47539 | 7419 1167 485 | 94.014 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c New solution: -18 0.49/0.50 o -18 0.49/0.50 c Elapsed CPU time: 0.486925 s Remaining CPU time: 179.513 s 0.49/0.50 c =============================================================================== 0.49/0.50 c | 1468 | 500 16725 48039 | 5575 1468 485 | 94.014 % | 0.49/0.53 c | 1569 | 500 16725 48039 | 6132 1569 485 | 94.014 % | 0.49/0.57 c | 1719 | 500 16725 48039 | 6745 1719 485 | 94.014 % | 0.59/0.65 c | 1944 | 500 16725 48039 | 7420 1944 485 | 94.014 % | 0.69/0.76 c | 2281 | 500 16725 48039 | 8162 2281 485 | 94.014 % | 0.89/0.96 c | 2789 | 500 16725 48039 | 8978 2789 485 | 94.014 % | 1.19/1.22 c =============================================================================== 1.19/1.22 c New solution: -19 1.19/1.22 o -19 1.19/1.22 c Elapsed CPU time: 1.20082 s Remaining CPU time: 178.799 s 1.19/1.22 c =============================================================================== 1.19/1.22 c | 3335 | 500 16726 48539 | 5575 3335 485 | 94.014 % | 1.19/1.29 c | 3435 | 500 16726 48539 | 6132 3435 485 | 94.014 % | 1.29/1.36 c | 3585 | 500 16726 48539 | 6746 3585 485 | 94.014 % | 1.39/1.47 c | 3810 | 500 16726 48539 | 7420 3810 485 | 94.014 % | 1.58/1.66 c | 4148 | 500 16726 48539 | 8162 4148 485 | 94.014 % | 1.58/1.67 c =============================================================================== 1.58/1.67 c New solution: -20 1.58/1.67 o -20 1.58/1.67 c Elapsed CPU time: 1.64575 s Remaining CPU time: 178.354 s 1.58/1.67 c =============================================================================== 1.58/1.67 c | 4169 | 500 16727 49039 | 5575 4169 485 | 94.014 % | 1.69/1.73 c | 4269 | 500 16727 49039 | 6133 4269 485 | 94.014 % | 1.79/1.83 c | 4420 | 500 16727 49039 | 6746 4420 485 | 94.014 % | 1.89/1.96 c | 4646 | 500 16727 49039 | 7421 4646 485 | 94.014 % | 2.10/2.14 c | 4984 | 500 16727 49039 | 8163 4984 485 | 94.014 % | 2.10/2.19 c =============================================================================== 2.10/2.19 c New solution: -21 2.10/2.19 o -21 2.10/2.19 c Elapsed CPU time: 2.15467 s Remaining CPU time: 177.845 s 2.10/2.19 c =============================================================================== 2.10/2.19 c | 5057 | 500 16728 49539 | 5576 5057 485 | 94.014 % | 2.20/2.24 c | 5159 | 500 16728 49539 | 6133 5159 485 | 94.014 % | 2.29/2.33 c | 5310 | 500 16728 49539 | 6746 5310 485 | 94.014 % | 2.39/2.47 c =============================================================================== 2.39/2.47 c New solution: -22 2.39/2.47 o -22 2.39/2.47 c Elapsed CPU time: 2.43263 s Remaining CPU time: 177.567 s 2.39/2.47 c =============================================================================== 2.39/2.47 c | 5511 | 500 16729 50039 | 5576 5511 485 | 94.014 % | 2.49/2.53 c | 5611 | 500 16729 50039 | 6133 5611 485 | 94.014 % | 2.59/2.63 c | 5765 | 500 16729 50039 | 6747 5765 485 | 94.014 % | 2.68/2.76 c | 5990 | 500 16729 50039 | 7422 5990 484 | 94.014 % | 2.89/2.94 c =============================================================================== 2.89/2.94 c New solution: -23 2.89/2.94 o -23 2.89/2.94 c Elapsed CPU time: 2.90656 s Remaining CPU time: 177.093 s 2.89/2.95 c =============================================================================== 2.89/2.95 c | 6241 | 500 16730 50539 | 5576 6241 484 | 94.014 % | 2.99/3.02 c | 6341 | 500 16730 50539 | 6134 6341 484 | 94.014 % | 3.09/3.11 c | 6492 | 500 16730 50539 | 6747 6492 484 | 94.014 % | 3.30/3.31 c | 6717 | 500 16730 50539 | 7422 6717 484 | 94.014 % | 3.49/3.52 c | 7054 | 500 16730 50539 | 8164 7054 484 | 94.014 % | 3.88/3.96 c | 7562 | 500 16730 50539 | 8981 7562 484 | 94.014 % | 4.40/4.49 c | 8321 | 500 16730 50539 | 9879 8321 483 | 94.014 % | 4.99/5.07 c =============================================================================== 4.99/5.07 c New solution: -24 4.99/5.07 o -24 4.99/5.07 c Elapsed CPU time: 5.01824 s Remaining CPU time: 174.982 s 4.99/5.07 c =============================================================================== 4.99/5.07 c | 9037 | 500 16731 51039 | 5577 9037 483 | 94.014 % | 5.09/5.16 c =============================================================================== 5.09/5.16 c New solution: -25 5.09/5.16 o -25 5.09/5.16 c Elapsed CPU time: 5.10622 s Remaining CPU time: 174.894 s 5.09/5.16 c =============================================================================== 5.09/5.16 c | 9113 | 500 16732 51539 | 5577 9113 483 | 94.014 % | 5.19/5.24 c | 9213 | 500 16732 51539 | 6135 9213 483 | 94.014 % | 5.39/5.41 c | 9365 | 500 16732 51539 | 6748 9365 483 | 94.014 % | 5.58/5.66 c | 9591 | 500 16732 51539 | 7423 9591 483 | 94.014 % | 5.99/6.00 c | 9930 | 500 16732 51539 | 8165 9930 483 | 94.014 % | 6.50/6.57 c | 10437 | 500 16732 51539 | 8982 10437 483 | 94.014 % | 7.29/7.36 c | 11196 | 500 16732 51539 | 9880 11196 484 | 94.014 % | 8.58/8.69 c | 12338 | 500 16732 51539 | 10868 12338 483 | 94.014 % | 10.49/10.54 c | 14047 | 500 16732 51539 | 11955 14047 483 | 94.014 % | 12.89/12.91 c | 16610 | 500 16732 51539 | 13151 16610 482 | 94.014 % | 15.19/15.28 c | 20456 | 500 16732 51539 | 14466 20456 481 | 94.014 % | 17.79/17.80 c =============================================================================== 17.79/17.80 c New solution: -26 17.79/17.80 o -26 17.79/17.80 c Elapsed CPU time: 17.6663 s Remaining CPU time: 162.334 s 17.79/17.80 c =============================================================================== 17.79/17.80 c | 23333 | 500 16733 52039 | 5577 11221 477 | 94.014 % | 17.88/17.92 c | 23435 | 500 16733 52039 | 6135 11323 477 | 94.014 % | 17.98/18.01 c | 23587 | 500 16733 52039 | 6748 11475 477 | 94.014 % | 18.08/18.10 c | 23813 | 500 16733 52039 | 7423 11701 477 | 94.014 % | 18.38/18.40 c | 24151 | 500 16733 52039 | 8166 12039 477 | 94.014 % | 18.88/18.93 c | 24659 | 500 16733 52039 | 8982 12547 477 | 94.014 % | 19.59/19.66 c | 25418 | 500 16733 52039 | 9881 13306 477 | 94.014 % | 20.98/21.07 c | 26557 | 500 16733 52039 | 10869 14445 477 | 94.014 % | 23.39/23.41 c | 28266 | 500 16733 52039 | 11956 16154 477 | 94.014 % | 26.19/26.28 c | 30829 | 500 16733 52039 | 13151 18717 477 | 94.014 % | 31.58/31.69 c =============================================================================== 31.58/31.69 c New solution: -27 31.58/31.69 o -27 31.58/31.69 c Elapsed CPU time: 31.4872 s Remaining CPU time: 148.513 s 31.58/31.69 c =============================================================================== 31.58/31.69 c | 32969 | 500 16734 52539 | 5578 20857 477 | 94.014 % | 31.98/32.03 c | 33069 | 500 16734 52539 | 6135 10529 477 | 94.014 % | 32.08/32.16 c | 33220 | 500 16734 52539 | 6749 10680 477 | 94.014 % | 32.38/32.49 c | 33449 | 500 16734 52539 | 7424 10909 477 | 94.014 % | 32.78/32.81 c | 33786 | 500 16734 52539 | 8166 11246 477 | 94.014 % | 33.28/33.33 c | 34292 | 500 16734 52539 | 8983 11752 477 | 94.014 % | 34.09/34.12 c | 35052 | 500 16734 52539 | 9881 12512 478 | 94.014 % | 35.88/35.90 c | 36194 | 500 16734 52539 | 10869 13654 479 | 94.014 % | 38.18/38.23 c | 37902 | 500 16734 52539 | 11956 15362 478 | 94.014 % | 42.37/42.40 c | 40464 | 500 16734 52539 | 13152 17924 478 | 94.014 % | 48.77/48.86 c | 44309 | 500 16734 52539 | 14467 10924 478 | 94.014 % | 56.48/56.55 c | 50075 | 500 16734 52539 | 15914 16690 477 | 94.014 % | 59.97/60.01 c =============================================================================== 59.97/60.01 c New solution: -28 59.97/60.01 o -28 59.97/60.01 c Elapsed CPU time: 59.6519 s Remaining CPU time: 120.348 s 59.97/60.01 c =============================================================================== 59.97/60.01 c | 53187 | 500 16735 53039 | 5578 19802 477 | 94.014 % | 60.18/60.25 c | 53289 | 500 16735 53039 | 6136 10003 475 | 94.014 % | 60.38/60.46 c | 53439 | 500 16735 53039 | 6749 10153 475 | 94.014 % | 60.57/60.60 c | 53664 | 500 16735 53039 | 7424 10378 475 | 94.014 % | 60.77/60.83 c | 54001 | 500 16735 53039 | 8167 10715 475 | 94.014 % | 61.17/61.26 c | 54507 | 500 16735 53039 | 8983 11221 475 | 94.014 % | 61.67/61.76 c | 55267 | 500 16735 53039 | 9882 11981 475 | 94.014 % | 62.18/62.29 c | 56406 | 500 16735 53039 | 10870 13120 475 | 94.014 % | 63.97/64.04 c | 58114 | 500 16735 53039 | 11957 14828 475 | 94.014 % | 68.57/68.69 c | 60678 | 500 16735 53039 | 13153 17392 475 | 94.014 % | 78.27/78.33 c | 64523 | 500 16735 53039 | 14468 21237 474 | 94.014 % | 87.56/87.62 c | 70290 | 500 16735 53039 | 15915 14889 473 | 94.014 % | 95.36/95.41 c | 78941 | 500 16735 53039 | 17507 23540 473 | 94.014 % | 100.17/100.26 c =============================================================================== 100.17/100.26 c New solution: -29 100.17/100.26 o -29 100.17/100.26 c Elapsed CPU time: 99.7078 s Remaining CPU time: 80.2922 s 100.17/100.26 c =============================================================================== 100.17/100.26 c | 85762 | 500 16736 53539 | 5578 15348 473 | 94.014 % | 100.36/100.47 c | 85862 | 500 16736 53539 | 6136 7774 473 | 94.014 % | 100.56/100.61 c | 86012 | 500 16736 53539 | 6750 7924 473 | 94.014 % | 100.66/100.76 c | 86239 | 500 16736 53539 | 7425 8151 473 | 94.014 % | 100.96/101.04 c | 86577 | 500 16736 53539 | 8167 8489 473 | 94.014 % | 101.26/101.39 c | 87085 | 500 16736 53539 | 8984 8997 473 | 94.014 % | 101.76/101.82 c | 87845 | 500 16736 53539 | 9882 9757 473 | 94.014 % | 102.46/102.51 c | 88984 | 500 16736 53539 | 10871 10896 473 | 94.014 % | 104.26/104.36 c | 90694 | 500 16736 53539 | 11958 12606 473 | 94.014 % | 106.96/107.05 c | 93256 | 500 16736 53539 | 13154 15168 473 | 94.014 % | 110.35/110.45 c | 97102 | 500 16736 53539 | 14469 19014 473 | 94.014 % | 113.66/113.74 c | 102869 | 500 16736 53539 | 15916 12690 473 | 94.014 % | 118.55/118.65 c | 111518 | 500 16736 53539 | 17508 21339 473 | 94.014 % | 126.65/126.71 c =============================================================================== 126.65/126.71 c New solution: -30 126.65/126.71 o -30 126.65/126.71 c Elapsed CPU time: 125.966 s Remaining CPU time: 54.0341 s 126.65/126.71 c =============================================================================== 126.65/126.71 c | 118398 | 500 16737 54039 | 5579 13202 472 | 94.014 % | 126.65/126.80 c | 118498 | 500 16737 54039 | 6136 13302 472 | 94.014 % | 126.86/126.96 c | 118649 | 500 16737 54039 | 6750 13453 472 | 94.014 % | 127.16/127.23 c | 118874 | 500 16737 54039 | 7425 13678 473 | 94.014 % | 127.56/127.62 c | 119211 | 500 16737 54039 | 8168 14015 473 | 94.014 % | 128.15/128.28 c | 119717 | 500 16737 54039 | 8985 14521 473 | 94.014 % | 128.95/129.04 c | 120476 | 500 16737 54039 | 9883 15280 473 | 94.014 % | 130.06/130.10 c | 121616 | 500 16737 54039 | 10871 16420 473 | 94.014 % | 132.55/132.61 c | 123326 | 500 16737 54039 | 11959 18130 473 | 94.014 % | 135.16/135.27 c | 125888 | 500 16737 54039 | 13154 10551 473 | 94.014 % | 135.95/136.06 c =============================================================================== 135.95/136.06 c New solution: -31 135.95/136.06 o -31 135.95/136.06 c Elapsed CPU time: 135.248 s Remaining CPU time: 44.7516 s 135.95/136.06 c =============================================================================== 135.95/136.06 c | 126704 | 500 16738 54539 | 5579 11367 473 | 94.014 % | 136.16/136.21 c | 126804 | 500 16738 54539 | 6137 11467 473 | 94.014 % | 136.36/136.41 c | 126955 | 500 16738 54539 | 6750 11618 473 | 94.014 % | 136.76/136.86 c | 127180 | 500 16738 54539 | 7426 11843 473 | 94.014 % | 137.25/137.38 c | 127518 | 500 16738 54539 | 8168 12181 473 | 94.014 % | 137.85/137.90 c | 128024 | 500 16738 54539 | 8985 12687 473 | 94.014 % | 138.65/138.73 c | 128784 | 500 16738 54539 | 9884 13447 473 | 94.014 % | 139.35/139.48 c | 129925 | 500 16738 54539 | 10872 14588 473 | 94.014 % | 141.76/141.86 c | 131634 | 500 16738 54539 | 11959 16297 472 | 94.014 % | 144.46/144.53 c | 134196 | 500 16738 54539 | 13155 18859 472 | 94.014 % | 147.85/147.99 c | 138042 | 500 16738 54539 | 14471 11840 471 | 94.014 % | 151.75/151.85 c | 143810 | 500 16738 54539 | 15918 17608 471 | 94.014 % | 161.65/161.72 c | 152459 | 500 16738 54539 | 17510 12786 472 | 94.014 % | 180.94/181.06 c There are 7853 assigned variables. 0 in cost function. 182.34/182.43 c core #1 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -499 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #2 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -498 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #3 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -497 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #4 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -496 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #5 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -495 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #6 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -494 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #7 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -493 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #8 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -492 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #9 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -491 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #10 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -490 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #11 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -489 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #12 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -488 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #13 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -487 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #14 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -486 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #15 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -485 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #16 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -484 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #17 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -483 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #18 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -482 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #19 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -481 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #20 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -480 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #21 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -479 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #22 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -478 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #23 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -477 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #24 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -476 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #25 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -475 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #26 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -474 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #27 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -473 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #28 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -472 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #29 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -471 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #30 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -470 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #31 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -469 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #32 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -468 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #33 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -467 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #34 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -466 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #35 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -465 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #36 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -464 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #37 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -463 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #38 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -462 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #39 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -461 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #40 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -460 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #41 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -459 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #42 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -458 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #43 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -457 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #44 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -456 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #45 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -455 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #46 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -454 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #47 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -453 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #48 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -452 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #49 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -451 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #50 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -450 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #51 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -449 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #52 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -448 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #53 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -447 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #54 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -446 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #55 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -445 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #56 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -444 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #57 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -443 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #58 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -442 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c core #59 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 3 Core Weight: 1 Total Weight: -441 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #60 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -440 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #61 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -439 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #62 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -438 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #63 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -437 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #64 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -436 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #65 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -435 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #66 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -434 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #67 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -433 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #68 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -432 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #69 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -431 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #70 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -430 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #71 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -429 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #72 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -428 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #73 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -427 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #74 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -426 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #75 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -425 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #76 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -424 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #77 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -423 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #78 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -422 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #79 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -421 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #80 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -420 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #81 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -419 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #82 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -418 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #83 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -417 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #84 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -416 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #85 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -415 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #86 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -414 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #87 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -413 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #88 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -412 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #89 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -411 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #90 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -410 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #91 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -409 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #92 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -408 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #93 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -407 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #94 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -406 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #95 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -405 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #96 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -404 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #97 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -403 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #98 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -402 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #99 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -401 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #100 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -400 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #101 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -399 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #102 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -398 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #103 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -397 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #104 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -396 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #105 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -395 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #106 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -394 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #107 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -393 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #108 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -392 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #109 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -391 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #110 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -390 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #111 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -389 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #112 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -388 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #113 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -387 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #114 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -386 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #115 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -385 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #116 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -384 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c core #117 183.55/183.69 c 183.55/183.69 c 183.55/183.69 c Core size: 3 Core Weight: 1 Total Weight: -383 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #118 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -382 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #119 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -381 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #120 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -380 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #121 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -379 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #122 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -378 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #123 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -377 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #124 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -376 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #125 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -375 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #126 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -374 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #127 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -373 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #128 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -372 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #129 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -371 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #130 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -370 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #131 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -369 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #132 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -368 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #133 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -367 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #134 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -366 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #135 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -365 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #136 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -364 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #137 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -363 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #138 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -362 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #139 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -361 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #140 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -360 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #141 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -359 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #142 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -358 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #143 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -357 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #144 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -356 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #145 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -355 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #146 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -354 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #147 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -353 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #148 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -352 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #149 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -351 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #150 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -350 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #151 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -349 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #152 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -348 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #153 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -347 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #154 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -346 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #155 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -345 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #156 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -344 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #157 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -343 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #158 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -342 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #159 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -341 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #160 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -340 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #161 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -339 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #162 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -338 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #163 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -337 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #164 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -336 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #165 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -335 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #166 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -334 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #167 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -333 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #168 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -332 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #169 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -331 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #170 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -330 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #171 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -329 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #172 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -328 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #173 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -327 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #174 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -326 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c core #175 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 3 Core Weight: 1 Total Weight: -325 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #176 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -324 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #177 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -323 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #178 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -322 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #179 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -321 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #180 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -320 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #181 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -319 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #182 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -318 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #183 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -317 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #184 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -316 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #185 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -315 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #186 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -314 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #187 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -313 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #188 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -312 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #189 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -311 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #190 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -310 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #191 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -309 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #192 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -308 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #193 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -307 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #194 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -306 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #195 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -305 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #196 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -304 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #197 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -303 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #198 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -302 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #199 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -301 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #200 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -300 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #201 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -299 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #202 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -298 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #203 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -297 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #204 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -296 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #205 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -295 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #206 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -294 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #207 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -293 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #208 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -292 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #209 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -291 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #210 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -290 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #211 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -289 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #212 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -288 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #213 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -287 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #214 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -286 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #215 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -285 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #216 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -284 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #217 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -283 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #218 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -282 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #219 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -281 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #220 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -280 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #221 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -279 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #222 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -278 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #223 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -277 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #224 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -276 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #225 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -275 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #226 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -274 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #227 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -273 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #228 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -272 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #229 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -271 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #230 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -270 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #231 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -269 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #232 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -268 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #233 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -267 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c core #234 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c Core size: 3 Core Weight: 1 Total Weight: -266 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c core #235 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c Core size: 3 Core Weight: 1 Total Weight: -265 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c core #236 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c Core size: 3 Core Weight: 1 Total Weight: -264 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c core #237 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c Core size: 3 Core Weight: 1 Total Weight: -263 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c core #238 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c Core size: 3 Core Weight: 1 Total Weight: -262 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c core #239 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c Core size: 3 Core Weight: 1 Total Weight: -261 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c core #240 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c Core size: 3 Core Weight: 1 Total Weight: -260 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c core #241 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c Core size: 3 Core Weight: 1 Total Weight: -259 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c core #242 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c Core size: 3 Core Weight: 1 Total Weight: -258 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c core #243 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c Core size: 3 Core Weight: 1 Total Weight: -257 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c core #244 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c Core size: 6 Core Weight: 1 Total Weight: -256 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c core #245 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c Core size: 7 Core Weight: 1 Total Weight: -255 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c core #246 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c Core size: 7 Core Weight: 1 Total Weight: -254 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c core #247 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c Core size: 7 Core Weight: 1 Total Weight: -253 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c core #248 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c Core size: 11 Core Weight: 1 Total Weight: -252 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c core #249 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c Core size: 7 Core Weight: 1 Total Weight: -251 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c core #250 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c Core size: 22 Core Weight: 1 Total Weight: -250 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c core #251 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c Core size: 18 Core Weight: 1 Total Weight: -249 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c core #252 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c Core size: 14 Core Weight: 1 Total Weight: -248 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c ============================[ Search Statistics ]============================== 187.24/187.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.24/187.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.24/187.34 c =============================================================================== 187.24/187.34 c | 0 | 1038 16490 33282 | 5496 0 nan | 0.000 % | 187.24/187.34 c =============================================================================== 187.24/187.38 c core #253 187.24/187.38 c 187.24/187.38 c 187.24/187.38 c Core size: 10 Core Weight: 1 Total Weight: -247 187.24/187.38 c 187.24/187.38 c 187.24/187.38 c ============================[ Search Statistics ]============================== 187.24/187.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.24/187.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.24/187.38 c =============================================================================== 187.24/187.38 c | 0 | 1044 16491 33294 | 5497 0 nan | 0.000 % | 187.24/187.39 c =============================================================================== 187.33/187.42 c core #254 187.33/187.42 c 187.33/187.42 c 187.33/187.42 c Core size: 14 Core Weight: 1 Total Weight: -246 187.33/187.42 c 187.33/187.42 c 187.33/187.42 c ============================[ Search Statistics ]============================== 187.33/187.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.33/187.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.33/187.42 c =============================================================================== 187.33/187.42 c | 0 | 1052 16492 33310 | 5497 0 nan | 0.000 % | 187.33/187.43 c =============================================================================== 187.33/187.46 c core #255 187.33/187.46 c 187.33/187.46 c 187.33/187.46 c Core size: 14 Core Weight: 1 Total Weight: -245 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 | 1060 16493 33326 | 5497 0 nan | 0.000 % | 187.33/187.47 c =============================================================================== 187.43/187.51 c core #256 187.43/187.51 c 187.43/187.51 c 187.43/187.51 c Core size: 10 Core Weight: 1 Total Weight: -244 187.43/187.51 c 187.43/187.51 c 187.43/187.51 c ============================[ Search Statistics ]============================== 187.43/187.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.43/187.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.43/187.51 c =============================================================================== 187.43/187.51 c | 0 | 1066 16494 33338 | 5498 0 nan | 0.000 % | 187.43/187.52 c =============================================================================== 187.43/187.55 c core #257 187.43/187.55 c 187.43/187.55 c 187.43/187.55 c Core size: 10 Core Weight: 1 Total Weight: -243 187.43/187.55 c 187.43/187.55 c 187.43/187.55 c ============================[ Search Statistics ]============================== 187.43/187.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.43/187.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.43/187.55 c =============================================================================== 187.43/187.55 c | 0 | 1072 16495 33350 | 5498 0 nan | 0.000 % | 187.43/187.56 c =============================================================================== 187.43/187.60 c core #258 187.43/187.60 c 187.43/187.60 c 187.43/187.60 c Core size: 14 Core Weight: 1 Total Weight: -242 187.43/187.60 c 187.43/187.60 c 187.43/187.60 c ============================[ Search Statistics ]============================== 187.43/187.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.43/187.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.43/187.60 c =============================================================================== 187.43/187.60 c | 0 | 1080 16496 33366 | 5498 0 nan | 0.000 % | 187.54/187.61 c =============================================================================== 187.54/187.64 c core #259 187.54/187.64 c 187.54/187.64 c 187.54/187.64 c Core size: 14 Core Weight: 1 Total Weight: -241 187.54/187.64 c 187.54/187.64 c 187.54/187.64 c ============================[ Search Statistics ]============================== 187.54/187.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.54/187.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.54/187.64 c =============================================================================== 187.54/187.64 c | 0 | 1088 16497 33382 | 5499 0 nan | 0.000 % | 187.54/187.65 c =============================================================================== 187.54/187.69 c core #260 187.54/187.69 c 187.54/187.69 c 187.54/187.69 c Core size: 12 Core Weight: 1 Total Weight: -240 187.54/187.69 c 187.54/187.69 c 187.54/187.69 c ============================[ Search Statistics ]============================== 187.54/187.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.54/187.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.54/187.69 c =============================================================================== 187.54/187.69 c | 0 | 1096 16498 33398 | 5499 0 nan | 0.000 % | 187.54/187.70 c =============================================================================== 187.64/187.73 c core #261 187.64/187.73 c 187.64/187.73 c 187.64/187.73 c Core size: 16 Core Weight: 1 Total Weight: -239 187.64/187.73 c 187.64/187.73 c 187.64/187.73 c ============================[ Search Statistics ]============================== 187.64/187.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.64/187.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.64/187.73 c =============================================================================== 187.64/187.73 c | 0 | 1106 16499 33418 | 5499 0 nan | 0.000 % | 187.64/187.74 c =============================================================================== 187.64/187.78 c core #262 187.64/187.78 c 187.64/187.78 c 187.64/187.78 c Core size: 16 Core Weight: 1 Total Weight: -238 187.64/187.78 c 187.64/187.78 c 187.64/187.78 c ============================[ Search Statistics ]============================== 187.64/187.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.64/187.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.64/187.78 c =============================================================================== 187.64/187.78 c | 0 | 1116 16500 33438 | 5500 0 nan | 0.000 % | 187.64/187.79 c =============================================================================== 187.74/187.82 c core #263 187.74/187.82 c 187.74/187.82 c 187.74/187.82 c Core size: 10 Core Weight: 1 Total Weight: -237 187.74/187.82 c 187.74/187.82 c 187.74/187.82 c ============================[ Search Statistics ]============================== 187.74/187.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.74/187.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.74/187.82 c =============================================================================== 187.74/187.82 c | 0 | 1122 16501 33450 | 5500 0 nan | 0.000 % | 187.74/187.83 c =============================================================================== 187.74/187.87 c core #264 187.74/187.87 c 187.74/187.87 c 187.74/187.87 c Core size: 12 Core Weight: 1 Total Weight: -236 187.74/187.87 c 187.74/187.87 c 187.74/187.87 c ============================[ Search Statistics ]============================== 187.74/187.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.74/187.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.74/187.87 c =============================================================================== 187.74/187.87 c | 0 | 1128 16502 33462 | 5500 0 nan | 0.000 % | 187.74/187.87 c =============================================================================== 187.84/187.91 c core #265 187.84/187.91 c 187.84/187.91 c 187.84/187.91 c Core size: 16 Core Weight: 1 Total Weight: -235 187.84/187.91 c 187.84/187.91 c 187.84/187.91 c ============================[ Search Statistics ]============================== 187.84/187.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.84/187.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.84/187.91 c =============================================================================== 187.84/187.91 c | 0 | 1138 16503 33482 | 5501 0 nan | 0.000 % | 187.84/187.92 c =============================================================================== 187.84/187.95 c core #266 187.84/187.95 c 187.84/187.95 c 187.84/187.95 c Core size: 10 Core Weight: 1 Total Weight: -234 187.84/187.95 c 187.84/187.95 c 187.84/187.95 c ============================[ Search Statistics ]============================== 187.84/187.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.84/187.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.84/187.95 c =============================================================================== 187.84/187.95 c | 0 | 1144 16504 33494 | 5501 0 nan | 0.000 % | 187.84/187.96 c =============================================================================== 187.84/188.00 c core #267 187.84/188.00 c 187.84/188.00 c 187.84/188.00 c Core size: 12 Core Weight: 1 Total Weight: -233 187.84/188.00 c 187.84/188.00 c 187.84/188.00 c ============================[ Search Statistics ]============================== 187.84/188.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.84/188.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.84/188.00 c =============================================================================== 187.84/188.00 c | 0 | 1152 16505 33510 | 5501 0 nan | 0.000 % | 187.95/188.00 c =============================================================================== 187.95/188.04 c core #268 187.95/188.04 c 187.95/188.04 c 187.95/188.04 c Core size: 16 Core Weight: 1 Total Weight: -232 187.95/188.04 c 187.95/188.04 c 187.95/188.04 c ============================[ Search Statistics ]============================== 187.95/188.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.95/188.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.95/188.04 c =============================================================================== 187.95/188.04 c | 0 | 1162 16506 33530 | 5502 0 nan | 0.000 % | 187.95/188.04 c =============================================================================== 187.95/188.08 c core #269 187.95/188.08 c 187.95/188.08 c 187.95/188.08 c Core size: 10 Core Weight: 1 Total Weight: -231 187.95/188.08 c 187.95/188.08 c 187.95/188.08 c ============================[ Search Statistics ]============================== 187.95/188.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.95/188.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.95/188.08 c =============================================================================== 187.95/188.08 c | 0 | 1168 16507 33542 | 5502 0 nan | 0.000 % | 187.95/188.09 c =============================================================================== 188.05/188.12 c core #270 188.05/188.12 c 188.05/188.12 c 188.05/188.12 c Core size: 16 Core Weight: 1 Total Weight: -230 188.05/188.12 c 188.05/188.12 c 188.05/188.12 c ============================[ Search Statistics ]============================== 188.05/188.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.05/188.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.05/188.12 c =============================================================================== 188.05/188.12 c | 0 | 1178 16508 33562 | 5502 0 nan | 0.000 % | 188.05/188.13 c =============================================================================== 188.05/188.17 c core #271 188.05/188.17 c 188.05/188.17 c 188.05/188.17 c Core size: 16 Core Weight: 1 Total Weight: -229 188.05/188.17 c 188.05/188.17 c 188.05/188.17 c ============================[ Search Statistics ]============================== 188.05/188.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.05/188.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.05/188.17 c =============================================================================== 188.05/188.17 c | 0 | 1188 16509 33582 | 5503 0 nan | 0.000 % | 188.05/188.17 c =============================================================================== 188.14/188.21 c core #272 188.14/188.21 c 188.14/188.21 c 188.14/188.21 c Core size: 16 Core Weight: 1 Total Weight: -228 188.14/188.21 c 188.14/188.21 c 188.14/188.21 c ============================[ Search Statistics ]============================== 188.14/188.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.14/188.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.14/188.21 c =============================================================================== 188.14/188.21 c | 0 | 1198 16510 33602 | 5503 0 nan | 0.000 % | 188.14/188.21 c =============================================================================== 188.14/188.25 c core #273 188.14/188.25 c 188.14/188.25 c 188.14/188.25 c Core size: 14 Core Weight: 1 Total Weight: -227 188.14/188.25 c 188.14/188.25 c 188.14/188.25 c ============================[ Search Statistics ]============================== 188.14/188.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.14/188.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.14/188.25 c =============================================================================== 188.14/188.25 c | 0 | 1206 16511 33618 | 5503 0 nan | 0.000 % | 188.14/188.26 c =============================================================================== 188.14/188.29 c core #274 188.14/188.29 c 188.14/188.29 c 188.14/188.29 c Core size: 10 Core Weight: 1 Total Weight: -226 188.14/188.29 c 188.14/188.29 c 188.14/188.29 c ============================[ Search Statistics ]============================== 188.14/188.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.14/188.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.14/188.29 c =============================================================================== 188.14/188.29 c | 0 | 1212 16512 33630 | 5504 0 nan | 0.000 % | 188.24/188.30 c =============================================================================== 188.24/188.34 c core #275 188.24/188.34 c 188.24/188.34 c 188.24/188.34 c Core size: 10 Core Weight: 1 Total Weight: -225 188.24/188.34 c 188.24/188.34 c 188.24/188.34 c ============================[ Search Statistics ]============================== 188.24/188.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.24/188.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.24/188.34 c =============================================================================== 188.24/188.34 c | 0 | 1218 16513 33642 | 5504 0 nan | 0.000 % | 188.24/188.34 c =============================================================================== 188.24/188.38 c core #276 188.24/188.38 c 188.24/188.38 c 188.24/188.38 c Core size: 14 Core Weight: 1 Total Weight: -224 188.24/188.38 c 188.24/188.38 c 188.24/188.38 c ============================[ Search Statistics ]============================== 188.24/188.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.24/188.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.24/188.38 c =============================================================================== 188.24/188.38 c | 0 | 1226 16514 33658 | 5504 0 nan | 0.000 % | 188.24/188.39 c =============================================================================== 188.34/188.42 c core #277 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 12 Core Weight: 1 Total Weight: -223 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c ============================[ Search Statistics ]============================== 188.34/188.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.34/188.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.34/188.42 c =============================================================================== 188.34/188.42 c | 0 | 1234 16515 33674 | 5505 0 nan | 0.000 % | 188.34/188.43 c =============================================================================== 188.34/188.47 c core #278 188.34/188.47 c 188.34/188.47 c 188.34/188.47 c Core size: 14 Core Weight: 1 Total Weight: -222 188.34/188.47 c 188.34/188.47 c 188.34/188.47 c ============================[ Search Statistics ]============================== 188.34/188.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.34/188.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.34/188.47 c =============================================================================== 188.34/188.47 c | 0 | 1242 16516 33690 | 5505 0 nan | 0.000 % | 188.34/188.47 c =============================================================================== 188.43/188.51 c core #279 188.43/188.51 c 188.43/188.51 c 188.43/188.51 c Core size: 16 Core Weight: 1 Total Weight: -221 188.43/188.51 c 188.43/188.51 c 188.43/188.51 c ============================[ Search Statistics ]============================== 188.43/188.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.43/188.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.43/188.51 c =============================================================================== 188.43/188.51 c | 0 | 1252 16517 33710 | 5505 0 nan | 0.000 % | 188.43/188.52 c =============================================================================== 188.43/188.56 c core #280 188.43/188.56 c 188.43/188.56 c 188.43/188.56 c Core size: 18 Core Weight: 1 Total Weight: -220 188.43/188.56 c 188.43/188.56 c 188.43/188.56 c ============================[ Search Statistics ]============================== 188.43/188.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.43/188.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.43/188.56 c =============================================================================== 188.43/188.56 c | 0 | 1264 16518 33734 | 5506 0 nan | 0.000 % | 188.43/188.57 c =============================================================================== 188.54/188.60 c core #281 188.54/188.60 c 188.54/188.60 c 188.54/188.60 c Core size: 14 Core Weight: 1 Total Weight: -219 188.54/188.60 c 188.54/188.60 c 188.54/188.60 c ============================[ Search Statistics ]============================== 188.54/188.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.54/188.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.54/188.60 c =============================================================================== 188.54/188.60 c | 0 | 1272 16519 33750 | 5506 0 nan | 0.000 % | 188.54/188.61 c =============================================================================== 188.54/188.65 c core #282 188.54/188.65 c 188.54/188.65 c 188.54/188.65 c Core size: 16 Core Weight: 1 Total Weight: -218 188.54/188.65 c 188.54/188.65 c 188.54/188.65 c ============================[ Search Statistics ]============================== 188.54/188.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.54/188.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.54/188.65 c =============================================================================== 188.54/188.65 c | 0 | 1282 16520 33770 | 5506 0 nan | 0.000 % | 188.54/188.65 c =============================================================================== 188.54/188.69 c core #283 188.54/188.69 c 188.54/188.69 c 188.54/188.69 c Core size: 16 Core Weight: 1 Total Weight: -217 188.54/188.69 c 188.54/188.69 c 188.54/188.69 c ============================[ Search Statistics ]============================== 188.54/188.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.54/188.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.54/188.69 c =============================================================================== 188.54/188.69 c | 0 | 1292 16521 33790 | 5507 0 nan | 0.000 % | 188.54/188.70 c =============================================================================== 188.64/188.73 c core #284 188.64/188.73 c 188.64/188.73 c 188.64/188.73 c Core size: 16 Core Weight: 1 Total Weight: -216 188.64/188.73 c 188.64/188.73 c 188.64/188.73 c ============================[ Search Statistics ]============================== 188.64/188.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.64/188.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.64/188.73 c =============================================================================== 188.64/188.73 c | 0 | 1302 16522 33810 | 5507 0 nan | 0.000 % | 188.64/188.74 c =============================================================================== 188.64/188.78 c core #285 188.64/188.78 c 188.64/188.78 c 188.64/188.78 c Core size: 10 Core Weight: 1 Total Weight: -215 188.64/188.78 c 188.64/188.78 c 188.64/188.78 c ============================[ Search Statistics ]============================== 188.64/188.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.64/188.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.64/188.78 c =============================================================================== 188.64/188.78 c | 0 | 1308 16523 33822 | 5507 0 nan | 0.000 % | 188.64/188.79 c =============================================================================== 188.74/188.82 c core #286 188.74/188.82 c 188.74/188.82 c 188.74/188.82 c Core size: 16 Core Weight: 1 Total Weight: -214 188.74/188.82 c 188.74/188.82 c 188.74/188.82 c ============================[ Search Statistics ]============================== 188.74/188.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.74/188.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.74/188.82 c =============================================================================== 188.74/188.82 c | 0 | 1318 16524 33842 | 5508 0 nan | 0.000 % | 188.74/188.83 c =============================================================================== 188.74/188.87 c core #287 188.74/188.87 c 188.74/188.87 c 188.74/188.87 c Core size: 16 Core Weight: 1 Total Weight: -213 188.74/188.87 c 188.74/188.87 c 188.74/188.87 c ============================[ Search Statistics ]============================== 188.74/188.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.74/188.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.74/188.87 c =============================================================================== 188.74/188.87 c | 0 | 1328 16525 33862 | 5508 0 nan | 0.000 % | 188.74/188.88 c =============================================================================== 188.84/188.92 c core #288 188.84/188.92 c 188.84/188.92 c 188.84/188.92 c Core size: 16 Core Weight: 1 Total Weight: -212 188.84/188.92 c 188.84/188.92 c 188.84/188.92 c ============================[ Search Statistics ]============================== 188.84/188.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.84/188.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.84/188.92 c =============================================================================== 188.84/188.92 c | 0 | 1338 16526 33882 | 5508 0 nan | 0.000 % | 188.84/188.92 c =============================================================================== 188.84/188.96 c core #289 188.84/188.96 c 188.84/188.96 c 188.84/188.96 c Core size: 16 Core Weight: 1 Total Weight: -211 188.84/188.96 c 188.84/188.96 c 188.84/188.96 c ============================[ Search Statistics ]============================== 188.84/188.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.84/188.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.84/188.96 c =============================================================================== 188.84/188.96 c | 0 | 1348 16527 33902 | 5509 0 nan | 0.000 % | 188.84/188.97 c =============================================================================== 188.94/189.01 c core #290 188.94/189.01 c 188.94/189.01 c 188.94/189.01 c Core size: 16 Core Weight: 1 Total Weight: -210 188.94/189.01 c 188.94/189.01 c 188.94/189.01 c ============================[ Search Statistics ]============================== 188.94/189.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.94/189.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.94/189.01 c =============================================================================== 188.94/189.01 c | 0 | 1358 16528 33922 | 5509 0 nan | 0.000 % | 188.94/189.02 c =============================================================================== 188.94/189.06 c core #291 188.94/189.06 c 188.94/189.06 c 188.94/189.06 c Core size: 23 Core Weight: 1 Total Weight: -209 188.94/189.06 c 188.94/189.06 c 188.94/189.06 c ============================[ Search Statistics ]============================== 188.94/189.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.94/189.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.94/189.06 c =============================================================================== 188.94/189.06 c | 0 | 1376 16529 33958 | 5509 0 nan | 0.000 % | 188.94/189.06 c =============================================================================== 189.05/189.10 c core #292 189.05/189.10 c 189.05/189.10 c 189.05/189.10 c Core size: 16 Core Weight: 1 Total Weight: -208 189.05/189.10 c 189.05/189.10 c 189.05/189.10 c ============================[ Search Statistics ]============================== 189.05/189.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.05/189.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.05/189.10 c =============================================================================== 189.05/189.10 c | 0 | 1386 16530 33978 | 5510 0 nan | 0.000 % | 189.05/189.11 c =============================================================================== 189.05/189.15 c core #293 189.05/189.15 c 189.05/189.15 c 189.05/189.15 c Core size: 14 Core Weight: 1 Total Weight: -207 189.05/189.15 c 189.05/189.15 c 189.05/189.15 c ============================[ Search Statistics ]============================== 189.05/189.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.05/189.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.05/189.15 c =============================================================================== 189.05/189.15 c | 0 | 1394 16531 33994 | 5510 0 nan | 0.000 % | 189.05/189.16 c =============================================================================== 189.05/189.20 c core #294 189.05/189.20 c 189.05/189.20 c 189.05/189.20 c Core size: 14 Core Weight: 1 Total Weight: -206 189.05/189.20 c 189.05/189.20 c 189.05/189.20 c ============================[ Search Statistics ]============================== 189.05/189.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.05/189.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.05/189.20 c =============================================================================== 189.05/189.20 c | 0 | 1402 16532 34010 | 5510 0 nan | 0.000 % | 189.15/189.20 c =============================================================================== 189.15/189.24 c core #295 189.15/189.24 c 189.15/189.24 c 189.15/189.24 c Core size: 12 Core Weight: 1 Total Weight: -205 189.15/189.24 c 189.15/189.24 c 189.15/189.24 c ============================[ Search Statistics ]============================== 189.15/189.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.15/189.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.15/189.24 c =============================================================================== 189.15/189.24 c | 0 | 1410 16533 34026 | 5511 0 nan | 0.000 % | 189.15/189.25 c =============================================================================== 189.15/189.29 c core #296 189.15/189.29 c 189.15/189.29 c 189.15/189.29 c Core size: 20 Core Weight: 1 Total Weight: -204 189.15/189.29 c 189.15/189.29 c 189.15/189.29 c ============================[ Search Statistics ]============================== 189.15/189.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.15/189.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.15/189.29 c =============================================================================== 189.15/189.29 c | 0 | 1422 16534 34050 | 5511 0 nan | 0.000 % | 189.24/189.30 c =============================================================================== 189.24/189.34 c core #297 189.24/189.34 c 189.24/189.34 c 189.24/189.34 c Core size: 19 Core Weight: 1 Total Weight: -203 189.24/189.34 c 189.24/189.34 c 189.24/189.34 c ============================[ Search Statistics ]============================== 189.24/189.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.24/189.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.24/189.34 c =============================================================================== 189.24/189.34 c | 0 | 1433 16535 34072 | 5511 0 nan | 0.000 % | 189.24/189.35 c =============================================================================== 189.24/189.39 c core #298 189.24/189.39 c 189.24/189.39 c 189.24/189.39 c Core size: 17 Core Weight: 1 Total Weight: -202 189.24/189.39 c 189.24/189.39 c 189.24/189.39 c ============================[ Search Statistics ]============================== 189.24/189.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.24/189.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.24/189.39 c =============================================================================== 189.24/189.39 c | 0 | 1446 16536 34098 | 5512 0 nan | 0.000 % | 189.34/189.40 c =============================================================================== 189.34/189.44 c core #299 189.34/189.44 c 189.34/189.44 c 189.34/189.44 c Core size: 24 Core Weight: 1 Total Weight: -201 189.34/189.44 c 189.34/189.44 c 189.34/189.44 c ============================[ Search Statistics ]============================== 189.34/189.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.34/189.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.34/189.44 c =============================================================================== 189.34/189.44 c | 0 | 1460 16537 34126 | 5512 0 nan | 0.000 % | 189.34/189.46 c =============================================================================== 189.44/189.50 c core #300 189.44/189.50 c 189.44/189.50 c 189.44/189.50 c Core size: 21 Core Weight: 1 Total Weight: -200 189.44/189.50 c 189.44/189.50 c 189.44/189.50 c ============================[ Search Statistics ]============================== 189.44/189.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.44/189.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.44/189.50 c =============================================================================== 189.44/189.50 c | 0 | 1471 16538 34148 | 5512 0 nan | 0.000 % | 189.44/189.52 c =============================================================================== 189.44/189.55 c core #301 189.44/189.55 c 189.44/189.55 c 189.44/189.55 c Core size: 39 Core Weight: 1 Total Weight: -199 189.44/189.55 c 189.44/189.55 c 189.44/189.55 c ============================[ Search Statistics ]============================== 189.44/189.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.44/189.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.44/189.55 c =============================================================================== 189.44/189.55 c | 0 | 1496 16539 34198 | 5513 0 nan | 0.000 % | 189.54/189.60 c =============================================================================== 189.54/189.64 c core #302 189.54/189.64 c 189.54/189.64 c 189.54/189.64 c Core size: 70 Core Weight: 1 Total Weight: -198 189.54/189.64 c 189.54/189.64 c 189.54/189.64 c ============================[ Search Statistics ]============================== 189.54/189.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.54/189.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.54/189.64 c =============================================================================== 189.54/189.64 c | 0 | 1554 16540 34314 | 5513 0 nan | 0.000 % | 189.54/189.67 c =============================================================================== 189.64/189.71 c core #303 189.64/189.71 c 189.64/189.71 c 189.64/189.71 c Core size: 48 Core Weight: 1 Total Weight: -197 189.64/189.71 c 189.64/189.71 c 189.64/189.71 c ============================[ Search Statistics ]============================== 189.64/189.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.64/189.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.64/189.71 c =============================================================================== 189.64/189.71 c | 0 | 1586 16541 34378 | 5513 0 nan | 0.000 % | 189.74/189.80 c | 105 | 1586 16541 34378 | 6065 105 8 | 83.197 % | 189.74/189.85 c =============================================================================== 189.74/189.89 c core #304 189.74/189.89 c 189.74/189.89 c 189.74/189.89 c Core size: 77 Core Weight: 1 Total Weight: -196 189.74/189.89 c 189.74/189.89 c 189.74/189.89 c ============================[ Search Statistics ]============================== 189.74/189.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.74/189.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.74/189.89 c =============================================================================== 189.74/189.89 c | 0 | 1653 16542 34512 | 5514 0 nan | 0.000 % | 189.84/189.97 c | 100 | 1653 16542 34512 | 6065 100 19 | 82.611 % | 189.94/190.05 c | 250 | 1653 16542 34512 | 6671 250 15 | 82.611 % | 190.04/190.18 c | 475 | 1651 16542 34512 | 7339 473 15 | 82.632 % | 190.04/190.18 c =============================================================================== 190.14/190.22 c core #305 190.14/190.22 c 190.14/190.22 c 190.14/190.22 c Core size: 60 Core Weight: 1 Total Weight: -195 190.14/190.22 c 190.14/190.22 c 190.14/190.22 c ============================[ Search Statistics ]============================== 190.14/190.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.14/190.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.14/190.22 c =============================================================================== 190.14/190.22 c | 0 | 1712 16543 34630 | 5514 0 nan | 0.000 % | 190.14/190.28 c | 100 | 1712 16543 34630 | 6065 100 14 | 82.101 % | 190.24/190.34 c | 250 | 1712 16543 34630 | 6672 250 14 | 82.101 % | 190.33/190.42 c | 478 | 1712 16543 34630 | 7339 478 15 | 82.101 % | 190.54/190.68 c | 816 | 1712 16543 34630 | 8073 816 18 | 82.101 % | 190.94/191.02 c | 1322 | 1711 16543 34630 | 8880 1320 20 | 82.112 % | 191.54/191.60 c | 2081 | 1711 16543 34630 | 9768 2079 20 | 82.112 % | 191.73/191.82 c =============================================================================== 191.73/191.89 c core #306 191.73/191.89 c 191.73/191.89 c 191.73/191.89 c Core size: 186 Core Weight: 1 Total Weight: -194 191.73/191.89 c 191.73/191.89 c 191.73/191.89 c ============================[ Search Statistics ]============================== 191.73/191.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.73/191.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.73/191.89 c =============================================================================== 191.73/191.89 c | 0 | 1866 16544 34938 | 5514 0 nan | 0.000 % | 191.83/191.96 c | 101 | 1866 16544 34938 | 6066 101 28 | 80.800 % | 191.94/192.01 c | 254 | 1866 16544 34938 | 6672 254 19 | 80.800 % | 192.04/192.11 c | 479 | 1866 16544 34938 | 7340 479 18 | 80.800 % | 192.14/192.26 c | 816 | 1866 16544 34938 | 8074 816 21 | 80.800 % | 192.44/192.56 c | 1322 | 1856 16544 34938 | 8881 1304 20 | 81.222 % | 192.44/192.59 c =============================================================================== 192.54/192.64 c core #307 192.54/192.64 c 192.54/192.64 c 192.54/192.64 c Core size: 95 Core Weight: 1 Total Weight: -193 192.54/192.64 c 192.54/192.64 c 192.54/192.64 c ============================[ Search Statistics ]============================== 192.54/192.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.54/192.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.54/192.64 c =============================================================================== 192.54/192.64 c | 0 | 1939 16545 35084 | 5515 0 nan | 0.000 % | 192.63/192.72 c | 100 | 1939 16545 35084 | 6066 100 27 | 80.198 % | 192.63/192.79 c | 250 | 1939 16545 35084 | 6673 250 31 | 80.198 % | 192.73/192.87 c | 476 | 1939 16545 35084 | 7340 476 24 | 80.198 % | 192.94/193.07 c | 813 | 1939 16545 35084 | 8074 813 24 | 80.198 % | 193.24/193.35 c | 1319 | 1939 16545 35084 | 8881 1319 28 | 80.198 % | 193.74/193.89 c | 2079 | 1939 16545 35084 | 9770 2079 31 | 80.198 % | 194.65/194.71 c | 3222 | 1939 16545 35084 | 10747 3222 30 | 80.198 % | 195.74/195.90 c | 4930 | 1938 16545 35084 | 11821 4929 28 | 80.208 % | 196.14/196.25 c =============================================================================== 196.24/196.37 c core #308 196.24/196.37 c 196.24/196.37 c 196.24/196.37 c Core size: 139 Core Weight: 1 Total Weight: -192 196.24/196.37 c 196.24/196.37 c 196.24/196.37 c ============================[ Search Statistics ]============================== 196.24/196.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.24/196.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.24/196.37 c =============================================================================== 196.24/196.37 c | 0 | 2076 16546 35358 | 5515 0 nan | 0.000 % | 196.34/196.45 c | 100 | 2076 16546 35358 | 6066 100 22 | 79.092 % | 196.43/196.52 c | 250 | 2076 16546 35358 | 6673 250 16 | 79.092 % | 196.54/196.64 c | 475 | 2076 16546 35358 | 7340 475 17 | 79.092 % | 196.64/196.78 c | 813 | 2076 16546 35358 | 8074 813 19 | 79.092 % | 196.94/197.08 c | 1320 | 2076 16546 35358 | 8882 1320 21 | 79.092 % | 197.44/197.55 c | 2081 | 2076 16546 35358 | 9770 2081 23 | 79.092 % | 198.13/198.25 c | 3224 | 2075 16546 35358 | 10747 3223 24 | 79.102 % | 198.74/198.83 c =============================================================================== 198.84/198.93 c core #309 198.84/198.93 c 198.84/198.93 c 198.84/198.93 c Core size: 101 Core Weight: 1 Total Weight: -191 198.84/198.93 c 198.84/198.93 c 198.84/198.93 c ============================[ Search Statistics ]============================== 198.84/198.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.84/198.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.84/198.93 c =============================================================================== 198.84/198.93 c | 0 | 2171 16547 35548 | 5515 0 nan | 0.000 % | 198.95/199.04 c | 104 | 2171 16547 35548 | 6067 104 27 | 78.342 % | 198.95/199.07 c | 255 | 2171 16547 35548 | 6673 255 20 | 78.342 % | 199.04/199.16 c | 480 | 2171 16547 35548 | 7341 480 22 | 78.342 % | 199.23/199.37 c | 818 | 2171 16547 35548 | 8075 818 27 | 78.342 % | 199.63/199.70 c | 1324 | 2171 16547 35548 | 8883 1324 34 | 78.342 % | 200.04/200.15 c | 2085 | 2171 16547 35548 | 9771 2085 38 | 78.342 % | 200.84/200.97 c | 3224 | 2171 16547 35548 | 10748 3224 42 | 78.342 % | 202.43/202.54 c | 4933 | 2171 16547 35548 | 11823 4933 45 | 78.342 % | 204.94/205.00 c | 7495 | 2171 16547 35548 | 13005 7495 47 | 78.342 % | 208.84/208.99 c | 11339 | 2171 16547 35548 | 14306 11339 48 | 78.342 % | 217.54/217.63 c | 17105 | 2171 16547 35548 | 15736 17105 48 | 78.342 % | 222.63/222.70 c =============================================================================== 223.03/223.18 c core #310 223.03/223.18 c 223.03/223.18 c 223.03/223.18 c Core size: 184 Core Weight: 1 Total Weight: -190 223.03/223.18 c 223.03/223.18 c 223.03/223.18 c ============================[ Search Statistics ]============================== 223.03/223.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 223.03/223.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 223.03/223.18 c =============================================================================== 223.03/223.18 c | 0 | 2326 16548 35858 | 5516 0 nan | 0.000 % | 223.13/223.25 c | 101 | 2326 16548 35858 | 6067 101 19 | 77.149 % | 223.23/223.31 c | 252 | 2326 16548 35858 | 6674 252 18 | 77.149 % | 223.23/223.36 c | 480 | 2326 16548 35858 | 7341 480 20 | 77.149 % | 223.32/223.45 c | 818 | 2326 16548 35858 | 8075 818 21 | 77.149 % | 223.63/223.74 c | 1325 | 2326 16548 35858 | 8883 1325 22 | 77.149 % | 224.13/224.22 c | 2084 | 2326 16548 35858 | 9771 2084 24 | 77.149 % | 224.83/224.94 c | 3224 | 2326 16548 35858 | 10749 3224 26 | 77.149 % | 226.03/226.10 c | 4934 | 2326 16548 35858 | 11824 4934 28 | 77.149 % | 228.12/228.24 c | 7497 | 2326 16548 35858 | 13006 7497 29 | 77.149 % | 231.93/232.02 c | 11343 | 2326 16548 35858 | 14307 11343 31 | 77.149 % | 239.02/239.11 c | 17111 | 2326 16548 35858 | 15737 17111 33 | 77.149 % | 244.92/245.01 c =============================================================================== 245.42/245.57 c core #311 245.42/245.57 c 245.42/245.57 c 245.42/245.57 c Core size: 156 Core Weight: 1 Total Weight: -189 245.42/245.57 c 245.42/245.57 c 245.42/245.57 c ============================[ Search Statistics ]============================== 245.42/245.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 245.42/245.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 245.42/245.57 c =============================================================================== 245.42/245.57 c | 0 | 2460 16549 36126 | 5516 0 nan | 0.000 % | 245.52/245.66 c | 100 | 2460 16549 36126 | 6067 100 42 | 76.147 % | 245.63/245.72 c | 251 | 2460 16549 36126 | 6674 251 44 | 76.147 % | 245.73/245.81 c | 477 | 2460 16549 36126 | 7342 477 32 | 76.147 % | 245.82/245.98 c | 814 | 2460 16549 36126 | 8076 814 33 | 76.147 % | 246.12/246.24 c | 1320 | 2460 16549 36126 | 8884 1320 39 | 76.147 % | 246.62/246.76 c | 2081 | 2460 16549 36126 | 9772 2081 46 | 76.147 % | 247.43/247.57 c | 3221 | 2460 16549 36126 | 10749 3221 51 | 76.147 % | 248.92/249.02 c | 4929 | 2460 16549 36126 | 11824 4929 55 | 76.147 % | 251.33/251.43 c | 7491 | 2460 16549 36126 | 13007 7491 59 | 76.147 % | 254.92/255.03 c | 11335 | 2460 16549 36126 | 14307 11335 60 | 76.147 % | 261.73/261.86 c | 17103 | 2460 16549 36126 | 15738 17103 59 | 76.147 % | 274.32/274.46 c | 25753 | 2460 16549 36126 | 17312 13822 59 | 76.147 % | 293.81/293.98 c | 38727 | 2460 16549 36126 | 19043 13915 56 | 76.147 % | 324.60/324.74 c | 58191 | 2460 16549 36126 | 20948 19620 63 | 76.147 % | 368.09/368.29 c | 87383 | 2460 16549 36126 | 23043 17380 67 | 76.147 % | 434.16/434.38 c | 131177 | 2460 16549 36126 | 25347 25751 74 | 76.147 % | 484.65/484.88 c =============================================================================== 488.75/488.96 c core #312 488.75/488.96 c 488.75/488.96 c 488.75/488.96 c Core size: 135 Core Weight: 1 Total Weight: -188 488.75/488.96 c 488.75/488.96 c 488.75/488.96 c ============================[ Search Statistics ]============================== 488.75/488.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 488.75/488.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 488.75/488.96 c =============================================================================== 488.75/488.96 c | 0 | 2577 16550 36360 | 5516 0 nan | 0.000 % | 488.85/489.09 c | 102 | 2577 16550 36360 | 6068 102 67 | 75.292 % | 488.95/489.14 c | 254 | 2577 16550 36360 | 6675 254 58 | 75.292 % | 489.05/489.20 c | 479 | 2577 16550 36360 | 7342 479 57 | 75.292 % | 489.15/489.30 c | 816 | 2577 16550 36360 | 8076 816 51 | 75.292 % | 489.36/489.58 c | 1322 | 2577 16550 36360 | 8884 1322 58 | 75.292 % | 489.75/489.93 c | 2082 | 2577 16550 36360 | 9773 2082 54 | 75.292 % | 490.65/490.82 c | 3221 | 2577 16550 36360 | 10750 3221 59 | 75.292 % | 492.05/492.25 c | 4929 | 2577 16550 36360 | 11825 4929 69 | 75.292 % | 494.45/494.69 c | 7491 | 2577 16550 36360 | 13008 7491 78 | 75.292 % | 498.05/498.29 c | 11336 | 2577 16550 36360 | 14308 11336 79 | 75.292 % | 505.04/505.24 c | 17102 | 2577 16550 36360 | 15739 17102 82 | 75.292 % | 518.44/518.62 c | 25753 | 2577 16550 36360 | 17313 13874 76 | 75.292 % | 536.84/537.08 c | 38727 | 2577 16550 36360 | 19045 14206 71 | 75.292 % | 564.92/565.12 c | 58193 | 2577 16550 36360 | 20949 20056 72 | 75.292 % | 606.42/606.61 c | 87388 | 2577 16550 36360 | 23044 19988 71 | 75.292 % | 669.20/669.47 c | 131177 | 2577 16550 36360 | 25348 30819 72 | 75.292 % | 779.97/780.28 c | 196864 | 2576 16550 36360 | 27883 24261 73 | 75.302 % | 850.15/850.46 c =============================================================================== 854.25/854.53 c core #313 854.25/854.53 c 854.25/854.53 c 854.25/854.53 c Core size: 172 Core Weight: 1 Total Weight: -187 854.25/854.53 c 854.25/854.53 c 854.25/854.53 c ============================[ Search Statistics ]============================== 854.25/854.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 854.25/854.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 854.25/854.53 c =============================================================================== 854.25/854.53 c | 0 | 2723 16551 36652 | 5517 0 nan | 0.000 % | 854.36/854.64 c | 101 | 2723 16551 36652 | 6068 101 39 | 74.253 % | 854.36/854.69 c | 255 | 2723 16551 36652 | 6675 255 26 | 74.253 % | 854.46/854.77 c | 481 | 2723 16551 36652 | 7343 481 26 | 74.253 % | 854.55/854.87 c | 819 | 2723 16551 36652 | 8077 819 27 | 74.253 % | 854.75/855.05 c | 1326 | 2723 16551 36652 | 8885 1326 32 | 74.253 % | 854.95/855.24 c | 2086 | 2723 16551 36652 | 9773 2086 41 | 74.253 % | 855.46/855.79 c | 3225 | 2723 16551 36652 | 10751 3225 44 | 74.253 % | 855.95/856.28 c | 4933 | 2723 16551 36652 | 11826 4933 46 | 74.253 % | 857.45/857.77 c | 7496 | 2723 16551 36652 | 13008 7496 62 | 74.253 % | 860.95/861.24 c | 11341 | 2723 16551 36652 | 14309 11341 80 | 74.253 % | 866.95/867.28 c | 17108 | 2723 16551 36652 | 15740 17108 90 | 74.253 % | 878.95/879.24 c | 25759 | 2723 16551 36652 | 17314 13893 108 | 74.253 % | 898.24/898.57 c | 38735 | 2723 16551 36652 | 19046 14222 100 | 74.253 % | 918.63/918.99 c | 58196 | 2723 16551 36652 | 20950 18647 106 | 74.253 % | 965.53/965.84 c | 87388 | 2723 16551 36652 | 23045 16398 111 | 74.253 % | 1045.60/1045.93 c | 131179 | 2723 16551 36652 | 25350 24685 124 | 74.253 % | 1178.56/1178.90 c | 196863 | 2723 16551 36652 | 27885 30116 157 | 74.253 % | 1381.22/1381.61 c | 295389 | 2723 16551 36652 | 30674 18419 135 | 74.253 % | 1684.73/1685.27 c | 443179 | 2723 16551 36652 | 33741 18041 139 | 74.253 % |
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-2702495-1278568502/watcher-2702495-1278568502 -o /tmp/evaluation-result-2702495-1278568502/solver-2702495-1278568502 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702495-1278568502.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.91 3/106 31087 /proc/meminfo: memFree=1698688/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=3776 CPUtime=0 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 416 0 0 0 0 0 0 0 20 0 1 0 25063425 3866624 335 1992294400 134512640 135752675 4290122304 18446744073709551615 134609663 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 944 335 137 303 0 476 0 [startup+0.031087 s] /proc/loadavg: 0.99 0.97 0.91 3/106 31087 /proc/meminfo: memFree=1698688/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=4968 CPUtime=0.02 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 720 0 0 0 2 0 0 0 20 0 1 0 25063425 5087232 639 1992294400 134512640 135752675 4290122304 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 1278 643 159 303 0 810 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4968 [startup+0.102095 s] /proc/loadavg: 0.99 0.97 0.91 3/106 31087 /proc/meminfo: memFree=1698688/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=5932 CPUtime=0.09 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 1059 0 0 0 9 0 0 0 20 0 1 0 25063425 6074368 978 1992294400 134512640 135752675 4290122304 18446744073709551615 135225906 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 1483 978 272 303 0 1015 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5932 [startup+0.301117 s] /proc/loadavg: 0.99 0.97 0.91 3/106 31087 /proc/meminfo: memFree=1698688/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=7452 CPUtime=0.29 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 1595 0 0 0 28 1 0 0 20 0 1 0 25063425 7630848 1351 1992294400 134512640 135752675 4290122304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 1863 1351 145 303 0 1558 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7452 [startup+0.701164 s] /proc/loadavg: 0.99 0.97 0.91 3/106 31087 /proc/meminfo: memFree=1698688/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=10272 CPUtime=0.69 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 2324 0 0 0 68 1 0 0 21 0 1 0 25063425 10518528 2080 1992294400 134512640 135752675 4290122304 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 2568 2080 145 303 0 2263 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10272 [startup+1.50026 s] /proc/loadavg: 1.07 0.99 0.91 2/107 31088 /proc/meminfo: memFree=1689504/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=13864 CPUtime=1.49 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 3228 0 0 0 147 2 0 0 22 0 1 0 25063425 14196736 2984 1992294400 134512640 135752675 4290122304 18446744073709551615 134638327 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 3466 2984 145 303 0 3161 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13864 [startup+3.10044 s] /proc/loadavg: 1.07 0.99 0.91 2/107 31088 /proc/meminfo: memFree=1685164/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=19244 CPUtime=3.09 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 4569 0 0 0 305 4 0 0 25 0 1 0 25063425 19705856 4325 1992294400 134512640 135752675 4290122304 18446744073709551615 134611978 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 4811 4325 145 303 0 4506 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19244 [startup+6.30081 s] /proc/loadavg: 1.07 0.99 0.91 2/107 31088 /proc/meminfo: memFree=1675988/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=26804 CPUtime=6.29 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 6448 0 0 0 623 6 0 0 25 0 1 0 25063425 27447296 6204 1992294400 134512640 135752675 4290122304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 6701 6204 145 303 0 6396 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26804 [startup+12.7006 s] /proc/loadavg: 1.06 0.99 0.91 2/107 31088 /proc/meminfo: memFree=1663836/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=38800 CPUtime=12.69 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 9445 0 0 0 1259 10 0 0 25 0 1 0 25063425 39731200 9201 1992294400 134512640 135752675 4290122304 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 9700 9201 145 303 0 9395 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38800 [startup+25.501 s] /proc/loadavg: 1.05 0.99 0.91 2/107 31088 /proc/meminfo: memFree=1634696/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=67240 CPUtime=25.48 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 16548 0 0 0 2530 18 0 0 25 0 1 0 25063425 68853760 16304 1992294400 134512640 135752675 4290122304 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 16810 16304 145 303 0 16505 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 67240 [startup+51.101 s] /proc/loadavg: 1.03 0.99 0.91 2/107 31088 /proc/meminfo: memFree=1602580/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=98984 CPUtime=51.08 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 24460 0 0 0 5079 29 0 0 25 0 1 0 25063425 101359616 24216 1992294400 134512640 135752675 4290122304 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 24746 24216 145 303 0 24441 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 98984 [startup+102.309 s] /proc/loadavg: 1.05 1.00 0.92 2/107 31090 /proc/meminfo: memFree=1517640/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=183340 CPUtime=102.27 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 45536 0 0 0 10173 54 0 0 25 0 1 0 25063425 187740160 45292 1992294400 134512640 135752675 4290122304 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 45835 45292 145 303 0 45530 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 183340 [startup+162.302 s] /proc/loadavg: 1.13 1.03 0.93 2/107 31092 /proc/meminfo: memFree=1392028/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=309744 CPUtime=162.24 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 77088 0 0 0 16133 91 0 0 25 0 1 0 25063425 317177856 76844 1992294400 134512640 135752675 4290122304 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 77436 76844 145 303 0 77131 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 309744 [startup+222.302 s] /proc/loadavg: 1.12 1.04 0.94 2/107 31094 /proc/meminfo: memFree=1365368/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=334632 CPUtime=222.23 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 83574 0 0 0 22105 118 0 0 25 0 1 0 25063425 342663168 83183 1992294400 134512640 135752675 4290122304 18446744073709551615 134518816 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 83658 83183 146 303 0 83353 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 334632 [startup+282.302 s] /proc/loadavg: 1.11 1.04 0.94 2/107 31094 /proc/meminfo: memFree=1365120/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=334632 CPUtime=282.21 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 83574 0 0 0 28082 139 0 0 25 0 1 0 25063425 342663168 83183 1992294400 134512640 135752675 4290122304 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 83658 83183 146 303 0 83353 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 334632 [startup+342.302 s] /proc/loadavg: 1.10 1.05 0.95 2/107 31096 /proc/meminfo: memFree=1365120/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=334632 CPUtime=342.2 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 83575 0 0 0 34063 157 0 0 25 0 1 0 25063425 342663168 83184 1992294400 134512640 135752675 4290122304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 83658 83184 146 303 0 83353 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 334632 [startup+402.302 s] /proc/loadavg: 1.09 1.05 0.95 2/107 31107 /proc/meminfo: memFree=1358300/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=340972 CPUtime=402.18 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 85177 0 0 0 40042 176 0 0 25 0 1 0 25063425 349155328 84786 1992294400 134512640 135752675 4290122304 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 85243 84786 146 303 0 84938 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 340972 [startup+462.302 s] /proc/loadavg: 1.08 1.06 0.96 2/107 31109 /proc/meminfo: memFree=1341808/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=357464 CPUtime=462.15 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 89249 0 0 0 46021 194 0 0 25 0 1 0 25063425 366043136 88858 1992294400 134512640 135752675 4290122304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 89366 88858 146 303 0 89061 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 357464 [startup+522.302 s] /proc/loadavg: 1.08 1.06 0.96 2/107 31111 /proc/meminfo: memFree=1328292/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=370924 CPUtime=522.14 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 92617 0 0 0 51997 217 0 0 25 0 1 0 25063425 379826176 92226 1992294400 134512640 135752675 4290122304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 92731 92226 146 303 0 92426 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 370924 [startup+582.302 s] /proc/loadavg: 1.07 1.06 0.97 2/107 31111 /proc/meminfo: memFree=1323208/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=376060 CPUtime=582.13 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 93903 0 0 0 57979 234 0 0 25 0 1 0 25063425 385085440 93512 1992294400 134512640 135752675 4290122304 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 94015 93512 146 303 0 93710 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 376060 [startup+642.302 s] /proc/loadavg: 1.07 1.06 0.97 2/107 31113 /proc/meminfo: memFree=1308576/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=390608 CPUtime=642.11 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 97525 0 0 0 63954 257 0 0 25 0 1 0 25063425 399982592 97134 1992294400 134512640 135752675 4290122304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 97652 97134 146 303 0 97347 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 390608 [startup+702.302 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 1.12 1.07 1.00 2/107 31119 /proc/meminfo: memFree=1246452/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=452388 CPUtime=882.05 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 113051 0 0 0 87866 339 0 0 25 0 1 0 25063425 463245312 112536 1992294400 134512640 135752675 4290122304 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 113097 112536 146 303 0 112792 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 452388 [startup+942.3 s] /proc/loadavg: 1.11 1.07 1.00 2/107 31121 /proc/meminfo: memFree=1236780/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=462480 CPUtime=942.03 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 115617 0 0 0 93844 359 0 0 25 0 1 0 25063425 473579520 115102 1992294400 134512640 135752675 4290122304 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 115620 115102 146 303 0 115315 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 462480 [startup+1002.3 s] /proc/loadavg: 1.16 1.09 1.01 2/107 31123 /proc/meminfo: memFree=1218056/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=480988 CPUtime=1002.01 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 120258 0 0 0 99821 380 0 0 25 0 1 0 25063425 492531712 119743 1992294400 134512640 135752675 4290122304 18446744073709551615 134518945 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 120247 119743 146 303 0 119942 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 480988 [startup+1062.3 s] /proc/loadavg: 1.12 1.08 1.01 2/107 31125 /proc/meminfo: memFree=1199704/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=499304 CPUtime=1061.99 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 124817 0 0 0 105799 400 0 0 25 0 1 0 25063425 511287296 124302 1992294400 134512640 135752675 4290122304 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 124826 124302 146 303 0 124521 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 499304 [startup+1122.3 s] /proc/loadavg: 1.09 1.08 1.01 2/107 31127 /proc/meminfo: memFree=1178376/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=520576 CPUtime=1121.97 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 130152 0 0 0 111777 420 0 0 25 0 1 0 25063425 533069824 129637 1992294400 134512640 135752675 4290122304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 130144 129637 146 303 0 129839 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 520576 [startup+1182.3 s] /proc/loadavg: 1.08 1.08 1.01 2/107 31127 /proc/meminfo: memFree=1157544/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=541584 CPUtime=1181.96 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 135394 0 0 0 117760 436 0 0 25 0 1 0 25063425 554582016 134879 1992294400 134512640 135752675 4290122304 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 135396 134879 146 303 0 135091 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 541584 [startup+1242.3 s] /proc/loadavg: 1.07 1.08 1.01 2/107 31129 /proc/meminfo: memFree=1136712/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=562180 CPUtime=1241.95 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 140516 0 0 0 123740 455 0 0 25 0 1 0 25063425 575672320 140001 1992294400 134512640 135752675 4290122304 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 140545 140001 146 303 0 140240 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 562180 [startup+1302.3 s] /proc/loadavg: 1.07 1.08 1.01 2/107 31131 /proc/meminfo: memFree=1110920/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=587764 CPUtime=1301.93 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 146927 0 0 0 129716 477 0 0 25 0 1 0 25063425 601870336 146412 1992294400 134512640 135752675 4290122304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 146941 146412 146 303 0 146636 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 587764 [startup+1362.3 s] /proc/loadavg: 1.06 1.08 1.01 2/107 31133 /proc/meminfo: memFree=1088972/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=609804 CPUtime=1361.92 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 152418 0 0 0 135697 495 0 0 25 0 1 0 25063425 624439296 151903 1992294400 134512640 135752675 4290122304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 152451 151903 146 303 0 152146 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 609804 [startup+1422.31 s] /proc/loadavg: 1.06 1.07 1.01 3/108 31138 /proc/meminfo: memFree=1048664/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=627264 CPUtime=1421.91 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 156769 0 0 0 141680 511 0 0 25 0 1 0 25063425 642318336 156254 1992294400 134512640 135752675 4290122304 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 156816 156254 146 303 0 156511 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 627264 [startup+1482.3 s] /proc/loadavg: 1.13 1.09 1.01 2/107 31138 /proc/meminfo: memFree=1053012/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=645252 CPUtime=1481.88 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 161254 0 0 0 147660 528 0 0 25 0 1 0 25063425 660738048 160739 1992294400 134512640 135752675 4290122304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 161313 160739 146 303 0 161008 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 645252 [startup+1542.3 s] /proc/loadavg: 1.12 1.09 1.01 2/107 31140 /proc/meminfo: memFree=1030072/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=668472 CPUtime=1541.87 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 167023 0 0 0 153640 547 0 0 25 0 1 0 25063425 684515328 166508 1992294400 134512640 135752675 4290122304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 167118 166508 146 303 0 166813 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 668472 [startup+1602.3 s] /proc/loadavg: 1.11 1.09 1.01 2/107 31142 /proc/meminfo: memFree=1007628/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=691236 CPUtime=1601.85 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 172719 0 0 0 159616 569 0 0 25 0 1 0 25063425 707825664 172204 1992294400 134512640 135752675 4290122304 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 172809 172204 146 303 0 172504 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 691236 [startup+1662.3 s] /proc/loadavg: 1.10 1.08 1.01 2/107 31144 /proc/meminfo: memFree=982084/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=716360 CPUtime=1661.83 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 179004 0 0 0 165590 593 0 0 25 0 1 0 25063425 733552640 178489 1992294400 134512640 135752675 4290122304 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 179090 178489 146 303 0 178785 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 716360 [startup+1722.3 s] /proc/loadavg: 1.16 1.10 1.01 3/107 31146 /proc/meminfo: memFree=959020/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=739776 CPUtime=1721.81 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 184846 0 0 0 171568 613 0 0 25 0 1 0 25063425 757530624 184331 1992294400 134512640 135752675 4290122304 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 184944 184331 146 303 0 184639 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 739776 [startup+1782.3 s] /proc/loadavg: 1.11 1.09 1.01 2/107 31146 /proc/meminfo: memFree=935460/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=763104 CPUtime=1781.81 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 190642 0 0 0 177545 636 0 0 25 0 1 0 25063425 781418496 190127 1992294400 134512640 135752675 4290122304 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 190776 190127 146 303 0 190471 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 763104 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.08 1.09 1.01 2/107 31148 /proc/meminfo: memFree=927276/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=771160 CPUtime=1800.01 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 192676 0 0 0 179358 643 0 0 25 0 1 0 25063425 789667840 192161 1992294400 134512640 135752675 4290122304 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 192790 192161 146 303 0 192485 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 771160 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.08 1.09 1.01 2/107 31148 /proc/meminfo: memFree=927276/2059040 swapFree=4138696/4192956 [pid=31087] ppid=31085 vsize=771160 CPUtime=1800.01 /proc/31087/stat : 31087 (wbo1.4b) R 31085 31087 30691 0 -1 4202496 192676 0 0 0 179358 643 0 0 25 0 1 0 25063425 789667840 192161 1992294400 134512640 135752675 4290122304 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31087/statm: 192790 192161 146 303 0 192485 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 771160 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.58 CPU time (s): 1800.09 CPU user time (s): 1793.58 CPU system time (s): 6.50601 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (KiB): 771160 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.58 system time used= 6.50601 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 192676 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= 51 involuntary context switches= 2085 runsolver used 2.74858 second user time and 8.76667 second system time The end
Begin job on node011 at 2010-07-08 07:55:02 IDJOB=2702495 IDBENCH=48182 IDSOLVER=1190 FILE ID=node011/2702495-1278568502 PBS_JOBID= 11239559 Free space on /tmp= 62492 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_5.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-2702495-1278568502/watcher-2702495-1278568502 -o /tmp/evaluation-result-2702495-1278568502/solver-2702495-1278568502 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702495-1278568502.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 40141f2f083fa5e1f8a41aa043de0b1b RANDOM SEED=806889553 node011.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.212 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.42 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.212 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1699960 kB Buffers: 76964 kB Cached: 191268 kB SwapCached: 8416 kB Active: 161524 kB Inactive: 121724 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1699960 kB SwapTotal: 4192956 kB SwapFree: 4138696 kB Dirty: 2900 kB Writeback: 4 kB AnonPages: 12468 kB Mapped: 12044 kB Slab: 53968 kB PageTables: 4168 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182232 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-2702495-1278568502.opb Free space on /tmp at the end= 62492 MiB End job on node011 at 2010-07-08 08:25:05