Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.11 | 1800.54 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_4.opb |
MD5SUM | 468c9636f2c99e512d4c3bca04b78033 |
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.1 |
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 | 106 |
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) | 37458 |
Sum of products size (including duplicates) | 74916 |
Number of different products | 18729 |
Sum of products size | 37458 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702535-1278569445.opb. 0.00/0.00 c Instance file HOME/instance-2702535-1278569445.opb 0.00/0.00 c File size is 1614932 bytes. 0.19/0.27 c Highest Coefficient sum: 106 0.19/0.27 c ============================[ Problem Statistics ]============================= 0.19/0.27 c | | 0.19/0.27 c | Parsing time: 0.25 s | 0.19/0.27 c | Number Variables: 19229 | 0.19/0.27 c | Number Clauses: 18729 | 0.19/0.27 c | Number Cardinality: 1000 | 0.19/0.27 c | Number PB Constraints: 18729 | 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 38458 92925 | 12819 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.321951 s Remaining CPU time: 179.678 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 500 38459 93425 | 12819 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.329949 s Remaining CPU time: 179.67 s 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 500 38460 93925 | 12820 0 nan | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c New solution: -2 0.29/0.36 o -2 0.29/0.36 c Elapsed CPU time: 0.336948 s Remaining CPU time: 179.663 s 0.29/0.36 c =============================================================================== 0.29/0.36 c | 0 | 500 38461 94425 | 12820 0 nan | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c New solution: -3 0.29/0.37 o -3 0.29/0.37 c Elapsed CPU time: 0.342947 s Remaining CPU time: 179.657 s 0.29/0.37 c =============================================================================== 0.29/0.37 c | 1 | 500 38462 94925 | 12820 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.349946 s Remaining CPU time: 179.65 s 0.29/0.37 c =============================================================================== 0.29/0.37 c | 4 | 500 38463 95425 | 12821 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.357945 s Remaining CPU time: 179.642 s 0.29/0.38 c =============================================================================== 0.29/0.38 c | 6 | 500 38464 95925 | 12821 6 497 | 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.364944 s Remaining CPU time: 179.635 s 0.29/0.39 c =============================================================================== 0.29/0.39 c | 9 | 500 38465 96425 | 12821 9 497 | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c New solution: -7 0.39/0.40 o -7 0.39/0.40 c Elapsed CPU time: 0.373943 s Remaining CPU time: 179.626 s 0.39/0.40 c =============================================================================== 0.39/0.40 c | 26 | 500 38466 96925 | 12822 26 496 | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c New solution: -8 0.39/0.41 o -8 0.39/0.41 c Elapsed CPU time: 0.381941 s Remaining CPU time: 179.618 s 0.39/0.41 c =============================================================================== 0.39/0.41 c | 34 | 500 38467 97425 | 12822 34 495 | 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.395939 s Remaining CPU time: 179.604 s 0.39/0.42 c =============================================================================== 0.39/0.42 c | 80 | 500 38468 97925 | 12822 80 496 | 0.000 % | 0.39/0.44 c | 181 | 500 38468 97925 | 14104 181 495 | 97.400 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c New solution: -10 0.39/0.46 o -10 0.39/0.46 c Elapsed CPU time: 0.432934 s Remaining CPU time: 179.567 s 0.39/0.46 c =============================================================================== 0.39/0.46 c | 266 | 500 38469 98425 | 12823 266 495 | 97.400 % | 0.39/0.49 c | 367 | 500 38469 98425 | 14105 367 496 | 97.400 % | 0.49/0.51 c | 517 | 500 38469 98425 | 15515 517 496 | 97.400 % | 0.49/0.58 c | 744 | 500 38469 98425 | 17067 744 497 | 97.400 % | 0.59/0.60 c =============================================================================== 0.59/0.60 c New solution: -11 0.59/0.60 o -11 0.59/0.60 c Elapsed CPU time: 0.567913 s Remaining CPU time: 179.432 s 0.59/0.60 c =============================================================================== 0.59/0.60 c | 803 | 500 38470 98925 | 12823 803 497 | 97.400 % | 0.59/0.63 c | 904 | 500 38470 98925 | 14105 904 497 | 97.400 % | 0.59/0.67 c | 1056 | 500 38470 98925 | 15516 1056 499 | 97.400 % | 0.68/0.72 c | 1282 | 500 38470 98925 | 17067 1282 500 | 97.400 % | 0.68/0.78 c =============================================================================== 0.68/0.78 c New solution: -12 0.68/0.78 o -12 0.68/0.78 c Elapsed CPU time: 0.738887 s Remaining CPU time: 179.261 s 0.68/0.78 c =============================================================================== 0.68/0.78 c | 1449 | 500 38471 99425 | 12823 1449 499 | 97.400 % | 0.79/0.84 c | 1552 | 500 38471 99425 | 14106 1552 499 | 97.400 % | 0.89/0.91 c | 1706 | 500 38471 99425 | 15516 1706 499 | 97.400 % | 1.00/1.03 c | 1931 | 500 38471 99425 | 17068 1931 499 | 97.400 % | 1.00/1.07 c =============================================================================== 1.00/1.07 c New solution: -13 1.00/1.07 o -13 1.00/1.07 c Elapsed CPU time: 1.02484 s Remaining CPU time: 178.975 s 1.00/1.07 c =============================================================================== 1.00/1.07 c | 2029 | 500 38472 99925 | 12824 2029 499 | 97.400 % | 1.09/1.12 c | 2133 | 500 38472 99925 | 14106 2133 499 | 97.400 % | 1.19/1.23 c | 2283 | 500 38472 99925 | 15517 2283 499 | 97.400 % | 1.29/1.38 c | 2509 | 500 38472 99925 | 17068 2509 500 | 97.400 % | 1.48/1.60 c | 2849 | 500 38472 99925 | 18775 2849 503 | 97.400 % | 1.89/1.94 c | 3357 | 500 38472 99925 | 20653 3357 503 | 97.400 % | 2.29/2.39 c | 4117 | 500 38472 99925 | 22718 4117 503 | 97.400 % | 3.09/3.12 c =============================================================================== 3.09/3.12 c New solution: -14 3.09/3.12 o -14 3.09/3.12 c Elapsed CPU time: 3.05654 s Remaining CPU time: 176.943 s 3.09/3.12 c =============================================================================== 3.09/3.12 c | 5182 | 500 38473 100425 | 12824 5182 501 | 97.400 % | 3.09/3.17 c | 5282 | 500 38473 100425 | 14106 5282 501 | 97.400 % | 3.30/3.33 c | 5434 | 500 38473 100425 | 15517 5434 501 | 97.400 % | 3.39/3.49 c | 5661 | 500 38473 100425 | 17069 5661 500 | 97.400 % | 3.89/3.90 c | 5999 | 500 38473 100425 | 18776 5999 500 | 97.400 % | 4.39/4.48 c | 6507 | 500 38473 100425 | 20653 6507 499 | 97.400 % | 5.49/5.59 c | 7266 | 500 38473 100425 | 22719 7266 498 | 97.400 % | 7.29/7.38 c =============================================================================== 7.29/7.38 c New solution: -15 7.29/7.38 o -15 7.29/7.38 c Elapsed CPU time: 7.29489 s Remaining CPU time: 172.705 s 7.29/7.38 c =============================================================================== 7.29/7.38 c | 8379 | 500 38474 100925 | 12824 8379 497 | 97.400 % | 7.60/7.64 c | 8480 | 500 38474 100925 | 14107 8480 497 | 97.400 % | 7.98/8.08 c | 8631 | 500 38474 100925 | 15517 8631 497 | 97.400 % | 8.38/8.47 c | 8858 | 500 38474 100925 | 17069 8858 498 | 97.400 % | 9.19/9.29 c | 9195 | 500 38474 100925 | 18776 9195 498 | 97.400 % | 10.29/10.34 c | 9705 | 500 38474 100925 | 20654 9705 499 | 97.400 % | 12.29/12.40 c | 10466 | 500 38474 100925 | 22719 10466 502 | 97.400 % | 15.08/15.11 c | 11606 | 500 38474 100925 | 24991 11606 501 | 97.400 % | 18.60/18.69 c | 13315 | 500 38474 100925 | 27490 13315 502 | 97.400 % | 27.49/27.58 c | 15877 | 500 38474 100925 | 30239 15877 502 | 97.400 % | 42.38/42.45 c =============================================================================== 42.38/42.45 c New solution: -16 42.38/42.45 o -16 42.38/42.45 c Elapsed CPU time: 42.2526 s Remaining CPU time: 137.747 s 42.38/42.45 c =============================================================================== 42.38/42.45 c | 19069 | 500 38475 101425 | 12825 19069 500 | 97.400 % | 42.98/43.05 c | 19170 | 500 38475 101425 | 14107 19170 500 | 97.400 % | 43.78/43.84 c | 19322 | 500 38475 101425 | 15518 19322 500 | 97.400 % | 45.28/45.31 c | 19547 | 500 38475 101425 | 17070 19547 499 | 97.400 % | 47.07/47.11 c | 19884 | 500 38475 101425 | 18777 19884 499 | 97.400 % | 50.67/50.73 c | 20391 | 500 38475 101425 | 20654 20391 499 | 97.400 % | 56.58/56.68 c | 21153 | 500 38475 101425 | 22720 21153 499 | 97.400 % | 64.78/64.80 c | 22293 | 500 38475 101425 | 24992 22293 498 | 97.400 % | 67.87/67.91 c =============================================================================== 67.87/67.91 c New solution: -17 67.87/67.91 o -17 67.87/67.91 c Elapsed CPU time: 67.6617 s Remaining CPU time: 112.338 s 67.87/67.91 c =============================================================================== 67.87/67.91 c | 22855 | 500 38476 101925 | 12825 22855 498 | 97.400 % | 68.68/68.73 c | 22955 | 500 38476 101925 | 14107 22955 498 | 97.400 % | 69.68/69.79 c | 23106 | 500 38476 101925 | 15518 23106 498 | 97.400 % | 71.38/71.40 c | 23332 | 500 38476 101925 | 17070 23332 499 | 97.400 % | 72.58/72.62 c | 23669 | 500 38476 101925 | 18777 23669 499 | 97.400 % | 75.67/75.78 c | 24176 | 500 38476 101925 | 20655 24176 499 | 97.400 % | 81.28/81.34 c | 24936 | 500 38476 101925 | 22720 24936 499 | 97.400 % | 85.47/85.57 c | 26076 | 500 38476 101925 | 24992 26076 499 | 97.400 % | 90.07/90.16 c =============================================================================== 90.07/90.16 c New solution: -18 90.07/90.16 o -18 90.07/90.16 c Elapsed CPU time: 89.8523 s Remaining CPU time: 90.1477 s 90.07/90.16 c =============================================================================== 90.07/90.16 c | 26929 | 500 38477 102425 | 12825 26929 499 | 97.400 % | 90.47/90.60 c | 27029 | 500 38477 102425 | 14108 27029 499 | 97.400 % | 90.96/91.01 c | 27179 | 500 38477 102425 | 15519 27179 498 | 97.400 % | 92.07/92.18 c | 27405 | 500 38477 102425 | 17070 27405 498 | 97.400 % | 93.26/93.35 c | 27743 | 500 38477 102425 | 18778 27743 498 | 97.400 % | 93.37/93.47 c =============================================================================== 93.37/93.47 c New solution: -19 93.37/93.47 o -19 93.37/93.47 c Elapsed CPU time: 93.1458 s Remaining CPU time: 86.8542 s 93.37/93.47 c =============================================================================== 93.37/93.47 c | 27790 | 500 38478 102925 | 12826 27790 498 | 97.400 % | 93.77/93.85 c | 27891 | 500 38478 102925 | 14108 27891 498 | 97.400 % | 94.47/94.50 c | 28043 | 500 38478 102925 | 15519 28043 498 | 97.400 % | 95.26/95.34 c | 28271 | 500 38478 102925 | 17071 28271 498 | 97.400 % | 96.77/96.82 c | 28609 | 500 38478 102925 | 18778 28609 498 | 97.400 % | 98.47/98.56 c =============================================================================== 98.47/98.56 c New solution: -20 98.47/98.56 o -20 98.47/98.56 c Elapsed CPU time: 98.2231 s Remaining CPU time: 81.7769 s 98.47/98.56 c =============================================================================== 98.47/98.56 c | 29039 | 500 38479 103425 | 12826 29039 499 | 97.400 % | 98.87/98.99 c | 29142 | 500 38479 103425 | 14108 29142 499 | 97.400 % | 99.46/99.57 c | 29292 | 500 38479 103425 | 15519 29292 499 | 97.400 % | 101.18/101.24 c | 29517 | 500 38479 103425 | 17071 29517 499 | 97.400 % | 103.28/103.40 c | 29854 | 500 38479 103425 | 18779 29854 499 | 97.400 % | 105.47/105.50 c | 30360 | 500 38479 103425 | 20656 30360 499 | 97.400 % | 108.67/108.70 c | 31120 | 500 38479 103425 | 22722 31120 499 | 97.400 % | 112.26/112.33 c | 32260 | 500 38479 103425 | 24994 32260 498 | 97.400 % | 121.06/121.15 c | 33968 | 500 38479 103425 | 27494 33968 498 | 97.400 % | 136.65/136.77 c | 36533 | 500 38479 103425 | 30243 36533 497 | 97.400 % | 164.15/164.22 c | 40377 | 500 38479 103425 | 33268 40377 496 | 97.400 % | 180.44/180.51 c There are 18729 assigned variables. 0 in cost function. 182.34/182.40 c core #1 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -499 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #2 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -498 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #3 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -497 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #4 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -496 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #5 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -495 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #6 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -494 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #7 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -493 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #8 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -492 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #9 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -491 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #10 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -490 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #11 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -489 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #12 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -488 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #13 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -487 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #14 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -486 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #15 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -485 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #16 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -484 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #17 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -483 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #18 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -482 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #19 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -481 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #20 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -480 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #21 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -479 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #22 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -478 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #23 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -477 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #24 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -476 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #25 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -475 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #26 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -474 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #27 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -473 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #28 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -472 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #29 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -471 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #30 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -470 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #31 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -469 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #32 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -468 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #33 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -467 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #34 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -466 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #35 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -465 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #36 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -464 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #37 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -463 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #38 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -462 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #39 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -461 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #40 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -460 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #41 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -459 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #42 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -458 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #43 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -457 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #44 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -456 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #45 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -455 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #46 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -454 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #47 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -453 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #48 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -452 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #49 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -451 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #50 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -450 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #51 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -449 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #52 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -448 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #53 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -447 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #54 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -446 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #55 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -445 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #56 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -444 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #57 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -443 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #58 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -442 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #59 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -441 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #60 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -440 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #61 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -439 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #62 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -438 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #63 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -437 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #64 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -436 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #65 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -435 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #66 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -434 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #67 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -433 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #68 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -432 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #69 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -431 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #70 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -430 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #71 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -429 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #72 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -428 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #73 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -427 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #74 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -426 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #75 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -425 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #76 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -424 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #77 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -423 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #78 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -422 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #79 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -421 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #80 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -420 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #81 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -419 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #82 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -418 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #83 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -417 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #84 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -416 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #85 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -415 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #86 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -414 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #87 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -413 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #88 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -412 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #89 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -411 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #90 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -410 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #91 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -409 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #92 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -408 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #93 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -407 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #94 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -406 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #95 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -405 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #96 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -404 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #97 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -403 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #98 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -402 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #99 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -401 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #100 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -400 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #101 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -399 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #102 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -398 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #103 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -397 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #104 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -396 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #105 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -395 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #106 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -394 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #107 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -393 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #108 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -392 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #109 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -391 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #110 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -390 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #111 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -389 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #112 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -388 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #113 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -387 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #114 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -386 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #115 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -385 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #116 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -384 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #117 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 3 Core Weight: 1 Total Weight: -383 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #118 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -382 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #119 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -381 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #120 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -380 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #121 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -379 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #122 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -378 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #123 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -377 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #124 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -376 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #125 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -375 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #126 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -374 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #127 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -373 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #128 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -372 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #129 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -371 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #130 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -370 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #131 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -369 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #132 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -368 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #133 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -367 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #134 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -366 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #135 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -365 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #136 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -364 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #137 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -363 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #138 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -362 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #139 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -361 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #140 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -360 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #141 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -359 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #142 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -358 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #143 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -357 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #144 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -356 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #145 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -355 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #146 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -354 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #147 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -353 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #148 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -352 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #149 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -351 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #150 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -350 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #151 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -349 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #152 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -348 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #153 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -347 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #154 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -346 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #155 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -345 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #156 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -344 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #157 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -343 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #158 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -342 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #159 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -341 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #160 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -340 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #161 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -339 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #162 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -338 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #163 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -337 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #164 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -336 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #165 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -335 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #166 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -334 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #167 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -333 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #168 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -332 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #169 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -331 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #170 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -330 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #171 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -329 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #172 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -328 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #173 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -327 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #174 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -326 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c core #175 186.54/186.69 c 186.54/186.69 c 186.54/186.69 c Core size: 3 Core Weight: 1 Total Weight: -325 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #176 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -324 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #177 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -323 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #178 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -322 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #179 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -321 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #180 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -320 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #181 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -319 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #182 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -318 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #183 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -317 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #184 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -316 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #185 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -315 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #186 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -314 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #187 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -313 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #188 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -312 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #189 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -311 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #190 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -310 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #191 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -309 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #192 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -308 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #193 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -307 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #194 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -306 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #195 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -305 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #196 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -304 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #197 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -303 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #198 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -302 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #199 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -301 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #200 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -300 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #201 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -299 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #202 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -298 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #203 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -297 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #204 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -296 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #205 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -295 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #206 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -294 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #207 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -293 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #208 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -292 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #209 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -291 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #210 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -290 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #211 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -289 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #212 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -288 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #213 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -287 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #214 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -286 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #215 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -285 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #216 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -284 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #217 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -283 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #218 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -282 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #219 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -281 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #220 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -280 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #221 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -279 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #222 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -278 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #223 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -277 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #224 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -276 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #225 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -275 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #226 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -274 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #227 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -273 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #228 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -272 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #229 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -271 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #230 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -270 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #231 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -269 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #232 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -268 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c core #233 189.15/189.25 c 189.15/189.25 c 189.15/189.25 c Core size: 3 Core Weight: 1 Total Weight: -267 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c core #234 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c Core size: 3 Core Weight: 1 Total Weight: -266 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c core #235 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c Core size: 3 Core Weight: 1 Total Weight: -265 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c core #236 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c Core size: 3 Core Weight: 1 Total Weight: -264 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c core #237 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c Core size: 3 Core Weight: 1 Total Weight: -263 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c core #238 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c Core size: 3 Core Weight: 1 Total Weight: -262 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c core #239 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c Core size: 3 Core Weight: 1 Total Weight: -261 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c core #240 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c Core size: 3 Core Weight: 1 Total Weight: -260 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c core #241 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c Core size: 3 Core Weight: 1 Total Weight: -259 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c core #242 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c Core size: 3 Core Weight: 1 Total Weight: -258 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c core #243 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c Core size: 3 Core Weight: 1 Total Weight: -257 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c core #244 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c Core size: 3 Core Weight: 1 Total Weight: -256 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c core #245 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c Core size: 3 Core Weight: 1 Total Weight: -255 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c core #246 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c Core size: 7 Core Weight: 1 Total Weight: -254 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c core #247 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c Core size: 7 Core Weight: 1 Total Weight: -253 190.04/190.16 c 190.04/190.16 c 190.04/190.16 c core #248 190.04/190.16 c 190.04/190.16 c 190.04/190.16 c Core size: 7 Core Weight: 1 Total Weight: -252 190.04/190.16 c 190.04/190.16 c 190.04/190.16 c core #249 190.04/190.16 c 190.04/190.16 c 190.04/190.16 c Core size: 11 Core Weight: 1 Total Weight: -251 190.04/190.16 c 190.04/190.16 c 190.04/190.16 c core #250 190.04/190.16 c 190.04/190.16 c 190.04/190.16 c Core size: 6 Core Weight: 1 Total Weight: -250 190.04/190.16 c 190.04/190.16 c 190.04/190.16 c core #251 190.04/190.16 c 190.04/190.16 c 190.04/190.16 c Core size: 18 Core Weight: 1 Total Weight: -249 190.04/190.16 c 190.04/190.16 c 190.04/190.16 c ============================[ Search Statistics ]============================== 190.04/190.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.04/190.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.04/190.16 c =============================================================================== 190.04/190.16 c | 0 | 1020 38230 49498 | 12743 0 nan | 0.000 % | 190.04/190.16 c =============================================================================== 190.15/190.21 c core #252 190.15/190.21 c 190.15/190.21 c 190.15/190.21 c Core size: 10 Core Weight: 1 Total Weight: -248 190.15/190.21 c 190.15/190.21 c 190.15/190.21 c ============================[ Search Statistics ]============================== 190.15/190.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.15/190.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.15/190.21 c =============================================================================== 190.15/190.21 c | 0 | 1026 38231 49510 | 12743 0 nan | 0.000 % | 190.15/190.21 c =============================================================================== 190.15/190.26 c core #253 190.15/190.26 c 190.15/190.26 c 190.15/190.26 c Core size: 10 Core Weight: 1 Total Weight: -247 190.15/190.26 c 190.15/190.26 c 190.15/190.26 c ============================[ Search Statistics ]============================== 190.15/190.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.15/190.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.15/190.26 c =============================================================================== 190.15/190.26 c | 0 | 1032 38232 49522 | 12744 0 nan | 0.000 % | 190.15/190.26 c =============================================================================== 190.25/190.31 c core #254 190.25/190.31 c 190.25/190.31 c 190.25/190.31 c Core size: 10 Core Weight: 1 Total Weight: -246 190.25/190.31 c 190.25/190.31 c 190.25/190.31 c ============================[ Search Statistics ]============================== 190.25/190.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.25/190.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.25/190.31 c =============================================================================== 190.25/190.31 c | 0 | 1038 38233 49534 | 12744 0 nan | 0.000 % | 190.25/190.31 c =============================================================================== 190.25/190.36 c core #255 190.25/190.36 c 190.25/190.36 c 190.25/190.36 c Core size: 10 Core Weight: 1 Total Weight: -245 190.25/190.36 c 190.25/190.36 c 190.25/190.36 c ============================[ Search Statistics ]============================== 190.25/190.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.25/190.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.25/190.36 c =============================================================================== 190.25/190.36 c | 0 | 1044 38234 49546 | 12744 0 nan | 0.000 % | 190.25/190.37 c =============================================================================== 190.34/190.42 c core #256 190.34/190.42 c 190.34/190.42 c 190.34/190.42 c Core size: 10 Core Weight: 1 Total Weight: -244 190.34/190.42 c 190.34/190.42 c 190.34/190.42 c ============================[ Search Statistics ]============================== 190.34/190.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.34/190.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.34/190.42 c =============================================================================== 190.34/190.42 c | 0 | 1050 38235 49558 | 12745 0 nan | 0.000 % | 190.34/190.42 c =============================================================================== 190.34/190.47 c core #257 190.34/190.47 c 190.34/190.47 c 190.34/190.47 c Core size: 10 Core Weight: 1 Total Weight: -243 190.34/190.47 c 190.34/190.47 c 190.34/190.47 c ============================[ Search Statistics ]============================== 190.34/190.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.34/190.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.34/190.47 c =============================================================================== 190.34/190.47 c | 0 | 1056 38236 49570 | 12745 0 nan | 0.000 % | 190.34/190.48 c =============================================================================== 190.44/190.53 c core #258 190.44/190.53 c 190.44/190.53 c 190.44/190.53 c Core size: 10 Core Weight: 1 Total Weight: -242 190.44/190.53 c 190.44/190.53 c 190.44/190.53 c ============================[ Search Statistics ]============================== 190.44/190.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.44/190.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.44/190.53 c =============================================================================== 190.44/190.53 c | 0 | 1062 38237 49582 | 12745 0 nan | 0.000 % | 190.44/190.54 c =============================================================================== 190.44/190.58 c core #259 190.44/190.58 c 190.44/190.58 c 190.44/190.58 c Core size: 10 Core Weight: 1 Total Weight: -241 190.44/190.58 c 190.44/190.58 c 190.44/190.58 c ============================[ Search Statistics ]============================== 190.44/190.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.44/190.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.44/190.58 c =============================================================================== 190.44/190.58 c | 0 | 1068 38238 49594 | 12746 0 nan | 0.000 % | 190.44/190.59 c =============================================================================== 190.54/190.64 c core #260 190.54/190.64 c 190.54/190.64 c 190.54/190.64 c Core size: 10 Core Weight: 1 Total Weight: -240 190.54/190.64 c 190.54/190.64 c 190.54/190.64 c ============================[ Search Statistics ]============================== 190.54/190.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.54/190.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.54/190.64 c =============================================================================== 190.54/190.64 c | 0 | 1074 38239 49606 | 12746 0 nan | 0.000 % | 190.54/190.65 c =============================================================================== 190.64/190.70 c core #261 190.64/190.70 c 190.64/190.70 c 190.64/190.70 c Core size: 10 Core Weight: 1 Total Weight: -239 190.64/190.70 c 190.64/190.70 c 190.64/190.70 c ============================[ Search Statistics ]============================== 190.64/190.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.64/190.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.64/190.70 c =============================================================================== 190.64/190.70 c | 0 | 1080 38240 49618 | 12746 0 nan | 0.000 % | 190.64/190.70 c =============================================================================== 190.64/190.75 c core #262 190.64/190.75 c 190.64/190.75 c 190.64/190.75 c Core size: 10 Core Weight: 1 Total Weight: -238 190.64/190.75 c 190.64/190.75 c 190.64/190.75 c ============================[ Search Statistics ]============================== 190.64/190.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.64/190.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.64/190.75 c =============================================================================== 190.64/190.75 c | 0 | 1086 38241 49630 | 12747 0 nan | 0.000 % | 190.64/190.76 c =============================================================================== 190.74/190.81 c core #263 190.74/190.81 c 190.74/190.81 c 190.74/190.81 c Core size: 10 Core Weight: 1 Total Weight: -237 190.74/190.81 c 190.74/190.81 c 190.74/190.81 c ============================[ Search Statistics ]============================== 190.74/190.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.74/190.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.74/190.81 c =============================================================================== 190.74/190.81 c | 0 | 1092 38242 49642 | 12747 0 nan | 0.000 % | 190.74/190.82 c =============================================================================== 190.74/190.87 c core #264 190.74/190.87 c 190.74/190.87 c 190.74/190.87 c Core size: 10 Core Weight: 1 Total Weight: -236 190.74/190.87 c 190.74/190.87 c 190.74/190.87 c ============================[ Search Statistics ]============================== 190.74/190.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.74/190.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.74/190.87 c =============================================================================== 190.74/190.87 c | 0 | 1098 38243 49654 | 12747 0 nan | 0.000 % | 190.74/190.87 c =============================================================================== 190.84/190.92 c core #265 190.84/190.92 c 190.84/190.92 c 190.84/190.92 c Core size: 10 Core Weight: 1 Total Weight: -235 190.84/190.92 c 190.84/190.92 c 190.84/190.92 c ============================[ Search Statistics ]============================== 190.84/190.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.84/190.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.84/190.92 c =============================================================================== 190.84/190.92 c | 0 | 1104 38244 49666 | 12748 0 nan | 0.000 % | 190.84/190.93 c =============================================================================== 190.84/190.98 c core #266 190.84/190.98 c 190.84/190.98 c 190.84/190.98 c Core size: 10 Core Weight: 1 Total Weight: -234 190.84/190.98 c 190.84/190.98 c 190.84/190.98 c ============================[ Search Statistics ]============================== 190.84/190.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.84/190.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.84/190.98 c =============================================================================== 190.84/190.98 c | 0 | 1110 38245 49678 | 12748 0 nan | 0.000 % | 190.84/190.98 c =============================================================================== 190.94/191.03 c core #267 190.94/191.03 c 190.94/191.03 c 190.94/191.03 c Core size: 10 Core Weight: 1 Total Weight: -233 190.94/191.03 c 190.94/191.03 c 190.94/191.03 c ============================[ Search Statistics ]============================== 190.94/191.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.94/191.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.94/191.03 c =============================================================================== 190.94/191.03 c | 0 | 1116 38246 49690 | 12748 0 nan | 0.000 % | 190.94/191.04 c =============================================================================== 190.94/191.09 c core #268 190.94/191.09 c 190.94/191.09 c 190.94/191.09 c Core size: 10 Core Weight: 1 Total Weight: -232 190.94/191.09 c 190.94/191.09 c 190.94/191.09 c ============================[ Search Statistics ]============================== 190.94/191.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.94/191.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.94/191.09 c =============================================================================== 190.94/191.09 c | 0 | 1122 38247 49702 | 12749 0 nan | 0.000 % | 190.94/191.10 c =============================================================================== 191.04/191.14 c core #269 191.04/191.14 c 191.04/191.14 c 191.04/191.14 c Core size: 10 Core Weight: 1 Total Weight: -231 191.04/191.14 c 191.04/191.14 c 191.04/191.14 c ============================[ Search Statistics ]============================== 191.04/191.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.04/191.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.04/191.14 c =============================================================================== 191.04/191.14 c | 0 | 1128 38248 49714 | 12749 0 nan | 0.000 % | 191.04/191.15 c =============================================================================== 191.14/191.20 c core #270 191.14/191.20 c 191.14/191.20 c 191.14/191.20 c Core size: 10 Core Weight: 1 Total Weight: -230 191.14/191.20 c 191.14/191.20 c 191.14/191.20 c ============================[ Search Statistics ]============================== 191.14/191.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.14/191.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.14/191.20 c =============================================================================== 191.14/191.20 c | 0 | 1134 38249 49726 | 12749 0 nan | 0.000 % | 191.14/191.21 c =============================================================================== 191.14/191.26 c core #271 191.14/191.26 c 191.14/191.26 c 191.14/191.26 c Core size: 10 Core Weight: 1 Total Weight: -229 191.14/191.26 c 191.14/191.26 c 191.14/191.26 c ============================[ Search Statistics ]============================== 191.14/191.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.14/191.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.14/191.26 c =============================================================================== 191.14/191.26 c | 0 | 1140 38250 49738 | 12750 0 nan | 0.000 % | 191.14/191.26 c =============================================================================== 191.25/191.31 c core #272 191.25/191.31 c 191.25/191.31 c 191.25/191.31 c Core size: 10 Core Weight: 1 Total Weight: -228 191.25/191.31 c 191.25/191.31 c 191.25/191.31 c ============================[ Search Statistics ]============================== 191.25/191.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.25/191.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.25/191.31 c =============================================================================== 191.25/191.31 c | 0 | 1146 38251 49750 | 12750 0 nan | 0.000 % | 191.25/191.32 c =============================================================================== 191.25/191.37 c core #273 191.25/191.37 c 191.25/191.37 c 191.25/191.37 c Core size: 10 Core Weight: 1 Total Weight: -227 191.25/191.37 c 191.25/191.37 c 191.25/191.37 c ============================[ Search Statistics ]============================== 191.25/191.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.25/191.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.25/191.37 c =============================================================================== 191.25/191.37 c | 0 | 1152 38252 49762 | 12750 0 nan | 0.000 % | 191.25/191.37 c =============================================================================== 191.35/191.42 c core #274 191.35/191.42 c 191.35/191.42 c 191.35/191.42 c Core size: 10 Core Weight: 1 Total Weight: -226 191.35/191.42 c 191.35/191.42 c 191.35/191.42 c ============================[ Search Statistics ]============================== 191.35/191.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.35/191.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.35/191.42 c =============================================================================== 191.35/191.42 c | 0 | 1158 38253 49774 | 12751 0 nan | 0.000 % | 191.35/191.43 c =============================================================================== 191.35/191.48 c core #275 191.35/191.48 c 191.35/191.48 c 191.35/191.48 c Core size: 10 Core Weight: 1 Total Weight: -225 191.35/191.48 c 191.35/191.48 c 191.35/191.48 c ============================[ Search Statistics ]============================== 191.35/191.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.35/191.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.35/191.48 c =============================================================================== 191.35/191.48 c | 0 | 1164 38254 49786 | 12751 0 nan | 0.000 % | 191.35/191.48 c =============================================================================== 191.44/191.53 c core #276 191.44/191.53 c 191.44/191.53 c 191.44/191.53 c Core size: 10 Core Weight: 1 Total Weight: -224 191.44/191.53 c 191.44/191.53 c 191.44/191.53 c ============================[ Search Statistics ]============================== 191.44/191.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.44/191.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.44/191.53 c =============================================================================== 191.44/191.53 c | 0 | 1170 38255 49798 | 12751 0 nan | 0.000 % | 191.44/191.54 c =============================================================================== 191.44/191.59 c core #277 191.44/191.59 c 191.44/191.59 c 191.44/191.59 c Core size: 10 Core Weight: 1 Total Weight: -223 191.44/191.59 c 191.44/191.59 c 191.44/191.59 c ============================[ Search Statistics ]============================== 191.44/191.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.44/191.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.44/191.59 c =============================================================================== 191.44/191.59 c | 0 | 1176 38256 49810 | 12752 0 nan | 0.000 % | 191.44/191.60 c =============================================================================== 191.54/191.65 c core #278 191.54/191.65 c 191.54/191.65 c 191.54/191.65 c Core size: 10 Core Weight: 1 Total Weight: -222 191.54/191.65 c 191.54/191.65 c 191.54/191.65 c ============================[ Search Statistics ]============================== 191.54/191.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.54/191.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.54/191.65 c =============================================================================== 191.54/191.65 c | 0 | 1182 38257 49822 | 12752 0 nan | 0.000 % | 191.54/191.65 c =============================================================================== 191.64/191.70 c core #279 191.64/191.70 c 191.64/191.70 c 191.64/191.70 c Core size: 10 Core Weight: 1 Total Weight: -221 191.64/191.70 c 191.64/191.70 c 191.64/191.70 c ============================[ Search Statistics ]============================== 191.64/191.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.64/191.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.64/191.70 c =============================================================================== 191.64/191.70 c | 0 | 1188 38258 49834 | 12752 0 nan | 0.000 % | 191.64/191.71 c =============================================================================== 191.64/191.76 c core #280 191.64/191.76 c 191.64/191.76 c 191.64/191.76 c Core size: 10 Core Weight: 1 Total Weight: -220 191.64/191.76 c 191.64/191.76 c 191.64/191.76 c ============================[ Search Statistics ]============================== 191.64/191.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.64/191.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.64/191.76 c =============================================================================== 191.64/191.76 c | 0 | 1194 38259 49846 | 12753 0 nan | 0.000 % | 191.64/191.76 c =============================================================================== 191.74/191.81 c core #281 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c Core size: 10 Core Weight: 1 Total Weight: -219 191.74/191.81 c 191.74/191.81 c 191.74/191.81 c ============================[ Search Statistics ]============================== 191.74/191.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.74/191.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.74/191.81 c =============================================================================== 191.74/191.81 c | 0 | 1200 38260 49858 | 12753 0 nan | 0.000 % | 191.74/191.82 c =============================================================================== 191.74/191.87 c core #282 191.74/191.87 c 191.74/191.87 c 191.74/191.87 c Core size: 10 Core Weight: 1 Total Weight: -218 191.74/191.87 c 191.74/191.87 c 191.74/191.87 c ============================[ Search Statistics ]============================== 191.74/191.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.74/191.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.74/191.87 c =============================================================================== 191.74/191.87 c | 0 | 1206 38261 49870 | 12753 0 nan | 0.000 % | 191.74/191.88 c =============================================================================== 191.85/191.93 c core #283 191.85/191.93 c 191.85/191.93 c 191.85/191.93 c Core size: 10 Core Weight: 1 Total Weight: -217 191.85/191.93 c 191.85/191.93 c 191.85/191.93 c ============================[ Search Statistics ]============================== 191.85/191.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.85/191.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.85/191.93 c =============================================================================== 191.85/191.93 c | 0 | 1212 38262 49882 | 12754 0 nan | 0.000 % | 191.85/191.93 c =============================================================================== 191.85/191.98 c core #284 191.85/191.98 c 191.85/191.98 c 191.85/191.98 c Core size: 10 Core Weight: 1 Total Weight: -216 191.85/191.98 c 191.85/191.98 c 191.85/191.98 c ============================[ Search Statistics ]============================== 191.85/191.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.85/191.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.85/191.98 c =============================================================================== 191.85/191.98 c | 0 | 1218 38263 49894 | 12754 0 nan | 0.000 % | 191.85/191.99 c =============================================================================== 191.94/192.04 c core #285 191.94/192.04 c 191.94/192.04 c 191.94/192.04 c Core size: 10 Core Weight: 1 Total Weight: -215 191.94/192.04 c 191.94/192.04 c 191.94/192.04 c ============================[ Search Statistics ]============================== 191.94/192.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.94/192.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.94/192.04 c =============================================================================== 191.94/192.04 c | 0 | 1224 38264 49906 | 12754 0 nan | 0.000 % | 191.94/192.04 c =============================================================================== 192.04/192.10 c core #286 192.04/192.10 c 192.04/192.10 c 192.04/192.10 c Core size: 10 Core Weight: 1 Total Weight: -214 192.04/192.10 c 192.04/192.10 c 192.04/192.10 c ============================[ Search Statistics ]============================== 192.04/192.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.04/192.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.04/192.10 c =============================================================================== 192.04/192.10 c | 0 | 1230 38265 49918 | 12755 0 nan | 0.000 % | 192.04/192.10 c =============================================================================== 192.04/192.15 c core #287 192.04/192.15 c 192.04/192.15 c 192.04/192.15 c Core size: 10 Core Weight: 1 Total Weight: -213 192.04/192.15 c 192.04/192.15 c 192.04/192.15 c ============================[ Search Statistics ]============================== 192.04/192.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.04/192.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.04/192.15 c =============================================================================== 192.04/192.15 c | 0 | 1236 38266 49930 | 12755 0 nan | 0.000 % | 192.04/192.16 c =============================================================================== 192.14/192.21 c core #288 192.14/192.21 c 192.14/192.21 c 192.14/192.21 c Core size: 10 Core Weight: 1 Total Weight: -212 192.14/192.21 c 192.14/192.21 c 192.14/192.21 c ============================[ Search Statistics ]============================== 192.14/192.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.14/192.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.14/192.21 c =============================================================================== 192.14/192.21 c | 0 | 1242 38267 49942 | 12755 0 nan | 0.000 % | 192.14/192.22 c =============================================================================== 192.14/192.27 c core #289 192.14/192.27 c 192.14/192.27 c 192.14/192.27 c Core size: 10 Core Weight: 1 Total Weight: -211 192.14/192.27 c 192.14/192.27 c 192.14/192.27 c ============================[ Search Statistics ]============================== 192.14/192.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.14/192.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.14/192.27 c =============================================================================== 192.14/192.27 c | 0 | 1248 38268 49954 | 12756 0 nan | 0.000 % | 192.14/192.27 c =============================================================================== 192.24/192.32 c core #290 192.24/192.32 c 192.24/192.32 c 192.24/192.32 c Core size: 10 Core Weight: 1 Total Weight: -210 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 | 1254 38269 49966 | 12756 0 nan | 0.000 % | 192.24/192.33 c =============================================================================== 192.24/192.38 c core #291 192.24/192.38 c 192.24/192.38 c 192.24/192.38 c Core size: 10 Core Weight: 1 Total Weight: -209 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 | 1260 38270 49978 | 12756 0 nan | 0.000 % | 192.24/192.39 c =============================================================================== 192.35/192.44 c core #292 192.35/192.44 c 192.35/192.44 c 192.35/192.44 c Core size: 10 Core Weight: 1 Total Weight: -208 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 | 1266 38271 49990 | 12757 0 nan | 0.000 % | 192.35/192.44 c =============================================================================== 192.35/192.50 c core #293 192.35/192.50 c 192.35/192.50 c 192.35/192.50 c Core size: 14 Core Weight: 1 Total Weight: -207 192.35/192.50 c 192.35/192.50 c 192.35/192.50 c ============================[ Search Statistics ]============================== 192.35/192.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.35/192.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.35/192.50 c =============================================================================== 192.35/192.50 c | 0 | 1274 38272 50006 | 12757 0 nan | 0.000 % | 192.35/192.50 c =============================================================================== 192.45/192.55 c core #294 192.45/192.55 c 192.45/192.55 c 192.45/192.55 c Core size: 16 Core Weight: 1 Total Weight: -206 192.45/192.55 c 192.45/192.55 c 192.45/192.55 c ============================[ Search Statistics ]============================== 192.45/192.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.45/192.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.45/192.55 c =============================================================================== 192.45/192.55 c | 0 | 1286 38273 50030 | 12757 0 nan | 0.000 % | 192.45/192.56 c =============================================================================== 192.54/192.61 c core #295 192.54/192.61 c 192.54/192.61 c 192.54/192.61 c Core size: 14 Core Weight: 1 Total Weight: -205 192.54/192.61 c 192.54/192.61 c 192.54/192.61 c ============================[ Search Statistics ]============================== 192.54/192.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.54/192.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.54/192.61 c =============================================================================== 192.54/192.61 c | 0 | 1294 38274 50046 | 12758 0 nan | 0.000 % | 192.54/192.62 c =============================================================================== 192.54/192.67 c core #296 192.54/192.67 c 192.54/192.67 c 192.54/192.67 c Core size: 12 Core Weight: 1 Total Weight: -204 192.54/192.67 c 192.54/192.67 c 192.54/192.67 c ============================[ Search Statistics ]============================== 192.54/192.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.54/192.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.54/192.67 c =============================================================================== 192.54/192.67 c | 0 | 1302 38275 50062 | 12758 0 nan | 0.000 % | 192.54/192.67 c =============================================================================== 192.64/192.72 c core #297 192.64/192.72 c 192.64/192.72 c 192.64/192.72 c Core size: 10 Core Weight: 1 Total Weight: -203 192.64/192.72 c 192.64/192.72 c 192.64/192.72 c ============================[ Search Statistics ]============================== 192.64/192.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.64/192.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.64/192.72 c =============================================================================== 192.64/192.72 c | 0 | 1308 38276 50074 | 12758 0 nan | 0.000 % | 192.64/192.73 c =============================================================================== 192.64/192.78 c core #298 192.64/192.78 c 192.64/192.78 c 192.64/192.78 c Core size: 10 Core Weight: 1 Total Weight: -202 192.64/192.78 c 192.64/192.78 c 192.64/192.78 c ============================[ Search Statistics ]============================== 192.64/192.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.64/192.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.64/192.78 c =============================================================================== 192.64/192.78 c | 0 | 1314 38277 50086 | 12759 0 nan | 0.000 % | 192.64/192.79 c =============================================================================== 192.74/192.84 c core #299 192.74/192.84 c 192.74/192.84 c 192.74/192.84 c Core size: 10 Core Weight: 1 Total Weight: -201 192.74/192.84 c 192.74/192.84 c 192.74/192.84 c ============================[ Search Statistics ]============================== 192.74/192.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.74/192.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.74/192.84 c =============================================================================== 192.74/192.84 c | 0 | 1320 38278 50098 | 12759 0 nan | 0.000 % | 192.74/192.84 c =============================================================================== 192.74/192.90 c core #300 192.74/192.90 c 192.74/192.90 c 192.74/192.90 c Core size: 10 Core Weight: 1 Total Weight: -200 192.74/192.90 c 192.74/192.90 c 192.74/192.90 c ============================[ Search Statistics ]============================== 192.74/192.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.74/192.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.74/192.90 c =============================================================================== 192.74/192.90 c | 0 | 1326 38279 50110 | 12759 0 nan | 0.000 % | 192.84/192.90 c =============================================================================== 192.84/192.95 c core #301 192.84/192.95 c 192.84/192.95 c 192.84/192.95 c Core size: 14 Core Weight: 1 Total Weight: -199 192.84/192.95 c 192.84/192.95 c 192.84/192.95 c ============================[ Search Statistics ]============================== 192.84/192.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.84/192.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.84/192.95 c =============================================================================== 192.84/192.95 c | 0 | 1334 38280 50126 | 12760 0 nan | 0.000 % | 192.84/192.96 c =============================================================================== 192.94/193.01 c core #302 192.94/193.01 c 192.94/193.01 c 192.94/193.01 c Core size: 14 Core Weight: 1 Total Weight: -198 192.94/193.01 c 192.94/193.01 c 192.94/193.01 c ============================[ Search Statistics ]============================== 192.94/193.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.94/193.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.94/193.01 c =============================================================================== 192.94/193.01 c | 0 | 1342 38281 50142 | 12760 0 nan | 0.000 % | 192.94/193.02 c =============================================================================== 192.94/193.07 c core #303 192.94/193.07 c 192.94/193.07 c 192.94/193.07 c Core size: 10 Core Weight: 1 Total Weight: -197 192.94/193.07 c 192.94/193.07 c 192.94/193.07 c ============================[ Search Statistics ]============================== 192.94/193.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.94/193.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.94/193.07 c =============================================================================== 192.94/193.07 c | 0 | 1348 38282 50154 | 12760 0 nan | 0.000 % | 192.94/193.07 c =============================================================================== 193.04/193.13 c core #304 193.04/193.13 c 193.04/193.13 c 193.04/193.13 c Core size: 12 Core Weight: 1 Total Weight: -196 193.04/193.13 c 193.04/193.13 c 193.04/193.13 c ============================[ Search Statistics ]============================== 193.04/193.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.04/193.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.04/193.13 c =============================================================================== 193.04/193.13 c | 0 | 1356 38283 50170 | 12761 0 nan | 0.000 % | 193.04/193.13 c =============================================================================== 193.04/193.18 c core #305 193.04/193.18 c 193.04/193.18 c 193.04/193.18 c Core size: 10 Core Weight: 1 Total Weight: -195 193.04/193.18 c 193.04/193.18 c 193.04/193.18 c ============================[ Search Statistics ]============================== 193.04/193.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.04/193.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.04/193.18 c =============================================================================== 193.04/193.18 c | 0 | 1362 38284 50182 | 12761 0 nan | 0.000 % | 193.04/193.19 c =============================================================================== 193.14/193.24 c core #306 193.14/193.24 c 193.14/193.24 c 193.14/193.24 c Core size: 10 Core Weight: 1 Total Weight: -194 193.14/193.24 c 193.14/193.24 c 193.14/193.24 c ============================[ Search Statistics ]============================== 193.14/193.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.14/193.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.14/193.24 c =============================================================================== 193.14/193.24 c | 0 | 1368 38285 50194 | 12761 0 nan | 0.000 % | 193.14/193.25 c =============================================================================== 193.24/193.30 c core #307 193.24/193.30 c 193.24/193.30 c 193.24/193.30 c Core size: 10 Core Weight: 1 Total Weight: -193 193.24/193.30 c 193.24/193.30 c 193.24/193.30 c ============================[ Search Statistics ]============================== 193.24/193.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.24/193.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.24/193.30 c =============================================================================== 193.24/193.30 c | 0 | 1374 38286 50206 | 12762 0 nan | 0.000 % | 193.24/193.31 c =============================================================================== 193.24/193.36 c core #308 193.24/193.36 c 193.24/193.36 c 193.24/193.36 c Core size: 16 Core Weight: 1 Total Weight: -192 193.24/193.36 c 193.24/193.36 c 193.24/193.36 c ============================[ Search Statistics ]============================== 193.24/193.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.24/193.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.24/193.36 c =============================================================================== 193.24/193.36 c | 0 | 1384 38287 50226 | 12762 0 nan | 0.000 % | 193.24/193.37 c =============================================================================== 193.34/193.42 c core #309 193.34/193.42 c 193.34/193.42 c 193.34/193.42 c Core size: 14 Core Weight: 1 Total Weight: -191 193.34/193.42 c 193.34/193.42 c 193.34/193.42 c ============================[ Search Statistics ]============================== 193.34/193.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.34/193.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.34/193.42 c =============================================================================== 193.34/193.42 c | 0 | 1392 38288 50242 | 12762 0 nan | 0.000 % | 193.34/193.43 c =============================================================================== 193.34/193.48 c core #310 193.34/193.48 c 193.34/193.48 c 193.34/193.48 c Core size: 14 Core Weight: 1 Total Weight: -190 193.34/193.48 c 193.34/193.48 c 193.34/193.48 c ============================[ Search Statistics ]============================== 193.34/193.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.34/193.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.34/193.48 c =============================================================================== 193.34/193.48 c | 0 | 1400 38289 50258 | 12763 0 nan | 0.000 % | 193.34/193.49 c =============================================================================== 193.45/193.54 c core #311 193.45/193.54 c 193.45/193.54 c 193.45/193.54 c Core size: 16 Core Weight: 1 Total Weight: -189 193.45/193.54 c 193.45/193.54 c 193.45/193.54 c ============================[ Search Statistics ]============================== 193.45/193.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.45/193.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.45/193.54 c =============================================================================== 193.45/193.54 c | 0 | 1410 38290 50278 | 12763 0 nan | 0.000 % | 193.45/193.55 c =============================================================================== 193.45/193.60 c core #312 193.45/193.60 c 193.45/193.60 c 193.45/193.60 c Core size: 16 Core Weight: 1 Total Weight: -188 193.45/193.60 c 193.45/193.60 c 193.45/193.60 c ============================[ Search Statistics ]============================== 193.45/193.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.45/193.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.45/193.60 c =============================================================================== 193.45/193.60 c | 0 | 1420 38291 50298 | 12763 0 nan | 0.000 % | 193.45/193.60 c =============================================================================== 193.55/193.66 c core #313 193.55/193.66 c 193.55/193.66 c 193.55/193.66 c Core size: 10 Core Weight: 1 Total Weight: -187 193.55/193.66 c 193.55/193.66 c 193.55/193.66 c ============================[ Search Statistics ]============================== 193.55/193.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.55/193.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.55/193.66 c =============================================================================== 193.55/193.66 c | 0 | 1426 38292 50310 | 12764 0 nan | 0.000 % | 193.55/193.66 c =============================================================================== 193.64/193.71 c core #314 193.64/193.71 c 193.64/193.71 c 193.64/193.71 c Core size: 10 Core Weight: 1 Total Weight: -186 193.64/193.71 c 193.64/193.71 c 193.64/193.71 c ============================[ Search Statistics ]============================== 193.64/193.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.64/193.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.64/193.71 c =============================================================================== 193.64/193.71 c | 0 | 1432 38293 50322 | 12764 0 nan | 0.000 % | 193.64/193.72 c =============================================================================== 193.64/193.77 c core #315 193.64/193.77 c 193.64/193.77 c 193.64/193.77 c Core size: 16 Core Weight: 1 Total Weight: -185 193.64/193.77 c 193.64/193.77 c 193.64/193.77 c ============================[ Search Statistics ]============================== 193.64/193.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.64/193.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.64/193.77 c =============================================================================== 193.64/193.77 c | 0 | 1442 38294 50342 | 12764 0 nan | 0.000 % | 193.64/193.78 c =============================================================================== 193.74/193.83 c core #316 193.74/193.83 c 193.74/193.83 c 193.74/193.83 c Core size: 14 Core Weight: 1 Total Weight: -184 193.74/193.83 c 193.74/193.83 c 193.74/193.83 c ============================[ Search Statistics ]============================== 193.74/193.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.74/193.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.74/193.83 c =============================================================================== 193.74/193.83 c | 0 | 1450 38295 50358 | 12765 0 nan | 0.000 % | 193.74/193.84 c =============================================================================== 193.74/193.89 c core #317 193.74/193.89 c 193.74/193.89 c 193.74/193.89 c Core size: 18 Core Weight: 1 Total Weight: -183 193.74/193.89 c 193.74/193.89 c 193.74/193.89 c ============================[ Search Statistics ]============================== 193.74/193.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.74/193.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.74/193.89 c =============================================================================== 193.74/193.89 c | 0 | 1460 38296 50378 | 12765 0 nan | 0.000 % | 193.84/193.90 c =============================================================================== 193.84/193.96 c core #318 193.84/193.96 c 193.84/193.96 c 193.84/193.96 c Core size: 31 Core Weight: 1 Total Weight: -182 193.84/193.96 c 193.84/193.96 c 193.84/193.96 c ============================[ Search Statistics ]============================== 193.84/193.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.84/193.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.84/193.96 c =============================================================================== 193.84/193.96 c | 0 | 1484 38297 50426 | 12765 0 nan | 0.000 % | 193.84/193.96 c =============================================================================== 193.94/194.02 c core #319 193.94/194.02 c 193.94/194.02 c 193.94/194.02 c Core size: 21 Core Weight: 1 Total Weight: -181 193.94/194.02 c 193.94/194.02 c 193.94/194.02 c ============================[ Search Statistics ]============================== 193.94/194.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.94/194.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.94/194.02 c =============================================================================== 193.94/194.02 c | 0 | 1498 38298 50454 | 12766 0 nan | 0.000 % | 193.94/194.04 c =============================================================================== 193.94/194.09 c core #320 193.94/194.09 c 193.94/194.09 c 193.94/194.09 c Core size: 33 Core Weight: 1 Total Weight: -180 193.94/194.09 c 193.94/194.09 c 193.94/194.09 c ============================[ Search Statistics ]============================== 193.94/194.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.94/194.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.94/194.09 c =============================================================================== 193.94/194.09 c | 0 | 1524 38299 50506 | 12766 0 nan | 0.000 % | 194.04/194.11 c =============================================================================== 194.04/194.16 c core #321 194.04/194.16 c 194.04/194.16 c 194.04/194.16 c Core size: 32 Core Weight: 1 Total Weight: -179 194.04/194.16 c 194.04/194.16 c 194.04/194.16 c ============================[ Search Statistics ]============================== 194.04/194.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.04/194.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.04/194.16 c =============================================================================== 194.04/194.16 c | 0 | 1546 38300 50550 | 12766 0 nan | 0.000 % | 194.14/194.21 c =============================================================================== 194.14/194.26 c core #322 194.14/194.26 c 194.14/194.26 c 194.14/194.26 c Core size: 33 Core Weight: 1 Total Weight: -178 194.14/194.26 c 194.14/194.26 c 194.14/194.26 c ============================[ Search Statistics ]============================== 194.14/194.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.14/194.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.14/194.26 c =============================================================================== 194.14/194.26 c | 0 | 1570 38301 50598 | 12767 0 nan | 0.000 % | 194.24/194.31 c | 100 | 1570 38301 50598 | 14043 100 15 | 92.266 % | 194.24/194.37 c | 250 | 1570 38301 50598 | 15448 250 13 | 92.266 % | 194.34/194.45 c | 475 | 1570 38301 50598 | 16992 475 13 | 92.266 % | 194.45/194.56 c =============================================================================== 194.55/194.62 c core #323 194.55/194.62 c 194.55/194.62 c 194.55/194.62 c Core size: 69 Core Weight: 1 Total Weight: -177 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 | 1634 38302 50726 | 12767 0 nan | 0.000 % | 194.55/194.67 c | 101 | 1633 38302 50726 | 14044 101 13 | 91.981 % | 194.65/194.72 c =============================================================================== 194.65/194.77 c core #324 194.65/194.77 c 194.65/194.77 c 194.65/194.77 c Core size: 52 Core Weight: 1 Total Weight: -176 194.65/194.77 c 194.65/194.77 c 194.65/194.77 c ============================[ Search Statistics ]============================== 194.65/194.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.65/194.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.65/194.77 c =============================================================================== 194.65/194.77 c | 0 | 1682 38303 50822 | 12767 0 nan | 0.000 % | 194.74/194.82 c | 100 | 1682 38303 50822 | 14044 100 18 | 91.759 % | 194.74/194.89 c | 254 | 1682 38303 50822 | 15448 254 18 | 91.759 % | 194.84/194.92 c =============================================================================== 194.84/194.97 c core #325 194.84/194.97 c 194.84/194.97 c 194.84/194.97 c Core size: 41 Core Weight: 1 Total Weight: -175 194.84/194.97 c 194.84/194.97 c 194.84/194.97 c ============================[ Search Statistics ]============================== 194.84/194.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.84/194.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.84/194.97 c =============================================================================== 194.84/194.97 c | 0 | 1716 38304 50890 | 12768 0 nan | 0.000 % | 194.94/195.03 c | 101 | 1716 38304 50890 | 14044 101 14 | 91.607 % | 194.94/195.09 c | 251 | 1716 38304 50890 | 15449 251 13 | 91.607 % | 195.14/195.20 c | 476 | 1711 38304 50890 | 16994 464 13 | 91.631 % | 195.14/195.22 c =============================================================================== 195.14/195.27 c core #326 195.14/195.27 c 195.14/195.27 c 195.14/195.27 c Core size: 54 Core Weight: 1 Total Weight: -174 195.14/195.27 c 195.14/195.27 c 195.14/195.27 c ============================[ Search Statistics ]============================== 195.14/195.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.14/195.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.14/195.27 c =============================================================================== 195.14/195.27 c | 0 | 1769 38305 50996 | 12768 0 nan | 0.000 % | 195.25/195.34 c | 101 | 1769 38305 50996 | 14045 101 20 | 91.370 % | 195.34/195.41 c | 251 | 1769 38305 50996 | 15449 251 13 | 91.370 % | 195.34/195.44 c =============================================================================== 195.34/195.50 c core #327 195.34/195.50 c 195.34/195.50 c 195.34/195.50 c Core size: 56 Core Weight: 1 Total Weight: -173 195.34/195.50 c 195.34/195.50 c 195.34/195.50 c ============================[ Search Statistics ]============================== 195.34/195.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.34/195.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.34/195.50 c =============================================================================== 195.34/195.50 c | 0 | 1815 38306 51088 | 12768 0 nan | 0.000 % | 195.44/195.56 c | 100 | 1815 38306 51088 | 14045 100 11 | 91.165 % | 195.44/195.59 c =============================================================================== 195.54/195.65 c core #328 195.54/195.65 c 195.54/195.65 c 195.54/195.65 c Core size: 47 Core Weight: 1 Total Weight: -172 195.54/195.65 c 195.54/195.65 c 195.54/195.65 c ============================[ Search Statistics ]============================== 195.54/195.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.54/195.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.54/195.65 c =============================================================================== 195.54/195.65 c | 0 | 1851 38307 51160 | 12769 0 nan | 0.000 % | 195.65/195.70 c | 100 | 1851 38307 51160 | 14045 100 24 | 91.006 % | 195.65/195.75 c | 250 | 1851 38307 51160 | 15450 250 22 | 91.006 % | 195.75/195.85 c | 475 | 1851 38307 51160 | 16995 475 21 | 91.006 % | 195.84/195.99 c | 819 | 1846 38307 51160 | 18695 811 22 | 91.030 % | 195.94/196.04 c =============================================================================== 195.94/196.09 c core #329 195.94/196.09 c 195.94/196.09 c 195.94/196.09 c Core size: 69 Core Weight: 1 Total Weight: -171 195.94/196.09 c 195.94/196.09 c 195.94/196.09 c ============================[ Search Statistics ]============================== 195.94/196.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.94/196.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.94/196.09 c =============================================================================== 195.94/196.09 c | 0 | 1901 38308 51260 | 12769 0 nan | 0.000 % | 196.04/196.16 c | 100 | 1901 38308 51260 | 14046 100 12 | 90.785 % | 196.14/196.20 c | 252 | 1901 38308 51260 | 15450 252 11 | 90.785 % | 196.14/196.25 c =============================================================================== 196.24/196.31 c core #330 196.24/196.31 c 196.24/196.31 c 196.24/196.31 c Core size: 57 Core Weight: 1 Total Weight: -170 196.24/196.31 c 196.24/196.31 c 196.24/196.31 c ============================[ Search Statistics ]============================== 196.24/196.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.24/196.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.24/196.31 c =============================================================================== 196.24/196.31 c | 0 | 1947 38309 51352 | 12769 0 nan | 0.000 % | 196.24/196.38 c | 103 | 1947 38309 51352 | 14046 103 24 | 90.583 % | 196.34/196.40 c | 253 | 1947 38309 51352 | 15451 253 19 | 90.583 % | 196.34/196.47 c | 481 | 1947 38309 51352 | 16996 481 19 | 90.583 % | 196.44/196.57 c | 818 | 1946 38309 51352 | 18696 810 20 | 90.588 % | 196.54/196.69 c =============================================================================== 196.65/196.76 c core #331 196.65/196.76 c 196.65/196.76 c 196.65/196.76 c Core size: 103 Core Weight: 1 Total Weight: -169 196.65/196.76 c 196.65/196.76 c 196.65/196.76 c ============================[ Search Statistics ]============================== 196.65/196.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.65/196.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.65/196.76 c =============================================================================== 196.65/196.76 c | 0 | 2021 38310 51500 | 12770 0 nan | 0.000 % | 196.75/196.81 c | 101 | 2021 38310 51500 | 14047 101 7 | 90.260 % | 196.75/196.82 c =============================================================================== 196.75/196.87 c core #332 196.75/196.87 c 196.75/196.87 c 196.75/196.87 c Core size: 53 Core Weight: 1 Total Weight: -168 196.75/196.87 c 196.75/196.87 c 196.75/196.87 c ============================[ Search Statistics ]============================== 196.75/196.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.75/196.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.75/196.87 c =============================================================================== 196.75/196.87 c | 0 | 2067 38311 51592 | 12770 0 nan | 0.000 % | 196.85/196.92 c | 102 | 2067 38311 51592 | 14047 102 14 | 90.061 % | 196.85/196.95 c | 252 | 2067 38311 51592 | 15452 252 17 | 90.061 % | 196.85/196.98 c | 477 | 2067 38311 51592 | 16997 477 24 | 90.061 % | 197.04/197.14 c | 817 | 2064 38311 51592 | 18697 814 22 | 90.075 % | 197.14/197.27 c =============================================================================== 197.24/197.33 c core #333 197.24/197.33 c 197.24/197.33 c 197.24/197.33 c Core size: 80 Core Weight: 1 Total Weight: -167 197.24/197.33 c 197.24/197.33 c 197.24/197.33 c ============================[ Search Statistics ]============================== 197.24/197.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.24/197.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.24/197.33 c =============================================================================== 197.24/197.33 c | 0 | 2127 38312 51712 | 12770 0 nan | 0.000 % | 197.24/197.39 c | 102 | 2127 38312 51712 | 14047 102 12 | 89.801 % | 197.34/197.44 c | 252 | 2127 38312 51712 | 15452 252 10 | 89.801 % | 197.44/197.51 c =============================================================================== 197.44/197.57 c core #334 197.44/197.57 c 197.44/197.57 c 197.44/197.57 c Core size: 96 Core Weight: 1 Total Weight: -166 197.44/197.57 c 197.44/197.57 c 197.44/197.57 c ============================[ Search Statistics ]============================== 197.44/197.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.44/197.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.44/197.57 c =============================================================================== 197.44/197.57 c | 0 | 2191 38313 51840 | 12771 0 nan | 0.000 % | 197.54/197.61 c | 100 | 2191 38313 51840 | 14048 100 16 | 89.527 % | 197.54/197.66 c | 251 | 2191 38313 51840 | 15452 251 14 | 89.527 % | 197.64/197.75 c =============================================================================== 197.74/197.80 c core #335 197.74/197.80 c 197.74/197.80 c 197.74/197.80 c Core size: 45 Core Weight: 1 Total Weight: -165 197.74/197.80 c 197.74/197.80 c 197.74/197.80 c ============================[ Search Statistics ]============================== 197.74/197.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.74/197.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.74/197.80 c =============================================================================== 197.74/197.80 c | 0 | 2231 38314 51920 | 12771 0 nan | 0.000 % | 197.74/197.86 c | 100 | 2231 38314 51920 | 14048 100 31 | 89.356 % | 197.74/197.89 c | 251 | 2231 38314 51920 | 15453 251 20 | 89.356 % | 197.84/197.95 c | 476 | 2231 38314 51920 | 16998 476 18 | 89.356 % | 197.95/198.10 c | 814 | 2231 38314 51920 | 18698 814 19 | 89.356 % | 198.24/198.36 c | 1320 | 2231 38314 51920 | 20568 1320 24 | 89.356 % | 198.54/198.65 c | 2080 | 2231 38314 51920 | 22625 2080 25 | 89.356 % | 199.14/199.28 c | 3221 | 2231 38314 51920 | 24887 3221 25 | 89.356 % | 200.24/200.38 c | 4929 | 2231 38314 51920 | 27376 4929 26 | 89.356 % | 200.74/200.84 c =============================================================================== 200.84/200.96 c core #336 200.84/200.96 c 200.84/200.96 c 200.84/200.96 c Core size: 105 Core Weight: 1 Total Weight: -164 200.84/200.96 c 200.84/200.96 c 200.84/200.96 c ============================[ Search Statistics ]============================== 200.84/200.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.84/200.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.84/200.96 c =============================================================================== 200.84/200.96 c | 0 | 2311 38315 52080 | 12771 0 nan | 0.000 % | 200.94/201.01 c | 100 | 2311 38315 52080 | 14048 100 16 | 89.016 % | 200.94/201.02 c | 250 | 2311 38315 52080 | 15453 250 13 | 89.016 % | 200.94/201.07 c | 475 | 2311 38315 52080 | 16999 475 13 | 89.016 % | 201.04/201.19 c | 812 | 2311 38315 52080 | 18698 812 17 | 89.016 % | 201.24/201.36 c | 1320 | 2311 38315 52080 | 20568 1320 18 | 89.016 % | 201.44/201.59 c =============================================================================== 201.54/201.65 c core #337 201.54/201.65 c 201.54/201.65 c 201.54/201.65 c Core size: 80 Core Weight: 1 Total Weight: -163 201.54/201.65 c 201.54/201.65 c 201.54/201.65 c ============================[ Search Statistics ]============================== 201.54/201.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.54/201.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.54/201.65 c =============================================================================== 201.54/201.65 c | 0 | 2375 38316 52208 | 12772 0 nan | 0.000 % | 201.64/201.70 c | 101 | 2375 38316 52208 | 14049 101 21 | 88.746 % | 201.64/201.73 c | 251 | 2375 38316 52208 | 15454 251 27 | 88.746 % | 201.64/201.77 c | 477 | 2375 38316 52208 | 16999 477 28 | 88.746 % | 201.74/201.88 c | 814 | 2375 38316 52208 | 18699 814 29 | 88.746 % | 201.94/202.04 c | 1321 | 2375 38316 52208 | 20569 1321 32 | 88.746 % | 202.24/202.30 c | 2080 | 2375 38316 52208 | 22626 2080 34 | 88.746 % | 202.74/202.83 c | 3219 | 2375 38316 52208 | 24889 3219 36 | 88.746 % | 203.54/203.66 c | 4928 | 2375 38316 52208 | 27377 4928 35 | 88.746 % | 205.14/205.27 c | 7494 | 2375 38316 52208 | 30115 7494 36 | 88.746 % | 207.75/207.88 c | 11339 | 2375 38316 52208 | 33127 11339 35 | 88.746 % | 207.94/208.04 c =============================================================================== 208.14/208.22 c core #338 208.14/208.22 c 208.14/208.22 c 208.14/208.22 c Core size: 92 Core Weight: 1 Total Weight: -162 208.14/208.22 c 208.14/208.22 c 208.14/208.22 c ============================[ Search Statistics ]============================== 208.14/208.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 208.14/208.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 208.14/208.22 c =============================================================================== 208.14/208.22 c | 0 | 2465 38317 52388 | 12772 0 nan | 0.000 % | 208.14/208.26 c | 101 | 2465 38317 52388 | 14049 101 29 | 88.369 % | 208.14/208.30 c | 254 | 2465 38317 52388 | 15454 254 22 | 88.369 % | 208.24/208.33 c | 479 | 2465 38317 52388 | 16999 479 25 | 88.369 % | 208.34/208.43 c | 816 | 2465 38317 52388 | 18699 816 30 | 88.369 % | 208.43/208.57 c | 1323 | 2465 38317 52388 | 20569 1323 34 | 88.369 % | 208.74/208.83 c | 2084 | 2465 38317 52388 | 22626 2084 40 | 88.369 % | 209.14/209.26 c | 3223 | 2465 38317 52388 | 24889 3223 44 | 88.369 % | 209.73/209.87 c | 4932 | 2465 38317 52388 | 27378 4932 47 | 88.369 % | 211.05/211.13 c | 7495 | 2465 38317 52388 | 30116 7495 48 | 88.369 % | 212.74/212.82 c | 11339 | 2465 38317 52388 | 33128 11339 47 | 88.369 % | 217.34/217.45 c | 17105 | 2465 38317 52388 | 36440 17105 48 | 88.369 % | 225.93/226.00 c | 25754 | 2384 38317 52388 | 40085 18661 46 | 89.044 % | 226.93/227.03 c =============================================================================== 227.33/227.48 c core #339 227.33/227.48 c 227.33/227.48 c 227.33/227.48 c Core size: 115 Core Weight: 1 Total Weight: -161 227.33/227.48 c 227.33/227.48 c 227.33/227.48 c ============================[ Search Statistics ]============================== 227.33/227.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.33/227.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.33/227.49 c =============================================================================== 227.33/227.49 c | 0 | 2541 38318 52540 | 12772 0 nan | 0.000 % | 227.44/227.54 c | 100 | 2541 38318 52540 | 14049 100 29 | 88.054 % | 227.44/227.56 c | 250 | 2541 38318 52540 | 15454 250 20 | 88.054 % | 227.44/227.57 c | 476 | 2541 38318 52540 | 17000 476 21 | 88.054 % | 227.54/227.63 c | 814 | 2541 38318 52540 | 18700 814 21 | 88.054 % | 227.64/227.76 c | 1321 | 2541 38318 52540 | 20570 1321 35 | 88.054 % | 227.83/227.93 c | 2080 | 2541 38318 52540 | 22627 2080 43 | 88.054 % | 228.13/228.22 c | 3219 | 2541 38318 52540 | 24890 3219 59 | 88.054 % | 228.53/228.67 c | 4927 | 2541 38318 52540 | 27379 4927 70 | 88.054 % | 229.63/229.79 c | 7494 | 2541 38318 52540 | 30117 7494 81 | 88.054 % | 230.73/230.88 c | 11340 | 2541 38318 52540 | 33129 11340 80 | 88.054 % | 233.14/233.29 c | 17107 | 2541 38318 52540 | 36441 17107 79 | 88.054 % | 238.54/238.64 c | 25756 | 2541 38318 52540 | 40086 25756 80 | 88.054 % | 256.24/256.39 c | 38730 | 2541 38318 52540 | 44094 38730 87 | 88.054 % | 293.21/293.33 c | 58192 | 2541 38318 52540 | 48504 58192 90 | 88.054 % | 341.41/341.53 c | 87384 | 2541 38318 52540 | 53354 35762 86 | 88.054 % | 410.19/410.33 c | 131173 | 2541 38318 52540 | 58690 23296 77 | 88.054 % | 523.16/523.36 c | 196858 | 2460 38318 52540 | 64559 24167 50 | 88.434 % | 527.26/527.49 c =============================================================================== 530.07/530.26 c core #340 530.07/530.26 c 530.07/530.26 c 530.07/530.26 c Core size: 175 Core Weight: 1 Total Weight: -160 530.07/530.26 c 530.07/530.26 c 530.07/530.26 c ============================[ Search Statistics ]============================== 530.07/530.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 530.07/530.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 530.07/530.26 c =============================================================================== 530.07/530.26 c | 0 | 2667 38319 52792 | 12773 0 nan | 0.000 % | 530.16/530.34 c | 102 | 2667 38319 52792 | 14050 102 19 | 87.535 % | 530.16/530.36 c | 254 | 2667 38319 52792 | 15455 254 18 | 87.535 % | 530.26/530.44 c | 482 | 2667 38319 52792 | 17000 482 31 | 87.535 % | 530.36/530.54 c | 819 | 2667 38319 52792 | 18700 819 35 | 87.535 % | 530.56/530.73 c | 1328 | 2667 38319 52792 | 20571 1328 47 | 87.535 % | 530.86/531.06 c | 2088 | 2667 38319 52792 | 22628 2088 54 | 87.535 % | 531.36/531.52 c | 3227 | 2667 38319 52792 | 24890 3227 66 | 87.535 % | 532.27/532.45 c | 4936 | 2667 38319 52792 | 27380 4936 75 | 87.535 % | 534.56/534.70 c | 7498 | 2667 38319 52792 | 30118 7498 84 | 87.535 % | 538.26/538.43 c | 11343 | 2667 38319 52792 | 33129 11343 88 | 87.535 % | 545.47/545.66 c | 17110 | 2667 38319 52792 | 36442 17110 92 | 87.535 % | 558.06/558.28 c | 25760 | 2667 38319 52792 | 40087 25760 95 | 87.535 % | 582.85/583.01 c | 38734 | 2667 38319 52792 | 44095 38734 94 | 87.535 % | 620.15/620.34 c | 58197 | 2667 38319 52792 | 48505 58197 91 | 87.535 % | 654.43/654.61 c | 87389 | 2667 38319 52792 | 53355 34729 61 | 87.535 % | 690.92/691.12 c =============================================================================== 692.22/692.48 c core #341 692.22/692.48 c 692.22/692.48 c 692.22/692.48 c Core size: 153 Core Weight: 1 Total Weight: -159 692.22/692.48 c 692.22/692.48 c 692.22/692.48 c ============================[ Search Statistics ]============================== 692.22/692.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 692.22/692.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 692.22/692.48 c =============================================================================== 692.22/692.48 c | 0 | 2779 38320 53016 | 12773 0 nan | 0.000 % | 692.32/692.55 c | 100 | 2779 38320 53016 | 14050 100 30 | 87.079 % | 692.42/692.60 c | 250 | 2779 38320 53016 | 15455 250 32 | 87.079 % | 692.42/692.63 c | 477 | 2779 38320 53016 | 17001 477 44 | 87.079 % | 692.42/692.68 c | 816 | 2779 38320 53016 | 18701 816 51 | 87.079 % | 692.53/692.77 c | 1322 | 2779 38320 53016 | 20571 1322 49 | 87.079 % | 692.72/692.96 c | 2082 | 2779 38320 53016 | 22628 2082 50 | 87.079 % | 693.12/693.32 c | 3221 | 2779 38320 53016 | 24891 3221 59 | 87.079 % | 693.93/694.13 c | 4930 | 2779 38320 53016 | 27380 4930 79 | 87.079 % | 695.93/696.18 c | 7492 | 2779 38320 53016 | 30118 7492 90 | 87.079 % | 699.52/699.79 c | 11336 | 2779 38320 53016 | 33130 11336 98 | 87.079 % | 704.83/705.07 c | 17104 | 2779 38320 53016 | 36443 17104 97 | 87.079 % | 714.73/714.92 c | 25753 | 2779 38320 53016 | 40088 25753 102 | 87.079 % | 738.42/738.61 c | 38727 | 2779 38320 53016 | 44097 38727 103 | 87.079 % | 782.50/782.73 c | 58190 | 2779 38320 53016 | 48506 58190 109 | 87.079 % | 831.79/832.05 c | 87385 | 2779 38320 53016 | 53357 34396 101 | 87.079 % | 968.87/969.16 c | 131176 | 2779 38320 53016 | 58693 22781 75 | 87.079 % | 1105.53/1105.84 c | 196861 | 2779 38320 53016 | 64562 27785 68 | 87.079 % | 1291.88/1292.26 c =============================================================================== 1299.08/1299.43 c core #342 1299.08/1299.43 c 1299.08/1299.43 c 1299.08/1299.43 c Core size: 156 Core Weight: 1 Total Weight: -158 1299.08/1299.43 c 1299.08/1299.43 c 1299.08/1299.43 c ============================[ Search Statistics ]============================== 1299.08/1299.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 1299.08/1299.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1299.08/1299.43 c =============================================================================== 1299.08/1299.43 c | 0 | 2909 38321 53276 | 12773 0 nan | 0.000 % | 1299.08/1299.49 c | 102 | 2909 38321 53276 | 14051 102 35 | 86.556 % | 1299.18/1299.53 c | 253 | 2909 38321 53276 | 15456 253 24 | 86.556 % | 1299.18/1299.57 c | 479 | 2909 38321 53276 | 17001 479 31 | 86.556 % | 1299.28/1299.67 c | 816 | 2909 38321 53276 | 18701 816 41 | 86.556 % | 1299.38/1299.73 c | 1322 | 2909 38321 53276 | 20572 1322 38 | 86.556 % | 1299.58/1299.90 c | 2081 | 2909 38321 53276 | 22629 2081 40 | 86.556 % | 1300.08/1300.47 c | 3220 | 2909 38321 53276 | 24892 3220 52 | 86.556 % | 1300.78/1301.18 c | 4932 | 2909 38321 53276 | 27381 4932 65 | 86.556 % | 1302.09/1302.48 c | 7494 | 2909 38321 53276 | 30119 7494 68 | 86.556 % | 1305.29/1305.65 c | 11341 | 2909 38321 53276 | 33131 11341 82 | 86.556 % | 1311.57/1311.98 c | 17109 | 2909 38321 53276 | 36444 17109 95 | 86.556 % | 1324.08/1324.47 c | 25758 | 2909 38321 53276 | 40089 25758 104 | 86.556 % | 1345.87/1346.21 c | 38733 | 2909 38321 53276 | 44098 38733 101 | 86.556 % | 1386.55/1386.94 c | 58194 | 2909 38321 53276 | 48507 58194 102 | 86.556 % | 1447.44/1447.84 c | 87386 | 2909 38321 53276 | 53358 35456 87 | 86.556 % | 1571.42/1571.89 c | 131175 | 2909 38321 53276 | 58694 25704 82 | 86.556 % | 1741.37/1741.88 c | 196859 | 2909 38321 53276 | 64564 30168 66 | 86.556 % |
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-2702535-1278569445/watcher-2702535-1278569445 -o /tmp/evaluation-result-2702535-1278569445/solver-2702535-1278569445 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702535-1278569445.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 29715 /proc/meminfo: memFree=1830000/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=4424 CPUtime=0 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 341 0 0 0 0 0 0 0 19 0 1 0 25155218 4530176 259 1992294400 134512640 135752675 4288306320 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 1106 270 133 303 0 406 0 [startup+0.066184 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29715 /proc/meminfo: memFree=1830000/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=7904 CPUtime=0.05 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 1225 0 0 0 5 0 0 0 19 0 1 0 25155218 8093696 1143 1992294400 134512640 135752675 4288306320 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 1976 1143 195 303 0 1276 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 7904 [startup+0.101186 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29715 /proc/meminfo: memFree=1830000/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=8856 CPUtime=0.09 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 1469 0 0 0 8 1 0 0 19 0 1 0 25155218 9068544 1387 1992294400 134512640 135752675 4288306320 18446744073709551615 135189322 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 2214 1387 243 303 0 1514 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8856 [startup+0.300203 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29715 /proc/meminfo: memFree=1830000/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=13944 CPUtime=0.29 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 3366 0 0 0 27 2 0 0 20 0 1 0 25155218 14278656 2856 1992294400 134512640 135752675 4288306320 18446744073709551615 134588546 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 3486 2856 142 303 0 3181 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13944 [startup+0.701237 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29715 /proc/meminfo: memFree=1830000/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=12624 CPUtime=0.68 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 4017 0 0 0 65 3 0 0 20 0 1 0 25155218 12926976 2610 1992294400 134512640 135752675 4288306320 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 3156 2610 145 303 0 2851 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 12624 [startup+1.50131 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29716 /proc/meminfo: memFree=1818956/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=15924 CPUtime=1.48 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 4837 0 0 0 144 4 0 0 22 0 1 0 25155218 16306176 3430 1992294400 134512640 135752675 4288306320 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 3981 3430 145 303 0 3676 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 15924 [startup+3.10144 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29716 /proc/meminfo: memFree=1814864/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=21080 CPUtime=3.09 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 6134 0 0 0 303 6 0 0 25 0 1 0 25155218 21585920 4727 1992294400 134512640 135752675 4288306320 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 5270 4727 145 303 0 4965 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21080 [startup+6.30172 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29716 /proc/meminfo: memFree=1807300/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=26364 CPUtime=6.28 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 7439 0 0 0 621 7 0 0 25 0 1 0 25155218 26996736 6032 1992294400 134512640 135752675 4288306320 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 6591 6032 145 303 0 6286 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 26364 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29716 /proc/meminfo: memFree=1800604/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=32704 CPUtime=12.69 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 9041 0 0 0 1259 10 0 0 25 0 1 0 25155218 33488896 7634 1992294400 134512640 135752675 4288306320 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 8176 7634 145 303 0 7871 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32704 [startup+25.5004 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29717 /proc/meminfo: memFree=1790436/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=42428 CPUtime=25.48 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 11465 0 0 0 2534 14 0 0 25 0 1 0 25155218 43446272 10058 1992294400 134512640 135752675 4288306320 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 10607 10058 145 303 0 10302 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 42428 [startup+51.1006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29718 /proc/meminfo: memFree=1779276/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=53612 CPUtime=51.07 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 14238 0 0 0 5087 20 0 0 25 0 1 0 25155218 54898688 12831 1992294400 134512640 135752675 4288306320 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 13403 12831 145 303 0 13098 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 53612 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29719 /proc/meminfo: memFree=1758692/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=73956 CPUtime=102.28 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 19263 0 0 0 10196 32 0 0 25 0 1 0 25155218 75730944 17856 1992294400 134512640 135752675 4288306320 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 18489 17856 145 303 0 18184 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 73956 [startup+162.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29720 /proc/meminfo: memFree=1736248/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=96428 CPUtime=162.24 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 24825 0 0 0 16182 42 0 0 25 0 1 0 25155218 98742272 23418 1992294400 134512640 135752675 4288306320 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 24107 23418 145 303 0 23802 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 96428 [startup+222.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29722 /proc/meminfo: memFree=1731908/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=99652 CPUtime=222.23 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 26630 0 0 0 22158 65 0 0 25 0 1 0 25155218 102043648 24324 1992294400 134512640 135752675 4288306320 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 24913 24324 146 303 0 24608 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 99652 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29724 /proc/meminfo: memFree=1731908/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=99652 CPUtime=282.22 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 26663 0 0 0 28135 87 0 0 25 0 1 0 25155218 102043648 24357 1992294400 134512640 135752675 4288306320 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 24913 24357 146 303 0 24608 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 99652 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29726 /proc/meminfo: memFree=1731784/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=99652 CPUtime=342.2 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 26676 0 0 0 34118 102 0 0 25 0 1 0 25155218 102043648 24370 1992294400 134512640 135752675 4288306320 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 24913 24370 146 303 0 24608 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 99652 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29727 /proc/meminfo: memFree=1731784/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=99652 CPUtime=402.2 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 26714 0 0 0 40099 121 0 0 25 0 1 0 25155218 102043648 24408 1992294400 134512640 135752675 4288306320 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 24913 24408 146 303 0 24608 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 99652 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29728 /proc/meminfo: memFree=1721368/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=110164 CPUtime=462.18 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 29361 0 0 0 46075 143 0 0 25 0 1 0 25155218 112807936 27055 1992294400 134512640 135752675 4288306320 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 27541 27055 146 303 0 27236 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 110164 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29733 /proc/meminfo: memFree=1708348/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=122924 CPUtime=522.17 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 32498 0 0 0 52056 161 0 0 25 0 1 0 25155218 125874176 30192 1992294400 134512640 135752675 4288306320 18446744073709551615 134611655 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 30731 30192 146 303 0 30426 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 122924 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29735 /proc/meminfo: memFree=1699048/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=132156 CPUtime=582.14 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 34763 0 0 0 58035 179 0 0 25 0 1 0 25155218 135327744 32457 1992294400 134512640 135752675 4288306320 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 33039 32457 146 303 0 32734 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 132156 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29737 /proc/meminfo: memFree=1697932/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=133080 CPUtime=642.14 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 35037 0 0 0 64018 196 0 0 25 0 1 0 25155218 136273920 32731 1992294400 134512640 135752675 4288306320 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 33270 32731 146 303 0 32965 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 133080 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29743 /proc/meminfo: memFree=1658004/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=173340 CPUtime=882.07 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 45140 0 0 0 87940 267 0 0 25 0 1 0 25155218 177500160 42708 1992294400 134512640 135752675 4288306320 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 43335 42708 146 303 0 43030 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 173340 [startup+942.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29745 /proc/meminfo: memFree=1649944/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=181404 CPUtime=942.06 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 47179 0 0 0 93927 279 0 0 25 0 1 0 25155218 185757696 44747 1992294400 134512640 135752675 4288306320 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 45351 44747 146 303 0 45046 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 181404 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29746 /proc/meminfo: memFree=1634816/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=196492 CPUtime=1002.05 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 50932 0 0 0 99905 300 0 0 25 0 1 0 25155218 201207808 48500 1992294400 134512640 135752675 4288306320 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 49123 48500 146 303 0 48818 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 196492 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29747 /proc/meminfo: memFree=1624028/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=207712 CPUtime=1062.03 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 53683 0 0 0 105888 315 0 0 25 0 1 0 25155218 212697088 51251 1992294400 134512640 135752675 4288306320 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 51928 51251 146 303 0 51623 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 207712 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29749 /proc/meminfo: memFree=1610884/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=220580 CPUtime=1122.02 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 56897 0 0 0 111869 333 0 0 25 0 1 0 25155218 225873920 54465 1992294400 134512640 135752675 4288306320 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 55145 54465 146 303 0 54840 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 220580 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29751 /proc/meminfo: memFree=1601460/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=230248 CPUtime=1182 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 59270 0 0 0 117854 346 0 0 25 0 1 0 25155218 235773952 56838 1992294400 134512640 135752675 4288306320 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 57562 56838 146 303 0 57257 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 230248 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29753 /proc/meminfo: memFree=1593772/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=237660 CPUtime=1241.99 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 61112 0 0 0 123843 356 0 0 25 0 1 0 25155218 243363840 58680 1992294400 134512640 135752675 4288306320 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 59415 58680 146 303 0 59110 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 237660 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29754 /proc/meminfo: memFree=1575544/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=255264 CPUtime=1301.98 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 65659 0 0 0 129829 369 0 0 25 0 1 0 25155218 261390336 63100 1992294400 134512640 135752675 4288306320 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 63816 63100 146 303 0 63511 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 255264 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29755 /proc/meminfo: memFree=1575172/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=255264 CPUtime=1361.96 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 65860 0 0 0 135805 391 0 0 25 0 1 0 25155218 261390336 63301 1992294400 134512640 135752675 4288306320 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 63816 63301 146 303 0 63511 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 255264 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29757 /proc/meminfo: memFree=1569716/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=260920 CPUtime=1421.95 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 67234 0 0 0 141791 404 0 0 25 0 1 0 25155218 267182080 64675 1992294400 134512640 135752675 4288306320 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 65230 64675 146 303 0 64925 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 260920 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29759 /proc/meminfo: memFree=1559300/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=271488 CPUtime=1481.93 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 69859 0 0 0 147774 419 0 0 25 0 1 0 25155218 278003712 67300 1992294400 134512640 135752675 4288306320 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 67872 67300 146 303 0 67567 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 271488 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29761 /proc/meminfo: memFree=1550744/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=279908 CPUtime=1541.92 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 71958 0 0 0 153763 429 0 0 25 0 1 0 25155218 286625792 69399 1992294400 134512640 135752675 4288306320 18446744073709551615 134611663 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 69977 69399 146 303 0 69672 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 279908 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29762 /proc/meminfo: memFree=1538096/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=292752 CPUtime=1601.91 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 75134 0 0 0 159742 449 0 0 25 0 1 0 25155218 299778048 72575 1992294400 134512640 135752675 4288306320 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 73188 72575 146 303 0 72883 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 292752 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29763 /proc/meminfo: memFree=1529044/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=301620 CPUtime=1661.89 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 77337 0 0 0 165730 459 0 0 25 0 1 0 25155218 308858880 74778 1992294400 134512640 135752675 4288306320 18446744073709551615 134612056 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 75405 74778 146 303 0 75100 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 301620 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29765 /proc/meminfo: memFree=1523092/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=307980 CPUtime=1721.88 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 78879 0 0 0 171719 469 0 0 25 0 1 0 25155218 315371520 76320 1992294400 134512640 135752675 4288306320 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 76995 76320 146 303 0 76690 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 307980 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29767 /proc/meminfo: memFree=1510196/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=320400 CPUtime=1781.86 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 81972 0 0 0 177700 486 0 0 25 0 1 0 25155218 328089600 79413 1992294400 134512640 135752675 4288306320 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 80100 79413 146 303 0 79795 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 320400 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29767 /proc/meminfo: memFree=1507220/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=323376 CPUtime=1800.07 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 82714 0 0 0 179516 491 0 0 25 0 1 0 25155218 331137024 80155 1992294400 134512640 135752675 4288306320 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 80844 80155 146 303 0 80539 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 323376 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 29767 /proc/meminfo: memFree=1507220/2059040 swapFree=4139724/4192956 [pid=29715] ppid=29713 vsize=323376 CPUtime=1800.07 /proc/29715/stat : 29715 (wbo1.4b) R 29713 29715 29063 0 -1 4202496 82714 0 0 0 179516 491 0 0 25 0 1 0 25155218 331137024 80155 1992294400 134512640 135752675 4288306320 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29715/statm: 80844 80155 146 303 0 80539 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 323376 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.54 CPU time (s): 1800.11 CPU user time (s): 1795.17 CPU system time (s): 4.94425 CPU usage (%): 99.976 Max. virtual memory (cumulated for all children) (KiB): 323376 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.17 system time used= 4.94425 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 82714 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= 4935 runsolver used 2.72758 second user time and 8.79466 second system time The end
Begin job on node031 at 2010-07-08 08:10:45 IDJOB=2702535 IDBENCH=48202 IDSOLVER=1190 FILE ID=node031/2702535-1278569445 PBS_JOBID= 11239533 Free space on /tmp= 62568 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_60_4.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702535-1278569445/watcher-2702535-1278569445 -o /tmp/evaluation-result-2702535-1278569445/solver-2702535-1278569445 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702535-1278569445.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 468c9636f2c99e512d4c3bca04b78033 RANDOM SEED=1830778957 node031.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.220 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.44 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.220 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1832016 kB Buffers: 39756 kB Cached: 94112 kB SwapCached: 6812 kB Active: 94508 kB Inactive: 53336 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1832016 kB SwapTotal: 4192956 kB SwapFree: 4139724 kB Dirty: 3120 kB Writeback: 0 kB AnonPages: 11928 kB Mapped: 12236 kB Slab: 57020 kB PageTables: 4176 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180532 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702535-1278569445.opb Free space on /tmp at the end= 62564 MiB End job on node031 at 2010-07-08 08:40:49