Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.26 | 1800.87 |
Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.5:100.opb |
MD5SUM | 885184c694263ba985a0dc2cd49b3440 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.375942 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | YES |
Number of variables | 776 |
Total number of constraints | 867 |
Number of constraints which are clauses | 701 |
Number of constraints which are cardinality constraints (but not clauses) | 166 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 776 |
Biggest coefficient in the objective function | 474 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 2127 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 474 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 2127 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680859-1277454928.opb. 0.00/0.00 c Instance file HOME/instance-2680859-1277454928.opb 0.00/0.00 c File size is 36242 bytes. 0.00/0.00 c Highest Coefficient sum: 23 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 776 | 0.00/0.00 c | Number Clauses: 702 | 0.00/0.00 c | Number Cardinality: 165 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 775 867 3034 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 56 0.00/0.01 o 56 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 775 868 3810 | 5000 0 nan | 0.000 % | 0.01/0.01 c =============================================================================== 0.01/0.01 c New solution: 55 0.01/0.01 o 55 0.01/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s 0.01/0.01 c =============================================================================== 0.01/0.01 c | 3 | 775 869 4586 | 5000 3 259 | 0.000 % | 0.01/0.02 c =============================================================================== 0.01/0.02 c New solution: 53 0.01/0.02 o 53 0.01/0.02 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s 0.01/0.02 c =============================================================================== 0.01/0.02 c | 7 | 775 870 5362 | 5000 7 266 | 0.000 % | 0.01/0.02 c =============================================================================== 0.01/0.02 c New solution: 45 0.01/0.02 o 45 0.01/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s 0.01/0.02 c =============================================================================== 0.01/0.02 c | 7 | 775 871 6138 | 5000 7 266 | 0.000 % | 0.01/0.02 c =============================================================================== 0.01/0.02 c New solution: 44 0.01/0.02 o 44 0.01/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s 0.01/0.02 c =============================================================================== 0.01/0.02 c | 7 | 775 872 6914 | 5000 7 266 | 0.000 % | 0.01/0.03 c =============================================================================== 0.01/0.03 c New solution: 43 0.01/0.03 o 43 0.01/0.03 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s 0.01/0.03 c =============================================================================== 0.01/0.03 c | 12 | 775 873 7690 | 5000 12 268 | 0.000 % | 0.01/0.04 c | 113 | 775 873 7690 | 5500 113 283 | 0.130 % | 0.01/0.06 c | 263 | 775 873 7690 | 6050 263 275 | 0.132 % | 0.01/0.07 c =============================================================================== 0.01/0.07 c New solution: 41 0.01/0.07 o 41 0.01/0.07 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s 0.01/0.07 c =============================================================================== 0.01/0.07 c | 263 | 775 874 8466 | 5000 263 275 | 0.132 % | 0.01/0.07 c =============================================================================== 0.01/0.07 c New solution: 37 0.01/0.07 o 37 0.01/0.07 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s 0.01/0.07 c =============================================================================== 0.01/0.07 c | 263 | 775 875 9242 | 5000 263 275 | 0.132 % | 0.01/0.09 c | 363 | 775 875 9242 | 5500 363 278 | 0.131 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: 36 0.09/0.10 o 36 0.09/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 416 | 775 876 10018 | 5000 416 280 | 0.131 % | 0.09/0.13 c | 516 | 775 876 10018 | 5500 516 280 | 0.132 % | 0.09/0.16 c | 668 | 775 876 10018 | 6050 668 278 | 0.132 % | 0.09/0.19 c | 894 | 775 876 10018 | 6655 894 275 | 0.133 % | 0.19/0.29 c | 1231 | 775 876 10018 | 7320 1231 276 | 0.132 % | 0.29/0.39 c | 1738 | 775 876 10018 | 8052 1738 278 | 0.132 % | 0.40/0.40 c =============================================================================== 0.40/0.40 c New solution: 35 0.40/0.40 o 35 0.40/0.40 c Elapsed CPU time: 0.39394 s Remaining CPU time: 179.606 s 0.40/0.40 c =============================================================================== 0.40/0.40 c | 1787 | 775 877 10794 | 5000 1787 277 | 0.132 % | 0.40/0.42 c | 1888 | 775 877 10794 | 5500 1888 278 | 0.131 % | 0.40/0.45 c | 2039 | 775 877 10794 | 6050 2039 277 | 0.131 % | 0.50/0.50 c | 2264 | 775 877 10794 | 6655 2264 278 | 0.131 % | 0.50/0.56 c | 2601 | 775 877 10794 | 7320 2601 278 | 0.132 % | 0.59/0.68 c | 3108 | 775 877 10794 | 8052 3108 279 | 0.132 % | 0.59/0.68 c =============================================================================== 0.59/0.68 c New solution: 32 0.59/0.68 o 32 0.59/0.68 c Elapsed CPU time: 0.676897 s Remaining CPU time: 179.323 s 0.59/0.68 c =============================================================================== 0.59/0.68 c | 3108 | 775 878 11570 | 5000 3108 279 | 0.132 % | 0.69/0.70 c =============================================================================== 0.69/0.70 c New solution: 31 0.69/0.70 o 31 0.69/0.70 c Elapsed CPU time: 0.694894 s Remaining CPU time: 179.305 s 0.69/0.70 c =============================================================================== 0.69/0.70 c | 3173 | 775 879 12346 | 5000 3173 279 | 0.132 % | 0.69/0.73 c | 3273 | 775 879 12346 | 5500 3273 280 | 0.132 % | 0.69/0.75 c | 3424 | 775 879 12346 | 6050 3424 279 | 0.132 % | 0.79/0.80 c | 3650 | 775 879 12346 | 6655 3650 279 | 0.132 % | 0.79/0.86 c | 3987 | 775 879 12346 | 7320 3987 279 | 0.131 % | 0.89/0.98 c | 4494 | 775 879 12346 | 8052 4494 278 | 0.130 % | 1.10/1.15 c | 5253 | 775 879 12346 | 8857 5253 276 | 0.130 % | 1.39/1.43 c | 6394 | 775 879 12346 | 9743 6394 275 | 0.132 % | 1.79/1.83 c | 8103 | 775 879 12346 | 10717 8103 275 | 0.129 % | 1.89/1.95 c =============================================================================== 1.89/1.95 c New solution: 30 1.89/1.95 o 30 1.89/1.95 c Elapsed CPU time: 1.91871 s Remaining CPU time: 178.081 s 1.89/1.95 c =============================================================================== 1.89/1.95 c | 8507 | 775 880 13122 | 5000 8507 276 | 0.129 % | 1.89/1.98 c | 8607 | 775 880 13122 | 5500 4354 274 | 0.130 % | 1.99/2.01 c | 8757 | 775 880 13122 | 6050 4504 273 | 0.132 % | 1.99/2.06 c | 8982 | 775 880 13122 | 6655 4729 274 | 0.131 % | 2.10/2.14 c | 9319 | 775 880 13122 | 7320 5066 273 | 0.129 % | 2.20/2.27 c | 9825 | 775 880 13122 | 8052 5572 273 | 0.130 % | 2.39/2.45 c | 10585 | 775 880 13122 | 8857 6332 272 | 0.129 % | 2.39/2.46 c =============================================================================== 2.39/2.46 c New solution: 25 2.39/2.46 o 25 2.39/2.46 c Elapsed CPU time: 2.42263 s Remaining CPU time: 177.577 s 2.39/2.46 c =============================================================================== 2.39/2.46 c | 10585 | 775 881 13898 | 5000 6332 272 | 0.129 % | 2.39/2.49 c | 10685 | 775 881 13898 | 5500 3266 274 | 0.129 % | 2.49/2.53 c | 10836 | 775 881 13898 | 6050 3417 274 | 0.130 % | 2.49/2.58 c | 11062 | 775 881 13898 | 6655 3643 274 | 0.132 % | 2.59/2.66 c | 11400 | 775 881 13898 | 7320 3981 274 | 0.133 % | 2.69/2.79 c | 11906 | 775 881 13898 | 8052 4487 274 | 0.132 % | 2.89/2.97 c | 12666 | 775 881 13898 | 8857 5247 276 | 0.130 % | 3.19/3.20 c | 13805 | 775 881 13898 | 9743 6386 275 | 0.129 % | 3.49/3.60 c | 15514 | 775 881 13898 | 10717 8095 276 | 0.132 % | 4.29/4.39 c | 18076 | 775 881 13898 | 11789 10657 279 | 0.130 % | 5.50/5.52 c | 21920 | 775 881 13898 | 12968 8237 282 | 0.129 % | 7.19/7.22 c | 27686 | 775 881 13898 | 14265 7171 276 | 0.129 % | 9.79/9.81 c | 36336 | 775 881 13898 | 15692 8325 280 | 0.129 % | 13.98/14.07 c | 49310 | 775 881 13898 | 17261 13105 281 | 0.130 % | 22.88/23.00 c | 68772 | 775 881 13898 | 18987 14578 307 | 0.130 % | 36.18/36.26 c | 97965 | 775 881 13898 | 20886 14203 297 | 0.130 % | 60.87/60.96 c | 141754 | 775 881 13898 | 22974 14797 283 | 0.129 % | 95.56/95.64 c | 207440 | 775 881 13898 | 25272 18498 280 | 0.129 % | 160.24/160.33 c | 305966 | 775 881 13898 | 27799 13891 284 | 0.129 % | 181.44/181.54 c There are 1 assigned variables. 1 in cost function. 182.14/182.22 c core #1 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 8 Core Weight: 1 Total Weight: -473 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #2 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 7 Core Weight: 1 Total Weight: -472 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #3 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 9 Core Weight: 1 Total Weight: -471 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #4 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 10 Core Weight: 1 Total Weight: -470 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #5 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 10 Core Weight: 1 Total Weight: -469 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #6 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 11 Core Weight: 1 Total Weight: -468 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #7 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 11 Core Weight: 1 Total Weight: -467 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #8 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 12 Core Weight: 1 Total Weight: -466 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #9 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 13 Core Weight: 1 Total Weight: -465 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #10 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 12 Core Weight: 1 Total Weight: -464 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #11 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 13 Core Weight: 1 Total Weight: -463 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #12 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 16 Core Weight: 1 Total Weight: -462 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #13 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 14 Core Weight: 1 Total Weight: -461 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #14 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 18 Core Weight: 1 Total Weight: -460 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #15 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 18 Core Weight: 1 Total Weight: -459 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #16 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 18 Core Weight: 1 Total Weight: -458 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #17 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 20 Core Weight: 1 Total Weight: -457 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #18 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 18 Core Weight: 1 Total Weight: -456 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #19 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 19 Core Weight: 1 Total Weight: -455 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #20 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 18 Core Weight: 1 Total Weight: -454 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #21 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 23 Core Weight: 1 Total Weight: -453 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #22 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 19 Core Weight: 1 Total Weight: -452 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #23 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 22 Core Weight: 1 Total Weight: -451 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #24 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 15 Core Weight: 1 Total Weight: -450 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #25 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 15 Core Weight: 1 Total Weight: -449 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #26 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 11 Core Weight: 1 Total Weight: -448 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #27 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 10 Core Weight: 1 Total Weight: -447 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #28 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 7 Core Weight: 1 Total Weight: -446 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #29 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 11 Core Weight: 1 Total Weight: -445 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #30 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 11 Core Weight: 1 Total Weight: -444 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #31 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 9 Core Weight: 1 Total Weight: -443 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #32 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 8 Core Weight: 1 Total Weight: -442 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #33 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 9 Core Weight: 1 Total Weight: -441 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #34 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 10 Core Weight: 1 Total Weight: -440 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #35 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 11 Core Weight: 1 Total Weight: -439 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #36 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 11 Core Weight: 1 Total Weight: -438 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #37 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 14 Core Weight: 1 Total Weight: -437 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #38 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 18 Core Weight: 1 Total Weight: -436 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #39 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 19 Core Weight: 1 Total Weight: -435 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #40 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 19 Core Weight: 1 Total Weight: -434 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #41 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 20 Core Weight: 1 Total Weight: -433 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #42 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 22 Core Weight: 1 Total Weight: -432 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #43 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 21 Core Weight: 1 Total Weight: -431 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #44 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 12 Core Weight: 1 Total Weight: -430 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #45 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 8 Core Weight: 1 Total Weight: -429 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #46 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 9 Core Weight: 1 Total Weight: -428 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #47 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 8 Core Weight: 1 Total Weight: -427 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #48 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 11 Core Weight: 1 Total Weight: -426 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #49 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 10 Core Weight: 1 Total Weight: -425 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #50 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 9 Core Weight: 1 Total Weight: -424 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #51 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 12 Core Weight: 1 Total Weight: -423 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #52 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 12 Core Weight: 1 Total Weight: -422 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #53 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 11 Core Weight: 1 Total Weight: -421 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #54 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 15 Core Weight: 1 Total Weight: -420 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #55 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 14 Core Weight: 1 Total Weight: -419 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #56 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 15 Core Weight: 1 Total Weight: -418 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #57 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 16 Core Weight: 1 Total Weight: -417 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c core #58 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 15 Core Weight: 1 Total Weight: -416 182.14/182.22 c 182.44/182.58 c 182.44/182.58 c core #59 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 19 Core Weight: 1 Total Weight: -415 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #60 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 18 Core Weight: 1 Total Weight: -414 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #61 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 20 Core Weight: 1 Total Weight: -413 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #62 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 21 Core Weight: 1 Total Weight: -412 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #63 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 21 Core Weight: 1 Total Weight: -411 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #64 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 18 Core Weight: 1 Total Weight: -410 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #65 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 17 Core Weight: 1 Total Weight: -409 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #66 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 14 Core Weight: 1 Total Weight: -408 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #67 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 10 Core Weight: 1 Total Weight: -407 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #68 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 8 Core Weight: 1 Total Weight: -406 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #69 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 7 Core Weight: 1 Total Weight: -405 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #70 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 12 Core Weight: 1 Total Weight: -404 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #71 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 10 Core Weight: 2 Total Weight: -402 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #72 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 15 Core Weight: 1 Total Weight: -401 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #73 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 11 Core Weight: 1 Total Weight: -400 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #74 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 14 Core Weight: 1 Total Weight: -399 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #75 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 15 Core Weight: 1 Total Weight: -398 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #76 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 17 Core Weight: 1 Total Weight: -397 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #77 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 17 Core Weight: 1 Total Weight: -396 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #78 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 19 Core Weight: 1 Total Weight: -395 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #79 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 21 Core Weight: 1 Total Weight: -394 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #80 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 18 Core Weight: 1 Total Weight: -393 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #81 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 16 Core Weight: 1 Total Weight: -392 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #82 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 18 Core Weight: 1 Total Weight: -391 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #83 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 17 Core Weight: 1 Total Weight: -390 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #84 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 14 Core Weight: 1 Total Weight: -389 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #85 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 12 Core Weight: 1 Total Weight: -388 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #86 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 12 Core Weight: 1 Total Weight: -387 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #87 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 5 Core Weight: 1 Total Weight: -386 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #88 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 4 Core Weight: 1 Total Weight: -385 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #89 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 10 Core Weight: 1 Total Weight: -384 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #90 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 8 Core Weight: 1 Total Weight: -383 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #91 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 8 Core Weight: 1 Total Weight: -382 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #92 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 6 Core Weight: 2 Total Weight: -380 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #93 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 6 Core Weight: 1 Total Weight: -379 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #94 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 5 Core Weight: 1 Total Weight: -378 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #95 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 9 Core Weight: 1 Total Weight: -377 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #96 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 12 Core Weight: 1 Total Weight: -376 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #97 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 10 Core Weight: 1 Total Weight: -375 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #98 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 8 Core Weight: 1 Total Weight: -374 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #99 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 12 Core Weight: 1 Total Weight: -373 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #100 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 14 Core Weight: 1 Total Weight: -372 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #101 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 14 Core Weight: 1 Total Weight: -371 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #102 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 14 Core Weight: 1 Total Weight: -370 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #103 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 19 Core Weight: 1 Total Weight: -369 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #104 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 17 Core Weight: 1 Total Weight: -368 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #105 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 14 Core Weight: 1 Total Weight: -367 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #106 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 13 Core Weight: 1 Total Weight: -366 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #107 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 13 Core Weight: 1 Total Weight: -365 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #108 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 11 Core Weight: 1 Total Weight: -364 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #109 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 13 Core Weight: 1 Total Weight: -363 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #110 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 9 Core Weight: 1 Total Weight: -362 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #111 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 4 Core Weight: 1 Total Weight: -361 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #112 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 5 Core Weight: 2 Total Weight: -359 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #113 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 7 Core Weight: 1 Total Weight: -358 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #114 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 5 Core Weight: 1 Total Weight: -357 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #115 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 6 Core Weight: 1 Total Weight: -356 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c core #116 182.44/182.58 c 182.44/182.58 c 182.44/182.58 c Core size: 5 Core Weight: 1 Total Weight: -355 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #117 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 7 Core Weight: 1 Total Weight: -354 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #118 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 5 Core Weight: 1 Total Weight: -353 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #119 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 4 Core Weight: 2 Total Weight: -351 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #120 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 5 Core Weight: 1 Total Weight: -350 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #121 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 10 Core Weight: 2 Total Weight: -348 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #122 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 11 Core Weight: 1 Total Weight: -347 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #123 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 8 Core Weight: 1 Total Weight: -346 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #124 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 10 Core Weight: 1 Total Weight: -345 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #125 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 10 Core Weight: 1 Total Weight: -344 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #126 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 11 Core Weight: 1 Total Weight: -343 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #127 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 13 Core Weight: 1 Total Weight: -342 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #128 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 11 Core Weight: 1 Total Weight: -341 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #129 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 12 Core Weight: 1 Total Weight: -340 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #130 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 8 Core Weight: 1 Total Weight: -339 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #131 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 8 Core Weight: 1 Total Weight: -338 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #132 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 5 Core Weight: 1 Total Weight: -337 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #133 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 6 Core Weight: 1 Total Weight: -336 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #134 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 8 Core Weight: 1 Total Weight: -335 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #135 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 7 Core Weight: 1 Total Weight: -334 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #136 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 10 Core Weight: 1 Total Weight: -333 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #137 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 10 Core Weight: 1 Total Weight: -332 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #138 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 11 Core Weight: 1 Total Weight: -331 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #139 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 3 Core Weight: 1 Total Weight: -330 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #140 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 4 Core Weight: 1 Total Weight: -329 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #141 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 5 Core Weight: 2 Total Weight: -327 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #142 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 6 Core Weight: 1 Total Weight: -326 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #143 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 6 Core Weight: 1 Total Weight: -325 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #144 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 7 Core Weight: 1 Total Weight: -324 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #145 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 4 Core Weight: 1 Total Weight: -323 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #146 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 4 Core Weight: 2 Total Weight: -321 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #147 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 5 Core Weight: 2 Total Weight: -319 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #148 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 6 Core Weight: 1 Total Weight: -318 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #149 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 8 Core Weight: 1 Total Weight: -317 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #150 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 7 Core Weight: 1 Total Weight: -316 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #151 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 7 Core Weight: 1 Total Weight: -315 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #152 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 6 Core Weight: 1 Total Weight: -314 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #153 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 5 Core Weight: 1 Total Weight: -313 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #154 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 6 Core Weight: 1 Total Weight: -312 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #155 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 7 Core Weight: 1 Total Weight: -311 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #156 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 7 Core Weight: 1 Total Weight: -310 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #157 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 5 Core Weight: 1 Total Weight: -309 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #158 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 4 Core Weight: 1 Total Weight: -308 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #159 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 4 Core Weight: 1 Total Weight: -307 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #160 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 4 Core Weight: 1 Total Weight: -306 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #161 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 3 Core Weight: 1 Total Weight: -305 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #162 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 4 Core Weight: 2 Total Weight: -303 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #163 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 6 Core Weight: 1 Total Weight: -302 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #164 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 5 Core Weight: 1 Total Weight: -301 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #165 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 6 Core Weight: 1 Total Weight: -300 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #166 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 4 Core Weight: 2 Total Weight: -298 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #167 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 5 Core Weight: 1 Total Weight: -297 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #168 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 5 Core Weight: 1 Total Weight: -296 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #169 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 3 Core Weight: 1 Total Weight: -295 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #170 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 4 Core Weight: 1 Total Weight: -294 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #171 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 3 Core Weight: 2 Total Weight: -292 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #172 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 4 Core Weight: 2 Total Weight: -290 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #173 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 3 Core Weight: 1 Total Weight: -289 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #174 182.93/183.06 c 183.23/183.34 c 183.23/183.34 c Core size: 5 Core Weight: 1 Total Weight: -288 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c core #175 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c Core size: 5 Core Weight: 1 Total Weight: -287 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c core #176 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c Core size: 3 Core Weight: 1 Total Weight: -286 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c core #177 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c Core size: 4 Core Weight: 1 Total Weight: -285 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c core #178 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c Core size: 5 Core Weight: 1 Total Weight: -284 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c core #179 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c Core size: 3 Core Weight: 1 Total Weight: -283 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c core #180 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c Core size: 3 Core Weight: 1 Total Weight: -282 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c core #181 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c Core size: 3 Core Weight: 1 Total Weight: -281 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c core #182 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c Core size: 21 Core Weight: 1 Total Weight: -280 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c core #183 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c Core size: 21 Core Weight: 1 Total Weight: -279 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c core #184 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c Core size: 11 Core Weight: 1 Total Weight: -278 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c core #185 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c Core size: 8 Core Weight: 1 Total Weight: -277 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c core #186 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c Core size: 11 Core Weight: 1 Total Weight: -276 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c core #187 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c Core size: 9 Core Weight: 1 Total Weight: -275 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c core #188 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c Core size: 6 Core Weight: 1 Total Weight: -274 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c core #189 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c Core size: 6 Core Weight: 1 Total Weight: -273 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c core #190 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c Core size: 5 Core Weight: 1 Total Weight: -272 183.23/183.34 c 183.23/183.34 c 183.23/183.34 c ============================[ Search Statistics ]============================== 183.23/183.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.23/183.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.23/183.34 c =============================================================================== 183.23/183.34 c | 0 | 2275 2670 18144 | 5000 0 nan | 0.000 % | 183.23/183.34 c =============================================================================== 183.23/183.37 c core #191 183.23/183.37 c 183.23/183.37 c 183.23/183.37 c Core size: 5 Core Weight: 1 Total Weight: -271 183.23/183.37 c 183.23/183.37 c 183.23/183.37 c ============================[ Search Statistics ]============================== 183.23/183.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.23/183.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.23/183.37 c =============================================================================== 183.23/183.37 c | 0 | 2278 2672 18152 | 5000 0 nan | 0.000 % | 183.23/183.37 c =============================================================================== 183.23/183.39 c core #192 183.23/183.39 c 183.23/183.39 c 183.23/183.39 c Core size: 10 Core Weight: 1 Total Weight: -270 183.23/183.39 c 183.23/183.39 c 183.23/183.39 c ============================[ Search Statistics ]============================== 183.23/183.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.23/183.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.23/183.39 c =============================================================================== 183.23/183.39 c | 0 | 2285 2675 18170 | 5000 0 nan | 0.000 % | 183.23/183.39 c =============================================================================== 183.33/183.41 c core #193 183.33/183.41 c 183.33/183.41 c 183.33/183.41 c Core size: 25 Core Weight: 1 Total Weight: -269 183.33/183.41 c 183.33/183.41 c 183.33/183.41 c ============================[ Search Statistics ]============================== 183.33/183.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.33/183.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.33/183.41 c =============================================================================== 183.33/183.41 c | 0 | 2307 2682 18229 | 5000 0 nan | 0.000 % | 183.33/183.42 c =============================================================================== 183.33/183.44 c core #194 183.33/183.44 c 183.33/183.44 c 183.33/183.44 c Core size: 10 Core Weight: 1 Total Weight: -268 183.33/183.44 c 183.33/183.44 c 183.33/183.44 c ============================[ Search Statistics ]============================== 183.33/183.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.33/183.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.33/183.44 c =============================================================================== 183.33/183.44 c | 0 | 2313 2683 18241 | 5000 0 nan | 0.000 % | 183.33/183.44 c =============================================================================== 183.33/183.46 c core #195 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 11 Core Weight: 1 Total Weight: -267 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c ============================[ Search Statistics ]============================== 183.33/183.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.33/183.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.33/183.46 c =============================================================================== 183.33/183.46 c | 0 | 2319 2684 18253 | 5000 0 nan | 0.000 % | 183.33/183.47 c =============================================================================== 183.33/183.48 c core #196 183.33/183.48 c 183.33/183.48 c 183.33/183.48 c Core size: 9 Core Weight: 1 Total Weight: -266 183.33/183.48 c 183.33/183.48 c 183.33/183.48 c ============================[ Search Statistics ]============================== 183.33/183.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.33/183.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.33/183.48 c =============================================================================== 183.33/183.48 c | 0 | 2324 2687 18267 | 5000 0 nan | 0.000 % | 183.33/183.49 c =============================================================================== 183.43/183.51 c core #197 183.43/183.51 c 183.43/183.51 c 183.43/183.51 c Core size: 6 Core Weight: 1 Total Weight: -265 183.43/183.51 c 183.43/183.51 c 183.43/183.51 c ============================[ Search Statistics ]============================== 183.43/183.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.43/183.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.43/183.51 c =============================================================================== 183.43/183.51 c | 0 | 2327 2689 18275 | 5000 0 nan | 0.000 % | 183.43/183.52 c =============================================================================== 183.43/183.54 c core #198 183.43/183.54 c 183.43/183.54 c 183.43/183.54 c Core size: 7 Core Weight: 2 Total Weight: -263 183.43/183.54 c 183.43/183.54 c 183.43/183.54 c ============================[ Search Statistics ]============================== 183.43/183.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.43/183.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.43/183.54 c =============================================================================== 183.43/183.54 c | 0 | 2330 2690 18281 | 5000 0 nan | 0.000 % | 183.43/183.54 c =============================================================================== 183.43/183.56 c core #199 183.43/183.56 c 183.43/183.56 c 183.43/183.56 c Core size: 12 Core Weight: 1 Total Weight: -262 183.43/183.56 c 183.43/183.56 c 183.43/183.56 c ============================[ Search Statistics ]============================== 183.43/183.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.43/183.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.43/183.56 c =============================================================================== 183.43/183.56 c | 0 | 2336 2691 18293 | 5000 0 nan | 0.000 % | 183.43/183.57 c =============================================================================== 183.43/183.59 c core #200 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 16 Core Weight: 1 Total Weight: -261 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c ============================[ Search Statistics ]============================== 183.43/183.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.43/183.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.43/183.59 c =============================================================================== 183.43/183.59 c | 0 | 2344 2692 18309 | 5000 0 nan | 0.000 % | 183.43/183.59 c =============================================================================== 183.54/183.61 c core #201 183.54/183.61 c 183.54/183.61 c 183.54/183.61 c Core size: 17 Core Weight: 1 Total Weight: -260 183.54/183.61 c 183.54/183.61 c 183.54/183.61 c ============================[ Search Statistics ]============================== 183.54/183.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.54/183.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.54/183.61 c =============================================================================== 183.54/183.61 c | 0 | 2357 2693 18335 | 5000 0 nan | 0.000 % | 183.54/183.62 c =============================================================================== 183.54/183.64 c core #202 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 10 Core Weight: 1 Total Weight: -259 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c ============================[ Search Statistics ]============================== 183.54/183.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.54/183.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.54/183.64 c =============================================================================== 183.54/183.64 c | 0 | 2362 2694 18345 | 5000 0 nan | 0.000 % | 183.54/183.64 c =============================================================================== 183.54/183.66 c core #203 183.54/183.66 c 183.54/183.66 c 183.54/183.66 c Core size: 21 Core Weight: 1 Total Weight: -258 183.54/183.66 c 183.54/183.66 c 183.54/183.66 c ============================[ Search Statistics ]============================== 183.54/183.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.54/183.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.54/183.66 c =============================================================================== 183.54/183.66 c | 0 | 2379 2695 18379 | 5000 0 nan | 0.000 % | 183.54/183.67 c =============================================================================== 183.54/183.69 c core #204 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 24 Core Weight: 1 Total Weight: -257 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c ============================[ Search Statistics ]============================== 183.54/183.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.54/183.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.54/183.69 c =============================================================================== 183.54/183.69 c | 0 | 2397 2696 18415 | 5000 0 nan | 0.000 % | 183.54/183.69 c =============================================================================== 183.64/183.72 c core #205 183.64/183.72 c 183.64/183.72 c 183.64/183.72 c Core size: 40 Core Weight: 1 Total Weight: -256 183.64/183.72 c 183.64/183.72 c 183.64/183.72 c ============================[ Search Statistics ]============================== 183.64/183.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.64/183.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.64/183.72 c =============================================================================== 183.64/183.72 c | 0 | 2420 2697 18461 | 5000 0 nan | 0.000 % | 183.64/183.72 c =============================================================================== 183.64/183.74 c core #206 183.64/183.74 c 183.64/183.74 c 183.64/183.74 c Core size: 23 Core Weight: 1 Total Weight: -255 183.64/183.74 c 183.64/183.74 c 183.64/183.74 c ============================[ Search Statistics ]============================== 183.64/183.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.64/183.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.64/183.74 c =============================================================================== 183.64/183.74 c | 0 | 2438 2698 18497 | 5000 0 nan | 0.000 % | 183.64/183.75 c =============================================================================== 183.64/183.77 c core #207 183.64/183.77 c 183.64/183.77 c 183.64/183.77 c Core size: 54 Core Weight: 1 Total Weight: -254 183.64/183.77 c 183.64/183.77 c 183.64/183.77 c ============================[ Search Statistics ]============================== 183.64/183.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.64/183.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.64/183.77 c =============================================================================== 183.64/183.77 c | 0 | 2487 2699 18595 | 5000 0 nan | 0.000 % | 183.64/183.78 c =============================================================================== 183.73/183.80 c core #208 183.73/183.80 c 183.73/183.80 c 183.73/183.80 c Core size: 74 Core Weight: 1 Total Weight: -253 183.73/183.80 c 183.73/183.80 c 183.73/183.80 c ============================[ Search Statistics ]============================== 183.73/183.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.73/183.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.73/183.80 c =============================================================================== 183.73/183.80 c | 0 | 2555 2705 18741 | 5000 0 nan | 0.000 % | 183.73/183.81 c =============================================================================== 183.73/183.83 c core #209 183.73/183.83 c 183.73/183.83 c 183.73/183.83 c Core size: 10 Core Weight: 1 Total Weight: -252 183.73/183.83 c 183.73/183.83 c 183.73/183.83 c ============================[ Search Statistics ]============================== 183.73/183.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.73/183.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.73/183.83 c =============================================================================== 183.73/183.83 c | 0 | 2567 2706 18765 | 5000 0 nan | 0.000 % | 183.73/183.83 c =============================================================================== 183.73/183.85 c core #210 183.73/183.85 c 183.73/183.85 c 183.73/183.85 c Core size: 16 Core Weight: 1 Total Weight: -251 183.73/183.85 c 183.73/183.85 c 183.73/183.85 c ============================[ Search Statistics ]============================== 183.73/183.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.73/183.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.73/183.85 c =============================================================================== 183.73/183.85 c | 0 | 2579 2707 18789 | 5000 0 nan | 0.000 % | 183.73/183.86 c =============================================================================== 183.73/183.88 c core #211 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 7 Core Weight: 1 Total Weight: -250 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c ============================[ Search Statistics ]============================== 183.73/183.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.73/183.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.73/183.88 c =============================================================================== 183.73/183.88 c | 0 | 2584 2708 18799 | 5000 0 nan | 0.000 % | 183.73/183.90 c =============================================================================== 183.83/183.92 c core #212 183.83/183.92 c 183.83/183.92 c 183.83/183.92 c Core size: 56 Core Weight: 1 Total Weight: -249 183.83/183.92 c 183.83/183.92 c 183.83/183.92 c ============================[ Search Statistics ]============================== 183.83/183.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.83/183.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.83/183.92 c =============================================================================== 183.83/183.92 c | 0 | 2630 2709 18898 | 5000 0 nan | 0.000 % | 183.83/183.92 c =============================================================================== 183.83/183.94 c core #213 183.83/183.94 c 183.83/183.94 c 183.83/183.94 c Core size: 8 Core Weight: 1 Total Weight: -248 183.83/183.94 c 183.83/183.94 c 183.83/183.94 c ============================[ Search Statistics ]============================== 183.83/183.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.83/183.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.83/183.94 c =============================================================================== 183.83/183.94 c | 0 | 2635 2712 18912 | 5000 0 nan | 0.000 % | 183.83/183.95 c =============================================================================== 183.83/183.97 c core #214 183.83/183.97 c 183.83/183.97 c 183.83/183.97 c Core size: 14 Core Weight: 1 Total Weight: -247 183.83/183.97 c 183.83/183.97 c 183.83/183.97 c ============================[ Search Statistics ]============================== 183.83/183.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.83/183.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.83/183.97 c =============================================================================== 183.83/183.97 c | 0 | 2647 2722 18954 | 5000 0 nan | 0.000 % | 183.83/183.97 c =============================================================================== 183.83/184.00 c core #215 183.83/184.00 c 183.83/184.00 c 183.83/184.00 c Core size: 13 Core Weight: 1 Total Weight: -246 183.83/184.00 c 183.83/184.00 c 183.83/184.00 c ============================[ Search Statistics ]============================== 183.83/184.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.83/184.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.83/184.00 c =============================================================================== 183.83/184.00 c | 0 | 2655 2724 18972 | 5000 0 nan | 0.000 % | 183.94/184.01 c | 102 | 2650 2724 18972 | 5500 102 27 | 2.824 % | 183.94/184.01 c =============================================================================== 183.94/184.03 c core #216 183.94/184.03 c 183.94/184.03 c 183.94/184.03 c Core size: 71 Core Weight: 1 Total Weight: -245 183.94/184.03 c 183.94/184.03 c 183.94/184.03 c ============================[ Search Statistics ]============================== 183.94/184.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.94/184.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.94/184.03 c =============================================================================== 183.94/184.03 c | 0 | 2712 2726 19086 | 5000 0 nan | 0.000 % | 183.94/184.04 c =============================================================================== 183.94/184.06 c core #217 183.94/184.06 c 183.94/184.06 c 183.94/184.06 c Core size: 36 Core Weight: 1 Total Weight: -244 183.94/184.06 c 183.94/184.06 c 183.94/184.06 c ============================[ Search Statistics ]============================== 183.94/184.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.94/184.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.94/184.06 c =============================================================================== 183.94/184.06 c | 0 | 2744 2727 19160 | 5000 0 nan | 0.000 % | 183.94/184.07 c =============================================================================== 183.94/184.09 c core #218 183.94/184.09 c 183.94/184.09 c 183.94/184.09 c Core size: 17 Core Weight: 1 Total Weight: -243 183.94/184.09 c 183.94/184.09 c 183.94/184.09 c ============================[ Search Statistics ]============================== 183.94/184.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.94/184.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.94/184.09 c =============================================================================== 183.94/184.09 c | 0 | 2757 2728 19186 | 5000 0 nan | 0.000 % | 183.94/184.10 c =============================================================================== 184.03/184.12 c core #219 184.03/184.12 c 184.03/184.12 c 184.03/184.12 c Core size: 8 Core Weight: 2 Total Weight: -241 184.03/184.12 c 184.03/184.12 c 184.03/184.12 c ============================[ Search Statistics ]============================== 184.03/184.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.03/184.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.03/184.12 c =============================================================================== 184.03/184.12 c | 0 | 2762 2729 19196 | 5000 0 nan | 0.000 % | 184.03/184.13 c | 102 | 2762 2729 19196 | 5500 102 35 | 2.403 % | 184.03/184.13 c =============================================================================== 184.03/184.16 c core #220 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 54 Core Weight: 1 Total Weight: -240 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c ============================[ Search Statistics ]============================== 184.03/184.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.03/184.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.03/184.16 c =============================================================================== 184.03/184.16 c | 0 | 2811 2730 19320 | 5000 0 nan | 0.000 % | 184.03/184.16 c =============================================================================== 184.03/184.19 c core #221 184.03/184.19 c 184.03/184.19 c 184.03/184.19 c Core size: 70 Core Weight: 1 Total Weight: -239 184.03/184.19 c 184.03/184.19 c 184.03/184.19 c ============================[ Search Statistics ]============================== 184.03/184.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.03/184.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.03/184.19 c =============================================================================== 184.03/184.19 c | 0 | 2875 2731 19468 | 5000 0 nan | 0.000 % | 184.03/184.19 c =============================================================================== 184.13/184.21 c core #222 184.13/184.21 c 184.13/184.21 c 184.13/184.21 c Core size: 11 Core Weight: 1 Total Weight: -238 184.13/184.21 c 184.13/184.21 c 184.13/184.21 c ============================[ Search Statistics ]============================== 184.13/184.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.13/184.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.13/184.21 c =============================================================================== 184.13/184.21 c | 0 | 2885 2732 19495 | 5000 0 nan | 0.000 % | 184.13/184.22 c =============================================================================== 184.13/184.24 c core #223 184.13/184.24 c 184.13/184.24 c 184.13/184.24 c Core size: 25 Core Weight: 1 Total Weight: -237 184.13/184.24 c 184.13/184.24 c 184.13/184.24 c ============================[ Search Statistics ]============================== 184.13/184.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.13/184.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.13/184.24 c =============================================================================== 184.13/184.24 c | 0 | 2909 2733 19563 | 5000 0 nan | 0.000 % | 184.13/184.25 c =============================================================================== 184.13/184.27 c core #224 184.13/184.27 c 184.13/184.27 c 184.13/184.27 c Core size: 11 Core Weight: 1 Total Weight: -236 184.13/184.27 c 184.13/184.27 c 184.13/184.27 c ============================[ Search Statistics ]============================== 184.13/184.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.13/184.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.13/184.27 c =============================================================================== 184.13/184.27 c | 0 | 2916 2734 19577 | 5000 0 nan | 0.000 % | 184.13/184.27 c =============================================================================== 184.13/184.29 c core #225 184.13/184.29 c 184.13/184.29 c 184.13/184.29 c Core size: 9 Core Weight: 1 Total Weight: -235 184.13/184.29 c 184.13/184.29 c 184.13/184.30 c ============================[ Search Statistics ]============================== 184.13/184.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.13/184.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.13/184.30 c =============================================================================== 184.13/184.30 c | 0 | 2922 2735 19589 | 5000 0 nan | 0.000 % | 184.23/184.30 c =============================================================================== 184.23/184.32 c core #226 184.23/184.32 c 184.23/184.32 c 184.23/184.32 c Core size: 21 Core Weight: 1 Total Weight: -234 184.23/184.32 c 184.23/184.32 c 184.23/184.32 c ============================[ Search Statistics ]============================== 184.23/184.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.23/184.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.23/184.32 c =============================================================================== 184.23/184.32 c | 0 | 2938 2738 19625 | 5000 0 nan | 0.000 % | 184.23/184.33 c =============================================================================== 184.23/184.35 c core #227 184.23/184.35 c 184.23/184.35 c 184.23/184.35 c Core size: 31 Core Weight: 1 Total Weight: -233 184.23/184.35 c 184.23/184.35 c 184.23/184.35 c ============================[ Search Statistics ]============================== 184.23/184.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.23/184.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.23/184.35 c =============================================================================== 184.23/184.35 c | 0 | 2970 2739 19729 | 5000 0 nan | 0.000 % | 184.23/184.35 c =============================================================================== 184.23/184.38 c core #228 184.23/184.38 c 184.23/184.38 c 184.23/184.38 c Core size: 14 Core Weight: 1 Total Weight: -232 184.23/184.38 c 184.23/184.38 c 184.23/184.38 c ============================[ Search Statistics ]============================== 184.23/184.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.23/184.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.23/184.38 c =============================================================================== 184.23/184.38 c | 0 | 2978 2740 19745 | 5000 0 nan | 0.000 % | 184.23/184.38 c =============================================================================== 184.33/184.40 c core #229 184.33/184.40 c 184.33/184.40 c 184.33/184.40 c Core size: 24 Core Weight: 1 Total Weight: -231 184.33/184.40 c 184.33/184.40 c 184.33/184.40 c ============================[ Search Statistics ]============================== 184.33/184.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.33/184.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.33/184.40 c =============================================================================== 184.33/184.40 c | 0 | 2997 2741 19788 | 5000 0 nan | 0.000 % | 184.33/184.41 c =============================================================================== 184.33/184.43 c core #230 184.33/184.43 c 184.33/184.43 c 184.33/184.43 c Core size: 19 Core Weight: 1 Total Weight: -230 184.33/184.43 c 184.33/184.43 c 184.33/184.43 c ============================[ Search Statistics ]============================== 184.33/184.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.33/184.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.33/184.43 c =============================================================================== 184.33/184.43 c | 0 | 3010 2742 19814 | 5000 0 nan | 0.000 % | 184.33/184.44 c =============================================================================== 184.33/184.47 c core #231 184.33/184.47 c 184.33/184.47 c 184.33/184.47 c Core size: 69 Core Weight: 1 Total Weight: -229 184.33/184.47 c 184.33/184.47 c 184.33/184.47 c ============================[ Search Statistics ]============================== 184.33/184.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.33/184.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.33/184.47 c =============================================================================== 184.33/184.47 c | 0 | 3067 2743 19935 | 5000 0 nan | 0.000 % | 184.33/184.47 c =============================================================================== 184.33/184.49 c core #232 184.33/184.49 c 184.33/184.49 c 184.33/184.49 c Core size: 34 Core Weight: 1 Total Weight: -228 184.33/184.49 c 184.33/184.49 c 184.33/184.49 c ============================[ Search Statistics ]============================== 184.33/184.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.33/184.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.33/184.49 c =============================================================================== 184.33/184.49 c | 0 | 3095 2745 19997 | 5000 0 nan | 0.000 % | 184.43/184.50 c =============================================================================== 184.43/184.52 c core #233 184.43/184.52 c 184.43/184.52 c 184.43/184.52 c Core size: 18 Core Weight: 1 Total Weight: -227 184.43/184.52 c 184.43/184.52 c 184.43/184.52 c ============================[ Search Statistics ]============================== 184.43/184.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.43/184.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.43/184.52 c =============================================================================== 184.43/184.52 c | 0 | 3108 2749 20029 | 5000 0 nan | 0.000 % | 184.43/184.53 c =============================================================================== 184.43/184.55 c core #234 184.43/184.55 c 184.43/184.55 c 184.43/184.55 c Core size: 21 Core Weight: 1 Total Weight: -226 184.43/184.55 c 184.43/184.55 c 184.43/184.55 c ============================[ Search Statistics ]============================== 184.43/184.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.43/184.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.43/184.55 c =============================================================================== 184.43/184.55 c | 0 | 3125 2750 20074 | 5000 0 nan | 0.000 % | 184.43/184.56 c | 100 | 3120 2750 20074 | 5500 100 24 | 1.453 % | 184.43/184.57 c | 250 | 3120 2750 20074 | 6050 250 22 | 1.453 % | 184.43/184.58 c =============================================================================== 184.53/184.60 c core #235 184.53/184.60 c 184.53/184.60 c 184.53/184.60 c Core size: 63 Core Weight: 1 Total Weight: -225 184.53/184.60 c 184.53/184.60 c 184.53/184.60 c ============================[ Search Statistics ]============================== 184.53/184.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.53/184.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.53/184.60 c =============================================================================== 184.53/184.60 c | 0 | 3166 2751 20156 | 5000 0 nan | 0.000 % | 184.53/184.61 c =============================================================================== 184.53/184.63 c core #236 184.53/184.63 c 184.53/184.63 c 184.53/184.63 c Core size: 44 Core Weight: 1 Total Weight: -224 184.53/184.63 c 184.53/184.63 c 184.53/184.63 c ============================[ Search Statistics ]============================== 184.53/184.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.53/184.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.53/184.63 c =============================================================================== 184.53/184.63 c | 0 | 3200 2752 20224 | 5000 0 nan | 0.000 % | 184.53/184.64 c =============================================================================== 184.53/184.66 c core #237 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 40 Core Weight: 1 Total Weight: -223 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c ============================[ Search Statistics ]============================== 184.53/184.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.53/184.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.53/184.66 c =============================================================================== 184.53/184.66 c | 0 | 3236 2753 20303 | 5000 0 nan | 0.000 % | 184.53/184.67 c =============================================================================== 184.53/184.69 c core #238 184.53/184.69 c 184.53/184.69 c 184.53/184.69 c Core size: 23 Core Weight: 1 Total Weight: -222 184.53/184.69 c 184.53/184.69 c 184.53/184.69 c ============================[ Search Statistics ]============================== 184.53/184.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.53/184.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.53/184.69 c =============================================================================== 184.53/184.69 c | 0 | 3252 2754 20335 | 5000 0 nan | 0.000 % | 184.64/184.70 c =============================================================================== 184.64/184.72 c core #239 184.64/184.72 c 184.64/184.72 c 184.64/184.72 c Core size: 65 Core Weight: 1 Total Weight: -221 184.64/184.72 c 184.64/184.72 c 184.64/184.72 c ============================[ Search Statistics ]============================== 184.64/184.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.64/184.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.64/184.72 c =============================================================================== 184.64/184.72 c | 0 | 3305 2755 20473 | 5000 0 nan | 0.000 % | 184.64/184.73 c =============================================================================== 184.64/184.75 c core #240 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 89 Core Weight: 1 Total Weight: -220 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c ============================[ Search Statistics ]============================== 184.64/184.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.64/184.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.64/184.75 c =============================================================================== 184.64/184.75 c | 0 | 3392 2756 20672 | 5000 0 nan | 0.000 % | 184.64/184.76 c =============================================================================== 184.64/184.78 c core #241 184.64/184.78 c 184.64/184.78 c 184.64/184.78 c Core size: 22 Core Weight: 1 Total Weight: -219 184.64/184.78 c 184.64/184.78 c 184.64/184.78 c ============================[ Search Statistics ]============================== 184.64/184.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.64/184.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.64/184.78 c =============================================================================== 184.64/184.78 c | 0 | 3408 2757 20704 | 5000 0 nan | 0.000 % | 184.64/184.79 c =============================================================================== 184.74/184.81 c core #242 184.74/184.81 c 184.74/184.81 c 184.74/184.81 c Core size: 36 Core Weight: 1 Total Weight: -218 184.74/184.81 c 184.74/184.81 c 184.74/184.81 c ============================[ Search Statistics ]============================== 184.74/184.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.74/184.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.74/184.81 c =============================================================================== 184.74/184.81 c | 0 | 3437 2758 20762 | 5000 0 nan | 0.000 % | 184.74/184.82 c =============================================================================== 184.74/184.84 c core #243 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c Core size: 65 Core Weight: 1 Total Weight: -217 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c ============================[ Search Statistics ]============================== 184.74/184.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.74/184.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.74/184.84 c =============================================================================== 184.74/184.84 c | 0 | 3501 2759 20915 | 5000 0 nan | 0.000 % | 184.74/184.85 c =============================================================================== 184.74/184.87 c core #244 184.74/184.87 c 184.74/184.87 c 184.74/184.87 c Core size: 84 Core Weight: 1 Total Weight: -216 184.74/184.87 c 184.74/184.87 c 184.74/184.87 c ============================[ Search Statistics ]============================== 184.74/184.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.74/184.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.74/184.87 c =============================================================================== 184.74/184.87 c | 0 | 3579 2761 21100 | 5000 0 nan | 0.000 % | 184.74/184.88 c | 101 | 3579 2761 21100 | 5500 101 13 | 0.417 % | 184.74/184.89 c =============================================================================== 184.83/184.91 c core #245 184.83/184.91 c 184.83/184.91 c 184.83/184.91 c Core size: 88 Core Weight: 1 Total Weight: -215 184.83/184.91 c 184.83/184.91 c 184.83/184.91 c ============================[ Search Statistics ]============================== 184.83/184.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.83/184.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.83/184.91 c =============================================================================== 184.83/184.91 c | 0 | 3663 2762 21268 | 5000 0 nan | 0.000 % | 184.83/184.92 c =============================================================================== 184.83/184.94 c core #246 184.83/184.94 c 184.83/184.94 c 184.83/184.94 c Core size: 41 Core Weight: 1 Total Weight: -214 184.83/184.94 c 184.83/184.94 c 184.83/184.94 c ============================[ Search Statistics ]============================== 184.83/184.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.83/184.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.83/184.94 c =============================================================================== 184.83/184.94 c | 0 | 3698 2763 21365 | 5000 0 nan | 0.000 % | 184.83/184.95 c =============================================================================== 184.83/184.98 c core #247 184.83/184.98 c 184.83/184.98 c 184.83/184.98 c Core size: 41 Core Weight: 1 Total Weight: -213 184.83/184.98 c 184.83/184.98 c 184.83/184.98 c ============================[ Search Statistics ]============================== 184.83/184.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.83/184.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.83/184.98 c =============================================================================== 184.83/184.98 c | 0 | 3728 2764 21425 | 5000 0 nan | 0.000 % | 184.83/184.99 c | 102 | 3728 2764 21425 | 5500 102 23 | 0.241 % | 184.83/184.99 c =============================================================================== 184.93/185.02 c core #248 184.93/185.02 c 184.93/185.02 c 184.93/185.02 c Core size: 169 Core Weight: 1 Total Weight: -212 184.93/185.02 c 184.93/185.02 c 184.93/185.02 c ============================[ Search Statistics ]============================== 184.93/185.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.93/185.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.93/185.02 c =============================================================================== 184.93/185.02 c | 0 | 3891 2766 21750 | 5000 0 nan | 0.000 % | 184.93/185.03 c | 100 | 3891 2766 21750 | 5500 100 42 | 0.180 % | 184.93/185.05 c | 251 | 3890 2766 21750 | 6050 251 36 | 0.205 % | 184.93/185.06 c =============================================================================== 184.93/185.08 c core #249 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 103 Core Weight: 1 Total Weight: -211 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c ============================[ Search Statistics ]============================== 184.93/185.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.93/185.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.93/185.09 c =============================================================================== 184.93/185.09 c | 0 | 3991 2768 21949 | 5000 0 nan | 0.000 % | 185.03/185.10 c | 100 | 3984 2768 21949 | 5500 100 9 | 0.800 % | 185.03/185.10 c =============================================================================== 185.03/185.13 c core #250 185.03/185.13 c 185.03/185.13 c 185.03/185.13 c Core size: 114 Core Weight: 1 Total Weight: -210 185.03/185.13 c 185.03/185.13 c 185.03/185.13 c ============================[ Search Statistics ]============================== 185.03/185.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.03/185.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.03/185.13 c =============================================================================== 185.03/185.13 c | 0 | 4084 2769 22135 | 5000 0 nan | 0.000 % | 185.03/185.14 c =============================================================================== 185.03/185.16 c core #251 185.03/185.16 c 185.03/185.16 c 185.03/185.16 c Core size: 96 Core Weight: 1 Total Weight: -209 185.03/185.16 c 185.03/185.16 c 185.03/185.16 c ============================[ Search Statistics ]============================== 185.03/185.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.03/185.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.03/185.16 c =============================================================================== 185.03/185.16 c | 0 | 4167 2772 22320 | 5000 0 nan | 0.000 % | 185.03/185.18 c | 100 | 4164 2772 22320 | 5500 100 10 | 0.240 % | 185.03/185.18 c =============================================================================== 185.13/185.20 c core #252 185.13/185.20 c 185.13/185.20 c 185.13/185.20 c Core size: 50 Core Weight: 1 Total Weight: -208 185.13/185.20 c 185.13/185.20 c 185.13/185.20 c ============================[ Search Statistics ]============================== 185.13/185.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.13/185.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.13/185.20 c =============================================================================== 185.13/185.20 c | 0 | 4207 2773 22400 | 5000 0 nan | 0.000 % | 185.13/185.21 c =============================================================================== 185.13/185.24 c core #253 185.13/185.24 c 185.13/185.24 c 185.13/185.24 c Core size: 85 Core Weight: 1 Total Weight: -207 185.13/185.24 c 185.13/185.24 c 185.13/185.24 c ============================[ Search Statistics ]============================== 185.13/185.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.13/185.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.13/185.24 c =============================================================================== 185.13/185.24 c | 0 | 4275 2779 22562 | 5000 0 nan | 0.000 % | 185.13/185.25 c =============================================================================== 185.13/185.28 c core #254 185.13/185.28 c 185.13/185.28 c 185.13/185.28 c Core size: 63 Core Weight: 1 Total Weight: -206 185.13/185.28 c 185.13/185.28 c 185.13/185.28 c ============================[ Search Statistics ]============================== 185.13/185.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.13/185.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.13/185.28 c =============================================================================== 185.13/185.28 c | 0 | 4334 2780 22687 | 5000 0 nan | 0.000 % | 185.13/185.29 c | 100 | 4334 2780 22687 | 5500 100 21 | 0.046 % | 185.23/185.30 c | 256 | 4334 2780 22687 | 6050 256 21 | 0.046 % | 185.23/185.31 c =============================================================================== 185.23/185.34 c core #255 185.23/185.34 c 185.23/185.34 c 185.23/185.34 c Core size: 25 Core Weight: 1 Total Weight: -205 185.23/185.34 c 185.23/185.34 c 185.23/185.34 c ============================[ Search Statistics ]============================== 185.23/185.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.23/185.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.23/185.34 c =============================================================================== 185.23/185.34 c | 0 | 4355 2781 22729 | 5000 0 nan | 0.000 % | 185.23/185.35 c =============================================================================== 185.23/185.37 c core #256 185.23/185.37 c 185.23/185.37 c 185.23/185.37 c Core size: 54 Core Weight: 1 Total Weight: -204 185.23/185.37 c 185.23/185.37 c 185.23/185.37 c ============================[ Search Statistics ]============================== 185.23/185.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.23/185.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.23/185.37 c =============================================================================== 185.23/185.37 c | 0 | 4400 2782 22819 | 5000 0 nan | 0.000 % | 185.23/185.39 c | 101 | 4399 2782 22819 | 5500 101 12 | 0.068 % | 185.23/185.39 c =============================================================================== 185.33/185.42 c core #257 185.33/185.42 c 185.33/185.42 c 185.33/185.42 c Core size: 90 Core Weight: 1 Total Weight: -203 185.33/185.42 c 185.33/185.42 c 185.33/185.42 c ============================[ Search Statistics ]============================== 185.33/185.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.33/185.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.33/185.42 c =============================================================================== 185.33/185.42 c | 0 | 4478 2783 22975 | 5000 0 nan | 0.000 % | 185.33/185.43 c | 104 | 4478 2783 22975 | 5500 104 22 | 0.045 % | 185.33/185.44 c =============================================================================== 185.33/185.47 c core #258 185.33/185.47 c 185.33/185.47 c 185.33/185.47 c Core size: 51 Core Weight: 1 Total Weight: -202 185.33/185.47 c 185.33/185.47 c 185.33/185.47 c ============================[ Search Statistics ]============================== 185.33/185.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.33/185.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.33/185.47 c =============================================================================== 185.33/185.47 c | 0 | 4527 2784 23073 | 5000 0 nan | 0.000 % | 185.33/185.48 c | 101 | 4527 2784 23073 | 5500 101 23 | 0.044 % | 185.33/185.48 c =============================================================================== 185.43/185.51 c core #259 185.43/185.51 c 185.43/185.51 c 185.43/185.51 c Core size: 31 Core Weight: 1 Total Weight: -201 185.43/185.51 c 185.43/185.51 c 185.43/185.51 c ============================[ Search Statistics ]============================== 185.43/185.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.43/185.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.43/185.51 c =============================================================================== 185.43/185.51 c | 0 | 4553 2785 23125 | 5000 0 nan | 0.000 % | 185.43/185.53 c | 101 | 4553 2785 23125 | 5500 101 32 | 0.044 % | 185.43/185.54 c | 252 | 4550 2785 23125 | 6050 251 25 | 0.110 % | 185.43/185.55 c =============================================================================== 185.43/185.57 c core #260 185.43/185.57 c 185.43/185.57 c 185.43/185.57 c Core size: 11 Core Weight: 1 Total Weight: -200 185.43/185.57 c 185.43/185.57 c 185.43/185.57 c ============================[ Search Statistics ]============================== 185.43/185.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.43/185.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.43/185.57 c =============================================================================== 185.43/185.57 c | 0 | 4563 2786 23145 | 5000 0 nan | 0.000 % | 185.43/185.59 c | 100 | 4563 2786 23145 | 5500 100 26 | 0.044 % | 185.53/185.60 c | 250 | 4560 2786 23145 | 6050 250 25 | 0.964 % | 185.53/185.63 c | 475 | 4519 2786 23145 | 6655 471 23 | 1.008 % | 185.53/185.66 c =============================================================================== 185.53/185.69 c core #261 185.53/185.69 c 185.53/185.69 c 185.53/185.69 c Core size: 224 Core Weight: 1 Total Weight: -199 185.53/185.69 c 185.53/185.69 c 185.53/185.69 c ============================[ Search Statistics ]============================== 185.53/185.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.53/185.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.53/185.69 c =============================================================================== 185.53/185.69 c | 0 | 4751 2787 23521 | 5000 0 nan | 0.000 % | 185.63/185.70 c =============================================================================== 185.63/185.72 c core #262 185.63/185.72 c 185.63/185.72 c 185.63/185.72 c Core size: 110 Core Weight: 1 Total Weight: -198 185.63/185.72 c 185.63/185.72 c 185.63/185.72 c ============================[ Search Statistics ]============================== 185.63/185.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.63/185.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.63/185.72 c =============================================================================== 185.63/185.72 c | 0 | 4854 2790 23731 | 5000 0 nan | 0.000 % | 185.63/185.74 c | 104 | 4854 2790 23731 | 5500 104 32 | 0.041 % | 185.63/185.75 c | 254 | 4854 2790 23731 | 6050 254 28 | 0.041 % | 185.63/185.77 c | 482 | 4854 2790 23731 | 6655 482 26 | 0.041 % | 185.63/185.79 c | 821 | 4854 2790 23731 | 7320 821 25 | 0.041 % | 185.74/185.82 c | 1327 | 4854 2790 23731 | 8052 1327 28 | 0.041 % | 185.74/185.90 c | 2086 | 4854 2790 23731 | 8857 2086 30 | 0.041 % | 185.93/186.02 c =============================================================================== 185.93/186.05 c core #263 185.93/186.05 c 185.93/186.05 c 185.93/186.05 c Core size: 69 Core Weight: 1 Total Weight: -197 185.93/186.05 c 185.93/186.05 c 185.93/186.05 c ============================[ Search Statistics ]============================== 185.93/186.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.93/186.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.93/186.05 c =============================================================================== 185.93/186.05 c | 0 | 4919 2791 23861 | 5000 0 nan | 0.000 % | 185.93/186.07 c | 100 | 4919 2791 23861 | 5500 100 14 | 0.041 % | 185.93/186.08 c | 252 | 4919 2791 23861 | 6050 252 10 | 0.041 % | 185.93/186.09 c | 477 | 4919 2791 23861 | 6655 477 10 | 0.041 % | 186.03/186.12 c | 815 | 4919 2791 23861 | 7320 815 11 | 0.041 % | 186.03/186.15 c =============================================================================== 186.03/186.19 c core #264 186.03/186.19 c 186.03/186.19 c 186.03/186.19 c Core size: 151 Core Weight: 1 Total Weight: -196 186.03/186.19 c 186.03/186.19 c 186.03/186.19 c ============================[ Search Statistics ]============================== 186.03/186.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.03/186.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.03/186.19 c =============================================================================== 186.03/186.19 c | 0 | 5055 2792 24133 | 5000 0 nan | 0.000 % | 186.13/186.21 c | 102 | 5055 2792 24133 | 5500 102 31 | 0.040 % | 186.13/186.21 c | 253 | 5055 2792 24133 | 6050 253 21 | 0.040 % | 186.13/186.23 c | 479 | 5053 2792 24133 | 6655 479 15 | 0.099 % | 186.13/186.24 c =============================================================================== 186.13/186.27 c core #265 186.13/186.27 c 186.13/186.27 c 186.13/186.27 c Core size: 36 Core Weight: 1 Total Weight: -195 186.13/186.27 c 186.13/186.27 c 186.13/186.27 c ============================[ Search Statistics ]============================== 186.13/186.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.13/186.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.13/186.27 c =============================================================================== 186.13/186.27 c | 0 | 5084 2793 24191 | 5000 0 nan | 0.000 % | 186.13/186.29 c | 101 | 5084 2793 24191 | 5500 101 16 | 0.039 % | 186.23/186.30 c | 251 | 5084 2793 24191 | 6050 251 20 | 0.039 % | 186.23/186.32 c | 477 | 5084 2793 24191 | 6655 477 20 | 0.039 % | 186.23/186.35 c | 814 | 5075 2793 24191 | 7320 813 17 | 0.216 % | 186.23/186.36 c =============================================================================== 186.23/186.39 c core #266 186.23/186.39 c 186.23/186.39 c 186.23/186.39 c Core size: 30 Core Weight: 1 Total Weight: -194 186.23/186.39 c 186.23/186.39 c 186.23/186.39 c ============================[ Search Statistics ]============================== 186.23/186.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.23/186.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.23/186.39 c =============================================================================== 186.23/186.39 c | 0 | 5109 2794 24241 | 5000 0 nan | 0.000 % | 186.33/186.40 c | 101 | 5109 2794 24241 | 5500 101 18 | 0.039 % | 186.33/186.41 c | 251 | 5109 2794 24241 | 6050 251 17 | 0.039 % | 186.33/186.42 c | 477 | 5109 2794 24241 | 6655 477 17 | 0.039 % | 186.33/186.44 c | 815 | 5109 2794 24241 | 7320 815 16 | 0.039 % | 186.33/186.49 c | 1321 | 5109 2794 24241 | 8052 1321 18 | 0.039 % | 186.42/186.55 c | 2086 | 5109 2794 24241 | 8857 2086 19 | 0.039 % | 186.53/186.67 c | 3227 | 5109 2794 24241 | 9743 3227 21 | 0.039 % | 186.83/186.92 c | 4937 | 5109 2794 24241 | 10717 4937 22 | 0.039 % | 187.02/187.11 c =============================================================================== 187.12/187.23 c core #267 187.12/187.23 c 187.12/187.23 c 187.12/187.23 c Core size: 88 Core Weight: 1 Total Weight: -193 187.12/187.23 c 187.12/187.23 c 187.12/187.23 c ============================[ Search Statistics ]============================== 187.12/187.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.12/187.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.12/187.23 c =============================================================================== 187.12/187.23 c | 0 | 5194 2795 24411 | 5000 0 nan | 0.000 % | 187.12/187.25 c | 101 | 5194 2795 24411 | 5500 101 31 | 0.038 % | 187.12/187.26 c | 253 | 5194 2795 24411 | 6050 253 26 | 0.038 % | 187.12/187.28 c | 483 | 5194 2795 24411 | 6655 483 26 | 0.038 % | 187.23/187.31 c | 821 | 5194 2795 24411 | 7320 821 22 | 0.038 % | 187.23/187.36 c | 1327 | 5194 2795 24411 | 8052 1327 22 | 0.039 % | 187.33/187.45 c | 2087 | 5194 2795 24411 | 8857 2087 22 | 0.038 % | 187.33/187.45 c =============================================================================== 187.33/187.48 c core #268 187.33/187.48 c 187.33/187.48 c 187.33/187.48 c Core size: 16 Core Weight: 1 Total Weight: -192 187.33/187.48 c 187.33/187.48 c 187.33/187.48 c ============================[ Search Statistics ]============================== 187.33/187.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.33/187.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.33/187.48 c =============================================================================== 187.33/187.48 c | 0 | 5206 2796 24435 | 5000 0 nan | 0.000 % | 187.42/187.50 c | 102 | 5206 2796 24435 | 5500 102 42 | 0.038 % | 187.42/187.51 c =============================================================================== 187.42/187.53 c core #269 187.42/187.53 c 187.42/187.53 c 187.42/187.53 c Core size: 53 Core Weight: 1 Total Weight: -191 187.42/187.53 c 187.42/187.53 c 187.42/187.53 c ============================[ Search Statistics ]============================== 187.42/187.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.42/187.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.42/187.53 c =============================================================================== 187.42/187.53 c | 0 | 5255 2797 24533 | 5000 0 nan | 0.000 % | 187.42/187.55 c | 101 | 5255 2797 24533 | 5500 101 23 | 0.038 % | 187.42/187.56 c | 251 | 5252 2797 24533 | 6050 251 21 | 0.095 % | 187.42/187.57 c | 478 | 5252 2797 24533 | 6655 478 21 | 0.095 % | 187.42/187.59 c | 815 | 5252 2797 24533 | 7320 814 22 | 0.095 % | 187.53/187.62 c | 1326 | 5251 2797 24533 | 8052 1325 23 | 0.114 % | 187.63/187.70 c | 2087 | 5250 2797 24533 | 8857 2084 26 | 0.133 % | 187.73/187.84 c | 3226 | 5250 2797 24533 | 9743 3223 33 | 0.133 % | 187.93/188.08 c | 4934 | 5250 2797 24533 | 10717 4930 37 | 0.133 % | 188.23/188.39 c =============================================================================== 188.43/188.52 c core #270 188.43/188.52 c 188.43/188.52 c 188.43/188.52 c Core size: 68 Core Weight: 1 Total Weight: -190 188.43/188.52 c 188.43/188.52 c 188.43/188.52 c ============================[ Search Statistics ]============================== 188.43/188.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.43/188.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.43/188.52 c =============================================================================== 188.43/188.52 c | 0 | 5314 2798 24651 | 5000 0 nan | 0.000 % | 188.43/188.54 c | 103 | 5314 2798 24651 | 5500 103 35 | 0.038 % | 188.43/188.54 c | 253 | 5314 2798 24651 | 6050 253 23 | 0.038 % | 188.43/188.56 c | 478 | 5314 2798 24651 | 6655 478 23 | 0.038 % | 188.43/188.58 c | 816 | 5314 2798 24651 | 7320 816 22 | 0.038 % | 188.53/188.62 c | 1322 | 5314 2798 24651 | 8052 1322 25 | 0.038 % | 188.53/188.68 c | 2082 | 5314 2798 24651 | 8857 2082 22 | 0.038 % | 188.73/188.82 c | 3222 | 5314 2798 24651 | 9743 3222 27 | 0.038 % | 188.93/189.01 c | 4930 | 5314 2798 24651 | 10717 4930 27 | 0.038 % | 189.22/189.37 c | 7493 | 5314 2798 24651 | 11789 7493 31 | 0.038 % | 190.14/190.21 c | 11337 | 5311 2798 24651 | 12968 10615 34 | 0.094 % | 191.62/191.71 c | 17103 | 5308 2798 24651 | 14265 9349 43 | 0.151 % | 193.22/193.39 c =============================================================================== 193.33/193.45 c core #271 193.33/193.45 c 193.33/193.45 c 193.33/193.45 c Core size: 196 Core Weight: 1 Total Weight: -189 193.33/193.45 c 193.33/193.45 c 193.33/193.45 c ============================[ Search Statistics ]============================== 193.33/193.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.33/193.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.33/193.45 c =============================================================================== 193.33/193.45 c | 0 | 5490 2800 25005 | 5000 0 nan | 0.000 % | 193.33/193.48 c | 100 | 5490 2800 25005 | 5500 100 22 | 0.036 % | 193.33/193.48 c | 251 | 5490 2800 25005 | 6050 251 19 | 0.036 % | 193.43/193.50 c | 478 | 5490 2800 25005 | 6655 478 17 | 0.036 % | 193.43/193.53 c | 816 | 5490 2800 25005 | 7320 816 21 | 0.036 % | 193.43/193.57 c | 1322 | 5490 2800 25005 | 8052 1322 20 | 0.036 % | 193.53/193.65 c | 2084 | 5490 2800 25005 | 8857 2084 18 | 0.036 % | 193.62/193.77 c | 3224 | 5490 2800 25005 | 9743 3224 19 | 0.036 % | 193.83/193.94 c | 4932 | 5490 2800 25005 | 10717 4932 18 | 0.036 % | 194.13/194.29 c | 7497 | 5488 2800 25005 | 11789 6798 17 | 0.073 % | 194.32/194.49 c =============================================================================== 194.53/194.62 c core #272 194.53/194.62 c 194.53/194.62 c 194.53/194.62 c Core size: 158 Core Weight: 1 Total Weight: -188 194.53/194.62 c 194.53/194.62 c 194.53/194.62 c ============================[ Search Statistics ]============================== 194.53/194.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.53/194.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.53/194.62 c =============================================================================== 194.53/194.62 c | 0 | 5643 2801 25311 | 5000 0 nan | 0.000 % | 194.53/194.64 c | 100 | 5643 2801 25311 | 5500 100 23 | 0.035 % | 194.53/194.65 c | 250 | 5643 2801 25311 | 6050 250 28 | 0.035 % | 194.53/194.67 c | 476 | 5643 2801 25311 | 6655 476 31 | 0.035 % | 194.53/194.69 c | 815 | 5643 2801 25311 | 7320 815 29 | 0.035 % | 194.63/194.73 c | 1322 | 5643 2801 25311 | 8052 1322 25 | 0.035 % | 194.63/194.76 c =============================================================================== 194.73/194.80 c core #273 194.73/194.80 c 194.73/194.80 c 194.73/194.80 c Core size: 64 Core Weight: 1 Total Weight: -187 194.73/194.80 c 194.73/194.80 c 194.73/194.80 c ============================[ Search Statistics ]============================== 194.73/194.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.73/194.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.73/194.80 c =============================================================================== 194.73/194.80 c | 0 | 5705 2802 25435 | 5000 0 nan | 0.000 % | 194.73/194.81 c | 101 | 5705 2802 25435 | 5500 101 25 | 0.035 % | 194.73/194.83 c | 258 | 5705 2802 25435 | 6050 258 17 | 0.035 % | 194.73/194.85 c | 483 | 5705 2802 25435 | 6655 483 14 | 0.035 % | 194.73/194.88 c | 822 | 5701 2802 25435 | 7320 516 15 | 0.105 % | 194.82/194.92 c | 1331 | 5701 2802 25435 | 8052 1025 18 | 0.105 % | 194.93/195.00 c | 2090 | 5693 2802 25435 | 8857 1776 18 | 0.245 % | 194.93/195.02 c =============================================================================== 194.93/195.07 c core #274 194.93/195.07 c 194.93/195.07 c 194.93/195.07 c Core size: 116 Core Weight: 1 Total Weight: -186 194.93/195.07 c 194.93/195.07 c 194.93/195.07 c ============================[ Search Statistics ]============================== 194.93/195.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.93/195.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.93/195.07 c =============================================================================== 194.93/195.07 c | 0 | 5819 2803 25663 | 5000 0 nan | 0.000 % | 194.93/195.09 c | 100 | 5819 2803 25663 | 5500 100 16 | 0.034 % | 194.93/195.09 c | 253 | 5819 2803 25663 | 6050 253 20 | 0.034 % | 195.03/195.11 c | 479 | 5819 2803 25663 | 6655 479 26 | 0.034 % | 195.03/195.14 c | 817 | 5819 2803 25663 | 7320 817 26 | 0.034 % | 195.03/195.18 c | 1323 | 5819 2803 25663 | 8052 1323 30 | 0.034 % | 195.12/195.25 c | 2082 | 5819 2803 25663 | 8857 2082 31 | 0.034 % | 195.23/195.31 c =============================================================================== 195.23/195.35 c core #275 195.23/195.35 c 195.23/195.35 c 195.23/195.35 c Core size: 53 Core Weight: 1 Total Weight: -185 195.23/195.35 c 195.23/195.35 c 195.23/195.35 c ============================[ Search Statistics ]============================== 195.23/195.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.23/195.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.23/195.35 c =============================================================================== 195.23/195.35 c | 0 | 5871 2804 25767 | 5000 0 nan | 0.000 % | 195.23/195.36 c | 104 | 5871 2804 25767 | 5500 104 38 | 0.034 % | 195.23/195.37 c | 255 | 5871 2804 25767 | 6050 255 28 | 0.034 % | 195.23/195.39 c | 481 | 5871 2804 25767 | 6655 481 31 | 0.034 % | 195.32/195.41 c | 819 | 5871 2804 25767 | 7320 819 29 | 0.034 % | 195.32/195.46 c | 1325 | 5871 2804 25767 | 8052 1325 30 | 0.034 % | 195.42/195.51 c | 2085 | 5868 2804 25767 | 8857 1770 27 | 0.085 % | 195.52/195.63 c | 3225 | 5868 2804 25767 | 9743 2910 30 | 0.085 % | 195.73/195.83 c | 4934 | 5868 2804 25767 | 10717 4619 32 | 0.085 % | 196.03/196.16 c | 7497 | 5868 2804 25767 | 11789 7182 32 | 0.085 % | 196.83/196.93 c | 11345 | 5868 2804 25767 | 12968 11030 36 | 0.085 % | 198.23/198.31 c | 17113 | 5868 2804 25767 | 14265 10270 42 | 0.085 % | 200.04/200.13 c | 25765 | 5866 2804 25767 | 15692 8912 36 | 0.119 % | 202.72/202.86 c =============================================================================== 203.43/203.51 c core #276 203.43/203.51 c 203.43/203.51 c 203.43/203.51 c Core size: 120 Core Weight: 1 Total Weight: -184 203.43/203.51 c 203.43/203.51 c 203.43/203.51 c ============================[ Search Statistics ]============================== 203.43/203.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.43/203.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.43/203.51 c =============================================================================== 203.43/203.51 c | 0 | 5982 2805 25989 | 5000 0 nan | 0.000 % | 203.43/203.54 c | 100 | 5982 2805 25989 | 5500 100 37 | 0.033 % | 203.43/203.55 c | 251 | 5982 2805 25989 | 6050 251 22 | 0.033 % | 203.43/203.57 c | 478 | 5982 2805 25989 | 6655 478 18 | 0.033 % | 203.43/203.59 c | 816 | 5979 2805 25989 | 7320 815 15 | 0.084 % | 203.53/203.62 c =============================================================================== 203.53/203.66 c core #277 203.53/203.66 c 203.53/203.66 c 203.53/203.66 c Core size: 75 Core Weight: 1 Total Weight: -183 203.53/203.66 c 203.53/203.66 c 203.53/203.66 c ============================[ Search Statistics ]============================== 203.53/203.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.53/203.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.53/203.66 c =============================================================================== 203.53/203.66 c | 0 | 6054 2806 26140 | 5000 0 nan | 0.000 % | 203.53/203.68 c | 100 | 6054 2806 26140 | 5500 100 65 | 0.017 % | 203.62/203.70 c | 250 | 6054 2806 26140 | 6050 250 38 | 0.017 % | 203.62/203.72 c | 475 | 6054 2806 26140 | 6655 475 28 | 0.017 % | 203.62/203.74 c | 813 | 6054 2806 26140 | 7320 813 25 | 0.017 % | 203.62/203.79 c | 1320 | 6054 2806 26140 | 8052 1320 24 | 0.017 % | 203.73/203.89 c | 2081 | 6054 2806 26140 | 8857 2081 28 | 0.017 % | 203.92/204.08 c | 3220 | 6054 2806 26140 | 9743 3220 33 | 0.017 % | 204.32/204.42 c | 4928 | 6054 2806 26140 | 10717 4928 41 | 0.017 % | 204.73/204.88 c | 7490 | 6054 2806 26140 | 11789 7490 37 | 0.017 % | 205.22/205.37 c =============================================================================== 205.43/205.52 c core #278 205.43/205.52 c 205.43/205.52 c 205.43/205.52 c Core size: 142 Core Weight: 1 Total Weight: -182 205.43/205.52 c 205.43/205.52 c 205.43/205.52 c ============================[ Search Statistics ]============================== 205.43/205.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.43/205.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.43/205.52 c =============================================================================== 205.43/205.52 c | 0 | 6191 2807 26414 | 5000 0 nan | 0.000 % | 205.43/205.55 c | 105 | 6191 2807 26414 | 5500 105 47 | 0.016 % | 205.43/205.56 c | 255 | 6191 2807 26414 | 6050 255 25 | 0.016 % | 205.43/205.59 c | 480 | 6191 2807 26414 | 6655 480 19 | 0.016 % | 205.53/205.62 c | 818 | 6191 2807 26414 | 7320 818 18 | 0.016 % | 205.53/205.68 c | 1324 | 6191 2807 26414 | 8052 1324 17 | 0.016 % | 205.63/205.76 c | 2084 | 6191 2807 26414 | 8857 2084 26 | 0.016 % | 205.82/205.91 c | 3223 | 6191 2807 26414 | 9743 3223 30 | 0.016 % | 206.03/206.14 c | 4933 | 6191 2807 26414 | 10717 4933 33 | 0.016 % | 206.52/206.64 c | 7499 | 6191 2807 26414 | 11789 7499 41 | 0.016 % | 207.12/207.24 c =============================================================================== 207.22/207.31 c core #279 207.22/207.31 c 207.22/207.31 c 207.22/207.31 c Core size: 230 Core Weight: 1 Total Weight: -181 207.22/207.31 c 207.22/207.31 c 207.22/207.31 c ============================[ Search Statistics ]============================== 207.22/207.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.22/207.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.22/207.31 c =============================================================================== 207.22/207.31 c | 0 | 6413 2809 26860 | 5000 0 nan | 0.000 % | 207.22/207.33 c | 102 | 6413 2809 26860 | 5500 102 11 | 0.016 % | 207.22/207.33 c | 253 | 6413 2809 26860 | 6050 253 9 | 0.016 % | 207.22/207.34 c =============================================================================== 207.22/207.37 c core #280 207.22/207.37 c 207.22/207.37 c 207.22/207.37 c Core size: 34 Core Weight: 1 Total Weight: -180 207.22/207.37 c 207.22/207.37 c 207.22/207.37 c ============================[ Search Statistics ]============================== 207.22/207.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.22/207.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.22/207.37 c =============================================================================== 207.22/207.37 c | 0 | 6443 2810 26920 | 5000 0 nan | 0.000 % | 207.22/207.38 c | 100 | 6443 2810 26920 | 5500 100 44 | 0.016 % | 207.22/207.39 c | 252 | 6443 2810 26920 | 6050 252 39 | 0.016 % | 207.32/207.41 c | 477 | 6443 2810 26920 | 6655 477 34 | 0.016 % | 207.32/207.44 c | 815 | 6441 2810 26920 | 7320 814 39 | 0.047 % | 207.32/207.47 c | 1323 | 6441 2810 26920 | 8052 1322 40 | 0.047 % | 207.42/207.53 c | 2082 | 6441 2810 26920 | 8857 2081 37 | 0.047 % | 207.52/207.63 c | 3226 | 6441 2810 26920 | 9743 3225 38 | 0.047 % | 207.73/207.83 c | 4935 | 6441 2810 26920 | 10717 4934 40 | 0.047 % | 208.12/208.20 c | 7498 | 6441 2810 26920 | 11789 7497 43 | 0.047 % | 208.62/208.76 c | 11342 | 6441 2810 26920 | 12968 11341 51 | 0.047 % | 209.42/209.50 c | 17108 | 6441 2810 26920 | 14265 10568 55 | 0.047 % | 210.82/210.95 c | 25758 | 6441 2810 26920 | 15692 11981 45 | 0.047 % | 214.81/214.92 c | 38732 | 6441 2810 26920 | 17261 9115 65 | 0.047 % | 220.92/221.02 c | 58195 | 6441 2810 26920 | 18987 11155 63 | 0.047 % | 226.91/227.00 c | 87388 | 6440 2810 26920 | 20886 11561 57 | 0.062 % | 237.42/237.59 c | 131177 | 6438 2810 26920 | 22974 12860 45 | 0.093 % | 254.10/254.25 c | 196861 | 6438 2810 26920 | 25272 20863 34 | 0.093 % | 281.00/281.19 c | 295387 | 6434 2810 26920 | 27799 24283 30 | 0.155 % | 285.80/285.99 c =============================================================================== 288.99/289.12 c core #281 288.99/289.12 c 288.99/289.12 c 288.99/289.12 c Core size: 192 Core Weight: 1 Total Weight: -179 288.99/289.12 c 288.99/289.12 c 288.99/289.12 c ============================[ Search Statistics ]============================== 288.99/289.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 288.99/289.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 288.99/289.12 c =============================================================================== 288.99/289.12 c | 0 | 6626 2811 27286 | 5000 0 nan | 0.000 % | 288.99/289.18 c | 102 | 6626 2811 27286 | 5500 102 34 | 0.015 % | 289.10/289.20 c | 252 | 6626 2811 27286 | 6050 252 28 | 0.015 % | 289.10/289.22 c | 477 | 6626 2811 27286 | 6655 477 22 | 0.015 % | 289.10/289.27 c | 815 | 6626 2811 27286 | 7320 815 22 | 0.015 % | 289.20/289.33 c | 1322 | 6626 2811 27286 | 8052 1322 23 | 0.015 % | 289.29/289.41 c | 2081 | 6626 2811 27286 | 8857 2081 21 | 0.015 % | 289.39/289.51 c | 3222 | 6626 2811 27286 | 9743 3222 20 | 0.015 % | 289.50/289.66 c =============================================================================== 289.60/289.72 c core #282 289.60/289.72 c 289.60/289.72 c 289.60/289.72 c Core size: 114 Core Weight: 1 Total Weight: -178 289.60/289.72 c 289.60/289.72 c 289.60/289.72 c ============================[ Search Statistics ]============================== 289.60/289.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 289.60/289.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 289.60/289.72 c =============================================================================== 289.60/289.72 c | 0 | 6732 2812 27498 | 5000 0 nan | 0.000 % | 289.60/289.74 c | 100 | 6732 2812 27498 | 5500 100 23 | 0.015 % | 289.60/289.75 c | 251 | 6732 2812 27498 | 6050 251 22 | 0.015 % | 289.60/289.76 c | 476 | 6732 2812 27498 | 6655 476 20 | 0.015 % | 289.60/289.78 c | 813 | 6732 2812 27498 | 7320 813 19 | 0.015 % | 289.69/289.81 c | 1319 | 6732 2812 27498 | 8052 1319 18 | 0.015 % | 289.69/289.86 c | 2079 | 6732 2812 27498 | 8857 2079 16 | 0.015 % | 289.80/289.96 c | 3218 | 6729 2812 27498 | 9743 2858 18 | 0.059 % | 289.99/290.13 c | 4927 | 6727 2812 27498 | 10717 4567 19 | 0.149 % | 290.09/290.30 c =============================================================================== 290.20/290.39 c core #283 290.20/290.39 c 290.20/290.39 c 290.20/290.39 c Core size: 80 Core Weight: 1 Total Weight: -177 290.20/290.39 c 290.20/290.39 c 290.20/290.39 c ============================[ Search Statistics ]============================== 290.20/290.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 290.20/290.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 290.20/290.39 c =============================================================================== 290.20/290.39 c | 0 | 6805 2813 27644 | 5000 0 nan | 0.000 % | 290.30/290.41 c =============================================================================== 290.30/290.44 c core #284 290.30/290.44 c 290.30/290.44 c 290.30/290.44 c Core size: 56 Core Weight: 1 Total Weight: -176 290.30/290.44 c 290.30/290.44 c 290.30/290.44 c ============================[ Search Statistics ]============================== 290.30/290.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 290.30/290.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 290.30/290.44 c =============================================================================== 290.30/290.44 c | 0 | 6849 2814 27732 | 5000 0 nan | 0.000 % | 290.30/290.45 c | 102 | 6849 2814 27732 | 5500 102 23 | 0.015 % | 290.30/290.47 c | 252 | 6849 2814 27732 | 6050 252 30 | 0.015 % | 290.30/290.48 c | 477 | 6849 2814 27732 | 6655 477 23 | 0.015 % | 290.39/290.52 c | 815 | 6849 2814 27732 | 7320 815 29 | 0.015 % | 290.39/290.56 c | 1321 | 6849 2814 27732 | 8052 1321 34 | 0.015 % | 290.49/290.66 c | 2083 | 6849 2814 27732 | 8857 2083 43 | 0.015 % | 290.59/290.78 c | 3223 | 6849 2814 27732 | 9743 3223 41 | 0.015 % | 290.89/291.02 c | 4931 | 6849 2814 27732 | 10717 4931 41 | 0.015 % | 291.30/291.48 c | 7494 | 6849 2814 27732 | 11789 7494 44 | 0.015 % | 292.00/292.18 c | 11342 | 6849 2814 27732 | 12968 11342 40 | 0.015 % | 293.10/293.28 c | 17109 | 6849 2814 27732 | 14265 10574 37 | 0.015 % | 294.89/295.04 c | 25766 | 6849 2814 27732 | 15692 11986 40 | 0.015 % | 297.59/297.78 c | 38744 | 6849 2814 27732 | 17261 9144 43 | 0.015 % | 302.19/302.36 c | 58206 | 6849 2814 27732 | 18987 11188 42 | 0.015 % | 309.18/309.38 c | 87400 | 6849 2814 27732 | 20886 11679 48 | 0.015 % | 323.98/324.13 c | 131189 | 6849 2814 27732 | 22974 13340 58 | 0.015 % | 347.77/347.96 c | 196875 | 6849 2814 27732 | 25272 21057 67 | 0.015 % | 378.96/379.16 c | 295404 | 6849 2814 27732 | 27799 15665 49 | 0.015 % | 474.74/474.91 c | 443194 | 6847 2814 27732 | 30579 13711 101 | 0.044 % | 626.98/627.29 c | 664877 | 6847 2814 27732 | 33637 25762 99 | 0.044 % | 795.33/795.68 c | 997402 | 6847 2814 27732 | 37001 23131 61 | 0.044 % | 1025.95/1026.33 c | 1496190 | 6847 2814 27732 | 40701 21319 48 | 0.044 % | 1402.93/1403.41 c | 2244376 | 6847 2814 27732 | 44771 38223 77 | 0.044 % |
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-2680859-1277454928/watcher-2680859-1277454928 -o /tmp/evaluation-result-2680859-1277454928/solver-2680859-1277454928 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680859-1277454928.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.90 3/106 24212 /proc/meminfo: memFree=1817632/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=2840 CPUtime=0 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 121094344 2908160 272 1992294400 134512640 135752675 4291514816 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 710 272 142 303 0 405 0 [startup+0.017824 s] /proc/loadavg: 0.92 0.98 0.90 3/106 24212 /proc/meminfo: memFree=1817632/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=2840 CPUtime=0.01 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 370 0 0 0 1 0 0 0 20 0 1 0 121094344 2908160 280 1992294400 134512640 135752675 4291514816 18446744073709551615 134634752 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 710 280 144 303 0 405 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2840 [startup+0.101839 s] /proc/loadavg: 0.92 0.98 0.90 3/106 24212 /proc/meminfo: memFree=1817632/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=3356 CPUtime=0.09 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 494 0 0 0 9 0 0 0 20 0 1 0 121094344 3436544 404 1992294400 134512640 135752675 4291514816 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 839 405 145 303 0 534 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3356 [startup+0.301874 s] /proc/loadavg: 0.92 0.98 0.90 3/106 24212 /proc/meminfo: memFree=1817632/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=4388 CPUtime=0.29 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 768 0 0 0 29 0 0 0 20 0 1 0 121094344 4493312 678 1992294400 134512640 135752675 4291514816 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 1097 678 145 303 0 792 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4388 [startup+0.701945 s] /proc/loadavg: 0.92 0.98 0.90 3/106 24212 /proc/meminfo: memFree=1817632/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=6836 CPUtime=0.69 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 1354 0 0 0 68 1 0 0 21 0 1 0 121094344 7000064 1264 1992294400 134512640 135752675 4291514816 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 1709 1264 145 303 0 1404 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6836 [startup+1.50109 s] /proc/loadavg: 0.92 0.98 0.90 2/107 24213 /proc/meminfo: memFree=1811300/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=10968 CPUtime=1.49 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 2390 0 0 0 147 2 0 0 23 0 1 0 121094344 11231232 2300 1992294400 134512640 135752675 4291514816 18446744073709551615 134612012 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 2742 2300 145 303 0 2437 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10968 [startup+3.10138 s] /proc/loadavg: 0.92 0.98 0.90 2/107 24213 /proc/meminfo: memFree=1805596/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=18940 CPUtime=3.09 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 4396 0 0 0 305 4 0 0 25 0 1 0 121094344 19394560 4306 1992294400 134512640 135752675 4291514816 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 4735 4307 145 303 0 4430 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18940 [startup+6.30195 s] /proc/loadavg: 0.93 0.98 0.90 2/107 24213 /proc/meminfo: memFree=1790468/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=32884 CPUtime=6.29 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 7869 0 0 0 621 8 0 0 25 0 1 0 121094344 33673216 7779 1992294400 134512640 135752675 4291514816 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 8221 7779 145 303 0 7916 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32884 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.90 2/107 24213 /proc/meminfo: memFree=1764056/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=57376 CPUtime=12.68 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 13996 0 0 0 1251 17 0 0 25 0 1 0 121094344 58753024 13906 1992294400 134512640 135752675 4291514816 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 14344 13906 145 303 0 14039 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 57376 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.91 2/107 24215 /proc/meminfo: memFree=1723756/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=96344 CPUtime=25.49 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 23740 0 0 0 2519 30 0 0 25 0 1 0 121094344 98656256 23650 1992294400 134512640 135752675 4291514816 18446744073709551615 134605381 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 24086 23650 145 303 0 23781 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 96344 [startup+51.101 s] /proc/loadavg: 0.96 0.98 0.91 2/107 24215 /proc/meminfo: memFree=1662252/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=157824 CPUtime=51.07 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 39102 0 0 0 5056 51 0 0 25 0 1 0 121094344 161611776 39012 1992294400 134512640 135752675 4291514816 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 39456 39012 145 303 0 39151 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 157824 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.91 2/107 24217 /proc/meminfo: memFree=1543460/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=275572 CPUtime=102.27 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 68520 0 0 0 10134 93 0 0 25 0 1 0 121094344 282185728 68430 1992294400 134512640 135752675 4291514816 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 68893 68430 145 303 0 68588 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 275572 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.91 2/107 24217 /proc/meminfo: memFree=1435828/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=385340 CPUtime=162.24 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 95956 0 0 0 16092 132 0 0 25 0 1 0 121094344 394588160 95866 1992294400 134512640 135752675 4291514816 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 96335 95867 145 303 0 96030 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 385340 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.91 2/107 24219 /proc/meminfo: memFree=1386476/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=431624 CPUtime=222.21 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 107606 0 0 0 22008 213 0 0 25 0 1 0 121094344 441982976 107488 1992294400 134512640 135752675 4291514816 18446744073709551615 134638038 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 107906 107488 146 303 0 107601 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 431624 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.91 2/107 24221 /proc/meminfo: memFree=1323732/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=494720 CPUtime=282.19 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 123354 0 0 0 27928 291 0 0 25 0 1 0 121094344 506593280 123236 1992294400 134512640 135752675 4291514816 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 123680 123236 146 303 0 123375 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 494720 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.91 2/107 24223 /proc/meminfo: memFree=1289012/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=529084 CPUtime=342.18 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 131975 0 0 0 33857 361 0 0 25 0 1 0 121094344 541782016 131818 1992294400 134512640 135752675 4291514816 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 132271 131818 146 303 0 131966 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 529084 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.91 2/107 24225 /proc/meminfo: memFree=1231972/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=586764 CPUtime=402.15 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 146369 0 0 0 39791 424 0 0 25 0 1 0 121094344 600846336 146212 1992294400 134512640 135752675 4291514816 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 146691 146212 146 303 0 146386 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 586764 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.91 2/107 24225 /proc/meminfo: memFree=1185224/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=632876 CPUtime=462.14 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 157841 0 0 0 45757 457 0 0 25 0 1 0 121094344 648065024 157684 1992294400 134512640 135752675 4291514816 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 158219 157684 146 303 0 157914 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 632876 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.91 2/107 24227 /proc/meminfo: memFree=1136244/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=682536 CPUtime=522.12 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 170220 0 0 0 51717 495 0 0 25 0 1 0 121094344 698916864 170063 1992294400 134512640 135752675 4291514816 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 170634 170063 146 303 0 170329 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 682536 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.91 2/107 24229 /proc/meminfo: memFree=1082924/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=735320 CPUtime=582.09 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 183406 0 0 0 57676 533 0 0 25 0 1 0 121094344 752967680 183249 1992294400 134512640 135752675 4291514816 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 183830 183249 146 303 0 183525 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 735320 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.91 2/107 24231 /proc/meminfo: memFree=1027496/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=790232 CPUtime=642.08 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 197094 0 0 0 63634 574 0 0 25 0 1 0 121094344 809197568 196937 1992294400 134512640 135752675 4291514816 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 197558 196937 146 303 0 197253 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 790232 [startup+702.3 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.91 2/107 24237 /proc/meminfo: memFree=822152/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=995516 CPUtime=882 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 248347 0 0 0 87425 775 0 0 25 0 1 0 121094344 1019408384 248190 1992294400 134512640 135752675 4291514816 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 248879 248190 146 303 0 248574 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 995516 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.91 2/107 24239 /proc/meminfo: memFree=777016/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=1041016 CPUtime=941.98 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 259707 0 0 0 93377 821 0 0 25 0 1 0 121094344 1066000384 259550 1992294400 134512640 135752675 4291514816 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 260254 259550 146 303 0 259949 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 1041016 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.91 2/107 24241 /proc/meminfo: memFree=728160/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=1089340 CPUtime=1001.96 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 271782 0 0 0 99322 874 0 0 25 0 1 0 121094344 1115484160 271625 1992294400 134512640 135752675 4291514816 18446744073709551615 134611647 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 272335 271625 146 303 0 272030 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 1089340 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.91 2/107 24241 /proc/meminfo: memFree=680296/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=1137452 CPUtime=1061.94 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 283821 0 0 0 105266 928 0 0 25 0 1 0 121094344 1164750848 283664 1992294400 134512640 135752675 4291514816 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 284363 283664 146 303 0 284058 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 1137452 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.91 2/107 24243 /proc/meminfo: memFree=640740/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=1176764 CPUtime=1121.92 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 293604 0 0 0 111217 975 0 0 25 0 1 0 121094344 1205006336 293447 1992294400 134512640 135752675 4291514816 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 294191 293447 146 303 0 293886 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 1176764 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.91 2/107 24245 /proc/meminfo: memFree=589032/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=1228752 CPUtime=1181.9 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 306583 0 0 0 117163 1027 0 0 25 0 1 0 121094344 1258242048 306426 1992294400 134512640 135752675 4291514816 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 307188 306426 146 303 0 306883 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 1228752 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.91 2/107 24247 /proc/meminfo: memFree=541044/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=1276224 CPUtime=1241.88 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 318455 0 0 0 123114 1074 0 0 25 0 1 0 121094344 1306853376 318298 1992294400 134512640 135752675 4291514816 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 319056 318298 146 303 0 318751 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 1276224 [startup+1302.3 s] /proc/loadavg: 1.03 1.00 0.91 2/107 24249 /proc/meminfo: memFree=494544/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=1322260 CPUtime=1301.87 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 329954 0 0 0 129070 1117 0 0 25 0 1 0 121094344 1353994240 329797 1992294400 134512640 135752675 4291514816 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 330565 329797 146 303 0 330260 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1322260 [startup+1362.3 s] /proc/loadavg: 1.12 1.03 0.93 2/107 24249 /proc/meminfo: memFree=454368/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=1363060 CPUtime=1361.84 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 340143 0 0 0 135027 1157 0 0 25 0 1 0 121094344 1395773440 339986 1992294400 134512640 135752675 4291514816 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 340765 339986 146 303 0 340460 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1363060 [startup+1422.31 s] /proc/loadavg: 1.12 1.04 0.93 2/107 24251 /proc/meminfo: memFree=410472/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=1406324 CPUtime=1421.82 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 350968 0 0 0 140979 1203 0 0 25 0 1 0 121094344 1440075776 350811 1992294400 134512640 135752675 4291514816 18446744073709551615 134638085 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 351581 350811 146 303 0 351276 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 1406324 [startup+1482.3 s] /proc/loadavg: 1.11 1.04 0.94 2/107 24253 /proc/meminfo: memFree=364344/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=1452836 CPUtime=1481.8 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 362566 0 0 0 146925 1255 0 0 25 0 1 0 121094344 1487704064 362409 1992294400 134512640 135752675 4291514816 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 363209 362409 146 303 0 362904 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 1452836 [startup+1542.3 s] /proc/loadavg: 1.10 1.05 0.94 2/107 24264 /proc/meminfo: memFree=319828/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=1496904 CPUtime=1541.76 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 373598 0 0 0 152869 1307 0 0 25 0 1 0 121094344 1532829696 373441 1992294400 134512640 135752675 4291514816 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 374226 373441 146 303 0 373921 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 1496904 [startup+1602.3 s] /proc/loadavg: 1.09 1.05 0.95 2/107 24266 /proc/meminfo: memFree=275436/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=1541896 CPUtime=1601.74 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 384830 0 0 0 158819 1355 0 0 25 0 1 0 121094344 1578901504 384673 1992294400 134512640 135752675 4291514816 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 385474 384673 146 303 0 385169 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 1541896 [startup+1662.3 s] /proc/loadavg: 1.08 1.06 0.95 2/107 24266 /proc/meminfo: memFree=231168/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=1585496 CPUtime=1661.72 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 395706 0 0 0 164768 1404 0 0 25 0 1 0 121094344 1623547904 395549 1992294400 134512640 135752675 4291514816 18446744073709551615 134611615 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 396374 395549 146 303 0 396069 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 1585496 [startup+1722.3 s] /proc/loadavg: 1.03 1.04 0.95 2/107 24268 /proc/meminfo: memFree=186528/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=1630400 CPUtime=1721.7 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 406937 0 0 0 170718 1452 0 0 25 0 1 0 121094344 1669529600 406780 1992294400 134512640 135752675 4291514816 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 407600 406780 146 303 0 407295 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 1630400 [startup+1782.3 s] /proc/loadavg: 1.01 1.03 0.95 2/107 24270 /proc/meminfo: memFree=139160/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=1677388 CPUtime=1781.68 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 418684 0 0 0 176666 1502 0 0 25 0 1 0 121094344 1717645312 418527 1992294400 134512640 135752675 4291514816 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 419347 418527 146 303 0 419042 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 1677388 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.01 1.03 0.95 2/107 24270 /proc/meminfo: memFree=126264/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=1689672 CPUtime=1800.09 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 421772 0 0 0 178494 1515 0 0 25 0 1 0 121094344 1730224128 421615 1992294400 134512640 135752675 4291514816 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24212/statm: 422418 421615 146 303 0 422113 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1689672 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.01 1.03 0.95 2/107 24270 /proc/meminfo: memFree=126264/2059040 swapFree=4136480/4192956 [pid=24212] ppid=24210 vsize=0 CPUtime=1800.18 /proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4203524 421772 0 0 0 178494 1524 0 0 25 0 1 0 121094344 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/24212/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.87 CPU time (s): 1800.26 CPU user time (s): 1784.95 CPU system time (s): 15.3117 CPU usage (%): 99.9658 Max. virtual memory (cumulated for all children) (KiB): 1689672 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1784.95 system time used= 15.3117 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 421772 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= 47 involuntary context switches= 1238 runsolver used 2.6296 second user time and 8.89365 second system time The end
Begin job on node012 at 2010-06-25 10:35:28 IDJOB=2680859 IDBENCH=2219 IDSOLVER=1190 FILE ID=node012/2680859-1277454928 PBS_JOBID= 11188146 Free space on /tmp= 62432 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680859-1277454928/watcher-2680859-1277454928 -o /tmp/evaluation-result-2680859-1277454928/solver-2680859-1277454928 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680859-1277454928.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 885184c694263ba985a0dc2cd49b3440 RANDOM SEED=172133165 node012.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.258 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.258 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1818036 kB Buffers: 29912 kB Cached: 110760 kB SwapCached: 8980 kB Active: 32324 kB Inactive: 121308 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1818036 kB SwapTotal: 4192956 kB SwapFree: 4136480 kB Dirty: 2636 kB Writeback: 0 kB AnonPages: 11620 kB Mapped: 8404 kB Slab: 65376 kB PageTables: 4188 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182796 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62428 MiB End job on node012 at 2010-06-25 11:05:31