Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.17 | 1800.69 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb |
MD5SUM | 4acf18ad1cd52676d2699a99f210ed0a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -33 |
Best CPU time to get the best result obtained on this benchmark | 1789.88 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -35 |
Optimality of the best value was proved | YES |
Number of variables | 595 |
Total number of constraints | 27842 |
Number of constraints which are clauses | 27842 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 595 |
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 | 595 |
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 | 595 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680672-1277456014.opb. 0.00/0.00 c Instance file HOME/instance-2680672-1277456014.opb 0.00/0.00 c File size is 663564 bytes. 0.02/0.09 c Highest Coefficient sum: 3 0.02/0.09 c ============================[ Problem Statistics ]============================= 0.02/0.09 c | | 0.02/0.09 c | Parsing time: 0.09 s | 0.02/0.09 c | Number Variables: 595 | 0.02/0.09 c | Number Clauses: 27842 | 0.02/0.09 c | Number Cardinality: 0 | 0.02/0.09 c | Number PB Constraints: 0 | 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 595 27842 55684 | 9280 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: 0 0.09/0.15 o 0 0.09/0.15 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 595 27843 56279 | 9281 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c New solution: -1 0.09/0.16 o -1 0.09/0.16 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 595 27844 56874 | 9281 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c New solution: -2 0.09/0.16 o -2 0.09/0.16 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s 0.09/0.16 c =============================================================================== 0.09/0.16 c | 9 | 595 27845 57469 | 9281 9 589 | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c New solution: -3 0.09/0.19 o -3 0.09/0.19 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s 0.09/0.19 c =============================================================================== 0.09/0.19 c | 103 | 595 27846 58064 | 9282 103 588 | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: -4 0.19/0.21 o -4 0.19/0.21 c Elapsed CPU time: 0.203968 s Remaining CPU time: 179.796 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 178 | 595 27847 58659 | 9282 178 587 | 0.000 % | 0.19/0.23 c | 280 | 595 27847 58659 | 10210 280 587 | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c New solution: -5 0.19/0.26 o -5 0.19/0.26 c Elapsed CPU time: 0.251961 s Remaining CPU time: 179.748 s 0.19/0.26 c =============================================================================== 0.19/0.26 c | 402 | 595 27848 59254 | 9282 402 587 | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c New solution: -6 0.19/0.28 o -6 0.19/0.28 c Elapsed CPU time: 0.272958 s Remaining CPU time: 179.727 s 0.19/0.28 c =============================================================================== 0.19/0.28 c | 476 | 595 27849 59849 | 9283 476 586 | 0.000 % | 0.29/0.30 c | 576 | 595 27849 59849 | 10211 576 586 | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: -7 0.29/0.31 o -7 0.29/0.31 c Elapsed CPU time: 0.305953 s Remaining CPU time: 179.694 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 612 | 595 27850 60444 | 9283 612 586 | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c New solution: -8 0.29/0.34 o -8 0.29/0.34 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 706 | 595 27851 61039 | 9283 706 586 | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c New solution: -9 0.29/0.37 o -9 0.29/0.37 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s 0.29/0.37 c =============================================================================== 0.29/0.37 c | 802 | 595 27852 61634 | 9284 802 585 | 0.000 % | 0.39/0.41 c | 904 | 595 27852 61634 | 10212 904 585 | 0.000 % | 0.39/0.46 c | 1056 | 595 27852 61634 | 11233 1056 584 | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c New solution: -10 0.49/0.50 o -10 0.49/0.50 c Elapsed CPU time: 0.489925 s Remaining CPU time: 179.51 s 0.49/0.50 c =============================================================================== 0.49/0.50 c | 1141 | 595 27853 62229 | 9284 1141 584 | 0.000 % | 0.49/0.52 c =============================================================================== 0.49/0.53 c New solution: -11 0.49/0.53 o -11 0.49/0.53 c Elapsed CPU time: 0.514921 s Remaining CPU time: 179.485 s 0.49/0.53 c =============================================================================== 0.49/0.53 c | 1196 | 595 27854 62824 | 9284 1196 584 | 0.000 % | 0.49/0.56 c | 1301 | 595 27854 62824 | 10213 1301 584 | 0.000 % | 0.59/0.62 c | 1451 | 595 27854 62824 | 11234 1451 583 | 0.000 % | 0.69/0.70 c | 1680 | 595 27854 62824 | 12357 1680 582 | 0.000 % | 0.79/0.84 c | 2020 | 595 27854 62824 | 13593 2020 582 | 0.000 % | 1.00/1.06 c | 2528 | 595 27854 62824 | 14953 2528 581 | 0.000 % | 1.19/1.25 c =============================================================================== 1.19/1.25 c New solution: -12 1.19/1.25 o -12 1.19/1.25 c Elapsed CPU time: 1.22681 s Remaining CPU time: 178.773 s 1.19/1.25 c =============================================================================== 1.19/1.25 c | 2919 | 595 27855 63419 | 9285 2919 581 | 0.000 % | 1.29/1.30 c | 3030 | 595 27855 63419 | 10213 3030 581 | 0.000 % | 1.29/1.35 c | 3180 | 595 27855 63419 | 11234 3180 580 | 0.000 % | 1.39/1.47 c | 3408 | 595 27855 63419 | 12358 3408 580 | 0.000 % | 1.59/1.64 c | 3748 | 595 27855 63419 | 13594 3748 580 | 0.000 % | 1.89/1.92 c | 4254 | 595 27855 63419 | 14953 4254 580 | 0.000 % | 2.39/2.45 c | 5014 | 595 27855 63419 | 16448 5014 580 | 0.000 % | 3.30/3.36 c | 6155 | 595 27855 63419 | 18093 6155 579 | 0.000 % | 4.49/4.54 c =============================================================================== 4.49/4.54 c New solution: -13 4.49/4.54 o -13 4.49/4.54 c Elapsed CPU time: 4.48432 s Remaining CPU time: 175.516 s 4.49/4.54 c =============================================================================== 4.49/4.54 c | 7539 | 595 27856 64014 | 9285 7539 579 | 0.000 % | 4.59/4.64 c | 7639 | 595 27856 64014 | 10213 7639 579 | 0.000 % | 4.79/4.80 c | 7790 | 595 27856 64014 | 11235 7790 579 | 0.000 % | 4.99/5.01 c | 8015 | 595 27856 64014 | 12358 8015 579 | 0.000 % | 4.99/5.08 c =============================================================================== 4.99/5.08 c New solution: -14 4.99/5.08 o -14 4.99/5.08 c Elapsed CPU time: 5.01724 s Remaining CPU time: 174.983 s 4.99/5.08 c =============================================================================== 4.99/5.08 c | 8091 | 595 27857 64609 | 9285 8091 579 | 0.000 % | 5.09/5.18 c | 8191 | 595 27857 64609 | 10214 8191 579 | 0.000 % | 5.29/5.38 c | 8341 | 595 27857 64609 | 11235 8341 579 | 0.000 % | 5.59/5.65 c | 8573 | 595 27857 64609 | 12359 8573 579 | 0.000 % | 5.99/6.08 c | 8911 | 595 27857 64609 | 13595 8911 579 | 0.000 % | 6.60/6.67 c | 9419 | 595 27857 64609 | 14954 9419 579 | 0.000 % | 6.99/7.06 c =============================================================================== 6.99/7.06 c New solution: -15 6.99/7.06 o -15 6.99/7.06 c Elapsed CPU time: 6.97894 s Remaining CPU time: 173.021 s 6.99/7.06 c =============================================================================== 6.99/7.06 c | 9681 | 595 27858 65204 | 9286 9681 579 | 0.000 % | 7.09/7.16 c | 9782 | 595 27858 65204 | 10214 4942 578 | 0.000 % | 7.19/7.26 c | 9932 | 595 27858 65204 | 11236 5092 578 | 0.000 % | 7.39/7.44 c | 10158 | 595 27858 65204 | 12359 5318 578 | 0.000 % | 7.49/7.50 c =============================================================================== 7.49/7.50 c New solution: -16 7.49/7.50 o -16 7.49/7.50 c Elapsed CPU time: 7.42087 s Remaining CPU time: 172.579 s 7.49/7.50 c =============================================================================== 7.49/7.50 c | 10211 | 595 27859 65799 | 9286 5371 577 | 0.000 % | 7.49/7.57 c | 10311 | 595 27859 65799 | 10214 5471 577 | 0.000 % | 7.59/7.67 c | 10462 | 595 27859 65799 | 11236 5622 577 | 0.000 % | 7.79/7.80 c | 10687 | 595 27859 65799 | 12360 5847 577 | 0.000 % | 7.99/8.05 c | 11024 | 595 27859 65799 | 13596 6184 577 | 0.000 % | 8.29/8.39 c | 11535 | 595 27859 65799 | 14955 6695 577 | 0.000 % | 8.89/9.00 c | 12295 | 595 27859 65799 | 16451 7455 577 | 0.000 % | 9.99/10.02 c | 13437 | 595 27859 65799 | 18096 8597 577 | 0.000 % | 11.29/11.30 c | 15145 | 595 27859 65799 | 19906 10305 576 | 0.000 % | 11.29/11.38 c =============================================================================== 11.29/11.38 c New solution: -17 11.29/11.38 o -17 11.29/11.38 c Elapsed CPU time: 11.2613 s Remaining CPU time: 168.739 s 11.29/11.38 c =============================================================================== 11.29/11.38 c | 15203 | 595 27860 66394 | 9286 10363 576 | 0.000 % | 11.39/11.47 c | 15303 | 595 27860 66394 | 10215 5282 575 | 0.000 % | 11.49/11.57 c | 15455 | 595 27860 66394 | 11236 5434 575 | 0.000 % | 11.69/11.73 c | 15680 | 595 27860 66394 | 12360 5659 575 | 0.000 % | 11.88/11.99 c | 16018 | 595 27860 66394 | 13596 5997 575 | 0.000 % | 12.28/12.31 c | 16526 | 595 27860 66394 | 14956 6505 575 | 0.000 % | 12.79/12.81 c | 17285 | 595 27860 66394 | 16451 7264 575 | 0.000 % | 13.59/13.62 c | 18425 | 595 27860 66394 | 18097 8404 575 | 0.000 % | 15.89/15.93 c | 20133 | 595 27860 66394 | 19906 10112 575 | 0.000 % | 19.39/19.47 c | 22697 | 595 27860 66394 | 21897 12676 575 | 0.000 % | 27.68/27.71 c | 26542 | 595 27860 66394 | 24087 16521 575 | 0.000 % | 45.78/45.89 c | 32308 | 595 27860 66394 | 26495 22287 575 | 0.000 % | 51.88/51.90 c =============================================================================== 51.88/51.90 c New solution: -18 51.88/51.90 o -18 51.88/51.90 c Elapsed CPU time: 51.5792 s Remaining CPU time: 128.421 s 51.88/51.90 c =============================================================================== 51.88/51.90 c | 36695 | 595 27861 66989 | 9287 26674 575 | 0.000 % | 52.58/52.60 c | 36795 | 595 27861 66989 | 10215 5527 575 | 0.000 % | 52.58/52.69 c | 36945 | 595 27861 66989 | 11237 5677 575 | 0.000 % | 52.87/52.95 c | 37172 | 595 27861 66989 | 12360 5904 575 | 0.000 % | 53.17/53.24 c | 37510 | 595 27861 66989 | 13597 6242 575 | 0.000 % | 53.78/53.90 c | 38019 | 595 27861 66989 | 14956 6751 575 | 0.000 % | 54.68/54.73 c | 38780 | 595 27861 66989 | 16452 7512 575 | 0.000 % | 56.97/57.07 c | 39920 | 595 27861 66989 | 18097 8652 575 | 0.000 % | 60.57/60.63 c | 41629 | 595 27861 66989 | 19907 10361 574 | 0.000 % | 64.37/64.43 c | 44192 | 595 27861 66989 | 21898 12924 574 | 0.000 % | 72.27/72.33 c | 48038 | 595 27861 66989 | 24088 16770 574 | 0.000 % | 82.97/83.01 c =============================================================================== 82.97/83.01 c New solution: -19 82.97/83.01 o -19 82.97/83.01 c Elapsed CPU time: 82.5515 s Remaining CPU time: 97.4485 s 82.97/83.01 c =============================================================================== 82.97/83.01 c | 53152 | 595 27862 67584 | 9287 21884 574 | 0.000 % | 83.27/83.39 c | 53253 | 595 27862 67584 | 10216 5441 574 | 0.000 % | 83.47/83.52 c | 53405 | 595 27862 67584 | 11237 5593 574 | 0.000 % | 83.58/83.67 c | 53630 | 595 27862 67584 | 12361 5818 574 | 0.000 % | 83.97/84.02 c | 53968 | 595 27862 67584 | 13597 6156 574 | 0.000 % | 84.46/84.50 c | 54474 | 595 27862 67584 | 14957 6662 574 | 0.000 % | 85.68/85.72 c | 55237 | 595 27862 67584 | 16453 7425 574 | 0.000 % | 87.66/87.79 c | 56379 | 595 27862 67584 | 18098 8567 574 | 0.000 % | 89.86/89.91 c | 58088 | 595 27862 67584 | 19908 10276 574 | 0.000 % | 94.58/94.63 c | 60651 | 595 27862 67584 | 21899 12839 573 | 0.000 % | 106.96/107.02 c | 64496 | 595 27862 67584 | 24088 16684 573 | 0.000 % | 121.26/121.34 c =============================================================================== 121.26/121.34 c New solution: -20 121.26/121.34 o -20 121.26/121.34 c Elapsed CPU time: 120.745 s Remaining CPU time: 59.2554 s 121.26/121.34 c =============================================================================== 121.26/121.34 c | 69188 | 595 27863 68179 | 9287 21376 573 | 0.000 % | 121.55/121.61 c | 69288 | 595 27863 68179 | 10216 5417 573 | 0.000 % | 121.76/121.87 c | 69438 | 595 27863 68179 | 11238 5567 573 | 0.000 % | 121.97/122.02 c | 69664 | 595 27863 68179 | 12361 5793 573 | 0.000 % | 122.26/122.30 c | 70001 | 595 27863 68179 | 13598 6130 573 | 0.000 % | 122.56/122.64 c | 70508 | 595 27863 68179 | 14957 6637 573 | 0.000 % | 123.76/123.85 c | 71268 | 595 27863 68179 | 16453 7397 573 | 0.000 % | 125.26/125.33 c | 72409 | 595 27863 68179 | 18099 8538 572 | 0.000 % | 128.15/128.21 c | 74118 | 595 27863 68179 | 19908 10247 572 | 0.000 % | 133.15/133.23 c | 76681 | 595 27863 68179 | 21899 12810 572 | 0.000 % | 145.25/145.34 c | 80528 | 595 27863 68179 | 24089 16657 572 | 0.000 % | 167.44/167.55 c | 86295 | 595 27863 68179 | 26498 22424 572 | 0.000 % | 180.74/180.81 c There are 0 assigned variables. 0 in cost function. 182.55/182.67 c core #1 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -594 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #2 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -593 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #3 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -592 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #4 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -591 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #5 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -590 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #6 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -589 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #7 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -588 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #8 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -587 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #9 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -586 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #10 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -585 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #11 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -584 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #12 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -583 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #13 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -582 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #14 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -581 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #15 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -580 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #16 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -579 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #17 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -578 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #18 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -577 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #19 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -576 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #20 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -575 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #21 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -574 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #22 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -573 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #23 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -572 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #24 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -571 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #25 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -570 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #26 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -569 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #27 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -568 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #28 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -567 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #29 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -566 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #30 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -565 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #31 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -564 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #32 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -563 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #33 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -562 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #34 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -561 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #35 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -560 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #36 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -559 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #37 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -558 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #38 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -557 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #39 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -556 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #40 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -555 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #41 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -554 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #42 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -553 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #43 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -552 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #44 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -551 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #45 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -550 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #46 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -549 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #47 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -548 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #48 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -547 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #49 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -546 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #50 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -545 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #51 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -544 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #52 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -543 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #53 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -542 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #54 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -541 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #55 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -540 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #56 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -539 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #57 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -538 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #58 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -537 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #59 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 3 Core Weight: 1 Total Weight: -536 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #60 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -535 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #61 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -534 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #62 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -533 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #63 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -532 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #64 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -531 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #65 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -530 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #66 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -529 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #67 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -528 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #68 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -527 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #69 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -526 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #70 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -525 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #71 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -524 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #72 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -523 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #73 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -522 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #74 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -521 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #75 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -520 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #76 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -519 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #77 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -518 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #78 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -517 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #79 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -516 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #80 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -515 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #81 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -514 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #82 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -513 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #83 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -512 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #84 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -511 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #85 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -510 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #86 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -509 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #87 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -508 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #88 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -507 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #89 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -506 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #90 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -505 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #91 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -504 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #92 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -503 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #93 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -502 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #94 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -501 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #95 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -500 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #96 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -499 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #97 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -498 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #98 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -497 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #99 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -496 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #100 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -495 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #101 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -494 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #102 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -493 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #103 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -492 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #104 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -491 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #105 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -490 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #106 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -489 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #107 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -488 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #108 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -487 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #109 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -486 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #110 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -485 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #111 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -484 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #112 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -483 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #113 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -482 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #114 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -481 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #115 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -480 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #116 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -479 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c core #117 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 3 Core Weight: 1 Total Weight: -478 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #118 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -477 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #119 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -476 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #120 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -475 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #121 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -474 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #122 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -473 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #123 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -472 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #124 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -471 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #125 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -470 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #126 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -469 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #127 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -468 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #128 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -467 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #129 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -466 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #130 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -465 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #131 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -464 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #132 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -463 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #133 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -462 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #134 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -461 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #135 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -460 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #136 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -459 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #137 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -458 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #138 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -457 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #139 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -456 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #140 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -455 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #141 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -454 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #142 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -453 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #143 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -452 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #144 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -451 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #145 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -450 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #146 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -449 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #147 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -448 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #148 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -447 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #149 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -446 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #150 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -445 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #151 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -444 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #152 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -443 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #153 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -442 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #154 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -441 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #155 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -440 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #156 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -439 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #157 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -438 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #158 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -437 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #159 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -436 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #160 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -435 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #161 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -434 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #162 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -433 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #163 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -432 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #164 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -431 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #165 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -430 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #166 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -429 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #167 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -428 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #168 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -427 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #169 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -426 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #170 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -425 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #171 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -424 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #172 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -423 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #173 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -422 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #174 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -421 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c core #175 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 3 Core Weight: 1 Total Weight: -420 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #176 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -419 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #177 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -418 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #178 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -417 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #179 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -416 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #180 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -415 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #181 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -414 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #182 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -413 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #183 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -412 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #184 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -411 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #185 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -410 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #186 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -409 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #187 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -408 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #188 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -407 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #189 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -406 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #190 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -405 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #191 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -404 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #192 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -403 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #193 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -402 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #194 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -401 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #195 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -400 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #196 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -399 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #197 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -398 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #198 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -397 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #199 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -396 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #200 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -395 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #201 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -394 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #202 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -393 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #203 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -392 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #204 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -391 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #205 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -390 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #206 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -389 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #207 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -388 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #208 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -387 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #209 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -386 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #210 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -385 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #211 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -384 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #212 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -383 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #213 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -382 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #214 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -381 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #215 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -380 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #216 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -379 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #217 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -378 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #218 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -377 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #219 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -376 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #220 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -375 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #221 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -374 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #222 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -373 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #223 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -372 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #224 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -371 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #225 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -370 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #226 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -369 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #227 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -368 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #228 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -367 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #229 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -366 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #230 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -365 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #231 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -364 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #232 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -363 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c core #233 188.64/188.71 c 188.64/188.71 c 188.64/188.71 c Core size: 3 Core Weight: 1 Total Weight: -362 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #234 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c Core size: 3 Core Weight: 1 Total Weight: -361 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #235 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c Core size: 3 Core Weight: 1 Total Weight: -360 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #236 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c Core size: 3 Core Weight: 1 Total Weight: -359 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #237 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c Core size: 3 Core Weight: 1 Total Weight: -358 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #238 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c Core size: 3 Core Weight: 1 Total Weight: -357 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #239 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c Core size: 3 Core Weight: 1 Total Weight: -356 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #240 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c Core size: 3 Core Weight: 1 Total Weight: -355 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #241 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c Core size: 3 Core Weight: 1 Total Weight: -354 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #242 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c Core size: 3 Core Weight: 1 Total Weight: -353 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #243 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c Core size: 3 Core Weight: 1 Total Weight: -352 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #244 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c Core size: 3 Core Weight: 1 Total Weight: -351 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #245 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c Core size: 3 Core Weight: 1 Total Weight: -350 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #246 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c Core size: 3 Core Weight: 1 Total Weight: -349 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #247 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c Core size: 3 Core Weight: 1 Total Weight: -348 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #248 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c Core size: 3 Core Weight: 1 Total Weight: -347 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #249 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c Core size: 3 Core Weight: 1 Total Weight: -346 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #250 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c Core size: 3 Core Weight: 1 Total Weight: -345 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #251 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c Core size: 3 Core Weight: 1 Total Weight: -344 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #252 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c Core size: 3 Core Weight: 1 Total Weight: -343 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #253 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c Core size: 3 Core Weight: 1 Total Weight: -342 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #254 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c Core size: 3 Core Weight: 1 Total Weight: -341 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #255 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c Core size: 3 Core Weight: 1 Total Weight: -340 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #256 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c Core size: 3 Core Weight: 1 Total Weight: -339 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #257 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c Core size: 3 Core Weight: 1 Total Weight: -338 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #258 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c Core size: 3 Core Weight: 1 Total Weight: -337 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #259 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c Core size: 3 Core Weight: 1 Total Weight: -336 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #260 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c Core size: 3 Core Weight: 1 Total Weight: -335 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #261 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c Core size: 3 Core Weight: 1 Total Weight: -334 190.93/191.06 c 190.93/191.06 c 190.93/191.06 c core #262 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -333 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c core #263 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -332 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c core #264 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -331 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c core #265 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -330 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c core #266 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -329 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c core #267 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -328 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c core #268 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -327 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c core #269 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -326 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c core #270 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -325 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c core #271 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -324 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c core #272 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -323 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c core #273 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -322 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c core #274 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -321 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c core #275 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -320 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c core #276 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -319 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c core #277 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -318 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c core #278 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -317 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c core #279 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -316 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c core #280 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -315 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c core #281 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -314 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c core #282 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -313 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c core #283 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -312 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c core #284 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -311 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c core #285 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -310 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c core #286 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -309 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c core #287 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -308 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c core #288 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -307 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c core #289 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -306 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c core #290 190.93/191.07 c 190.93/191.07 c 190.93/191.07 c Core size: 3 Core Weight: 1 Total Weight: -305 190.93/191.07 c 191.43/191.51 c 191.43/191.51 c core #291 191.43/191.51 c 191.43/191.51 c 191.43/191.51 c Core size: 3 Core Weight: 1 Total Weight: -304 191.43/191.51 c 191.43/191.51 c 191.43/191.51 c core #292 191.43/191.51 c 191.43/191.51 c 191.43/191.51 c Core size: 3 Core Weight: 1 Total Weight: -303 191.43/191.51 c 191.43/191.51 c 191.43/191.51 c core #293 191.43/191.51 c 191.43/191.51 c 191.43/191.51 c Core size: 3 Core Weight: 1 Total Weight: -302 191.43/191.51 c 191.43/191.51 c 191.43/191.51 c core #294 191.43/191.51 c 191.43/191.51 c 191.43/191.51 c Core size: 3 Core Weight: 1 Total Weight: -301 191.43/191.51 c 191.43/191.51 c 191.43/191.51 c core #295 191.43/191.51 c 191.43/191.51 c 191.43/191.51 c Core size: 3 Core Weight: 1 Total Weight: -300 191.43/191.51 c 191.43/191.51 c 191.43/191.51 c core #296 191.43/191.51 c 191.43/191.51 c 191.43/191.51 c Core size: 3 Core Weight: 1 Total Weight: -299 191.43/191.51 c 191.43/191.51 c 191.43/191.51 c core #297 191.43/191.51 c 191.43/191.51 c 191.43/191.51 c Core size: 10 Core Weight: 1 Total Weight: -298 191.43/191.51 c 191.43/191.51 c 191.43/191.51 c core #298 191.43/191.51 c 191.43/191.51 c 191.43/191.51 c Core size: 6 Core Weight: 1 Total Weight: -297 191.43/191.51 c 191.43/191.51 c 191.43/191.51 c core #299 191.43/191.51 c 191.43/191.51 c 191.43/191.51 c Core size: 10 Core Weight: 1 Total Weight: -296 191.43/191.51 c 191.43/191.51 c 191.43/191.51 c ============================[ Search Statistics ]============================== 191.43/191.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.43/191.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.43/191.52 c =============================================================================== 191.43/191.52 c | 0 | 1200 28757 69984 | 9585 0 nan | 0.000 % | 191.43/191.52 c =============================================================================== 191.43/191.57 c core #300 191.43/191.57 c 191.43/191.57 c 191.43/191.57 c Core size: 10 Core Weight: 1 Total Weight: -295 191.43/191.57 c 191.43/191.57 c 191.43/191.57 c ============================[ Search Statistics ]============================== 191.43/191.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.43/191.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.43/191.57 c =============================================================================== 191.43/191.57 c | 0 | 1206 28758 69996 | 9586 0 nan | 0.000 % | 191.43/191.58 c =============================================================================== 191.53/191.62 c core #301 191.53/191.62 c 191.53/191.62 c 191.53/191.62 c Core size: 8 Core Weight: 1 Total Weight: -294 191.53/191.62 c 191.53/191.62 c 191.53/191.62 c ============================[ Search Statistics ]============================== 191.53/191.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.53/191.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.53/191.62 c =============================================================================== 191.53/191.62 c | 0 | 1210 28759 70004 | 9586 0 nan | 0.000 % | 191.53/191.63 c =============================================================================== 191.53/191.68 c core #302 191.53/191.68 c 191.53/191.68 c 191.53/191.68 c Core size: 10 Core Weight: 1 Total Weight: -293 191.53/191.68 c 191.53/191.68 c 191.53/191.68 c ============================[ Search Statistics ]============================== 191.53/191.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.53/191.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.53/191.68 c =============================================================================== 191.53/191.68 c | 0 | 1216 28760 70016 | 9586 0 nan | 0.000 % | 191.53/191.69 c =============================================================================== 191.63/191.74 c core #303 191.63/191.74 c 191.63/191.74 c 191.63/191.74 c Core size: 8 Core Weight: 1 Total Weight: -292 191.63/191.74 c 191.63/191.74 c 191.63/191.74 c ============================[ Search Statistics ]============================== 191.63/191.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.63/191.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.63/191.74 c =============================================================================== 191.63/191.74 c | 0 | 1220 28761 70024 | 9587 0 nan | 0.000 % | 191.63/191.75 c =============================================================================== 191.63/191.79 c core #304 191.63/191.79 c 191.63/191.79 c 191.63/191.79 c Core size: 8 Core Weight: 1 Total Weight: -291 191.63/191.79 c 191.63/191.79 c 191.63/191.79 c ============================[ Search Statistics ]============================== 191.63/191.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.63/191.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.63/191.79 c =============================================================================== 191.63/191.79 c | 0 | 1224 28762 70032 | 9587 0 nan | 0.000 % | 191.73/191.81 c =============================================================================== 191.73/191.85 c core #305 191.73/191.85 c 191.73/191.85 c 191.73/191.85 c Core size: 10 Core Weight: 1 Total Weight: -290 191.73/191.85 c 191.73/191.85 c 191.73/191.85 c ============================[ Search Statistics ]============================== 191.73/191.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.73/191.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.73/191.85 c =============================================================================== 191.73/191.85 c | 0 | 1230 28763 70044 | 9587 0 nan | 0.000 % | 191.73/191.86 c =============================================================================== 191.83/191.91 c core #306 191.83/191.91 c 191.83/191.91 c 191.83/191.91 c Core size: 10 Core Weight: 1 Total Weight: -289 191.83/191.91 c 191.83/191.91 c 191.83/191.91 c ============================[ Search Statistics ]============================== 191.83/191.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.83/191.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.83/191.91 c =============================================================================== 191.83/191.91 c | 0 | 1236 28764 70056 | 9588 0 nan | 0.000 % | 191.83/191.92 c =============================================================================== 191.83/191.97 c core #307 191.83/191.97 c 191.83/191.97 c 191.83/191.97 c Core size: 8 Core Weight: 1 Total Weight: -288 191.83/191.97 c 191.83/191.97 c 191.83/191.97 c ============================[ Search Statistics ]============================== 191.83/191.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.83/191.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.83/191.97 c =============================================================================== 191.83/191.97 c | 0 | 1240 28765 70064 | 9588 0 nan | 0.000 % | 191.83/191.98 c =============================================================================== 191.93/192.03 c core #308 191.93/192.03 c 191.93/192.03 c 191.93/192.03 c Core size: 10 Core Weight: 1 Total Weight: -287 191.93/192.03 c 191.93/192.03 c 191.93/192.03 c ============================[ Search Statistics ]============================== 191.93/192.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.93/192.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.93/192.03 c =============================================================================== 191.93/192.03 c | 0 | 1246 28766 70076 | 9588 0 nan | 0.000 % | 191.93/192.05 c =============================================================================== 191.93/192.09 c core #309 191.93/192.09 c 191.93/192.09 c 191.93/192.09 c Core size: 10 Core Weight: 1 Total Weight: -286 191.93/192.09 c 191.93/192.09 c 191.93/192.09 c ============================[ Search Statistics ]============================== 191.93/192.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.93/192.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.93/192.09 c =============================================================================== 191.93/192.09 c | 0 | 1252 28767 70088 | 9589 0 nan | 0.000 % | 192.03/192.10 c =============================================================================== 192.03/192.15 c core #310 192.03/192.15 c 192.03/192.15 c 192.03/192.15 c Core size: 10 Core Weight: 1 Total Weight: -285 192.03/192.15 c 192.03/192.15 c 192.03/192.15 c ============================[ Search Statistics ]============================== 192.03/192.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.03/192.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.03/192.15 c =============================================================================== 192.03/192.15 c | 0 | 1258 28768 70100 | 9589 0 nan | 0.000 % | 192.03/192.16 c =============================================================================== 192.13/192.21 c core #311 192.13/192.21 c 192.13/192.21 c 192.13/192.21 c Core size: 8 Core Weight: 1 Total Weight: -284 192.13/192.21 c 192.13/192.21 c 192.13/192.21 c ============================[ Search Statistics ]============================== 192.13/192.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.13/192.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.13/192.21 c =============================================================================== 192.13/192.21 c | 0 | 1262 28769 70108 | 9589 0 nan | 0.000 % | 192.13/192.22 c =============================================================================== 192.13/192.27 c core #312 192.13/192.27 c 192.13/192.27 c 192.13/192.27 c Core size: 10 Core Weight: 1 Total Weight: -283 192.13/192.27 c 192.13/192.27 c 192.13/192.27 c ============================[ Search Statistics ]============================== 192.13/192.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.13/192.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.13/192.27 c =============================================================================== 192.13/192.27 c | 0 | 1268 28770 70120 | 9590 0 nan | 0.000 % | 192.13/192.28 c =============================================================================== 192.23/192.32 c core #313 192.23/192.32 c 192.23/192.32 c 192.23/192.32 c Core size: 8 Core Weight: 1 Total Weight: -282 192.23/192.32 c 192.23/192.32 c 192.23/192.32 c ============================[ Search Statistics ]============================== 192.23/192.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.23/192.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.23/192.32 c =============================================================================== 192.23/192.32 c | 0 | 1272 28771 70128 | 9590 0 nan | 0.000 % | 192.23/192.33 c =============================================================================== 192.23/192.38 c core #314 192.23/192.38 c 192.23/192.38 c 192.23/192.38 c Core size: 8 Core Weight: 1 Total Weight: -281 192.23/192.38 c 192.23/192.38 c 192.23/192.38 c ============================[ Search Statistics ]============================== 192.23/192.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.23/192.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.23/192.38 c =============================================================================== 192.23/192.38 c | 0 | 1276 28772 70136 | 9590 0 nan | 0.000 % | 192.23/192.39 c =============================================================================== 192.34/192.44 c core #315 192.34/192.44 c 192.34/192.44 c 192.34/192.44 c Core size: 8 Core Weight: 1 Total Weight: -280 192.34/192.44 c 192.34/192.44 c 192.34/192.44 c ============================[ Search Statistics ]============================== 192.34/192.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.34/192.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.34/192.44 c =============================================================================== 192.34/192.44 c | 0 | 1280 28773 70144 | 9591 0 nan | 0.000 % | 192.34/192.45 c =============================================================================== 192.34/192.50 c core #316 192.34/192.50 c 192.34/192.50 c 192.34/192.50 c Core size: 10 Core Weight: 1 Total Weight: -279 192.34/192.50 c 192.34/192.50 c 192.34/192.50 c ============================[ Search Statistics ]============================== 192.34/192.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.34/192.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.34/192.50 c =============================================================================== 192.34/192.50 c | 0 | 1286 28774 70156 | 9591 0 nan | 0.000 % | 192.44/192.51 c =============================================================================== 192.44/192.56 c core #317 192.44/192.56 c 192.44/192.56 c 192.44/192.56 c Core size: 10 Core Weight: 1 Total Weight: -278 192.44/192.56 c 192.44/192.56 c 192.44/192.56 c ============================[ Search Statistics ]============================== 192.44/192.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.44/192.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.44/192.56 c =============================================================================== 192.44/192.56 c | 0 | 1292 28775 70168 | 9591 0 nan | 0.000 % | 192.44/192.57 c =============================================================================== 192.53/192.62 c core #318 192.53/192.62 c 192.53/192.62 c 192.53/192.62 c Core size: 10 Core Weight: 1 Total Weight: -277 192.53/192.62 c 192.53/192.62 c 192.53/192.62 c ============================[ Search Statistics ]============================== 192.53/192.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.53/192.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.53/192.62 c =============================================================================== 192.53/192.62 c | 0 | 1298 28776 70180 | 9592 0 nan | 0.000 % | 192.53/192.64 c =============================================================================== 192.53/192.68 c core #319 192.53/192.68 c 192.53/192.68 c 192.53/192.68 c Core size: 15 Core Weight: 1 Total Weight: -276 192.53/192.68 c 192.53/192.68 c 192.53/192.68 c ============================[ Search Statistics ]============================== 192.53/192.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.53/192.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.53/192.68 c =============================================================================== 192.53/192.68 c | 0 | 1310 28777 70204 | 9592 0 nan | 0.000 % | 192.53/192.70 c =============================================================================== 192.63/192.74 c core #320 192.63/192.74 c 192.63/192.74 c 192.63/192.74 c Core size: 8 Core Weight: 1 Total Weight: -275 192.63/192.74 c 192.63/192.74 c 192.63/192.74 c ============================[ Search Statistics ]============================== 192.63/192.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.63/192.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.63/192.74 c =============================================================================== 192.63/192.74 c | 0 | 1314 28778 70212 | 9592 0 nan | 0.000 % | 192.63/192.76 c =============================================================================== 192.73/192.80 c core #321 192.73/192.80 c 192.73/192.80 c 192.73/192.80 c Core size: 8 Core Weight: 1 Total Weight: -274 192.73/192.80 c 192.73/192.80 c 192.73/192.80 c ============================[ Search Statistics ]============================== 192.73/192.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.73/192.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.73/192.80 c =============================================================================== 192.73/192.80 c | 0 | 1318 28779 70220 | 9593 0 nan | 0.000 % | 192.73/192.82 c =============================================================================== 192.73/192.87 c core #322 192.73/192.87 c 192.73/192.87 c 192.73/192.87 c Core size: 8 Core Weight: 1 Total Weight: -273 192.73/192.87 c 192.73/192.87 c 192.73/192.87 c ============================[ Search Statistics ]============================== 192.73/192.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.73/192.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.73/192.87 c =============================================================================== 192.73/192.87 c | 0 | 1322 28780 70228 | 9593 0 nan | 0.000 % | 192.73/192.87 c =============================================================================== 192.83/192.92 c core #323 192.83/192.92 c 192.83/192.92 c 192.83/192.92 c Core size: 8 Core Weight: 1 Total Weight: -272 192.83/192.92 c 192.83/192.92 c 192.83/192.92 c ============================[ Search Statistics ]============================== 192.83/192.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.83/192.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.83/192.92 c =============================================================================== 192.83/192.92 c | 0 | 1326 28781 70236 | 9593 0 nan | 0.000 % | 192.83/192.93 c =============================================================================== 192.83/192.98 c core #324 192.83/192.98 c 192.83/192.98 c 192.83/192.98 c Core size: 10 Core Weight: 1 Total Weight: -271 192.83/192.98 c 192.83/192.98 c 192.83/192.98 c ============================[ Search Statistics ]============================== 192.83/192.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.83/192.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.83/192.98 c =============================================================================== 192.83/192.98 c | 0 | 1332 28782 70248 | 9594 0 nan | 0.000 % | 192.83/192.99 c =============================================================================== 192.94/193.04 c core #325 192.94/193.04 c 192.94/193.04 c 192.94/193.04 c Core size: 8 Core Weight: 1 Total Weight: -270 192.94/193.04 c 192.94/193.04 c 192.94/193.04 c ============================[ Search Statistics ]============================== 192.94/193.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.94/193.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.94/193.04 c =============================================================================== 192.94/193.04 c | 0 | 1336 28783 70256 | 9594 0 nan | 0.000 % | 192.94/193.05 c =============================================================================== 193.04/193.10 c core #326 193.04/193.10 c 193.04/193.10 c 193.04/193.10 c Core size: 10 Core Weight: 1 Total Weight: -269 193.04/193.10 c 193.04/193.10 c 193.04/193.10 c ============================[ Search Statistics ]============================== 193.04/193.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.04/193.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.04/193.10 c =============================================================================== 193.04/193.10 c | 0 | 1342 28784 70268 | 9594 0 nan | 0.000 % | 193.04/193.11 c =============================================================================== 193.04/193.16 c core #327 193.04/193.16 c 193.04/193.16 c 193.04/193.16 c Core size: 8 Core Weight: 1 Total Weight: -268 193.04/193.16 c 193.04/193.16 c 193.04/193.16 c ============================[ Search Statistics ]============================== 193.04/193.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.04/193.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.04/193.16 c =============================================================================== 193.04/193.16 c | 0 | 1346 28785 70276 | 9595 0 nan | 0.000 % | 193.04/193.17 c =============================================================================== 193.14/193.22 c core #328 193.14/193.22 c 193.14/193.22 c 193.14/193.22 c Core size: 8 Core Weight: 1 Total Weight: -267 193.14/193.22 c 193.14/193.22 c 193.14/193.22 c ============================[ Search Statistics ]============================== 193.14/193.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.14/193.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.14/193.22 c =============================================================================== 193.14/193.22 c | 0 | 1350 28786 70284 | 9595 0 nan | 0.000 % | 193.14/193.23 c =============================================================================== 193.14/193.28 c core #329 193.14/193.28 c 193.14/193.28 c 193.14/193.28 c Core size: 10 Core Weight: 1 Total Weight: -266 193.14/193.28 c 193.14/193.28 c 193.14/193.28 c ============================[ Search Statistics ]============================== 193.14/193.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.14/193.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.14/193.28 c =============================================================================== 193.14/193.28 c | 0 | 1356 28787 70296 | 9595 0 nan | 0.000 % | 193.14/193.29 c =============================================================================== 193.24/193.34 c core #330 193.24/193.34 c 193.24/193.34 c 193.24/193.34 c Core size: 10 Core Weight: 1 Total Weight: -265 193.24/193.34 c 193.24/193.34 c 193.24/193.34 c ============================[ Search Statistics ]============================== 193.24/193.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.24/193.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.24/193.34 c =============================================================================== 193.24/193.34 c | 0 | 1362 28788 70308 | 9596 0 nan | 0.000 % | 193.24/193.35 c =============================================================================== 193.34/193.40 c core #331 193.34/193.40 c 193.34/193.40 c 193.34/193.40 c Core size: 10 Core Weight: 1 Total Weight: -264 193.34/193.40 c 193.34/193.40 c 193.34/193.40 c ============================[ Search Statistics ]============================== 193.34/193.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.34/193.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.34/193.40 c =============================================================================== 193.34/193.40 c | 0 | 1368 28789 70320 | 9596 0 nan | 0.000 % | 193.34/193.41 c =============================================================================== 193.34/193.46 c core #332 193.34/193.46 c 193.34/193.46 c 193.34/193.46 c Core size: 8 Core Weight: 1 Total Weight: -263 193.34/193.46 c 193.34/193.46 c 193.34/193.46 c ============================[ Search Statistics ]============================== 193.34/193.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.34/193.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.34/193.46 c =============================================================================== 193.34/193.46 c | 0 | 1372 28790 70328 | 9596 0 nan | 0.000 % | 193.34/193.47 c =============================================================================== 193.45/193.52 c core #333 193.45/193.52 c 193.45/193.52 c 193.45/193.52 c Core size: 10 Core Weight: 1 Total Weight: -262 193.45/193.52 c 193.45/193.52 c 193.45/193.52 c ============================[ Search Statistics ]============================== 193.45/193.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.45/193.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.45/193.52 c =============================================================================== 193.45/193.52 c | 0 | 1378 28791 70340 | 9597 0 nan | 0.000 % | 193.45/193.53 c =============================================================================== 193.45/193.58 c core #334 193.45/193.58 c 193.45/193.58 c 193.45/193.58 c Core size: 10 Core Weight: 1 Total Weight: -261 193.45/193.58 c 193.45/193.58 c 193.45/193.58 c ============================[ Search Statistics ]============================== 193.45/193.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.45/193.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.45/193.58 c =============================================================================== 193.45/193.58 c | 0 | 1384 28792 70352 | 9597 0 nan | 0.000 % | 193.45/193.59 c =============================================================================== 193.54/193.64 c core #335 193.54/193.64 c 193.54/193.64 c 193.54/193.64 c Core size: 16 Core Weight: 1 Total Weight: -260 193.54/193.64 c 193.54/193.64 c 193.54/193.64 c ============================[ Search Statistics ]============================== 193.54/193.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.54/193.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.54/193.64 c =============================================================================== 193.54/193.64 c | 0 | 1396 28793 70376 | 9597 0 nan | 0.000 % | 193.54/193.65 c =============================================================================== 193.64/193.70 c core #336 193.64/193.70 c 193.64/193.70 c 193.64/193.70 c Core size: 10 Core Weight: 1 Total Weight: -259 193.64/193.70 c 193.64/193.70 c 193.64/193.70 c ============================[ Search Statistics ]============================== 193.64/193.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.64/193.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.64/193.70 c =============================================================================== 193.64/193.70 c | 0 | 1402 28794 70388 | 9598 0 nan | 0.000 % | 193.64/193.72 c =============================================================================== 193.64/193.77 c core #337 193.64/193.77 c 193.64/193.77 c 193.64/193.77 c Core size: 10 Core Weight: 1 Total Weight: -258 193.64/193.77 c 193.64/193.77 c 193.64/193.77 c ============================[ Search Statistics ]============================== 193.64/193.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.64/193.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.64/193.77 c =============================================================================== 193.64/193.77 c | 0 | 1408 28795 70400 | 9598 0 nan | 0.000 % | 193.64/193.78 c =============================================================================== 193.74/193.83 c core #338 193.74/193.83 c 193.74/193.83 c 193.74/193.83 c Core size: 10 Core Weight: 1 Total Weight: -257 193.74/193.83 c 193.74/193.83 c 193.74/193.83 c ============================[ Search Statistics ]============================== 193.74/193.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.74/193.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.74/193.83 c =============================================================================== 193.74/193.83 c | 0 | 1414 28796 70412 | 9598 0 nan | 0.000 % | 193.74/193.83 c =============================================================================== 193.74/193.88 c core #339 193.74/193.88 c 193.74/193.88 c 193.74/193.88 c Core size: 8 Core Weight: 1 Total Weight: -256 193.74/193.88 c 193.74/193.88 c 193.74/193.88 c ============================[ Search Statistics ]============================== 193.74/193.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.74/193.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.74/193.88 c =============================================================================== 193.74/193.88 c | 0 | 1418 28797 70420 | 9599 0 nan | 0.000 % | 193.74/193.89 c =============================================================================== 193.84/193.94 c core #340 193.84/193.94 c 193.84/193.94 c 193.84/193.94 c Core size: 11 Core Weight: 1 Total Weight: -255 193.84/193.94 c 193.84/193.94 c 193.84/193.94 c ============================[ Search Statistics ]============================== 193.84/193.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.84/193.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.84/193.94 c =============================================================================== 193.84/193.94 c | 0 | 1424 28798 70432 | 9599 0 nan | 0.000 % | 193.84/193.95 c =============================================================================== 193.94/194.00 c core #341 193.94/194.00 c 193.94/194.00 c 193.94/194.00 c Core size: 8 Core Weight: 1 Total Weight: -254 193.94/194.00 c 193.94/194.00 c 193.94/194.00 c ============================[ Search Statistics ]============================== 193.94/194.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.94/194.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.94/194.00 c =============================================================================== 193.94/194.00 c | 0 | 1428 28799 70440 | 9599 0 nan | 0.000 % | 193.94/194.01 c =============================================================================== 193.94/194.06 c core #342 193.94/194.06 c 193.94/194.06 c 193.94/194.06 c Core size: 8 Core Weight: 1 Total Weight: -253 193.94/194.06 c 193.94/194.06 c 193.94/194.06 c ============================[ Search Statistics ]============================== 193.94/194.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.94/194.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.94/194.06 c =============================================================================== 193.94/194.06 c | 0 | 1432 28800 70448 | 9600 0 nan | 0.000 % | 193.94/194.07 c =============================================================================== 194.04/194.12 c core #343 194.04/194.12 c 194.04/194.12 c 194.04/194.12 c Core size: 10 Core Weight: 1 Total Weight: -252 194.04/194.12 c 194.04/194.12 c 194.04/194.12 c ============================[ Search Statistics ]============================== 194.04/194.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.04/194.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.04/194.12 c =============================================================================== 194.04/194.12 c | 0 | 1438 28801 70460 | 9600 0 nan | 0.000 % | 194.04/194.13 c =============================================================================== 194.04/194.18 c core #344 194.04/194.18 c 194.04/194.18 c 194.04/194.18 c Core size: 10 Core Weight: 1 Total Weight: -251 194.04/194.18 c 194.04/194.18 c 194.04/194.18 c ============================[ Search Statistics ]============================== 194.04/194.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.04/194.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.04/194.18 c =============================================================================== 194.04/194.18 c | 0 | 1444 28802 70472 | 9600 0 nan | 0.000 % | 194.04/194.19 c =============================================================================== 194.14/194.24 c core #345 194.14/194.24 c 194.14/194.24 c 194.14/194.24 c Core size: 10 Core Weight: 1 Total Weight: -250 194.14/194.24 c 194.14/194.24 c 194.14/194.24 c ============================[ Search Statistics ]============================== 194.14/194.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.14/194.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.14/194.25 c =============================================================================== 194.14/194.25 c | 0 | 1450 28803 70484 | 9601 0 nan | 0.000 % | 194.14/194.25 c =============================================================================== 194.24/194.31 c core #346 194.24/194.31 c 194.24/194.31 c 194.24/194.31 c Core size: 10 Core Weight: 1 Total Weight: -249 194.24/194.31 c 194.24/194.31 c 194.24/194.31 c ============================[ Search Statistics ]============================== 194.24/194.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.24/194.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.24/194.31 c =============================================================================== 194.24/194.31 c | 0 | 1456 28804 70496 | 9601 0 nan | 0.000 % | 194.24/194.32 c =============================================================================== 194.24/194.37 c core #347 194.24/194.37 c 194.24/194.37 c 194.24/194.37 c Core size: 10 Core Weight: 1 Total Weight: -248 194.24/194.37 c 194.24/194.37 c 194.24/194.37 c ============================[ Search Statistics ]============================== 194.24/194.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.24/194.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.24/194.37 c =============================================================================== 194.24/194.37 c | 0 | 1462 28805 70508 | 9601 0 nan | 0.000 % | 194.24/194.38 c =============================================================================== 194.34/194.43 c core #348 194.34/194.43 c 194.34/194.43 c 194.34/194.43 c Core size: 10 Core Weight: 1 Total Weight: -247 194.34/194.43 c 194.34/194.43 c 194.34/194.43 c ============================[ Search Statistics ]============================== 194.34/194.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.34/194.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.34/194.43 c =============================================================================== 194.34/194.43 c | 0 | 1468 28806 70520 | 9602 0 nan | 0.000 % | 194.34/194.44 c =============================================================================== 194.34/194.49 c core #349 194.34/194.49 c 194.34/194.49 c 194.34/194.49 c Core size: 10 Core Weight: 1 Total Weight: -246 194.34/194.49 c 194.34/194.49 c 194.34/194.49 c ============================[ Search Statistics ]============================== 194.34/194.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.34/194.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.34/194.49 c =============================================================================== 194.34/194.49 c | 0 | 1474 28807 70532 | 9602 0 nan | 0.000 % | 194.34/194.50 c =============================================================================== 194.44/194.55 c core #350 194.44/194.55 c 194.44/194.55 c 194.44/194.55 c Core size: 10 Core Weight: 1 Total Weight: -245 194.44/194.55 c 194.44/194.55 c 194.44/194.55 c ============================[ Search Statistics ]============================== 194.44/194.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.44/194.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.44/194.55 c =============================================================================== 194.44/194.55 c | 0 | 1480 28808 70544 | 9602 0 nan | 0.000 % | 194.44/194.56 c =============================================================================== 194.54/194.61 c core #351 194.54/194.61 c 194.54/194.61 c 194.54/194.61 c Core size: 8 Core Weight: 1 Total Weight: -244 194.54/194.61 c 194.54/194.61 c 194.54/194.61 c ============================[ Search Statistics ]============================== 194.54/194.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.54/194.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.54/194.61 c =============================================================================== 194.54/194.61 c | 0 | 1484 28809 70552 | 9603 0 nan | 0.000 % | 194.54/194.62 c =============================================================================== 194.54/194.67 c core #352 194.54/194.67 c 194.54/194.67 c 194.54/194.67 c Core size: 14 Core Weight: 1 Total Weight: -243 194.54/194.67 c 194.54/194.67 c 194.54/194.67 c ============================[ Search Statistics ]============================== 194.54/194.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.54/194.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.54/194.67 c =============================================================================== 194.54/194.67 c | 0 | 1494 28810 70572 | 9603 0 nan | 0.000 % | 194.54/194.68 c =============================================================================== 194.64/194.73 c core #353 194.64/194.73 c 194.64/194.73 c 194.64/194.73 c Core size: 10 Core Weight: 1 Total Weight: -242 194.64/194.73 c 194.64/194.73 c 194.64/194.73 c ============================[ Search Statistics ]============================== 194.64/194.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.64/194.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.64/194.73 c =============================================================================== 194.64/194.73 c | 0 | 1500 28811 70584 | 9603 0 nan | 0.000 % | 194.64/194.74 c =============================================================================== 194.64/194.79 c core #354 194.64/194.79 c 194.64/194.79 c 194.64/194.79 c Core size: 8 Core Weight: 1 Total Weight: -241 194.64/194.79 c 194.64/194.79 c 194.64/194.79 c ============================[ Search Statistics ]============================== 194.64/194.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.64/194.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.64/194.79 c =============================================================================== 194.64/194.79 c | 0 | 1504 28812 70592 | 9604 0 nan | 0.000 % | 194.73/194.80 c =============================================================================== 194.73/194.85 c core #355 194.73/194.85 c 194.73/194.85 c 194.73/194.85 c Core size: 10 Core Weight: 1 Total Weight: -240 194.73/194.85 c 194.73/194.85 c 194.73/194.85 c ============================[ Search Statistics ]============================== 194.73/194.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.73/194.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.73/194.85 c =============================================================================== 194.73/194.85 c | 0 | 1510 28813 70604 | 9604 0 nan | 0.000 % | 194.73/194.86 c =============================================================================== 194.83/194.91 c core #356 194.83/194.91 c 194.83/194.91 c 194.83/194.91 c Core size: 10 Core Weight: 1 Total Weight: -239 194.83/194.91 c 194.83/194.91 c 194.83/194.91 c ============================[ Search Statistics ]============================== 194.83/194.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.83/194.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.83/194.91 c =============================================================================== 194.83/194.91 c | 0 | 1516 28814 70616 | 9604 0 nan | 0.000 % | 194.83/194.92 c =============================================================================== 194.83/194.97 c core #357 194.83/194.97 c 194.83/194.97 c 194.83/194.97 c Core size: 10 Core Weight: 1 Total Weight: -238 194.83/194.97 c 194.83/194.97 c 194.83/194.97 c ============================[ Search Statistics ]============================== 194.83/194.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.83/194.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.83/194.97 c =============================================================================== 194.83/194.97 c | 0 | 1522 28815 70628 | 9605 0 nan | 0.000 % | 194.83/194.98 c =============================================================================== 194.93/195.03 c core #358 194.93/195.03 c 194.93/195.03 c 194.93/195.03 c Core size: 10 Core Weight: 1 Total Weight: -237 194.93/195.03 c 194.93/195.03 c 194.93/195.03 c ============================[ Search Statistics ]============================== 194.93/195.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.93/195.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.93/195.03 c =============================================================================== 194.93/195.03 c | 0 | 1528 28816 70640 | 9605 0 nan | 0.000 % | 194.93/195.04 c =============================================================================== 194.93/195.09 c core #359 194.93/195.09 c 194.93/195.09 c 194.93/195.09 c Core size: 10 Core Weight: 1 Total Weight: -236 194.93/195.09 c 194.93/195.09 c 194.93/195.09 c ============================[ Search Statistics ]============================== 194.93/195.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.93/195.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.93/195.09 c =============================================================================== 194.93/195.09 c | 0 | 1534 28817 70652 | 9605 0 nan | 0.000 % | 195.03/195.10 c =============================================================================== 195.03/195.16 c core #360 195.03/195.16 c 195.03/195.16 c 195.03/195.16 c Core size: 10 Core Weight: 1 Total Weight: -235 195.03/195.16 c 195.03/195.16 c 195.03/195.16 c ============================[ Search Statistics ]============================== 195.03/195.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.03/195.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.03/195.16 c =============================================================================== 195.03/195.16 c | 0 | 1540 28818 70664 | 9606 0 nan | 0.000 % | 195.03/195.17 c =============================================================================== 195.13/195.22 c core #361 195.13/195.22 c 195.13/195.22 c 195.13/195.22 c Core size: 10 Core Weight: 1 Total Weight: -234 195.13/195.22 c 195.13/195.22 c 195.13/195.22 c ============================[ Search Statistics ]============================== 195.13/195.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.13/195.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.13/195.22 c =============================================================================== 195.13/195.22 c | 0 | 1546 28819 70676 | 9606 0 nan | 0.000 % | 195.13/195.23 c =============================================================================== 195.13/195.28 c core #362 195.13/195.28 c 195.13/195.28 c 195.13/195.28 c Core size: 10 Core Weight: 1 Total Weight: -233 195.13/195.28 c 195.13/195.28 c 195.13/195.28 c ============================[ Search Statistics ]============================== 195.13/195.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.13/195.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.13/195.28 c =============================================================================== 195.13/195.28 c | 0 | 1552 28820 70688 | 9606 0 nan | 0.000 % | 195.13/195.29 c =============================================================================== 195.23/195.35 c core #363 195.23/195.35 c 195.23/195.35 c 195.23/195.35 c Core size: 10 Core Weight: 1 Total Weight: -232 195.23/195.35 c 195.23/195.35 c 195.23/195.35 c ============================[ Search Statistics ]============================== 195.23/195.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.23/195.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.23/195.35 c =============================================================================== 195.23/195.35 c | 0 | 1558 28821 70700 | 9607 0 nan | 0.000 % | 195.23/195.36 c =============================================================================== 195.33/195.41 c core #364 195.33/195.41 c 195.33/195.41 c 195.33/195.41 c Core size: 10 Core Weight: 1 Total Weight: -231 195.33/195.41 c 195.33/195.41 c 195.33/195.41 c ============================[ Search Statistics ]============================== 195.33/195.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.33/195.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.33/195.41 c =============================================================================== 195.33/195.41 c | 0 | 1564 28822 70712 | 9607 0 nan | 0.000 % | 195.33/195.42 c =============================================================================== 195.33/195.47 c core #365 195.33/195.47 c 195.33/195.47 c 195.33/195.47 c Core size: 10 Core Weight: 1 Total Weight: -230 195.33/195.47 c 195.33/195.47 c 195.33/195.47 c ============================[ Search Statistics ]============================== 195.33/195.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.33/195.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.33/195.47 c =============================================================================== 195.33/195.47 c | 0 | 1570 28823 70724 | 9607 0 nan | 0.000 % | 195.33/195.48 c =============================================================================== 195.43/195.53 c core #366 195.43/195.53 c 195.43/195.53 c 195.43/195.53 c Core size: 8 Core Weight: 1 Total Weight: -229 195.43/195.53 c 195.43/195.53 c 195.43/195.53 c ============================[ Search Statistics ]============================== 195.43/195.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.43/195.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.43/195.53 c =============================================================================== 195.43/195.53 c | 0 | 1574 28824 70732 | 9608 0 nan | 0.000 % | 195.43/195.54 c =============================================================================== 195.43/195.60 c core #367 195.43/195.60 c 195.43/195.60 c 195.43/195.60 c Core size: 8 Core Weight: 1 Total Weight: -228 195.43/195.60 c 195.43/195.60 c 195.43/195.60 c ============================[ Search Statistics ]============================== 195.43/195.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.43/195.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.43/195.60 c =============================================================================== 195.43/195.60 c | 0 | 1578 28825 70740 | 9608 0 nan | 0.000 % | 195.53/195.61 c =============================================================================== 195.53/195.66 c core #368 195.53/195.66 c 195.53/195.66 c 195.53/195.66 c Core size: 10 Core Weight: 1 Total Weight: -227 195.53/195.66 c 195.53/195.66 c 195.53/195.66 c ============================[ Search Statistics ]============================== 195.53/195.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.53/195.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.53/195.66 c =============================================================================== 195.53/195.66 c | 0 | 1584 28826 70752 | 9608 0 nan | 0.000 % | 195.53/195.67 c =============================================================================== 195.64/195.72 c core #369 195.64/195.72 c 195.64/195.72 c 195.64/195.72 c Core size: 10 Core Weight: 1 Total Weight: -226 195.64/195.72 c 195.64/195.72 c 195.64/195.72 c ============================[ Search Statistics ]============================== 195.64/195.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.64/195.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.64/195.72 c =============================================================================== 195.64/195.72 c | 0 | 1590 28827 70764 | 9609 0 nan | 0.000 % | 195.64/195.73 c =============================================================================== 195.64/195.78 c core #370 195.64/195.78 c 195.64/195.78 c 195.64/195.78 c Core size: 8 Core Weight: 1 Total Weight: -225 195.64/195.78 c 195.64/195.78 c 195.64/195.78 c ============================[ Search Statistics ]============================== 195.64/195.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.64/195.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.64/195.78 c =============================================================================== 195.64/195.78 c | 0 | 1594 28828 70772 | 9609 0 nan | 0.000 % | 195.64/195.79 c =============================================================================== 195.74/195.84 c core #371 195.74/195.84 c 195.74/195.84 c 195.74/195.84 c Core size: 10 Core Weight: 1 Total Weight: -224 195.74/195.84 c 195.74/195.84 c 195.74/195.84 c ============================[ Search Statistics ]============================== 195.74/195.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.74/195.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.74/195.84 c =============================================================================== 195.74/195.84 c | 0 | 1600 28829 70784 | 9609 0 nan | 0.000 % | 195.74/195.85 c =============================================================================== 195.83/195.90 c core #372 195.83/195.90 c 195.83/195.90 c 195.83/195.90 c Core size: 8 Core Weight: 1 Total Weight: -223 195.83/195.90 c 195.83/195.90 c 195.83/195.90 c ============================[ Search Statistics ]============================== 195.83/195.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.83/195.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.83/195.91 c =============================================================================== 195.83/195.91 c | 0 | 1604 28830 70792 | 9610 0 nan | 0.000 % | 195.83/195.92 c =============================================================================== 195.83/195.97 c core #373 195.83/195.97 c 195.83/195.97 c 195.83/195.97 c Core size: 10 Core Weight: 1 Total Weight: -222 195.83/195.97 c 195.83/195.97 c 195.83/195.97 c ============================[ Search Statistics ]============================== 195.83/195.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.83/195.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.83/195.97 c =============================================================================== 195.83/195.97 c | 0 | 1610 28831 70804 | 9610 0 nan | 0.000 % | 195.83/195.98 c =============================================================================== 195.93/196.03 c core #374 195.93/196.03 c 195.93/196.03 c 195.93/196.03 c Core size: 10 Core Weight: 1 Total Weight: -221 195.93/196.03 c 195.93/196.03 c 195.93/196.03 c ============================[ Search Statistics ]============================== 195.93/196.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.93/196.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.93/196.03 c =============================================================================== 195.93/196.03 c | 0 | 1616 28832 70816 | 9610 0 nan | 0.000 % | 195.93/196.04 c =============================================================================== 195.93/196.09 c core #375 195.93/196.09 c 195.93/196.09 c 195.93/196.09 c Core size: 10 Core Weight: 1 Total Weight: -220 195.93/196.09 c 195.93/196.09 c 195.93/196.09 c ============================[ Search Statistics ]============================== 195.93/196.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.93/196.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.93/196.09 c =============================================================================== 195.93/196.09 c | 0 | 1622 28833 70828 | 9611 0 nan | 0.000 % | 196.03/196.10 c =============================================================================== 196.03/196.15 c core #376 196.03/196.15 c 196.03/196.15 c 196.03/196.15 c Core size: 8 Core Weight: 1 Total Weight: -219 196.03/196.15 c 196.03/196.15 c 196.03/196.15 c ============================[ Search Statistics ]============================== 196.03/196.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.03/196.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.03/196.15 c =============================================================================== 196.03/196.15 c | 0 | 1626 28834 70836 | 9611 0 nan | 0.000 % | 196.03/196.16 c =============================================================================== 196.13/196.21 c core #377 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c Core size: 10 Core Weight: 1 Total Weight: -218 196.13/196.21 c 196.13/196.21 c 196.13/196.21 c ============================[ Search Statistics ]============================== 196.13/196.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.13/196.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.13/196.21 c =============================================================================== 196.13/196.21 c | 0 | 1632 28835 70848 | 9611 0 nan | 0.000 % | 196.13/196.22 c =============================================================================== 196.13/196.28 c core #378 196.13/196.28 c 196.13/196.28 c 196.13/196.28 c Core size: 10 Core Weight: 1 Total Weight: -217 196.13/196.28 c 196.13/196.28 c 196.13/196.28 c ============================[ Search Statistics ]============================== 196.13/196.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.13/196.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.13/196.28 c =============================================================================== 196.13/196.28 c | 0 | 1638 28836 70860 | 9612 0 nan | 0.000 % | 196.13/196.29 c =============================================================================== 196.23/196.34 c core #379 196.23/196.34 c 196.23/196.34 c 196.23/196.34 c Core size: 10 Core Weight: 1 Total Weight: -216 196.23/196.34 c 196.23/196.34 c 196.23/196.34 c ============================[ Search Statistics ]============================== 196.23/196.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.23/196.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.23/196.34 c =============================================================================== 196.23/196.34 c | 0 | 1644 28837 70872 | 9612 0 nan | 0.000 % | 196.23/196.35 c =============================================================================== 196.33/196.40 c core #380 196.33/196.40 c 196.33/196.40 c 196.33/196.40 c Core size: 10 Core Weight: 1 Total Weight: -215 196.33/196.40 c 196.33/196.40 c 196.33/196.40 c ============================[ Search Statistics ]============================== 196.33/196.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.33/196.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.33/196.40 c =============================================================================== 196.33/196.40 c | 0 | 1650 28838 70884 | 9612 0 nan | 0.000 % | 196.33/196.41 c =============================================================================== 196.33/196.47 c core #381 196.33/196.47 c 196.33/196.47 c 196.33/196.47 c Core size: 10 Core Weight: 1 Total Weight: -214 196.33/196.47 c 196.33/196.47 c 196.33/196.47 c ============================[ Search Statistics ]============================== 196.33/196.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.33/196.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.33/196.47 c =============================================================================== 196.33/196.47 c | 0 | 1656 28839 70896 | 9613 0 nan | 0.000 % | 196.33/196.47 c =============================================================================== 196.44/196.53 c core #382 196.44/196.53 c 196.44/196.53 c 196.44/196.53 c Core size: 10 Core Weight: 1 Total Weight: -213 196.44/196.53 c 196.44/196.53 c 196.44/196.53 c ============================[ Search Statistics ]============================== 196.44/196.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.44/196.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.44/196.53 c =============================================================================== 196.44/196.53 c | 0 | 1662 28840 70908 | 9613 0 nan | 0.000 % | 196.44/196.54 c =============================================================================== 196.44/196.59 c core #383 196.44/196.59 c 196.44/196.59 c 196.44/196.59 c Core size: 8 Core Weight: 1 Total Weight: -212 196.44/196.59 c 196.44/196.59 c 196.44/196.59 c ============================[ Search Statistics ]============================== 196.44/196.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.44/196.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.44/196.59 c =============================================================================== 196.44/196.59 c | 0 | 1666 28841 70916 | 9613 0 nan | 0.000 % | 196.54/196.60 c =============================================================================== 196.54/196.66 c core #384 196.54/196.66 c 196.54/196.66 c 196.54/196.66 c Core size: 10 Core Weight: 1 Total Weight: -211 196.54/196.66 c 196.54/196.66 c 196.54/196.66 c ============================[ Search Statistics ]============================== 196.54/196.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.54/196.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.54/196.66 c =============================================================================== 196.54/196.66 c | 0 | 1672 28842 70928 | 9614 0 nan | 0.000 % | 196.54/196.67 c =============================================================================== 196.64/196.72 c core #385 196.64/196.72 c 196.64/196.72 c 196.64/196.72 c Core size: 10 Core Weight: 1 Total Weight: -210 196.64/196.72 c 196.64/196.72 c 196.64/196.72 c ============================[ Search Statistics ]============================== 196.64/196.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.64/196.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.64/196.72 c =============================================================================== 196.64/196.72 c | 0 | 1678 28843 70940 | 9614 0 nan | 0.000 % | 196.64/196.73 c =============================================================================== 196.64/196.78 c core #386 196.64/196.78 c 196.64/196.78 c 196.64/196.78 c Core size: 10 Core Weight: 1 Total Weight: -209 196.64/196.78 c 196.64/196.78 c 196.64/196.78 c ============================[ Search Statistics ]============================== 196.64/196.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.64/196.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.64/196.78 c =============================================================================== 196.64/196.78 c | 0 | 1684 28844 70952 | 9614 0 nan | 0.000 % | 196.64/196.79 c =============================================================================== 196.75/196.84 c core #387 196.75/196.84 c 196.75/196.84 c 196.75/196.84 c Core size: 10 Core Weight: 1 Total Weight: -208 196.75/196.84 c 196.75/196.84 c 196.75/196.84 c ============================[ Search Statistics ]============================== 196.75/196.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.75/196.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.75/196.84 c =============================================================================== 196.75/196.84 c | 0 | 1690 28845 70964 | 9615 0 nan | 0.000 % | 196.75/196.85 c =============================================================================== 196.85/196.91 c core #388 196.85/196.91 c 196.85/196.91 c 196.85/196.91 c Core size: 8 Core Weight: 1 Total Weight: -207 196.85/196.91 c 196.85/196.91 c 196.85/196.91 c ============================[ Search Statistics ]============================== 196.85/196.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.85/196.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.85/196.91 c =============================================================================== 196.85/196.91 c | 0 | 1694 28846 70972 | 9615 0 nan | 0.000 % | 196.85/196.91 c =============================================================================== 196.85/196.97 c core #389 196.85/196.97 c 196.85/196.97 c 196.85/196.97 c Core size: 8 Core Weight: 1 Total Weight: -206 196.85/196.97 c 196.85/196.97 c 196.85/196.97 c ============================[ Search Statistics ]============================== 196.85/196.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.85/196.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.85/196.97 c =============================================================================== 196.85/196.97 c | 0 | 1698 28847 70980 | 9615 0 nan | 0.000 % | 196.85/196.98 c =============================================================================== 196.94/197.03 c core #390 196.94/197.03 c 196.94/197.03 c 196.94/197.03 c Core size: 10 Core Weight: 1 Total Weight: -205 196.94/197.03 c 196.94/197.03 c 196.94/197.03 c ============================[ Search Statistics ]============================== 196.94/197.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.94/197.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.94/197.03 c =============================================================================== 196.94/197.03 c | 0 | 1704 28848 70992 | 9616 0 nan | 0.000 % | 196.94/197.05 c =============================================================================== 197.04/197.10 c core #391 197.04/197.10 c 197.04/197.10 c 197.04/197.10 c Core size: 8 Core Weight: 1 Total Weight: -204 197.04/197.10 c 197.04/197.10 c 197.04/197.10 c ============================[ Search Statistics ]============================== 197.04/197.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.04/197.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.04/197.10 c =============================================================================== 197.04/197.10 c | 0 | 1708 28849 71000 | 9616 0 nan | 0.000 % | 197.04/197.11 c =============================================================================== 197.04/197.16 c core #392 197.04/197.16 c 197.04/197.16 c 197.04/197.16 c Core size: 10 Core Weight: 1 Total Weight: -203 197.04/197.16 c 197.04/197.16 c 197.04/197.16 c ============================[ Search Statistics ]============================== 197.04/197.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.04/197.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.04/197.17 c =============================================================================== 197.04/197.17 c | 0 | 1714 28850 71012 | 9616 0 nan | 0.000 % | 197.04/197.17 c =============================================================================== 197.14/197.23 c core #393 197.14/197.23 c 197.14/197.23 c 197.14/197.23 c Core size: 10 Core Weight: 1 Total Weight: -202 197.14/197.23 c 197.14/197.23 c 197.14/197.23 c ============================[ Search Statistics ]============================== 197.14/197.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.14/197.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.14/197.23 c =============================================================================== 197.14/197.23 c | 0 | 1720 28851 71024 | 9617 0 nan | 0.000 % | 197.14/197.24 c =============================================================================== 197.14/197.29 c core #394 197.14/197.29 c 197.14/197.29 c 197.14/197.29 c Core size: 10 Core Weight: 1 Total Weight: -201 197.14/197.29 c 197.14/197.29 c 197.14/197.29 c ============================[ Search Statistics ]============================== 197.14/197.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.14/197.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.14/197.29 c =============================================================================== 197.14/197.29 c | 0 | 1726 28852 71036 | 9617 0 nan | 0.000 % | 197.24/197.30 c =============================================================================== 197.24/197.35 c core #395 197.24/197.35 c 197.24/197.35 c 197.24/197.35 c Core size: 10 Core Weight: 1 Total Weight: -200 197.24/197.35 c 197.24/197.35 c 197.24/197.35 c ============================[ Search Statistics ]============================== 197.24/197.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.24/197.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.24/197.35 c =============================================================================== 197.24/197.35 c | 0 | 1732 28853 71048 | 9617 0 nan | 0.000 % | 197.24/197.36 c =============================================================================== 197.34/197.41 c core #396 197.34/197.41 c 197.34/197.41 c 197.34/197.41 c Core size: 8 Core Weight: 1 Total Weight: -199 197.34/197.41 c 197.34/197.41 c 197.34/197.41 c ============================[ Search Statistics ]============================== 197.34/197.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.34/197.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.34/197.41 c =============================================================================== 197.34/197.41 c | 0 | 1736 28854 71056 | 9618 0 nan | 0.000 % | 197.34/197.42 c =============================================================================== 197.34/197.48 c core #397 197.34/197.48 c 197.34/197.48 c 197.34/197.48 c Core size: 10 Core Weight: 1 Total Weight: -198 197.34/197.48 c 197.34/197.48 c 197.34/197.48 c ============================[ Search Statistics ]============================== 197.34/197.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.34/197.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.34/197.48 c =============================================================================== 197.34/197.48 c | 0 | 1742 28855 71068 | 9618 0 nan | 0.000 % | 197.34/197.49 c =============================================================================== 197.44/197.54 c core #398 197.44/197.54 c 197.44/197.54 c 197.44/197.54 c Core size: 10 Core Weight: 1 Total Weight: -197 197.44/197.54 c 197.44/197.54 c 197.44/197.54 c ============================[ Search Statistics ]============================== 197.44/197.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.44/197.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.44/197.54 c =============================================================================== 197.44/197.54 c | 0 | 1748 28856 71080 | 9618 0 nan | 0.000 % | 197.44/197.55 c =============================================================================== 197.53/197.61 c core #399 197.53/197.61 c 197.53/197.61 c 197.53/197.61 c Core size: 10 Core Weight: 1 Total Weight: -196 197.53/197.61 c 197.53/197.61 c 197.53/197.61 c ============================[ Search Statistics ]============================== 197.53/197.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.53/197.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.53/197.61 c =============================================================================== 197.53/197.61 c | 0 | 1754 28857 71092 | 9619 0 nan | 0.000 % | 197.53/197.62 c =============================================================================== 197.53/197.67 c core #400 197.53/197.67 c 197.53/197.67 c 197.53/197.67 c Core size: 8 Core Weight: 1 Total Weight: -195 197.53/197.67 c 197.53/197.67 c 197.53/197.67 c ============================[ Search Statistics ]============================== 197.53/197.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.53/197.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.53/197.67 c =============================================================================== 197.53/197.67 c | 0 | 1758 28858 71100 | 9619 0 nan | 0.000 % | 197.53/197.68 c =============================================================================== 197.63/197.73 c core #401 197.63/197.73 c 197.63/197.73 c 197.63/197.73 c Core size: 10 Core Weight: 1 Total Weight: -194 197.63/197.73 c 197.63/197.73 c 197.63/197.73 c ============================[ Search Statistics ]============================== 197.63/197.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.63/197.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.63/197.73 c =============================================================================== 197.63/197.73 c | 0 | 1764 28859 71112 | 9619 0 nan | 0.000 % | 197.63/197.75 c =============================================================================== 197.73/197.80 c core #402 197.73/197.80 c 197.73/197.80 c 197.73/197.80 c Core size: 10 Core Weight: 1 Total Weight: -193 197.73/197.80 c 197.73/197.80 c 197.73/197.80 c ============================[ Search Statistics ]============================== 197.73/197.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.73/197.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.73/197.80 c =============================================================================== 197.73/197.80 c | 0 | 1770 28860 71124 | 9620 0 nan | 0.000 % | 197.73/197.81 c =============================================================================== 197.73/197.86 c core #403 197.73/197.86 c 197.73/197.86 c 197.73/197.86 c Core size: 8 Core Weight: 1 Total Weight: -192 197.73/197.86 c 197.73/197.86 c 197.73/197.86 c ============================[ Search Statistics ]============================== 197.73/197.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.73/197.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.73/197.86 c =============================================================================== 197.73/197.86 c | 0 | 1774 28861 71132 | 9620 0 nan | 0.000 % | 197.73/197.87 c =============================================================================== 197.84/197.93 c core #404 197.84/197.93 c 197.84/197.93 c 197.84/197.93 c Core size: 8 Core Weight: 1 Total Weight: -191 197.84/197.93 c 197.84/197.93 c 197.84/197.93 c ============================[ Search Statistics ]============================== 197.84/197.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.84/197.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.84/197.93 c =============================================================================== 197.84/197.93 c | 0 | 1778 28862 71140 | 9620 0 nan | 0.000 % | 197.84/197.95 c =============================================================================== 197.84/198.00 c core #405 197.84/198.00 c 197.84/198.00 c 197.84/198.00 c Core size: 12 Core Weight: 1 Total Weight: -190 197.84/198.00 c 197.84/198.00 c 197.84/198.00 c ============================[ Search Statistics ]============================== 197.84/198.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.84/198.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.84/198.00 c =============================================================================== 197.84/198.00 c | 0 | 1788 28863 71160 | 9621 0 nan | 0.000 % | 197.94/198.01 c =============================================================================== 197.94/198.06 c core #406 197.94/198.06 c 197.94/198.06 c 197.94/198.06 c Core size: 16 Core Weight: 1 Total Weight: -189 197.94/198.06 c 197.94/198.06 c 197.94/198.06 c ============================[ Search Statistics ]============================== 197.94/198.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.94/198.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.94/198.06 c =============================================================================== 197.94/198.06 c | 0 | 1798 28864 71180 | 9621 0 nan | 0.000 % | 197.94/198.07 c =============================================================================== 198.03/198.13 c core #407 198.03/198.13 c 198.03/198.13 c 198.03/198.13 c Core size: 10 Core Weight: 1 Total Weight: -188 198.03/198.13 c 198.03/198.13 c 198.03/198.13 c ============================[ Search Statistics ]============================== 198.03/198.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.03/198.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.03/198.13 c =============================================================================== 198.03/198.13 c | 0 | 1804 28865 71192 | 9621 0 nan | 0.000 % | 198.03/198.15 c =============================================================================== 198.13/198.20 c core #408 198.13/198.20 c 198.13/198.20 c 198.13/198.20 c Core size: 8 Core Weight: 1 Total Weight: -187 198.13/198.20 c 198.13/198.20 c 198.13/198.20 c ============================[ Search Statistics ]============================== 198.13/198.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.13/198.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.13/198.20 c =============================================================================== 198.13/198.20 c | 0 | 1808 28866 71200 | 9622 0 nan | 0.000 % | 198.13/198.24 c =============================================================================== 198.13/198.29 c core #409 198.13/198.29 c 198.13/198.29 c 198.13/198.29 c Core size: 40 Core Weight: 1 Total Weight: -186 198.13/198.29 c 198.13/198.29 c 198.13/198.29 c ============================[ Search Statistics ]============================== 198.13/198.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.13/198.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.13/198.29 c =============================================================================== 198.13/198.29 c | 0 | 1838 28867 71260 | 9622 0 nan | 0.000 % | 198.23/198.31 c =============================================================================== 198.23/198.36 c core #410 198.23/198.36 c 198.23/198.36 c 198.23/198.36 c Core size: 20 Core Weight: 1 Total Weight: -185 198.23/198.36 c 198.23/198.36 c 198.23/198.36 c ============================[ Search Statistics ]============================== 198.23/198.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.23/198.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.23/198.36 c =============================================================================== 198.23/198.36 c | 0 | 1853 28868 71290 | 9622 0 nan | 0.000 % | 198.33/198.40 c =============================================================================== 198.33/198.46 c core #411 198.33/198.46 c 198.33/198.46 c 198.33/198.46 c Core size: 20 Core Weight: 1 Total Weight: -184 198.33/198.46 c 198.33/198.46 c 198.33/198.46 c ============================[ Search Statistics ]============================== 198.33/198.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.33/198.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.33/198.46 c =============================================================================== 198.33/198.46 c | 0 | 1871 28869 71326 | 9623 0 nan | 0.000 % | 198.33/198.49 c =============================================================================== 198.43/198.55 c core #412 198.43/198.55 c 198.43/198.55 c 198.43/198.55 c Core size: 27 Core Weight: 1 Total Weight: -183 198.43/198.55 c 198.43/198.55 c 198.43/198.55 c ============================[ Search Statistics ]============================== 198.43/198.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.43/198.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.43/198.55 c =============================================================================== 198.43/198.55 c | 0 | 1896 28870 71376 | 9623 0 nan | 0.000 % | 198.54/198.61 c =============================================================================== 198.54/198.66 c core #413 198.54/198.66 c 198.54/198.66 c 198.54/198.66 c Core size: 44 Core Weight: 1 Total Weight: -182 198.54/198.66 c 198.54/198.66 c 198.54/198.66 c ============================[ Search Statistics ]============================== 198.54/198.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.54/198.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.54/198.66 c =============================================================================== 198.54/198.66 c | 0 | 1936 28871 71456 | 9623 0 nan | 0.000 % | 198.64/198.73 c =============================================================================== 198.64/198.79 c core #414 198.64/198.79 c 198.64/198.79 c 198.64/198.79 c Core size: 22 Core Weight: 1 Total Weight: -181 198.64/198.79 c 198.64/198.79 c 198.64/198.79 c ============================[ Search Statistics ]============================== 198.64/198.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.64/198.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.64/198.79 c =============================================================================== 198.64/198.79 c | 0 | 1950 28872 71484 | 9624 0 nan | 0.000 % | 198.74/198.83 c =============================================================================== 198.74/198.88 c core #415 198.74/198.88 c 198.74/198.88 c 198.74/198.88 c Core size: 31 Core Weight: 1 Total Weight: -180 198.74/198.88 c 198.74/198.88 c 198.74/198.88 c ============================[ Search Statistics ]============================== 198.74/198.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.74/198.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.74/198.88 c =============================================================================== 198.74/198.88 c | 0 | 1975 28873 71534 | 9624 0 nan | 0.000 % | 198.84/198.92 c | 100 | 1973 28873 71534 | 10586 100 9 | 0.101 % | 198.84/198.96 c | 252 | 1972 28873 71534 | 11645 252 10 | 0.152 % | 198.84/198.98 c =============================================================================== 198.94/199.03 c core #416 198.94/199.03 c 198.94/199.03 c 198.94/199.03 c Core size: 46 Core Weight: 1 Total Weight: -179 198.94/199.03 c 198.94/199.03 c 198.94/199.03 c ============================[ Search Statistics ]============================== 198.94/199.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.94/199.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.94/199.03 c =============================================================================== 198.94/199.03 c | 0 | 2020 28874 71624 | 9624 0 nan | 0.000 % | 198.94/199.09 c =============================================================================== 199.04/199.14 c core #417 199.04/199.14 c 199.04/199.14 c 199.04/199.14 c Core size: 29 Core Weight: 1 Total Weight: -178 199.04/199.14 c 199.04/199.14 c 199.04/199.14 c ============================[ Search Statistics ]============================== 199.04/199.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.04/199.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.04/199.14 c =============================================================================== 199.04/199.14 c | 0 | 2038 28875 71660 | 9625 0 nan | 0.000 % | 199.14/199.23 c =============================================================================== 199.14/199.28 c core #418 199.14/199.28 c 199.14/199.28 c 199.14/199.28 c Core size: 19 Core Weight: 1 Total Weight: -177 199.14/199.28 c 199.14/199.28 c 199.14/199.28 c ============================[ Search Statistics ]============================== 199.14/199.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.14/199.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.14/199.28 c =============================================================================== 199.14/199.28 c | 0 | 2050 28876 71684 | 9625 0 nan | 0.000 % | 199.24/199.33 c | 103 | 2049 28876 71684 | 10587 103 8 | 0.049 % | 199.24/199.37 c | 253 | 2047 28876 71684 | 11646 253 9 | 0.146 % | 199.34/199.40 c =============================================================================== 199.34/199.45 c core #419 199.34/199.45 c 199.34/199.45 c 199.34/199.45 c Core size: 43 Core Weight: 1 Total Weight: -176 199.34/199.45 c 199.34/199.45 c 199.34/199.45 c ============================[ Search Statistics ]============================== 199.34/199.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.34/199.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.34/199.45 c =============================================================================== 199.34/199.45 c | 0 | 2090 28877 71764 | 9625 0 nan | 0.000 % | 199.44/199.53 c | 100 | 2090 28877 71764 | 10588 100 32 | 0.000 % | 199.44/199.55 c =============================================================================== 199.54/199.60 c core #420 199.54/199.60 c 199.54/199.60 c 199.54/199.60 c Core size: 29 Core Weight: 1 Total Weight: -175 199.54/199.60 c 199.54/199.60 c 199.54/199.60 c ============================[ Search Statistics ]============================== 199.54/199.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.54/199.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.54/199.60 c =============================================================================== 199.54/199.60 c | 0 | 2112 28878 71808 | 9626 0 nan | 0.000 % | 199.54/199.64 c | 100 | 2111 28878 71808 | 10588 100 12 | 0.047 % | 199.54/199.67 c =============================================================================== 199.64/199.72 c core #421 199.64/199.72 c 199.64/199.72 c 199.64/199.72 c Core size: 27 Core Weight: 1 Total Weight: -174 199.64/199.72 c 199.64/199.72 c 199.64/199.72 c ============================[ Search Statistics ]============================== 199.64/199.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.64/199.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.64/199.72 c =============================================================================== 199.64/199.72 c | 0 | 2136 28879 71856 | 9626 0 nan | 0.000 % | 199.64/199.76 c =============================================================================== 199.74/199.81 c core #422 199.74/199.81 c 199.74/199.81 c 199.74/199.81 c Core size: 29 Core Weight: 1 Total Weight: -173 199.74/199.81 c 199.74/199.81 c 199.74/199.81 c ============================[ Search Statistics ]============================== 199.74/199.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.74/199.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.74/199.81 c =============================================================================== 199.74/199.81 c | 0 | 2160 28880 71904 | 9626 0 nan | 0.000 % | 199.74/199.83 c =============================================================================== 199.74/199.89 c core #423 199.74/199.89 c 199.74/199.89 c 199.74/199.89 c Core size: 23 Core Weight: 1 Total Weight: -172 199.74/199.89 c 199.74/199.89 c 199.74/199.89 c ============================[ Search Statistics ]============================== 199.74/199.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.74/199.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.74/199.89 c =============================================================================== 199.74/199.89 c | 0 | 2176 28881 71936 | 9627 0 nan | 0.000 % | 199.83/199.91 c =============================================================================== 199.83/199.97 c core #424 199.83/199.97 c 199.83/199.97 c 199.83/199.97 c Core size: 17 Core Weight: 1 Total Weight: -171 199.83/199.97 c 199.83/199.97 c 199.83/199.97 c ============================[ Search Statistics ]============================== 199.83/199.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.83/199.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.83/199.97 c =============================================================================== 199.83/199.97 c | 0 | 2188 28882 71960 | 9627 0 nan | 0.000 % | 199.93/200.01 c =============================================================================== 199.93/200.07 c core #425 199.93/200.07 c 199.93/200.07 c 199.93/200.07 c Core size: 36 Core Weight: 1 Total Weight: -170 199.93/200.07 c 199.93/200.07 c 199.93/200.07 c ============================[ Search Statistics ]============================== 199.93/200.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.93/200.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.93/200.07 c =============================================================================== 199.93/200.07 c | 0 | 2220 28883 72024 | 9627 0 nan | 0.000 % | 200.04/200.11 c =============================================================================== 200.04/200.16 c core #426 200.04/200.16 c 200.04/200.16 c 200.04/200.16 c Core size: 35 Core Weight: 1 Total Weight: -169 200.04/200.16 c 200.04/200.16 c 200.04/200.16 c ============================[ Search Statistics ]============================== 200.04/200.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.04/200.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.04/200.16 c =============================================================================== 200.04/200.16 c | 0 | 2244 28884 72072 | 9628 0 nan | 0.000 % | 200.14/200.23 c | 100 | 2244 28884 72072 | 10590 100 13 | 0.000 % | 200.14/200.25 c =============================================================================== 200.23/200.30 c core #427 200.23/200.30 c 200.23/200.30 c 200.23/200.30 c Core size: 23 Core Weight: 1 Total Weight: -168 200.23/200.30 c 200.23/200.30 c 200.23/200.30 c ============================[ Search Statistics ]============================== 200.23/200.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.23/200.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.23/200.30 c =============================================================================== 200.23/200.30 c | 0 | 2262 28885 72108 | 9628 0 nan | 0.000 % | 200.23/200.37 c | 103 | 2261 28885 72108 | 10591 103 14 | 0.044 % | 200.34/200.40 c =============================================================================== 200.34/200.45 c core #428 200.34/200.45 c 200.34/200.45 c 200.34/200.45 c Core size: 10 Core Weight: 1 Total Weight: -167 200.34/200.45 c 200.34/200.45 c 200.34/200.45 c ============================[ Search Statistics ]============================== 200.34/200.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.34/200.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.34/200.45 c =============================================================================== 200.34/200.45 c | 0 | 2270 28886 72124 | 9628 0 nan | 0.000 % | 200.43/200.52 c | 100 | 2269 28886 72124 | 10591 100 12 | 0.044 % | 200.43/200.57 c =============================================================================== 200.53/200.63 c core #429 200.53/200.63 c 200.53/200.63 c 200.53/200.63 c Core size: 24 Core Weight: 1 Total Weight: -166 200.53/200.63 c 200.53/200.63 c 200.53/200.63 c ============================[ Search Statistics ]============================== 200.53/200.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.53/200.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.53/200.63 c =============================================================================== 200.53/200.63 c | 0 | 2290 28887 72164 | 9629 0 nan | 0.000 % | 200.63/200.70 c | 100 | 2290 28887 72164 | 10591 100 11 | 0.000 % | 200.63/200.75 c =============================================================================== 200.73/200.81 c core #430 200.73/200.81 c 200.73/200.81 c 200.73/200.81 c Core size: 43 Core Weight: 1 Total Weight: -165 200.73/200.81 c 200.73/200.81 c 200.73/200.81 c ============================[ Search Statistics ]============================== 200.73/200.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.73/200.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.73/200.81 c =============================================================================== 200.73/200.81 c | 0 | 2322 28888 72228 | 9629 0 nan | 0.000 % | 200.73/200.83 c =============================================================================== 200.73/200.88 c core #431 200.73/200.88 c 200.73/200.88 c 200.73/200.88 c Core size: 20 Core Weight: 1 Total Weight: -164 200.73/200.88 c 200.73/200.88 c 200.73/200.88 c ============================[ Search Statistics ]============================== 200.73/200.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.73/200.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.73/200.88 c =============================================================================== 200.73/200.88 c | 0 | 2338 28889 72260 | 9629 0 nan | 0.000 % | 200.83/200.96 c | 100 | 2338 28889 72260 | 10592 100 13 | 0.000 % | 200.93/201.00 c =============================================================================== 200.93/201.05 c core #432 200.93/201.05 c 200.93/201.05 c 200.93/201.05 c Core size: 56 Core Weight: 1 Total Weight: -163 200.93/201.05 c 200.93/201.05 c 200.93/201.05 c ============================[ Search Statistics ]============================== 200.93/201.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.93/201.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.93/201.05 c =============================================================================== 200.93/201.05 c | 0 | 2374 28890 72332 | 9630 0 nan | 0.000 % | 200.93/201.09 c | 102 | 2374 28890 72332 | 10593 102 13 | 0.000 % | 201.03/201.14 c | 254 | 2374 28890 72332 | 11652 254 16 | 0.000 % | 201.14/201.28 c | 479 | 2373 28890 72332 | 12817 479 17 | 0.044 % | 201.24/201.38 c | 817 | 2372 28890 72332 | 14099 817 20 | 0.084 % | 201.44/201.55 c =============================================================================== 201.54/201.61 c core #433 201.54/201.61 c 201.54/201.61 c 201.54/201.61 c Core size: 72 Core Weight: 1 Total Weight: -162 201.54/201.61 c 201.54/201.61 c 201.54/201.61 c ============================[ Search Statistics ]============================== 201.54/201.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.54/201.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.54/201.61 c =============================================================================== 201.54/201.61 c | 0 | 2443 28891 72470 | 9630 0 nan | 0.000 % | 201.54/201.67 c | 101 | 2443 28891 72470 | 10593 101 18 | 0.000 % | 201.64/201.72 c | 252 | 2442 28891 72470 | 11652 252 14 | 0.041 % | 201.73/201.81 c =============================================================================== 201.73/201.86 c core #434 201.73/201.86 c 201.73/201.86 c 201.73/201.86 c Core size: 74 Core Weight: 1 Total Weight: -161 201.73/201.86 c 201.73/201.86 c 201.73/201.86 c ============================[ Search Statistics ]============================== 201.73/201.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.73/201.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.73/201.86 c =============================================================================== 201.73/201.86 c | 0 | 2501 28892 72586 | 9630 0 nan | 0.000 % | 201.83/201.90 c | 100 | 2501 28892 72586 | 10593 100 16 | 0.000 % | 201.83/201.93 c | 250 | 2500 28892 72586 | 11653 250 17 | 0.040 % | 201.83/202.00 c | 475 | 2500 28892 72586 | 12818 475 19 | 0.040 % | 201.93/202.01 c =============================================================================== 201.93/202.06 c core #435 201.93/202.06 c 201.93/202.06 c 201.93/202.06 c Core size: 57 Core Weight: 1 Total Weight: -160 201.93/202.06 c 201.93/202.06 c 201.93/202.06 c ============================[ Search Statistics ]============================== 201.93/202.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.93/202.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.93/202.06 c =============================================================================== 201.93/202.06 c | 0 | 2539 28893 72662 | 9631 0 nan | 0.000 % | 202.04/202.11 c | 102 | 2538 28893 72662 | 10594 102 6 | 0.079 % | 202.04/202.14 c =============================================================================== 202.14/202.20 c core #436 202.14/202.20 c 202.14/202.20 c 202.14/202.20 c Core size: 78 Core Weight: 1 Total Weight: -159 202.14/202.20 c 202.14/202.20 c 202.14/202.20 c ============================[ Search Statistics ]============================== 202.14/202.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 202.14/202.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 202.14/202.20 c =============================================================================== 202.14/202.20 c | 0 | 2593 28894 72770 | 9631 0 nan | 0.000 % | 202.14/202.25 c | 100 | 2589 28894 72770 | 10594 100 10 | 0.231 % | 202.14/202.25 c =============================================================================== 202.24/202.31 c core #437 202.24/202.31 c 202.24/202.31 c 202.24/202.31 c Core size: 16 Core Weight: 1 Total Weight: -158 202.24/202.31 c 202.24/202.31 c 202.24/202.31 c ============================[ Search Statistics ]============================== 202.24/202.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 202.24/202.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 202.24/202.31 c =============================================================================== 202.24/202.31 c | 0 | 2603 28895 72790 | 9631 0 nan | 0.000 % | 202.24/202.38 c | 100 | 2603 28895 72790 | 10594 100 10 | 0.000 % | 202.34/202.41 c =============================================================================== 202.34/202.46 c core #438 202.34/202.46 c 202.34/202.46 c 202.34/202.46 c Core size: 32 Core Weight: 1 Total Weight: -157 202.34/202.46 c 202.34/202.46 c 202.34/202.46 c ============================[ Search Statistics ]============================== 202.34/202.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 202.34/202.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 202.34/202.46 c =============================================================================== 202.34/202.46 c | 0 | 2623 28896 72830 | 9632 0 nan | 0.000 % | 202.43/202.50 c | 101 | 2623 28896 72830 | 10595 101 17 | 0.000 % | 202.43/202.54 c | 252 | 2622 28896 72830 | 11654 252 24 | 0.038 % | 202.43/202.59 c | 479 | 2622 28896 72830 | 12820 479 26 | 0.038 % | 202.63/202.74 c | 816 | 2622 28896 72830 | 14102 816 31 | 0.038 % | 202.93/203.01 c | 1324 | 2618 28896 72830 | 15512 1323 39 | 0.191 % | 203.34/203.43 c | 2083 | 2617 28896 72830 | 17063 2073 44 | 0.229 % | 203.73/203.85 c | 3224 | 2617 28896 72830 | 18770 3214 44 | 0.229 % | 204.54/204.67 c =============================================================================== 204.63/204.77 c core #439 204.63/204.77 c 204.63/204.77 c 204.63/204.77 c Core size: 92 Core Weight: 1 Total Weight: -156 204.63/204.77 c 204.63/204.77 c 204.63/204.77 c ============================[ Search Statistics ]============================== 204.63/204.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 204.63/204.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 204.63/204.77 c =============================================================================== 204.63/204.77 c | 0 | 2705 28897 72994 | 9632 0 nan | 0.000 % | 204.73/204.84 c | 100 | 2705 28897 72994 | 10595 100 13 | 0.000 % | 204.83/204.90 c | 250 | 2705 28897 72994 | 11655 250 13 | 0.000 % | 204.83/204.97 c | 476 | 2671 28897 72994 | 12820 476 22 | 7.689 % | 204.93/205.00 c =============================================================================== 204.93/205.05 c core #440 204.93/205.05 c 204.93/205.05 c 204.93/205.05 c Core size: 70 Core Weight: 1 Total Weight: -155 204.93/205.05 c 204.93/205.05 c 204.93/205.05 c ============================[ Search Statistics ]============================== 204.93/205.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 204.93/205.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 204.93/205.05 c =============================================================================== 204.93/205.05 c | 0 | 2749 28898 73082 | 9632 0 nan | 0.000 % | 204.93/205.09 c | 102 | 2749 28898 73082 | 10595 102 16 | 0.000 % | 205.04/205.13 c | 252 | 2749 28898 73082 | 11655 252 12 | 0.000 % | 205.04/205.16 c | 477 | 2747 28898 73082 | 12821 477 18 | 0.073 % | 205.14/205.26 c | 815 | 2746 28898 73082 | 14103 815 23 | 0.109 % | 205.34/205.42 c | 1321 | 2742 28898 73082 | 15513 1310 28 | 0.255 % | 205.43/205.53 c =============================================================================== 205.54/205.60 c core #441 205.54/205.60 c 205.54/205.60 c 205.54/205.60 c Core size: 96 Core Weight: 1 Total Weight: -154 205.54/205.60 c 205.54/205.60 c 205.54/205.60 c ============================[ Search Statistics ]============================== 205.54/205.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.54/205.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.54/205.60 c =============================================================================== 205.54/205.60 c | 0 | 2817 28899 73218 | 9633 0 nan | 0.000 % | 205.54/205.65 c | 100 | 2817 28899 73218 | 10596 100 14 | 0.000 % | 205.54/205.67 c =============================================================================== 205.64/205.72 c core #442 205.64/205.72 c 205.64/205.72 c 205.64/205.72 c Core size: 13 Core Weight: 1 Total Weight: -153 205.64/205.72 c 205.64/205.72 c 205.64/205.72 c ============================[ Search Statistics ]============================== 205.64/205.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.64/205.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.64/205.72 c =============================================================================== 205.64/205.72 c | 0 | 2827 28900 73238 | 9633 0 nan | 0.000 % | 205.64/205.77 c | 102 | 2827 28900 73238 | 10596 102 13 | 0.000 % | 205.64/205.79 c =============================================================================== 205.73/205.84 c core #443 205.73/205.84 c 205.73/205.84 c 205.73/205.84 c Core size: 23 Core Weight: 1 Total Weight: -152 205.73/205.84 c 205.73/205.84 c 205.73/205.84 c ============================[ Search Statistics ]============================== 205.73/205.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.73/205.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.73/205.84 c =============================================================================== 205.73/205.84 c | 0 | 2843 28901 73270 | 9633 0 nan | 0.000 % | 205.83/205.91 c | 100 | 2843 28901 73270 | 10597 100 8 | 0.000 % | 205.83/205.97 c | 250 | 2824 28901 73270 | 11656 250 8 | 3.131 % | 205.93/206.07 c =============================================================================== 206.03/206.13 c core #444 206.03/206.13 c 206.03/206.13 c 206.03/206.13 c Core size: 103 Core Weight: 1 Total Weight: -151 206.03/206.13 c 206.03/206.13 c 206.03/206.13 c ============================[ Search Statistics ]============================== 206.03/206.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 206.03/206.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 206.03/206.13 c =============================================================================== 206.03/206.13 c | 0 | 2929 28902 73442 | 9634 0 nan | 0.000 % | 206.03/206.18 c | 100 | 2929 28902 73442 | 10597 100 23 | 0.000 % | 206.14/206.21 c | 250 | 2929 28902 73442 | 11657 250 28 | 0.000 % | 206.14/206.27 c | 477 | 2929 28902 73442 | 12822 477 32 | 0.000 % | 206.24/206.37 c | 816 | 2929 28902 73442 | 14105 816 39 | 0.000 % | 206.33/206.46 c | 1322 | 2929 28902 73442 | 15515 1322 37 | 0.000 % | 206.74/206.86 c | 2083 | 2927 28902 73442 | 17067 2082 35 | 0.068 % | 207.43/207.59 c | 3223 | 2925 28902 73442 | 18773 3222 38 | 0.137 % | 208.23/208.35 c | 4931 | 2925 28902 73442 | 20651 4919 39 | 0.137 % | 209.33/209.41 c | 7493 | 2924 28902 73442 | 22716 7481 40 | 0.171 % | 213.03/213.16 c | 11339 | 2920 28902 73442 | 24988 11325 42 | 0.307 % | 214.73/214.80 c =============================================================================== 214.93/215.07 c core #445 214.93/215.07 c 214.93/215.07 c 214.93/215.07 c Core size: 132 Core Weight: 1 Total Weight: -150 214.93/215.07 c 214.93/215.07 c 214.93/215.07 c ============================[ Search Statistics ]============================== 214.93/215.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.93/215.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.93/215.07 c =============================================================================== 214.93/215.07 c | 0 | 3041 28903 73666 | 9634 0 nan | 0.000 % | 215.03/215.13 c | 100 | 3041 28903 73666 | 10597 100 11 | 0.000 % | 215.03/215.17 c | 250 | 3041 28903 73666 | 11657 250 13 | 0.000 % | 215.13/215.26 c | 475 | 3041 28903 73666 | 12823 475 15 | 0.000 % | 215.23/215.36 c | 813 | 3041 28903 73666 | 14105 813 16 | 0.001 % | 215.23/215.40 c =============================================================================== 215.33/215.45 c core #446 215.33/215.45 c 215.33/215.45 c 215.33/215.45 c Core size: 80 Core Weight: 1 Total Weight: -149 215.33/215.45 c 215.33/215.45 c 215.33/215.45 c ============================[ Search Statistics ]============================== 215.33/215.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.33/215.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.33/215.45 c =============================================================================== 215.33/215.45 c | 0 | 3119 28904 73822 | 9634 0 nan | 0.000 % | 215.44/215.51 c | 100 | 3119 28904 73822 | 10598 100 14 | 0.000 % | 215.44/215.55 c | 250 | 3119 28904 73822 | 11657 250 13 | 0.000 % | 215.54/215.64 c | 476 | 3119 28904 73822 | 12823 476 15 | 0.000 % | 215.63/215.74 c | 814 | 3119 28904 73822 | 14106 814 20 | 0.000 % | 215.83/215.95 c | 1323 | 3119 28904 73822 | 15516 1323 22 | 0.000 % | 215.92/216.05 c =============================================================================== 216.03/216.12 c core #447 216.03/216.12 c 216.03/216.12 c 216.03/216.12 c Core size: 88 Core Weight: 1 Total Weight: -148 216.03/216.12 c 216.03/216.12 c 216.03/216.12 c ============================[ Search Statistics ]============================== 216.03/216.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.03/216.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.03/216.12 c =============================================================================== 216.03/216.12 c | 0 | 3199 28905 73982 | 9635 0 nan | 0.000 % | 216.03/216.18 c | 101 | 3199 28905 73982 | 10598 101 18 | 0.000 % | 216.13/216.24 c | 251 | 3199 28905 73982 | 11658 251 16 | 0.000 % | 216.13/216.27 c | 478 | 3199 28905 73982 | 12824 478 30 | 0.000 % | 216.23/216.35 c | 816 | 3199 28905 73982 | 14106 816 29 | 0.000 % | 216.33/216.48 c | 1323 | 3198 28905 73982 | 15517 1321 34 | 0.031 % | 216.64/216.71 c | 2086 | 3198 28905 73982 | 17068 2084 34 | 0.031 % | 217.03/217.18 c | 3225 | 3198 28905 73982 | 18775 3223 37 | 0.031 % | 217.73/217.89 c | 4935 | 3198 28905 73982 | 20653 4933 51 | 0.031 % | 219.52/219.60 c | 7497 | 3198 28905 73982 | 22718 7495 62 | 0.031 % | 222.23/222.32 c | 11341 | 3197 28905 73982 | 24990 11332 69 | 0.063 % | 229.53/229.64 c | 17107 | 3197 28905 73982 | 27489 17098 67 | 0.063 % | 241.12/241.28 c | 25758 | 3197 28905 73982 | 30238 25749 68 | 0.063 % | 255.13/255.28 c | 38736 | 3197 28905 73982 | 33262 22264 66 | 0.063 % | 283.11/283.23 c | 58199 | 3119 28905 73982 | 36588 12280 50 | 2.502 % | 283.91/284.08 c =============================================================================== 285.01/285.16 c core #448 285.01/285.16 c 285.01/285.16 c 285.01/285.16 c Core size: 215 Core Weight: 1 Total Weight: -147 285.01/285.16 c 285.01/285.16 c 285.01/285.16 c ============================[ Search Statistics ]============================== 285.01/285.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 285.01/285.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 285.01/285.16 c =============================================================================== 285.01/285.16 c | 0 | 3341 28906 74266 | 9635 0 nan | 0.000 % | 285.11/285.21 c | 101 | 3341 28906 74266 | 10598 101 11 | 0.000 % | 285.11/285.24 c | 254 | 3341 28906 74266 | 11658 254 13 | 0.000 % | 285.11/285.27 c | 479 | 3336 28906 74266 | 12824 479 15 | 0.150 % | 285.21/285.31 c | 816 | 3335 28906 74266 | 14107 816 20 | 0.180 % | 285.31/285.45 c | 1322 | 3335 28906 74266 | 15517 1308 25 | 0.180 % | 285.41/285.51 c =============================================================================== 285.41/285.56 c core #449 285.41/285.56 c 285.41/285.56 c 285.41/285.56 c Core size: 76 Core Weight: 1 Total Weight: -146 285.41/285.56 c 285.41/285.56 c 285.41/285.56 c ============================[ Search Statistics ]============================== 285.41/285.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 285.41/285.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 285.41/285.56 c =============================================================================== 285.41/285.56 c | 0 | 3403 28907 74390 | 9635 0 nan | 0.000 % | 285.41/285.59 c | 100 | 3403 28907 74390 | 10599 100 26 | 0.000 % | 285.51/285.61 c | 250 | 3403 28907 74390 | 11659 250 27 | 0.000 % | 285.51/285.68 c | 475 | 3403 28907 74390 | 12825 475 28 | 0.000 % | 285.61/285.78 c | 813 | 3403 28907 74390 | 14107 813 40 | 0.000 % | 285.82/285.95 c | 1319 | 3403 28907 74390 | 15518 1319 50 | 0.000 % | 286.11/286.22 c | 2084 | 3403 28907 74390 | 17070 2084 59 | 0.000 % | 286.41/286.50 c | 3224 | 3403 28907 74390 | 18777 3224 65 | 0.000 % | 287.21/287.35 c | 4933 | 3403 28907 74390 | 20654 4933 68 | 0.000 % | 288.21/288.30 c | 7496 | 3401 28907 74390 | 22720 7491 65 | 0.059 % | 290.90/291.04 c | 11344 | 3399 28907 74390 | 24992 11339 76 | 0.118 % | 296.01/296.14 c | 17110 | 3395 28907 74390 | 27491 17096 78 | 0.235 % | 305.10/305.23 c | 25759 | 3393 28907 74390 | 30240 25745 77 | 0.294 % | 320.00/320.15 c | 38733 | 3393 28907 74390 | 33264 22090 70 | 0.295 % | 340.10/340.20 c | 58194 | 3379 28907 74390 | 36591 22301 79 | 2.762 % | 343.59/343.78 c =============================================================================== 344.79/344.97 c core #450 344.79/344.97 c 344.79/344.97 c 344.79/344.97 c Core size: 141 Core Weight: 1 Total Weight: -145 344.79/344.97 c 344.79/344.97 c 344.79/344.97 c ============================[ Search Statistics ]============================== 344.79/344.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 344.79/344.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 344.79/344.97 c =============================================================================== 344.79/344.97 c | 0 | 3503 28908 74590 | 9636 0 nan | 0.000 % | 344.89/345.03 c | 100 | 3503 28908 74590 | 10599 100 19 | 0.000 % | 344.89/345.06 c | 252 | 3503 28908 74590 | 11659 252 19 | 0.000 % | 344.89/345.08 c =============================================================================== 344.99/345.12 c core #451 344.99/345.12 c 344.99/345.12 c 344.99/345.12 c Core size: 20 Core Weight: 1 Total Weight: -144 344.99/345.12 c 344.99/345.12 c 344.99/345.12 c ============================[ Search Statistics ]============================== 344.99/345.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 344.99/345.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 344.99/345.12 c =============================================================================== 344.99/345.12 c | 0 | 3515 28909 74614 | 9636 0 nan | 0.000 % | 345.09/345.22 c | 102 | 3515 28909 74614 | 10599 102 29 | 0.000 % | 345.09/345.24 c | 252 | 3515 28909 74614 | 11659 252 25 | 0.000 % | 345.09/345.28 c | 486 | 3515 28909 74614 | 12825 486 28 | 0.000 % | 345.20/345.34 c | 823 | 3515 28909 74614 | 14108 823 41 | 0.000 % | 345.30/345.44 c | 1329 | 3515 28909 74614 | 15519 1329 40 | 0.000 % | 345.59/345.70 c | 2088 | 3515 28909 74614 | 17071 2088 44 | 0.000 % | 345.79/345.97 c | 3227 | 3515 28909 74614 | 18778 3227 48 | 0.000 % | 346.40/346.54 c | 4936 | 3515 28909 74614 | 20656 4936 59 | 0.000 % | 347.89/348.01 c | 7499 | 3515 28909 74614 | 22721 7499 62 | 0.000 % | 350.29/350.48 c | 11343 | 3515 28909 74614 | 24994 11343 69 | 0.000 % | 354.79/354.98 c | 17110 | 3515 28909 74614 | 27493 17110 75 | 0.000 % | 362.39/362.53 c | 25759 | 3515 28909 74614 | 30242 25759 80 | 0.000 % | 373.09/373.23 c | 38733 | 3515 28909 74614 | 33267 21513 82 | 0.000 % | 394.98/395.13 c | 58199 | 3515 28909 74614 | 36593 20502 101 | 0.000 % | 436.67/436.82 c | 87393 | 3515 28909 74614 | 40253 26302 97 | 0.000 % | 498.44/498.60 c | 131182 | 3515 28909 74614 | 44278 17384 117 | 0.000 % | 612.52/612.73 c | 196870 | 3515 28909 74614 | 48706 26600 108 | 0.000 % | 797.66/797.94 c | 295402 | 3515 28909 74614 | 53577 28187 92 | 0.000 % | 1073.68/1074.03 c | 443192 | 3515 28909 74614 | 58934 24507 106 | 0.000 % | 1511.36/1511.90 c | 664878 | 3515 28909 74614 | 64828 32957 93 | 0.000 % |
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-2680672-1277456014/watcher-2680672-1277456014 -o /tmp/evaluation-result-2680672-1277456014/solver-2680672-1277456014 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680672-1277456014.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.96 3/106 28391 /proc/meminfo: memFree=1853520/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=3228 CPUtime=0 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 301 0 0 0 0 0 0 0 18 0 1 0 86896710 3305472 219 1992294400 134512640 135752675 4288999248 18446744073709551615 134560995 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 807 219 141 303 0 339 0 [startup+0.025859 s] /proc/loadavg: 1.00 1.00 0.96 3/106 28391 /proc/meminfo: memFree=1853520/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=3492 CPUtime=0.02 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 396 0 0 0 2 0 0 0 20 0 1 0 86896710 3575808 314 1992294400 134512640 135752675 4288999248 18446744073709551615 134574276 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 873 315 172 303 0 405 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3492 [startup+0.101864 s] /proc/loadavg: 1.00 1.00 0.96 3/106 28391 /proc/meminfo: memFree=1853520/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=5312 CPUtime=0.09 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 1101 0 0 0 9 0 0 0 20 0 1 0 86896710 5439488 856 1992294400 134512640 135752675 4288999248 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 1328 857 140 303 0 1023 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5312 [startup+0.301877 s] /proc/loadavg: 1.00 1.00 0.96 3/106 28391 /proc/meminfo: memFree=1853520/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=5840 CPUtime=0.29 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 1252 0 0 0 29 0 0 0 20 0 1 0 86896710 5980160 1007 1992294400 134512640 135752675 4288999248 18446744073709551615 134637973 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 1460 1007 145 303 0 1155 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5840 [startup+0.701903 s] /proc/loadavg: 1.00 1.00 0.96 3/106 28391 /proc/meminfo: memFree=1853520/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=8280 CPUtime=0.69 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 1865 0 0 0 68 1 0 0 21 0 1 0 86896710 8478720 1620 1992294400 134512640 135752675 4288999248 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 2070 1620 145 303 0 1765 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8280 [startup+1.50095 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28392 /proc/meminfo: memFree=1845824/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=12636 CPUtime=1.49 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 2949 0 0 0 146 3 0 0 23 0 1 0 86896710 12939264 2704 1992294400 134512640 135752675 4288999248 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 3159 2705 145 303 0 2854 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12636 [startup+3.10106 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28392 /proc/meminfo: memFree=1839996/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=18424 CPUtime=3.09 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 4407 0 0 0 305 4 0 0 25 0 1 0 86896710 18866176 4162 1992294400 134512640 135752675 4288999248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 4606 4162 145 303 0 4301 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18424 [startup+6.30126 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28392 /proc/meminfo: memFree=1830820/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=26284 CPUtime=6.29 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 6369 0 0 0 622 7 0 0 25 0 1 0 86896710 26914816 6124 1992294400 134512640 135752675 4288999248 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 6571 6124 145 303 0 6266 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26284 [startup+12.7007 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28392 /proc/meminfo: memFree=1812344/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=45312 CPUtime=12.69 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 11121 0 0 0 1256 13 0 0 25 0 1 0 86896710 46399488 10876 1992294400 134512640 135752675 4288999248 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 11328 10876 145 303 0 11023 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 45312 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28392 /proc/meminfo: memFree=1790272/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=65536 CPUtime=25.48 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 16160 0 0 0 2528 20 0 0 25 0 1 0 86896710 67108864 15915 1992294400 134512640 135752675 4288999248 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 16384 15915 145 303 0 16079 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 65536 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28392 /proc/meminfo: memFree=1764480/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=92004 CPUtime=51.07 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 22745 0 0 0 5077 30 0 0 25 0 1 0 86896710 94212096 22500 1992294400 134512640 135752675 4288999248 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 23001 22500 145 303 0 22696 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 92004 [startup+102.308 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28394 /proc/meminfo: memFree=1699876/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=155344 CPUtime=102.27 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 38581 0 0 0 10175 52 0 0 25 0 1 0 86896710 159072256 38336 1992294400 134512640 135752675 4288999248 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 38869 38336 145 303 0 38564 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 155344 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28396 /proc/meminfo: memFree=1647548/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=207760 CPUtime=162.25 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 51621 0 0 0 16154 71 0 0 25 0 1 0 86896710 212746240 51376 1992294400 134512640 135752675 4288999248 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 51940 51376 145 303 0 51635 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 207760 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28396 /proc/meminfo: memFree=1636264/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=218096 CPUtime=222.23 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 54371 0 0 0 22125 98 0 0 25 0 1 0 86896710 223330304 54070 1992294400 134512640 135752675 4288999248 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 54524 54070 146 303 0 54219 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 218096 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28398 /proc/meminfo: memFree=1636140/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=218096 CPUtime=282.21 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 54376 0 0 0 28104 117 0 0 25 0 1 0 86896710 223330304 54075 1992294400 134512640 135752675 4288999248 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 54524 54075 146 303 0 54219 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 218096 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28400 /proc/meminfo: memFree=1634156/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=220084 CPUtime=342.2 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 54898 0 0 0 34077 143 0 0 25 0 1 0 86896710 225366016 54597 1992294400 134512640 135752675 4288999248 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 55021 54597 146 303 0 54716 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 220084 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28402 /proc/meminfo: memFree=1618780/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=235576 CPUtime=402.18 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 58746 0 0 0 40041 177 0 0 25 0 1 0 86896710 241229824 58445 1992294400 134512640 135752675 4288999248 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 58894 58445 146 303 0 58589 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 235576 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28413 /proc/meminfo: memFree=1591128/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=262580 CPUtime=462.15 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 65507 0 0 0 46010 205 0 0 25 0 1 0 86896710 268881920 65206 1992294400 134512640 135752675 4288999248 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 65645 65206 146 303 0 65340 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 262580 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28413 /proc/meminfo: memFree=1561740/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=292084 CPUtime=522.13 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 72861 0 0 0 51981 232 0 0 25 0 1 0 86896710 299094016 72560 1992294400 134512640 135752675 4288999248 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 73021 72560 146 303 0 72716 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 292084 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28415 /proc/meminfo: memFree=1537064/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=316696 CPUtime=582.11 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 78982 0 0 0 57957 254 0 0 25 0 1 0 86896710 324296704 78681 1992294400 134512640 135752675 4288999248 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 79174 78681 146 303 0 78869 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 316696 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28417 /proc/meminfo: memFree=1518092/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=335552 CPUtime=642.11 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 83702 0 0 0 63937 274 0 0 25 0 1 0 86896710 343605248 83401 1992294400 134512640 135752675 4288999248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 83888 83401 146 303 0 83583 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 335552 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28421 /proc/meminfo: memFree=1457828/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=395832 CPUtime=822.05 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 98770 0 0 0 81867 338 0 0 25 0 1 0 86896710 405331968 98469 1992294400 134512640 135752675 4288999248 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 98958 98469 146 303 0 98653 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 395832 [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28423 /proc/meminfo: memFree=1440840/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=412840 CPUtime=882.03 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 103013 0 0 0 87848 355 0 0 25 0 1 0 86896710 422748160 102712 1992294400 134512640 135752675 4288999248 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 103210 102712 146 303 0 102905 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 412840 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28425 /proc/meminfo: memFree=1421868/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=431964 CPUtime=942.02 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 107771 0 0 0 93826 376 0 0 25 0 1 0 86896710 442331136 107470 1992294400 134512640 135752675 4288999248 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 107991 107470 146 303 0 107686 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 431964 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28427 /proc/meminfo: memFree=1401284/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=452424 CPUtime=1002.01 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 112871 0 0 0 99802 399 0 0 25 0 1 0 86896710 463282176 112570 1992294400 134512640 135752675 4288999248 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 113106 112570 146 303 0 112801 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 452424 [startup+1062.3 s] /proc/loadavg: 1.06 1.01 0.97 2/107 28429 /proc/meminfo: memFree=1382808/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=470904 CPUtime=1061.99 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 117502 0 0 0 105780 419 0 0 25 0 1 0 86896710 482205696 117201 1992294400 134512640 135752675 4288999248 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 117726 117201 146 303 0 117421 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 470904 [startup+1122.3 s] /proc/loadavg: 1.07 1.03 0.97 2/107 28429 /proc/meminfo: memFree=1361480/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=492012 CPUtime=1121.97 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 122776 0 0 0 111758 439 0 0 25 0 1 0 86896710 503820288 122475 1992294400 134512640 135752675 4288999248 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 123003 122475 146 303 0 122698 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 492012 [startup+1182.3 s] /proc/loadavg: 1.07 1.03 0.98 2/107 28431 /proc/meminfo: memFree=1341888/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=511692 CPUtime=1181.95 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 127680 0 0 0 117733 462 0 0 25 0 1 0 86896710 523972608 127379 1992294400 134512640 135752675 4288999248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 127923 127379 146 303 0 127618 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 511692 [startup+1242.3 s] /proc/loadavg: 1.07 1.04 0.98 2/107 28433 /proc/meminfo: memFree=1322792/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=530488 CPUtime=1241.94 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 132370 0 0 0 123710 484 0 0 25 0 1 0 86896710 543219712 132069 1992294400 134512640 135752675 4288999248 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 132622 132069 146 303 0 132317 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 530488 [startup+1302.3 s] /proc/loadavg: 1.02 1.03 0.98 2/107 28435 /proc/meminfo: memFree=1309524/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=543628 CPUtime=1301.92 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 135646 0 0 0 129693 499 0 0 25 0 1 0 86896710 556675072 135345 1992294400 134512640 135752675 4288999248 18446744073709551615 134611615 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 135907 135345 146 303 0 135602 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 543628 [startup+1362.3 s] /proc/loadavg: 1.06 1.04 0.99 2/107 28437 /proc/meminfo: memFree=1294024/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=559352 CPUtime=1361.9 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 139583 0 0 0 135676 514 0 0 25 0 1 0 86896710 572776448 139282 1992294400 134512640 135752675 4288999248 18446744073709551615 134605503 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 139838 139282 146 303 0 139533 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 559352 [startup+1422.31 s] /proc/loadavg: 1.02 1.03 0.99 2/107 28437 /proc/meminfo: memFree=1274432/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=578740 CPUtime=1421.89 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 144412 0 0 0 141656 533 0 0 25 0 1 0 86896710 592629760 144111 1992294400 134512640 135752675 4288999248 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 144685 144111 146 303 0 144380 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 578740 [startup+1482.3 s] /proc/loadavg: 1.00 1.02 0.99 2/107 28439 /proc/meminfo: memFree=1254592/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=598660 CPUtime=1481.87 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 149375 0 0 0 147629 558 0 0 25 0 1 0 86896710 613027840 149074 1992294400 134512640 135752675 4288999248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 149665 149074 146 303 0 149360 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 598660 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 0.99 2/107 28441 /proc/meminfo: memFree=1235992/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=617096 CPUtime=1541.85 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 153988 0 0 0 153608 577 0 0 25 0 1 0 86896710 631906304 153687 1992294400 134512640 135752675 4288999248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 154274 153687 146 303 0 153969 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 617096 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 0.99 2/107 28443 /proc/meminfo: memFree=1224708/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=628628 CPUtime=1601.84 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 156848 0 0 0 159594 590 0 0 25 0 1 0 86896710 643715072 156547 1992294400 134512640 135752675 4288999248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 157157 156547 146 303 0 156852 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 628628 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 28445 /proc/meminfo: memFree=1204124/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=649128 CPUtime=1661.82 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 161957 0 0 0 165569 613 0 0 25 0 1 0 86896710 664707072 161656 1992294400 134512640 135752675 4288999248 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 162282 161656 146 303 0 161977 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 649128 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 28445 /proc/meminfo: memFree=1186516/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=666876 CPUtime=1721.8 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 166379 0 0 0 171544 636 0 0 25 0 1 0 86896710 682881024 166078 1992294400 134512640 135752675 4288999248 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 166719 166078 146 303 0 166414 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 666876 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 28447 /proc/meminfo: memFree=1171512/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=681508 CPUtime=1781.78 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 170021 0 0 0 177521 657 0 0 25 0 1 0 86896710 697864192 169720 1992294400 134512640 135752675 4288999248 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 170377 169720 146 303 0 170072 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 681508 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.99 2/107 28449 /proc/meminfo: memFree=1166924/2059040 swapFree=4140556/4192956 [pid=28391] ppid=28389 vsize=685912 CPUtime=1800.09 /proc/28391/stat : 28391 (wbo1.4b) R 28389 28391 28100 0 -1 4202496 171136 0 0 0 179347 662 0 0 25 0 1 0 86896710 702373888 170835 1992294400 134512640 135752675 4288999248 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28391/statm: 171478 170835 146 303 0 171173 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 685912 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.69 CPU time (s): 1800.17 CPU user time (s): 1793.47 CPU system time (s): 6.69898 CPU usage (%): 99.9714 Max. virtual memory (cumulated for all children) (KiB): 685912 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.47 system time used= 6.69898 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 171136 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= 84 involuntary context switches= 6993 runsolver used 3.19151 second user time and 8.34073 second system time The end
Begin job on node030 at 2010-06-25 10:53:34 IDJOB=2680672 IDBENCH=2270 IDSOLVER=1190 FILE ID=node030/2680672-1277456014 PBS_JOBID= 11188135 Free space on /tmp= 62496 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680672-1277456014/watcher-2680672-1277456014 -o /tmp/evaluation-result-2680672-1277456014/solver-2680672-1277456014 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680672-1277456014.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4acf18ad1cd52676d2699a99f210ed0a RANDOM SEED=1748227679 node030.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.244 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.48 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.244 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.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1853924 kB Buffers: 25228 kB Cached: 75252 kB SwapCached: 5752 kB Active: 28784 kB Inactive: 85512 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1853924 kB SwapTotal: 4192956 kB SwapFree: 4140556 kB Dirty: 3240 kB Writeback: 0 kB AnonPages: 12000 kB Mapped: 12288 kB Slab: 68736 kB PageTables: 4208 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181368 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62492 MiB End job on node030 at 2010-06-25 11:23:36