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_3.opb |
MD5SUM | 04b0fb885ddf05bea62d9eda618b3e5b |
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 | -66 |
Best CPU time to get the best result obtained on this benchmark | 1800.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -79 |
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 | 49 |
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) | 15722 |
Sum of products size (including duplicates) | 31444 |
Number of different products | 7861 |
Sum of products size | 15722 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702561-1278570190.opb. 0.00/0.00 c Instance file HOME/instance-2702561-1278570190.opb 0.00/0.00 c File size is 665373 bytes. 0.09/0.11 c Highest Coefficient sum: 49 0.09/0.11 c ============================[ Problem Statistics ]============================= 0.09/0.11 c | | 0.09/0.11 c | Parsing time: 0.10 s | 0.09/0.11 c | Number Variables: 8361 | 0.09/0.11 c | Number Clauses: 7861 | 0.09/0.11 c | Number Cardinality: 1000 | 0.09/0.11 c | Number PB Constraints: 7861 | 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 16722 38655 | 5574 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.132979 s Remaining CPU time: 179.867 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 500 16723 39155 | 5574 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: -1 0.09/0.15 o -1 0.09/0.15 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 500 16724 39655 | 5574 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.139978 s Remaining CPU time: 179.86 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 500 16725 40155 | 5575 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.142978 s Remaining CPU time: 179.857 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 500 16726 40655 | 5575 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.146977 s Remaining CPU time: 179.853 s 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 500 16727 41155 | 5575 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.151976 s Remaining CPU time: 179.848 s 0.09/0.16 c =============================================================================== 0.09/0.16 c | 5 | 500 16728 41655 | 5576 5 497 | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c New solution: -6 0.09/0.17 o -6 0.09/0.17 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s 0.09/0.17 c =============================================================================== 0.09/0.17 c | 10 | 500 16729 42155 | 5576 10 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.159975 s Remaining CPU time: 179.84 s 0.09/0.17 c =============================================================================== 0.09/0.17 c | 16 | 500 16730 42655 | 5576 16 496 | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c New solution: -8 0.09/0.18 o -8 0.09/0.18 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 22 | 500 16731 43155 | 5577 22 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.168974 s Remaining CPU time: 179.831 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 25 | 500 16732 43655 | 5577 25 495 | 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.172973 s Remaining CPU time: 179.827 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 31 | 500 16733 44155 | 5577 31 494 | 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.178972 s Remaining CPU time: 179.821 s 0.09/0.19 c =============================================================================== 0.09/0.19 c | 54 | 500 16734 44655 | 5578 54 493 | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: -12 0.19/0.20 o -12 0.19/0.20 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 61 | 500 16735 45155 | 5578 61 492 | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: -13 0.19/0.21 o -13 0.19/0.21 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 112 | 500 16736 45655 | 5578 112 492 | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: -14 0.19/0.21 o -14 0.19/0.21 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 123 | 500 16737 46155 | 5579 123 491 | 0.000 % | 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.210967 s Remaining CPU time: 179.789 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 168 | 500 16738 46655 | 5579 168 491 | 0.000 % | 0.19/0.24 c | 270 | 500 16738 46655 | 6137 270 490 | 94.020 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c New solution: -16 0.19/0.26 o -16 0.19/0.26 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s 0.19/0.26 c =============================================================================== 0.19/0.26 c | 353 | 500 16739 47155 | 5579 353 489 | 94.020 % | 0.19/0.28 c | 453 | 500 16739 47155 | 6137 453 488 | 94.020 % | 0.29/0.31 c | 603 | 500 16739 47155 | 6751 603 488 | 94.020 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c New solution: -17 0.29/0.33 o -17 0.29/0.33 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s 0.29/0.33 c =============================================================================== 0.29/0.33 c | 681 | 500 16740 47655 | 5580 681 488 | 94.020 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c New solution: -18 0.29/0.34 o -18 0.29/0.34 c Elapsed CPU time: 0.321951 s Remaining CPU time: 179.678 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 706 | 500 16741 48155 | 5580 706 488 | 94.020 % | 0.29/0.36 c | 807 | 500 16741 48155 | 6138 807 487 | 94.020 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c New solution: -19 0.29/0.38 o -19 0.29/0.38 c Elapsed CPU time: 0.356945 s Remaining CPU time: 179.643 s 0.29/0.38 c =============================================================================== 0.29/0.38 c | 870 | 500 16742 48655 | 5580 870 487 | 94.020 % | 0.39/0.41 c | 970 | 500 16742 48655 | 6138 970 487 | 94.020 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c New solution: -20 0.39/0.42 o -20 0.39/0.42 c Elapsed CPU time: 0.399939 s Remaining CPU time: 179.6 s 0.39/0.42 c =============================================================================== 0.39/0.42 c | 1010 | 500 16743 49155 | 5581 1010 487 | 94.020 % | 0.39/0.45 c | 1110 | 500 16743 49155 | 6139 1110 487 | 94.020 % | 0.39/0.49 c | 1260 | 500 16743 49155 | 6753 1260 486 | 94.020 % | 0.49/0.55 c | 1486 | 500 16743 49155 | 7428 1486 487 | 94.020 % | 0.59/0.65 c | 1824 | 500 16743 49155 | 8171 1824 486 | 94.020 % | 0.79/0.82 c | 2331 | 500 16743 49155 | 8988 2331 486 | 94.020 % | 0.99/1.04 c | 3092 | 500 16743 49155 | 9887 3092 486 | 94.020 % | 1.29/1.39 c | 4232 | 500 16743 49155 | 10875 4232 485 | 94.020 % | 1.59/1.63 c =============================================================================== 1.59/1.63 c New solution: -21 1.59/1.63 o -21 1.59/1.63 c Elapsed CPU time: 1.58776 s Remaining CPU time: 178.412 s 1.59/1.63 c =============================================================================== 1.59/1.63 c | 4884 | 500 16744 49655 | 5581 4884 485 | 94.020 % | 1.59/1.67 c | 4985 | 500 16744 49655 | 6139 4985 485 | 94.020 % | 1.69/1.73 c | 5136 | 500 16744 49655 | 6753 5136 484 | 94.020 % | 1.79/1.81 c | 5361 | 500 16744 49655 | 7428 5361 484 | 94.020 % | 1.99/2.01 c | 5698 | 500 16744 49655 | 8171 5698 484 | 94.020 % | 2.20/2.28 c | 6204 | 500 16744 49655 | 8988 6204 484 | 94.020 % | 2.69/2.75 c | 6963 | 500 16744 49655 | 9887 6963 484 | 94.020 % | 3.39/3.46 c | 8102 | 500 16744 49655 | 10876 8102 483 | 94.020 % | 4.49/4.52 c | 9811 | 500 16744 49655 | 11964 9811 483 | 94.020 % | 4.68/4.72 c =============================================================================== 4.68/4.72 c New solution: -22 4.68/4.72 o -22 4.68/4.72 c Elapsed CPU time: 4.63929 s Remaining CPU time: 175.361 s 4.68/4.72 c =============================================================================== 4.68/4.72 c | 10418 | 500 16745 50155 | 5581 10418 483 | 94.020 % | 4.68/4.77 c | 10518 | 500 16745 50155 | 6139 10518 483 | 94.020 % | 4.89/4.93 c | 10668 | 500 16745 50155 | 6753 10668 483 | 94.020 % | 5.09/5.13 c | 10893 | 500 16745 50155 | 7429 10893 483 | 94.020 % | 5.29/5.38 c | 11231 | 500 16745 50155 | 8172 11231 483 | 94.020 % | 5.69/5.74 c | 11740 | 500 16745 50155 | 8989 11740 483 | 94.020 % | 6.09/6.12 c | 12501 | 500 16745 50155 | 9888 12501 483 | 94.020 % | 6.29/6.34 c =============================================================================== 6.29/6.34 c New solution: -23 6.29/6.34 o -23 6.29/6.34 c Elapsed CPU time: 6.24405 s Remaining CPU time: 173.756 s 6.29/6.34 c =============================================================================== 6.29/6.34 c | 12885 | 500 16746 50655 | 5582 12885 483 | 94.020 % | 6.39/6.45 c | 12986 | 500 16746 50655 | 6140 12986 483 | 94.020 % | 6.60/6.60 c | 13138 | 500 16746 50655 | 6754 13138 482 | 94.020 % | 6.78/6.81 c | 13363 | 500 16746 50655 | 7429 13363 483 | 94.020 % | 7.09/7.17 c | 13702 | 500 16746 50655 | 8172 13702 483 | 94.020 % | 7.49/7.55 c | 14208 | 500 16746 50655 | 8989 14208 483 | 94.020 % | 8.28/8.34 c | 14968 | 500 16746 50655 | 9888 14968 483 | 94.020 % | 8.89/8.93 c | 16108 | 500 16746 50655 | 10877 16108 483 | 94.020 % | 10.49/10.51 c | 17818 | 500 16746 50655 | 11965 17818 482 | 94.020 % | 11.69/11.73 c =============================================================================== 11.69/11.73 c New solution: -24 11.69/11.73 o -24 11.69/11.73 c Elapsed CPU time: 11.5862 s Remaining CPU time: 168.414 s 11.69/11.73 c =============================================================================== 11.69/11.73 c | 18975 | 500 16747 51155 | 5582 18975 482 | 94.020 % | 11.79/11.89 c | 19075 | 500 16747 51155 | 6140 9588 481 | 94.020 % | 11.89/11.95 c | 19225 | 500 16747 51155 | 6754 9738 481 | 94.020 % | 11.99/12.02 c | 19450 | 500 16747 51155 | 7430 9963 481 | 94.020 % | 12.18/12.20 c | 19787 | 500 16747 51155 | 8173 10300 481 | 94.020 % | 12.39/12.47 c | 20294 | 500 16747 51155 | 8990 10807 481 | 94.020 % | 12.69/12.72 c =============================================================================== 12.69/12.72 c New solution: -25 12.69/12.72 o -25 12.69/12.72 c Elapsed CPU time: 12.5671 s Remaining CPU time: 167.433 s 12.69/12.72 c =============================================================================== 12.69/12.72 c | 20791 | 500 16748 51655 | 5582 11304 481 | 94.020 % | 12.69/12.76 c | 20891 | 500 16748 51655 | 6140 11404 481 | 94.020 % | 12.79/12.86 c | 21041 | 500 16748 51655 | 6755 11554 481 | 94.020 % | 12.98/13.03 c | 21267 | 500 16748 51655 | 7430 11780 481 | 94.020 % | 13.20/13.28 c | 21605 | 500 16748 51655 | 8173 12118 481 | 94.020 % | 13.68/13.76 c | 22112 | 500 16748 51655 | 8990 12625 481 | 94.020 % | 13.78/13.87 c =============================================================================== 13.78/13.87 c New solution: -26 13.78/13.87 o -26 13.78/13.87 c Elapsed CPU time: 13.7069 s Remaining CPU time: 166.293 s 13.78/13.87 c =============================================================================== 13.78/13.87 c | 22237 | 500 16749 52155 | 5583 12750 481 | 94.020 % | 13.88/13.96 c | 22338 | 500 16749 52155 | 6141 12851 481 | 94.020 % | 13.99/14.07 c | 22489 | 500 16749 52155 | 6755 13002 481 | 94.020 % | 14.19/14.21 c | 22715 | 500 16749 52155 | 7430 13228 481 | 94.020 % | 14.59/14.69 c | 23054 | 500 16749 52155 | 8174 13567 481 | 94.020 % | 15.08/15.17 c | 23561 | 500 16749 52155 | 8991 14074 481 | 94.020 % | 15.79/15.83 c | 24321 | 500 16749 52155 | 9890 14834 481 | 94.020 % | 17.28/17.30 c | 25460 | 500 16749 52155 | 10879 15973 480 | 94.020 % | 18.98/19.04 c | 27169 | 500 16749 52155 | 11967 17682 480 | 94.020 % | 21.29/21.39 c | 29734 | 500 16749 52155 | 13164 20247 480 | 94.020 % | 23.68/23.76 c | 33579 | 500 16749 52155 | 14480 13234 478 | 94.020 % | 23.88/23.99 c =============================================================================== 23.88/23.99 c New solution: -27 23.88/23.99 o -27 23.88/23.99 c Elapsed CPU time: 23.7434 s Remaining CPU time: 156.257 s 23.88/23.99 c =============================================================================== 23.88/23.99 c | 34230 | 500 16750 52655 | 5583 13885 478 | 94.020 % | 24.19/24.22 c | 34332 | 500 16750 52655 | 6141 7045 477 | 94.020 % | 24.28/24.34 c | 34483 | 500 16750 52655 | 6755 7196 477 | 94.020 % | 24.28/24.39 c =============================================================================== 24.28/24.39 c New solution: -28 24.28/24.39 o -28 24.28/24.39 c Elapsed CPU time: 24.1413 s Remaining CPU time: 155.859 s 24.28/24.39 c =============================================================================== 24.28/24.39 c | 34577 | 500 16751 53155 | 5583 7290 477 | 94.020 % | 24.38/24.44 c | 34679 | 500 16751 53155 | 6142 7392 477 | 94.020 % | 24.38/24.49 c | 34829 | 500 16751 53155 | 6756 7542 477 | 94.020 % | 24.49/24.58 c | 35056 | 500 16751 53155 | 7431 7769 477 | 94.020 % | 24.78/24.80 c | 35393 | 500 16751 53155 | 8175 8106 477 | 94.020 % | 24.98/25.00 c | 35900 | 500 16751 53155 | 8992 8613 476 | 94.020 % | 25.19/25.27 c =============================================================================== 25.19/25.27 c New solution: -29 25.19/25.27 o -29 25.19/25.27 c Elapsed CPU time: 25.0082 s Remaining CPU time: 154.992 s 25.19/25.27 c =============================================================================== 25.19/25.27 c | 36449 | 500 16752 53655 | 5584 9162 476 | 94.020 % | 25.29/25.34 c | 36550 | 500 16752 53655 | 6142 9263 476 | 94.020 % | 25.39/25.48 c | 36703 | 500 16752 53655 | 6756 9416 476 | 94.020 % | 25.59/25.65 c | 36928 | 500 16752 53655 | 7432 9641 476 | 94.020 % | 25.78/25.84 c | 37265 | 500 16752 53655 | 8175 9978 476 | 94.020 % | 25.98/26.02 c =============================================================================== 25.98/26.02 c New solution: -30 25.98/26.02 o -30 25.98/26.02 c Elapsed CPU time: 25.7461 s Remaining CPU time: 154.254 s 25.98/26.02 c =============================================================================== 25.98/26.02 c | 37613 | 500 16753 54155 | 5584 10326 476 | 94.020 % | 26.08/26.11 c | 37716 | 500 16753 54155 | 6142 10429 476 | 94.020 % | 26.08/26.16 c | 37867 | 500 16753 54155 | 6757 10580 476 | 94.020 % | 26.18/26.26 c | 38093 | 500 16753 54155 | 7432 10806 476 | 94.020 % | 26.39/26.43 c | 38430 | 500 16753 54155 | 8176 11143 476 | 94.020 % | 26.68/26.71 c | 38936 | 500 16753 54155 | 8993 11649 476 | 94.020 % | 27.09/27.17 c | 39696 | 500 16753 54155 | 9892 12409 476 | 94.020 % | 27.98/28.08 c | 40835 | 500 16753 54155 | 10882 13548 476 | 94.020 % | 29.48/29.57 c | 42543 | 500 16753 54155 | 11970 15256 475 | 94.020 % | 31.48/31.55 c | 45105 | 500 16753 54155 | 13167 17818 475 | 94.020 % | 34.38/34.48 c | 48950 | 500 16753 54155 | 14484 10823 473 | 94.020 % | 37.48/37.54 c | 54718 | 500 16753 54155 | 15932 16591 473 | 94.020 % | 42.48/42.50 c | 63369 | 500 16753 54155 | 17526 11725 471 | 94.020 % | 42.89/42.98 c =============================================================================== 42.89/42.98 c New solution: -31 42.89/42.98 o -31 42.89/42.98 c Elapsed CPU time: 42.5725 s Remaining CPU time: 137.427 s 42.89/42.98 c =============================================================================== 42.89/42.98 c | 64484 | 500 16754 54655 | 5584 12840 471 | 94.020 % | 42.98/43.09 c | 64584 | 500 16754 54655 | 6143 12940 471 | 94.020 % | 43.18/43.23 c | 64735 | 500 16754 54655 | 6757 13091 471 | 94.020 % | 43.38/43.40 c | 64961 | 500 16754 54655 | 7433 13317 471 | 94.020 % | 43.57/43.60 c | 65299 | 500 16754 54655 | 8176 13655 471 | 94.020 % | 43.88/43.95 c | 65805 | 500 16754 54655 | 8994 14161 471 | 94.020 % | 44.88/44.99 c | 66564 | 500 16754 54655 | 9893 14920 471 | 94.020 % | 45.77/45.89 c | 67704 | 500 16754 54655 | 10882 16060 471 | 94.020 % | 47.57/47.69 c | 69413 | 500 16754 54655 | 11971 17769 471 | 94.020 % | 50.87/50.92 c | 71975 | 500 16754 54655 | 13168 10179 471 | 94.020 % | 53.58/53.66 c | 75820 | 500 16754 54655 | 14485 14024 471 | 94.020 % | 59.87/59.94 c | 81586 | 500 16754 54655 | 15933 19790 471 | 94.020 % | 70.86/70.90 c | 90239 | 500 16754 54655 | 17527 14949 471 | 94.020 % | 84.16/84.27 c | 103214 | 500 16754 54655 | 19279 12882 471 | 94.020 % | 110.55/110.66 c | 122675 | 500 16754 54655 | 21207 15606 472 | 94.020 % | 140.54/140.68 c | 151867 | 500 16754 54655 | 23328 26216 471 | 94.020 % | 173.33/173.45 c =============================================================================== 173.33/173.45 c New solution: -32 173.33/173.45 o -32 173.33/173.45 c Elapsed CPU time: 172.304 s Remaining CPU time: 7.69619 s 173.33/173.45 c =============================================================================== 173.33/173.45 c | 189046 | 500 16755 55155 | 5585 22092 470 | 94.020 % | 173.64/173.75 c | 189147 | 500 16755 55155 | 6143 10741 471 | 94.020 % | 173.93/174.00 c | 189297 | 500 16755 55155 | 6757 10891 471 | 94.020 % | 174.13/174.20 c | 189523 | 500 16755 55155 | 7433 11117 471 | 94.020 % | 174.33/174.49 c | 189861 | 500 16755 55155 | 8176 11455 471 | 94.020 % | 175.23/175.30 c | 190367 | 500 16755 55155 | 8994 11961 471 | 94.020 % | 175.84/175.99 c | 191128 | 500 16755 55155 | 9894 12722 471 | 94.020 % | 176.43/176.57 c | 192267 | 500 16755 55155 | 10883 13861 471 | 94.020 % | 177.42/177.50 c | 193975 | 500 16755 55155 | 11971 15569 471 | 94.020 % | 179.53/179.69 c | 196537 | 500 16755 55155 | 13169 18131 471 | 94.020 % | 181.12/181.21 c There are 7861 assigned variables. 0 in cost function. 182.53/182.62 c core #1 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -499 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #2 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -498 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #3 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -497 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #4 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -496 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #5 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -495 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #6 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -494 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #7 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -493 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #8 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -492 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #9 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -491 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #10 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -490 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #11 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -489 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #12 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -488 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #13 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -487 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #14 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -486 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #15 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -485 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #16 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -484 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #17 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -483 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #18 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -482 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #19 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -481 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #20 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -480 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #21 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -479 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #22 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -478 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #23 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -477 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #24 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -476 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #25 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -475 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #26 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -474 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #27 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -473 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #28 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -472 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #29 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -471 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #30 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -470 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #31 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -469 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #32 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -468 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #33 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -467 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #34 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -466 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #35 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -465 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #36 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -464 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #37 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -463 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #38 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -462 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #39 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -461 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #40 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -460 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #41 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -459 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #42 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -458 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #43 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -457 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #44 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -456 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #45 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -455 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #46 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -454 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #47 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -453 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #48 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -452 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #49 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -451 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #50 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -450 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #51 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -449 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #52 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -448 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #53 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -447 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #54 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -446 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #55 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -445 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #56 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -444 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #57 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -443 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #58 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -442 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c core #59 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 3 Core Weight: 1 Total Weight: -441 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #60 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -440 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #61 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -439 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #62 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -438 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #63 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -437 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #64 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -436 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #65 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -435 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #66 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -434 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #67 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -433 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #68 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -432 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #69 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -431 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #70 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -430 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #71 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -429 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #72 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -428 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #73 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -427 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #74 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -426 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #75 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -425 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #76 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -424 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #77 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -423 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #78 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -422 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #79 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -421 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #80 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -420 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #81 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -419 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #82 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -418 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #83 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -417 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #84 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -416 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #85 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -415 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #86 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -414 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #87 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -413 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #88 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -412 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #89 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -411 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #90 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -410 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #91 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -409 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #92 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -408 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #93 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -407 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #94 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -406 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #95 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -405 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #96 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -404 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #97 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -403 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #98 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -402 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #99 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -401 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #100 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -400 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #101 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -399 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #102 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -398 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #103 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -397 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #104 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -396 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #105 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -395 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #106 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -394 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #107 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -393 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #108 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -392 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #109 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -391 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #110 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -390 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #111 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -389 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #112 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -388 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #113 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -387 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #114 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -386 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #115 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -385 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #116 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -384 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c core #117 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 3 Core Weight: 1 Total Weight: -383 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #118 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -382 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #119 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -381 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #120 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -380 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #121 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -379 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #122 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -378 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #123 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -377 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #124 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -376 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #125 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -375 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #126 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -374 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #127 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -373 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #128 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -372 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #129 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -371 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #130 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -370 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #131 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -369 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #132 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -368 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #133 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -367 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #134 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -366 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #135 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -365 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #136 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -364 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #137 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -363 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #138 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -362 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #139 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -361 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #140 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -360 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #141 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -359 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #142 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -358 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #143 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -357 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #144 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -356 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #145 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -355 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #146 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -354 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #147 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -353 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #148 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -352 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #149 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -351 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #150 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -350 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #151 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -349 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #152 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -348 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #153 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -347 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #154 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -346 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #155 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -345 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #156 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -344 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #157 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -343 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #158 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -342 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #159 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -341 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #160 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -340 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #161 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -339 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #162 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -338 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #163 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -337 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #164 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -336 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #165 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -335 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #166 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -334 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #167 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -333 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #168 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -332 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #169 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -331 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #170 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -330 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #171 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -329 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #172 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -328 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #173 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -327 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #174 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -326 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c core #175 185.23/185.30 c 185.23/185.30 c 185.23/185.30 c Core size: 3 Core Weight: 1 Total Weight: -325 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #176 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -324 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #177 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -323 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #178 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -322 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #179 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -321 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #180 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -320 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #181 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -319 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #182 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -318 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #183 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -317 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #184 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -316 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #185 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -315 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #186 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -314 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #187 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -313 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #188 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -312 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #189 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -311 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #190 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -310 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #191 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -309 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #192 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -308 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #193 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -307 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #194 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -306 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #195 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -305 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #196 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -304 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #197 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -303 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #198 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -302 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #199 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -301 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #200 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -300 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #201 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -299 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #202 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -298 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #203 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -297 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #204 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -296 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #205 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -295 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #206 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -294 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #207 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -293 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #208 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -292 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #209 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -291 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #210 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -290 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #211 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -289 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #212 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -288 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #213 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -287 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #214 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -286 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #215 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -285 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #216 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -284 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #217 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -283 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #218 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -282 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #219 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -281 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #220 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -280 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #221 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -279 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #222 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -278 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #223 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -277 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #224 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -276 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #225 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -275 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #226 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -274 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #227 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -273 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #228 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -272 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #229 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -271 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #230 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -270 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #231 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -269 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #232 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -268 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c core #233 186.73/186.88 c 186.73/186.88 c 186.73/186.88 c Core size: 3 Core Weight: 1 Total Weight: -267 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c core #234 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c Core size: 3 Core Weight: 1 Total Weight: -266 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c core #235 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c Core size: 3 Core Weight: 1 Total Weight: -265 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c core #236 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c Core size: 3 Core Weight: 1 Total Weight: -264 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c core #237 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c Core size: 3 Core Weight: 1 Total Weight: -263 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c core #238 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c Core size: 3 Core Weight: 1 Total Weight: -262 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c core #239 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c Core size: 3 Core Weight: 1 Total Weight: -261 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c core #240 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c Core size: 3 Core Weight: 1 Total Weight: -260 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c core #241 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c Core size: 3 Core Weight: 1 Total Weight: -259 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c core #242 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c Core size: 3 Core Weight: 1 Total Weight: -258 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c core #243 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c Core size: 7 Core Weight: 1 Total Weight: -257 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c core #244 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c Core size: 7 Core Weight: 1 Total Weight: -256 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c core #245 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c Core size: 7 Core Weight: 1 Total Weight: -255 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c core #246 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c Core size: 6 Core Weight: 1 Total Weight: -254 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c core #247 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c Core size: 11 Core Weight: 1 Total Weight: -253 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c core #248 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c Core size: 7 Core Weight: 1 Total Weight: -252 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c core #249 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c Core size: 15 Core Weight: 1 Total Weight: -251 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c core #250 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c Core size: 7 Core Weight: 1 Total Weight: -250 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c core #251 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c Core size: 14 Core Weight: 1 Total Weight: -249 187.43/187.50 c 187.43/187.50 c 187.43/187.50 c ============================[ Search Statistics ]============================== 187.43/187.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.43/187.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.43/187.50 c =============================================================================== 187.43/187.50 c | 0 | 1028 16506 33778 | 5502 0 nan | 0.000 % | 187.43/187.51 c =============================================================================== 187.43/187.54 c core #252 187.43/187.54 c 187.43/187.54 c 187.43/187.54 c Core size: 10 Core Weight: 1 Total Weight: -248 187.43/187.54 c 187.43/187.54 c 187.43/187.54 c ============================[ Search Statistics ]============================== 187.43/187.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.43/187.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.43/187.54 c =============================================================================== 187.43/187.54 c | 0 | 1034 16507 33790 | 5502 0 nan | 0.000 % | 187.43/187.55 c =============================================================================== 187.43/187.58 c core #253 187.43/187.58 c 187.43/187.58 c 187.43/187.58 c Core size: 14 Core Weight: 1 Total Weight: -247 187.43/187.58 c 187.43/187.58 c 187.43/187.58 c ============================[ Search Statistics ]============================== 187.43/187.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.43/187.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.43/187.58 c =============================================================================== 187.43/187.58 c | 0 | 1042 16508 33806 | 5502 0 nan | 0.000 % | 187.43/187.59 c =============================================================================== 187.53/187.62 c core #254 187.53/187.62 c 187.53/187.62 c 187.53/187.62 c Core size: 10 Core Weight: 1 Total Weight: -246 187.53/187.62 c 187.53/187.62 c 187.53/187.62 c ============================[ Search Statistics ]============================== 187.53/187.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.53/187.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.53/187.62 c =============================================================================== 187.53/187.62 c | 0 | 1048 16509 33818 | 5503 0 nan | 0.000 % | 187.53/187.63 c =============================================================================== 187.53/187.67 c core #255 187.53/187.67 c 187.53/187.67 c 187.53/187.67 c Core size: 12 Core Weight: 1 Total Weight: -245 187.53/187.67 c 187.53/187.67 c 187.53/187.67 c ============================[ Search Statistics ]============================== 187.53/187.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.53/187.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.53/187.67 c =============================================================================== 187.53/187.67 c | 0 | 1056 16510 33834 | 5503 0 nan | 0.000 % | 187.53/187.67 c =============================================================================== 187.62/187.71 c core #256 187.62/187.71 c 187.62/187.71 c 187.62/187.71 c Core size: 10 Core Weight: 1 Total Weight: -244 187.62/187.71 c 187.62/187.71 c 187.62/187.71 c ============================[ Search Statistics ]============================== 187.62/187.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.62/187.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.62/187.71 c =============================================================================== 187.62/187.71 c | 0 | 1062 16511 33846 | 5503 0 nan | 0.000 % | 187.62/187.72 c =============================================================================== 187.62/187.75 c core #257 187.62/187.75 c 187.62/187.75 c 187.62/187.75 c Core size: 18 Core Weight: 1 Total Weight: -243 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 | 1076 16512 33874 | 5504 0 nan | 0.000 % | 187.62/187.76 c =============================================================================== 187.72/187.80 c core #258 187.72/187.80 c 187.72/187.80 c 187.72/187.80 c Core size: 10 Core Weight: 1 Total Weight: -242 187.72/187.80 c 187.72/187.80 c 187.72/187.80 c ============================[ Search Statistics ]============================== 187.72/187.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.72/187.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.72/187.80 c =============================================================================== 187.72/187.80 c | 0 | 1082 16513 33886 | 5504 0 nan | 0.000 % | 187.72/187.81 c =============================================================================== 187.72/187.84 c core #259 187.72/187.84 c 187.72/187.84 c 187.72/187.84 c Core size: 16 Core Weight: 1 Total Weight: -241 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 | 1092 16514 33906 | 5504 0 nan | 0.000 % | 187.72/187.85 c =============================================================================== 187.72/187.89 c core #260 187.72/187.89 c 187.72/187.89 c 187.72/187.89 c Core size: 10 Core Weight: 1 Total Weight: -240 187.72/187.89 c 187.72/187.89 c 187.72/187.89 c ============================[ Search Statistics ]============================== 187.72/187.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.72/187.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.72/187.89 c =============================================================================== 187.72/187.89 c | 0 | 1098 16515 33918 | 5505 0 nan | 0.000 % | 187.83/187.90 c =============================================================================== 187.83/187.94 c core #261 187.83/187.94 c 187.83/187.94 c 187.83/187.94 c Core size: 10 Core Weight: 1 Total Weight: -239 187.83/187.94 c 187.83/187.94 c 187.83/187.94 c ============================[ Search Statistics ]============================== 187.83/187.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.83/187.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.83/187.94 c =============================================================================== 187.83/187.94 c | 0 | 1104 16516 33930 | 5505 0 nan | 0.000 % | 187.83/187.95 c =============================================================================== 187.83/187.98 c core #262 187.83/187.98 c 187.83/187.98 c 187.83/187.98 c Core size: 14 Core Weight: 1 Total Weight: -238 187.83/187.98 c 187.83/187.98 c 187.83/187.98 c ============================[ Search Statistics ]============================== 187.83/187.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.83/187.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.83/187.98 c =============================================================================== 187.83/187.98 c | 0 | 1112 16517 33946 | 5505 0 nan | 0.000 % | 187.83/187.99 c =============================================================================== 187.94/188.03 c core #263 187.94/188.03 c 187.94/188.03 c 187.94/188.03 c Core size: 27 Core Weight: 1 Total Weight: -237 187.94/188.03 c 187.94/188.03 c 187.94/188.03 c ============================[ Search Statistics ]============================== 187.94/188.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.94/188.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.94/188.03 c =============================================================================== 187.94/188.03 c | 0 | 1134 16518 33990 | 5506 0 nan | 0.000 % | 187.94/188.03 c =============================================================================== 187.94/188.07 c core #264 187.94/188.07 c 187.94/188.07 c 187.94/188.07 c Core size: 14 Core Weight: 1 Total Weight: -236 187.94/188.07 c 187.94/188.07 c 187.94/188.07 c ============================[ Search Statistics ]============================== 187.94/188.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.94/188.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.94/188.07 c =============================================================================== 187.94/188.07 c | 0 | 1142 16519 34006 | 5506 0 nan | 0.000 % | 187.94/188.08 c =============================================================================== 188.04/188.11 c core #265 188.04/188.11 c 188.04/188.11 c 188.04/188.11 c Core size: 14 Core Weight: 1 Total Weight: -235 188.04/188.11 c 188.04/188.11 c 188.04/188.11 c ============================[ Search Statistics ]============================== 188.04/188.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.04/188.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.04/188.11 c =============================================================================== 188.04/188.11 c | 0 | 1150 16520 34022 | 5506 0 nan | 0.000 % | 188.04/188.12 c =============================================================================== 188.04/188.16 c core #266 188.04/188.16 c 188.04/188.16 c 188.04/188.16 c Core size: 16 Core Weight: 1 Total Weight: -234 188.04/188.16 c 188.04/188.16 c 188.04/188.16 c ============================[ Search Statistics ]============================== 188.04/188.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.04/188.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.04/188.16 c =============================================================================== 188.04/188.16 c | 0 | 1160 16521 34042 | 5507 0 nan | 0.000 % | 188.04/188.16 c =============================================================================== 188.13/188.20 c core #267 188.13/188.20 c 188.13/188.20 c 188.13/188.20 c Core size: 10 Core Weight: 1 Total Weight: -233 188.13/188.20 c 188.13/188.20 c 188.13/188.20 c ============================[ Search Statistics ]============================== 188.13/188.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.13/188.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.13/188.20 c =============================================================================== 188.13/188.20 c | 0 | 1166 16522 34054 | 5507 0 nan | 0.000 % | 188.13/188.21 c =============================================================================== 188.13/188.24 c core #268 188.13/188.24 c 188.13/188.24 c 188.13/188.24 c Core size: 10 Core Weight: 1 Total Weight: -232 188.13/188.24 c 188.13/188.24 c 188.13/188.24 c ============================[ Search Statistics ]============================== 188.13/188.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.13/188.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.13/188.24 c =============================================================================== 188.13/188.24 c | 0 | 1172 16523 34066 | 5507 0 nan | 0.000 % | 188.13/188.25 c =============================================================================== 188.13/188.29 c core #269 188.13/188.29 c 188.13/188.29 c 188.13/188.29 c Core size: 16 Core Weight: 1 Total Weight: -231 188.13/188.29 c 188.13/188.29 c 188.13/188.29 c ============================[ Search Statistics ]============================== 188.13/188.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.13/188.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.13/188.29 c =============================================================================== 188.13/188.29 c | 0 | 1182 16524 34086 | 5508 0 nan | 0.000 % | 188.13/188.29 c =============================================================================== 188.23/188.33 c core #270 188.23/188.33 c 188.23/188.33 c 188.23/188.33 c Core size: 14 Core Weight: 1 Total Weight: -230 188.23/188.33 c 188.23/188.33 c 188.23/188.33 c ============================[ Search Statistics ]============================== 188.23/188.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.23/188.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.23/188.33 c =============================================================================== 188.23/188.33 c | 0 | 1190 16525 34102 | 5508 0 nan | 0.000 % | 188.23/188.34 c =============================================================================== 188.23/188.37 c core #271 188.23/188.37 c 188.23/188.37 c 188.23/188.37 c Core size: 10 Core Weight: 1 Total Weight: -229 188.23/188.37 c 188.23/188.37 c 188.23/188.37 c ============================[ Search Statistics ]============================== 188.23/188.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.23/188.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.23/188.37 c =============================================================================== 188.23/188.37 c | 0 | 1196 16526 34114 | 5508 0 nan | 0.000 % | 188.23/188.38 c =============================================================================== 188.33/188.41 c core #272 188.33/188.41 c 188.33/188.41 c 188.33/188.41 c Core size: 14 Core Weight: 1 Total Weight: -228 188.33/188.41 c 188.33/188.41 c 188.33/188.41 c ============================[ Search Statistics ]============================== 188.33/188.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.33/188.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.33/188.41 c =============================================================================== 188.33/188.41 c | 0 | 1204 16527 34130 | 5509 0 nan | 0.000 % | 188.33/188.42 c =============================================================================== 188.33/188.46 c core #273 188.33/188.46 c 188.33/188.46 c 188.33/188.46 c Core size: 16 Core Weight: 1 Total Weight: -227 188.33/188.46 c 188.33/188.46 c 188.33/188.46 c ============================[ Search Statistics ]============================== 188.33/188.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.33/188.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.33/188.46 c =============================================================================== 188.33/188.46 c | 0 | 1214 16528 34150 | 5509 0 nan | 0.000 % | 188.33/188.46 c =============================================================================== 188.42/188.50 c core #274 188.42/188.50 c 188.42/188.50 c 188.42/188.50 c Core size: 16 Core Weight: 1 Total Weight: -226 188.42/188.50 c 188.42/188.50 c 188.42/188.50 c ============================[ Search Statistics ]============================== 188.42/188.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.42/188.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.42/188.50 c =============================================================================== 188.42/188.50 c | 0 | 1224 16529 34170 | 5509 0 nan | 0.000 % | 188.42/188.51 c =============================================================================== 188.42/188.54 c core #275 188.42/188.54 c 188.42/188.54 c 188.42/188.54 c Core size: 10 Core Weight: 1 Total Weight: -225 188.42/188.54 c 188.42/188.54 c 188.42/188.54 c ============================[ Search Statistics ]============================== 188.42/188.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.42/188.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.42/188.54 c =============================================================================== 188.42/188.54 c | 0 | 1230 16530 34182 | 5510 0 nan | 0.000 % | 188.42/188.55 c =============================================================================== 188.42/188.59 c core #276 188.42/188.59 c 188.42/188.59 c 188.42/188.59 c Core size: 14 Core Weight: 1 Total Weight: -224 188.42/188.59 c 188.42/188.59 c 188.42/188.59 c ============================[ Search Statistics ]============================== 188.42/188.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.42/188.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.42/188.59 c =============================================================================== 188.42/188.59 c | 0 | 1238 16531 34198 | 5510 0 nan | 0.000 % | 188.42/188.59 c =============================================================================== 188.52/188.63 c core #277 188.52/188.63 c 188.52/188.63 c 188.52/188.63 c Core size: 16 Core Weight: 1 Total Weight: -223 188.52/188.63 c 188.52/188.63 c 188.52/188.63 c ============================[ Search Statistics ]============================== 188.52/188.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.52/188.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.52/188.63 c =============================================================================== 188.52/188.63 c | 0 | 1248 16532 34218 | 5510 0 nan | 0.000 % | 188.52/188.64 c =============================================================================== 188.52/188.68 c core #278 188.52/188.68 c 188.52/188.68 c 188.52/188.68 c Core size: 18 Core Weight: 1 Total Weight: -222 188.52/188.68 c 188.52/188.68 c 188.52/188.68 c ============================[ Search Statistics ]============================== 188.52/188.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.52/188.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.52/188.68 c =============================================================================== 188.52/188.68 c | 0 | 1260 16533 34242 | 5511 0 nan | 0.000 % | 188.52/188.69 c =============================================================================== 188.62/188.72 c core #279 188.62/188.72 c 188.62/188.72 c 188.62/188.72 c Core size: 14 Core Weight: 1 Total Weight: -221 188.62/188.72 c 188.62/188.72 c 188.62/188.72 c ============================[ Search Statistics ]============================== 188.62/188.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.62/188.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.62/188.72 c =============================================================================== 188.62/188.72 c | 0 | 1268 16534 34258 | 5511 0 nan | 0.000 % | 188.62/188.73 c =============================================================================== 188.62/188.77 c core #280 188.62/188.77 c 188.62/188.77 c 188.62/188.77 c Core size: 16 Core Weight: 1 Total Weight: -220 188.62/188.77 c 188.62/188.77 c 188.62/188.77 c ============================[ Search Statistics ]============================== 188.62/188.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.62/188.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.62/188.77 c =============================================================================== 188.62/188.77 c | 0 | 1278 16535 34278 | 5511 0 nan | 0.000 % | 188.62/188.78 c =============================================================================== 188.72/188.82 c core #281 188.72/188.82 c 188.72/188.82 c 188.72/188.82 c Core size: 12 Core Weight: 1 Total Weight: -219 188.72/188.82 c 188.72/188.82 c 188.72/188.82 c ============================[ Search Statistics ]============================== 188.72/188.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.72/188.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.72/188.82 c =============================================================================== 188.72/188.82 c | 0 | 1286 16536 34294 | 5512 0 nan | 0.000 % | 188.72/188.82 c =============================================================================== 188.72/188.86 c core #282 188.72/188.86 c 188.72/188.86 c 188.72/188.86 c Core size: 16 Core Weight: 1 Total Weight: -218 188.72/188.86 c 188.72/188.86 c 188.72/188.86 c ============================[ Search Statistics ]============================== 188.72/188.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.72/188.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.72/188.86 c =============================================================================== 188.72/188.86 c | 0 | 1296 16537 34314 | 5512 0 nan | 0.000 % | 188.72/188.87 c =============================================================================== 188.82/188.91 c core #283 188.82/188.91 c 188.82/188.91 c 188.82/188.91 c Core size: 14 Core Weight: 1 Total Weight: -217 188.82/188.91 c 188.82/188.91 c 188.82/188.91 c ============================[ Search Statistics ]============================== 188.82/188.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.82/188.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.82/188.91 c =============================================================================== 188.82/188.91 c | 0 | 1304 16538 34330 | 5512 0 nan | 0.000 % | 188.82/188.91 c =============================================================================== 188.82/188.95 c core #284 188.82/188.95 c 188.82/188.95 c 188.82/188.95 c Core size: 14 Core Weight: 1 Total Weight: -216 188.82/188.95 c 188.82/188.95 c 188.82/188.95 c ============================[ Search Statistics ]============================== 188.82/188.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.82/188.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.82/188.95 c =============================================================================== 188.82/188.95 c | 0 | 1312 16539 34346 | 5513 0 nan | 0.000 % | 188.82/188.96 c =============================================================================== 188.82/189.00 c core #285 188.82/189.00 c 188.82/189.00 c 188.82/189.00 c Core size: 14 Core Weight: 1 Total Weight: -215 188.82/189.00 c 188.82/189.00 c 188.82/189.00 c ============================[ Search Statistics ]============================== 188.82/189.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.82/189.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.82/189.00 c =============================================================================== 188.82/189.00 c | 0 | 1320 16540 34362 | 5513 0 nan | 0.000 % | 188.92/189.00 c =============================================================================== 188.92/189.04 c core #286 188.92/189.04 c 188.92/189.04 c 188.92/189.04 c Core size: 16 Core Weight: 1 Total Weight: -214 188.92/189.04 c 188.92/189.04 c 188.92/189.04 c ============================[ Search Statistics ]============================== 188.92/189.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.92/189.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.92/189.04 c =============================================================================== 188.92/189.04 c | 0 | 1330 16541 34382 | 5513 0 nan | 0.000 % | 188.92/189.05 c =============================================================================== 188.92/189.09 c core #287 188.92/189.09 c 188.92/189.09 c 188.92/189.09 c Core size: 14 Core Weight: 1 Total Weight: -213 188.92/189.09 c 188.92/189.09 c 188.92/189.09 c ============================[ Search Statistics ]============================== 188.92/189.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.92/189.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.92/189.09 c =============================================================================== 188.92/189.09 c | 0 | 1338 16542 34398 | 5514 0 nan | 0.000 % | 188.92/189.10 c =============================================================================== 189.03/189.13 c core #288 189.03/189.13 c 189.03/189.13 c 189.03/189.13 c Core size: 20 Core Weight: 1 Total Weight: -212 189.03/189.13 c 189.03/189.13 c 189.03/189.13 c ============================[ Search Statistics ]============================== 189.03/189.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.03/189.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.03/189.13 c =============================================================================== 189.03/189.13 c | 0 | 1350 16543 34422 | 5514 0 nan | 0.000 % | 189.03/189.14 c =============================================================================== 189.03/189.18 c core #289 189.03/189.18 c 189.03/189.18 c 189.03/189.18 c Core size: 16 Core Weight: 1 Total Weight: -211 189.03/189.18 c 189.03/189.18 c 189.03/189.18 c ============================[ Search Statistics ]============================== 189.03/189.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.03/189.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.03/189.18 c =============================================================================== 189.03/189.18 c | 0 | 1360 16544 34442 | 5514 0 nan | 0.000 % | 189.03/189.19 c =============================================================================== 189.13/189.22 c core #290 189.13/189.22 c 189.13/189.22 c 189.13/189.22 c Core size: 14 Core Weight: 1 Total Weight: -210 189.13/189.22 c 189.13/189.22 c 189.13/189.22 c ============================[ Search Statistics ]============================== 189.13/189.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.13/189.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.13/189.22 c =============================================================================== 189.13/189.22 c | 0 | 1368 16545 34458 | 5515 0 nan | 0.000 % | 189.13/189.23 c =============================================================================== 189.13/189.27 c core #291 189.13/189.27 c 189.13/189.27 c 189.13/189.27 c Core size: 20 Core Weight: 1 Total Weight: -209 189.13/189.27 c 189.13/189.27 c 189.13/189.27 c ============================[ Search Statistics ]============================== 189.13/189.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.13/189.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.13/189.27 c =============================================================================== 189.13/189.27 c | 0 | 1380 16546 34482 | 5515 0 nan | 0.000 % | 189.13/189.28 c =============================================================================== 189.22/189.32 c core #292 189.22/189.32 c 189.22/189.32 c 189.22/189.32 c Core size: 16 Core Weight: 1 Total Weight: -208 189.22/189.32 c 189.22/189.32 c 189.22/189.32 c ============================[ Search Statistics ]============================== 189.22/189.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.22/189.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.22/189.32 c =============================================================================== 189.22/189.32 c | 0 | 1390 16547 34502 | 5515 0 nan | 0.000 % | 189.22/189.32 c =============================================================================== 189.22/189.36 c core #293 189.22/189.36 c 189.22/189.36 c 189.22/189.36 c Core size: 16 Core Weight: 1 Total Weight: -207 189.22/189.36 c 189.22/189.36 c 189.22/189.36 c ============================[ Search Statistics ]============================== 189.22/189.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.22/189.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.22/189.36 c =============================================================================== 189.22/189.36 c | 0 | 1400 16548 34522 | 5516 0 nan | 0.000 % | 189.22/189.37 c =============================================================================== 189.32/189.41 c core #294 189.32/189.41 c 189.32/189.41 c 189.32/189.41 c Core size: 22 Core Weight: 1 Total Weight: -206 189.32/189.41 c 189.32/189.41 c 189.32/189.41 c ============================[ Search Statistics ]============================== 189.32/189.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.32/189.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.32/189.41 c =============================================================================== 189.32/189.41 c | 0 | 1412 16549 34546 | 5516 0 nan | 0.000 % | 189.32/189.41 c =============================================================================== 189.32/189.45 c core #295 189.32/189.45 c 189.32/189.45 c 189.32/189.45 c Core size: 10 Core Weight: 1 Total Weight: -205 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 | 1418 16550 34558 | 5516 0 nan | 0.000 % | 189.32/189.46 c =============================================================================== 189.42/189.50 c core #296 189.42/189.50 c 189.42/189.50 c 189.42/189.50 c Core size: 23 Core Weight: 1 Total Weight: -204 189.42/189.50 c 189.42/189.50 c 189.42/189.50 c ============================[ Search Statistics ]============================== 189.42/189.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.42/189.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.42/189.50 c =============================================================================== 189.42/189.50 c | 0 | 1433 16551 34588 | 5517 0 nan | 0.000 % | 189.42/189.51 c =============================================================================== 189.42/189.55 c core #297 189.42/189.55 c 189.42/189.55 c 189.42/189.55 c Core size: 16 Core Weight: 1 Total Weight: -203 189.42/189.55 c 189.42/189.55 c 189.42/189.55 c ============================[ Search Statistics ]============================== 189.42/189.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.42/189.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.42/189.55 c =============================================================================== 189.42/189.55 c | 0 | 1443 16552 34608 | 5517 0 nan | 0.000 % | 189.42/189.55 c =============================================================================== 189.42/189.59 c core #298 189.42/189.59 c 189.42/189.59 c 189.42/189.59 c Core size: 12 Core Weight: 1 Total Weight: -202 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 | 1451 16553 34624 | 5517 0 nan | 0.000 % | 189.52/189.60 c =============================================================================== 189.52/189.64 c core #299 189.52/189.64 c 189.52/189.64 c 189.52/189.64 c Core size: 18 Core Weight: 1 Total Weight: -201 189.52/189.64 c 189.52/189.64 c 189.52/189.64 c ============================[ Search Statistics ]============================== 189.52/189.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.52/189.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.52/189.64 c =============================================================================== 189.52/189.64 c | 0 | 1461 16554 34644 | 5518 0 nan | 0.000 % | 189.52/189.65 c =============================================================================== 189.52/189.69 c core #300 189.52/189.69 c 189.52/189.69 c 189.52/189.69 c Core size: 18 Core Weight: 1 Total Weight: -200 189.52/189.69 c 189.52/189.69 c 189.52/189.69 c ============================[ Search Statistics ]============================== 189.52/189.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.52/189.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.52/189.69 c =============================================================================== 189.52/189.69 c | 0 | 1471 16555 34664 | 5518 0 nan | 0.000 % | 189.62/189.71 c =============================================================================== 189.62/189.75 c core #301 189.62/189.75 c 189.62/189.75 c 189.62/189.75 c Core size: 42 Core Weight: 1 Total Weight: -199 189.62/189.75 c 189.62/189.75 c 189.62/189.75 c ============================[ Search Statistics ]============================== 189.62/189.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.62/189.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.62/189.75 c =============================================================================== 189.62/189.75 c | 0 | 1494 16556 34710 | 5518 0 nan | 0.000 % | 189.62/189.77 c =============================================================================== 189.72/189.81 c core #302 189.72/189.81 c 189.72/189.81 c 189.72/189.81 c Core size: 42 Core Weight: 1 Total Weight: -198 189.72/189.81 c 189.72/189.81 c 189.72/189.81 c ============================[ Search Statistics ]============================== 189.72/189.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.72/189.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.72/189.81 c =============================================================================== 189.72/189.81 c | 0 | 1532 16557 34786 | 5519 0 nan | 0.000 % | 189.72/189.90 c | 100 | 1531 16557 34786 | 6070 100 8 | 83.711 % | 189.82/189.90 c =============================================================================== 189.82/189.94 c core #303 189.82/189.94 c 189.82/189.94 c 189.82/189.94 c Core size: 70 Core Weight: 1 Total Weight: -197 189.82/189.94 c 189.82/189.94 c 189.82/189.94 c ============================[ Search Statistics ]============================== 189.82/189.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.82/189.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.82/189.94 c =============================================================================== 189.82/189.94 c | 0 | 1591 16558 34904 | 5519 0 nan | 0.000 % | 189.92/190.01 c | 100 | 1590 16558 34904 | 6071 100 17 | 83.178 % | 190.02/190.13 c | 251 | 1590 16558 34904 | 6678 251 20 | 83.178 % | 190.14/190.23 c | 483 | 1590 16558 34904 | 7346 481 24 | 83.178 % | 190.24/190.37 c | 820 | 1590 16558 34904 | 8080 818 24 | 83.178 % | 190.52/190.63 c | 1326 | 1590 16558 34904 | 8888 1324 23 | 83.178 % | 190.92/191.06 c | 2088 | 1590 16558 34904 | 9777 2086 23 | 83.178 % | 191.03/191.18 c =============================================================================== 191.13/191.25 c core #304 191.13/191.25 c 191.13/191.25 c 191.13/191.25 c Core size: 123 Core Weight: 1 Total Weight: -196 191.13/191.25 c 191.13/191.25 c 191.13/191.25 c ============================[ Search Statistics ]============================== 191.13/191.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.13/191.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.13/191.25 c =============================================================================== 191.13/191.25 c | 0 | 1680 16559 35082 | 5519 0 nan | 0.000 % | 191.24/191.32 c | 101 | 1680 16559 35082 | 6071 101 11 | 82.392 % | 191.24/191.40 c | 252 | 1680 16559 35082 | 6678 252 13 | 82.392 % | 191.43/191.52 c | 478 | 1680 16559 35082 | 7346 478 13 | 82.392 % | 191.53/191.64 c =============================================================================== 191.53/191.68 c core #305 191.53/191.68 c 191.53/191.68 c 191.53/191.68 c Core size: 101 Core Weight: 1 Total Weight: -195 191.53/191.68 c 191.53/191.68 c 191.53/191.68 c ============================[ Search Statistics ]============================== 191.53/191.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.53/191.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.53/191.68 c =============================================================================== 191.53/191.68 c | 0 | 1762 16560 35246 | 5520 0 nan | 0.000 % | 191.63/191.77 c | 100 | 1762 16560 35246 | 6072 100 28 | 81.690 % | 191.73/191.80 c | 251 | 1762 16560 35246 | 6679 251 26 | 81.690 % | 191.73/191.89 c | 476 | 1711 16560 35246 | 7347 442 20 | 82.407 % | 191.83/191.93 c =============================================================================== 191.83/191.97 c core #306 191.83/191.97 c 191.83/191.97 c 191.83/191.97 c Core size: 73 Core Weight: 1 Total Weight: -194 191.83/191.97 c 191.83/191.97 c 191.83/191.97 c ============================[ Search Statistics ]============================== 191.83/191.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.83/191.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.83/191.97 c =============================================================================== 191.83/191.97 c | 0 | 1816 16561 35354 | 5520 0 nan | 0.000 % | 191.93/192.05 c | 100 | 1816 16561 35354 | 6072 100 18 | 81.234 % | 192.02/192.13 c | 251 | 1816 16561 35354 | 6679 251 18 | 81.234 % | 192.12/192.26 c | 476 | 1816 16561 35354 | 7347 476 19 | 81.234 % | 192.33/192.45 c | 814 | 1816 16561 35354 | 8082 814 19 | 81.234 % | 192.62/192.77 c | 1320 | 1816 16561 35354 | 8890 1320 19 | 81.234 % | 192.72/192.89 c =============================================================================== 192.82/192.95 c core #307 192.82/192.95 c 192.82/192.95 c 192.82/192.95 c Core size: 124 Core Weight: 1 Total Weight: -193 192.82/192.95 c 192.82/192.95 c 192.82/192.95 c ============================[ Search Statistics ]============================== 192.82/192.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.82/192.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.82/192.95 c =============================================================================== 192.82/192.95 c | 0 | 1930 16562 35582 | 5520 0 nan | 0.000 % | 192.92/193.01 c | 101 | 1930 16562 35582 | 6072 101 24 | 80.288 % | 192.92/193.06 c | 251 | 1930 16562 35582 | 6680 251 20 | 80.288 % | 193.03/193.14 c | 476 | 1930 16562 35582 | 7348 476 23 | 80.288 % | 193.22/193.32 c | 814 | 1930 16562 35582 | 8082 814 25 | 80.288 % | 193.53/193.61 c | 1323 | 1930 16562 35582 | 8891 1323 31 | 80.288 % | 194.02/194.13 c | 2083 | 1930 16562 35582 | 9780 2083 37 | 80.288 % | 194.63/194.72 c =============================================================================== 194.63/194.77 c core #308 194.63/194.77 c 194.63/194.77 c 194.63/194.77 c Core size: 90 Core Weight: 1 Total Weight: -192 194.63/194.77 c 194.63/194.77 c 194.63/194.77 c ============================[ Search Statistics ]============================== 194.63/194.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.63/194.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.63/194.77 c =============================================================================== 194.63/194.77 c | 0 | 2000 16563 35722 | 5521 0 nan | 0.000 % | 194.72/194.85 c | 101 | 2000 16563 35722 | 6073 101 19 | 79.718 % | 194.82/194.91 c | 253 | 2000 16563 35722 | 6680 253 19 | 79.718 % | 194.92/195.02 c | 482 | 2000 16563 35722 | 7348 482 28 | 79.718 % | 195.02/195.16 c | 820 | 2000 16563 35722 | 8083 820 34 | 79.718 % | 195.32/195.44 c | 1327 | 2000 16563 35722 | 8891 1327 39 | 79.718 % | 195.73/195.88 c | 2087 | 2000 16563 35722 | 9780 2087 47 | 79.718 % | 196.52/196.69 c | 3226 | 2000 16563 35722 | 10758 3226 54 | 79.718 % | 198.02/198.15 c | 4935 | 2000 16563 35722 | 11834 4935 60 | 79.718 % | 200.92/201.05 c | 7497 | 2000 16563 35722 | 13018 7497 68 | 79.718 % | 205.31/205.42 c | 11341 | 2000 16563 35722 | 14320 11341 71 | 79.718 % | 210.41/210.53 c =============================================================================== 210.51/210.62 c core #309 210.51/210.62 c 210.51/210.62 c 210.51/210.62 c Core size: 130 Core Weight: 1 Total Weight: -191 210.51/210.62 c 210.51/210.62 c 210.51/210.62 c ============================[ Search Statistics ]============================== 210.51/210.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.51/210.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.51/210.62 c =============================================================================== 210.51/210.62 c | 0 | 2106 16564 35934 | 5521 0 nan | 0.000 % | 210.61/210.71 c | 102 | 2106 16564 35934 | 6073 102 52 | 78.870 % | 210.61/210.75 c | 252 | 2106 16564 35934 | 6680 252 38 | 78.870 % | 210.72/210.85 c | 478 | 2106 16564 35934 | 7348 478 38 | 78.870 % | 210.82/210.98 c | 815 | 2106 16564 35934 | 8083 815 36 | 78.870 % | 211.12/211.21 c | 1321 | 2106 16564 35934 | 8892 1321 41 | 78.870 % | 211.41/211.52 c | 2080 | 2106 16564 35934 | 9781 2080 42 | 78.870 % | 212.02/212.15 c | 3221 | 2106 16564 35934 | 10759 3221 48 | 78.870 % | 213.11/213.29 c | 4931 | 2106 16564 35934 | 11835 4931 51 | 78.870 % | 215.43/215.53 c | 7493 | 2106 16564 35934 | 13019 7493 56 | 78.870 % | 219.31/219.46 c | 11338 | 2106 16564 35934 | 14320 11338 62 | 78.870 % | 226.01/226.13 c | 17117 | 2106 16564 35934 | 15753 17117 64 | 78.870 % | 239.01/239.10 c | 25769 | 2106 16564 35934 | 17328 13889 60 | 78.870 % | 258.80/258.94 c | 38743 | 2106 16564 35934 | 19061 14196 70 | 78.870 % | 279.20/279.33 c | 58205 | 2106 16564 35934 | 20967 18843 45 | 78.870 % | 294.48/294.63 c =============================================================================== 294.88/295.00 c core #310 294.88/295.00 c 294.88/295.00 c 294.88/295.00 c Core size: 177 Core Weight: 1 Total Weight: -190 294.88/295.00 c 294.88/295.00 c 294.88/295.00 c ============================[ Search Statistics ]============================== 294.88/295.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 294.88/295.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 294.88/295.00 c =============================================================================== 294.88/295.00 c | 0 | 2269 16565 36260 | 5521 0 nan | 0.000 % | 294.98/295.11 c | 101 | 2269 16565 36260 | 6073 101 29 | 77.601 % | 294.98/295.15 c | 251 | 2269 16565 36260 | 6681 251 24 | 77.601 % | 295.09/295.24 c | 477 | 2269 16565 36260 | 7349 477 30 | 77.601 % | 295.29/295.40 c | 817 | 2269 16565 36260 | 8084 817 34 | 77.601 % | 295.58/295.71 c | 1324 | 2269 16565 36260 | 8892 1324 47 | 77.601 % | 295.99/296.15 c | 2083 | 2269 16565 36260 | 9781 2083 53 | 77.601 % | 296.59/296.77 c | 3225 | 2269 16565 36260 | 10760 3225 56 | 77.601 % | 297.59/297.78 c | 4934 | 2269 16565 36260 | 11836 4934 60 | 77.601 % | 299.28/299.48 c | 7496 | 2269 16565 36260 | 13019 7496 62 | 77.601 % | 303.28/303.40 c | 11340 | 2269 16565 36260 | 14321 11340 65 | 77.601 % | 309.29/309.42 c | 17106 | 2269 16565 36260 | 15753 17106 66 | 77.601 % | 319.78/319.97 c | 25755 | 2269 16565 36260 | 17329 13931 51 | 77.601 % | 334.87/335.03 c | 38730 | 2269 16565 36260 | 19062 14217 51 | 77.601 % | 360.17/360.33 c =============================================================================== 361.37/361.53 c core #311 361.37/361.53 c 361.37/361.53 c 361.37/361.53 c Core size: 172 Core Weight: 1 Total Weight: -189 361.37/361.53 c 361.37/361.53 c 361.37/361.53 c ============================[ Search Statistics ]============================== 361.37/361.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 361.37/361.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 361.37/361.53 c =============================================================================== 361.37/361.53 c | 0 | 2426 16566 36574 | 5522 0 nan | 0.000 % | 361.46/361.65 c | 100 | 2426 16566 36574 | 6074 100 68 | 76.417 % | 361.46/361.69 c | 252 | 2426 16566 36574 | 6681 252 44 | 76.417 % | 361.56/361.80 c | 478 | 2426 16566 36574 | 7349 478 39 | 76.417 % | 361.77/361.96 c | 815 | 2426 16566 36574 | 8084 815 45 | 76.417 % | 362.07/362.21 c | 1321 | 2426 16566 36574 | 8893 1321 47 | 76.417 % | 362.37/362.54 c | 2082 | 2426 16566 36574 | 9782 2082 57 | 76.417 % | 362.96/363.11 c | 3223 | 2426 16566 36574 | 10760 3223 63 | 76.417 % | 363.97/364.18 c | 4931 | 2426 16566 36574 | 11836 4931 74 | 76.417 % | 365.87/366.02 c | 7494 | 2426 16566 36574 | 13020 7494 78 | 76.417 % | 369.16/369.36 c | 11339 | 2426 16566 36574 | 14322 11339 83 | 76.417 % | 374.97/375.11 c | 17105 | 2426 16566 36574 | 15754 17105 88 | 76.417 % | 386.55/386.78 c | 25754 | 2426 16566 36574 | 17330 13856 92 | 76.417 % | 403.85/404.05 c | 38731 | 2426 16566 36574 | 19063 14039 99 | 76.417 % | 433.34/433.58 c | 58192 | 2426 16566 36574 | 20969 18672 110 | 76.417 % | 479.82/480.03 c | 87387 | 2426 16566 36574 | 23066 16413 98 | 76.417 % | 554.00/554.27 c | 131177 | 2426 16566 36574 | 25373 23344 101 | 76.417 % | 659.86/660.14 c | 196861 | 2426 16566 36574 | 27910 28811 92 | 76.417 % | 850.20/850.52 c | 295387 | 2426 16566 36574 | 30701 22192 110 | 76.417 % | 1090.11/1090.58 c | 443177 | 2426 16566 36574 | 33772 21379 108 | 76.417 % | 1488.48/1489.03 c | 664860 | 2426 16566 36574 | 37149 29143 92 | 76.417 % |
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-2702561-1278570190/watcher-2702561-1278570190 -o /tmp/evaluation-result-2702561-1278570190/solver-2702561-1278570190 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702561-1278570190.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.99 3/106 29657 /proc/meminfo: memFree=1621528/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=3776 CPUtime=0 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 414 0 0 0 0 0 0 0 18 0 1 0 25232258 3866624 333 1992294400 134512640 135752675 4294882528 18446744073709551615 134609555 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 944 333 136 303 0 476 0 [startup+0.0455141 s] /proc/loadavg: 0.99 0.97 0.99 3/106 29657 /proc/meminfo: memFree=1621528/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=5244 CPUtime=0.03 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 791 0 0 0 3 0 0 0 20 0 1 0 25232258 5369856 710 1992294400 134512640 135752675 4294882528 18446744073709551615 134517392 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 1311 710 182 303 0 843 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5244 [startup+0.100524 s] /proc/loadavg: 0.99 0.97 0.99 3/106 29657 /proc/meminfo: memFree=1621528/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=5940 CPUtime=0.09 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 1050 0 0 0 8 1 0 0 20 0 1 0 25232258 6082560 969 1992294400 134512640 135752675 4294882528 18446744073709551615 135211752 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 1485 969 269 303 0 1017 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5940 [startup+0.300562 s] /proc/loadavg: 0.99 0.97 0.99 3/106 29657 /proc/meminfo: memFree=1621528/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=7392 CPUtime=0.29 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 1596 0 0 0 28 1 0 0 20 0 1 0 25232258 7569408 1352 1992294400 134512640 135752675 4294882528 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 1848 1352 145 303 0 1543 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7392 [startup+0.700638 s] /proc/loadavg: 0.99 0.97 0.99 3/106 29657 /proc/meminfo: memFree=1621528/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=10092 CPUtime=0.69 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 2270 0 0 0 66 3 0 0 21 0 1 0 25232258 10334208 2026 1992294400 134512640 135752675 4294882528 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 2523 2026 145 303 0 2218 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10092 [startup+1.50079 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29658 /proc/meminfo: memFree=1612096/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=15224 CPUtime=1.49 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 3565 0 0 0 145 4 0 0 23 0 1 0 25232258 15589376 3321 1992294400 134512640 135752675 4294882528 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 3806 3321 145 303 0 3501 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15224 [startup+3.1011 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29658 /proc/meminfo: memFree=1605772/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=21136 CPUtime=3.09 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 5052 0 0 0 303 6 0 0 25 0 1 0 25232258 21643264 4808 1992294400 134512640 135752675 4294882528 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 5284 4808 145 303 0 4979 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21136 [startup+6.30071 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29658 /proc/meminfo: memFree=1594860/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=32100 CPUtime=6.29 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 7765 0 0 0 619 10 0 0 25 0 1 0 25232258 32870400 7521 1992294400 134512640 135752675 4294882528 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 8025 7521 145 303 0 7720 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32100 [startup+12.7009 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29658 /proc/meminfo: memFree=1578252/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=48184 CPUtime=12.69 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 11778 0 0 0 1254 15 0 0 25 0 1 0 25232258 49340416 11534 1992294400 134512640 135752675 4294882528 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 12046 11534 145 303 0 11741 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48184 [startup+25.5014 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29658 /proc/meminfo: memFree=1544152/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=80328 CPUtime=25.49 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 19793 0 0 0 2523 26 0 0 18 0 1 0 25232258 82255872 19549 1992294400 134512640 135752675 4294882528 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 20082 19549 145 303 0 19777 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 80328 [startup+51.1013 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29658 /proc/meminfo: memFree=1474216/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=149952 CPUtime=51.07 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 37203 0 0 0 5063 44 0 0 25 0 1 0 25232258 153550848 36959 1992294400 134512640 135752675 4294882528 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 37488 36959 145 303 0 37183 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 149952 [startup+102.308 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29660 /proc/meminfo: memFree=1385060/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=238476 CPUtime=102.26 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 59300 0 0 0 10157 69 0 0 25 0 1 0 25232258 244199424 59056 1992294400 134512640 135752675 4294882528 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 59619 59056 145 303 0 59314 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 238476 [startup+162.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29662 /proc/meminfo: memFree=1276808/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=348136 CPUtime=162.23 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 86668 0 0 0 16122 101 0 0 25 0 1 0 25232258 356491264 86424 1992294400 134512640 135752675 4294882528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 87034 86424 145 303 0 86729 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 348136 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29664 /proc/meminfo: memFree=1226092/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=396384 CPUtime=222.21 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 99075 0 0 0 22089 132 0 0 25 0 1 0 25232258 405897216 98625 1992294400 134512640 135752675 4294882528 18446744073709551615 134611533 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 99096 98625 146 303 0 98791 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 396384 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29664 /proc/meminfo: memFree=1226092/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=396384 CPUtime=282.19 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 99076 0 0 0 28069 150 0 0 25 0 1 0 25232258 405897216 98626 1992294400 134512640 135752675 4294882528 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 99096 98626 146 303 0 98791 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 396384 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29666 /proc/meminfo: memFree=1224604/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=397848 CPUtime=342.18 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 99445 0 0 0 34045 173 0 0 25 0 1 0 25232258 407396352 98995 1992294400 134512640 135752675 4294882528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 99462 98995 146 303 0 99157 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 397848 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29668 /proc/meminfo: memFree=1212080/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=410664 CPUtime=402.15 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 102617 0 0 0 40021 194 0 0 25 0 1 0 25232258 420519936 102167 1992294400 134512640 135752675 4294882528 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 102666 102167 146 303 0 102361 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 410664 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29670 /proc/meminfo: memFree=1191248/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=431292 CPUtime=462.13 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 107759 0 0 0 45999 214 0 0 25 0 1 0 25232258 441643008 107309 1992294400 134512640 135752675 4294882528 18446744073709551615 134641827 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 107823 107309 146 303 0 107518 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 431292 [startup+522.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29672 /proc/meminfo: memFree=1172772/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=449980 CPUtime=522.1 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 112401 0 0 0 51974 236 0 0 25 0 1 0 25232258 460779520 111951 1992294400 134512640 135752675 4294882528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 112495 111951 146 303 0 112190 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 449980 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29672 /proc/meminfo: memFree=1157024/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=465708 CPUtime=582.09 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 116313 0 0 0 57958 251 0 0 25 0 1 0 25232258 476884992 115863 1992294400 134512640 135752675 4294882528 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 116427 115863 146 303 0 116122 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 465708 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29674 /proc/meminfo: memFree=1135200/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=487144 CPUtime=642.08 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 121689 0 0 0 63934 274 0 0 25 0 1 0 25232258 498835456 121239 1992294400 134512640 135752675 4294882528 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 121786 121239 146 303 0 121481 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 487144 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29680 /proc/meminfo: memFree=1060056/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=562256 CPUtime=881.98 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 140412 0 0 0 87842 356 0 0 25 0 1 0 25232258 575750144 139962 1992294400 134512640 135752675 4294882528 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 140564 139962 146 303 0 140259 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 562256 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29682 /proc/meminfo: memFree=1036620/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=585748 CPUtime=941.96 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 146286 0 0 0 93813 383 0 0 25 0 1 0 25232258 599805952 145836 1992294400 134512640 135752675 4294882528 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 146437 145836 146 303 0 146132 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 585748 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29684 /proc/meminfo: memFree=1013804/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=608500 CPUtime=1001.95 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 151950 0 0 0 99789 406 0 0 25 0 1 0 25232258 623104000 151500 1992294400 134512640 135752675 4294882528 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 152125 151500 146 303 0 151820 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 608500 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29686 /proc/meminfo: memFree=993220/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=629236 CPUtime=1061.92 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 157132 0 0 0 105768 424 0 0 25 0 1 0 25232258 644337664 156682 1992294400 134512640 135752675 4294882528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 157309 156682 146 303 0 157004 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 629236 [startup+1122.3 s] /proc/loadavg: 1.07 0.99 0.99 2/107 29688 /proc/meminfo: memFree=970776/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=651400 CPUtime=1121.9 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 162652 0 0 0 111745 445 0 0 25 0 1 0 25232258 667033600 162202 1992294400 134512640 135752675 4294882528 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 162850 162202 146 303 0 162545 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 651400 [startup+1182.3 s] /proc/loadavg: 1.09 1.00 1.00 2/107 29688 /proc/meminfo: memFree=951928/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=670536 CPUtime=1181.88 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 167414 0 0 0 117721 467 0 0 25 0 1 0 25232258 686628864 166964 1992294400 134512640 135752675 4294882528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 167634 166964 146 303 0 167329 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 670536 [startup+1242.3 s] /proc/loadavg: 1.09 1.01 1.00 2/107 29690 /proc/meminfo: memFree=932832/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=689184 CPUtime=1241.86 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 172099 0 0 0 123700 486 0 0 25 0 1 0 25232258 705724416 171649 1992294400 134512640 135752675 4294882528 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 172296 171649 146 303 0 171991 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 689184 [startup+1302.3 s] /proc/loadavg: 1.08 1.03 1.00 2/107 29692 /proc/meminfo: memFree=913364/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=708448 CPUtime=1301.85 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 176904 0 0 0 129680 505 0 0 25 0 1 0 25232258 725450752 176454 1992294400 134512640 135752675 4294882528 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 177112 176454 146 303 0 176807 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 708448 [startup+1362.3 s] /proc/loadavg: 1.08 1.03 1.00 2/107 29694 /proc/meminfo: memFree=895260/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=726800 CPUtime=1361.82 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 181474 0 0 0 135659 523 0 0 25 0 1 0 25232258 744243200 181024 1992294400 134512640 135752675 4294882528 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 181700 181024 146 303 0 181395 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 726800 [startup+1422.31 s] /proc/loadavg: 1.07 1.04 1.00 2/107 29696 /proc/meminfo: memFree=874552/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=747448 CPUtime=1421.81 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 186614 0 0 0 141635 546 0 0 25 0 1 0 25232258 765386752 186164 1992294400 134512640 135752675 4294882528 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 186862 186164 146 303 0 186557 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 747448 [startup+1482.3 s] /proc/loadavg: 1.07 1.04 1.00 2/107 29696 /proc/meminfo: memFree=857440/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=764600 CPUtime=1481.78 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 190922 0 0 0 147614 564 0 0 25 0 1 0 25232258 782950400 190472 1992294400 134512640 135752675 4294882528 18446744073709551615 134612040 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 191150 190472 146 303 0 190845 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 764600 [startup+1542.3 s] /proc/loadavg: 1.06 1.05 1.00 2/107 29698 /proc/meminfo: memFree=843552/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=778392 CPUtime=1541.76 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 194348 0 0 0 153596 580 0 0 25 0 1 0 25232258 797073408 193898 1992294400 134512640 135752675 4294882528 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 194598 193898 146 303 0 194293 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 778392 [startup+1602.3 s] /proc/loadavg: 1.06 1.05 1.00 2/107 29700 /proc/meminfo: memFree=825572/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=796584 CPUtime=1601.73 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 198878 0 0 0 159574 599 0 0 25 0 1 0 25232258 815702016 198428 1992294400 134512640 135752675 4294882528 18446744073709551615 134611588 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 199146 198428 146 303 0 198841 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 796584 [startup+1662.3 s] /proc/loadavg: 1.13 1.07 1.01 2/107 29702 /proc/meminfo: memFree=809700/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=812236 CPUtime=1661.72 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 202802 0 0 0 165554 618 0 0 25 0 1 0 25232258 831729664 202352 1992294400 134512640 135752675 4294882528 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 203059 202352 146 303 0 202754 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 812236 [startup+1722.3 s] /proc/loadavg: 1.12 1.07 1.00 2/107 29704 /proc/meminfo: memFree=794820/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=827480 CPUtime=1721.69 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 206584 0 0 0 171533 636 0 0 25 0 1 0 25232258 847339520 206134 1992294400 134512640 135752675 4294882528 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 206870 206134 146 303 0 206565 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 827480 [startup+1782.3 s] /proc/loadavg: 1.11 1.07 1.00 2/107 29704 /proc/meminfo: memFree=778948/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=842860 CPUtime=1781.67 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 210417 0 0 0 177515 652 0 0 25 0 1 0 25232258 863088640 209967 1992294400 134512640 135752675 4294882528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 210715 209967 146 303 0 210410 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 842860 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.08 1.07 1.00 2/107 29706 /proc/meminfo: memFree=773616/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=848092 CPUtime=1800.08 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 211735 0 0 0 179351 657 0 0 25 0 1 0 25232258 868446208 211285 1992294400 134512640 135752675 4294882528 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 212023 211285 146 303 0 211718 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 848092 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.08 1.07 1.00 2/107 29706 /proc/meminfo: memFree=773616/2059040 swapFree=4134964/4192956 [pid=29657] ppid=29655 vsize=848092 CPUtime=1800.08 /proc/29657/stat : 29657 (wbo1.4b) R 29655 29657 26724 0 -1 4202496 211735 0 0 0 179351 657 0 0 25 0 1 0 25232258 868446208 211285 1992294400 134512640 135752675 4294882528 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29657/statm: 212023 211285 146 303 0 211718 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 848092 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.79 CPU time (s): 1800.17 CPU user time (s): 1793.51 CPU system time (s): 6.65599 CPU usage (%): 99.9653 Max. virtual memory (cumulated for all children) (KiB): 848092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.51 system time used= 6.65599 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 211735 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= 36 involuntary context switches= 19995 runsolver used 2.76658 second user time and 8.74967 second system time The end
Begin job on node009 at 2010-07-08 08:23:10 IDJOB=2702561 IDBENCH=48215 IDSOLVER=1190 FILE ID=node009/2702561-1278570190 PBS_JOBID= 11239574 Free space on /tmp= 62552 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_3.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-2702561-1278570190/watcher-2702561-1278570190 -o /tmp/evaluation-result-2702561-1278570190/solver-2702561-1278570190 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702561-1278570190.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 04b0fb885ddf05bea62d9eda618b3e5b RANDOM SEED=744728406 node009.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.262 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.52 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.262 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1622560 kB Buffers: 100080 kB Cached: 232660 kB SwapCached: 12672 kB Active: 206140 kB Inactive: 159448 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1622560 kB SwapTotal: 4192956 kB SwapFree: 4134964 kB Dirty: 2892 kB Writeback: 0 kB AnonPages: 29256 kB Mapped: 8500 kB Slab: 48876 kB PageTables: 4256 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 199440 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-2702561-1278570190.opb Free space on /tmp at the end= 62548 MiB End job on node009 at 2010-07-08 08:53:13