Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.09 | 1800.55 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_5.opb |
MD5SUM | 5ebd53ca3e688df11993cbeac431dac6 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -37 |
Best CPU time to get the best result obtained on this benchmark | 1800.25 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -42 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 500 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 111 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 37500 |
Sum of products size (including duplicates) | 75000 |
Number of different products | 18750 |
Sum of products size | 37500 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702573-1278570365.opb. 0.00/0.00 c Instance file HOME/instance-2702573-1278570365.opb 0.00/0.00 c File size is 1616803 bytes. 0.19/0.26 c Highest Coefficient sum: 111 0.19/0.26 c ============================[ Problem Statistics ]============================= 0.19/0.26 c | | 0.19/0.26 c | Parsing time: 0.26 s | 0.19/0.26 c | Number Variables: 19250 | 0.19/0.26 c | Number Clauses: 18750 | 0.19/0.26 c | Number Cardinality: 1000 | 0.19/0.26 c | Number PB Constraints: 18750 | 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 500 38500 93090 | 12833 0 nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c New solution: 0 0.29/0.34 o 0 0.29/0.34 c Elapsed CPU time: 0.330949 s Remaining CPU time: 179.669 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 500 38501 93590 | 12833 0 nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c New solution: -1 0.29/0.35 o -1 0.29/0.35 c Elapsed CPU time: 0.338948 s Remaining CPU time: 179.661 s 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 500 38502 94090 | 12834 0 nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c New solution: -2 0.29/0.35 o -2 0.29/0.35 c Elapsed CPU time: 0.345947 s Remaining CPU time: 179.654 s 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 500 38503 94590 | 12834 0 nan | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c New solution: -3 0.29/0.36 o -3 0.29/0.36 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s 0.29/0.36 c =============================================================================== 0.29/0.36 c | 1 | 500 38504 95090 | 12834 1 498 | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c New solution: -4 0.29/0.37 o -4 0.29/0.37 c Elapsed CPU time: 0.360945 s Remaining CPU time: 179.639 s 0.29/0.37 c =============================================================================== 0.29/0.37 c | 4 | 500 38505 95590 | 12835 4 498 | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c New solution: -5 0.29/0.38 o -5 0.29/0.38 c Elapsed CPU time: 0.368943 s Remaining CPU time: 179.631 s 0.29/0.38 c =============================================================================== 0.29/0.38 c | 4 | 500 38506 96090 | 12835 4 498 | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c New solution: -6 0.29/0.39 o -6 0.29/0.39 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s 0.29/0.39 c =============================================================================== 0.29/0.39 c | 10 | 500 38507 96590 | 12835 10 497 | 0.000 % | 0.29/0.40 c =============================================================================== 0.29/0.40 c New solution: -7 0.29/0.40 o -7 0.29/0.40 c Elapsed CPU time: 0.385941 s Remaining CPU time: 179.614 s 0.29/0.40 c =============================================================================== 0.29/0.40 c | 12 | 500 38508 97090 | 12836 12 497 | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c New solution: -8 0.39/0.40 o -8 0.39/0.40 c Elapsed CPU time: 0.395939 s Remaining CPU time: 179.604 s 0.39/0.40 c =============================================================================== 0.39/0.40 c | 19 | 500 38509 97590 | 12836 19 498 | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c New solution: -9 0.39/0.42 o -9 0.39/0.42 c Elapsed CPU time: 0.407937 s Remaining CPU time: 179.592 s 0.39/0.42 c =============================================================================== 0.39/0.42 c | 48 | 500 38510 98090 | 12836 48 497 | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c New solution: -10 0.39/0.43 o -10 0.39/0.43 c Elapsed CPU time: 0.423935 s Remaining CPU time: 179.576 s 0.39/0.43 c =============================================================================== 0.39/0.43 c | 107 | 500 38511 98590 | 12837 107 495 | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c New solution: -11 0.39/0.45 o -11 0.39/0.45 c Elapsed CPU time: 0.432934 s Remaining CPU time: 179.567 s 0.39/0.45 c =============================================================================== 0.39/0.45 c | 122 | 500 38512 99090 | 12837 122 495 | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c New solution: -12 0.39/0.47 o -12 0.39/0.47 c Elapsed CPU time: 0.452931 s Remaining CPU time: 179.547 s 0.39/0.47 c =============================================================================== 0.39/0.47 c | 193 | 500 38513 99590 | 12837 193 494 | 0.000 % | 0.39/0.48 c | 295 | 500 38513 99590 | 14121 295 493 | 97.403 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c New solution: -13 0.49/0.50 o -13 0.49/0.50 c Elapsed CPU time: 0.486925 s Remaining CPU time: 179.513 s 0.49/0.50 c =============================================================================== 0.49/0.50 c | 332 | 500 38514 100090 | 12838 332 493 | 97.403 % | 0.49/0.52 c | 432 | 500 38514 100090 | 14121 432 493 | 97.403 % | 0.49/0.56 c | 583 | 500 38514 100090 | 15533 583 493 | 97.403 % | 0.60/0.63 c | 808 | 500 38514 100090 | 17087 808 493 | 97.403 % | 0.60/0.67 c =============================================================================== 0.60/0.67 c New solution: -14 0.60/0.67 o -14 0.60/0.67 c Elapsed CPU time: 0.647901 s Remaining CPU time: 179.352 s 0.60/0.67 c =============================================================================== 0.60/0.67 c | 931 | 500 38515 100590 | 12838 931 494 | 97.403 % | 0.69/0.70 c | 1031 | 500 38515 100590 | 14122 1031 496 | 97.403 % | 0.69/0.76 c | 1183 | 500 38515 100590 | 15534 1183 497 | 97.403 % | 0.79/0.84 c | 1410 | 500 38515 100590 | 17087 1410 499 | 97.403 % | 0.89/0.96 c | 1749 | 500 38515 100590 | 18796 1749 498 | 97.403 % | 1.10/1.16 c =============================================================================== 1.10/1.16 c New solution: -15 1.10/1.16 o -15 1.10/1.16 c Elapsed CPU time: 1.13583 s Remaining CPU time: 178.864 s 1.10/1.16 c =============================================================================== 1.10/1.16 c | 2205 | 500 38516 101090 | 12838 2205 497 | 97.403 % | 1.20/1.22 c | 2308 | 500 38516 101090 | 14122 2308 497 | 97.403 % | 1.20/1.30 c | 2459 | 500 38516 101090 | 15534 2459 497 | 97.403 % | 1.39/1.40 c | 2684 | 500 38516 101090 | 17088 2684 497 | 97.403 % | 1.49/1.57 c | 3021 | 500 38516 101090 | 18797 3021 496 | 97.403 % | 1.79/1.84 c | 3527 | 500 38516 101090 | 20676 3527 495 | 97.403 % | 2.40/2.40 c | 4286 | 500 38516 101090 | 22744 4286 494 | 97.403 % | 3.79/3.88 c | 5426 | 500 38516 101090 | 25018 5426 494 | 97.403 % | 5.99/6.05 c | 7135 | 500 38516 101090 | 27520 7135 493 | 97.403 % | 9.09/9.18 c =============================================================================== 9.09/9.18 c New solution: -16 9.09/9.18 o -16 9.09/9.18 c Elapsed CPU time: 9.12361 s Remaining CPU time: 170.876 s 9.09/9.18 c =============================================================================== 9.09/9.18 c | 9145 | 500 38517 101590 | 12839 9145 492 | 97.403 % | 9.49/9.53 c | 9245 | 500 38517 101590 | 14122 9245 492 | 97.403 % | 9.99/10.00 c | 9396 | 500 38517 101590 | 15535 9396 492 | 97.403 % | 10.39/10.43 c | 9621 | 500 38517 101590 | 17088 9621 493 | 97.403 % | 11.19/11.28 c | 9958 | 500 38517 101590 | 18797 9958 493 | 97.403 % | 12.39/12.46 c | 10465 | 500 38517 101590 | 20677 10465 493 | 97.403 % | 13.49/13.52 c | 11224 | 500 38517 101590 | 22745 11224 493 | 97.403 % | 13.79/13.86 c =============================================================================== 13.79/13.86 c New solution: -17 13.79/13.86 o -17 13.79/13.86 c Elapsed CPU time: 13.7779 s Remaining CPU time: 166.222 s 13.79/13.86 c =============================================================================== 13.79/13.86 c | 11419 | 500 38518 102090 | 12839 11419 494 | 97.403 % | 14.08/14.16 c | 11519 | 500 38518 102090 | 14123 11519 494 | 97.403 % | 14.49/14.51 c | 11670 | 500 38518 102090 | 15535 11670 494 | 97.403 % | 14.79/14.86 c | 11895 | 500 38518 102090 | 17089 11895 495 | 97.403 % | 15.19/15.28 c | 12233 | 500 38518 102090 | 18798 12233 495 | 97.403 % | 16.49/16.50 c | 12741 | 500 38518 102090 | 20677 12741 495 | 97.403 % | 18.79/18.85 c | 13506 | 500 38518 102090 | 22745 13506 495 | 97.403 % | 22.99/23.03 c | 14647 | 500 38518 102090 | 25020 14647 495 | 97.403 % | 25.19/25.22 c | 16355 | 500 38518 102090 | 27522 16355 494 | 97.403 % | 28.59/28.66 c | 18917 | 500 38518 102090 | 30274 18917 493 | 97.403 % | 37.29/37.35 c =============================================================================== 37.29/37.35 c New solution: -18 37.29/37.35 o -18 37.29/37.35 c Elapsed CPU time: 37.1693 s Remaining CPU time: 142.831 s 37.29/37.35 c =============================================================================== 37.29/37.35 c | 22023 | 500 38519 102590 | 12839 22023 492 | 97.403 % | 37.88/37.91 c | 22127 | 500 38519 102590 | 14123 22127 492 | 97.403 % | 38.78/38.82 c | 22278 | 500 38519 102590 | 15535 22278 492 | 97.403 % | 39.68/39.72 c | 22504 | 500 38519 102590 | 17089 22504 492 | 97.403 % | 40.98/41.03 c | 22841 | 500 38519 102590 | 18798 22841 493 | 97.403 % | 43.38/43.46 c | 23349 | 500 38519 102590 | 20678 23349 494 | 97.403 % | 47.58/47.68 c | 24110 | 500 38519 102590 | 22746 24110 494 | 97.403 % | 54.28/54.38 c | 25250 | 500 38519 102590 | 25020 25250 494 | 97.403 % | 60.78/60.84 c | 26959 | 500 38519 102590 | 27522 26959 493 | 97.403 % | 71.27/71.37 c | 29522 | 500 38519 102590 | 30275 29522 493 | 97.403 % | 97.96/98.02 c | 33366 | 500 38519 102590 | 33302 33366 493 | 97.403 % | 110.97/111.04 c =============================================================================== 110.97/111.04 c New solution: -19 110.97/111.04 o -19 110.97/111.04 c Elapsed CPU time: 110.699 s Remaining CPU time: 69.3008 s 110.97/111.04 c =============================================================================== 110.97/111.04 c | 34880 | 500 38520 103090 | 12840 34880 492 | 97.403 % | 111.56/111.69 c | 34980 | 500 38520 103090 | 14124 11248 488 | 97.403 % | 111.76/111.82 c | 35130 | 500 38520 103090 | 15536 11398 488 | 97.403 % | 112.46/112.54 c | 35355 | 500 38520 103090 | 17090 11623 488 | 97.403 % | 113.56/113.69 c | 35695 | 500 38520 103090 | 18799 11963 489 | 97.403 % | 115.06/115.18 c | 36203 | 500 38520 103090 | 20678 12471 489 | 97.403 % | 117.46/117.53 c | 36964 | 500 38520 103090 | 22746 13232 489 | 97.403 % | 119.87/119.94 c | 38105 | 500 38520 103090 | 25021 14373 489 | 97.403 % | 125.56/125.67 c | 39817 | 500 38520 103090 | 27523 16085 488 | 97.403 % | 132.85/132.98 c | 42380 | 500 38520 103090 | 30276 18648 488 | 97.403 % | 151.95/152.03 c | 46226 | 500 38520 103090 | 33303 22494 488 | 97.403 % | 165.75/165.83 c | 51993 | 500 38520 103090 | 36634 28261 488 | 97.403 % | 180.45/180.55 c There are 18750 assigned variables. 0 in cost function. 182.75/182.86 c core #1 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -499 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #2 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -498 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #3 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -497 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #4 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -496 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #5 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -495 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #6 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -494 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #7 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -493 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #8 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -492 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #9 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -491 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #10 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -490 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #11 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -489 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #12 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -488 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #13 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -487 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #14 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -486 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #15 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -485 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #16 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -484 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #17 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -483 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #18 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -482 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #19 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -481 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #20 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -480 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #21 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -479 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #22 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -478 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #23 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -477 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #24 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -476 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #25 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -475 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #26 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -474 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #27 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -473 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #28 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -472 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #29 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -471 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #30 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -470 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #31 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -469 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #32 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -468 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #33 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -467 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #34 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -466 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #35 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -465 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #36 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -464 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #37 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -463 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #38 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -462 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #39 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -461 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #40 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -460 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #41 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -459 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #42 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -458 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #43 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -457 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #44 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -456 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #45 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -455 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #46 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -454 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #47 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -453 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #48 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -452 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #49 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -451 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #50 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -450 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #51 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -449 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #52 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -448 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #53 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -447 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #54 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -446 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #55 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -445 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #56 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -444 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #57 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -443 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #58 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -442 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c core #59 182.75/182.87 c 182.75/182.87 c 182.75/182.87 c Core size: 3 Core Weight: 1 Total Weight: -441 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #60 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -440 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #61 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -439 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #62 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -438 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #63 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -437 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #64 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -436 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #65 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -435 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #66 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -434 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #67 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -433 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #68 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -432 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #69 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -431 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #70 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -430 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #71 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -429 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #72 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -428 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #73 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -427 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #74 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -426 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #75 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -425 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #76 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -424 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #77 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -423 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #78 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -422 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #79 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -421 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #80 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -420 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #81 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -419 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #82 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -418 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #83 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -417 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #84 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -416 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #85 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -415 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #86 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -414 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #87 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -413 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #88 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -412 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #89 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -411 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #90 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -410 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #91 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -409 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #92 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -408 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #93 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -407 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #94 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -406 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #95 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -405 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #96 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -404 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #97 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -403 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #98 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -402 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #99 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -401 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #100 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -400 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #101 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -399 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #102 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -398 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c core #103 185.15/185.27 c 185.15/185.27 c 185.15/185.27 c Core size: 3 Core Weight: 1 Total Weight: -397 185.15/185.28 c 185.15/185.28 c 185.15/185.28 c core #104 185.15/185.28 c 185.15/185.28 c 185.15/185.28 c Core size: 3 Core Weight: 1 Total Weight: -396 185.15/185.28 c 185.15/185.28 c 185.15/185.28 c core #105 185.15/185.28 c 185.15/185.28 c 185.15/185.28 c Core size: 3 Core Weight: 1 Total Weight: -395 185.15/185.28 c 185.15/185.28 c 185.15/185.28 c core #106 185.15/185.28 c 185.15/185.28 c 185.15/185.28 c Core size: 3 Core Weight: 1 Total Weight: -394 185.15/185.28 c 185.15/185.28 c 185.15/185.28 c core #107 185.15/185.28 c 185.15/185.28 c 185.15/185.28 c Core size: 3 Core Weight: 1 Total Weight: -393 185.15/185.28 c 185.15/185.28 c 185.15/185.28 c core #108 185.15/185.28 c 185.15/185.28 c 185.15/185.28 c Core size: 3 Core Weight: 1 Total Weight: -392 185.15/185.28 c 185.15/185.28 c 185.15/185.28 c core #109 185.15/185.28 c 185.15/185.28 c 185.15/185.28 c Core size: 3 Core Weight: 1 Total Weight: -391 185.15/185.28 c 185.15/185.28 c 185.15/185.28 c core #110 185.15/185.28 c 185.15/185.28 c 185.15/185.28 c Core size: 3 Core Weight: 1 Total Weight: -390 185.15/185.28 c 185.15/185.28 c 185.15/185.28 c core #111 185.15/185.28 c 185.15/185.28 c 185.15/185.28 c Core size: 3 Core Weight: 1 Total Weight: -389 185.15/185.28 c 185.15/185.28 c 185.15/185.28 c core #112 185.15/185.28 c 185.15/185.28 c 185.15/185.28 c Core size: 3 Core Weight: 1 Total Weight: -388 185.15/185.28 c 185.15/185.28 c 185.15/185.28 c core #113 185.15/185.28 c 185.15/185.28 c 185.15/185.28 c Core size: 3 Core Weight: 1 Total Weight: -387 185.15/185.28 c 185.15/185.28 c 185.15/185.28 c core #114 185.15/185.28 c 185.15/185.28 c 185.15/185.28 c Core size: 3 Core Weight: 1 Total Weight: -386 185.15/185.28 c 185.15/185.28 c 185.15/185.28 c core #115 185.15/185.28 c 185.15/185.28 c 185.15/185.28 c Core size: 3 Core Weight: 1 Total Weight: -385 185.15/185.28 c 185.15/185.28 c 185.15/185.28 c core #116 185.15/185.28 c 185.15/185.28 c 185.15/185.28 c Core size: 3 Core Weight: 1 Total Weight: -384 185.15/185.28 c 185.15/185.28 c 185.15/185.28 c core #117 185.15/185.28 c 185.15/185.28 c 185.15/185.28 c Core size: 3 Core Weight: 1 Total Weight: -383 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #118 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -382 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #119 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -381 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #120 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -380 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #121 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -379 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #122 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -378 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #123 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -377 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #124 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -376 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #125 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -375 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #126 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -374 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #127 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -373 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #128 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -372 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #129 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -371 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #130 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -370 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #131 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -369 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #132 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -368 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #133 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -367 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #134 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -366 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #135 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -365 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #136 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -364 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #137 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -363 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #138 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -362 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #139 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -361 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #140 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -360 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #141 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -359 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #142 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -358 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #143 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -357 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #144 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -356 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #145 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -355 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #146 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -354 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #147 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -353 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #148 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -352 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #149 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -351 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #150 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -350 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #151 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -349 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #152 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -348 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #153 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -347 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #154 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -346 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #155 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -345 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #156 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -344 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #157 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -343 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #158 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -342 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #159 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -341 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #160 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -340 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #161 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -339 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #162 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -338 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #163 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -337 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #164 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -336 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #165 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -335 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #166 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -334 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #167 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -333 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #168 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -332 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #169 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -331 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #170 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -330 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #171 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -329 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #172 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -328 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #173 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -327 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #174 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -326 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c core #175 187.75/187.88 c 187.75/187.88 c 187.75/187.88 c Core size: 3 Core Weight: 1 Total Weight: -325 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c core #176 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c Core size: 3 Core Weight: 1 Total Weight: -324 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c core #177 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c Core size: 3 Core Weight: 1 Total Weight: -323 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c core #178 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c Core size: 3 Core Weight: 1 Total Weight: -322 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c core #179 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c Core size: 3 Core Weight: 1 Total Weight: -321 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c core #180 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c Core size: 3 Core Weight: 1 Total Weight: -320 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c core #181 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c Core size: 3 Core Weight: 1 Total Weight: -319 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c core #182 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c Core size: 3 Core Weight: 1 Total Weight: -318 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c core #183 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c Core size: 3 Core Weight: 1 Total Weight: -317 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c core #184 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c Core size: 3 Core Weight: 1 Total Weight: -316 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c core #185 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c Core size: 3 Core Weight: 1 Total Weight: -315 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c core #186 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c Core size: 3 Core Weight: 1 Total Weight: -314 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c core #187 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c Core size: 3 Core Weight: 1 Total Weight: -313 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c core #188 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c Core size: 3 Core Weight: 1 Total Weight: -312 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c core #189 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c Core size: 3 Core Weight: 1 Total Weight: -311 190.64/190.72 c 190.64/190.72 c 190.64/190.72 c core #190 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -310 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #191 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -309 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #192 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -308 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #193 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -307 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #194 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -306 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #195 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -305 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #196 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -304 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #197 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -303 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #198 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -302 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #199 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -301 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #200 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -300 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #201 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -299 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #202 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -298 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #203 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -297 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #204 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -296 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #205 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -295 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #206 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -294 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #207 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -293 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #208 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -292 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #209 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -291 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #210 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -290 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #211 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -289 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #212 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -288 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #213 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -287 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #214 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -286 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #215 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -285 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #216 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -284 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #217 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -283 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #218 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -282 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #219 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -281 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #220 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -280 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #221 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -279 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #222 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -278 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #223 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -277 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #224 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -276 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #225 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -275 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #226 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -274 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #227 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -273 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #228 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -272 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #229 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -271 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #230 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -270 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #231 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -269 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #232 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -268 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c core #233 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 3 Core Weight: 1 Total Weight: -267 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c core #234 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c Core size: 3 Core Weight: 1 Total Weight: -266 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c core #235 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c Core size: 3 Core Weight: 1 Total Weight: -265 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c core #236 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c Core size: 3 Core Weight: 1 Total Weight: -264 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c core #237 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c Core size: 3 Core Weight: 1 Total Weight: -263 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c core #238 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c Core size: 3 Core Weight: 1 Total Weight: -262 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c core #239 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c Core size: 3 Core Weight: 1 Total Weight: -261 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c core #240 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c Core size: 3 Core Weight: 1 Total Weight: -260 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c core #241 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c Core size: 3 Core Weight: 1 Total Weight: -259 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c core #242 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c Core size: 3 Core Weight: 1 Total Weight: -258 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c core #243 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c Core size: 3 Core Weight: 1 Total Weight: -257 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c core #244 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c Core size: 3 Core Weight: 1 Total Weight: -256 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c core #245 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c Core size: 3 Core Weight: 1 Total Weight: -255 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c core #246 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c Core size: 3 Core Weight: 1 Total Weight: -254 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c core #247 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c Core size: 7 Core Weight: 1 Total Weight: -253 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c core #248 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c Core size: 7 Core Weight: 1 Total Weight: -252 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c core #249 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c Core size: 11 Core Weight: 1 Total Weight: -251 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c core #250 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c Core size: 6 Core Weight: 1 Total Weight: -250 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c core #251 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c Core size: 14 Core Weight: 1 Total Weight: -249 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c ============================[ Search Statistics ]============================== 191.64/191.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.64/191.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.64/191.72 c =============================================================================== 191.64/191.72 c | 0 | 1016 38271 49032 | 12757 0 nan | 0.000 % | 191.64/191.73 c =============================================================================== 191.64/191.78 c core #252 191.64/191.78 c 191.64/191.78 c 191.64/191.78 c Core size: 10 Core Weight: 1 Total Weight: -248 191.64/191.78 c 191.64/191.78 c 191.64/191.78 c ============================[ Search Statistics ]============================== 191.64/191.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.64/191.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.64/191.78 c =============================================================================== 191.64/191.78 c | 0 | 1022 38272 49044 | 12757 0 nan | 0.000 % | 191.64/191.79 c =============================================================================== 191.74/191.84 c core #253 191.74/191.84 c 191.74/191.84 c 191.74/191.84 c Core size: 10 Core Weight: 1 Total Weight: -247 191.74/191.84 c 191.74/191.84 c 191.74/191.84 c ============================[ Search Statistics ]============================== 191.74/191.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.74/191.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.74/191.84 c =============================================================================== 191.74/191.84 c | 0 | 1028 38273 49056 | 12757 0 nan | 0.000 % | 191.74/191.84 c =============================================================================== 191.74/191.89 c core #254 191.74/191.89 c 191.74/191.89 c 191.74/191.89 c Core size: 10 Core Weight: 1 Total Weight: -246 191.74/191.89 c 191.74/191.89 c 191.74/191.89 c ============================[ Search Statistics ]============================== 191.74/191.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.74/191.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.74/191.90 c =============================================================================== 191.74/191.90 c | 0 | 1034 38274 49068 | 12758 0 nan | 0.000 % | 191.84/191.90 c =============================================================================== 191.84/191.95 c core #255 191.84/191.95 c 191.84/191.95 c 191.84/191.95 c Core size: 10 Core Weight: 1 Total Weight: -245 191.84/191.95 c 191.84/191.95 c 191.84/191.95 c ============================[ Search Statistics ]============================== 191.84/191.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.84/191.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.84/191.95 c =============================================================================== 191.84/191.95 c | 0 | 1040 38275 49080 | 12758 0 nan | 0.000 % | 191.84/191.96 c =============================================================================== 191.94/192.01 c core #256 191.94/192.01 c 191.94/192.01 c 191.94/192.01 c Core size: 10 Core Weight: 1 Total Weight: -244 191.94/192.01 c 191.94/192.01 c 191.94/192.01 c ============================[ Search Statistics ]============================== 191.94/192.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.94/192.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.94/192.01 c =============================================================================== 191.94/192.01 c | 0 | 1046 38276 49092 | 12758 0 nan | 0.000 % | 191.94/192.02 c =============================================================================== 191.94/192.07 c core #257 191.94/192.07 c 191.94/192.07 c 191.94/192.07 c Core size: 10 Core Weight: 1 Total Weight: -243 191.94/192.07 c 191.94/192.07 c 191.94/192.07 c ============================[ Search Statistics ]============================== 191.94/192.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.94/192.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.94/192.07 c =============================================================================== 191.94/192.07 c | 0 | 1052 38277 49104 | 12759 0 nan | 0.000 % | 191.94/192.08 c =============================================================================== 192.04/192.14 c core #258 192.04/192.14 c 192.04/192.14 c 192.04/192.14 c Core size: 10 Core Weight: 1 Total Weight: -242 192.04/192.14 c 192.04/192.14 c 192.04/192.14 c ============================[ Search Statistics ]============================== 192.04/192.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.04/192.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.04/192.14 c =============================================================================== 192.04/192.14 c | 0 | 1058 38278 49116 | 12759 0 nan | 0.000 % | 192.04/192.15 c =============================================================================== 192.04/192.20 c core #259 192.04/192.20 c 192.04/192.20 c 192.04/192.20 c Core size: 10 Core Weight: 1 Total Weight: -241 192.04/192.20 c 192.04/192.20 c 192.04/192.20 c ============================[ Search Statistics ]============================== 192.04/192.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.04/192.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.04/192.20 c =============================================================================== 192.04/192.20 c | 0 | 1064 38279 49128 | 12759 0 nan | 0.000 % | 192.14/192.21 c =============================================================================== 192.14/192.26 c core #260 192.14/192.26 c 192.14/192.26 c 192.14/192.26 c Core size: 10 Core Weight: 1 Total Weight: -240 192.14/192.26 c 192.14/192.26 c 192.14/192.26 c ============================[ Search Statistics ]============================== 192.14/192.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.14/192.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.14/192.26 c =============================================================================== 192.14/192.26 c | 0 | 1070 38280 49140 | 12760 0 nan | 0.000 % | 192.14/192.27 c =============================================================================== 192.24/192.32 c core #261 192.24/192.32 c 192.24/192.32 c 192.24/192.32 c Core size: 10 Core Weight: 1 Total Weight: -239 192.24/192.32 c 192.24/192.32 c 192.24/192.32 c ============================[ Search Statistics ]============================== 192.24/192.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.24/192.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.24/192.32 c =============================================================================== 192.24/192.32 c | 0 | 1076 38281 49152 | 12760 0 nan | 0.000 % | 192.24/192.33 c =============================================================================== 192.24/192.38 c core #262 192.24/192.38 c 192.24/192.38 c 192.24/192.38 c Core size: 10 Core Weight: 1 Total Weight: -238 192.24/192.38 c 192.24/192.38 c 192.24/192.38 c ============================[ Search Statistics ]============================== 192.24/192.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.24/192.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.24/192.38 c =============================================================================== 192.24/192.38 c | 0 | 1082 38282 49164 | 12760 0 nan | 0.000 % | 192.24/192.39 c =============================================================================== 192.35/192.44 c core #263 192.35/192.44 c 192.35/192.44 c 192.35/192.44 c Core size: 10 Core Weight: 1 Total Weight: -237 192.35/192.44 c 192.35/192.44 c 192.35/192.44 c ============================[ Search Statistics ]============================== 192.35/192.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.35/192.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.35/192.44 c =============================================================================== 192.35/192.44 c | 0 | 1088 38283 49176 | 12761 0 nan | 0.000 % | 192.35/192.45 c =============================================================================== 192.45/192.50 c core #264 192.45/192.50 c 192.45/192.50 c 192.45/192.50 c Core size: 10 Core Weight: 1 Total Weight: -236 192.45/192.50 c 192.45/192.50 c 192.45/192.50 c ============================[ Search Statistics ]============================== 192.45/192.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.45/192.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.45/192.50 c =============================================================================== 192.45/192.50 c | 0 | 1094 38284 49188 | 12761 0 nan | 0.000 % | 192.45/192.51 c =============================================================================== 192.45/192.56 c core #265 192.45/192.56 c 192.45/192.56 c 192.45/192.56 c Core size: 10 Core Weight: 1 Total Weight: -235 192.45/192.56 c 192.45/192.56 c 192.45/192.56 c ============================[ Search Statistics ]============================== 192.45/192.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.45/192.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.45/192.56 c =============================================================================== 192.45/192.56 c | 0 | 1100 38285 49200 | 12761 0 nan | 0.000 % | 192.45/192.57 c =============================================================================== 192.54/192.63 c core #266 192.54/192.63 c 192.54/192.63 c 192.54/192.63 c Core size: 10 Core Weight: 1 Total Weight: -234 192.54/192.63 c 192.54/192.63 c 192.54/192.63 c ============================[ Search Statistics ]============================== 192.54/192.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.54/192.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.54/192.63 c =============================================================================== 192.54/192.63 c | 0 | 1106 38286 49212 | 12762 0 nan | 0.000 % | 192.54/192.64 c =============================================================================== 192.54/192.69 c core #267 192.54/192.69 c 192.54/192.69 c 192.54/192.69 c Core size: 10 Core Weight: 1 Total Weight: -233 192.54/192.69 c 192.54/192.69 c 192.54/192.69 c ============================[ Search Statistics ]============================== 192.54/192.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.54/192.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.54/192.69 c =============================================================================== 192.54/192.69 c | 0 | 1112 38287 49224 | 12762 0 nan | 0.000 % | 192.54/192.69 c =============================================================================== 192.64/192.75 c core #268 192.64/192.75 c 192.64/192.75 c 192.64/192.75 c Core size: 10 Core Weight: 1 Total Weight: -232 192.64/192.75 c 192.64/192.75 c 192.64/192.75 c ============================[ Search Statistics ]============================== 192.64/192.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.64/192.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.64/192.75 c =============================================================================== 192.64/192.75 c | 0 | 1118 38288 49236 | 12762 0 nan | 0.000 % | 192.64/192.75 c =============================================================================== 192.74/192.80 c core #269 192.74/192.80 c 192.74/192.80 c 192.74/192.80 c Core size: 10 Core Weight: 1 Total Weight: -231 192.74/192.80 c 192.74/192.80 c 192.74/192.80 c ============================[ Search Statistics ]============================== 192.74/192.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.74/192.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.74/192.80 c =============================================================================== 192.74/192.80 c | 0 | 1124 38289 49248 | 12763 0 nan | 0.000 % | 192.74/192.81 c =============================================================================== 192.74/192.86 c core #270 192.74/192.86 c 192.74/192.86 c 192.74/192.86 c Core size: 10 Core Weight: 1 Total Weight: -230 192.74/192.86 c 192.74/192.86 c 192.74/192.86 c ============================[ Search Statistics ]============================== 192.74/192.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.74/192.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.74/192.86 c =============================================================================== 192.74/192.86 c | 0 | 1130 38290 49260 | 12763 0 nan | 0.000 % | 192.74/192.87 c =============================================================================== 192.84/192.92 c core #271 192.84/192.92 c 192.84/192.92 c 192.84/192.92 c Core size: 10 Core Weight: 1 Total Weight: -229 192.84/192.92 c 192.84/192.92 c 192.84/192.92 c ============================[ Search Statistics ]============================== 192.84/192.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.84/192.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.84/192.92 c =============================================================================== 192.84/192.92 c | 0 | 1136 38291 49272 | 12763 0 nan | 0.000 % | 192.84/192.93 c =============================================================================== 192.84/192.98 c core #272 192.84/192.98 c 192.84/192.98 c 192.84/192.98 c Core size: 10 Core Weight: 1 Total Weight: -228 192.84/192.98 c 192.84/192.98 c 192.84/192.98 c ============================[ Search Statistics ]============================== 192.84/192.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.84/192.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.84/192.98 c =============================================================================== 192.84/192.98 c | 0 | 1142 38292 49284 | 12764 0 nan | 0.000 % | 192.84/192.99 c =============================================================================== 192.95/193.04 c core #273 192.95/193.04 c 192.95/193.04 c 192.95/193.04 c Core size: 10 Core Weight: 1 Total Weight: -227 192.95/193.04 c 192.95/193.04 c 192.95/193.04 c ============================[ Search Statistics ]============================== 192.95/193.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.95/193.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.95/193.04 c =============================================================================== 192.95/193.04 c | 0 | 1148 38293 49296 | 12764 0 nan | 0.000 % | 192.95/193.05 c =============================================================================== 193.05/193.10 c core #274 193.05/193.10 c 193.05/193.10 c 193.05/193.10 c Core size: 10 Core Weight: 1 Total Weight: -226 193.05/193.10 c 193.05/193.10 c 193.05/193.10 c ============================[ Search Statistics ]============================== 193.05/193.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.05/193.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.05/193.10 c =============================================================================== 193.05/193.10 c | 0 | 1154 38294 49308 | 12764 0 nan | 0.000 % | 193.05/193.11 c =============================================================================== 193.05/193.16 c core #275 193.05/193.16 c 193.05/193.16 c 193.05/193.16 c Core size: 12 Core Weight: 1 Total Weight: -225 193.05/193.16 c 193.05/193.16 c 193.05/193.16 c ============================[ Search Statistics ]============================== 193.05/193.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.05/193.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.05/193.16 c =============================================================================== 193.05/193.16 c | 0 | 1162 38295 49324 | 12765 0 nan | 0.000 % | 193.05/193.17 c =============================================================================== 193.15/193.22 c core #276 193.15/193.22 c 193.15/193.22 c 193.15/193.22 c Core size: 10 Core Weight: 1 Total Weight: -224 193.15/193.22 c 193.15/193.22 c 193.15/193.22 c ============================[ Search Statistics ]============================== 193.15/193.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.15/193.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.15/193.22 c =============================================================================== 193.15/193.22 c | 0 | 1168 38296 49336 | 12765 0 nan | 0.000 % | 193.15/193.23 c =============================================================================== 193.15/193.28 c core #277 193.15/193.28 c 193.15/193.28 c 193.15/193.28 c Core size: 10 Core Weight: 1 Total Weight: -223 193.15/193.28 c 193.15/193.28 c 193.15/193.28 c ============================[ Search Statistics ]============================== 193.15/193.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.15/193.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.15/193.28 c =============================================================================== 193.15/193.28 c | 0 | 1174 38297 49348 | 12765 0 nan | 0.000 % | 193.15/193.29 c =============================================================================== 193.24/193.34 c core #278 193.24/193.34 c 193.24/193.34 c 193.24/193.34 c Core size: 10 Core Weight: 1 Total Weight: -222 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 | 1180 38298 49360 | 12766 0 nan | 0.000 % | 193.24/193.35 c =============================================================================== 193.34/193.40 c core #279 193.34/193.40 c 193.34/193.40 c 193.34/193.40 c Core size: 10 Core Weight: 1 Total Weight: -221 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 | 1186 38299 49372 | 12766 0 nan | 0.000 % | 193.34/193.40 c =============================================================================== 193.34/193.46 c core #280 193.34/193.46 c 193.34/193.46 c 193.34/193.46 c Core size: 10 Core Weight: 1 Total Weight: -220 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 | 1192 38300 49384 | 12766 0 nan | 0.000 % | 193.34/193.47 c =============================================================================== 193.45/193.52 c core #281 193.45/193.52 c 193.45/193.52 c 193.45/193.52 c Core size: 10 Core Weight: 1 Total Weight: -219 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 | 1198 38301 49396 | 12767 0 nan | 0.000 % | 193.45/193.52 c =============================================================================== 193.45/193.58 c core #282 193.45/193.58 c 193.45/193.58 c 193.45/193.58 c Core size: 10 Core Weight: 1 Total Weight: -218 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 | 1204 38302 49408 | 12767 0 nan | 0.000 % | 193.45/193.59 c =============================================================================== 193.55/193.64 c core #283 193.55/193.64 c 193.55/193.64 c 193.55/193.64 c Core size: 10 Core Weight: 1 Total Weight: -217 193.55/193.64 c 193.55/193.64 c 193.55/193.64 c ============================[ Search Statistics ]============================== 193.55/193.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.55/193.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.55/193.64 c =============================================================================== 193.55/193.64 c | 0 | 1210 38303 49420 | 12767 0 nan | 0.000 % | 193.55/193.65 c =============================================================================== 193.64/193.70 c core #284 193.64/193.70 c 193.64/193.70 c 193.64/193.70 c Core size: 10 Core Weight: 1 Total Weight: -216 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 | 1216 38304 49432 | 12768 0 nan | 0.000 % | 193.64/193.71 c =============================================================================== 193.64/193.76 c core #285 193.64/193.76 c 193.64/193.76 c 193.64/193.76 c Core size: 10 Core Weight: 1 Total Weight: -215 193.64/193.76 c 193.64/193.76 c 193.64/193.76 c ============================[ Search Statistics ]============================== 193.64/193.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.64/193.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.64/193.76 c =============================================================================== 193.64/193.76 c | 0 | 1222 38305 49444 | 12768 0 nan | 0.000 % | 193.64/193.77 c =============================================================================== 193.74/193.82 c core #286 193.74/193.82 c 193.74/193.82 c 193.74/193.82 c Core size: 10 Core Weight: 1 Total Weight: -214 193.74/193.82 c 193.74/193.82 c 193.74/193.82 c ============================[ Search Statistics ]============================== 193.74/193.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.74/193.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.74/193.82 c =============================================================================== 193.74/193.82 c | 0 | 1228 38306 49456 | 12768 0 nan | 0.000 % | 193.74/193.83 c =============================================================================== 193.74/193.88 c core #287 193.74/193.88 c 193.74/193.88 c 193.74/193.88 c Core size: 10 Core Weight: 1 Total Weight: -213 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 | 1234 38307 49468 | 12769 0 nan | 0.000 % | 193.74/193.89 c =============================================================================== 193.84/193.95 c core #288 193.84/193.95 c 193.84/193.95 c 193.84/193.95 c Core size: 10 Core Weight: 1 Total Weight: -212 193.84/193.95 c 193.84/193.95 c 193.84/193.95 c ============================[ Search Statistics ]============================== 193.84/193.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.84/193.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.84/193.95 c =============================================================================== 193.84/193.95 c | 0 | 1240 38308 49480 | 12769 0 nan | 0.000 % | 193.84/193.95 c =============================================================================== 193.94/194.01 c core #289 193.94/194.01 c 193.94/194.01 c 193.94/194.01 c Core size: 10 Core Weight: 1 Total Weight: -211 193.94/194.01 c 193.94/194.01 c 193.94/194.01 c ============================[ Search Statistics ]============================== 193.94/194.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.94/194.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.94/194.01 c =============================================================================== 193.94/194.01 c | 0 | 1246 38309 49492 | 12769 0 nan | 0.000 % | 193.94/194.01 c =============================================================================== 193.94/194.07 c core #290 193.94/194.07 c 193.94/194.07 c 193.94/194.07 c Core size: 10 Core Weight: 1 Total Weight: -210 193.94/194.07 c 193.94/194.07 c 193.94/194.07 c ============================[ Search Statistics ]============================== 193.94/194.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.94/194.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.94/194.07 c =============================================================================== 193.94/194.07 c | 0 | 1252 38310 49504 | 12770 0 nan | 0.000 % | 193.94/194.08 c =============================================================================== 194.04/194.13 c core #291 194.04/194.13 c 194.04/194.13 c 194.04/194.13 c Core size: 10 Core Weight: 1 Total Weight: -209 194.04/194.13 c 194.04/194.13 c 194.04/194.13 c ============================[ Search Statistics ]============================== 194.04/194.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.04/194.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.04/194.13 c =============================================================================== 194.04/194.13 c | 0 | 1258 38311 49516 | 12770 0 nan | 0.000 % | 194.04/194.13 c =============================================================================== 194.04/194.19 c core #292 194.04/194.19 c 194.04/194.19 c 194.04/194.19 c Core size: 10 Core Weight: 1 Total Weight: -208 194.04/194.19 c 194.04/194.19 c 194.04/194.19 c ============================[ Search Statistics ]============================== 194.04/194.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.04/194.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.04/194.19 c =============================================================================== 194.04/194.19 c | 0 | 1264 38312 49528 | 12770 0 nan | 0.000 % | 194.14/194.20 c =============================================================================== 194.14/194.25 c core #293 194.14/194.25 c 194.14/194.25 c 194.14/194.25 c Core size: 10 Core Weight: 1 Total Weight: -207 194.14/194.25 c 194.14/194.25 c 194.14/194.25 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 | 1270 38313 49540 | 12771 0 nan | 0.000 % | 194.14/194.26 c =============================================================================== 194.24/194.32 c core #294 194.24/194.32 c 194.24/194.32 c 194.24/194.32 c Core size: 10 Core Weight: 1 Total Weight: -206 194.24/194.32 c 194.24/194.32 c 194.24/194.32 c ============================[ Search Statistics ]============================== 194.24/194.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.24/194.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.24/194.32 c =============================================================================== 194.24/194.32 c | 0 | 1276 38314 49552 | 12771 0 nan | 0.000 % | 194.24/194.32 c =============================================================================== 194.24/194.38 c core #295 194.24/194.38 c 194.24/194.38 c 194.24/194.38 c Core size: 14 Core Weight: 1 Total Weight: -205 194.24/194.38 c 194.24/194.38 c 194.24/194.38 c ============================[ Search Statistics ]============================== 194.24/194.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.24/194.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.24/194.38 c =============================================================================== 194.24/194.38 c | 0 | 1284 38315 49568 | 12771 0 nan | 0.000 % | 194.24/194.38 c =============================================================================== 194.34/194.44 c core #296 194.34/194.44 c 194.34/194.44 c 194.34/194.44 c Core size: 12 Core Weight: 1 Total Weight: -204 194.34/194.44 c 194.34/194.44 c 194.34/194.44 c ============================[ Search Statistics ]============================== 194.34/194.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.34/194.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.34/194.44 c =============================================================================== 194.34/194.44 c | 0 | 1292 38316 49584 | 12772 0 nan | 0.000 % | 194.34/194.44 c =============================================================================== 194.44/194.50 c core #297 194.44/194.50 c 194.44/194.50 c 194.44/194.50 c Core size: 10 Core Weight: 1 Total Weight: -203 194.44/194.50 c 194.44/194.50 c 194.44/194.50 c ============================[ Search Statistics ]============================== 194.44/194.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.44/194.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.44/194.50 c =============================================================================== 194.44/194.50 c | 0 | 1298 38317 49596 | 12772 0 nan | 0.000 % | 194.44/194.50 c =============================================================================== 194.44/194.56 c core #298 194.44/194.56 c 194.44/194.56 c 194.44/194.56 c Core size: 10 Core Weight: 1 Total Weight: -202 194.44/194.56 c 194.44/194.56 c 194.44/194.56 c ============================[ Search Statistics ]============================== 194.44/194.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.44/194.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.44/194.56 c =============================================================================== 194.44/194.56 c | 0 | 1304 38318 49608 | 12772 0 nan | 0.000 % | 194.44/194.57 c =============================================================================== 194.55/194.62 c core #299 194.55/194.62 c 194.55/194.62 c 194.55/194.62 c Core size: 14 Core Weight: 1 Total Weight: -201 194.55/194.62 c 194.55/194.62 c 194.55/194.62 c ============================[ Search Statistics ]============================== 194.55/194.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.55/194.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.55/194.62 c =============================================================================== 194.55/194.62 c | 0 | 1312 38319 49624 | 12773 0 nan | 0.000 % | 194.55/194.63 c =============================================================================== 194.55/194.68 c core #300 194.55/194.68 c 194.55/194.68 c 194.55/194.68 c Core size: 14 Core Weight: 1 Total Weight: -200 194.55/194.68 c 194.55/194.68 c 194.55/194.68 c ============================[ Search Statistics ]============================== 194.55/194.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.55/194.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.55/194.68 c =============================================================================== 194.55/194.68 c | 0 | 1320 38320 49640 | 12773 0 nan | 0.000 % | 194.55/194.69 c =============================================================================== 194.65/194.75 c core #301 194.65/194.75 c 194.65/194.75 c 194.65/194.75 c Core size: 10 Core Weight: 1 Total Weight: -199 194.65/194.75 c 194.65/194.75 c 194.65/194.75 c ============================[ Search Statistics ]============================== 194.65/194.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.65/194.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.65/194.75 c =============================================================================== 194.65/194.75 c | 0 | 1326 38321 49652 | 12773 0 nan | 0.000 % | 194.65/194.75 c =============================================================================== 194.74/194.81 c core #302 194.74/194.81 c 194.74/194.81 c 194.74/194.81 c Core size: 10 Core Weight: 1 Total Weight: -198 194.74/194.81 c 194.74/194.81 c 194.74/194.81 c ============================[ Search Statistics ]============================== 194.74/194.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.74/194.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.74/194.81 c =============================================================================== 194.74/194.81 c | 0 | 1332 38322 49664 | 12774 0 nan | 0.000 % | 194.74/194.82 c =============================================================================== 194.74/194.87 c core #303 194.74/194.87 c 194.74/194.87 c 194.74/194.87 c Core size: 10 Core Weight: 1 Total Weight: -197 194.74/194.87 c 194.74/194.87 c 194.74/194.87 c ============================[ Search Statistics ]============================== 194.74/194.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.74/194.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.74/194.87 c =============================================================================== 194.74/194.87 c | 0 | 1338 38323 49676 | 12774 0 nan | 0.000 % | 194.74/194.88 c =============================================================================== 194.84/194.93 c core #304 194.84/194.93 c 194.84/194.93 c 194.84/194.93 c Core size: 14 Core Weight: 1 Total Weight: -196 194.84/194.93 c 194.84/194.93 c 194.84/194.93 c ============================[ Search Statistics ]============================== 194.84/194.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.84/194.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.84/194.93 c =============================================================================== 194.84/194.93 c | 0 | 1346 38324 49692 | 12774 0 nan | 0.000 % | 194.84/194.94 c =============================================================================== 194.84/195.00 c core #305 194.84/195.00 c 194.84/195.00 c 194.84/195.00 c Core size: 10 Core Weight: 1 Total Weight: -195 194.84/195.00 c 194.84/195.00 c 194.84/195.00 c ============================[ Search Statistics ]============================== 194.84/195.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.84/195.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.84/195.00 c =============================================================================== 194.84/195.00 c | 0 | 1352 38325 49704 | 12775 0 nan | 0.000 % | 194.94/195.00 c =============================================================================== 194.94/195.06 c core #306 194.94/195.06 c 194.94/195.06 c 194.94/195.06 c Core size: 10 Core Weight: 1 Total Weight: -194 194.94/195.06 c 194.94/195.06 c 194.94/195.06 c ============================[ Search Statistics ]============================== 194.94/195.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.94/195.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.94/195.06 c =============================================================================== 194.94/195.06 c | 0 | 1358 38326 49716 | 12775 0 nan | 0.000 % | 194.94/195.07 c =============================================================================== 195.04/195.12 c core #307 195.04/195.12 c 195.04/195.12 c 195.04/195.12 c Core size: 14 Core Weight: 1 Total Weight: -193 195.04/195.12 c 195.04/195.12 c 195.04/195.12 c ============================[ Search Statistics ]============================== 195.04/195.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.04/195.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.04/195.12 c =============================================================================== 195.04/195.12 c | 0 | 1366 38327 49732 | 12775 0 nan | 0.000 % | 195.04/195.13 c =============================================================================== 195.04/195.19 c core #308 195.04/195.19 c 195.04/195.19 c 195.04/195.19 c Core size: 14 Core Weight: 1 Total Weight: -192 195.04/195.19 c 195.04/195.19 c 195.04/195.19 c ============================[ Search Statistics ]============================== 195.04/195.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.04/195.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.04/195.19 c =============================================================================== 195.04/195.19 c | 0 | 1374 38328 49748 | 12776 0 nan | 0.000 % | 195.14/195.20 c =============================================================================== 195.14/195.25 c core #309 195.14/195.25 c 195.14/195.25 c 195.14/195.25 c Core size: 10 Core Weight: 1 Total Weight: -191 195.14/195.25 c 195.14/195.25 c 195.14/195.25 c ============================[ Search Statistics ]============================== 195.14/195.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.14/195.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.14/195.25 c =============================================================================== 195.14/195.25 c | 0 | 1380 38329 49760 | 12776 0 nan | 0.000 % | 195.14/195.26 c =============================================================================== 195.24/195.32 c core #310 195.24/195.32 c 195.24/195.32 c 195.24/195.32 c Core size: 14 Core Weight: 1 Total Weight: -190 195.24/195.32 c 195.24/195.32 c 195.24/195.32 c ============================[ Search Statistics ]============================== 195.24/195.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.24/195.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.24/195.32 c =============================================================================== 195.24/195.32 c | 0 | 1388 38330 49776 | 12776 0 nan | 0.000 % | 195.24/195.32 c =============================================================================== 195.24/195.38 c core #311 195.24/195.38 c 195.24/195.38 c 195.24/195.38 c Core size: 14 Core Weight: 1 Total Weight: -189 195.24/195.38 c 195.24/195.38 c 195.24/195.38 c ============================[ Search Statistics ]============================== 195.24/195.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.24/195.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.24/195.38 c =============================================================================== 195.24/195.38 c | 0 | 1396 38331 49792 | 12777 0 nan | 0.000 % | 195.24/195.39 c =============================================================================== 195.34/195.44 c core #312 195.34/195.44 c 195.34/195.44 c 195.34/195.44 c Core size: 14 Core Weight: 1 Total Weight: -188 195.34/195.44 c 195.34/195.44 c 195.34/195.44 c ============================[ Search Statistics ]============================== 195.34/195.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.34/195.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.34/195.44 c =============================================================================== 195.34/195.44 c | 0 | 1404 38332 49808 | 12777 0 nan | 0.000 % | 195.34/195.45 c =============================================================================== 195.44/195.51 c core #313 195.44/195.51 c 195.44/195.51 c 195.44/195.51 c Core size: 14 Core Weight: 1 Total Weight: -187 195.44/195.51 c 195.44/195.51 c 195.44/195.51 c ============================[ Search Statistics ]============================== 195.44/195.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.44/195.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.44/195.51 c =============================================================================== 195.44/195.51 c | 0 | 1412 38333 49824 | 12777 0 nan | 0.000 % | 195.44/195.51 c =============================================================================== 195.44/195.57 c core #314 195.44/195.57 c 195.44/195.57 c 195.44/195.57 c Core size: 14 Core Weight: 1 Total Weight: -186 195.44/195.57 c 195.44/195.57 c 195.44/195.57 c ============================[ Search Statistics ]============================== 195.44/195.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.44/195.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.44/195.57 c =============================================================================== 195.44/195.57 c | 0 | 1420 38334 49840 | 12778 0 nan | 0.000 % | 195.44/195.58 c =============================================================================== 195.54/195.64 c core #315 195.54/195.64 c 195.54/195.64 c 195.54/195.64 c Core size: 17 Core Weight: 1 Total Weight: -185 195.54/195.64 c 195.54/195.64 c 195.54/195.64 c ============================[ Search Statistics ]============================== 195.54/195.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.54/195.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.54/195.64 c =============================================================================== 195.54/195.64 c | 0 | 1434 38335 49868 | 12778 0 nan | 0.000 % | 195.54/195.64 c =============================================================================== 195.64/195.70 c core #316 195.64/195.70 c 195.64/195.70 c 195.64/195.70 c Core size: 10 Core Weight: 1 Total Weight: -184 195.64/195.70 c 195.64/195.70 c 195.64/195.70 c ============================[ Search Statistics ]============================== 195.64/195.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.64/195.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.64/195.70 c =============================================================================== 195.64/195.70 c | 0 | 1440 38336 49880 | 12778 0 nan | 0.000 % | 195.64/195.71 c =============================================================================== 195.64/195.76 c core #317 195.64/195.76 c 195.64/195.76 c 195.64/195.76 c Core size: 14 Core Weight: 1 Total Weight: -183 195.64/195.76 c 195.64/195.76 c 195.64/195.76 c ============================[ Search Statistics ]============================== 195.64/195.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.64/195.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.64/195.76 c =============================================================================== 195.64/195.76 c | 0 | 1448 38337 49896 | 12779 0 nan | 0.000 % | 195.64/195.77 c =============================================================================== 195.74/195.83 c core #318 195.74/195.83 c 195.74/195.83 c 195.74/195.83 c Core size: 16 Core Weight: 1 Total Weight: -182 195.74/195.83 c 195.74/195.83 c 195.74/195.83 c ============================[ Search Statistics ]============================== 195.74/195.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.74/195.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.74/195.83 c =============================================================================== 195.74/195.83 c | 0 | 1458 38338 49916 | 12779 0 nan | 0.000 % | 195.74/195.84 c =============================================================================== 195.74/195.89 c core #319 195.74/195.89 c 195.74/195.89 c 195.74/195.89 c Core size: 24 Core Weight: 1 Total Weight: -181 195.74/195.89 c 195.74/195.89 c 195.74/195.89 c ============================[ Search Statistics ]============================== 195.74/195.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.74/195.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.74/195.89 c =============================================================================== 195.74/195.89 c | 0 | 1472 38339 49944 | 12779 0 nan | 0.000 % | 195.84/195.90 c =============================================================================== 195.84/195.96 c core #320 195.84/195.96 c 195.84/195.96 c 195.84/195.96 c Core size: 16 Core Weight: 1 Total Weight: -180 195.84/195.96 c 195.84/195.96 c 195.84/195.96 c ============================[ Search Statistics ]============================== 195.84/195.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.84/195.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.84/195.96 c =============================================================================== 195.84/195.96 c | 0 | 1482 38340 49964 | 12780 0 nan | 0.000 % | 195.84/195.97 c =============================================================================== 195.94/196.03 c core #321 195.94/196.03 c 195.94/196.03 c 195.94/196.03 c Core size: 33 Core Weight: 1 Total Weight: -179 195.94/196.03 c 195.94/196.03 c 195.94/196.03 c ============================[ Search Statistics ]============================== 195.94/196.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.94/196.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.94/196.03 c =============================================================================== 195.94/196.03 c | 0 | 1506 38341 50012 | 12780 0 nan | 0.000 % | 195.94/196.05 c =============================================================================== 196.04/196.11 c core #322 196.04/196.11 c 196.04/196.11 c 196.04/196.11 c Core size: 30 Core Weight: 1 Total Weight: -178 196.04/196.11 c 196.04/196.11 c 196.04/196.11 c ============================[ Search Statistics ]============================== 196.04/196.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.04/196.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.04/196.11 c =============================================================================== 196.04/196.11 c | 0 | 1523 38342 50046 | 12780 0 nan | 0.000 % | 196.04/196.15 c =============================================================================== 196.14/196.21 c core #323 196.14/196.21 c 196.14/196.21 c 196.14/196.21 c Core size: 48 Core Weight: 1 Total Weight: -177 196.14/196.21 c 196.14/196.21 c 196.14/196.21 c ============================[ Search Statistics ]============================== 196.14/196.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.14/196.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.14/196.21 c =============================================================================== 196.14/196.21 c | 0 | 1559 38343 50118 | 12781 0 nan | 0.000 % | 196.14/196.28 c | 100 | 1558 38343 50118 | 14059 100 11 | 92.329 % | 196.14/196.28 c =============================================================================== 196.24/196.34 c core #324 196.24/196.34 c 196.24/196.34 c 196.24/196.34 c Core size: 42 Core Weight: 1 Total Weight: -176 196.24/196.34 c 196.24/196.34 c 196.24/196.34 c ============================[ Search Statistics ]============================== 196.24/196.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.24/196.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.24/196.34 c =============================================================================== 196.24/196.34 c | 0 | 1596 38344 50192 | 12781 0 nan | 0.000 % | 196.24/196.39 c | 100 | 1596 38344 50192 | 14059 100 15 | 92.156 % | 196.34/196.45 c | 250 | 1596 38344 50192 | 15465 250 15 | 92.156 % | 196.44/196.52 c | 475 | 1596 38344 50192 | 17011 475 16 | 92.156 % | 196.44/196.54 c =============================================================================== 196.54/196.60 c core #325 196.54/196.60 c 196.54/196.60 c 196.54/196.60 c Core size: 84 Core Weight: 1 Total Weight: -175 196.54/196.60 c 196.54/196.60 c 196.54/196.60 c ============================[ Search Statistics ]============================== 196.54/196.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.54/196.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.54/196.60 c =============================================================================== 196.54/196.60 c | 0 | 1671 38345 50342 | 12781 0 nan | 0.000 % | 196.54/196.66 c | 102 | 1671 38345 50342 | 14059 102 25 | 91.817 % | 196.64/196.70 c | 252 | 1671 38345 50342 | 15465 252 19 | 91.817 % | 196.74/196.80 c | 478 | 1670 38345 50342 | 17012 478 18 | 91.822 % | 196.74/196.85 c =============================================================================== 196.85/196.91 c core #326 196.85/196.91 c 196.85/196.91 c 196.85/196.91 c Core size: 54 Core Weight: 1 Total Weight: -174 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 | 1718 38346 50436 | 12782 0 nan | 0.000 % | 196.85/196.97 c | 100 | 1717 38346 50436 | 14060 100 25 | 91.611 % | 196.94/197.02 c | 251 | 1717 38346 50436 | 15466 251 22 | 91.611 % | 196.94/197.03 c =============================================================================== 196.94/197.09 c core #327 196.94/197.09 c 196.94/197.09 c 196.94/197.09 c Core size: 47 Core Weight: 1 Total Weight: -173 196.94/197.09 c 196.94/197.09 c 196.94/197.09 c ============================[ Search Statistics ]============================== 196.94/197.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.94/197.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.94/197.09 c =============================================================================== 196.94/197.09 c | 0 | 1752 38347 50504 | 12782 0 nan | 0.000 % | 197.04/197.14 c | 101 | 1752 38347 50504 | 14060 101 25 | 91.454 % | 197.04/197.17 c | 253 | 1751 38347 50504 | 15466 253 18 | 91.464 % | 197.14/197.23 c | 480 | 1749 38347 50504 | 17013 480 21 | 91.474 % | 197.14/197.26 c =============================================================================== 197.24/197.32 c core #328 197.24/197.32 c 197.24/197.32 c 197.24/197.32 c Core size: 43 Core Weight: 1 Total Weight: -172 197.24/197.32 c 197.24/197.32 c 197.24/197.32 c ============================[ Search Statistics ]============================== 197.24/197.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.24/197.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.24/197.32 c =============================================================================== 197.24/197.32 c | 0 | 1784 38348 50568 | 12782 0 nan | 0.000 % | 197.24/197.35 c | 101 | 1784 38348 50568 | 14060 101 14 | 91.312 % | 197.34/197.40 c =============================================================================== 197.34/197.46 c core #329 197.34/197.46 c 197.34/197.46 c 197.34/197.46 c Core size: 57 Core Weight: 1 Total Weight: -171 197.34/197.46 c 197.34/197.46 c 197.34/197.46 c ============================[ Search Statistics ]============================== 197.34/197.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.34/197.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.34/197.46 c =============================================================================== 197.34/197.46 c | 0 | 1836 38349 50672 | 12783 0 nan | 0.000 % | 197.44/197.52 c | 102 | 1836 38349 50672 | 14061 102 7 | 91.081 % | 197.44/197.55 c =============================================================================== 197.54/197.60 c core #330 197.54/197.60 c 197.54/197.60 c 197.54/197.60 c Core size: 61 Core Weight: 1 Total Weight: -170 197.54/197.60 c 197.54/197.60 c 197.54/197.60 c ============================[ Search Statistics ]============================== 197.54/197.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.54/197.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.54/197.60 c =============================================================================== 197.54/197.60 c | 0 | 1874 38350 50748 | 12783 0 nan | 0.000 % | 197.54/197.64 c | 100 | 1874 38350 50748 | 14061 100 15 | 90.913 % | 197.64/197.71 c | 250 | 1874 38350 50748 | 15467 250 18 | 90.913 % | 197.74/197.81 c | 475 | 1874 38350 50748 | 17014 475 21 | 90.913 % | 197.85/197.97 c | 814 | 1873 38350 50748 | 18716 813 20 | 90.923 % | 197.95/198.04 c =============================================================================== 198.04/198.10 c core #331 198.04/198.10 c 198.04/198.10 c 198.04/198.10 c Core size: 98 Core Weight: 1 Total Weight: -169 198.04/198.10 c 198.04/198.10 c 198.04/198.10 c ============================[ Search Statistics ]============================== 198.04/198.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.04/198.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.04/198.10 c =============================================================================== 198.04/198.10 c | 0 | 1949 38351 50898 | 12783 0 nan | 0.000 % | 198.04/198.15 c | 100 | 1949 38351 50898 | 14062 100 12 | 90.584 % | 198.04/198.18 c | 250 | 1949 38351 50898 | 15468 250 11 | 90.584 % | 198.14/198.25 c | 476 | 1949 38351 50898 | 17015 476 11 | 90.584 % | 198.24/198.37 c | 814 | 1948 38351 50898 | 18716 807 13 | 90.589 % | 198.34/198.44 c =============================================================================== 198.44/198.50 c core #332 198.44/198.50 c 198.44/198.50 c 198.44/198.50 c Core size: 74 Core Weight: 1 Total Weight: -168 198.44/198.50 c 198.44/198.50 c 198.44/198.50 c ============================[ Search Statistics ]============================== 198.44/198.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.44/198.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.44/198.50 c =============================================================================== 198.44/198.50 c | 0 | 2006 38352 51012 | 12784 0 nan | 0.000 % | 198.44/198.56 c | 100 | 2006 38352 51012 | 14062 100 31 | 90.335 % | 198.54/198.60 c | 250 | 2006 38352 51012 | 15468 250 22 | 90.335 % | 198.54/198.66 c | 480 | 2006 38352 51012 | 17015 480 20 | 90.335 % | 198.64/198.73 c | 817 | 2005 38352 51012 | 18717 813 19 | 90.340 % | 198.64/198.77 c =============================================================================== 198.74/198.83 c core #333 198.74/198.83 c 198.74/198.83 c 198.74/198.83 c Core size: 68 Core Weight: 1 Total Weight: -167 198.74/198.83 c 198.74/198.83 c 198.74/198.83 c ============================[ Search Statistics ]============================== 198.74/198.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.74/198.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.74/198.83 c =============================================================================== 198.74/198.83 c | 0 | 2062 38353 51124 | 12784 0 nan | 0.000 % | 198.74/198.88 c | 101 | 2062 38353 51124 | 14062 101 33 | 90.092 % | 198.84/198.94 c | 253 | 2062 38353 51124 | 15469 253 31 | 90.092 % | 198.94/199.05 c | 479 | 2062 38353 51124 | 17015 479 28 | 90.092 % | 199.04/199.17 c | 817 | 2062 38353 51124 | 18717 817 27 | 90.092 % | 199.34/199.42 c | 1323 | 2062 38353 51124 | 20589 1323 27 | 90.092 % | 199.74/199.82 c | 2082 | 2062 38353 51124 | 22648 2082 27 | 90.092 % | 200.05/200.11 c =============================================================================== 200.05/200.19 c core #334 200.05/200.19 c 200.05/200.19 c 200.05/200.19 c Core size: 109 Core Weight: 1 Total Weight: -166 200.05/200.19 c 200.05/200.19 c 200.05/200.19 c ============================[ Search Statistics ]============================== 200.05/200.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.05/200.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.05/200.19 c =============================================================================== 200.05/200.19 c | 0 | 2150 38354 51300 | 12784 0 nan | 0.000 % | 200.15/200.23 c | 100 | 2150 38354 51300 | 14063 100 16 | 89.713 % | 200.15/200.28 c | 251 | 2150 38354 51300 | 15469 251 15 | 89.713 % | 200.24/200.34 c =============================================================================== 200.34/200.40 c core #335 200.34/200.40 c 200.34/200.40 c 200.34/200.40 c Core size: 52 Core Weight: 1 Total Weight: -165 200.34/200.40 c 200.34/200.40 c 200.34/200.40 c ============================[ Search Statistics ]============================== 200.34/200.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.34/200.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.34/200.40 c =============================================================================== 200.34/200.40 c | 0 | 2196 38355 51392 | 12785 0 nan | 0.000 % | 200.34/200.46 c | 103 | 2196 38355 51392 | 14063 103 14 | 89.516 % | 200.34/200.50 c | 255 | 2196 38355 51392 | 15469 255 12 | 89.516 % | 200.44/200.53 c | 480 | 2196 38355 51392 | 17016 480 16 | 89.516 % | 200.44/200.59 c | 818 | 2158 38355 51392 | 18718 816 18 | 91.473 % | 200.44/200.59 c =============================================================================== 200.54/200.66 c core #336 200.54/200.66 c 200.54/200.66 c 200.54/200.66 c Core size: 92 Core Weight: 1 Total Weight: -164 200.54/200.66 c 200.54/200.66 c 200.54/200.66 c ============================[ Search Statistics ]============================== 200.54/200.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.54/200.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.54/200.66 c =============================================================================== 200.54/200.66 c | 0 | 2255 38356 51510 | 12785 0 nan | 0.000 % | 200.54/200.68 c | 104 | 2255 38356 51510 | 14063 104 26 | 89.264 % | 200.64/200.73 c | 254 | 2254 38356 51510 | 15470 254 17 | 89.269 % | 200.74/200.83 c | 480 | 2250 38356 51510 | 17017 480 21 | 89.288 % | 200.94/201.02 c | 817 | 2247 38356 51510 | 18719 810 23 | 89.303 % | 201.04/201.14 c =============================================================================== 201.15/201.20 c core #337 201.15/201.20 c 201.15/201.20 c 201.15/201.20 c Core size: 90 Core Weight: 1 Total Weight: -163 201.15/201.20 c 201.15/201.20 c 201.15/201.20 c ============================[ Search Statistics ]============================== 201.15/201.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.15/201.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.15/201.20 c =============================================================================== 201.15/201.20 c | 0 | 2332 38357 51664 | 12785 0 nan | 0.000 % | 201.15/201.25 c | 100 | 2332 38357 51664 | 14064 100 9 | 88.938 % | 201.15/201.29 c | 250 | 2332 38357 51664 | 15470 250 11 | 88.938 % | 201.34/201.41 c | 475 | 2332 38357 51664 | 17017 475 14 | 88.938 % | 201.44/201.56 c | 813 | 2332 38357 51664 | 18719 813 16 | 88.938 % | 201.74/201.81 c | 1323 | 2332 38357 51664 | 20591 1323 18 | 88.938 % | 202.14/202.27 c | 2083 | 2332 38357 51664 | 22650 2083 20 | 88.938 % | 202.54/202.67 c =============================================================================== 202.64/202.75 c core #338 202.64/202.75 c 202.64/202.75 c 202.64/202.75 c Core size: 117 Core Weight: 1 Total Weight: -162 202.64/202.75 c 202.64/202.75 c 202.64/202.75 c ============================[ Search Statistics ]============================== 202.64/202.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 202.64/202.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 202.64/202.75 c =============================================================================== 202.64/202.75 c | 0 | 2416 38358 51832 | 12786 0 nan | 0.000 % | 202.73/202.80 c | 101 | 2416 38358 51832 | 14064 101 23 | 88.585 % | 202.73/202.82 c | 253 | 2416 38358 51832 | 15471 253 22 | 88.585 % | 202.73/202.87 c | 478 | 2416 38358 51832 | 17018 478 22 | 88.585 % | 202.84/202.96 c | 815 | 2416 38358 51832 | 18719 815 29 | 88.585 % | 202.94/203.08 c | 1321 | 2416 38358 51832 | 20591 1321 38 | 88.585 % | 203.14/203.22 c | 2080 | 2416 38358 51832 | 22651 2080 41 | 88.585 % | 203.44/203.53 c | 3222 | 2416 38358 51832 | 24916 3222 41 | 88.585 % | 204.14/204.22 c | 4933 | 2416 38358 51832 | 27407 4933 42 | 88.585 % | 205.24/205.37 c | 7495 | 2416 38358 51832 | 30148 7495 43 | 88.585 % | 207.13/207.23 c | 11340 | 2406 38358 51832 | 33163 11336 42 | 88.633 % | 209.95/210.05 c | 17107 | 2244 38358 51832 | 36479 5968 30 | 89.398 % | 209.95/210.07 c =============================================================================== 210.24/210.30 c core #339 210.24/210.30 c 210.24/210.30 c 210.24/210.30 c Core size: 129 Core Weight: 1 Total Weight: -161 210.24/210.30 c 210.24/210.30 c 210.24/210.30 c ============================[ Search Statistics ]============================== 210.24/210.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.24/210.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.24/210.30 c =============================================================================== 210.24/210.30 c | 0 | 2517 38359 52034 | 12786 0 nan | 0.000 % | 210.24/210.36 c | 100 | 2517 38359 52034 | 14064 100 16 | 88.165 % | 210.34/210.40 c | 253 | 2517 38359 52034 | 15471 253 16 | 88.165 % | 210.34/210.48 c | 478 | 2517 38359 52034 | 17018 478 19 | 88.165 % | 210.43/210.58 c | 815 | 2517 38359 52034 | 18720 815 19 | 88.165 % | 210.63/210.75 c | 1321 | 2517 38359 52034 | 20592 1321 19 | 88.165 % | 210.94/211.05 c | 2081 | 2517 38359 52034 | 22651 2081 21 | 88.165 % | 211.44/211.56 c | 3220 | 2516 38359 52034 | 24916 3219 21 | 88.169 % | 211.54/211.64 c =============================================================================== 211.64/211.72 c core #340 211.64/211.72 c 211.64/211.72 c 211.64/211.72 c Core size: 98 Core Weight: 1 Total Weight: -160 211.64/211.72 c 211.64/211.72 c 211.64/211.72 c ============================[ Search Statistics ]============================== 211.64/211.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.64/211.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.64/211.72 c =============================================================================== 211.64/211.72 c | 0 | 2593 38360 52186 | 12786 0 nan | 0.000 % | 211.64/211.78 c | 101 | 2593 38360 52186 | 14065 101 26 | 87.851 % | 211.74/211.80 c | 252 | 2593 38360 52186 | 15471 252 26 | 87.851 % | 211.74/211.86 c | 479 | 2593 38360 52186 | 17019 479 23 | 87.851 % | 211.83/211.91 c | 818 | 2593 38360 52186 | 18720 818 27 | 87.851 % | 211.93/212.05 c | 1324 | 2593 38360 52186 | 20593 1324 30 | 87.851 % | 212.14/212.30 c | 2083 | 2593 38360 52186 | 22652 2083 33 | 87.851 % | 212.54/212.63 c | 3223 | 2593 38360 52186 | 24917 3223 38 | 87.851 % | 213.35/213.48 c | 4934 | 2593 38360 52186 | 27409 4934 42 | 87.851 % | 214.83/214.95 c | 7497 | 2593 38360 52186 | 30150 7497 44 | 87.851 % | 218.13/218.27 c | 11343 | 2593 38360 52186 | 33165 11343 47 | 87.851 % | 222.64/222.74 c | 17109 | 2593 38360 52186 | 36481 17109 49 | 87.851 % | 234.63/234.71 c | 25758 | 2593 38360 52186 | 40130 25758 52 | 87.851 % | 251.13/251.27 c | 38735 | 2593 38360 52186 | 44143 38735 53 | 87.851 % | 294.52/294.61 c | 58197 | 2592 38360 52186 | 48557 58021 54 | 87.856 % | 331.30/331.46 c =============================================================================== 332.70/332.86 c core #341 332.70/332.86 c 332.70/332.86 c 332.70/332.86 c Core size: 89 Core Weight: 1 Total Weight: -159 332.70/332.86 c 332.70/332.86 c 332.70/332.86 c ============================[ Search Statistics ]============================== 332.70/332.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 332.70/332.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 332.70/332.86 c =============================================================================== 332.70/332.86 c | 0 | 2667 38361 52334 | 12787 0 nan | 0.000 % | 332.70/332.89 c | 101 | 2667 38361 52334 | 14065 101 27 | 87.547 % | 332.80/332.92 c | 251 | 2667 38361 52334 | 15472 251 28 | 87.547 % | 332.80/332.95 c | 476 | 2667 38361 52334 | 17019 476 29 | 87.547 % | 332.91/333.04 c | 815 | 2667 38361 52334 | 18721 815 33 | 87.547 % | 333.01/333.13 c | 1321 | 2667 38361 52334 | 20593 1321 46 | 87.547 % | 333.11/333.30 c | 2081 | 2667 38361 52334 | 22652 2081 53 | 87.547 % | 333.51/333.66 c | 3221 | 2667 38361 52334 | 24918 3221 58 | 87.547 % | 334.22/334.30 c | 4930 | 2667 38361 52334 | 27410 4930 65 | 87.547 % | 335.01/335.17 c | 7495 | 2667 38361 52334 | 30151 7495 62 | 87.547 % | 336.80/336.99 c | 11339 | 2667 38361 52334 | 33166 11339 64 | 87.547 % | 340.00/340.15 c | 17117 | 2667 38361 52334 | 36482 17117 68 | 87.547 % | 348.90/349.01 c | 25769 | 2667 38361 52334 | 40131 25769 74 | 87.547 % | 373.40/373.50 c | 38749 | 2667 38361 52334 | 44144 38749 78 | 87.547 % | 417.49/417.61 c | 58215 | 2667 38361 52334 | 48558 58215 79 | 87.547 % | 447.78/447.99 c =============================================================================== 449.48/449.69 c core #342 449.48/449.69 c 449.48/449.69 c 449.48/449.69 c Core size: 171 Core Weight: 1 Total Weight: -158 449.48/449.69 c 449.48/449.69 c 449.48/449.69 c ============================[ Search Statistics ]============================== 449.48/449.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 449.48/449.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 449.48/449.69 c =============================================================================== 449.48/449.69 c | 0 | 2782 38362 52564 | 12787 0 nan | 0.000 % | 449.58/449.75 c | 100 | 2782 38362 52564 | 14066 100 29 | 87.080 % | 449.58/449.78 c | 252 | 2782 38362 52564 | 15472 252 36 | 87.080 % | 449.68/449.82 c | 479 | 2782 38362 52564 | 17019 479 30 | 87.080 % | 449.68/449.86 c | 816 | 2782 38362 52564 | 18721 816 30 | 87.080 % | 449.87/450.05 c | 1322 | 2782 38362 52564 | 20594 1322 36 | 87.080 % | 450.17/450.31 c | 2081 | 2782 38362 52564 | 22653 2081 49 | 87.080 % | 450.58/450.76 c | 3225 | 2782 38362 52564 | 24918 3225 54 | 87.080 % | 451.57/451.72 c | 4933 | 2782 38362 52564 | 27410 4933 57 | 87.080 % | 453.47/453.64 c | 7496 | 2782 38362 52564 | 30151 7496 61 | 87.080 % | 456.58/456.74 c | 11343 | 2782 38362 52564 | 33167 11343 63 | 87.080 % | 461.37/461.55 c | 17111 | 2782 38362 52564 | 36483 17111 60 | 87.080 % | 469.47/469.64 c =============================================================================== 469.97/470.11 c core #343 469.97/470.11 c 469.97/470.11 c 469.97/470.11 c Core size: 101 Core Weight: 1 Total Weight: -157 469.97/470.11 c 469.97/470.11 c 469.97/470.11 c ============================[ Search Statistics ]============================== 469.97/470.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 469.97/470.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 469.97/470.11 c =============================================================================== 469.97/470.11 c | 0 | 2863 38363 52726 | 12787 0 nan | 0.000 % | 469.97/470.17 c | 100 | 2863 38363 52726 | 14066 100 17 | 86.753 % | 469.97/470.19 c | 251 | 2863 38363 52726 | 15473 251 19 | 86.753 % | 470.07/470.23 c | 478 | 2863 38363 52726 | 17020 478 17 | 86.753 % | 470.17/470.39 c | 815 | 2863 38363 52726 | 18722 815 27 | 86.753 % | 470.37/470.54 c | 1321 | 2863 38363 52726 | 20594 1321 30 | 86.753 % | 470.58/470.78 c | 2081 | 2863 38363 52726 | 22654 2081 34 | 86.753 % | 470.97/471.11 c | 3222 | 2863 38363 52726 | 24919 3222 34 | 86.753 % | 472.07/472.21 c | 4932 | 2863 38363 52726 | 27411 4932 36 | 86.753 % | 473.98/474.18 c | 7494 | 2863 38363 52726 | 30152 7494 41 | 86.753 % | 477.76/477.93 c | 11339 | 2863 38363 52726 | 33167 11339 41 | 86.753 % | 484.97/485.14 c | 17108 | 2863 38363 52726 | 36484 17108 43 | 86.753 % | 499.46/499.68 c | 25761 | 2863 38363 52726 | 40133 25761 43 | 86.753 % | 507.86/508.00 c =============================================================================== 508.56/508.72 c core #344 508.56/508.72 c 508.56/508.72 c 508.56/508.72 c Core size: 124 Core Weight: 1 Total Weight: -156 508.56/508.72 c 508.56/508.72 c 508.56/508.72 c ============================[ Search Statistics ]============================== 508.56/508.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 508.56/508.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 508.56/508.72 c =============================================================================== 508.56/508.72 c | 0 | 2957 38364 52914 | 12788 0 nan | 0.000 % | 508.56/508.76 c | 101 | 2957 38364 52914 | 14066 101 14 | 86.378 % | 508.56/508.78 c | 253 | 2957 38364 52914 | 15473 253 19 | 86.378 % | 508.66/508.84 c | 480 | 2957 38364 52914 | 17020 480 20 | 86.378 % | 508.66/508.87 c | 819 | 2957 38364 52914 | 18722 819 24 | 86.378 % | 508.76/508.96 c | 1327 | 2957 38364 52914 | 20595 1327 24 | 86.378 % | 508.96/509.17 c | 2089 | 2957 38364 52914 | 22654 2089 29 | 86.378 % | 509.56/509.72 c | 3230 | 2957 38364 52914 | 24920 3230 35 | 86.378 % | 510.56/510.70 c | 4940 | 2957 38364 52914 | 27412 4940 42 | 86.378 % | 512.25/512.44 c | 7502 | 2957 38364 52914 | 30153 7502 47 | 86.378 % | 515.16/515.40 c | 11346 | 2957 38364 52914 | 33168 11346 53 | 86.378 % | 523.75/523.91 c | 17116 | 2957 38364 52914 | 36485 17116 58 | 86.378 % | 531.96/532.14 c | 25766 | 2957 38364 52914 | 40134 25766 59 | 86.378 % | 554.95/555.18 c | 38741 | 2957 38364 52914 | 44147 38741 61 | 86.378 % | 602.44/602.67 c | 58202 | 2957 38364 52914 | 48562 58202 63 | 86.378 % | 666.52/666.75 c | 87397 | 2957 38364 52914 | 53418 35117 56 | 86.378 % | 764.49/764.75 c | 131187 | 2957 38364 52914 | 58760 23860 56 | 86.378 % | 921.56/921.82 c | 196871 | 2956 38364 52914 | 64636 29990 54 | 86.382 % | 948.75/949.07 c =============================================================================== 954.94/955.20 c core #345 954.94/955.20 c 954.94/955.20 c 954.94/955.20 c Core size: 187 Core Weight: 1 Total Weight: -155 954.94/955.20 c 954.94/955.20 c 954.94/955.20 c ============================[ Search Statistics ]============================== 954.94/955.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 954.94/955.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 954.94/955.20 c =============================================================================== 954.94/955.20 c | 0 | 3077 38365 53154 | 12788 0 nan | 0.000 % | 955.05/955.30 c | 100 | 3077 38365 53154 | 14067 100 31 | 85.903 % | 955.05/955.32 c | 251 | 3077 38365 53154 | 15473 251 35 | 85.903 % | 955.05/955.36 c | 476 | 3077 38365 53154 | 17021 476 41 | 85.903 % | 955.14/955.46 c | 813 | 3077 38365 53154 | 18723 813 44 | 85.903 % | 955.34/955.65 c | 1321 | 3077 38365 53154 | 20595 1321 61 | 85.903 % | 955.74/956.08 c | 2082 | 3077 38365 53154 | 22655 2082 99 | 85.903 % | 956.54/956.82 c | 3223 | 3077 38365 53154 | 24920 3223 122 | 85.903 % | 957.85/958.12 c | 4935 | 3077 38365 53154 | 27412 4935 139 | 85.903 % | 960.74/961.02 c | 7497 | 3077 38365 53154 | 30154 7497 152 | 85.903 % | 965.74/966.03 c | 11341 | 3077 38365 53154 | 33169 11341 161 | 85.903 % | 975.23/975.55 c | 17107 | 3077 38365 53154 | 36486 17107 173 | 85.903 % | 989.74/990.01 c | 25756 | 3077 38365 53154 | 40135 25756 175 | 85.903 % | 1012.13/1012.49 c | 38730 | 3077 38365 53154 | 44148 38730 175 | 85.903 % | 1056.22/1056.56 c | 58192 | 3077 38365 53154 | 48563 58192 175 | 85.903 % | 1114.30/1114.61 c | 87385 | 3077 38365 53154 | 53420 34107 161 | 85.903 % | 1239.97/1240.38 c | 131176 | 3077 38365 53154 | 58762 19987 174 | 85.903 % | 1386.03/1386.46 c | 196861 | 3077 38365 53154 | 64638 24004 179 | 85.903 % | 1573.38/1573.89 c | 295387 | 3077 38365 53154 | 71102 54017 143 | 85.903 % |
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-2702573-1278570365/watcher-2702573-1278570365 -o /tmp/evaluation-result-2702573-1278570365/solver-2702573-1278570365 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702573-1278570365.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 1.00 3/106 27177 /proc/meminfo: memFree=1631200/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=4700 CPUtime=0 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 419 0 0 0 0 0 0 0 20 0 1 0 25250121 4812800 338 1992294400 134512640 135752675 4290055504 18446744073709551615 134609663 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 1175 338 137 303 0 475 0 [startup+0.097216 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27177 /proc/meminfo: memFree=1631200/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=8860 CPUtime=0.09 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 1462 0 0 0 9 0 0 0 20 0 1 0 25250121 9072640 1381 1992294400 134512640 135752675 4290055504 18446744073709551615 134562353 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 2215 1381 241 303 0 1515 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8860 [startup+0.101215 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27177 /proc/meminfo: memFree=1631200/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=8860 CPUtime=0.09 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 1481 0 0 0 9 0 0 0 20 0 1 0 25250121 9072640 1400 1992294400 134512640 135752675 4290055504 18446744073709551615 135379939 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 2215 1400 248 303 0 1515 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8860 [startup+0.301237 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27177 /proc/meminfo: memFree=1631200/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=13948 CPUtime=0.29 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 3404 0 0 0 28 1 0 0 20 0 1 0 25250121 14282752 2895 1992294400 134512640 135752675 4290055504 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 3487 2895 142 303 0 3182 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13948 [startup+0.701278 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27177 /proc/meminfo: memFree=1631200/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=12368 CPUtime=0.69 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 3949 0 0 0 67 2 0 0 20 0 1 0 25250121 12664832 2543 1992294400 134512640 135752675 4290055504 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 3092 2543 145 303 0 2787 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12368 [startup+1.50136 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27178 /proc/meminfo: memFree=1620032/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=16328 CPUtime=1.49 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 4938 0 0 0 146 3 0 0 22 0 1 0 25250121 16719872 3532 1992294400 134512640 135752675 4290055504 18446744073709551615 134638327 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 4082 3532 145 303 0 3777 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16328 [startup+3.10153 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27178 /proc/meminfo: memFree=1615816/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=20292 CPUtime=3.09 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 5943 0 0 0 305 4 0 0 25 0 1 0 25250121 20779008 4537 1992294400 134512640 135752675 4290055504 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 5073 4537 145 303 0 4768 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20292 [startup+6.30087 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27178 /proc/meminfo: memFree=1609492/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=25716 CPUtime=6.29 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 7275 0 0 0 624 5 0 0 25 0 1 0 25250121 26333184 5869 1992294400 134512640 135752675 4290055504 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 6429 5869 145 303 0 6124 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25716 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27178 /proc/meminfo: memFree=1602300/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=32744 CPUtime=12.69 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 9036 0 0 0 1261 8 0 0 25 0 1 0 25250121 33529856 7630 1992294400 134512640 135752675 4290055504 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 8186 7630 145 303 0 7881 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32744 [startup+25.5009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27178 /proc/meminfo: memFree=1589280/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=44936 CPUtime=25.48 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 12055 0 0 0 2536 12 0 0 25 0 1 0 25250121 46014464 10649 1992294400 134512640 135752675 4290055504 18446744073709551615 134638289 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 11234 10649 145 303 0 10929 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 44936 [startup+51.1006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27178 /proc/meminfo: memFree=1571796/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=62188 CPUtime=51.08 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 16380 0 0 0 5088 20 0 0 25 0 1 0 25250121 63680512 14974 1992294400 134512640 135752675 4290055504 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 15547 14974 145 303 0 15242 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 62188 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27180 /proc/meminfo: memFree=1552080/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=81728 CPUtime=102.28 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 21231 0 0 0 10198 30 0 0 25 0 1 0 25250121 83689472 19825 1992294400 134512640 135752675 4290055504 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 20432 19825 145 303 0 20127 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 81728 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27182 /proc/meminfo: memFree=1520708/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=113652 CPUtime=162.25 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 29159 0 0 0 16181 44 0 0 25 0 1 0 25250121 116379648 27753 1992294400 134512640 135752675 4290055504 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 28413 27753 145 303 0 28108 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 113652 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27184 /proc/meminfo: memFree=1503844/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=129020 CPUtime=222.24 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 33864 0 0 0 22155 69 0 0 25 0 1 0 25250121 132116480 31712 1992294400 134512640 135752675 4290055504 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 32255 31712 146 303 0 31950 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 129020 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27186 /proc/meminfo: memFree=1503844/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=129020 CPUtime=282.21 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 33889 0 0 0 28138 83 0 0 25 0 1 0 25250121 132116480 31737 1992294400 134512640 135752675 4290055504 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 32255 31737 146 303 0 31950 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 129020 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27186 /proc/meminfo: memFree=1503844/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=129020 CPUtime=342.21 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 33901 0 0 0 34121 100 0 0 25 0 1 0 25250121 132116480 31749 1992294400 134512640 135752675 4290055504 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 32255 31749 146 303 0 31950 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 129020 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27188 /proc/meminfo: memFree=1503720/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=129020 CPUtime=402.18 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 33911 0 0 0 40105 113 0 0 25 0 1 0 25250121 132116480 31759 1992294400 134512640 135752675 4290055504 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 32255 31759 146 303 0 31950 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 129020 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27190 /proc/meminfo: memFree=1502976/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=130008 CPUtime=462.17 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 34120 0 0 0 46082 135 0 0 25 0 1 0 25250121 133128192 31968 1992294400 134512640 135752675 4290055504 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 32502 31968 146 303 0 32197 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 130008 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27192 /proc/meminfo: memFree=1502976/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=129284 CPUtime=522.16 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 34120 0 0 0 52059 157 0 0 25 0 1 0 25250121 132386816 31841 1992294400 134512640 135752675 4290055504 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 32321 31841 146 303 0 32016 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 129284 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27194 /proc/meminfo: memFree=1498140/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=134576 CPUtime=582.14 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 35436 0 0 0 58042 172 0 0 25 0 1 0 25250121 137805824 33157 1992294400 134512640 135752675 4290055504 18446744073709551615 134605418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 33644 33157 146 303 0 33339 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 134576 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27194 /proc/meminfo: memFree=1488964/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=143848 CPUtime=642.13 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 37693 0 0 0 64027 186 0 0 25 0 1 0 25250121 147300352 35414 1992294400 134512640 135752675 4290055504 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 35962 35414 146 303 0 35657 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 143848 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27202 /proc/meminfo: memFree=1444572/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=188260 CPUtime=882.06 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 48724 0 0 0 87958 248 0 0 25 0 1 0 25250121 192778240 46445 1992294400 134512640 135752675 4290055504 18446744073709551615 134518834 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 47065 46445 146 303 0 46760 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 188260 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27202 /proc/meminfo: memFree=1434280/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=198612 CPUtime=942.04 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 51300 0 0 0 93942 262 0 0 25 0 1 0 25250121 203378688 49021 1992294400 134512640 135752675 4290055504 18446744073709551615 134516989 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 49653 49021 146 303 0 49348 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 198612 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27204 /proc/meminfo: memFree=1419896/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=212684 CPUtime=1002.03 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 54886 0 0 0 99924 279 0 0 25 0 1 0 25250121 217788416 52607 1992294400 134512640 135752675 4290055504 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 53171 52607 146 303 0 52866 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 212684 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27206 /proc/meminfo: memFree=1400924/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=231632 CPUtime=1062.02 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 59602 0 0 0 105903 299 0 0 25 0 1 0 25250121 237191168 57323 1992294400 134512640 135752675 4290055504 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 57908 57323 146 303 0 57603 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 231632 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27208 /proc/meminfo: memFree=1379844/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=252768 CPUtime=1122 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 64856 0 0 0 111880 320 0 0 25 0 1 0 25250121 258834432 62577 1992294400 134512640 135752675 4290055504 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 63192 62577 146 303 0 62887 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 252768 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27210 /proc/meminfo: memFree=1364468/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=268264 CPUtime=1181.98 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 68700 0 0 0 117861 337 0 0 25 0 1 0 25250121 274702336 66421 1992294400 134512640 135752675 4290055504 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 67066 66421 146 303 0 66761 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 268264 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27210 /proc/meminfo: memFree=1348720/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=283808 CPUtime=1241.97 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 72589 0 0 0 123846 351 0 0 25 0 1 0 25250121 290619392 70310 1992294400 134512640 135752675 4290055504 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 70952 70310 146 303 0 70647 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 283808 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27212 /proc/meminfo: memFree=1325036/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=307340 CPUtime=1301.96 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 78466 0 0 0 129824 372 0 0 25 0 1 0 25250121 314716160 76187 1992294400 134512640 135752675 4290055504 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 76835 76187 146 303 0 76530 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 307340 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27214 /proc/meminfo: memFree=1303832/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=328680 CPUtime=1361.94 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 83747 0 0 0 135803 391 0 0 25 0 1 0 25250121 336568320 81468 1992294400 134512640 135752675 4290055504 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 82170 81468 146 303 0 81865 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 328680 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27216 /proc/meminfo: memFree=1276428/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=355916 CPUtime=1421.93 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 90571 0 0 0 141778 415 0 0 25 0 1 0 25250121 364457984 88292 1992294400 134512640 135752675 4290055504 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 88979 88292 146 303 0 88674 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 355916 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27218 /proc/meminfo: memFree=1257084/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=375528 CPUtime=1481.9 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 95441 0 0 0 147757 433 0 0 25 0 1 0 25250121 384540672 93162 1992294400 134512640 135752675 4290055504 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 93882 93162 146 303 0 93577 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 375528 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27218 /proc/meminfo: memFree=1235880/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=396484 CPUtime=1541.89 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 100693 0 0 0 153735 454 0 0 25 0 1 0 25250121 405999616 98414 1992294400 134512640 135752675 4290055504 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 99121 98414 146 303 0 98816 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 396484 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27220 /proc/meminfo: memFree=1219016/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=413436 CPUtime=1601.88 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 104910 0 0 0 159716 472 0 0 25 0 1 0 25250121 423358464 102631 1992294400 134512640 135752675 4290055504 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 103359 102631 146 303 0 103054 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 413436 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27222 /proc/meminfo: memFree=1204260/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=428032 CPUtime=1661.86 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 108564 0 0 0 165697 489 0 0 25 0 1 0 25250121 438304768 106285 1992294400 134512640 135752675 4290055504 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 107008 106285 146 303 0 106703 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 428032 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27224 /proc/meminfo: memFree=1186280/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=446044 CPUtime=1721.85 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 113058 0 0 0 171678 507 0 0 25 0 1 0 25250121 456749056 110779 1992294400 134512640 135752675 4290055504 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 111511 110779 146 303 0 111206 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 446044 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27226 /proc/meminfo: memFree=1171276/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=460988 CPUtime=1781.83 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 116761 0 0 0 177661 522 0 0 25 0 1 0 25250121 472051712 114482 1992294400 134512640 135752675 4290055504 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 115247 114482 146 303 0 114942 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 460988 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27226 /proc/meminfo: memFree=1167804/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=464260 CPUtime=1800.03 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 117586 0 0 0 179478 525 0 0 25 0 1 0 25250121 475402240 115307 1992294400 134512640 135752675 4290055504 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 116065 115307 146 303 0 115760 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 464260 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27226 /proc/meminfo: memFree=1167804/2059040 swapFree=4161224/4192956 [pid=27177] ppid=27175 vsize=464260 CPUtime=1800.03 /proc/27177/stat : 27177 (wbo1.4b) R 27175 27177 26709 0 -1 4202496 117586 0 0 0 179478 525 0 0 25 0 1 0 25250121 475402240 115307 1992294400 134512640 135752675 4290055504 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27177/statm: 116065 115307 146 303 0 115760 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 464260 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.55 CPU time (s): 1800.09 CPU user time (s): 1794.78 CPU system time (s): 5.30319 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 464260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.78 system time used= 5.30319 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 117586 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= 54 involuntary context switches= 3234 runsolver used 3.07253 second user time and 8.44372 second system time The end
Begin job on node007 at 2010-07-08 08:26:05 IDJOB=2702573 IDBENCH=48221 IDSOLVER=1190 FILE ID=node007/2702573-1278570365 PBS_JOBID= 11239562 Free space on /tmp= 62532 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_60_5.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702573-1278570365/watcher-2702573-1278570365 -o /tmp/evaluation-result-2702573-1278570365/solver-2702573-1278570365 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702573-1278570365.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5ebd53ca3e688df11993cbeac431dac6 RANDOM SEED=1438157366 node007.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.256 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.51 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.256 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: 1633216 kB Buffers: 87228 kB Cached: 221000 kB SwapCached: 1860 kB Active: 147712 kB Inactive: 190476 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1633216 kB SwapTotal: 4192956 kB SwapFree: 4161224 kB Dirty: 3176 kB Writeback: 0 kB AnonPages: 28220 kB Mapped: 13172 kB Slab: 65700 kB PageTables: 4228 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181836 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702573-1278570365.opb Free space on /tmp at the end= 62528 MiB End job on node007 at 2010-07-08 08:56:08