Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.17 | 1800.79 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_25_2.opb |
MD5SUM | e40e55fe30ea19a1cae02f7f820bc9fe |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -65 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -78 |
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 | 45 |
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) | 15670 |
Sum of products size (including duplicates) | 31340 |
Number of different products | 7835 |
Sum of products size | 15670 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702569-1278570283.opb. 0.00/0.00 c Instance file HOME/instance-2702569-1278570283.opb 0.00/0.00 c File size is 663269 bytes. 0.09/0.11 c Highest Coefficient sum: 45 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: 8335 | 0.09/0.11 c | Number Clauses: 7835 | 0.09/0.11 c | Number Cardinality: 1000 | 0.09/0.11 c | Number PB Constraints: 7835 | 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 16670 38422 | 5556 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.138978 s Remaining CPU time: 179.861 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 500 16671 38922 | 5557 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: -1 0.09/0.14 o -1 0.09/0.14 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 500 16672 39422 | 5557 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.144977 s Remaining CPU time: 179.855 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 500 16673 39922 | 5557 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.147977 s Remaining CPU time: 179.852 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 500 16674 40422 | 5558 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.150977 s Remaining CPU time: 179.849 s 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 500 16675 40922 | 5558 0 nan | 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.155976 s Remaining CPU time: 179.844 s 0.09/0.16 c =============================================================================== 0.09/0.16 c | 3 | 500 16676 41422 | 5558 3 496 | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c New solution: -6 0.09/0.16 o -6 0.09/0.16 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s 0.09/0.16 c =============================================================================== 0.09/0.16 c | 4 | 500 16677 41922 | 5559 4 496 | 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.162975 s Remaining CPU time: 179.837 s 0.09/0.17 c =============================================================================== 0.09/0.17 c | 5 | 500 16678 42422 | 5559 5 496 | 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.166974 s Remaining CPU time: 179.833 s 0.09/0.17 c =============================================================================== 0.09/0.17 c | 8 | 500 16679 42922 | 5559 8 495 | 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.171973 s Remaining CPU time: 179.828 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 18 | 500 16680 43422 | 5560 18 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.177972 s Remaining CPU time: 179.822 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 32 | 500 16681 43922 | 5560 32 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 | 48 | 500 16682 44422 | 5560 48 492 | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c New solution: -12 0.09/0.19 o -12 0.09/0.19 c Elapsed CPU time: 0.188971 s Remaining CPU time: 179.811 s 0.09/0.19 c =============================================================================== 0.09/0.19 c | 54 | 500 16683 44922 | 5561 54 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.19597 s Remaining CPU time: 179.804 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 85 | 500 16684 45422 | 5561 85 491 | 0.000 % | 0.19/0.22 c | 185 | 500 16684 45422 | 6117 185 490 | 94.001 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: -14 0.19/0.22 o -14 0.19/0.22 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 198 | 500 16685 45922 | 5561 198 490 | 94.001 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: -15 0.19/0.23 o -15 0.19/0.23 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 218 | 500 16686 46422 | 5562 218 490 | 94.001 % | 0.19/0.25 c | 319 | 500 16686 46422 | 6118 319 489 | 94.001 % | 0.19/0.27 c | 470 | 500 16686 46422 | 6730 470 488 | 94.001 % | 0.29/0.31 c | 696 | 500 16686 46422 | 7403 696 488 | 94.001 % | 0.29/0.39 c | 1033 | 500 16686 46422 | 8143 1033 488 | 94.001 % | 0.49/0.53 c | 1539 | 500 16686 46422 | 8957 1539 488 | 94.001 % | 0.69/0.73 c | 2299 | 500 16686 46422 | 9853 2299 487 | 94.001 % | 0.69/0.75 c =============================================================================== 0.69/0.75 c New solution: -16 0.69/0.75 o -16 0.69/0.75 c Elapsed CPU time: 0.724889 s Remaining CPU time: 179.275 s 0.69/0.75 c =============================================================================== 0.69/0.75 c | 2352 | 500 16687 46922 | 5562 2352 487 | 94.001 % | 0.69/0.78 c | 2454 | 500 16687 46922 | 6118 2454 487 | 94.001 % | 0.79/0.82 c | 2605 | 500 16687 46922 | 6730 2605 488 | 94.001 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c New solution: -17 0.79/0.88 o -17 0.79/0.88 c Elapsed CPU time: 0.85287 s Remaining CPU time: 179.147 s 0.79/0.88 c =============================================================================== 0.79/0.88 c | 2774 | 500 16688 47422 | 5562 2774 488 | 94.001 % | 0.89/0.91 c | 2874 | 500 16688 47422 | 6118 2874 488 | 94.001 % | 0.89/0.95 c | 3025 | 500 16688 47422 | 6730 3025 488 | 94.001 % | 1.00/1.00 c | 3251 | 500 16688 47422 | 7403 3251 487 | 94.001 % | 1.00/1.06 c =============================================================================== 1.00/1.06 c New solution: -18 1.00/1.06 o -18 1.00/1.06 c Elapsed CPU time: 1.03484 s Remaining CPU time: 178.965 s 1.00/1.06 c =============================================================================== 1.00/1.06 c | 3482 | 500 16689 47922 | 5563 3482 487 | 94.001 % | 1.00/1.09 c | 3583 | 500 16689 47922 | 6119 3583 487 | 94.001 % | 1.10/1.15 c | 3735 | 500 16689 47922 | 6731 3735 487 | 94.001 % | 1.19/1.23 c | 3961 | 500 16689 47922 | 7404 3961 487 | 94.001 % | 1.29/1.36 c | 4298 | 500 16689 47922 | 8144 4298 487 | 94.001 % | 1.49/1.58 c | 4805 | 500 16689 47922 | 8959 4805 487 | 94.001 % | 1.69/1.71 c =============================================================================== 1.69/1.71 c New solution: -19 1.69/1.71 o -19 1.69/1.71 c Elapsed CPU time: 1.67274 s Remaining CPU time: 178.327 s 1.69/1.71 c =============================================================================== 1.69/1.71 c | 5053 | 500 16690 48422 | 5563 5053 487 | 94.001 % | 1.69/1.77 c | 5154 | 500 16690 48422 | 6119 5154 487 | 94.001 % | 1.79/1.85 c | 5305 | 500 16690 48422 | 6731 5305 487 | 94.001 % | 1.89/1.98 c | 5530 | 500 16690 48422 | 7404 5530 487 | 94.001 % | 2.09/2.12 c | 5868 | 500 16690 48422 | 8145 5868 487 | 94.001 % | 2.39/2.41 c | 6375 | 500 16690 48422 | 8959 6375 487 | 94.001 % | 2.79/2.81 c | 7137 | 500 16690 48422 | 9855 7137 486 | 94.001 % | 3.49/3.56 c | 8276 | 500 16690 48422 | 10841 8276 486 | 94.001 % | 4.69/4.72 c =============================================================================== 4.69/4.72 c New solution: -20 4.69/4.72 o -20 4.69/4.72 c Elapsed CPU time: 4.65729 s Remaining CPU time: 175.343 s 4.69/4.72 c =============================================================================== 4.69/4.72 c | 9822 | 500 16691 48922 | 5563 9822 485 | 94.001 % | 4.89/4.91 c | 9923 | 500 16691 48922 | 6120 9923 485 | 94.001 % | 4.99/5.05 c | 10073 | 500 16691 48922 | 6732 10073 485 | 94.001 % | 5.09/5.11 c =============================================================================== 5.09/5.11 c New solution: -21 5.09/5.11 o -21 5.09/5.11 c Elapsed CPU time: 5.03723 s Remaining CPU time: 174.963 s 5.09/5.11 c =============================================================================== 5.09/5.11 c | 10177 | 500 16692 49422 | 5564 10177 485 | 94.001 % | 5.09/5.17 c | 10278 | 500 16692 49422 | 6120 10278 485 | 94.001 % | 5.19/5.27 c | 10428 | 500 16692 49422 | 6732 10428 485 | 94.001 % | 5.29/5.34 c | 10653 | 500 16692 49422 | 7405 10653 485 | 94.001 % | 5.39/5.43 c =============================================================================== 5.39/5.43 c New solution: -22 5.39/5.43 o -22 5.39/5.43 c Elapsed CPU time: 5.35419 s Remaining CPU time: 174.646 s 5.39/5.43 c =============================================================================== 5.39/5.43 c | 10855 | 500 16693 49922 | 5564 10855 485 | 94.001 % | 5.39/5.46 c | 10955 | 500 16693 49922 | 6120 10955 485 | 94.001 % | 5.49/5.53 c | 11108 | 500 16693 49922 | 6732 11108 485 | 94.001 % | 5.49/5.58 c =============================================================================== 5.49/5.58 c New solution: -23 5.49/5.58 o -23 5.49/5.58 c Elapsed CPU time: 5.50716 s Remaining CPU time: 174.493 s 5.49/5.58 c =============================================================================== 5.49/5.58 c | 11239 | 500 16694 50422 | 5564 11239 485 | 94.001 % | 5.59/5.64 c | 11340 | 500 16694 50422 | 6121 11340 485 | 94.001 % | 5.69/5.76 c | 11493 | 500 16694 50422 | 6733 11493 485 | 94.001 % | 5.79/5.87 c | 11719 | 500 16694 50422 | 7406 11719 485 | 94.001 % | 5.99/6.04 c | 12056 | 500 16694 50422 | 8147 12056 485 | 94.001 % | 6.19/6.29 c | 12562 | 500 16694 50422 | 8961 12562 484 | 94.001 % | 6.39/6.42 c =============================================================================== 6.39/6.42 c New solution: -24 6.39/6.42 o -24 6.39/6.42 c Elapsed CPU time: 6.33304 s Remaining CPU time: 173.667 s 6.39/6.42 c =============================================================================== 6.39/6.42 c | 12829 | 500 16695 50922 | 5565 12829 484 | 94.001 % | 6.39/6.48 c | 12931 | 500 16695 50922 | 6121 12931 484 | 94.001 % | 6.49/6.60 c | 13083 | 500 16695 50922 | 6733 13083 484 | 94.001 % | 6.69/6.75 c | 13309 | 500 16695 50922 | 7407 13309 484 | 94.001 % | 6.99/7.01 c | 13647 | 500 16695 50922 | 8147 13647 485 | 94.001 % | 7.29/7.34 c | 14153 | 500 16695 50922 | 8962 14153 485 | 94.001 % | 7.79/7.88 c | 14913 | 500 16695 50922 | 9858 14913 484 | 94.001 % | 8.59/8.63 c | 16052 | 500 16695 50922 | 10844 16052 484 | 94.001 % | 9.99/10.01 c | 17760 | 500 16695 50922 | 11929 17760 484 | 94.001 % | 13.09/13.12 c | 20323 | 500 16695 50922 | 13121 10202 481 | 94.001 % | 15.39/15.45 c | 24167 | 500 16695 50922 | 14434 14046 480 | 94.001 % | 15.79/15.85 c =============================================================================== 15.79/15.85 c New solution: -25 15.79/15.85 o -25 15.79/15.85 c Elapsed CPU time: 15.7006 s Remaining CPU time: 164.299 s 15.79/15.85 c =============================================================================== 15.79/15.85 c | 24757 | 500 16696 51422 | 5565 14636 480 | 94.001 % | 16.09/16.10 c | 24858 | 500 16696 51422 | 6121 7419 478 | 94.001 % | 16.19/16.21 c | 25009 | 500 16696 51422 | 6734 7570 478 | 94.001 % | 16.29/16.38 c | 25234 | 500 16696 51422 | 7407 7795 478 | 94.001 % | 16.58/16.61 c | 25571 | 500 16696 51422 | 8148 8132 478 | 94.001 % | 16.79/16.89 c | 26077 | 500 16696 51422 | 8963 8638 478 | 94.001 % | 17.38/17.47 c | 26836 | 500 16696 51422 | 9859 9397 478 | 94.001 % | 18.49/18.55 c | 27976 | 500 16696 51422 | 10845 10537 478 | 94.001 % | 20.28/20.33 c | 29684 | 500 16696 51422 | 11929 12245 478 | 94.001 % | 21.78/21.86 c =============================================================================== 21.78/21.86 c New solution: -26 21.78/21.86 o -26 21.78/21.86 c Elapsed CPU time: 21.6737 s Remaining CPU time: 158.326 s 21.78/21.86 c =============================================================================== 21.78/21.86 c | 30844 | 500 16697 51922 | 5565 13405 477 | 94.001 % | 21.99/22.05 c | 30945 | 500 16697 51922 | 6122 6804 477 | 94.001 % | 22.08/22.17 c | 31097 | 500 16697 51922 | 6734 6956 477 | 94.001 % | 22.38/22.41 c | 31323 | 500 16697 51922 | 7407 7182 477 | 94.001 % | 22.69/22.74 c | 31660 | 500 16697 51922 | 8148 7519 477 | 94.001 % | 23.38/23.41 c | 32166 | 500 16697 51922 | 8963 8025 477 | 94.001 % | 24.08/24.18 c | 32926 | 500 16697 51922 | 9859 8785 477 | 94.001 % | 25.19/25.29 c | 34065 | 500 16697 51922 | 10845 9924 477 | 94.001 % | 25.98/26.00 c =============================================================================== 25.98/26.00 c New solution: -27 25.98/26.00 o -27 25.98/26.00 c Elapsed CPU time: 25.7831 s Remaining CPU time: 154.217 s 25.98/26.00 c =============================================================================== 25.98/26.00 c | 34866 | 500 16698 52422 | 5566 10725 477 | 94.001 % | 25.98/26.09 c | 34966 | 500 16698 52422 | 6122 10825 477 | 94.001 % | 26.09/26.18 c | 35118 | 500 16698 52422 | 6734 10977 477 | 94.001 % | 26.29/26.37 c | 35343 | 500 16698 52422 | 7408 11202 477 | 94.001 % | 26.48/26.56 c | 35680 | 500 16698 52422 | 8149 11539 477 | 94.001 % | 26.88/26.99 c | 36187 | 500 16698 52422 | 8964 12046 477 | 94.001 % | 27.58/27.68 c | 36947 | 500 16698 52422 | 9860 12806 477 | 94.001 % | 28.18/28.29 c =============================================================================== 28.18/28.29 c New solution: -28 28.18/28.29 o -28 28.18/28.29 c Elapsed CPU time: 28.0647 s Remaining CPU time: 151.935 s 28.18/28.29 c =============================================================================== 28.18/28.29 c | 37475 | 500 16699 52922 | 5566 13334 477 | 94.001 % | 28.38/28.46 c | 37575 | 500 16699 52922 | 6122 13434 477 | 94.001 % | 28.49/28.58 c | 37726 | 500 16699 52922 | 6735 13585 477 | 94.001 % | 28.78/28.86 c | 37952 | 500 16699 52922 | 7408 13811 477 | 94.001 % | 29.28/29.32 c | 38291 | 500 16699 52922 | 8149 14150 477 | 94.001 % | 29.78/29.87 c | 38799 | 500 16699 52922 | 8964 14658 477 | 94.001 % | 30.78/30.89 c | 39559 | 500 16699 52922 | 9861 15418 477 | 94.001 % | 31.89/31.92 c =============================================================================== 31.89/31.92 c New solution: -29 31.89/31.92 o -29 31.89/31.92 c Elapsed CPU time: 31.6712 s Remaining CPU time: 148.329 s 31.89/31.92 c =============================================================================== 31.89/31.92 c | 40592 | 500 16700 53422 | 5566 16451 477 | 94.001 % | 31.98/32.05 c | 40693 | 500 16700 53422 | 6123 8327 477 | 94.001 % | 32.08/32.12 c | 40843 | 500 16700 53422 | 6735 8477 477 | 94.001 % | 32.18/32.24 c | 41069 | 500 16700 53422 | 7409 8703 477 | 94.001 % | 32.28/32.37 c | 41407 | 500 16700 53422 | 8150 9041 477 | 94.001 % | 32.48/32.55 c | 41914 | 500 16700 53422 | 8965 9548 477 | 94.001 % | 32.98/33.03 c | 42677 | 500 16700 53422 | 9861 10311 476 | 94.001 % | 33.87/33.90 c | 43818 | 500 16700 53422 | 10847 11452 476 | 94.001 % | 35.47/35.51 c | 45527 | 500 16700 53422 | 11932 13161 476 | 94.001 % | 39.27/39.37 c | 48089 | 500 16700 53422 | 13125 15723 475 | 94.001 % | 45.37/45.48 c | 51935 | 500 16700 53422 | 14438 19569 475 | 94.001 % | 51.46/51.50 c | 57702 | 500 16700 53422 | 15882 13291 473 | 94.001 % | 64.67/64.76 c | 66351 | 500 16700 53422 | 17470 21940 473 | 94.001 % | 82.55/82.69 c | 79327 | 500 16700 53422 | 19217 19940 473 | 94.001 % | 103.26/103.40 c | 98789 | 500 16700 53422 | 21139 22750 473 | 94.001 % | 113.84/113.95 c =============================================================================== 113.84/113.95 c New solution: -30 113.84/113.95 o -30 113.84/113.95 c Elapsed CPU time: 113.242 s Remaining CPU time: 66.7582 s 113.84/113.95 c =============================================================================== 113.84/113.95 c | 115137 | 500 16701 53922 | 5567 20568 473 | 94.001 % | 114.25/114.34 c | 115237 | 500 16701 53922 | 6123 10384 473 | 94.001 % | 114.25/114.39 c | 115387 | 500 16701 53922 | 6736 10534 473 | 94.001 % | 114.45/114.56 c | 115613 | 500 16701 53922 | 7409 10760 473 | 94.001 % | 114.74/114.86 c | 115952 | 500 16701 53922 | 8150 11099 473 | 94.001 % | 115.14/115.26 c | 116459 | 500 16701 53922 | 8965 11606 474 | 94.001 % | 115.95/116.01 c | 117219 | 500 16701 53922 | 9862 12366 474 | 94.001 % | 117.54/117.65 c | 118359 | 500 16701 53922 | 10848 13506 474 | 94.001 % | 119.44/119.55 c | 120068 | 500 16701 53922 | 11933 15215 474 | 94.001 % | 121.64/121.78 c | 122630 | 500 16701 53922 | 13126 17777 474 | 94.001 % | 125.44/125.52 c | 126474 | 500 16701 53922 | 14439 10824 475 | 94.001 % | 131.24/131.34 c | 132241 | 500 16701 53922 | 15883 16591 474 | 94.001 % | 142.24/142.35 c | 140890 | 500 16701 53922 | 17471 11803 473 | 94.001 % | 159.33/159.43 c | 153866 | 500 16701 53922 | 19218 24779 472 | 94.001 % | 177.42/177.55 c | 173328 | 500 16701 53922 | 21140 10971 472 | 94.001 % | 180.92/181.09 c There are 7835 assigned variables. 0 in cost function. 182.32/182.47 c core #1 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -499 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #2 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -498 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #3 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -497 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #4 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -496 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #5 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -495 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #6 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -494 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #7 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -493 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #8 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -492 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #9 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -491 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #10 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -490 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #11 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -489 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #12 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -488 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #13 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -487 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #14 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -486 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #15 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -485 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #16 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -484 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #17 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -483 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #18 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -482 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #19 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -481 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #20 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -480 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #21 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -479 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #22 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -478 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #23 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -477 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #24 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -476 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #25 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -475 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #26 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -474 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #27 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -473 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #28 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -472 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #29 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -471 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #30 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -470 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #31 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -469 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #32 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -468 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #33 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -467 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #34 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -466 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #35 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -465 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #36 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -464 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #37 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -463 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #38 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -462 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #39 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -461 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #40 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -460 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #41 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -459 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #42 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -458 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #43 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -457 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #44 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -456 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #45 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -455 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #46 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -454 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #47 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -453 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #48 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -452 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #49 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -451 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #50 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -450 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #51 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -449 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #52 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -448 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #53 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -447 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #54 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -446 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #55 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -445 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #56 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -444 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #57 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -443 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #58 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -442 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c core #59 182.32/182.47 c 182.32/182.47 c 182.32/182.47 c Core size: 3 Core Weight: 1 Total Weight: -441 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #60 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -440 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #61 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -439 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #62 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -438 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #63 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -437 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #64 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -436 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #65 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -435 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #66 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -434 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #67 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -433 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #68 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -432 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #69 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -431 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #70 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -430 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #71 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -429 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #72 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -428 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #73 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -427 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #74 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -426 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #75 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -425 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #76 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -424 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #77 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -423 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #78 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -422 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #79 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -421 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #80 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -420 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #81 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -419 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #82 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -418 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #83 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -417 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #84 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -416 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #85 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -415 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #86 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -414 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #87 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -413 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #88 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -412 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #89 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -411 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #90 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -410 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #91 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -409 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #92 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -408 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #93 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -407 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #94 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -406 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #95 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -405 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #96 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -404 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #97 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -403 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #98 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -402 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #99 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -401 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #100 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -400 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #101 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -399 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #102 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -398 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #103 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -397 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #104 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -396 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #105 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -395 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #106 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -394 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #107 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -393 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #108 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -392 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #109 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -391 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #110 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -390 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #111 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -389 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #112 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -388 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #113 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -387 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #114 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -386 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #115 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -385 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #116 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -384 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c core #117 183.63/183.73 c 183.63/183.73 c 183.63/183.73 c Core size: 3 Core Weight: 1 Total Weight: -383 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #118 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -382 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #119 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -381 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #120 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -380 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #121 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -379 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #122 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -378 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #123 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -377 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #124 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -376 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #125 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -375 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #126 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -374 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #127 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -373 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #128 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -372 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #129 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -371 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #130 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -370 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #131 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -369 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #132 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -368 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #133 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -367 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #134 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -366 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #135 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -365 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #136 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -364 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #137 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -363 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #138 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -362 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #139 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -361 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #140 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -360 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #141 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -359 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #142 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -358 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #143 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -357 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #144 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -356 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #145 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -355 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #146 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -354 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #147 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -353 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #148 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -352 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #149 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -351 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #150 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -350 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #151 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -349 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #152 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -348 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #153 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -347 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #154 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -346 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #155 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -345 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #156 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -344 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #157 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -343 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #158 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -342 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #159 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -341 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #160 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -340 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #161 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -339 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #162 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -338 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #163 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -337 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #164 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -336 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #165 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -335 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #166 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -334 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #167 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -333 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #168 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -332 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #169 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -331 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #170 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -330 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #171 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -329 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #172 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -328 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #173 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -327 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #174 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -326 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c core #175 185.02/185.14 c 185.02/185.14 c 185.02/185.14 c Core size: 3 Core Weight: 1 Total Weight: -325 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #176 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -324 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #177 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -323 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #178 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -322 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #179 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -321 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #180 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -320 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #181 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -319 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #182 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -318 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #183 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -317 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #184 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -316 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #185 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -315 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #186 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -314 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #187 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -313 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #188 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -312 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #189 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -311 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #190 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -310 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #191 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -309 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #192 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -308 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #193 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -307 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #194 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -306 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #195 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -305 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #196 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -304 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #197 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -303 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #198 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -302 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #199 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -301 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #200 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -300 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #201 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -299 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #202 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -298 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #203 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -297 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #204 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -296 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #205 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -295 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #206 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -294 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #207 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -293 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #208 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -292 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #209 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -291 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #210 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -290 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #211 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -289 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #212 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -288 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #213 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -287 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #214 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -286 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #215 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -285 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #216 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -284 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #217 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -283 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #218 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -282 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #219 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -281 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #220 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -280 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #221 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -279 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #222 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -278 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #223 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -277 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #224 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -276 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #225 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -275 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #226 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -274 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #227 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -273 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #228 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -272 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #229 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -271 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #230 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -270 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #231 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -269 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #232 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -268 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c core #233 186.62/186.70 c 186.62/186.70 c 186.62/186.70 c Core size: 3 Core Weight: 1 Total Weight: -267 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c core #234 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c Core size: 3 Core Weight: 1 Total Weight: -266 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c core #235 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c Core size: 3 Core Weight: 1 Total Weight: -265 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c core #236 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c Core size: 3 Core Weight: 1 Total Weight: -264 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c core #237 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c Core size: 3 Core Weight: 1 Total Weight: -263 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c core #238 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c Core size: 3 Core Weight: 1 Total Weight: -262 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c core #239 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c Core size: 3 Core Weight: 1 Total Weight: -261 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c core #240 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c Core size: 3 Core Weight: 1 Total Weight: -260 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c core #241 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c Core size: 3 Core Weight: 1 Total Weight: -259 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c core #242 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c Core size: 7 Core Weight: 1 Total Weight: -258 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c core #243 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c Core size: 7 Core Weight: 1 Total Weight: -257 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c core #244 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c Core size: 11 Core Weight: 1 Total Weight: -256 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c core #245 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c Core size: 11 Core Weight: 1 Total Weight: -255 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c core #246 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c Core size: 15 Core Weight: 1 Total Weight: -254 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c core #247 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c Core size: 7 Core Weight: 1 Total Weight: -253 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c core #248 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c Core size: 6 Core Weight: 1 Total Weight: -252 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c core #249 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c Core size: 10 Core Weight: 1 Total Weight: -251 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c core #250 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c Core size: 15 Core Weight: 1 Total Weight: -250 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c core #251 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c Core size: 34 Core Weight: 1 Total Weight: -249 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c core #252 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c Core size: 18 Core Weight: 1 Total Weight: -248 187.22/187.36 c 187.22/187.36 c 187.22/187.36 c ============================[ Search Statistics ]============================== 187.22/187.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.22/187.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.22/187.36 c =============================================================================== 187.22/187.36 c | 0 | 1056 16453 32782 | 5484 0 nan | 0.000 % | 187.22/187.37 c =============================================================================== 187.32/187.40 c core #253 187.32/187.40 c 187.32/187.40 c 187.32/187.40 c Core size: 20 Core Weight: 1 Total Weight: -247 187.32/187.40 c 187.32/187.40 c 187.32/187.40 c ============================[ Search Statistics ]============================== 187.32/187.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.32/187.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.32/187.40 c =============================================================================== 187.32/187.40 c | 0 | 1069 16454 32808 | 5484 0 nan | 0.000 % | 187.32/187.41 c =============================================================================== 187.32/187.44 c core #254 187.32/187.44 c 187.32/187.44 c 187.32/187.44 c Core size: 14 Core Weight: 1 Total Weight: -246 187.32/187.44 c 187.32/187.44 c 187.32/187.44 c ============================[ Search Statistics ]============================== 187.32/187.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.32/187.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.32/187.44 c =============================================================================== 187.32/187.44 c | 0 | 1077 16455 32824 | 5485 0 nan | 0.000 % | 187.32/187.45 c =============================================================================== 187.32/187.49 c core #255 187.32/187.49 c 187.32/187.49 c 187.32/187.49 c Core size: 14 Core Weight: 1 Total Weight: -245 187.32/187.49 c 187.32/187.49 c 187.32/187.49 c ============================[ Search Statistics ]============================== 187.32/187.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.32/187.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.32/187.49 c =============================================================================== 187.32/187.49 c | 0 | 1085 16456 32840 | 5485 0 nan | 0.000 % | 187.32/187.50 c =============================================================================== 187.42/187.53 c core #256 187.42/187.53 c 187.42/187.53 c 187.42/187.53 c Core size: 10 Core Weight: 1 Total Weight: -244 187.42/187.53 c 187.42/187.53 c 187.42/187.53 c ============================[ Search Statistics ]============================== 187.42/187.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.42/187.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.42/187.53 c =============================================================================== 187.42/187.53 c | 0 | 1091 16457 32852 | 5485 0 nan | 0.000 % | 187.42/187.54 c =============================================================================== 187.42/187.57 c core #257 187.42/187.57 c 187.42/187.57 c 187.42/187.57 c Core size: 10 Core Weight: 1 Total Weight: -243 187.42/187.57 c 187.42/187.57 c 187.42/187.57 c ============================[ Search Statistics ]============================== 187.42/187.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.42/187.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.42/187.57 c =============================================================================== 187.42/187.57 c | 0 | 1097 16458 32864 | 5486 0 nan | 0.000 % | 187.42/187.58 c =============================================================================== 187.52/187.62 c core #258 187.52/187.62 c 187.52/187.62 c 187.52/187.62 c Core size: 10 Core Weight: 1 Total Weight: -242 187.52/187.62 c 187.52/187.62 c 187.52/187.62 c ============================[ Search Statistics ]============================== 187.52/187.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.52/187.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.52/187.62 c =============================================================================== 187.52/187.62 c | 0 | 1103 16459 32876 | 5486 0 nan | 0.000 % | 187.52/187.63 c =============================================================================== 187.52/187.66 c core #259 187.52/187.66 c 187.52/187.66 c 187.52/187.66 c Core size: 10 Core Weight: 1 Total Weight: -241 187.52/187.66 c 187.52/187.66 c 187.52/187.66 c ============================[ Search Statistics ]============================== 187.52/187.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.52/187.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.52/187.66 c =============================================================================== 187.52/187.66 c | 0 | 1109 16460 32888 | 5486 0 nan | 0.000 % | 187.52/187.67 c =============================================================================== 187.62/187.70 c core #260 187.62/187.70 c 187.62/187.70 c 187.62/187.70 c Core size: 10 Core Weight: 1 Total Weight: -240 187.62/187.70 c 187.62/187.70 c 187.62/187.70 c ============================[ Search Statistics ]============================== 187.62/187.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.62/187.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.62/187.70 c =============================================================================== 187.62/187.70 c | 0 | 1115 16461 32900 | 5487 0 nan | 0.000 % | 187.62/187.71 c =============================================================================== 187.62/187.75 c core #261 187.62/187.75 c 187.62/187.75 c 187.62/187.75 c Core size: 22 Core Weight: 1 Total Weight: -239 187.62/187.75 c 187.62/187.75 c 187.62/187.75 c ============================[ Search Statistics ]============================== 187.62/187.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.62/187.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.62/187.75 c =============================================================================== 187.62/187.75 c | 0 | 1131 16462 32932 | 5487 0 nan | 0.000 % | 187.62/187.76 c =============================================================================== 187.62/187.79 c core #262 187.62/187.79 c 187.62/187.79 c 187.62/187.79 c Core size: 16 Core Weight: 1 Total Weight: -238 187.62/187.79 c 187.62/187.79 c 187.62/187.79 c ============================[ Search Statistics ]============================== 187.62/187.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.62/187.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.62/187.79 c =============================================================================== 187.62/187.79 c | 0 | 1141 16463 32952 | 5487 0 nan | 0.000 % | 187.72/187.80 c =============================================================================== 187.72/187.84 c core #263 187.72/187.84 c 187.72/187.84 c 187.72/187.84 c Core size: 10 Core Weight: 1 Total Weight: -237 187.72/187.84 c 187.72/187.84 c 187.72/187.84 c ============================[ Search Statistics ]============================== 187.72/187.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.72/187.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.72/187.84 c =============================================================================== 187.72/187.84 c | 0 | 1147 16464 32964 | 5488 0 nan | 0.000 % | 187.72/187.84 c =============================================================================== 187.72/187.88 c core #264 187.72/187.88 c 187.72/187.88 c 187.72/187.88 c Core size: 16 Core Weight: 1 Total Weight: -236 187.72/187.88 c 187.72/187.88 c 187.72/187.88 c ============================[ Search Statistics ]============================== 187.72/187.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.72/187.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.72/187.88 c =============================================================================== 187.72/187.88 c | 0 | 1157 16465 32984 | 5488 0 nan | 0.000 % | 187.72/187.89 c =============================================================================== 187.82/187.92 c core #265 187.82/187.92 c 187.82/187.92 c 187.82/187.92 c Core size: 12 Core Weight: 1 Total Weight: -235 187.82/187.92 c 187.82/187.92 c 187.82/187.92 c ============================[ Search Statistics ]============================== 187.82/187.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.82/187.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.82/187.92 c =============================================================================== 187.82/187.92 c | 0 | 1165 16466 33000 | 5488 0 nan | 0.000 % | 187.82/187.93 c =============================================================================== 187.82/187.96 c core #266 187.82/187.96 c 187.82/187.96 c 187.82/187.96 c Core size: 12 Core Weight: 1 Total Weight: -234 187.82/187.96 c 187.82/187.96 c 187.82/187.96 c ============================[ Search Statistics ]============================== 187.82/187.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.82/187.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.82/187.96 c =============================================================================== 187.82/187.96 c | 0 | 1173 16467 33016 | 5489 0 nan | 0.000 % | 187.82/187.97 c =============================================================================== 187.92/188.01 c core #267 187.92/188.01 c 187.92/188.01 c 187.92/188.01 c Core size: 10 Core Weight: 1 Total Weight: -233 187.92/188.01 c 187.92/188.01 c 187.92/188.01 c ============================[ Search Statistics ]============================== 187.92/188.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.92/188.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.92/188.01 c =============================================================================== 187.92/188.01 c | 0 | 1179 16468 33028 | 5489 0 nan | 0.000 % | 187.92/188.01 c =============================================================================== 187.92/188.05 c core #268 187.92/188.05 c 187.92/188.05 c 187.92/188.05 c Core size: 12 Core Weight: 1 Total Weight: -232 187.92/188.05 c 187.92/188.05 c 187.92/188.05 c ============================[ Search Statistics ]============================== 187.92/188.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.92/188.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.92/188.05 c =============================================================================== 187.92/188.05 c | 0 | 1187 16469 33044 | 5489 0 nan | 0.000 % | 187.92/188.06 c =============================================================================== 187.92/188.09 c core #269 187.92/188.09 c 187.92/188.09 c 187.92/188.09 c Core size: 16 Core Weight: 1 Total Weight: -231 187.92/188.09 c 187.92/188.09 c 187.92/188.09 c ============================[ Search Statistics ]============================== 187.92/188.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.92/188.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.92/188.09 c =============================================================================== 187.92/188.09 c | 0 | 1197 16470 33064 | 5490 0 nan | 0.000 % | 187.92/188.10 c =============================================================================== 188.03/188.14 c core #270 188.03/188.14 c 188.03/188.14 c 188.03/188.14 c Core size: 14 Core Weight: 1 Total Weight: -230 188.03/188.14 c 188.03/188.14 c 188.03/188.14 c ============================[ Search Statistics ]============================== 188.03/188.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.03/188.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.03/188.14 c =============================================================================== 188.03/188.14 c | 0 | 1205 16471 33080 | 5490 0 nan | 0.000 % | 188.03/188.14 c =============================================================================== 188.03/188.18 c core #271 188.03/188.18 c 188.03/188.18 c 188.03/188.18 c Core size: 14 Core Weight: 1 Total Weight: -229 188.03/188.18 c 188.03/188.18 c 188.03/188.18 c ============================[ Search Statistics ]============================== 188.03/188.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.03/188.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.03/188.18 c =============================================================================== 188.03/188.18 c | 0 | 1213 16472 33096 | 5490 0 nan | 0.000 % | 188.03/188.19 c =============================================================================== 188.12/188.22 c core #272 188.12/188.22 c 188.12/188.22 c 188.12/188.22 c Core size: 12 Core Weight: 1 Total Weight: -228 188.12/188.22 c 188.12/188.22 c 188.12/188.22 c ============================[ Search Statistics ]============================== 188.12/188.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.12/188.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.12/188.22 c =============================================================================== 188.12/188.22 c | 0 | 1221 16473 33112 | 5491 0 nan | 0.000 % | 188.12/188.23 c =============================================================================== 188.12/188.27 c core #273 188.12/188.27 c 188.12/188.27 c 188.12/188.27 c Core size: 14 Core Weight: 1 Total Weight: -227 188.12/188.27 c 188.12/188.27 c 188.12/188.27 c ============================[ Search Statistics ]============================== 188.12/188.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.12/188.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.12/188.27 c =============================================================================== 188.12/188.27 c | 0 | 1229 16474 33128 | 5491 0 nan | 0.000 % | 188.12/188.27 c =============================================================================== 188.22/188.31 c core #274 188.22/188.31 c 188.22/188.31 c 188.22/188.31 c Core size: 14 Core Weight: 1 Total Weight: -226 188.22/188.31 c 188.22/188.31 c 188.22/188.31 c ============================[ Search Statistics ]============================== 188.22/188.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.22/188.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.22/188.31 c =============================================================================== 188.22/188.31 c | 0 | 1237 16475 33144 | 5491 0 nan | 0.000 % | 188.22/188.31 c =============================================================================== 188.22/188.35 c core #275 188.22/188.35 c 188.22/188.35 c 188.22/188.35 c Core size: 10 Core Weight: 1 Total Weight: -225 188.22/188.35 c 188.22/188.35 c 188.22/188.35 c ============================[ Search Statistics ]============================== 188.22/188.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.22/188.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.22/188.35 c =============================================================================== 188.22/188.35 c | 0 | 1243 16476 33156 | 5492 0 nan | 0.000 % | 188.22/188.36 c =============================================================================== 188.22/188.39 c core #276 188.22/188.39 c 188.22/188.39 c 188.22/188.39 c Core size: 16 Core Weight: 1 Total Weight: -224 188.22/188.39 c 188.22/188.39 c 188.22/188.39 c ============================[ Search Statistics ]============================== 188.22/188.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.22/188.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.22/188.39 c =============================================================================== 188.22/188.39 c | 0 | 1253 16477 33176 | 5492 0 nan | 0.000 % | 188.32/188.40 c =============================================================================== 188.32/188.44 c core #277 188.32/188.44 c 188.32/188.44 c 188.32/188.44 c Core size: 16 Core Weight: 1 Total Weight: -223 188.32/188.44 c 188.32/188.44 c 188.32/188.44 c ============================[ Search Statistics ]============================== 188.32/188.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.32/188.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.32/188.44 c =============================================================================== 188.32/188.44 c | 0 | 1263 16478 33196 | 5492 0 nan | 0.000 % | 188.32/188.44 c =============================================================================== 188.32/188.48 c core #278 188.32/188.48 c 188.32/188.48 c 188.32/188.48 c Core size: 10 Core Weight: 1 Total Weight: -222 188.32/188.48 c 188.32/188.48 c 188.32/188.48 c ============================[ Search Statistics ]============================== 188.32/188.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.32/188.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.32/188.48 c =============================================================================== 188.32/188.48 c | 0 | 1269 16479 33208 | 5493 0 nan | 0.000 % | 188.32/188.49 c =============================================================================== 188.42/188.52 c core #279 188.42/188.52 c 188.42/188.52 c 188.42/188.52 c Core size: 16 Core Weight: 1 Total Weight: -221 188.42/188.52 c 188.42/188.52 c 188.42/188.52 c ============================[ Search Statistics ]============================== 188.42/188.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.42/188.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.42/188.52 c =============================================================================== 188.42/188.52 c | 0 | 1279 16480 33228 | 5493 0 nan | 0.000 % | 188.42/188.53 c =============================================================================== 188.42/188.57 c core #280 188.42/188.57 c 188.42/188.57 c 188.42/188.57 c Core size: 20 Core Weight: 1 Total Weight: -220 188.42/188.57 c 188.42/188.57 c 188.42/188.57 c ============================[ Search Statistics ]============================== 188.42/188.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.42/188.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.42/188.57 c =============================================================================== 188.42/188.57 c | 0 | 1291 16481 33252 | 5493 0 nan | 0.000 % | 188.42/188.57 c =============================================================================== 188.52/188.61 c core #281 188.52/188.61 c 188.52/188.61 c 188.52/188.61 c Core size: 14 Core Weight: 1 Total Weight: -219 188.52/188.61 c 188.52/188.61 c 188.52/188.61 c ============================[ Search Statistics ]============================== 188.52/188.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.52/188.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.52/188.61 c =============================================================================== 188.52/188.61 c | 0 | 1299 16482 33268 | 5494 0 nan | 0.000 % | 188.52/188.62 c =============================================================================== 188.52/188.66 c core #282 188.52/188.66 c 188.52/188.66 c 188.52/188.66 c Core size: 16 Core Weight: 1 Total Weight: -218 188.52/188.66 c 188.52/188.66 c 188.52/188.66 c ============================[ Search Statistics ]============================== 188.52/188.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.52/188.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.52/188.66 c =============================================================================== 188.52/188.66 c | 0 | 1309 16483 33288 | 5494 0 nan | 0.000 % | 188.52/188.66 c =============================================================================== 188.62/188.70 c core #283 188.62/188.70 c 188.62/188.70 c 188.62/188.70 c Core size: 16 Core Weight: 1 Total Weight: -217 188.62/188.70 c 188.62/188.70 c 188.62/188.70 c ============================[ Search Statistics ]============================== 188.62/188.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.62/188.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.62/188.70 c =============================================================================== 188.62/188.70 c | 0 | 1319 16484 33308 | 5494 0 nan | 0.000 % | 188.62/188.71 c =============================================================================== 188.62/188.74 c core #284 188.62/188.74 c 188.62/188.74 c 188.62/188.74 c Core size: 14 Core Weight: 1 Total Weight: -216 188.62/188.74 c 188.62/188.74 c 188.62/188.74 c ============================[ Search Statistics ]============================== 188.62/188.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.62/188.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.62/188.74 c =============================================================================== 188.62/188.74 c | 0 | 1327 16485 33324 | 5495 0 nan | 0.000 % | 188.62/188.75 c =============================================================================== 188.62/188.79 c core #285 188.62/188.79 c 188.62/188.79 c 188.62/188.79 c Core size: 14 Core Weight: 1 Total Weight: -215 188.62/188.79 c 188.62/188.79 c 188.62/188.79 c ============================[ Search Statistics ]============================== 188.62/188.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.62/188.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.62/188.79 c =============================================================================== 188.62/188.79 c | 0 | 1335 16486 33340 | 5495 0 nan | 0.000 % | 188.62/188.80 c =============================================================================== 188.72/188.83 c core #286 188.72/188.83 c 188.72/188.83 c 188.72/188.83 c Core size: 20 Core Weight: 1 Total Weight: -214 188.72/188.83 c 188.72/188.83 c 188.72/188.83 c ============================[ Search Statistics ]============================== 188.72/188.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.72/188.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.72/188.83 c =============================================================================== 188.72/188.83 c | 0 | 1347 16487 33364 | 5495 0 nan | 0.000 % | 188.72/188.84 c =============================================================================== 188.72/188.88 c core #287 188.72/188.88 c 188.72/188.88 c 188.72/188.88 c Core size: 16 Core Weight: 1 Total Weight: -213 188.72/188.88 c 188.72/188.88 c 188.72/188.88 c ============================[ Search Statistics ]============================== 188.72/188.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.72/188.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.72/188.88 c =============================================================================== 188.72/188.88 c | 0 | 1357 16488 33384 | 5496 0 nan | 0.000 % | 188.72/188.88 c =============================================================================== 188.82/188.92 c core #288 188.82/188.92 c 188.82/188.92 c 188.82/188.92 c Core size: 10 Core Weight: 1 Total Weight: -212 188.82/188.92 c 188.82/188.92 c 188.82/188.92 c ============================[ Search Statistics ]============================== 188.82/188.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.82/188.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.82/188.92 c =============================================================================== 188.82/188.92 c | 0 | 1363 16489 33396 | 5496 0 nan | 0.000 % | 188.82/188.93 c =============================================================================== 188.82/188.97 c core #289 188.82/188.97 c 188.82/188.97 c 188.82/188.97 c Core size: 16 Core Weight: 1 Total Weight: -211 188.82/188.97 c 188.82/188.97 c 188.82/188.97 c ============================[ Search Statistics ]============================== 188.82/188.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.82/188.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.82/188.97 c =============================================================================== 188.82/188.97 c | 0 | 1373 16490 33416 | 5496 0 nan | 0.000 % | 188.82/188.98 c =============================================================================== 188.92/189.02 c core #290 188.92/189.02 c 188.92/189.02 c 188.92/189.02 c Core size: 20 Core Weight: 1 Total Weight: -210 188.92/189.02 c 188.92/189.02 c 188.92/189.02 c ============================[ Search Statistics ]============================== 188.92/189.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.92/189.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.92/189.02 c =============================================================================== 188.92/189.02 c | 0 | 1385 16491 33440 | 5497 0 nan | 0.000 % | 188.92/189.03 c =============================================================================== 188.92/189.06 c core #291 188.92/189.06 c 188.92/189.06 c 188.92/189.06 c Core size: 14 Core Weight: 1 Total Weight: -209 188.92/189.06 c 188.92/189.06 c 188.92/189.06 c ============================[ Search Statistics ]============================== 188.92/189.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.92/189.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.92/189.07 c =============================================================================== 188.92/189.07 c | 0 | 1393 16492 33456 | 5497 0 nan | 0.000 % | 188.92/189.07 c =============================================================================== 189.02/189.11 c core #292 189.02/189.11 c 189.02/189.11 c 189.02/189.11 c Core size: 14 Core Weight: 1 Total Weight: -208 189.02/189.11 c 189.02/189.11 c 189.02/189.11 c ============================[ Search Statistics ]============================== 189.02/189.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.02/189.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.02/189.11 c =============================================================================== 189.02/189.11 c | 0 | 1401 16493 33472 | 5497 0 nan | 0.000 % | 189.02/189.12 c =============================================================================== 189.02/189.16 c core #293 189.02/189.16 c 189.02/189.16 c 189.02/189.16 c Core size: 10 Core Weight: 1 Total Weight: -207 189.02/189.16 c 189.02/189.16 c 189.02/189.16 c ============================[ Search Statistics ]============================== 189.02/189.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.02/189.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.02/189.16 c =============================================================================== 189.02/189.16 c | 0 | 1407 16494 33484 | 5498 0 nan | 0.000 % | 189.02/189.17 c =============================================================================== 189.12/189.21 c core #294 189.12/189.21 c 189.12/189.21 c 189.12/189.21 c Core size: 14 Core Weight: 1 Total Weight: -206 189.12/189.21 c 189.12/189.21 c 189.12/189.21 c ============================[ Search Statistics ]============================== 189.12/189.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.12/189.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.12/189.21 c =============================================================================== 189.12/189.21 c | 0 | 1415 16495 33500 | 5498 0 nan | 0.000 % | 189.12/189.22 c =============================================================================== 189.12/189.25 c core #295 189.12/189.25 c 189.12/189.25 c 189.12/189.25 c Core size: 16 Core Weight: 1 Total Weight: -205 189.12/189.25 c 189.12/189.25 c 189.12/189.25 c ============================[ Search Statistics ]============================== 189.12/189.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.12/189.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.12/189.25 c =============================================================================== 189.12/189.25 c | 0 | 1425 16496 33520 | 5498 0 nan | 0.000 % | 189.12/189.27 c =============================================================================== 189.22/189.31 c core #296 189.22/189.31 c 189.22/189.31 c 189.22/189.31 c Core size: 26 Core Weight: 1 Total Weight: -204 189.22/189.31 c 189.22/189.31 c 189.22/189.31 c ============================[ Search Statistics ]============================== 189.22/189.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.22/189.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.22/189.31 c =============================================================================== 189.22/189.31 c | 0 | 1441 16497 33552 | 5499 0 nan | 0.000 % | 189.22/189.32 c =============================================================================== 189.22/189.35 c core #297 189.22/189.35 c 189.22/189.35 c 189.22/189.35 c Core size: 26 Core Weight: 1 Total Weight: -203 189.22/189.35 c 189.22/189.35 c 189.22/189.35 c ============================[ Search Statistics ]============================== 189.22/189.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.22/189.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.22/189.35 c =============================================================================== 189.22/189.35 c | 0 | 1459 16498 33588 | 5499 0 nan | 0.000 % | 189.22/189.36 c =============================================================================== 189.32/189.40 c core #298 189.32/189.40 c 189.32/189.40 c 189.32/189.40 c Core size: 16 Core Weight: 1 Total Weight: -202 189.32/189.40 c 189.32/189.40 c 189.32/189.40 c ============================[ Search Statistics ]============================== 189.32/189.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.32/189.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.32/189.40 c =============================================================================== 189.32/189.40 c | 0 | 1469 16499 33608 | 5499 0 nan | 0.000 % | 189.32/189.41 c =============================================================================== 189.32/189.45 c core #299 189.32/189.45 c 189.32/189.45 c 189.32/189.45 c Core size: 20 Core Weight: 1 Total Weight: -201 189.32/189.45 c 189.32/189.45 c 189.32/189.45 c ============================[ Search Statistics ]============================== 189.32/189.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.32/189.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.32/189.45 c =============================================================================== 189.32/189.45 c | 0 | 1481 16500 33632 | 5500 0 nan | 0.000 % | 189.32/189.47 c =============================================================================== 189.42/189.51 c core #300 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c Core size: 45 Core Weight: 1 Total Weight: -200 189.42/189.51 c 189.42/189.51 c 189.42/189.51 c ============================[ Search Statistics ]============================== 189.42/189.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.42/189.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.42/189.51 c =============================================================================== 189.42/189.51 c | 0 | 1512 16501 33694 | 5500 0 nan | 0.000 % | 189.42/189.55 c =============================================================================== 189.42/189.59 c core #301 189.42/189.59 c 189.42/189.59 c 189.42/189.59 c Core size: 77 Core Weight: 1 Total Weight: -199 189.42/189.59 c 189.42/189.59 c 189.42/189.59 c ============================[ Search Statistics ]============================== 189.42/189.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.42/189.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.42/189.59 c =============================================================================== 189.42/189.59 c | 0 | 1573 16502 33816 | 5500 0 nan | 0.000 % | 189.52/189.65 c | 102 | 1572 16502 33816 | 6050 102 11 | 83.291 % | 189.52/189.69 c =============================================================================== 189.62/189.73 c core #302 189.62/189.73 c 189.62/189.73 c 189.62/189.73 c Core size: 82 Core Weight: 1 Total Weight: -198 189.62/189.73 c 189.62/189.73 c 189.62/189.73 c ============================[ Search Statistics ]============================== 189.62/189.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.62/189.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.62/189.73 c =============================================================================== 189.62/189.73 c | 0 | 1639 16503 33948 | 5501 0 nan | 0.000 % | 189.62/189.80 c | 108 | 1639 16503 33948 | 6051 108 20 | 82.700 % | 189.83/189.90 c | 258 | 1639 16503 33948 | 6656 258 26 | 82.700 % | 189.93/190.05 c | 483 | 1639 16503 33948 | 7321 483 27 | 82.700 % | 190.13/190.27 c | 820 | 1639 16503 33948 | 8054 820 27 | 82.700 % | 190.42/190.54 c | 1326 | 1638 16503 33948 | 8859 1324 29 | 82.711 % | 190.42/190.57 c =============================================================================== 190.52/190.63 c core #303 190.52/190.63 c 190.52/190.63 c 190.52/190.63 c Core size: 120 Core Weight: 1 Total Weight: -197 190.52/190.63 c 190.52/190.63 c 190.52/190.63 c ============================[ Search Statistics ]============================== 190.52/190.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.52/190.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.52/190.63 c =============================================================================== 190.52/190.63 c | 0 | 1752 16504 34174 | 5501 0 nan | 0.000 % | 190.62/190.72 c | 100 | 1752 16504 34174 | 6051 100 14 | 81.725 % | 190.62/190.79 c | 250 | 1751 16504 34174 | 6656 250 11 | 81.736 % | 190.82/190.91 c =============================================================================== 190.82/190.95 c core #304 190.82/190.95 c 190.82/190.95 c 190.82/190.95 c Core size: 115 Core Weight: 1 Total Weight: -196 190.82/190.95 c 190.82/190.95 c 190.82/190.95 c ============================[ Search Statistics ]============================== 190.82/190.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.82/190.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.82/190.95 c =============================================================================== 190.82/190.95 c | 0 | 1837 16505 34344 | 5501 0 nan | 0.000 % | 190.92/191.01 c | 100 | 1837 16505 34344 | 6051 100 36 | 81.007 % | 190.92/191.08 c | 251 | 1837 16505 34344 | 6657 251 29 | 81.007 % | 191.02/191.17 c | 476 | 1837 16505 34344 | 7322 476 27 | 81.007 % | 191.22/191.33 c | 816 | 1837 16505 34344 | 8054 816 27 | 81.007 % | 191.52/191.61 c | 1322 | 1836 16505 34344 | 8860 1320 28 | 81.017 % | 192.02/192.15 c | 2084 | 1836 16505 34344 | 9746 2082 28 | 81.017 % | 193.02/193.15 c | 3225 | 1834 16505 34344 | 10721 3192 28 | 81.038 % | 194.32/194.48 c =============================================================================== 194.53/194.60 c core #305 194.53/194.60 c 194.53/194.60 c 194.53/194.60 c Core size: 164 Core Weight: 1 Total Weight: -195 194.53/194.60 c 194.53/194.60 c 194.53/194.60 c ============================[ Search Statistics ]============================== 194.53/194.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.53/194.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.53/194.60 c =============================================================================== 194.53/194.60 c | 0 | 1985 16506 34640 | 5502 0 nan | 0.000 % | 194.53/194.67 c | 100 | 1985 16506 34640 | 6052 100 25 | 79.786 % | 194.63/194.75 c | 251 | 1985 16506 34640 | 6657 251 27 | 79.786 % | 194.72/194.85 c | 478 | 1985 16506 34640 | 7323 478 22 | 79.786 % | 194.82/194.96 c | 817 | 1985 16506 34640 | 8055 817 21 | 79.786 % | 195.01/195.19 c | 1327 | 1984 16506 34640 | 8861 1321 20 | 79.796 % | 195.32/195.45 c =============================================================================== 195.42/195.50 c core #306 195.42/195.50 c 195.42/195.50 c 195.42/195.50 c Core size: 139 Core Weight: 1 Total Weight: -194 195.42/195.50 c 195.42/195.50 c 195.42/195.50 c ============================[ Search Statistics ]============================== 195.42/195.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.42/195.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.42/195.50 c =============================================================================== 195.42/195.50 c | 0 | 2105 16507 34880 | 5502 0 nan | 0.000 % | 195.42/195.56 c | 100 | 2105 16507 34880 | 6052 100 13 | 78.823 % | 195.52/195.60 c | 250 | 2105 16507 34880 | 6657 250 18 | 78.823 % | 195.52/195.69 c | 475 | 2105 16507 34880 | 7323 475 27 | 78.823 % | 195.62/195.79 c | 813 | 2105 16507 34880 | 8055 813 32 | 78.823 % | 195.91/196.08 c | 1322 | 2105 16507 34880 | 8861 1322 34 | 78.823 % | 196.42/196.59 c | 2083 | 2105 16507 34880 | 9747 2083 34 | 78.823 % | 197.22/197.32 c | 3224 | 2105 16507 34880 | 10722 3224 37 | 78.823 % | 198.32/198.43 c | 4933 | 2105 16507 34880 | 11794 4933 39 | 78.823 % | 199.32/199.49 c =============================================================================== 199.42/199.55 c core #307 199.42/199.55 c 199.42/199.55 c 199.42/199.55 c Core size: 91 Core Weight: 1 Total Weight: -193 199.42/199.55 c 199.42/199.55 c 199.42/199.55 c ============================[ Search Statistics ]============================== 199.42/199.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.42/199.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.42/199.55 c =============================================================================== 199.42/199.55 c | 0 | 2193 16508 35056 | 5502 0 nan | 0.000 % | 199.52/199.62 c | 100 | 2193 16508 35056 | 6052 100 30 | 78.131 % | 199.52/199.67 c | 250 | 2193 16508 35056 | 6658 250 23 | 78.131 % | 199.62/199.73 c | 475 | 2193 16508 35056 | 7324 475 26 | 78.131 % | 199.72/199.84 c | 812 | 2193 16508 35056 | 8056 812 22 | 78.131 % | 199.92/200.08 c | 1318 | 2193 16508 35056 | 8862 1318 22 | 78.131 % | 200.32/200.47 c | 2078 | 2193 16508 35056 | 9748 2078 22 | 78.131 % | 200.72/200.81 c =============================================================================== 200.72/200.88 c core #308 200.72/200.88 c 200.72/200.88 c 200.72/200.88 c Core size: 142 Core Weight: 1 Total Weight: -192 200.72/200.88 c 200.72/200.88 c 200.72/200.88 c ============================[ Search Statistics ]============================== 200.72/200.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.72/200.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.72/200.88 c =============================================================================== 200.72/200.88 c | 0 | 2306 16509 35282 | 5503 0 nan | 0.000 % | 200.81/200.95 c | 101 | 2306 16509 35282 | 6053 101 22 | 77.261 % | 200.81/200.99 c | 251 | 2306 16509 35282 | 6658 251 26 | 77.261 % | 201.02/201.10 c | 476 | 2306 16509 35282 | 7324 476 26 | 77.261 % | 201.13/201.21 c | 813 | 2306 16509 35282 | 8056 813 26 | 77.261 % | 201.32/201.44 c | 1320 | 2306 16509 35282 | 8862 1320 24 | 77.261 % | 201.72/201.86 c | 2079 | 2306 16509 35282 | 9748 2079 24 | 77.261 % | 202.51/202.62 c | 3219 | 2306 16509 35282 | 10723 3219 26 | 77.261 % | 203.72/203.84 c | 4928 | 2306 16509 35282 | 11796 4928 28 | 77.261 % | 206.01/206.10 c | 7490 | 2306 16509 35282 | 12975 7490 31 | 77.261 % | 210.32/210.45 c | 11336 | 2306 16509 35282 | 14273 11336 34 | 77.261 % | 213.71/213.89 c =============================================================================== 214.02/214.19 c core #309 214.02/214.19 c 214.02/214.19 c 214.02/214.19 c Core size: 169 Core Weight: 1 Total Weight: -191 214.02/214.19 c 214.02/214.19 c 214.02/214.19 c ============================[ Search Statistics ]============================== 214.02/214.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.02/214.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.02/214.19 c =============================================================================== 214.02/214.19 c | 0 | 2447 16510 35564 | 5503 0 nan | 0.000 % | 214.12/214.27 c | 100 | 2447 16510 35564 | 6053 100 42 | 76.201 % | 214.21/214.30 c | 250 | 2447 16510 35564 | 6659 250 30 | 76.201 % | 214.21/214.39 c | 478 | 2447 16510 35564 | 7324 478 26 | 76.201 % | 214.32/214.48 c | 815 | 2447 16510 35564 | 8057 815 29 | 76.201 % | 214.61/214.72 c | 1321 | 2447 16510 35564 | 8863 1321 30 | 76.201 % | 214.91/215.05 c | 2081 | 2447 16510 35564 | 9749 2081 30 | 76.201 % | 215.61/215.80 c | 3220 | 2447 16510 35564 | 10724 3220 37 | 76.201 % | 216.91/217.05 c | 4928 | 2447 16510 35564 | 11796 4928 41 | 76.201 % | 218.81/218.92 c | 7490 | 2447 16510 35564 | 12976 7490 45 | 76.201 % | 223.11/223.22 c | 11334 | 2447 16510 35564 | 14274 11334 49 | 76.201 % | 228.91/229.01 c | 17100 | 2447 16510 35564 | 15701 17100 51 | 76.201 % | 239.51/239.60 c | 25751 | 2447 16510 35564 | 17271 13867 50 | 76.201 % | 254.30/254.44 c | 38727 | 2447 16510 35564 | 18998 14221 46 | 76.201 % | 275.39/275.58 c | 58190 | 2447 16510 35564 | 20898 19933 55 | 76.201 % | 314.08/314.21 c | 87384 | 2447 16510 35564 | 22988 18457 50 | 76.201 % | 370.46/370.64 c | 131179 | 2447 16510 35564 | 25287 28990 47 | 76.201 % | 459.73/459.92 c | 196868 | 2416 16510 35564 | 27816 25568 48 | 76.503 % | 484.52/484.71 c =============================================================================== 490.11/490.39 c core #310 490.11/490.39 c 490.11/490.39 c 490.11/490.39 c Core size: 140 Core Weight: 1 Total Weight: -190 490.11/490.39 c 490.11/490.39 c 490.11/490.39 c ============================[ Search Statistics ]============================== 490.11/490.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 490.11/490.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 490.11/490.39 c =============================================================================== 490.11/490.39 c | 0 | 2560 16511 35790 | 5503 0 nan | 0.000 % | 490.32/490.52 c | 100 | 2560 16511 35790 | 6054 100 57 | 75.373 % | 490.32/490.57 c | 251 | 2560 16511 35790 | 6659 251 37 | 75.373 % | 490.43/490.66 c | 476 | 2560 16511 35790 | 7325 476 38 | 75.373 % | 490.62/490.85 c | 815 | 2560 16511 35790 | 8057 815 43 | 75.373 % | 490.82/491.08 c | 1322 | 2560 16511 35790 | 8863 1322 37 | 75.373 % | 491.32/491.50 c | 2081 | 2560 16511 35790 | 9750 2081 41 | 75.373 % | 491.92/492.13 c | 3220 | 2560 16511 35790 | 10725 3220 40 | 75.373 % | 493.02/493.27 c | 4929 | 2560 16511 35790 | 11797 4929 42 | 75.373 % | 495.92/496.14 c | 7491 | 2560 16511 35790 | 12977 7491 50 | 75.373 % | 499.51/499.74 c | 11340 | 2560 16511 35790 | 14275 11340 51 | 75.373 % | 505.82/506.10 c | 17107 | 2560 16511 35790 | 15702 17107 53 | 75.373 % | 517.41/517.62 c | 25756 | 2560 16511 35790 | 17272 13894 50 | 75.373 % | 537.50/537.78 c | 38730 | 2560 16511 35790 | 19000 14240 55 | 75.373 % | 565.59/565.85 c | 58191 | 2560 16511 35790 | 20900 20158 56 | 75.373 % | 615.47/615.71 c | 87386 | 2541 16511 35790 | 22990 20124 62 | 75.556 % | 620.88/621.11 c =============================================================================== 623.87/624.12 c core #311 623.87/624.12 c 623.87/624.12 c 623.87/624.12 c Core size: 186 Core Weight: 1 Total Weight: -189 623.87/624.12 c 623.87/624.12 c 623.87/624.12 c ============================[ Search Statistics ]============================== 623.87/624.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 623.87/624.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 623.87/624.12 c =============================================================================== 623.87/624.12 c | 0 | 2703 16512 36076 | 5504 0 nan | 0.000 % | 623.97/624.25 c | 101 | 2703 16512 36076 | 6054 101 69 | 74.350 % | 624.07/624.30 c | 251 | 2703 16512 36076 | 6659 251 62 | 74.350 % | 624.07/624.37 c | 476 | 2703 16512 36076 | 7325 476 47 | 74.350 % | 624.17/624.48 c | 813 | 2703 16512 36076 | 8058 813 42 | 74.350 % | 624.37/624.67 c | 1319 | 2703 16512 36076 | 8864 1319 39 | 74.350 % | 624.87/625.10 c | 2079 | 2703 16512 36076 | 9750 2079 47 | 74.350 % | 625.58/625.82 c | 3218 | 2703 16512 36076 | 10725 3218 54 | 74.350 % | 626.57/626.81 c | 4926 | 2703 16512 36076 | 11798 4926 60 | 74.350 % | 628.68/628.95 c | 7488 | 2703 16512 36076 | 12978 7488 71 | 74.350 % | 632.77/633.00 c | 11332 | 2703 16512 36076 | 14275 11332 81 | 74.350 % | 641.27/641.53 c | 17099 | 2703 16512 36076 | 15703 17099 95 | 74.350 % | 655.27/655.55 c | 25748 | 2703 16512 36076 | 17273 13862 107 | 74.350 % | 669.96/670.27 c | 38725 | 2703 16512 36076 | 19001 14224 86 | 74.350 % | 688.06/688.33 c | 58186 | 2703 16512 36076 | 20901 18482 97 | 74.350 % | 731.84/732.12 c | 87382 | 2703 16512 36076 | 22991 16717 119 | 74.350 % | 796.21/796.57 c | 131175 | 2703 16512 36076 | 25290 25523 114 | 74.350 % | 908.38/908.75 c | 196859 | 2703 16512 36076 | 27819 31307 103 | 74.350 % | 1063.82/1064.21 c | 295386 | 2703 16512 36076 | 30601 23798 79 | 74.350 % | 1339.83/1340.32 c | 443176 | 2703 16512 36076 | 33661 34200 70 | 74.350 % | 1713.61/1714.22 c =============================================================================== 1720.92/1721.57 c core #312 1720.92/1721.57 c 1720.92/1721.57 c 1720.92/1721.57 c Core size: 160 Core Weight: 1 Total Weight: -188 1720.92/1721.57 c 1720.92/1721.57 c 1720.92/1721.57 c ============================[ Search Statistics ]============================== 1720.92/1721.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 1720.92/1721.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1720.92/1721.57 c =============================================================================== 1720.92/1721.57 c | 0 | 2839 16513 36348 | 5504 0 nan | 0.000 % | 1721.11/1721.79 c | 103 | 2839 16513 36348 | 6054 103 132 | 73.403 % | 1721.31/1721.92 c | 257 | 2839 16513 36348 | 6660 257 86 | 73.403 % | 1721.40/1722.03 c | 483 | 2839 16513 36348 | 7326 483 75 | 73.403 % | 1721.50/1722.17 c | 820 | 2839 16513 36348 | 8058 820 75 | 73.403 % | 1721.71/1722.31 c | 1327 | 2839 16513 36348 | 8864 1327 84 | 73.403 % | 1722.21/1722.83 c | 2087 | 2839 16513 36348 | 9751 2087 105 | 73.403 % | 1723.01/1723.64 c | 3226 | 2839 16513 36348 | 10726 3226 117 | 73.403 % | 1724.11/1724.75 c | 4937 | 2839 16513 36348 | 11799 4937 121 | 73.403 % | 1726.50/1727.15 c | 7503 | 2839 16513 36348 | 12978 7503 127 | 73.403 % | 1730.90/1731.53 c | 11349 | 2839 16513 36348 | 14276 11349 133 | 73.403 % | 1737.00/1737.62 c | 17117 | 2839 16513 36348 | 15704 17117 136 | 73.403 % | 1751.49/1752.13 c | 25771 | 2839 16513 36348 | 17274 13869 141 | 73.403 % | 1778.38/1779.02 c | 38748 | 2839 16513 36348 | 19002 14159 133 | 73.403 % |
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-2702569-1278570283/watcher-2702569-1278570283 -o /tmp/evaluation-result-2702569-1278570283/solver-2702569-1278570283 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702569-1278570283.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.02 1.07 1.01 3/106 1631 /proc/meminfo: memFree=1664388/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=3496 CPUtime=0 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 334 0 0 0 0 0 0 0 20 0 1 0 25235549 3579904 252 1992294400 134512640 135752675 4293426992 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 874 252 133 303 0 407 0 [startup+0.083193 s] /proc/loadavg: 1.02 1.07 1.01 3/106 1631 /proc/meminfo: memFree=1664388/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=5736 CPUtime=0.08 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 977 0 0 0 8 0 0 0 20 0 1 0 25235549 5873664 895 1992294400 134512640 135752675 4293426992 18446744073709551615 134574276 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 1434 896 244 303 0 967 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5736 [startup+0.101195 s] /proc/loadavg: 1.02 1.07 1.01 3/106 1631 /proc/meminfo: memFree=1664388/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=5932 CPUtime=0.09 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 1061 0 0 0 9 0 0 0 20 0 1 0 25235549 6074368 979 1992294400 134512640 135752675 4293426992 18446744073709551615 135202275 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 1483 979 272 303 0 1016 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5932 [startup+0.301232 s] /proc/loadavg: 1.02 1.07 1.01 3/106 1631 /proc/meminfo: memFree=1664388/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=7384 CPUtime=0.29 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 1595 0 0 0 28 1 0 0 20 0 1 0 25235549 7561216 1351 1992294400 134512640 135752675 4293426992 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 1846 1351 145 303 0 1541 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7384 [startup+0.701305 s] /proc/loadavg: 1.02 1.07 1.01 3/106 1631 /proc/meminfo: memFree=1664388/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=10464 CPUtime=0.69 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 2371 0 0 0 67 2 0 0 20 0 1 0 25235549 10715136 2127 1992294400 134512640 135752675 4293426992 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 2616 2128 145 303 0 2311 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10464 [startup+1.50145 s] /proc/loadavg: 1.02 1.07 1.01 2/107 1632 /proc/meminfo: memFree=1654336/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=15472 CPUtime=1.49 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 3614 0 0 0 145 4 0 0 22 0 1 0 25235549 15843328 3370 1992294400 134512640 135752675 4293426992 18446744073709551615 135207212 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 3867 3370 145 303 0 3562 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15472 [startup+3.10174 s] /proc/loadavg: 1.02 1.07 1.01 2/107 1632 /proc/meminfo: memFree=1648880/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=21496 CPUtime=3.09 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 5123 0 0 0 304 5 0 0 25 0 1 0 25235549 22011904 4879 1992294400 134512640 135752675 4293426992 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 5374 4880 145 303 0 5069 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21496 [startup+6.30132 s] /proc/loadavg: 1.02 1.07 1.01 2/107 1632 /proc/meminfo: memFree=1638464/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=31580 CPUtime=6.29 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 7661 0 0 0 621 8 0 0 25 0 1 0 25235549 32337920 7417 1992294400 134512640 135752675 4293426992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 7895 7417 145 303 0 7590 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31580 [startup+12.7015 s] /proc/loadavg: 1.02 1.06 1.01 2/107 1632 /proc/meminfo: memFree=1620484/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=46920 CPUtime=12.68 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 11474 0 0 0 1256 12 0 0 25 0 1 0 25235549 48046080 11230 1992294400 134512640 135752675 4293426992 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 11730 11230 145 303 0 11425 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 46920 [startup+25.5008 s] /proc/loadavg: 1.01 1.06 1.01 2/107 1632 /proc/meminfo: memFree=1592088/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=75272 CPUtime=25.48 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 18579 0 0 0 2528 20 0 0 25 0 1 0 25235549 77078528 18335 1992294400 134512640 135752675 4293426992 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 18818 18336 145 303 0 18513 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 75272 [startup+51.1005 s] /proc/loadavg: 1.01 1.06 1.00 3/107 1632 /proc/meminfo: memFree=1547076/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=120628 CPUtime=51.06 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 29900 0 0 0 5071 35 0 0 25 0 1 0 25235549 123523072 29656 1992294400 134512640 135752675 4293426992 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 30157 29656 145 303 0 29852 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 120628 [startup+102.309 s] /proc/loadavg: 1.00 1.04 1.00 2/107 1634 /proc/meminfo: memFree=1468460/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=197896 CPUtime=102.25 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 49190 0 0 0 10168 57 0 0 25 0 1 0 25235549 202645504 48946 1992294400 134512640 135752675 4293426992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 49474 48946 145 303 0 49169 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 197896 [startup+162.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 1637 /proc/meminfo: memFree=1352024/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=315028 CPUtime=162.23 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 78435 0 0 0 16133 90 0 0 25 0 1 0 25235549 322588672 78191 1992294400 134512640 135752675 4293426992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 78757 78191 145 303 0 78452 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 315028 [startup+222.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 1639 /proc/meminfo: memFree=1304656/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=360824 CPUtime=222.21 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 90156 0 0 0 22103 118 0 0 25 0 1 0 25235549 369483776 89736 1992294400 134512640 135752675 4293426992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 90206 89736 146 303 0 89901 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 360824 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 1639 /proc/meminfo: memFree=1303664/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=361748 CPUtime=282.19 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 90416 0 0 0 28081 138 0 0 25 0 1 0 25235549 370429952 89996 1992294400 134512640 135752675 4293426992 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 90437 89996 146 303 0 90132 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 361748 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 1641 /proc/meminfo: memFree=1290768/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=374700 CPUtime=342.17 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 93635 0 0 0 34057 160 0 0 25 0 1 0 25235549 383692800 93215 1992294400 134512640 135752675 4293426992 18446744073709551615 134518854 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 93675 93215 146 303 0 93370 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 374700 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 1643 /proc/meminfo: memFree=1277500/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=388124 CPUtime=402.15 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 96976 0 0 0 40036 179 0 0 25 0 1 0 25235549 397438976 96556 1992294400 134512640 135752675 4293426992 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 97031 96556 146 303 0 96726 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 388124 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1645 /proc/meminfo: memFree=1260016/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=405364 CPUtime=462.12 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 101274 0 0 0 46010 202 0 0 25 0 1 0 25235549 415092736 100854 1992294400 134512640 135752675 4293426992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 101341 100854 146 303 0 101036 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 405364 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1647 /proc/meminfo: memFree=1245012/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=420356 CPUtime=522.11 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 104969 0 0 0 51985 226 0 0 25 0 1 0 25235549 430444544 104549 1992294400 134512640 135752675 4293426992 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 105089 104549 146 303 0 104784 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 420356 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1647 /proc/meminfo: memFree=1242036/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=423312 CPUtime=582.09 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 105737 0 0 0 57966 243 0 0 25 0 1 0 25235549 433471488 105317 1992294400 134512640 135752675 4293426992 18446744073709551615 134616133 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 105828 105317 146 303 0 105523 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 423312 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1649 /proc/meminfo: memFree=1233976/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=430736 CPUtime=642.07 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 107738 0 0 0 63948 259 0 0 25 0 1 0 25235549 441073664 107196 1992294400 134512640 135752675 4293426992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 107684 107196 146 303 0 107379 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 430736 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1655 /proc/meminfo: memFree=1153500/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=511416 CPUtime=881.99 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 127847 0 0 0 87849 350 0 0 25 0 1 0 25235549 523689984 127305 1992294400 134512640 135752675 4293426992 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 127854 127305 146 303 0 127549 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 511416 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1657 /proc/meminfo: memFree=1133536/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=531392 CPUtime=941.97 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 132857 0 0 0 93827 370 0 0 25 0 1 0 25235549 544145408 132315 1992294400 134512640 135752675 4293426992 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 132848 132315 146 303 0 132543 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 531392 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1659 /proc/meminfo: memFree=1116300/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=548480 CPUtime=1001.94 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 137105 0 0 0 99806 388 0 0 25 0 1 0 25235549 561643520 136563 1992294400 134512640 135752675 4293426992 18446744073709551615 135204801 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 137120 136563 146 303 0 136815 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 548480 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1661 /proc/meminfo: memFree=1096956/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=567924 CPUtime=1061.92 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 141983 0 0 0 105781 411 0 0 25 0 1 0 25235549 581554176 141441 1992294400 134512640 135752675 4293426992 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 141981 141441 146 303 0 141676 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 567924 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1663 /proc/meminfo: memFree=1080340/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=584208 CPUtime=1121.9 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 146036 0 0 0 111757 433 0 0 25 0 1 0 25235549 598228992 145494 1992294400 134512640 135752675 4293426992 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 146052 145494 146 303 0 145747 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 584208 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1663 /proc/meminfo: memFree=1065460/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=599336 CPUtime=1181.88 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 149812 0 0 0 117738 450 0 0 25 0 1 0 25235549 613720064 149270 1992294400 134512640 135752675 4293426992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 149834 149270 146 303 0 149529 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 599336 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1667 /proc/meminfo: memFree=1048968/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=615496 CPUtime=1241.87 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 153850 0 0 0 123717 470 0 0 25 0 1 0 25235549 630267904 153308 1992294400 134512640 135752675 4293426992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 153874 153308 146 303 0 153569 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 615496 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1669 /proc/meminfo: memFree=1034708/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=629536 CPUtime=1301.85 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 157353 0 0 0 129696 489 0 0 25 0 1 0 25235549 644644864 156811 1992294400 134512640 135752675 4293426992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 157384 156811 146 303 0 157079 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 629536 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1671 /proc/meminfo: memFree=1020200/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=644460 CPUtime=1361.83 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 161052 0 0 0 135674 509 0 0 25 0 1 0 25235549 659927040 160510 1992294400 134512640 135752675 4293426992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 161115 160510 146 303 0 160810 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 644460 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1673 /proc/meminfo: memFree=1002840/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=661436 CPUtime=1421.82 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 165286 0 0 0 141648 534 0 0 25 0 1 0 25235549 677310464 164744 1992294400 134512640 135752675 4293426992 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 165359 164744 146 303 0 165054 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 661436 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1673 /proc/meminfo: memFree=986720/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=677832 CPUtime=1481.79 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 169383 0 0 0 147623 556 0 0 25 0 1 0 25235549 694099968 168841 1992294400 134512640 135752675 4293426992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 169458 168841 146 303 0 169153 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 677832 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1676 /proc/meminfo: memFree=972212/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=691956 CPUtime=1541.77 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 172912 0 0 0 153600 577 0 0 25 0 1 0 25235549 708562944 172370 1992294400 134512640 135752675 4293426992 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 172989 172370 146 303 0 172684 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 691956 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1678 /proc/meminfo: memFree=956712/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=707604 CPUtime=1601.74 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 176795 0 0 0 159578 596 0 0 25 0 1 0 25235549 724586496 176253 1992294400 134512640 135752675 4293426992 18446744073709551615 134518720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 176901 176253 146 303 0 176596 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 707604 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1680 /proc/meminfo: memFree=942948/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=721240 CPUtime=1661.72 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 180188 0 0 0 165558 614 0 0 25 0 1 0 25235549 738549760 179646 1992294400 134512640 135752675 4293426992 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 180310 179646 146 303 0 180005 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 721240 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1682 /proc/meminfo: memFree=922364/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=741656 CPUtime=1721.71 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 185325 0 0 0 171540 631 0 0 25 0 1 0 25235549 759455744 184721 1992294400 134512640 135752675 4293426992 18446744073709551615 134605481 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 185414 184721 146 303 0 185109 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 741656 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1682 /proc/meminfo: memFree=921744/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=741656 CPUtime=1781.69 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 185512 0 0 0 177522 647 0 0 25 0 1 0 25235549 759455744 184908 1992294400 134512640 135752675 4293426992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 185414 184908 146 303 0 185109 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 741656 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1684 /proc/meminfo: memFree=920008/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=743372 CPUtime=1800.09 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 185943 0 0 0 179358 651 0 0 25 0 1 0 25235549 761212928 185339 1992294400 134512640 135752675 4293426992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 185843 185339 146 303 0 185538 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 743372 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1684 /proc/meminfo: memFree=920008/2059040 swapFree=4164940/4192956 [pid=1631] ppid=1629 vsize=743372 CPUtime=1800.09 /proc/1631/stat : 1631 (wbo1.4b) R 1629 1631 1013 0 -1 4202496 185943 0 0 0 179358 651 0 0 25 0 1 0 25235549 761212928 185339 1992294400 134512640 135752675 4293426992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1631/statm: 185843 185339 146 303 0 185538 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 743372 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.79 CPU time (s): 1800.17 CPU user time (s): 1793.59 CPU system time (s): 6.585 CPU usage (%): 99.9659 Max. virtual memory (cumulated for all children) (KiB): 743372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.59 system time used= 6.585 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 185944 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= 37 involuntary context switches= 3619 runsolver used 2.96155 second user time and 8.5487 second system time The end
Begin job on node045 at 2010-07-08 08:24:43 IDJOB=2702569 IDBENCH=48219 IDSOLVER=1190 FILE ID=node045/2702569-1278570283 PBS_JOBID= 11239558 Free space on /tmp= 62532 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_2.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-2702569-1278570283/watcher-2702569-1278570283 -o /tmp/evaluation-result-2702569-1278570283/solver-2702569-1278570283 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702569-1278570283.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e40e55fe30ea19a1cae02f7f820bc9fe RANDOM SEED=554949636 node045.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.265 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 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.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1665536 kB Buffers: 84272 kB Cached: 198996 kB SwapCached: 1476 kB Active: 150760 kB Inactive: 166016 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1665536 kB SwapTotal: 4192956 kB SwapFree: 4164940 kB Dirty: 2864 kB Writeback: 0 kB AnonPages: 32008 kB Mapped: 13516 kB Slab: 54932 kB PageTables: 4168 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180548 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-2702569-1278570283.opb Free space on /tmp at the end= 62528 MiB End job on node045 at 2010-07-08 08:54:46