Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.08 | 1800.84 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_4.opb |
MD5SUM | 33f66c46bd2eace76f5fa6a5916a23ec |
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 | -69 |
Best CPU time to get the best result obtained on this benchmark | 1800.43 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -81 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1000 |
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 | 1000 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 107 |
Number of terms in the objective function | 1000 |
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 | 1000 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 75484 |
Sum of products size (including duplicates) | 150968 |
Number of different products | 37742 |
Sum of products size | 75484 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702559-1278570138.opb. 0.00/0.00 c Instance file HOME/instance-2702559-1278570138.opb 0.00/0.00 c File size is 3317910 bytes. 0.49/0.58 c Highest Coefficient sum: 107 0.49/0.58 c ============================[ Problem Statistics ]============================= 0.49/0.58 c | | 0.49/0.58 c | Parsing time: 0.57 s | 0.49/0.58 c | Number Variables: 38742 | 0.49/0.58 c | Number Clauses: 37742 | 0.49/0.58 c | Number Cardinality: 2000 | 0.49/0.58 c | Number PB Constraints: 37742 | 0.69/0.73 c ============================[ Search Statistics ]============================== 0.69/0.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.73 c =============================================================================== 0.69/0.73 c | 0 | 1000 77484 187990 | 25828 0 nan | 0.000 % | 0.69/0.75 c =============================================================================== 0.69/0.75 c New solution: 0 0.69/0.75 o 0 0.69/0.75 c Elapsed CPU time: 0.723889 s Remaining CPU time: 179.276 s 0.69/0.75 c =============================================================================== 0.69/0.75 c | 0 | 1000 77485 188990 | 25828 0 nan | 0.000 % | 0.69/0.76 c =============================================================================== 0.69/0.76 c New solution: -1 0.69/0.76 o -1 0.69/0.76 c Elapsed CPU time: 0.737887 s Remaining CPU time: 179.262 s 0.69/0.76 c =============================================================================== 0.69/0.76 c | 0 | 1000 77486 189990 | 25828 0 nan | 0.000 % | 0.69/0.77 c =============================================================================== 0.89/0.91 c New solution: -2 0.89/0.91 o -2 0.89/0.91 c Elapsed CPU time: 0.752885 s Remaining CPU time: 179.247 s 0.89/0.91 c =============================================================================== 0.89/0.91 c | 0 | 1000 77487 190990 | 25829 0 nan | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.91 c New solution: -3 0.89/0.91 o -3 0.89/0.91 c Elapsed CPU time: 0.765883 s Remaining CPU time: 179.234 s 0.89/0.91 c =============================================================================== 0.89/0.91 c | 0 | 1000 77488 191990 | 25829 0 nan | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.91 c New solution: -4 0.89/0.91 o -4 0.89/0.91 c Elapsed CPU time: 0.781881 s Remaining CPU time: 179.218 s 0.89/0.91 c =============================================================================== 0.89/0.91 c | 1 | 1000 77489 192990 | 25829 1 997 | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.91 c New solution: -5 0.89/0.91 o -5 0.89/0.91 c Elapsed CPU time: 0.795879 s Remaining CPU time: 179.204 s 0.89/0.91 c =============================================================================== 0.89/0.91 c | 1 | 1000 77490 193990 | 25830 1 997 | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.91 c New solution: -6 0.89/0.91 o -6 0.89/0.91 c Elapsed CPU time: 0.812876 s Remaining CPU time: 179.187 s 0.89/0.91 c =============================================================================== 0.89/0.91 c | 14 | 1000 77491 194990 | 25830 14 996 | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.91 c New solution: -7 0.89/0.91 o -7 0.89/0.91 c Elapsed CPU time: 0.827874 s Remaining CPU time: 179.172 s 0.89/0.91 c =============================================================================== 0.89/0.91 c | 19 | 1000 77492 195990 | 25830 19 996 | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.91 c New solution: -8 0.89/0.91 o -8 0.89/0.91 c Elapsed CPU time: 0.84887 s Remaining CPU time: 179.151 s 0.89/0.91 c =============================================================================== 0.89/0.91 c | 44 | 1000 77493 196990 | 25831 44 995 | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.91 c New solution: -9 0.89/0.91 o -9 0.89/0.91 c Elapsed CPU time: 0.868867 s Remaining CPU time: 179.131 s 0.89/0.91 c =============================================================================== 0.89/0.91 c | 63 | 1000 77494 197990 | 25831 63 994 | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.92 c New solution: -10 0.89/0.92 o -10 0.89/0.92 c Elapsed CPU time: 0.890864 s Remaining CPU time: 179.109 s 0.89/0.92 c =============================================================================== 0.89/0.92 c | 87 | 1000 77495 198990 | 25831 87 993 | 0.000 % | 0.89/0.94 c =============================================================================== 0.89/0.94 c New solution: -11 0.89/0.94 o -11 0.89/0.94 c Elapsed CPU time: 0.910861 s Remaining CPU time: 179.089 s 0.89/0.94 c =============================================================================== 0.89/0.94 c | 101 | 1000 77496 199990 | 25832 101 993 | 0.000 % | 0.89/0.97 c =============================================================================== 0.89/0.97 c New solution: -12 0.89/0.97 o -12 0.89/0.97 c Elapsed CPU time: 0.942856 s Remaining CPU time: 179.057 s 0.89/0.97 c =============================================================================== 0.89/0.97 c | 160 | 1000 77497 200990 | 25832 160 992 | 0.000 % | 0.89/1.00 c =============================================================================== 0.89/1.00 c New solution: -13 0.89/1.00 o -13 0.89/1.00 c Elapsed CPU time: 0.967852 s Remaining CPU time: 179.032 s 0.89/1.00 c =============================================================================== 0.89/1.00 c | 187 | 1000 77498 201990 | 25832 187 992 | 0.000 % | 0.99/1.03 c | 288 | 1000 77498 201990 | 28415 288 991 | 97.419 % | 0.99/1.06 c =============================================================================== 0.99/1.06 c New solution: -14 0.99/1.06 o -14 0.99/1.06 c Elapsed CPU time: 1.02584 s Remaining CPU time: 178.974 s 0.99/1.06 c =============================================================================== 0.99/1.06 c | 327 | 1000 77499 202990 | 25833 327 991 | 97.419 % | 0.99/1.09 c | 427 | 1000 77499 202990 | 28416 427 990 | 97.419 % | 1.09/1.15 c | 579 | 1000 77499 202990 | 31257 579 989 | 97.419 % | 1.18/1.24 c | 806 | 1000 77499 202990 | 34383 806 989 | 97.419 % | 1.29/1.36 c | 1143 | 1000 77499 202990 | 37822 1143 990 | 97.419 % | 1.39/1.44 c =============================================================================== 1.39/1.44 c New solution: -15 1.39/1.44 o -15 1.39/1.44 c Elapsed CPU time: 1.39179 s Remaining CPU time: 178.608 s 1.39/1.44 c =============================================================================== 1.39/1.44 c | 1323 | 1000 77500 203990 | 25833 1323 989 | 97.419 % | 1.39/1.48 c | 1424 | 1000 77500 203990 | 28416 1424 990 | 97.419 % | 1.48/1.55 c | 1576 | 1000 77500 203990 | 31258 1576 990 | 97.419 % | 1.59/1.64 c | 1802 | 1000 77500 203990 | 34384 1802 990 | 97.419 % | 1.69/1.79 c | 2142 | 1000 77500 203990 | 37822 2142 990 | 97.419 % | 1.99/2.05 c =============================================================================== 1.99/2.05 c New solution: -16 1.99/2.05 o -16 1.99/2.05 c Elapsed CPU time: 1.9917 s Remaining CPU time: 178.008 s 1.99/2.05 c =============================================================================== 1.99/2.05 c | 2624 | 1000 77501 204990 | 25833 2624 989 | 97.419 % | 2.09/2.10 c | 2725 | 1000 77501 204990 | 28417 2725 989 | 97.419 % | 2.09/2.19 c | 2876 | 1000 77501 204990 | 31258 2876 989 | 97.419 % | 2.29/2.32 c | 3103 | 1000 77501 204990 | 34384 3103 990 | 97.419 % | 2.39/2.49 c =============================================================================== 2.39/2.49 c New solution: -17 2.39/2.49 o -17 2.39/2.49 c Elapsed CPU time: 2.42163 s Remaining CPU time: 177.578 s 2.39/2.49 c =============================================================================== 2.39/2.49 c | 3323 | 1000 77502 205990 | 25834 3323 990 | 97.419 % | 2.48/2.56 c | 3423 | 1000 77502 205990 | 28417 3423 990 | 97.419 % | 2.58/2.65 c | 3574 | 1000 77502 205990 | 31259 3574 990 | 97.419 % | 2.79/2.81 c | 3800 | 1000 77502 205990 | 34385 3800 990 | 97.419 % | 2.99/3.05 c | 4139 | 1000 77502 205990 | 37823 4139 990 | 97.419 % | 3.20/3.24 c =============================================================================== 3.20/3.24 c New solution: -18 3.20/3.24 o -18 3.20/3.24 c Elapsed CPU time: 3.15352 s Remaining CPU time: 176.846 s 3.20/3.24 c =============================================================================== 3.20/3.24 c | 4380 | 1000 77503 206990 | 25834 4380 990 | 97.419 % | 3.29/3.32 c | 4482 | 1000 77503 206990 | 28417 4482 990 | 97.419 % | 3.39/3.42 c | 4634 | 1000 77503 206990 | 31259 4634 990 | 97.419 % | 3.49/3.56 c | 4861 | 1000 77503 206990 | 34385 4861 990 | 97.419 % | 3.78/3.80 c | 5198 | 1000 77503 206990 | 37824 5198 989 | 97.419 % | 4.09/4.18 c | 5707 | 1000 77503 206990 | 41606 5707 989 | 97.419 % | 4.29/4.39 c =============================================================================== 4.29/4.39 c New solution: -19 4.29/4.39 o -19 4.29/4.39 c Elapsed CPU time: 4.28935 s Remaining CPU time: 175.711 s 4.29/4.39 c =============================================================================== 4.29/4.39 c | 5953 | 1000 77504 207990 | 25834 5953 989 | 97.419 % | 4.39/4.46 c | 6056 | 1000 77504 207990 | 28418 6056 989 | 97.419 % | 4.49/4.58 c | 6206 | 1000 77504 207990 | 31259 6206 989 | 97.419 % | 4.69/4.77 c | 6433 | 1000 77504 207990 | 34385 6433 990 | 97.419 % | 4.79/4.86 c =============================================================================== 4.79/4.86 c New solution: -20 4.79/4.86 o -20 4.79/4.86 c Elapsed CPU time: 4.75228 s Remaining CPU time: 175.248 s 4.79/4.86 c =============================================================================== 4.79/4.86 c | 6508 | 1000 77505 208990 | 25835 6508 990 | 97.419 % | 4.89/4.95 c | 6608 | 1000 77505 208990 | 28418 6608 990 | 97.419 % | 4.99/5.07 c | 6760 | 1000 77505 208990 | 31260 6760 989 | 97.419 % | 5.18/5.28 c | 6986 | 1000 77505 208990 | 34386 6986 989 | 97.419 % | 5.49/5.53 c | 7323 | 1000 77505 208990 | 37825 7323 989 | 97.419 % | 6.09/6.10 c | 7829 | 1000 77505 208990 | 41607 7829 989 | 97.419 % | 6.69/6.78 c | 8588 | 1000 77505 208990 | 45768 8588 989 | 97.419 % | 7.28/7.36 c =============================================================================== 7.28/7.36 c New solution: -21 7.28/7.36 o -21 7.28/7.36 c Elapsed CPU time: 7.2349 s Remaining CPU time: 172.765 s 7.28/7.36 c =============================================================================== 7.28/7.36 c | 9377 | 1000 77506 209990 | 25835 9377 988 | 97.419 % | 7.38/7.48 c | 9477 | 1000 77506 209990 | 28418 9477 988 | 97.419 % | 7.59/7.65 c | 9629 | 1000 77506 209990 | 31260 9629 988 | 97.419 % | 7.78/7.86 c | 9854 | 1000 77506 209990 | 34386 9854 988 | 97.419 % | 8.28/8.38 c | 10192 | 1000 77506 209990 | 37825 10192 988 | 97.419 % | 8.98/9.02 c | 10698 | 1000 77506 209990 | 41608 10698 987 | 97.419 % | 9.68/9.77 c | 11457 | 1000 77506 209990 | 45768 11457 987 | 97.419 % | 11.18/11.25 c | 12597 | 1000 77506 209990 | 50345 12597 986 | 97.419 % | 12.88/12.90 c =============================================================================== 12.88/12.90 c New solution: -22 12.88/12.90 o -22 12.88/12.90 c Elapsed CPU time: 12.7301 s Remaining CPU time: 167.27 s 12.88/12.90 c =============================================================================== 12.88/12.90 c | 13435 | 1000 77507 210990 | 25835 13435 986 | 97.419 % | 12.98/13.10 c | 13536 | 1000 77507 210990 | 28419 13536 986 | 97.419 % | 13.28/13.34 c | 13687 | 1000 77507 210990 | 31261 13687 986 | 97.419 % | 13.58/13.66 c | 13912 | 1000 77507 210990 | 34387 13912 986 | 97.419 % | 14.08/14.18 c | 14250 | 1000 77507 210990 | 37825 14250 986 | 97.419 % | 14.78/14.84 c | 14756 | 1000 77507 210990 | 41608 14756 985 | 97.419 % | 16.08/16.10 c | 15517 | 1000 77507 210990 | 45769 15517 985 | 97.419 % | 17.67/17.76 c | 16656 | 1000 77507 210990 | 50346 16656 985 | 97.419 % | 21.58/21.67 c | 18364 | 1000 77507 210990 | 55381 18364 985 | 97.419 % | 27.58/27.61 c | 20927 | 1000 77507 210990 | 60919 20927 984 | 97.419 % | 38.67/38.75 c | 24772 | 1000 77507 210990 | 67011 24772 984 | 97.419 % | 45.47/45.53 c =============================================================================== 45.47/45.53 c New solution: -23 45.47/45.53 o -23 45.47/45.53 c Elapsed CPU time: 45.1941 s Remaining CPU time: 134.806 s 45.47/45.53 c =============================================================================== 45.47/45.53 c | 27301 | 1000 77508 211990 | 25836 27301 983 | 97.419 % | 45.67/45.71 c | 27402 | 1000 77508 211990 | 28419 27402 983 | 97.419 % | 46.47/46.52 c | 27553 | 1000 77508 211990 | 31261 27553 983 | 97.419 % | 48.17/48.29 c | 27779 | 1000 77508 211990 | 34387 27779 983 | 97.419 % | 48.97/49.06 c | 28117 | 1000 77508 211990 | 37826 28117 983 | 97.419 % | 50.16/50.22 c | 28623 | 1000 77508 211990 | 41609 28623 983 | 97.419 % | 52.36/52.47 c | 29382 | 1000 77508 211990 | 45770 29382 983 | 97.419 % | 55.87/55.98 c | 30522 | 1000 77508 211990 | 50347 30522 983 | 97.419 % | 58.66/58.79 c | 32230 | 1000 77508 211990 | 55381 32230 983 | 97.419 % | 66.86/66.97 c | 34793 | 1000 77508 211990 | 60919 34793 983 | 97.419 % | 85.26/85.38 c | 38638 | 1000 77508 211990 | 67011 38638 982 | 97.419 % | 113.75/113.85 c | 44404 | 1000 77508 211990 | 73713 44404 982 | 97.419 % | 142.43/142.52 c | 53053 | 1000 77508 211990 | 81084 53053 981 | 97.419 % | 180.62/180.74 c There are 37742 assigned variables. 0 in cost function. 184.32/184.48 c core #1 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -999 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #2 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -998 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #3 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -997 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #4 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -996 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #5 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -995 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #6 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -994 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #7 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -993 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #8 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -992 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #9 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -991 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #10 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -990 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #11 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -989 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #12 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -988 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #13 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -987 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #14 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -986 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #15 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -985 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #16 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -984 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #17 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -983 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #18 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -982 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #19 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -981 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #20 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -980 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #21 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -979 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #22 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -978 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #23 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -977 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #24 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -976 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #25 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -975 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #26 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -974 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #27 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -973 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #28 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -972 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #29 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -971 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #30 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -970 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #31 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -969 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #32 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -968 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #33 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -967 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #34 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -966 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #35 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -965 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #36 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -964 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #37 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -963 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #38 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -962 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #39 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -961 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #40 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -960 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #41 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -959 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #42 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -958 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #43 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -957 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #44 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -956 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #45 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -955 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #46 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -954 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #47 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -953 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #48 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -952 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #49 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -951 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #50 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -950 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #51 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -949 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #52 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -948 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #53 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -947 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #54 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -946 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #55 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -945 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #56 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -944 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #57 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -943 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #58 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -942 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c core #59 184.32/184.48 c 184.32/184.48 c 184.32/184.48 c Core size: 3 Core Weight: 1 Total Weight: -941 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #60 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -940 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #61 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -939 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #62 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -938 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #63 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -937 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #64 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -936 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #65 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -935 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #66 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -934 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #67 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -933 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #68 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -932 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #69 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -931 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #70 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -930 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #71 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -929 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #72 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -928 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #73 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -927 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #74 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -926 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #75 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -925 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #76 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -924 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #77 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -923 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #78 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -922 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #79 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -921 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #80 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -920 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #81 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -919 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #82 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -918 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #83 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -917 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #84 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -916 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #85 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -915 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #86 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -914 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #87 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -913 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #88 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -912 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #89 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -911 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #90 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -910 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #91 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -909 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #92 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -908 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #93 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -907 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #94 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -906 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #95 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -905 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #96 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -904 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #97 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -903 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #98 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -902 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #99 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -901 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #100 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -900 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #101 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -899 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #102 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -898 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #103 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -897 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #104 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -896 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #105 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -895 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #106 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -894 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #107 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -893 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #108 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -892 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #109 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -891 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #110 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -890 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #111 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -889 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #112 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -888 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #113 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -887 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #114 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -886 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #115 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -885 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #116 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -884 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c core #117 188.11/188.23 c 188.11/188.23 c 188.11/188.23 c Core size: 3 Core Weight: 1 Total Weight: -883 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #118 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -882 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #119 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -881 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #120 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -880 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #121 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -879 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #122 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -878 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #123 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -877 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #124 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -876 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #125 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -875 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #126 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -874 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #127 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -873 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #128 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -872 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #129 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -871 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #130 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -870 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #131 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -869 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #132 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -868 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #133 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -867 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #134 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -866 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #135 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -865 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #136 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -864 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #137 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -863 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #138 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -862 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #139 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -861 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #140 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -860 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #141 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -859 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #142 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -858 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #143 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -857 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #144 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -856 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #145 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -855 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c core #146 192.20/192.35 c 192.20/192.35 c 192.20/192.35 c Core size: 3 Core Weight: 1 Total Weight: -854 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #147 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -853 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #148 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -852 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #149 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -851 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #150 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -850 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #151 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -849 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #152 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -848 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #153 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -847 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #154 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -846 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #155 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -845 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #156 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -844 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #157 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -843 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #158 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -842 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #159 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -841 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #160 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -840 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #161 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -839 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #162 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -838 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #163 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -837 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #164 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -836 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #165 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -835 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #166 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -834 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #167 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -833 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #168 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -832 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #169 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -831 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #170 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -830 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #171 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -829 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #172 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -828 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #173 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -827 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #174 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -826 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c core #175 192.20/192.36 c 192.20/192.36 c 192.20/192.36 c Core size: 3 Core Weight: 1 Total Weight: -825 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #176 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -824 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #177 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -823 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #178 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -822 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #179 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -821 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #180 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -820 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #181 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -819 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #182 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -818 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #183 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -817 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #184 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -816 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #185 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -815 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #186 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -814 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #187 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -813 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #188 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -812 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #189 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -811 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #190 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -810 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #191 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -809 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #192 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -808 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #193 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -807 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #194 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -806 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #195 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -805 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #196 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -804 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #197 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -803 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #198 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -802 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #199 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -801 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #200 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -800 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #201 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -799 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #202 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -798 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #203 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -797 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #204 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -796 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #205 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -795 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #206 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -794 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #207 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -793 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #208 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -792 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #209 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -791 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #210 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -790 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #211 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -789 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #212 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -788 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #213 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -787 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #214 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -786 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #215 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -785 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #216 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -784 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #217 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -783 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #218 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -782 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #219 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -781 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #220 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -780 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #221 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -779 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #222 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -778 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #223 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -777 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #224 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -776 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #225 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -775 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #226 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -774 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #227 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -773 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #228 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -772 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #229 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -771 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #230 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -770 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #231 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -769 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #232 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -768 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c core #233 196.80/196.92 c 196.80/196.92 c 196.80/196.92 c Core size: 3 Core Weight: 1 Total Weight: -767 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #234 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -766 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #235 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -765 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #236 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -764 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #237 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -763 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #238 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -762 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #239 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -761 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #240 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -760 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #241 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -759 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #242 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -758 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #243 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -757 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #244 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -756 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #245 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -755 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #246 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -754 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #247 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -753 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #248 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -752 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #249 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -751 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #250 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -750 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #251 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -749 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #252 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -748 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #253 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -747 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #254 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -746 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #255 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -745 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #256 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -744 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #257 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -743 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #258 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -742 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #259 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -741 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #260 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -740 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #261 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -739 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #262 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -738 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #263 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -737 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #264 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -736 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #265 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -735 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #266 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -734 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #267 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -733 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #268 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -732 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #269 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -731 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #270 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -730 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #271 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -729 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #272 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -728 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #273 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -727 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #274 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -726 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #275 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -725 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #276 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -724 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #277 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -723 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #278 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -722 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #279 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -721 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #280 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -720 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #281 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -719 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #282 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -718 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #283 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -717 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #284 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -716 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #285 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -715 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #286 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -714 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #287 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -713 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #288 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -712 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #289 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -711 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c core #290 201.68/201.80 c 201.68/201.80 c 201.68/201.80 c Core size: 3 Core Weight: 1 Total Weight: -710 201.68/201.80 c 206.98/207.11 c 206.98/207.11 c core #291 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -709 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #292 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -708 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #293 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -707 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #294 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -706 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #295 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -705 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #296 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -704 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #297 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -703 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #298 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -702 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #299 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -701 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #300 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -700 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #301 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -699 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #302 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -698 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #303 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -697 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #304 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -696 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #305 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -695 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #306 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -694 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #307 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -693 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #308 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -692 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #309 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -691 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #310 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -690 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #311 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -689 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #312 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -688 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #313 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -687 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #314 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -686 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #315 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -685 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #316 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -684 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #317 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -683 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #318 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -682 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #319 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -681 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #320 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -680 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #321 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -679 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #322 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -678 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #323 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -677 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #324 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -676 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #325 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -675 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #326 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -674 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #327 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -673 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #328 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -672 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #329 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -671 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #330 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -670 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #331 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -669 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #332 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -668 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #333 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -667 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #334 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -666 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #335 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -665 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #336 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -664 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #337 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -663 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #338 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -662 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #339 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -661 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #340 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -660 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #341 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -659 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #342 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -658 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #343 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -657 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #344 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -656 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #345 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -655 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #346 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -654 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #347 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -653 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c core #348 206.98/207.11 c 206.98/207.11 c 206.98/207.11 c Core size: 3 Core Weight: 1 Total Weight: -652 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #349 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -651 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #350 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -650 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #351 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -649 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #352 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -648 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #353 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -647 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #354 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -646 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #355 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -645 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #356 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -644 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #357 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -643 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #358 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -642 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #359 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -641 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #360 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -640 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #361 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -639 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #362 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -638 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #363 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -637 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #364 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -636 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #365 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -635 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #366 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -634 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #367 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -633 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #368 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -632 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #369 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -631 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #370 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -630 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #371 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -629 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #372 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -628 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #373 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -627 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #374 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -626 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #375 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -625 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #376 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -624 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #377 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -623 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #378 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -622 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #379 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -621 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #380 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -620 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #381 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -619 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #382 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -618 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #383 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -617 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #384 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -616 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #385 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -615 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #386 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -614 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #387 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -613 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #388 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -612 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #389 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -611 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #390 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -610 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #391 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -609 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #392 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -608 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #393 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -607 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #394 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -606 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #395 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -605 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #396 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -604 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #397 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -603 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #398 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -602 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #399 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -601 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #400 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -600 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #401 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -599 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #402 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -598 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #403 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -597 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #404 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -596 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #405 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -595 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c core #406 212.67/212.80 c 212.67/212.80 c 212.67/212.80 c Core size: 3 Core Weight: 1 Total Weight: -594 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #407 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -593 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #408 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -592 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #409 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -591 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #410 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -590 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #411 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -589 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #412 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -588 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #413 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -587 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #414 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -586 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #415 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -585 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #416 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -584 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #417 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -583 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #418 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -582 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #419 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -581 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #420 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -580 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #421 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -579 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #422 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -578 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #423 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -577 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #424 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -576 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #425 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -575 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #426 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -574 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #427 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -573 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #428 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -572 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #429 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -571 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #430 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -570 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #431 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -569 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #432 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -568 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #433 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -567 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #434 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -566 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #435 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -565 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #436 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -564 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #437 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -563 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #438 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -562 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #439 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -561 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #440 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -560 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #441 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -559 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #442 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -558 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #443 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -557 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #444 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -556 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #445 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -555 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #446 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -554 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #447 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -553 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #448 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -552 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #449 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -551 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #450 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -550 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #451 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -549 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #452 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -548 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #453 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -547 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #454 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -546 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #455 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -545 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #456 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -544 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #457 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -543 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #458 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -542 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #459 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -541 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #460 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -540 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #461 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -539 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #462 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -538 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #463 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c Core size: 3 Core Weight: 1 Total Weight: -537 218.46/218.68 c 218.46/218.68 c 218.46/218.68 c core #464 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -536 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #465 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -535 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #466 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -534 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #467 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -533 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #468 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -532 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #469 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -531 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #470 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -530 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #471 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -529 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #472 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -528 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #473 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -527 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #474 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -526 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #475 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -525 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #476 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -524 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #477 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -523 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #478 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -522 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #479 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -521 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #480 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -520 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #481 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -519 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #482 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -518 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #483 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -517 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #484 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -516 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #485 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -515 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #486 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -514 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #487 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -513 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #488 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -512 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #489 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -511 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #490 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -510 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #491 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -509 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #492 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -508 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #493 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -507 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #494 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -506 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #495 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 3 Core Weight: 1 Total Weight: -505 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #496 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 7 Core Weight: 1 Total Weight: -504 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #497 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 6 Core Weight: 1 Total Weight: -503 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #498 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 7 Core Weight: 1 Total Weight: -502 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #499 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 7 Core Weight: 1 Total Weight: -501 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #500 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 11 Core Weight: 1 Total Weight: -500 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c core #501 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c Core size: 22 Core Weight: 1 Total Weight: -499 222.55/222.76 c 222.55/222.76 c 222.55/222.76 c ============================[ Search Statistics ]============================== 222.55/222.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 222.55/222.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 222.55/222.76 c =============================================================================== 222.55/222.76 c | 0 | 2022 77009 102528 | 25669 0 nan | 0.000 % | 222.55/222.77 c =============================================================================== 222.66/222.88 c core #502 222.66/222.88 c 222.66/222.88 c 222.66/222.88 c Core size: 10 Core Weight: 1 Total Weight: -498 222.66/222.88 c 222.66/222.88 c 222.66/222.88 c ============================[ Search Statistics ]============================== 222.66/222.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 222.66/222.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 222.66/222.88 c =============================================================================== 222.66/222.88 c | 0 | 2028 77010 102540 | 25670 0 nan | 0.000 % | 222.66/222.89 c =============================================================================== 222.86/223.00 c core #503 222.86/223.00 c 222.86/223.00 c 222.86/223.00 c Core size: 10 Core Weight: 1 Total Weight: -497 222.86/223.00 c 222.86/223.00 c 222.86/223.00 c ============================[ Search Statistics ]============================== 222.86/223.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 222.86/223.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 222.86/223.00 c =============================================================================== 222.86/223.00 c | 0 | 2034 77011 102552 | 25670 0 nan | 0.000 % | 222.86/223.01 c =============================================================================== 222.96/223.12 c core #504 222.96/223.12 c 222.96/223.12 c 222.96/223.12 c Core size: 10 Core Weight: 1 Total Weight: -496 222.96/223.12 c 222.96/223.12 c 222.96/223.12 c ============================[ Search Statistics ]============================== 222.96/223.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 222.96/223.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 222.96/223.12 c =============================================================================== 222.96/223.12 c | 0 | 2040 77012 102564 | 25670 0 nan | 0.000 % | 222.96/223.13 c =============================================================================== 223.06/223.24 c core #505 223.06/223.24 c 223.06/223.24 c 223.06/223.24 c Core size: 10 Core Weight: 1 Total Weight: -495 223.06/223.24 c 223.06/223.24 c 223.06/223.24 c ============================[ Search Statistics ]============================== 223.06/223.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 223.06/223.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 223.06/223.24 c =============================================================================== 223.06/223.24 c | 0 | 2046 77013 102576 | 25671 0 nan | 0.000 % | 223.06/223.25 c =============================================================================== 223.16/223.36 c core #506 223.16/223.36 c 223.16/223.36 c 223.16/223.36 c Core size: 10 Core Weight: 1 Total Weight: -494 223.16/223.36 c 223.16/223.36 c 223.16/223.36 c ============================[ Search Statistics ]============================== 223.16/223.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 223.16/223.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 223.16/223.36 c =============================================================================== 223.16/223.36 c | 0 | 2052 77014 102588 | 25671 0 nan | 0.000 % | 223.16/223.38 c =============================================================================== 223.25/223.48 c core #507 223.25/223.48 c 223.25/223.48 c 223.25/223.48 c Core size: 10 Core Weight: 1 Total Weight: -493 223.25/223.48 c 223.25/223.48 c 223.25/223.48 c ============================[ Search Statistics ]============================== 223.25/223.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 223.25/223.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 223.25/223.48 c =============================================================================== 223.25/223.48 c | 0 | 2058 77015 102600 | 25671 0 nan | 0.000 % | 223.35/223.50 c =============================================================================== 223.45/223.61 c core #508 223.45/223.61 c 223.45/223.61 c 223.45/223.61 c Core size: 10 Core Weight: 1 Total Weight: -492 223.45/223.61 c 223.45/223.61 c 223.45/223.61 c ============================[ Search Statistics ]============================== 223.45/223.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 223.45/223.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 223.45/223.61 c =============================================================================== 223.45/223.61 c | 0 | 2064 77016 102612 | 25672 0 nan | 0.000 % | 223.45/223.63 c =============================================================================== 223.55/223.73 c core #509 223.55/223.73 c 223.55/223.73 c 223.55/223.73 c Core size: 10 Core Weight: 1 Total Weight: -491 223.55/223.73 c 223.55/223.73 c 223.55/223.73 c ============================[ Search Statistics ]============================== 223.55/223.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 223.55/223.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 223.55/223.73 c =============================================================================== 223.55/223.73 c | 0 | 2070 77017 102624 | 25672 0 nan | 0.000 % | 223.55/223.75 c =============================================================================== 223.65/223.85 c core #510 223.65/223.85 c 223.65/223.85 c 223.65/223.85 c Core size: 10 Core Weight: 1 Total Weight: -490 223.65/223.85 c 223.65/223.85 c 223.65/223.85 c ============================[ Search Statistics ]============================== 223.65/223.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 223.65/223.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 223.65/223.85 c =============================================================================== 223.65/223.85 c | 0 | 2076 77018 102636 | 25672 0 nan | 0.000 % | 223.65/223.87 c =============================================================================== 223.75/223.98 c core #511 223.75/223.98 c 223.75/223.98 c 223.75/223.98 c Core size: 10 Core Weight: 1 Total Weight: -489 223.75/223.98 c 223.75/223.98 c 223.75/223.98 c ============================[ Search Statistics ]============================== 223.75/223.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 223.75/223.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 223.75/223.98 c =============================================================================== 223.75/223.98 c | 0 | 2082 77019 102648 | 25673 0 nan | 0.000 % | 223.75/223.99 c =============================================================================== 223.95/224.10 c core #512 223.95/224.10 c 223.95/224.10 c 223.95/224.10 c Core size: 10 Core Weight: 1 Total Weight: -488 223.95/224.10 c 223.95/224.10 c 223.95/224.10 c ============================[ Search Statistics ]============================== 223.95/224.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 223.95/224.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 223.95/224.10 c =============================================================================== 223.95/224.10 c | 0 | 2088 77020 102660 | 25673 0 nan | 0.000 % | 223.95/224.12 c =============================================================================== 224.05/224.22 c core #513 224.05/224.22 c 224.05/224.22 c 224.05/224.22 c Core size: 10 Core Weight: 1 Total Weight: -487 224.05/224.22 c 224.05/224.22 c 224.05/224.22 c ============================[ Search Statistics ]============================== 224.05/224.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 224.05/224.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 224.05/224.22 c =============================================================================== 224.05/224.22 c | 0 | 2094 77021 102672 | 25673 0 nan | 0.000 % | 224.05/224.24 c =============================================================================== 224.15/224.35 c core #514 224.15/224.35 c 224.15/224.35 c 224.15/224.35 c Core size: 10 Core Weight: 1 Total Weight: -486 224.15/224.35 c 224.15/224.35 c 224.15/224.35 c ============================[ Search Statistics ]============================== 224.15/224.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 224.15/224.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 224.15/224.35 c =============================================================================== 224.15/224.35 c | 0 | 2100 77022 102684 | 25674 0 nan | 0.000 % | 224.15/224.37 c =============================================================================== 224.25/224.47 c core #515 224.25/224.47 c 224.25/224.47 c 224.25/224.47 c Core size: 10 Core Weight: 1 Total Weight: -485 224.25/224.47 c 224.25/224.47 c 224.25/224.47 c ============================[ Search Statistics ]============================== 224.25/224.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 224.25/224.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 224.25/224.47 c =============================================================================== 224.25/224.47 c | 0 | 2106 77023 102696 | 25674 0 nan | 0.000 % | 224.25/224.49 c =============================================================================== 224.44/224.60 c core #516 224.44/224.60 c 224.44/224.60 c 224.44/224.60 c Core size: 14 Core Weight: 1 Total Weight: -484 224.44/224.60 c 224.44/224.60 c 224.44/224.60 c ============================[ Search Statistics ]============================== 224.44/224.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 224.44/224.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 224.44/224.60 c =============================================================================== 224.44/224.60 c | 0 | 2114 77024 102712 | 25674 0 nan | 0.000 % | 224.44/224.61 c =============================================================================== 224.54/224.72 c core #517 224.54/224.72 c 224.54/224.72 c 224.54/224.72 c Core size: 10 Core Weight: 1 Total Weight: -483 224.54/224.72 c 224.54/224.72 c 224.54/224.72 c ============================[ Search Statistics ]============================== 224.54/224.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 224.54/224.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 224.54/224.72 c =============================================================================== 224.54/224.72 c | 0 | 2120 77025 102724 | 25675 0 nan | 0.000 % | 224.54/224.73 c =============================================================================== 224.64/224.84 c core #518 224.64/224.84 c 224.64/224.84 c 224.64/224.84 c Core size: 10 Core Weight: 1 Total Weight: -482 224.64/224.84 c 224.64/224.84 c 224.64/224.84 c ============================[ Search Statistics ]============================== 224.64/224.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 224.64/224.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 224.64/224.84 c =============================================================================== 224.64/224.84 c | 0 | 2126 77026 102736 | 25675 0 nan | 0.000 % | 224.64/224.85 c =============================================================================== 224.74/224.96 c core #519 224.74/224.96 c 224.74/224.96 c 224.74/224.96 c Core size: 14 Core Weight: 1 Total Weight: -481 224.74/224.96 c 224.74/224.96 c 224.74/224.96 c ============================[ Search Statistics ]============================== 224.74/224.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 224.74/224.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 224.74/224.96 c =============================================================================== 224.74/224.96 c | 0 | 2134 77027 102752 | 25675 0 nan | 0.000 % | 224.74/224.97 c =============================================================================== 224.84/225.08 c core #520 224.84/225.08 c 224.84/225.08 c 224.84/225.08 c Core size: 10 Core Weight: 1 Total Weight: -480 224.84/225.08 c 224.84/225.08 c 224.84/225.08 c ============================[ Search Statistics ]============================== 224.84/225.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 224.84/225.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 224.84/225.08 c =============================================================================== 224.84/225.08 c | 0 | 2140 77028 102764 | 25676 0 nan | 0.000 % | 224.94/225.10 c =============================================================================== 225.04/225.21 c core #521 225.04/225.21 c 225.04/225.21 c 225.04/225.21 c Core size: 10 Core Weight: 1 Total Weight: -479 225.04/225.21 c 225.04/225.21 c 225.04/225.21 c ============================[ Search Statistics ]============================== 225.04/225.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 225.04/225.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 225.04/225.21 c =============================================================================== 225.04/225.21 c | 0 | 2146 77029 102776 | 25676 0 nan | 0.000 % | 225.04/225.22 c =============================================================================== 225.14/225.33 c core #522 225.14/225.33 c 225.14/225.33 c 225.14/225.33 c Core size: 10 Core Weight: 1 Total Weight: -478 225.14/225.33 c 225.14/225.33 c 225.14/225.33 c ============================[ Search Statistics ]============================== 225.14/225.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 225.14/225.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 225.14/225.33 c =============================================================================== 225.14/225.33 c | 0 | 2152 77030 102788 | 25676 0 nan | 0.000 % | 225.14/225.35 c =============================================================================== 225.25/225.46 c core #523 225.25/225.46 c 225.25/225.46 c 225.25/225.46 c Core size: 10 Core Weight: 1 Total Weight: -477 225.25/225.46 c 225.25/225.46 c 225.25/225.46 c ============================[ Search Statistics ]============================== 225.25/225.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 225.25/225.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 225.25/225.46 c =============================================================================== 225.25/225.46 c | 0 | 2158 77031 102800 | 25677 0 nan | 0.000 % | 225.25/225.46 c =============================================================================== 225.34/225.58 c core #524 225.34/225.58 c 225.34/225.58 c 225.34/225.58 c Core size: 10 Core Weight: 1 Total Weight: -476 225.34/225.58 c 225.34/225.58 c 225.34/225.58 c ============================[ Search Statistics ]============================== 225.34/225.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 225.34/225.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 225.34/225.58 c =============================================================================== 225.34/225.58 c | 0 | 2164 77032 102812 | 25677 0 nan | 0.000 % | 225.34/225.59 c =============================================================================== 225.54/225.70 c core #525 225.54/225.70 c 225.54/225.70 c 225.54/225.70 c Core size: 10 Core Weight: 1 Total Weight: -475 225.54/225.70 c 225.54/225.70 c 225.54/225.70 c ============================[ Search Statistics ]============================== 225.54/225.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 225.54/225.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 225.54/225.70 c =============================================================================== 225.54/225.70 c | 0 | 2170 77033 102824 | 25677 0 nan | 0.000 % | 225.54/225.71 c =============================================================================== 225.63/225.83 c core #526 225.63/225.83 c 225.63/225.83 c 225.63/225.83 c Core size: 10 Core Weight: 1 Total Weight: -474 225.63/225.83 c 225.63/225.83 c 225.63/225.83 c ============================[ Search Statistics ]============================== 225.63/225.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 225.63/225.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 225.63/225.83 c =============================================================================== 225.63/225.83 c | 0 | 2176 77034 102836 | 25678 0 nan | 0.000 % | 225.63/225.84 c =============================================================================== 225.73/225.95 c core #527 225.73/225.95 c 225.73/225.95 c 225.73/225.95 c Core size: 10 Core Weight: 1 Total Weight: -473 225.73/225.95 c 225.73/225.95 c 225.73/225.95 c ============================[ Search Statistics ]============================== 225.73/225.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 225.73/225.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 225.73/225.95 c =============================================================================== 225.73/225.95 c | 0 | 2182 77035 102848 | 25678 0 nan | 0.000 % | 225.73/225.96 c =============================================================================== 225.83/226.08 c core #528 225.83/226.08 c 225.83/226.08 c 225.83/226.08 c Core size: 10 Core Weight: 1 Total Weight: -472 225.83/226.08 c 225.83/226.08 c 225.83/226.08 c ============================[ Search Statistics ]============================== 225.83/226.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 225.83/226.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 225.83/226.08 c =============================================================================== 225.83/226.08 c | 0 | 2188 77036 102860 | 25678 0 nan | 0.000 % | 225.83/226.09 c =============================================================================== 226.03/226.20 c core #529 226.03/226.20 c 226.03/226.20 c 226.03/226.20 c Core size: 10 Core Weight: 1 Total Weight: -471 226.03/226.20 c 226.03/226.20 c 226.03/226.20 c ============================[ Search Statistics ]============================== 226.03/226.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 226.03/226.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 226.03/226.20 c =============================================================================== 226.03/226.20 c | 0 | 2194 77037 102872 | 25679 0 nan | 0.000 % | 226.03/226.21 c =============================================================================== 226.13/226.32 c core #530 226.13/226.32 c 226.13/226.32 c 226.13/226.32 c Core size: 10 Core Weight: 1 Total Weight: -470 226.13/226.32 c 226.13/226.32 c 226.13/226.32 c ============================[ Search Statistics ]============================== 226.13/226.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 226.13/226.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 226.13/226.33 c =============================================================================== 226.13/226.33 c | 0 | 2200 77038 102884 | 25679 0 nan | 0.000 % | 226.13/226.33 c =============================================================================== 226.23/226.45 c core #531 226.23/226.45 c 226.23/226.45 c 226.23/226.45 c Core size: 10 Core Weight: 1 Total Weight: -469 226.23/226.45 c 226.23/226.45 c 226.23/226.45 c ============================[ Search Statistics ]============================== 226.23/226.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 226.23/226.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 226.23/226.45 c =============================================================================== 226.23/226.45 c | 0 | 2206 77039 102896 | 25679 0 nan | 0.000 % | 226.23/226.46 c =============================================================================== 226.34/226.57 c core #532 226.34/226.57 c 226.34/226.57 c 226.34/226.57 c Core size: 10 Core Weight: 1 Total Weight: -468 226.34/226.57 c 226.34/226.57 c 226.34/226.57 c ============================[ Search Statistics ]============================== 226.34/226.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 226.34/226.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 226.34/226.57 c =============================================================================== 226.34/226.57 c | 0 | 2212 77040 102908 | 25680 0 nan | 0.000 % | 226.34/226.58 c =============================================================================== 226.44/226.70 c core #533 226.44/226.70 c 226.44/226.70 c 226.44/226.70 c Core size: 10 Core Weight: 1 Total Weight: -467 226.44/226.70 c 226.44/226.70 c 226.44/226.70 c ============================[ Search Statistics ]============================== 226.53/226.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 226.53/226.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 226.53/226.70 c =============================================================================== 226.53/226.70 c | 0 | 2218 77041 102920 | 25680 0 nan | 0.000 % | 226.53/226.70 c =============================================================================== 226.63/226.82 c core #534 226.63/226.82 c 226.63/226.82 c 226.63/226.82 c Core size: 10 Core Weight: 1 Total Weight: -466 226.63/226.82 c 226.63/226.82 c 226.63/226.82 c ============================[ Search Statistics ]============================== 226.63/226.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 226.63/226.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 226.63/226.82 c =============================================================================== 226.63/226.82 c | 0 | 2224 77042 102932 | 25680 0 nan | 0.000 % | 226.63/226.83 c =============================================================================== 226.73/226.94 c core #535 226.73/226.94 c 226.73/226.94 c 226.73/226.94 c Core size: 10 Core Weight: 1 Total Weight: -465 226.73/226.94 c 226.73/226.94 c 226.73/226.94 c ============================[ Search Statistics ]============================== 226.73/226.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 226.73/226.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 226.73/226.94 c =============================================================================== 226.73/226.94 c | 0 | 2230 77043 102944 | 25681 0 nan | 0.000 % | 226.73/226.95 c =============================================================================== 226.83/227.07 c core #536 226.83/227.07 c 226.83/227.07 c 226.83/227.07 c Core size: 10 Core Weight: 1 Total Weight: -464 226.83/227.07 c 226.83/227.07 c 226.83/227.07 c ============================[ Search Statistics ]============================== 226.83/227.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 226.83/227.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 226.83/227.07 c =============================================================================== 226.83/227.07 c | 0 | 2236 77044 102956 | 25681 0 nan | 0.000 % | 226.83/227.08 c =============================================================================== 226.93/227.19 c core #537 226.93/227.19 c 226.93/227.19 c 226.93/227.19 c Core size: 10 Core Weight: 1 Total Weight: -463 226.93/227.19 c 226.93/227.19 c 226.93/227.19 c ============================[ Search Statistics ]============================== 226.93/227.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 226.93/227.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 226.93/227.19 c =============================================================================== 226.93/227.19 c | 0 | 2242 77045 102968 | 25681 0 nan | 0.000 % | 227.03/227.20 c =============================================================================== 227.13/227.32 c core #538 227.13/227.32 c 227.13/227.32 c 227.13/227.32 c Core size: 10 Core Weight: 1 Total Weight: -462 227.13/227.32 c 227.13/227.32 c 227.13/227.32 c ============================[ Search Statistics ]============================== 227.13/227.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.13/227.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.13/227.32 c =============================================================================== 227.13/227.32 c | 0 | 2248 77046 102980 | 25682 0 nan | 0.000 % | 227.13/227.33 c =============================================================================== 227.23/227.44 c core #539 227.23/227.44 c 227.23/227.44 c 227.23/227.44 c Core size: 10 Core Weight: 1 Total Weight: -461 227.23/227.44 c 227.23/227.44 c 227.23/227.44 c ============================[ Search Statistics ]============================== 227.23/227.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.23/227.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.23/227.44 c =============================================================================== 227.23/227.44 c | 0 | 2254 77047 102992 | 25682 0 nan | 0.000 % | 227.23/227.45 c =============================================================================== 227.33/227.57 c core #540 227.33/227.57 c 227.33/227.57 c 227.33/227.57 c Core size: 10 Core Weight: 1 Total Weight: -460 227.33/227.57 c 227.33/227.57 c 227.33/227.57 c ============================[ Search Statistics ]============================== 227.33/227.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.33/227.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.33/227.57 c =============================================================================== 227.33/227.57 c | 0 | 2260 77048 103004 | 25682 0 nan | 0.000 % | 227.33/227.58 c =============================================================================== 227.43/227.69 c core #541 227.43/227.69 c 227.43/227.69 c 227.43/227.69 c Core size: 10 Core Weight: 1 Total Weight: -459 227.43/227.69 c 227.43/227.69 c 227.43/227.69 c ============================[ Search Statistics ]============================== 227.43/227.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.43/227.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.43/227.69 c =============================================================================== 227.43/227.69 c | 0 | 2266 77049 103016 | 25683 0 nan | 0.000 % | 227.53/227.70 c =============================================================================== 227.62/227.82 c core #542 227.62/227.82 c 227.62/227.82 c 227.62/227.82 c Core size: 12 Core Weight: 1 Total Weight: -458 227.62/227.82 c 227.62/227.82 c 227.62/227.82 c ============================[ Search Statistics ]============================== 227.62/227.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.62/227.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.62/227.82 c =============================================================================== 227.62/227.82 c | 0 | 2274 77050 103032 | 25683 0 nan | 0.000 % | 227.62/227.83 c =============================================================================== 227.72/227.95 c core #543 227.72/227.95 c 227.72/227.95 c 227.72/227.95 c Core size: 10 Core Weight: 1 Total Weight: -457 227.72/227.95 c 227.72/227.95 c 227.72/227.95 c ============================[ Search Statistics ]============================== 227.72/227.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.72/227.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.72/227.95 c =============================================================================== 227.72/227.95 c | 0 | 2280 77051 103044 | 25683 0 nan | 0.000 % | 227.72/227.96 c =============================================================================== 227.82/228.07 c core #544 227.82/228.07 c 227.82/228.07 c 227.82/228.07 c Core size: 12 Core Weight: 1 Total Weight: -456 227.82/228.07 c 227.82/228.07 c 227.82/228.07 c ============================[ Search Statistics ]============================== 227.82/228.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.82/228.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.82/228.07 c =============================================================================== 227.82/228.07 c | 0 | 2286 77052 103056 | 25684 0 nan | 0.000 % | 227.82/228.08 c =============================================================================== 228.02/228.20 c core #545 228.02/228.20 c 228.02/228.20 c 228.02/228.20 c Core size: 10 Core Weight: 1 Total Weight: -455 228.02/228.20 c 228.02/228.20 c 228.02/228.20 c ============================[ Search Statistics ]============================== 228.02/228.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.02/228.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.02/228.20 c =============================================================================== 228.02/228.20 c | 0 | 2292 77053 103068 | 25684 0 nan | 0.000 % | 228.02/228.21 c =============================================================================== 228.13/228.33 c core #546 228.13/228.33 c 228.13/228.33 c 228.13/228.33 c Core size: 10 Core Weight: 1 Total Weight: -454 228.13/228.33 c 228.13/228.33 c 228.13/228.33 c ============================[ Search Statistics ]============================== 228.13/228.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.13/228.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.13/228.33 c =============================================================================== 228.13/228.33 c | 0 | 2298 77054 103080 | 25684 0 nan | 0.000 % | 228.13/228.34 c =============================================================================== 228.23/228.45 c core #547 228.23/228.45 c 228.23/228.45 c 228.23/228.45 c Core size: 10 Core Weight: 1 Total Weight: -453 228.23/228.45 c 228.23/228.45 c 228.23/228.45 c ============================[ Search Statistics ]============================== 228.23/228.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.23/228.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.23/228.45 c =============================================================================== 228.23/228.45 c | 0 | 2304 77055 103092 | 25685 0 nan | 0.000 % | 228.23/228.46 c =============================================================================== 228.33/228.58 c core #548 228.33/228.58 c 228.33/228.58 c 228.33/228.58 c Core size: 8 Core Weight: 1 Total Weight: -452 228.33/228.58 c 228.33/228.58 c 228.33/228.58 c ============================[ Search Statistics ]============================== 228.33/228.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.33/228.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.33/228.58 c =============================================================================== 228.33/228.58 c | 0 | 2308 77056 103100 | 25685 0 nan | 0.000 % | 228.33/228.59 c =============================================================================== 228.54/228.71 c core #549 228.54/228.71 c 228.54/228.71 c 228.54/228.71 c Core size: 10 Core Weight: 1 Total Weight: -451 228.54/228.71 c 228.54/228.71 c 228.54/228.71 c ============================[ Search Statistics ]============================== 228.54/228.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.54/228.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.54/228.71 c =============================================================================== 228.54/228.71 c | 0 | 2314 77057 103112 | 25685 0 nan | 0.000 % | 228.54/228.72 c =============================================================================== 228.64/228.83 c core #550 228.64/228.83 c 228.64/228.83 c 228.64/228.83 c Core size: 10 Core Weight: 1 Total Weight: -450 228.64/228.83 c 228.64/228.83 c 228.64/228.83 c ============================[ Search Statistics ]============================== 228.64/228.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.64/228.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.64/228.83 c =============================================================================== 228.64/228.83 c | 0 | 2320 77058 103124 | 25686 0 nan | 0.000 % | 228.64/228.84 c =============================================================================== 228.73/228.96 c core #551 228.73/228.96 c 228.73/228.96 c 228.73/228.96 c Core size: 10 Core Weight: 1 Total Weight: -449 228.73/228.96 c 228.73/228.96 c 228.73/228.96 c ============================[ Search Statistics ]============================== 228.73/228.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.73/228.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.73/228.96 c =============================================================================== 228.73/228.96 c | 0 | 2326 77059 103136 | 25686 0 nan | 0.000 % | 228.73/228.97 c =============================================================================== 228.83/229.08 c core #552 228.83/229.08 c 228.83/229.08 c 228.83/229.08 c Core size: 10 Core Weight: 1 Total Weight: -448 228.83/229.08 c 228.83/229.08 c 228.83/229.08 c ============================[ Search Statistics ]============================== 228.83/229.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.83/229.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.83/229.08 c =============================================================================== 228.83/229.08 c | 0 | 2332 77060 103148 | 25686 0 nan | 0.000 % | 228.83/229.09 c =============================================================================== 229.03/229.21 c core #553 229.03/229.21 c 229.03/229.21 c 229.03/229.21 c Core size: 10 Core Weight: 1 Total Weight: -447 229.03/229.21 c 229.03/229.21 c 229.03/229.21 c ============================[ Search Statistics ]============================== 229.03/229.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.03/229.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.03/229.21 c =============================================================================== 229.03/229.21 c | 0 | 2338 77061 103160 | 25687 0 nan | 0.000 % | 229.03/229.22 c =============================================================================== 229.13/229.33 c core #554 229.13/229.33 c 229.13/229.33 c 229.13/229.33 c Core size: 14 Core Weight: 1 Total Weight: -446 229.13/229.33 c 229.13/229.33 c 229.13/229.33 c ============================[ Search Statistics ]============================== 229.13/229.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.13/229.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.13/229.33 c =============================================================================== 229.13/229.33 c | 0 | 2346 77062 103176 | 25687 0 nan | 0.000 % | 229.13/229.34 c =============================================================================== 229.23/229.46 c core #555 229.23/229.46 c 229.23/229.46 c 229.23/229.46 c Core size: 10 Core Weight: 1 Total Weight: -445 229.23/229.46 c 229.23/229.46 c 229.23/229.46 c ============================[ Search Statistics ]============================== 229.23/229.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.23/229.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.23/229.46 c =============================================================================== 229.23/229.46 c | 0 | 2352 77063 103188 | 25687 0 nan | 0.000 % | 229.23/229.47 c =============================================================================== 229.33/229.58 c core #556 229.33/229.58 c 229.33/229.58 c 229.33/229.58 c Core size: 14 Core Weight: 1 Total Weight: -444 229.33/229.58 c 229.33/229.58 c 229.33/229.58 c ============================[ Search Statistics ]============================== 229.33/229.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.33/229.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.33/229.58 c =============================================================================== 229.33/229.58 c | 0 | 2360 77064 103204 | 25688 0 nan | 0.000 % | 229.43/229.60 c =============================================================================== 229.53/229.71 c core #557 229.53/229.71 c 229.53/229.71 c 229.53/229.71 c Core size: 16 Core Weight: 1 Total Weight: -443 229.53/229.71 c 229.53/229.71 c 229.53/229.71 c ============================[ Search Statistics ]============================== 229.53/229.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.53/229.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.53/229.71 c =============================================================================== 229.53/229.71 c | 0 | 2370 77065 103224 | 25688 0 nan | 0.000 % | 229.53/229.73 c =============================================================================== 229.63/229.84 c core #558 229.63/229.84 c 229.63/229.84 c 229.63/229.84 c Core size: 16 Core Weight: 1 Total Weight: -442 229.63/229.84 c 229.63/229.84 c 229.63/229.84 c ============================[ Search Statistics ]============================== 229.63/229.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.63/229.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.63/229.84 c =============================================================================== 229.63/229.84 c | 0 | 2380 77066 103244 | 25688 0 nan | 0.000 % | 229.63/229.85 c =============================================================================== 229.73/229.97 c core #559 229.73/229.97 c 229.73/229.97 c 229.73/229.97 c Core size: 10 Core Weight: 1 Total Weight: -441 229.73/229.97 c 229.73/229.97 c 229.73/229.97 c ============================[ Search Statistics ]============================== 229.73/229.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.73/229.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.73/229.97 c =============================================================================== 229.73/229.97 c | 0 | 2386 77067 103256 | 25689 0 nan | 0.000 % | 229.73/229.98 c =============================================================================== 229.83/230.10 c core #560 229.83/230.10 c 229.83/230.10 c 229.83/230.10 c Core size: 14 Core Weight: 1 Total Weight: -440 229.83/230.10 c 229.83/230.10 c 229.83/230.10 c ============================[ Search Statistics ]============================== 229.83/230.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.83/230.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.83/230.10 c =============================================================================== 229.83/230.10 c | 0 | 2394 77068 103272 | 25689 0 nan | 0.000 % | 229.92/230.11 c =============================================================================== 230.03/230.22 c core #561 230.03/230.22 c 230.03/230.22 c 230.03/230.22 c Core size: 14 Core Weight: 1 Total Weight: -439 230.03/230.22 c 230.03/230.22 c 230.03/230.22 c ============================[ Search Statistics ]============================== 230.03/230.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.03/230.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.03/230.22 c =============================================================================== 230.03/230.22 c | 0 | 2402 77069 103288 | 25689 0 nan | 0.000 % | 230.03/230.23 c =============================================================================== 230.12/230.35 c core #562 230.12/230.35 c 230.12/230.35 c 230.12/230.35 c Core size: 12 Core Weight: 1 Total Weight: -438 230.12/230.35 c 230.12/230.35 c 230.12/230.35 c ============================[ Search Statistics ]============================== 230.12/230.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.12/230.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.12/230.35 c =============================================================================== 230.12/230.35 c | 0 | 2410 77070 103304 | 25690 0 nan | 0.000 % | 230.12/230.36 c =============================================================================== 230.22/230.48 c core #563 230.22/230.48 c 230.22/230.48 c 230.22/230.48 c Core size: 16 Core Weight: 1 Total Weight: -437 230.22/230.48 c 230.22/230.48 c 230.22/230.48 c ============================[ Search Statistics ]============================== 230.22/230.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.22/230.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.22/230.48 c =============================================================================== 230.22/230.48 c | 0 | 2420 77071 103324 | 25690 0 nan | 0.000 % | 230.22/230.49 c =============================================================================== 230.42/230.61 c core #564 230.42/230.61 c 230.42/230.61 c 230.42/230.61 c Core size: 16 Core Weight: 1 Total Weight: -436 230.42/230.61 c 230.42/230.61 c 230.42/230.61 c ============================[ Search Statistics ]============================== 230.42/230.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.42/230.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.42/230.61 c =============================================================================== 230.42/230.61 c | 0 | 2430 77072 103344 | 25690 0 nan | 0.000 % | 230.42/230.62 c =============================================================================== 230.52/230.74 c core #565 230.52/230.74 c 230.52/230.74 c 230.52/230.74 c Core size: 10 Core Weight: 1 Total Weight: -435 230.52/230.74 c 230.52/230.74 c 230.52/230.74 c ============================[ Search Statistics ]============================== 230.52/230.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.52/230.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.52/230.74 c =============================================================================== 230.52/230.74 c | 0 | 2436 77073 103356 | 25691 0 nan | 0.000 % | 230.52/230.75 c =============================================================================== 230.62/230.87 c core #566 230.62/230.87 c 230.62/230.87 c 230.62/230.87 c Core size: 16 Core Weight: 1 Total Weight: -434 230.62/230.87 c 230.62/230.87 c 230.62/230.87 c ============================[ Search Statistics ]============================== 230.62/230.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.62/230.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.62/230.87 c =============================================================================== 230.62/230.87 c | 0 | 2446 77074 103376 | 25691 0 nan | 0.000 % | 230.62/230.88 c =============================================================================== 230.73/231.00 c core #567 230.73/231.00 c 230.73/231.00 c 230.73/231.00 c Core size: 12 Core Weight: 1 Total Weight: -433 230.73/231.00 c 230.73/231.00 c 230.73/231.00 c ============================[ Search Statistics ]============================== 230.73/231.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.73/231.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.73/231.00 c =============================================================================== 230.73/231.00 c | 0 | 2454 77075 103392 | 25691 0 nan | 0.000 % | 230.83/231.01 c =============================================================================== 230.92/231.13 c core #568 230.92/231.13 c 230.92/231.13 c 230.92/231.13 c Core size: 14 Core Weight: 1 Total Weight: -432 230.92/231.13 c 230.92/231.13 c 230.92/231.13 c ============================[ Search Statistics ]============================== 230.92/231.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.92/231.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.92/231.13 c =============================================================================== 230.92/231.13 c | 0 | 2462 77076 103408 | 25692 0 nan | 0.000 % | 230.92/231.13 c =============================================================================== 231.02/231.26 c core #569 231.02/231.26 c 231.02/231.26 c 231.02/231.26 c Core size: 14 Core Weight: 1 Total Weight: -431 231.02/231.26 c 231.02/231.26 c 231.02/231.26 c ============================[ Search Statistics ]============================== 231.02/231.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.02/231.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.02/231.26 c =============================================================================== 231.02/231.26 c | 0 | 2470 77077 103424 | 25692 0 nan | 0.000 % | 231.02/231.26 c =============================================================================== 231.12/231.38 c core #570 231.12/231.38 c 231.12/231.38 c 231.12/231.38 c Core size: 14 Core Weight: 1 Total Weight: -430 231.12/231.38 c 231.12/231.38 c 231.12/231.38 c ============================[ Search Statistics ]============================== 231.12/231.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.12/231.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.12/231.38 c =============================================================================== 231.12/231.38 c | 0 | 2478 77078 103440 | 25692 0 nan | 0.000 % | 231.12/231.39 c =============================================================================== 231.32/231.52 c core #571 231.32/231.52 c 231.32/231.52 c 231.32/231.52 c Core size: 14 Core Weight: 1 Total Weight: -429 231.32/231.52 c 231.32/231.52 c 231.32/231.52 c ============================[ Search Statistics ]============================== 231.32/231.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.32/231.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.32/231.52 c =============================================================================== 231.32/231.52 c | 0 | 2486 77079 103456 | 25693 0 nan | 0.000 % | 231.32/231.52 c =============================================================================== 231.42/231.65 c core #572 231.42/231.65 c 231.42/231.65 c 231.42/231.65 c Core size: 10 Core Weight: 1 Total Weight: -428 231.42/231.65 c 231.42/231.65 c 231.42/231.65 c ============================[ Search Statistics ]============================== 231.42/231.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.42/231.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.42/231.65 c =============================================================================== 231.42/231.65 c | 0 | 2492 77080 103468 | 25693 0 nan | 0.000 % | 231.42/231.66 c =============================================================================== 231.52/231.78 c core #573 231.52/231.78 c 231.52/231.78 c 231.52/231.78 c Core size: 16 Core Weight: 1 Total Weight: -427 231.52/231.78 c 231.52/231.78 c 231.52/231.78 c ============================[ Search Statistics ]============================== 231.52/231.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.52/231.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.52/231.78 c =============================================================================== 231.52/231.78 c | 0 | 2502 77081 103488 | 25693 0 nan | 0.000 % | 231.52/231.78 c =============================================================================== 231.71/231.90 c core #574 231.71/231.90 c 231.71/231.90 c 231.71/231.90 c Core size: 10 Core Weight: 1 Total Weight: -426 231.71/231.90 c 231.71/231.90 c 231.71/231.90 c ============================[ Search Statistics ]============================== 231.71/231.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.71/231.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.71/231.91 c =============================================================================== 231.71/231.91 c | 0 | 2508 77082 103500 | 25694 0 nan | 0.000 % | 231.71/231.91 c =============================================================================== 231.82/232.04 c core #575 231.82/232.04 c 231.82/232.04 c 231.82/232.04 c Core size: 12 Core Weight: 1 Total Weight: -425 231.82/232.04 c 231.82/232.04 c 231.82/232.04 c ============================[ Search Statistics ]============================== 231.82/232.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.82/232.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.82/232.04 c =============================================================================== 231.82/232.04 c | 0 | 2516 77083 103516 | 25694 0 nan | 0.000 % | 231.82/232.05 c =============================================================================== 231.92/232.17 c core #576 231.92/232.17 c 231.92/232.17 c 231.92/232.17 c Core size: 14 Core Weight: 1 Total Weight: -424 231.92/232.17 c 231.92/232.17 c 231.92/232.17 c ============================[ Search Statistics ]============================== 231.92/232.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.92/232.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.92/232.17 c =============================================================================== 231.92/232.17 c | 0 | 2524 77084 103532 | 25694 0 nan | 0.000 % | 231.92/232.18 c =============================================================================== 232.11/232.30 c core #577 232.11/232.30 c 232.11/232.30 c 232.11/232.30 c Core size: 10 Core Weight: 1 Total Weight: -423 232.11/232.30 c 232.11/232.30 c 232.11/232.30 c ============================[ Search Statistics ]============================== 232.11/232.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.11/232.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.11/232.30 c =============================================================================== 232.11/232.30 c | 0 | 2530 77085 103544 | 25695 0 nan | 0.000 % | 232.11/232.31 c =============================================================================== 232.21/232.43 c core #578 232.21/232.43 c 232.21/232.43 c 232.21/232.43 c Core size: 16 Core Weight: 1 Total Weight: -422 232.21/232.43 c 232.21/232.43 c 232.21/232.43 c ============================[ Search Statistics ]============================== 232.21/232.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.21/232.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.21/232.43 c =============================================================================== 232.21/232.43 c | 0 | 2540 77086 103564 | 25695 0 nan | 0.000 % | 232.21/232.44 c =============================================================================== 232.31/232.56 c core #579 232.31/232.56 c 232.31/232.56 c 232.31/232.56 c Core size: 10 Core Weight: 1 Total Weight: -421 232.31/232.56 c 232.31/232.56 c 232.31/232.56 c ============================[ Search Statistics ]============================== 232.31/232.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.31/232.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.31/232.56 c =============================================================================== 232.31/232.56 c | 0 | 2546 77087 103576 | 25695 0 nan | 0.000 % | 232.31/232.57 c =============================================================================== 232.41/232.69 c core #580 232.41/232.69 c 232.41/232.69 c 232.41/232.69 c Core size: 12 Core Weight: 1 Total Weight: -420 232.41/232.69 c 232.41/232.69 c 232.41/232.69 c ============================[ Search Statistics ]============================== 232.41/232.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.41/232.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.41/232.69 c =============================================================================== 232.41/232.69 c | 0 | 2554 77088 103592 | 25696 0 nan | 0.000 % | 232.51/232.70 c =============================================================================== 232.61/232.83 c core #581 232.61/232.83 c 232.61/232.83 c 232.61/232.83 c Core size: 14 Core Weight: 1 Total Weight: -419 232.61/232.83 c 232.61/232.83 c 232.61/232.83 c ============================[ Search Statistics ]============================== 232.61/232.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.61/232.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.61/232.83 c =============================================================================== 232.61/232.83 c | 0 | 2562 77089 103608 | 25696 0 nan | 0.000 % | 232.61/232.84 c =============================================================================== 232.71/232.96 c core #582 232.71/232.96 c 232.71/232.96 c 232.71/232.96 c Core size: 10 Core Weight: 1 Total Weight: -418 232.71/232.96 c 232.71/232.96 c 232.71/232.96 c ============================[ Search Statistics ]============================== 232.71/232.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.71/232.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.71/232.96 c =============================================================================== 232.71/232.96 c | 0 | 2568 77090 103620 | 25696 0 nan | 0.000 % | 232.71/232.97 c =============================================================================== 232.81/233.09 c core #583 232.81/233.09 c 232.81/233.09 c 232.81/233.09 c Core size: 14 Core Weight: 1 Total Weight: -417 232.81/233.09 c 232.81/233.09 c 232.81/233.09 c ============================[ Search Statistics ]============================== 232.81/233.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.81/233.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.81/233.09 c =============================================================================== 232.81/233.09 c | 0 | 2576 77091 103636 | 25697 0 nan | 0.000 % | 232.81/233.10 c =============================================================================== 233.02/233.22 c core #584 233.02/233.22 c 233.02/233.22 c 233.02/233.22 c Core size: 10 Core Weight: 1 Total Weight: -416 233.02/233.22 c 233.02/233.22 c 233.02/233.22 c ============================[ Search Statistics ]============================== 233.02/233.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.02/233.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.02/233.22 c =============================================================================== 233.02/233.22 c | 0 | 2582 77092 103648 | 25697 0 nan | 0.000 % | 233.02/233.23 c =============================================================================== 233.11/233.35 c core #585 233.11/233.35 c 233.11/233.35 c 233.11/233.35 c Core size: 10 Core Weight: 1 Total Weight: -415 233.11/233.35 c 233.11/233.35 c 233.11/233.35 c ============================[ Search Statistics ]============================== 233.11/233.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.11/233.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.11/233.35 c =============================================================================== 233.11/233.35 c | 0 | 2588 77093 103660 | 25697 0 nan | 0.000 % | 233.11/233.36 c =============================================================================== 233.21/233.49 c core #586 233.21/233.49 c 233.21/233.49 c 233.21/233.49 c Core size: 12 Core Weight: 1 Total Weight: -414 233.21/233.49 c 233.21/233.49 c 233.21/233.49 c ============================[ Search Statistics ]============================== 233.21/233.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.21/233.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.21/233.49 c =============================================================================== 233.21/233.49 c | 0 | 2596 77094 103676 | 25698 0 nan | 0.000 % | 233.31/233.50 c =============================================================================== 233.41/233.62 c core #587 233.41/233.62 c 233.41/233.62 c 233.41/233.62 c Core size: 10 Core Weight: 1 Total Weight: -413 233.41/233.62 c 233.41/233.62 c 233.41/233.62 c ============================[ Search Statistics ]============================== 233.41/233.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.41/233.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.41/233.62 c =============================================================================== 233.41/233.62 c | 0 | 2602 77095 103688 | 25698 0 nan | 0.000 % | 233.41/233.62 c =============================================================================== 233.51/233.75 c core #588 233.51/233.75 c 233.51/233.75 c 233.51/233.75 c Core size: 12 Core Weight: 1 Total Weight: -412 233.51/233.75 c 233.51/233.75 c 233.51/233.75 c ============================[ Search Statistics ]============================== 233.51/233.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.51/233.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.51/233.75 c =============================================================================== 233.51/233.75 c | 0 | 2610 77096 103704 | 25698 0 nan | 0.000 % | 233.51/233.76 c =============================================================================== 233.61/233.88 c core #589 233.61/233.88 c 233.61/233.88 c 233.61/233.88 c Core size: 10 Core Weight: 1 Total Weight: -411 233.61/233.88 c 233.61/233.88 c 233.61/233.88 c ============================[ Search Statistics ]============================== 233.61/233.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.61/233.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.61/233.88 c =============================================================================== 233.61/233.88 c | 0 | 2616 77097 103716 | 25699 0 nan | 0.000 % | 233.61/233.89 c =============================================================================== 233.81/234.02 c core #590 233.81/234.02 c 233.81/234.02 c 233.81/234.02 c Core size: 16 Core Weight: 1 Total Weight: -410 233.81/234.02 c 233.81/234.02 c 233.81/234.02 c ============================[ Search Statistics ]============================== 233.81/234.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.81/234.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.81/234.02 c =============================================================================== 233.81/234.02 c | 0 | 2626 77098 103736 | 25699 0 nan | 0.000 % | 233.81/234.03 c =============================================================================== 233.91/234.15 c core #591 233.91/234.15 c 233.91/234.15 c 233.91/234.15 c Core size: 14 Core Weight: 1 Total Weight: -409 233.91/234.15 c 233.91/234.15 c 233.91/234.15 c ============================[ Search Statistics ]============================== 233.91/234.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.91/234.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.91/234.15 c =============================================================================== 233.91/234.15 c | 0 | 2634 77099 103752 | 25699 0 nan | 0.000 % | 233.91/234.16 c =============================================================================== 234.01/234.28 c core #592 234.01/234.28 c 234.01/234.28 c 234.01/234.28 c Core size: 14 Core Weight: 1 Total Weight: -408 234.01/234.28 c 234.01/234.28 c 234.01/234.28 c ============================[ Search Statistics ]============================== 234.01/234.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.01/234.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.01/234.28 c =============================================================================== 234.01/234.28 c | 0 | 2642 77100 103768 | 25700 0 nan | 0.000 % | 234.01/234.29 c =============================================================================== 234.20/234.41 c core #593 234.20/234.41 c 234.20/234.41 c 234.20/234.41 c Core size: 14 Core Weight: 1 Total Weight: -407 234.20/234.41 c 234.20/234.41 c 234.20/234.41 c ============================[ Search Statistics ]============================== 234.20/234.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.20/234.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.20/234.41 c =============================================================================== 234.20/234.41 c | 0 | 2650 77101 103784 | 25700 0 nan | 0.000 % | 234.20/234.42 c =============================================================================== 234.30/234.55 c core #594 234.30/234.55 c 234.30/234.55 c 234.30/234.55 c Core size: 14 Core Weight: 1 Total Weight: -406 234.30/234.55 c 234.30/234.55 c 234.30/234.55 c ============================[ Search Statistics ]============================== 234.30/234.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.30/234.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.30/234.55 c =============================================================================== 234.30/234.55 c | 0 | 2658 77102 103800 | 25700 0 nan | 0.000 % | 234.30/234.55 c =============================================================================== 234.40/234.68 c core #595 234.40/234.68 c 234.40/234.68 c 234.40/234.68 c Core size: 14 Core Weight: 1 Total Weight: -405 234.40/234.68 c 234.40/234.68 c 234.40/234.68 c ============================[ Search Statistics ]============================== 234.40/234.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.40/234.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.40/234.68 c =============================================================================== 234.40/234.68 c | 0 | 2666 77103 103816 | 25701 0 nan | 0.000 % | 234.40/234.69 c =============================================================================== 234.60/234.81 c core #596 234.60/234.81 c 234.60/234.81 c 234.60/234.81 c Core size: 10 Core Weight: 1 Total Weight: -404 234.60/234.81 c 234.60/234.81 c 234.60/234.81 c ============================[ Search Statistics ]============================== 234.60/234.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.60/234.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.60/234.82 c =============================================================================== 234.60/234.82 c | 0 | 2672 77104 103828 | 25701 0 nan | 0.000 % | 234.60/234.82 c =============================================================================== 234.70/234.95 c core #597 234.70/234.95 c 234.70/234.95 c 234.70/234.95 c Core size: 10 Core Weight: 1 Total Weight: -403 234.70/234.95 c 234.70/234.95 c 234.70/234.95 c ============================[ Search Statistics ]============================== 234.70/234.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.70/234.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.70/234.95 c =============================================================================== 234.70/234.95 c | 0 | 2678 77105 103840 | 25701 0 nan | 0.000 % | 234.70/234.96 c =============================================================================== 234.80/235.08 c core #598 234.80/235.08 c 234.80/235.08 c 234.80/235.08 c Core size: 16 Core Weight: 1 Total Weight: -402 234.80/235.08 c 234.80/235.08 c 234.80/235.08 c ============================[ Search Statistics ]============================== 234.80/235.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.80/235.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.80/235.08 c =============================================================================== 234.80/235.08 c | 0 | 2688 77106 103860 | 25702 0 nan | 0.000 % | 234.80/235.09 c =============================================================================== 235.00/235.22 c core #599 235.00/235.22 c 235.00/235.22 c 235.00/235.22 c Core size: 12 Core Weight: 1 Total Weight: -401 235.00/235.22 c 235.00/235.22 c 235.00/235.22 c ============================[ Search Statistics ]============================== 235.00/235.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.00/235.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.00/235.22 c =============================================================================== 235.00/235.22 c | 0 | 2696 77107 103876 | 25702 0 nan | 0.000 % | 235.00/235.23 c =============================================================================== 235.12/235.35 c core #600 235.12/235.35 c 235.12/235.35 c 235.12/235.35 c Core size: 16 Core Weight: 1 Total Weight: -400 235.12/235.35 c 235.12/235.35 c 235.12/235.35 c ============================[ Search Statistics ]============================== 235.12/235.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.12/235.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.12/235.35 c =============================================================================== 235.12/235.35 c | 0 | 2706 77108 103896 | 25702 0 nan | 0.000 % | 235.12/235.36 c =============================================================================== 235.22/235.49 c core #601 235.22/235.49 c 235.22/235.49 c 235.22/235.49 c Core size: 10 Core Weight: 1 Total Weight: -399 235.22/235.49 c 235.22/235.49 c 235.22/235.49 c ============================[ Search Statistics ]============================== 235.22/235.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.22/235.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.22/235.49 c =============================================================================== 235.22/235.49 c | 0 | 2712 77109 103908 | 25703 0 nan | 0.000 % | 235.22/235.49 c =============================================================================== 235.41/235.62 c core #602 235.41/235.62 c 235.41/235.62 c 235.41/235.62 c Core size: 12 Core Weight: 1 Total Weight: -398 235.41/235.62 c 235.41/235.62 c 235.41/235.62 c ============================[ Search Statistics ]============================== 235.41/235.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.41/235.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.41/235.62 c =============================================================================== 235.41/235.62 c | 0 | 2720 77110 103924 | 25703 0 nan | 0.000 % | 235.41/235.63 c =============================================================================== 235.51/235.76 c core #603 235.51/235.76 c 235.51/235.76 c 235.51/235.76 c Core size: 16 Core Weight: 1 Total Weight: -397 235.51/235.76 c 235.51/235.76 c 235.51/235.76 c ============================[ Search Statistics ]============================== 235.51/235.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.51/235.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.51/235.76 c =============================================================================== 235.51/235.76 c | 0 | 2730 77111 103944 | 25703 0 nan | 0.000 % | 235.51/235.77 c =============================================================================== 235.71/235.90 c core #604 235.71/235.90 c 235.71/235.90 c 235.71/235.90 c Core size: 12 Core Weight: 1 Total Weight: -396 235.71/235.90 c 235.71/235.90 c 235.71/235.90 c ============================[ Search Statistics ]============================== 235.71/235.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.71/235.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.71/235.90 c =============================================================================== 235.71/235.90 c | 0 | 2738 77112 103960 | 25704 0 nan | 0.000 % | 235.71/235.91 c =============================================================================== 235.81/236.03 c core #605 235.81/236.03 c 235.81/236.03 c 235.81/236.03 c Core size: 16 Core Weight: 1 Total Weight: -395 235.81/236.03 c 235.81/236.03 c 235.81/236.03 c ============================[ Search Statistics ]============================== 235.81/236.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.81/236.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.81/236.03 c =============================================================================== 235.81/236.03 c | 0 | 2748 77113 103980 | 25704 0 nan | 0.000 % | 235.81/236.04 c =============================================================================== 235.91/236.17 c core #606 235.91/236.17 c 235.91/236.17 c 235.91/236.17 c Core size: 14 Core Weight: 1 Total Weight: -394 235.91/236.17 c 235.91/236.17 c 235.91/236.17 c ============================[ Search Statistics ]============================== 235.91/236.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.91/236.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.91/236.17 c =============================================================================== 235.91/236.17 c | 0 | 2756 77114 103996 | 25704 0 nan | 0.000 % | 235.91/236.18 c =============================================================================== 236.11/236.31 c core #607 236.11/236.31 c 236.11/236.31 c 236.11/236.31 c Core size: 14 Core Weight: 1 Total Weight: -393 236.11/236.31 c 236.11/236.31 c 236.11/236.31 c ============================[ Search Statistics ]============================== 236.11/236.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.11/236.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.11/236.31 c =============================================================================== 236.11/236.31 c | 0 | 2764 77115 104012 | 25705 0 nan | 0.000 % | 236.11/236.32 c =============================================================================== 236.21/236.44 c core #608 236.21/236.44 c 236.21/236.44 c 236.21/236.44 c Core size: 16 Core Weight: 1 Total Weight: -392 236.21/236.44 c 236.21/236.44 c 236.21/236.44 c ============================[ Search Statistics ]============================== 236.21/236.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.21/236.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.21/236.44 c =============================================================================== 236.21/236.44 c | 0 | 2774 77116 104032 | 25705 0 nan | 0.000 % | 236.21/236.45 c =============================================================================== 236.31/236.58 c core #609 236.31/236.58 c 236.31/236.58 c 236.31/236.58 c Core size: 12 Core Weight: 1 Total Weight: -391 236.31/236.58 c 236.31/236.58 c 236.31/236.58 c ============================[ Search Statistics ]============================== 236.31/236.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.31/236.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.31/236.58 c =============================================================================== 236.31/236.58 c | 0 | 2782 77117 104048 | 25705 0 nan | 0.000 % | 236.31/236.59 c =============================================================================== 236.50/236.71 c core #610 236.50/236.71 c 236.50/236.71 c 236.50/236.71 c Core size: 16 Core Weight: 1 Total Weight: -390 236.50/236.71 c 236.50/236.71 c 236.50/236.71 c ============================[ Search Statistics ]============================== 236.50/236.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.50/236.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.50/236.71 c =============================================================================== 236.50/236.71 c | 0 | 2792 77118 104068 | 25706 0 nan | 0.000 % | 236.50/236.72 c =============================================================================== 236.60/236.85 c core #611 236.60/236.85 c 236.60/236.85 c 236.60/236.85 c Core size: 16 Core Weight: 1 Total Weight: -389 236.60/236.85 c 236.60/236.85 c 236.60/236.85 c ============================[ Search Statistics ]============================== 236.60/236.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.60/236.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.60/236.85 c =============================================================================== 236.60/236.85 c | 0 | 2802 77119 104088 | 25706 0 nan | 0.000 % | 236.60/236.87 c =============================================================================== 236.70/236.99 c core #612 236.70/236.99 c 236.70/236.99 c 236.70/236.99 c Core size: 14 Core Weight: 1 Total Weight: -388 236.70/236.99 c 236.70/236.99 c 236.70/236.99 c ============================[ Search Statistics ]============================== 236.70/236.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.70/236.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.70/236.99 c =============================================================================== 236.70/236.99 c | 0 | 2810 77120 104104 | 25706 0 nan | 0.000 % | 236.80/237.00 c =============================================================================== 236.90/237.13 c core #613 236.90/237.13 c 236.90/237.13 c 236.90/237.13 c Core size: 16 Core Weight: 1 Total Weight: -387 236.90/237.13 c 236.90/237.13 c 236.90/237.13 c ============================[ Search Statistics ]============================== 236.90/237.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.90/237.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.90/237.13 c =============================================================================== 236.90/237.13 c | 0 | 2820 77121 104124 | 25707 0 nan | 0.000 % | 236.90/237.14 c =============================================================================== 237.00/237.27 c core #614 237.00/237.27 c 237.00/237.27 c 237.00/237.27 c Core size: 16 Core Weight: 1 Total Weight: -386 237.00/237.27 c 237.00/237.27 c 237.00/237.27 c ============================[ Search Statistics ]============================== 237.00/237.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 237.00/237.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 237.00/237.27 c =============================================================================== 237.00/237.27 c | 0 | 2830 77122 104144 | 25707 0 nan | 0.000 % | 237.00/237.27 c =============================================================================== 237.20/237.40 c core #615 237.20/237.40 c 237.20/237.40 c 237.20/237.40 c Core size: 14 Core Weight: 1 Total Weight: -385 237.20/237.40 c 237.20/237.40 c 237.20/237.40 c ============================[ Search Statistics ]============================== 237.20/237.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 237.20/237.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 237.20/237.40 c =============================================================================== 237.20/237.40 c | 0 | 2838 77123 104160 | 25707 0 nan | 0.000 % | 237.20/237.41 c =============================================================================== 237.31/237.54 c core #616 237.31/237.54 c 237.31/237.54 c 237.31/237.54 c Core size: 16 Core Weight: 1 Total Weight: -384 237.31/237.54 c 237.31/237.54 c 237.31/237.54 c ============================[ Search Statistics ]============================== 237.31/237.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 237.31/237.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 237.31/237.54 c =============================================================================== 237.31/237.54 c | 0 | 2848 77124 104180 | 25708 0 nan | 0.000 % | 237.31/237.55 c =============================================================================== 237.40/237.68 c core #617 237.40/237.68 c 237.40/237.68 c 237.40/237.68 c Core size: 16 Core Weight: 1 Total Weight: -383 237.40/237.68 c 237.40/237.68 c 237.40/237.68 c ============================[ Search Statistics ]============================== 237.40/237.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 237.40/237.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 237.40/237.68 c =============================================================================== 237.40/237.68 c | 0 | 2858 77125 104200 | 25708 0 nan | 0.000 % | 237.40/237.69 c =============================================================================== 237.60/237.81 c core #618 237.60/237.81 c 237.60/237.81 c 237.60/237.81 c Core size: 16 Core Weight: 1 Total Weight: -382 237.60/237.81 c 237.60/237.81 c 237.60/237.81 c ============================[ Search Statistics ]============================== 237.60/237.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 237.60/237.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 237.60/237.81 c =============================================================================== 237.60/237.81 c | 0 | 2868 77126 104220 | 25708 0 nan | 0.000 % | 237.60/237.82 c =============================================================================== 237.70/237.95 c core #619 237.70/237.95 c 237.70/237.95 c 237.70/237.95 c Core size: 16 Core Weight: 1 Total Weight: -381 237.70/237.95 c 237.70/237.95 c 237.70/237.95 c ============================[ Search Statistics ]============================== 237.70/237.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 237.70/237.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 237.70/237.95 c =============================================================================== 237.70/237.95 c | 0 | 2878 77127 104240 | 25709 0 nan | 0.000 % | 237.70/237.97 c =============================================================================== 237.79/238.09 c core #620 237.79/238.09 c 237.79/238.09 c 237.79/238.09 c Core size: 16 Core Weight: 1 Total Weight: -380 237.79/238.09 c 237.79/238.09 c 237.79/238.09 c ============================[ Search Statistics ]============================== 237.79/238.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 237.79/238.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 237.79/238.09 c =============================================================================== 237.79/238.09 c | 0 | 2888 77128 104260 | 25709 0 nan | 0.000 % | 237.89/238.10 c =============================================================================== 237.99/238.23 c core #621 237.99/238.23 c 237.99/238.23 c 237.99/238.23 c Core size: 18 Core Weight: 1 Total Weight: -379 237.99/238.23 c 237.99/238.23 c 237.99/238.23 c ============================[ Search Statistics ]============================== 237.99/238.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 237.99/238.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 237.99/238.23 c =============================================================================== 237.99/238.23 c | 0 | 2900 77129 104284 | 25709 0 nan | 0.000 % | 237.99/238.24 c =============================================================================== 238.09/238.37 c core #622 238.09/238.37 c 238.09/238.37 c 238.09/238.37 c Core size: 20 Core Weight: 1 Total Weight: -378 238.09/238.37 c 238.09/238.37 c 238.09/238.37 c ============================[ Search Statistics ]============================== 238.09/238.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 238.09/238.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 238.09/238.37 c =============================================================================== 238.09/238.37 c | 0 | 2912 77130 104308 | 25710 0 nan | 0.000 % | 238.09/238.39 c =============================================================================== 238.29/238.52 c core #623 238.29/238.52 c 238.29/238.52 c 238.29/238.52 c Core size: 22 Core Weight: 1 Total Weight: -377 238.29/238.52 c 238.29/238.52 c 238.29/238.52 c ============================[ Search Statistics ]============================== 238.29/238.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 238.29/238.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 238.29/238.52 c =============================================================================== 238.29/238.52 c | 0 | 2924 77131 104332 | 25710 0 nan | 0.000 % | 238.29/238.54 c =============================================================================== 238.40/238.66 c core #624 238.40/238.66 c 238.40/238.66 c 238.40/238.66 c Core size: 22 Core Weight: 1 Total Weight: -376 238.40/238.66 c 238.40/238.66 c 238.40/238.66 c ============================[ Search Statistics ]============================== 238.40/238.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 238.40/238.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 238.40/238.66 c =============================================================================== 238.40/238.66 c | 0 | 2938 77132 104360 | 25710 0 nan | 0.000 % | 238.40/238.68 c =============================================================================== 238.59/238.81 c core #625 238.59/238.81 c 238.59/238.81 c 238.59/238.81 c Core size: 26 Core Weight: 1 Total Weight: -375 238.59/238.81 c 238.59/238.81 c 238.59/238.81 c ============================[ Search Statistics ]============================== 238.59/238.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 238.59/238.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 238.59/238.81 c =============================================================================== 238.59/238.81 c | 0 | 2952 77133 104388 | 25711 0 nan | 0.000 % | 238.59/238.82 c =============================================================================== 238.69/238.95 c core #626 238.69/238.95 c 238.69/238.95 c 238.69/238.95 c Core size: 16 Core Weight: 1 Total Weight: -374 238.69/238.95 c 238.69/238.95 c 238.69/238.95 c ============================[ Search Statistics ]============================== 238.69/238.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 238.69/238.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 238.69/238.95 c =============================================================================== 238.69/238.95 c | 0 | 2962 77134 104408 | 25711 0 nan | 0.000 % | 238.69/238.97 c =============================================================================== 238.79/239.09 c core #627 238.79/239.09 c 238.79/239.09 c 238.79/239.09 c Core size: 30 Core Weight: 1 Total Weight: -373 238.79/239.09 c 238.79/239.09 c 238.79/239.09 c ============================[ Search Statistics ]============================== 238.79/239.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 238.79/239.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 238.79/239.09 c =============================================================================== 238.79/239.09 c | 0 | 2983 77135 104450 | 25711 0 nan | 0.000 % | 238.89/239.13 c =============================================================================== 238.99/239.26 c core #628 238.99/239.26 c 238.99/239.26 c 238.99/239.26 c Core size: 30 Core Weight: 1 Total Weight: -372 238.99/239.26 c 238.99/239.26 c 238.99/239.26 c ============================[ Search Statistics ]============================== 238.99/239.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 238.99/239.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 238.99/239.26 c =============================================================================== 238.99/239.26 c | 0 | 3008 77136 104500 | 25712 0 nan | 0.000 % | 239.09/239.36 c | 103 | 3005 77136 104500 | 28283 103 8 | 92.778 % | 239.19/239.44 c =============================================================================== 239.29/239.56 c core #629 239.29/239.56 c 239.29/239.56 c 239.29/239.56 c Core size: 81 Core Weight: 1 Total Weight: -371 239.29/239.56 c 239.29/239.56 c 239.29/239.56 c ============================[ Search Statistics ]============================== 239.29/239.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 239.29/239.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 239.29/239.56 c =============================================================================== 239.29/239.56 c | 0 | 3068 77137 104620 | 25712 0 nan | 0.000 % | 239.39/239.70 c | 101 | 3068 77137 104620 | 28283 101 12 | 92.482 % | 239.49/239.80 c | 252 | 3068 77137 104620 | 31111 252 13 | 92.482 % | 239.79/240.02 c | 477 | 3068 77137 104620 | 34223 477 15 | 92.482 % | 240.09/240.30 c =============================================================================== 240.19/240.43 c core #630 240.19/240.43 c 240.19/240.43 c 240.19/240.43 c Core size: 126 Core Weight: 1 Total Weight: -370 240.19/240.43 c 240.19/240.43 c 240.19/240.43 c ============================[ Search Statistics ]============================== 240.19/240.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 240.19/240.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 240.19/240.43 c =============================================================================== 240.19/240.43 c | 0 | 3174 77138 104832 | 25712 0 nan | 0.000 % | 240.29/240.55 c | 100 | 3174 77138 104832 | 28283 100 9 | 92.243 % | 240.39/240.68 c | 252 | 3173 77138 104832 | 31112 252 12 | 92.245 % | 240.49/240.77 c =============================================================================== 240.60/240.89 c core #631 240.60/240.89 c 240.60/240.89 c 240.60/240.89 c Core size: 101 Core Weight: 1 Total Weight: -369 240.60/240.89 c 240.60/240.89 c 240.60/240.89 c ============================[ Search Statistics ]============================== 240.60/240.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 240.60/240.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 240.60/240.89 c =============================================================================== 240.60/240.89 c | 0 | 3256 77139 104996 | 25713 0 nan | 0.000 % | 240.79/241.03 c | 105 | 3256 77139 104996 | 28284 105 27 | 92.058 % | 240.89/241.16 c | 255 | 3256 77139 104996 | 31112 255 24 | 92.058 % | 241.19/241.43 c | 481 | 3256 77139 104996 | 34224 481 23 | 92.058 % | 241.48/241.76 c =============================================================================== 241.59/241.88 c core #632 241.59/241.88 c 241.59/241.88 c 241.59/241.88 c Core size: 100 Core Weight: 1 Total Weight: -368 241.59/241.88 c 241.59/241.88 c 241.59/241.88 c ============================[ Search Statistics ]============================== 241.59/241.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 241.59/241.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 241.59/241.88 c =============================================================================== 241.59/241.88 c | 0 | 3340 77140 105164 | 25713 0 nan | 0.000 % | 241.80/242.02 c | 102 | 3340 77140 105164 | 28284 102 21 | 91.870 % | 241.80/242.09 c | 255 | 3339 77140 105164 | 31113 255 19 | 91.872 % | 241.99/242.26 c | 480 | 3339 77140 105164 | 34224 480 21 | 91.872 % | 242.49/242.74 c | 820 | 3337 77140 105164 | 37646 813 24 | 91.877 % | 242.89/243.18 c | 1326 | 3335 77140 105164 | 41411 1319 26 | 91.885 % | 243.59/243.87 c =============================================================================== 243.79/244.01 c core #633 243.79/244.01 c 243.79/244.01 c 243.79/244.01 c Core size: 137 Core Weight: 1 Total Weight: -367 243.79/244.01 c 243.79/244.01 c 243.79/244.01 c ============================[ Search Statistics ]============================== 243.79/244.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 243.79/244.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 243.79/244.01 c =============================================================================== 243.79/244.01 c | 0 | 3453 77141 105390 | 25713 0 nan | 0.000 % | 243.89/244.16 c | 100 | 3453 77141 105390 | 28285 100 10 | 91.618 % | 243.99/244.26 c | 251 | 3453 77141 105390 | 31113 251 14 | 91.618 % | 244.18/244.46 c | 476 | 3453 77141 105390 | 34224 476 13 | 91.618 % | 244.38/244.65 c =============================================================================== 244.48/244.77 c core #634 244.48/244.77 c 244.48/244.77 c 244.48/244.77 c Core size: 91 Core Weight: 1 Total Weight: -366 244.48/244.77 c 244.48/244.77 c 244.48/244.77 c ============================[ Search Statistics ]============================== 244.48/244.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 244.48/244.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 244.48/244.77 c =============================================================================== 244.48/244.77 c | 0 | 3529 77142 105542 | 25714 0 nan | 0.000 % | 244.58/244.86 c | 101 | 3529 77142 105542 | 28285 101 20 | 91.449 % | 244.78/245.06 c | 252 | 3529 77142 105542 | 31113 252 16 | 91.449 % | 244.99/245.22 c =============================================================================== 245.09/245.35 c core #635 245.09/245.35 c 245.09/245.35 c 245.09/245.35 c Core size: 84 Core Weight: 1 Total Weight: -365 245.09/245.35 c 245.09/245.35 c 245.09/245.35 c ============================[ Search Statistics ]============================== 245.09/245.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 245.09/245.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 245.09/245.35 c =============================================================================== 245.09/245.35 c | 0 | 3597 77143 105678 | 25714 0 nan | 0.000 % | 245.18/245.49 c | 101 | 3596 77143 105678 | 28285 101 9 | 91.301 % | 245.38/245.64 c | 251 | 3596 77143 105678 | 31114 251 7 | 91.301 % | 245.38/245.68 c =============================================================================== 245.58/245.80 c core #636 245.58/245.80 c 245.58/245.80 c 245.58/245.80 c Core size: 76 Core Weight: 1 Total Weight: -364 245.58/245.80 c 245.58/245.80 c 245.58/245.80 c ============================[ Search Statistics ]============================== 245.58/245.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 245.58/245.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 245.58/245.80 c =============================================================================== 245.58/245.80 c | 0 | 3659 77144 105802 | 25714 0 nan | 0.000 % | 245.68/245.91 c | 100 | 3659 77144 105802 | 28286 100 12 | 91.162 % | 245.78/246.04 c | 251 | 3659 77144 105802 | 31114 251 10 | 91.162 % | 245.98/246.22 c | 476 | 3659 77144 105802 | 34226 476 10 | 91.162 % | 246.38/246.64 c =============================================================================== 246.48/246.77 c core #637 246.48/246.77 c 246.48/246.77 c 246.48/246.77 c Core size: 93 Core Weight: 1 Total Weight: -363 246.48/246.77 c 246.48/246.77 c 246.48/246.77 c ============================[ Search Statistics ]============================== 246.48/246.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 246.48/246.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 246.48/246.77 c =============================================================================== 246.48/246.77 c | 0 | 3735 77145 105954 | 25715 0 nan | 0.000 % | 246.68/246.94 c | 100 | 3735 77145 105954 | 28286 100 10 | 90.995 % | 246.68/246.98 c =============================================================================== 246.88/247.10 c core #638 246.88/247.10 c 246.88/247.10 c 246.88/247.10 c Core size: 53 Core Weight: 1 Total Weight: -362 246.88/247.10 c 246.88/247.10 c 246.88/247.10 c ============================[ Search Statistics ]============================== 246.88/247.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 246.88/247.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 246.88/247.10 c =============================================================================== 246.88/247.10 c | 0 | 3775 77146 106034 | 25715 0 nan | 0.000 % | 246.98/247.26 c | 101 | 3775 77146 106034 | 28286 101 13 | 90.907 % | 247.08/247.40 c | 252 | 3775 77146 106034 | 31115 252 10 | 90.907 % | 247.29/247.57 c =============================================================================== 247.48/247.70 c core #639 247.48/247.70 c 247.48/247.70 c 247.48/247.70 c Core size: 78 Core Weight: 1 Total Weight: -361 247.48/247.70 c 247.48/247.70 c 247.48/247.70 c ============================[ Search Statistics ]============================== 247.48/247.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 247.48/247.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 247.48/247.70 c =============================================================================== 247.48/247.70 c | 0 | 3835 77147 106154 | 25715 0 nan | 0.000 % | 247.58/247.82 c | 100 | 3835 77147 106154 | 28287 100 10 | 90.776 % | 247.68/247.99 c | 254 | 3834 77147 106154 | 31115 254 11 | 90.779 % | 247.88/248.18 c | 480 | 3833 77147 106154 | 34227 480 13 | 90.781 % | 248.17/248.47 c | 818 | 3822 77147 106154 | 37650 814 16 | 90.810 % | 248.17/248.49 c =============================================================================== 248.38/248.62 c core #640 248.38/248.62 c 248.38/248.62 c 248.38/248.62 c Core size: 103 Core Weight: 1 Total Weight: -360 248.38/248.62 c 248.38/248.62 c 248.38/248.62 c ============================[ Search Statistics ]============================== 248.38/248.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 248.38/248.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 248.38/248.62 c =============================================================================== 248.38/248.62 c | 0 | 3917 77148 106318 | 25716 0 nan | 0.000 % | 248.38/248.67 c | 100 | 3917 77148 106318 | 28287 100 22 | 90.597 % | 248.48/248.78 c | 252 | 3917 77148 106318 | 31116 252 21 | 90.597 % | 248.68/248.99 c | 477 | 3917 77148 106318 | 34227 477 24 | 90.597 % | 248.98/249.24 c | 816 | 3917 77148 106318 | 37650 816 27 | 90.597 % | 249.48/249.75 c | 1323 | 3917 77148 106318 | 41415 1323 30 | 90.597 % | 250.48/250.80 c | 2083 | 3917 77148 106318 | 45557 2083 34 | 90.597 % | 251.78/252.05 c =============================================================================== 251.88/252.19 c core #641 251.88/252.19 c 251.88/252.19 c 251.88/252.19 c Core size: 85 Core Weight: 1 Total Weight: -359 251.88/252.19 c 251.88/252.19 c 251.88/252.19 c ============================[ Search Statistics ]============================== 251.88/252.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 251.88/252.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 251.88/252.19 c =============================================================================== 251.88/252.19 c | 0 | 3988 77149 106460 | 25716 0 nan | 0.000 % | 252.08/252.32 c | 101 | 3988 77149 106460 | 28287 101 9 | 90.443 % | 252.18/252.43 c | 251 | 3988 77149 106460 | 31116 251 12 | 90.443 % | 252.18/252.46 c =============================================================================== 252.28/252.59 c core #642 252.28/252.59 c 252.28/252.59 c 252.28/252.59 c Core size: 69 Core Weight: 1 Total Weight: -358 252.28/252.59 c 252.28/252.59 c 252.28/252.59 c ============================[ Search Statistics ]============================== 252.28/252.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 252.28/252.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 252.28/252.59 c =============================================================================== 252.28/252.59 c | 0 | 4038 77150 106560 | 25716 0 nan | 0.000 % | 252.48/252.70 c | 100 | 4038 77150 106560 | 28288 100 13 | 90.335 % | 252.58/252.80 c | 251 | 4038 77150 106560 | 31117 251 11 | 90.335 % | 252.88/253.10 c | 478 | 4038 77150 106560 | 34228 478 13 | 90.335 % | 253.27/253.55 c | 817 | 4037 77150 106560 | 37651 800 13 | 90.337 % | 253.37/253.62 c =============================================================================== 253.47/253.75 c core #643 253.47/253.75 c 253.47/253.75 c 253.47/253.75 c Core size: 81 Core Weight: 1 Total Weight: -357 253.47/253.75 c 253.47/253.75 c 253.47/253.75 c ============================[ Search Statistics ]============================== 253.47/253.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 253.47/253.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 253.47/253.75 c =============================================================================== 253.47/253.75 c | 0 | 4108 77151 106700 | 25717 0 nan | 0.000 % | 253.57/253.86 c | 100 | 4108 77151 106700 | 28288 100 91 | 90.184 % | 253.67/253.99 c | 250 | 4108 77151 106700 | 31117 250 77 | 90.184 % | 253.78/254.09 c | 475 | 4108 77151 106700 | 34229 475 79 | 90.184 % | 254.17/254.42 c | 812 | 4108 77151 106700 | 37652 812 73 | 90.184 % | 254.57/254.87 c | 1318 | 4108 77151 106700 | 41417 1318 63 | 90.184 % | 255.07/255.36 c | 2077 | 4108 77151 106700 | 45559 2077 59 | 90.184 % | 256.77/257.01 c | 3218 | 4108 77151 106700 | 50115 3218 58 | 90.184 % | 259.18/259.45 c | 4926 | 4108 77151 106700 | 55126 4926 58 | 90.184 % | 261.97/262.25 c | 7488 | 3987 77151 106700 | 60639 5494 50 | 90.473 % | 262.07/262.32 c =============================================================================== 262.17/262.46 c core #644 262.17/262.46 c 262.17/262.46 c 262.17/262.46 c Core size: 117 Core Weight: 1 Total Weight: -356 262.17/262.46 c 262.17/262.46 c 262.17/262.46 c ============================[ Search Statistics ]============================== 262.17/262.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 262.17/262.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 262.17/262.46 c =============================================================================== 262.17/262.46 c | 0 | 4213 77152 106910 | 25717 0 nan | 0.000 % | 262.27/262.55 c | 102 | 4213 77152 106910 | 28289 102 9 | 89.958 % | 262.37/262.66 c | 253 | 4213 77152 106910 | 31117 253 10 | 89.958 % | 262.47/262.72 c | 478 | 4213 77152 106910 | 34229 478 13 | 89.958 % | 262.77/263.02 c | 817 | 4213 77152 106910 | 37652 817 16 | 89.958 % | 263.37/263.66 c =============================================================================== 263.47/263.79 c core #645 263.47/263.79 c 263.47/263.79 c 263.47/263.79 c Core size: 104 Core Weight: 1 Total Weight: -355 263.47/263.79 c 263.47/263.79 c 263.47/263.79 c ============================[ Search Statistics ]============================== 263.47/263.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 263.47/263.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 263.47/263.79 c =============================================================================== 263.47/263.79 c | 0 | 4309 77153 107102 | 25717 0 nan | 0.000 % | 263.68/263.98 c | 100 | 4309 77153 107102 | 28289 100 24 | 89.753 % | 263.78/264.07 c | 250 | 4309 77153 107102 | 31118 250 18 | 89.753 % | 263.97/264.20 c | 475 | 4309 77153 107102 | 34230 475 15 | 89.753 % | 264.17/264.43 c | 812 | 4309 77153 107102 | 37653 812 15 | 89.753 % | 264.57/264.82 c | 1319 | 4309 77153 107102 | 41418 1319 16 | 89.753 % | 265.77/266.04 c | 2078 | 4309 77153 107102 | 45560 2078 18 | 89.753 % | 266.46/266.78 c =============================================================================== 266.66/266.93 c core #646 266.66/266.93 c 266.66/266.93 c 266.66/266.93 c Core size: 147 Core Weight: 1 Total Weight: -354 266.66/266.93 c 266.66/266.93 c 266.66/266.93 c ============================[ Search Statistics ]============================== 266.66/266.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 266.66/266.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 266.66/266.93 c =============================================================================== 266.66/266.93 c | 0 | 4427 77154 107338 | 25718 0 nan | 0.000 % | 266.77/267.09 c | 101 | 4427 77154 107338 | 28289 101 34 | 89.502 % | 266.87/267.17 c | 252 | 4427 77154 107338 | 31118 252 22 | 89.502 % | 266.98/267.29 c | 477 | 4427 77154 107338 | 34230 477 19 | 89.502 % | 267.37/267.60 c | 814 | 4427 77154 107338 | 37653 814 20 | 89.502 % | 267.86/268.10 c | 1320 | 4427 77154 107338 | 41419 1320 22 | 89.502 % | 268.87/269.11 c | 2084 | 4427 77154 107338 | 45561 2084 24 | 89.502 % | 270.37/270.63 c | 3224 | 4424 77154 107338 | 50117 3221 24 | 89.509 % | 270.76/271.08 c =============================================================================== 270.96/271.23 c core #647 270.96/271.23 c 270.96/271.23 c 270.96/271.23 c Core size: 120 Core Weight: 1 Total Weight: -353 270.96/271.23 c 270.96/271.23 c 270.96/271.23 c ============================[ Search Statistics ]============================== 270.96/271.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 270.96/271.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 270.96/271.23 c =============================================================================== 270.96/271.23 c | 0 | 4537 77155 107558 | 25718 0 nan | 0.000 % | 271.07/271.33 c | 100 | 4537 77155 107558 | 28290 100 16 | 89.269 % | 271.16/271.40 c | 250 | 4537 77155 107558 | 31119 250 13 | 89.269 % | 271.16/271.45 c | 477 | 4537 77155 107558 | 34231 477 16 | 89.269 % | 271.47/271.72 c | 815 | 4537 77155 107558 | 37654 815 15 | 89.269 % | 271.86/272.10 c | 1323 | 4537 77155 107558 | 41419 1323 18 | 89.269 % | 272.36/272.70 c | 2082 | 4537 77155 107558 | 45561 2082 22 | 89.269 % | 273.86/274.18 c | 3222 | 4537 77155 107558 | 50117 3222 29 | 89.269 % | 275.96/276.27 c | 4932 | 4537 77155 107558 | 55129 4932 27 | 89.269 % | 280.46/280.70 c | 7495 | 4537 77155 107558 | 60642 7495 29 | 89.269 % | 285.95/286.24 c =============================================================================== 286.15/286.49 c core #648 286.15/286.49 c 286.15/286.49 c 286.15/286.49 c Core size: 188 Core Weight: 1 Total Weight: -352 286.15/286.49 c 286.15/286.49 c 286.15/286.49 c ============================[ Search Statistics ]============================== 286.15/286.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 286.15/286.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 286.15/286.49 c =============================================================================== 286.15/286.49 c | 0 | 4675 77156 107834 | 25718 0 nan | 0.000 % | 286.25/286.57 c | 101 | 4675 77156 107834 | 28290 101 18 | 88.978 % | 286.36/286.67 c | 251 | 4675 77156 107834 | 31119 251 12 | 88.978 % | 286.46/286.72 c | 477 | 4675 77156 107834 | 34231 477 13 | 88.978 % | 286.66/286.92 c | 815 | 4675 77156 107834 | 37654 815 15 | 88.978 % | 287.15/287.42 c | 1321 | 4675 77156 107834 | 41420 1321 23 | 88.978 % | 287.86/288.17 c | 2081 | 4675 77156 107834 | 45562 2081 27 | 88.978 % | 289.16/289.44 c | 3220 | 4675 77156 107834 | 50118 3220 26 | 88.978 % | 292.06/292.33 c | 4928 | 4675 77156 107834 | 55130 4928 28 | 88.978 % | 295.35/295.64 c =============================================================================== 295.55/295.83 c core #649 295.55/295.83 c 295.55/295.83 c 295.55/295.83 c Core size: 160 Core Weight: 1 Total Weight: -351 295.55/295.83 c 295.55/295.83 c 295.55/295.83 c ============================[ Search Statistics ]============================== 295.55/295.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 295.55/295.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 295.55/295.83 c =============================================================================== 295.55/295.83 c | 0 | 4803 77157 108090 | 25719 0 nan | 0.000 % | 295.66/295.96 c | 101 | 4803 77157 108090 | 28290 101 18 | 88.711 % | 295.75/296.04 c | 253 | 4803 77157 108090 | 31119 253 15 | 88.711 % | 295.75/296.08 c | 479 | 4803 77157 108090 | 34231 479 20 | 88.711 % | 295.95/296.24 c | 817 | 4803 77157 108090 | 37655 817 23 | 88.711 % | 296.35/296.62 c | 1323 | 4803 77157 108090 | 41420 1323 27 | 88.711 % | 297.25/297.54 c | 2083 | 4803 77157 108090 | 45562 2083 40 | 88.711 % | 299.05/299.33 c | 3222 | 4803 77157 108090 | 50119 3222 55 | 88.711 % | 301.25/301.54 c | 4930 | 4803 77157 108090 | 55130 4930 60 | 88.711 % | 304.84/305.15 c | 7492 | 4803 77157 108090 | 60644 7492 60 | 88.711 % | 310.84/311.16 c | 11337 | 4803 77157 108090 | 66708 11337 53 | 88.711 % | 320.44/320.71 c | 17104 | 4739 77157 108090 | 73379 10474 41 | 88.861 % | 321.64/321.94 c =============================================================================== 321.95/322.24 c core #650 321.95/322.24 c 321.95/322.24 c 321.95/322.24 c Core size: 163 Core Weight: 1 Total Weight: -350 321.95/322.24 c 321.95/322.24 c 321.95/322.24 c ============================[ Search Statistics ]============================== 321.95/322.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 321.95/322.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 321.95/322.24 c =============================================================================== 321.95/322.24 c | 0 | 4935 77158 108354 | 25719 0 nan | 0.000 % | 322.05/322.40 c | 101 | 4935 77158 108354 | 28291 101 23 | 88.436 % | 322.14/322.43 c | 251 | 4935 77158 108354 | 31120 251 18 | 88.436 % | 322.24/322.50 c | 478 | 4935 77158 108354 | 34232 478 26 | 88.436 % | 322.44/322.73 c | 816 | 4935 77158 108354 | 37655 816 26 | 88.436 % | 322.74/323.01 c | 1322 | 4935 77158 108354 | 41421 1322 33 | 88.436 % | 323.24/323.59 c | 2081 | 4935 77158 108354 | 45563 2081 41 | 88.436 % | 324.44/324.79 c | 3220 | 4935 77158 108354 | 50119 3220 48 | 88.436 % | 326.74/327.09 c | 4928 | 4935 77158 108354 | 55131 4928 58 | 88.436 % | 330.44/330.74 c | 7490 | 4935 77158 108354 | 60644 7490 69 | 88.436 % | 337.23/337.50 c | 11336 | 4935 77158 108354 | 66709 11336 76 | 88.436 % | 348.23/348.56 c | 17102 | 4935 77158 108354 | 73380 17102 81 | 88.436 % | 365.83/366.19 c | 25751 | 4935 77158 108354 | 80718 25751 84 | 88.436 % | 402.91/403.22 c | 38727 | 4935 77158 108354 | 88790 38727 85 | 88.436 % | 482.08/482.42 c | 58191 | 4935 77158 108354 | 97669 58191 89 | 88.436 % | 658.32/658.71 c | 87383 | 4935 77158 108354 | 107436 87383 91 | 88.436 % | 891.55/892.03 c | 131172 | 4935 77158 108354 | 118179 131172 82 | 88.436 % | 1113.78/1114.35 c | 196856 | 4935 77158 108354 | 129997 58726 43 | 88.436 % | 1171.55/1172.13 c =============================================================================== 1174.25/1174.89 c core #651 1174.25/1174.89 c 1174.25/1174.89 c 1174.25/1174.89 c Core size: 218 Core Weight: 1 Total Weight: -349 1174.25/1174.89 c 1174.25/1174.89 c 1174.25/1174.89 c ============================[ Search Statistics ]============================== 1174.25/1174.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 1174.25/1174.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1174.25/1174.89 c =============================================================================== 1174.25/1174.89 c | 0 | 5091 77159 108666 | 25719 0 nan | 0.000 % | 1174.44/1175.02 c | 103 | 5091 77159 108666 | 28291 103 21 | 88.114 % | 1174.44/1175.08 c | 253 | 5091 77159 108666 | 31120 253 15 | 88.114 % | 1174.55/1175.17 c | 478 | 5091 77159 108666 | 34232 478 16 | 88.114 % | 1174.65/1175.25 c | 815 | 5091 77159 108666 | 37656 815 19 | 88.114 % | 1175.05/1175.61 c | 1323 | 5091 77159 108666 | 41421 1323 26 | 88.114 % | 1175.15/1175.74 c | 2084 | 5091 77159 108666 | 45563 2084 27 | 88.114 % | 1175.95/1176.53 c | 3224 | 5091 77159 108666 | 50120 3224 30 | 88.114 % | 1177.34/1177.95 c | 4934 | 5091 77159 108666 | 55132 4934 33 | 88.114 % | 1179.65/1180.28 c | 7498 | 5091 77159 108666 | 60645 7498 35 | 88.114 % | 1184.74/1185.36 c | 11343 | 5091 77159 108666 | 66710 11343 35 | 88.114 % | 1193.94/1194.58 c | 17109 | 5091 77159 108666 | 73381 17109 36 | 88.114 % | 1209.54/1210.11 c =============================================================================== 1210.04/1210.68 c core #652 1210.04/1210.68 c 1210.04/1210.68 c 1210.04/1210.68 c Core size: 158 Core Weight: 1 Total Weight: -348 1210.04/1210.68 c 1210.04/1210.68 c 1210.04/1210.68 c ============================[ Search Statistics ]============================== 1210.04/1210.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 1210.04/1210.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1210.04/1210.68 c =============================================================================== 1210.04/1210.68 c | 0 | 5233 77160 108950 | 25720 0 nan | 0.000 % | 1210.24/1210.82 c | 100 | 5233 77160 108950 | 28292 100 28 | 87.823 % | 1210.24/1210.87 c | 251 | 5233 77160 108950 | 31121 251 43 | 87.823 % | 1210.44/1211.01 c | 476 | 5233 77160 108950 | 34233 476 46 | 87.823 % | 1210.63/1211.29 c | 818 | 5233 77160 108950 | 37656 818 39 | 87.823 % | 1211.14/1211.75 c | 1324 | 5233 77160 108950 | 41422 1324 38 | 87.823 % | 1212.03/1212.63 c | 2083 | 5233 77160 108950 | 45564 2083 40 | 87.823 % | 1213.33/1213.91 c | 3222 | 5233 77160 108950 | 50121 3222 49 | 87.823 % | 1215.83/1216.46 c | 4931 | 5233 77160 108950 | 55133 4931 61 | 87.823 % | 1219.93/1220.57 c | 7495 | 5233 77160 108950 | 60646 7495 69 | 87.823 % | 1227.13/1227.74 c | 11339 | 5233 77160 108950 | 66711 11339 68 | 87.823 % | 1240.13/1240.71 c | 17107 | 5233 77160 108950 | 73382 17107 70 | 87.823 % | 1263.32/1263.92 c | 25756 | 5233 77160 108950 | 80720 25756 72 | 87.823 % | 1306.11/1306.70 c | 38733 | 5233 77160 108950 | 88792 38733 73 | 87.823 % | 1391.67/1392.32 c | 58195 | 5233 77160 108950 | 97671 58195 70 | 87.823 % | 1511.93/1512.66 c | 87388 | 5233 77160 108950 | 107438 87388 68 | 87.823 % | 1692.48/1693.20 c | 131177 | 5233 77160 108950 | 118182 131177 66 | 87.823 % |
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-2702559-1278570138/watcher-2702559-1278570138 -o /tmp/evaluation-result-2702559-1278570138/solver-2702559-1278570138 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702559-1278570138.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.92 0.99 0.99 3/106 30019 /proc/meminfo: memFree=1765824/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=6352 CPUtime=0 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 415 0 0 0 0 0 0 0 21 0 1 0 25221319 6504448 333 1992294400 134512640 135752675 4288015552 18446744073709551615 134609663 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 1588 334 137 303 0 472 0 [startup+0.052854 s] /proc/loadavg: 0.92 0.99 0.99 3/106 30019 /proc/meminfo: memFree=1765824/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=9852 CPUtime=0.04 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 1276 0 0 0 4 0 0 0 24 0 1 0 25221319 10088448 1194 1992294400 134512640 135752675 4288015552 18446744073709551615 135390659 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 2463 1195 183 303 0 1347 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9852 [startup+0.100863 s] /proc/loadavg: 0.92 0.99 0.99 3/106 30019 /proc/meminfo: memFree=1765824/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=13064 CPUtime=0.09 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 1908 0 0 0 9 0 0 0 24 0 1 0 25221319 13377536 1826 1992294400 134512640 135752675 4288015552 18446744073709551615 134598454 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 3266 1826 229 303 0 2150 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13064 [startup+0.300899 s] /proc/loadavg: 0.92 0.99 0.99 3/106 30019 /proc/meminfo: memFree=1765824/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=16164 CPUtime=0.29 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 3108 0 0 0 28 1 0 0 25 0 1 0 25221319 16551936 2993 1992294400 134512640 135752675 4288015552 18446744073709551615 134574217 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 4041 2993 497 303 0 2925 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16164 [startup+0.700972 s] /proc/loadavg: 0.92 0.99 0.99 3/106 30019 /proc/meminfo: memFree=1765824/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=25284 CPUtime=0.69 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 6596 0 0 0 67 2 0 0 25 0 1 0 25221319 25890816 5605 1992294400 134512640 135752675 4288015552 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 6321 5605 142 303 0 6016 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25284 [startup+1.50112 s] /proc/loadavg: 0.92 0.99 0.99 2/107 30020 /proc/meminfo: memFree=1745976/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=23832 CPUtime=1.48 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 6971 0 0 0 144 4 0 0 25 0 1 0 25221319 24403968 5295 1992294400 134512640 135752675 4288015552 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 5958 5295 145 303 0 5653 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 23832 [startup+3.10141 s] /proc/loadavg: 0.92 0.99 0.99 2/107 30020 /proc/meminfo: memFree=1740024/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=34792 CPUtime=3.08 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 9710 0 0 0 301 7 0 0 25 0 1 0 25221319 35627008 8034 1992294400 134512640 135752675 4288015552 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 8698 8034 145 303 0 8393 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 34792 [startup+6.30099 s] /proc/loadavg: 0.93 0.99 0.99 2/107 30020 /proc/meminfo: memFree=1722168/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=50140 CPUtime=6.29 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 13570 0 0 0 618 11 0 0 25 0 1 0 25221319 51343360 11894 1992294400 134512640 135752675 4288015552 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 12535 11894 145 303 0 12230 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50140 [startup+12.7012 s] /proc/loadavg: 0.93 0.99 0.99 2/107 30020 /proc/meminfo: memFree=1698856/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=71520 CPUtime=12.68 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 18887 0 0 0 1252 16 0 0 25 0 1 0 25221319 73236480 17211 1992294400 134512640 135752675 4288015552 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 17880 17211 145 303 0 17575 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 71520 [startup+25.5005 s] /proc/loadavg: 0.95 0.99 0.99 2/107 30020 /proc/meminfo: memFree=1670956/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=98380 CPUtime=25.48 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 25598 0 0 0 2524 24 0 0 25 0 1 0 25221319 100741120 23922 1992294400 134512640 135752675 4288015552 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 24595 23922 145 303 0 24290 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 98380 [startup+51.1011 s] /proc/loadavg: 0.96 0.99 0.99 2/107 30022 /proc/meminfo: memFree=1635740/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=133868 CPUtime=51.07 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 34455 0 0 0 5074 33 0 0 25 0 1 0 25221319 137080832 32779 1992294400 134512640 135752675 4288015552 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 33467 32779 145 303 0 33162 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 133868 [startup+102.308 s] /proc/loadavg: 0.98 0.99 0.99 2/107 30022 /proc/meminfo: memFree=1583908/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=184968 CPUtime=102.26 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 47162 0 0 0 10179 47 0 0 25 0 1 0 25221319 189407232 45486 1992294400 134512640 135752675 4288015552 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 46242 45486 145 303 0 45937 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 184968 [startup+162.3 s] /proc/loadavg: 0.99 0.99 0.99 2/107 30024 /proc/meminfo: memFree=1526868/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=242320 CPUtime=162.23 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 61480 0 0 0 16161 62 0 0 25 0 1 0 25221319 248135680 59804 1992294400 134512640 135752675 4288015552 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 60580 59804 145 303 0 60275 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 242320 [startup+222.3 s] /proc/loadavg: 0.99 0.99 0.99 2/107 30026 /proc/meminfo: memFree=1508764/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=258800 CPUtime=222.15 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 67270 0 0 0 22148 67 0 0 25 0 1 0 25221319 265011200 64037 1992294400 134512640 135752675 4288015552 18446744073709551615 134623225 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 64700 64037 146 303 0 64395 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 258800 [startup+282.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 30028 /proc/meminfo: memFree=1508764/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=258800 CPUtime=282.06 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 67275 0 0 0 28119 87 0 0 25 0 1 0 25221319 265011200 64042 1992294400 134512640 135752675 4288015552 18446744073709551615 134640681 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 64700 64042 146 303 0 64395 0 Current children cumulated CPU time (s) 282.06 Current children cumulated vsize (KiB) 258800 [startup+342.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 30028 /proc/meminfo: memFree=1508640/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=258800 CPUtime=342.03 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 67276 0 0 0 34096 107 0 0 25 0 1 0 25221319 265011200 64043 1992294400 134512640 135752675 4288015552 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 64700 64043 146 303 0 64395 0 Current children cumulated CPU time (s) 342.03 Current children cumulated vsize (KiB) 258800 [startup+402.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 30030 /proc/meminfo: memFree=1508640/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=258800 CPUtime=402.01 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 67276 0 0 0 40082 119 0 0 25 0 1 0 25221319 265011200 64043 1992294400 134512640 135752675 4288015552 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 64700 64043 146 303 0 64395 0 Current children cumulated CPU time (s) 402.01 Current children cumulated vsize (KiB) 258800 [startup+462.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 30032 /proc/meminfo: memFree=1508516/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=258800 CPUtime=461.99 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 67276 0 0 0 46072 127 0 0 25 0 1 0 25221319 265011200 64043 1992294400 134512640 135752675 4288015552 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 64700 64043 146 303 0 64395 0 Current children cumulated CPU time (s) 461.99 Current children cumulated vsize (KiB) 258800 [startup+522.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 30034 /proc/meminfo: memFree=1508516/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=258800 CPUtime=521.97 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 67278 0 0 0 52063 134 0 0 25 0 1 0 25221319 265011200 64045 1992294400 134512640 135752675 4288015552 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 64700 64045 146 303 0 64395 0 Current children cumulated CPU time (s) 521.97 Current children cumulated vsize (KiB) 258800 [startup+582.302 s] /proc/loadavg: 0.99 0.99 0.99 2/107 30036 /proc/meminfo: memFree=1508516/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=258800 CPUtime=581.95 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 67278 0 0 0 58055 140 0 0 25 0 1 0 25221319 265011200 64045 1992294400 134512640 135752675 4288015552 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 64700 64045 146 303 0 64395 0 Current children cumulated CPU time (s) 581.95 Current children cumulated vsize (KiB) 258800 [startup+642.302 s] /proc/loadavg: 1.07 1.01 1.00 2/107 30036 /proc/meminfo: memFree=1508392/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=258800 CPUtime=641.94 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 67283 0 0 0 64050 144 0 0 25 0 1 0 25221319 265011200 64050 1992294400 134512640 135752675 4288015552 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 64700 64050 146 303 0 64395 0 Current children cumulated CPU time (s) 641.94 Current children cumulated vsize (KiB) 258800 [startup+702.302 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30042 /proc/meminfo: memFree=1508268/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=258800 CPUtime=821.87 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 67296 0 0 0 82027 160 0 0 25 0 1 0 25221319 265011200 64063 1992294400 134512640 135752675 4288015552 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 64700 64063 146 303 0 64395 0 Current children cumulated CPU time (s) 821.87 Current children cumulated vsize (KiB) 258800 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30044 /proc/meminfo: memFree=1508268/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=258800 CPUtime=881.84 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 67296 0 0 0 88018 166 0 0 25 0 1 0 25221319 265011200 64063 1992294400 134512640 135752675 4288015552 18446744073709551615 134642686 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 64700 64063 146 303 0 64395 0 Current children cumulated CPU time (s) 881.84 Current children cumulated vsize (KiB) 258800 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30044 /proc/meminfo: memFree=1508144/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=258800 CPUtime=941.83 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 67296 0 0 0 94009 174 0 0 25 0 1 0 25221319 265011200 64063 1992294400 134512640 135752675 4288015552 18446744073709551615 134612133 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 64700 64063 146 303 0 64395 0 Current children cumulated CPU time (s) 941.83 Current children cumulated vsize (KiB) 258800 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30046 /proc/meminfo: memFree=1508144/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=258800 CPUtime=1001.81 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 67304 0 0 0 99999 182 0 0 25 0 1 0 25221319 265011200 64071 1992294400 134512640 135752675 4288015552 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 64700 64071 146 303 0 64395 0 Current children cumulated CPU time (s) 1001.81 Current children cumulated vsize (KiB) 258800 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30048 /proc/meminfo: memFree=1508144/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=258800 CPUtime=1061.78 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 67306 0 0 0 105984 194 0 0 25 0 1 0 25221319 265011200 64073 1992294400 134512640 135752675 4288015552 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 64700 64073 146 303 0 64395 0 Current children cumulated CPU time (s) 1061.78 Current children cumulated vsize (KiB) 258800 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30050 /proc/meminfo: memFree=1508020/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=258800 CPUtime=1121.77 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 67311 0 0 0 111972 205 0 0 25 0 1 0 25221319 265011200 64078 1992294400 134512640 135752675 4288015552 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 64700 64078 146 303 0 64395 0 Current children cumulated CPU time (s) 1121.77 Current children cumulated vsize (KiB) 258800 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30052 /proc/meminfo: memFree=1507896/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=258800 CPUtime=1181.75 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 67342 0 0 0 117960 215 0 0 25 0 1 0 25221319 265011200 64109 1992294400 134512640 135752675 4288015552 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 64700 64109 146 303 0 64395 0 Current children cumulated CPU time (s) 1181.75 Current children cumulated vsize (KiB) 258800 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30052 /proc/meminfo: memFree=1507772/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=258800 CPUtime=1241.72 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 67342 0 0 0 123944 228 0 0 25 0 1 0 25221319 265011200 64109 1992294400 134512640 135752675 4288015552 18446744073709551615 134605256 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 64700 64109 146 303 0 64395 0 Current children cumulated CPU time (s) 1241.72 Current children cumulated vsize (KiB) 258800 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30054 /proc/meminfo: memFree=1507648/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=258800 CPUtime=1301.71 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 67342 0 0 0 129934 237 0 0 25 0 1 0 25221319 265011200 64109 1992294400 134512640 135752675 4288015552 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 64700 64109 146 303 0 64395 0 Current children cumulated CPU time (s) 1301.71 Current children cumulated vsize (KiB) 258800 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30056 /proc/meminfo: memFree=1507648/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=258800 CPUtime=1361.68 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 67342 0 0 0 135921 247 0 0 25 0 1 0 25221319 265011200 64109 1992294400 134512640 135752675 4288015552 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 64700 64109 146 303 0 64395 0 Current children cumulated CPU time (s) 1361.68 Current children cumulated vsize (KiB) 258800 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30058 /proc/meminfo: memFree=1507648/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=258800 CPUtime=1421.67 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 67342 0 0 0 141911 256 0 0 25 0 1 0 25221319 265011200 64109 1992294400 134512640 135752675 4288015552 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 64700 64109 146 303 0 64395 0 Current children cumulated CPU time (s) 1421.67 Current children cumulated vsize (KiB) 258800 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30060 /proc/meminfo: memFree=1507648/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=258800 CPUtime=1481.64 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 67342 0 0 0 147902 262 0 0 25 0 1 0 25221319 265011200 64109 1992294400 134512640 135752675 4288015552 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 64700 64109 146 303 0 64395 0 Current children cumulated CPU time (s) 1481.64 Current children cumulated vsize (KiB) 258800 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30060 /proc/meminfo: memFree=1507648/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=258800 CPUtime=1541.62 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 67342 0 0 0 153891 271 0 0 25 0 1 0 25221319 265011200 64109 1992294400 134512640 135752675 4288015552 18446744073709551615 134518726 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 64700 64109 146 303 0 64395 0 Current children cumulated CPU time (s) 1541.62 Current children cumulated vsize (KiB) 258800 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30062 /proc/meminfo: memFree=1507648/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=258800 CPUtime=1601.6 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 67342 0 0 0 159881 279 0 0 25 0 1 0 25221319 265011200 64109 1992294400 134512640 135752675 4288015552 18446744073709551615 134611626 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 64700 64109 146 303 0 64395 0 Current children cumulated CPU time (s) 1601.6 Current children cumulated vsize (KiB) 258800 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30064 /proc/meminfo: memFree=1507648/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=258800 CPUtime=1661.58 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 67342 0 0 0 165872 286 0 0 25 0 1 0 25221319 265011200 64109 1992294400 134512640 135752675 4288015552 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 64700 64109 146 303 0 64395 0 Current children cumulated CPU time (s) 1661.58 Current children cumulated vsize (KiB) 258800 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30066 /proc/meminfo: memFree=1507400/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=258800 CPUtime=1721.56 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 67342 0 0 0 171864 292 0 0 25 0 1 0 25221319 265011200 64109 1992294400 134512640 135752675 4288015552 18446744073709551615 134638986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 64700 64109 146 303 0 64395 0 Current children cumulated CPU time (s) 1721.56 Current children cumulated vsize (KiB) 258800 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30068 /proc/meminfo: memFree=1507152/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=258800 CPUtime=1781.54 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 67342 0 0 0 177855 299 0 0 25 0 1 0 25221319 265011200 64109 1992294400 134512640 135752675 4288015552 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 64700 64109 146 303 0 64395 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (KiB) 258800 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30068 /proc/meminfo: memFree=1507152/2059040 swapFree=4080076/4192956 [pid=30019] ppid=30017 vsize=258800 CPUtime=1800.04 /proc/30019/stat : 30019 (wbo1.4b) R 30017 30019 29511 0 -1 4202496 67359 0 0 0 179703 301 0 0 25 0 1 0 25221319 265011200 64126 1992294400 134512640 135752675 4288015552 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30019/statm: 64700 64126 146 303 0 64395 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 258800 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.84 CPU time (s): 1800.08 CPU user time (s): 1797.04 CPU system time (s): 3.03954 CPU usage (%): 99.958 Max. virtual memory (cumulated for all children) (KiB): 265392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.04 system time used= 3.03954 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67359 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= 3 involuntary context switches= 5494 runsolver used 3.08553 second user time and 8.5177 second system time The end
Begin job on node044 at 2010-07-08 08:22:18 IDJOB=2702559 IDBENCH=48214 IDSOLVER=1190 FILE ID=node044/2702559-1278570138 PBS_JOBID= 11239548 Free space on /tmp= 62524 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_4.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-2702559-1278570138/watcher-2702559-1278570138 -o /tmp/evaluation-result-2702559-1278570138/solver-2702559-1278570138 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702559-1278570138.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 33f66c46bd2eace76f5fa6a5916a23ec RANDOM SEED=1616408000 node044.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.267 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.267 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1768956 kB Buffers: 45428 kB Cached: 110568 kB SwapCached: 67804 kB Active: 104356 kB Inactive: 121928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1768956 kB SwapTotal: 4192956 kB SwapFree: 4080076 kB Dirty: 3640 kB Writeback: 0 kB AnonPages: 12360 kB Mapped: 8528 kB Slab: 41616 kB PageTables: 4184 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182584 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-2702559-1278570138.opb Free space on /tmp at the end= 62520 MiB End job on node044 at 2010-07-08 08:52:23