Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.12 | 1800.08 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod010.opb |
MD5SUM | 0155c0c96434984f6ded6bb7ada20c0c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 6548 |
Best CPU time to get the best result obtained on this benchmark | 1.15382 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6548 |
Optimality of the best value was proved | YES |
Number of variables | 2655 |
Total number of constraints | 146 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 145 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 2655 |
Number of terms in the objective function | 2655 |
Biggest coefficient in the objective function | 266 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 489211 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 266 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 489211 |
Number of bits of the biggest sum of numbers | 19 |
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.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3461335-1307072682.opb. 0.00/0.00 c Instance file HOME/instance-3461335-1307072682.opb 0.00/0.00 c File size is 125155 bytes. 0.00/0.01 c Highest Coefficient sum: 2701 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 2655 | 0.00/0.01 c | Number Clauses: 144 | 0.00/0.01 c | Number Cardinality: 146 | 0.00/0.01 c | Number PB Constraints: 1 | 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 | 2655 291 22251 | 5000 0 -nan | 0.000 % | 0.09/0.11 c core #1 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 36 Core Weight: 180 Total Weight: 180 0.09/0.11 c Current CPU time: 0.012998 s 0.09/0.11 c 0.09/0.11 c core #2 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 59 Core Weight: 53 Total Weight: 233 0.09/0.11 c Current CPU time: 0.014997 s 0.09/0.11 c 0.09/0.11 c core #3 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 93 Core Weight: 33 Total Weight: 266 0.09/0.11 c Current CPU time: 0.016997 s 0.09/0.11 c 0.09/0.11 c core #4 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 80 Core Weight: 12 Total Weight: 278 0.09/0.11 c Current CPU time: 0.017997 s 0.09/0.11 c 0.09/0.11 c core #5 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 99 Core Weight: 18 Total Weight: 296 0.09/0.11 c Current CPU time: 0.019996 s 0.09/0.11 c 0.09/0.11 c core #6 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 46 Core Weight: 25 Total Weight: 321 0.09/0.11 c Current CPU time: 0.020996 s 0.09/0.11 c 0.09/0.11 c core #7 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 82 Core Weight: 2 Total Weight: 323 0.09/0.11 c Current CPU time: 0.022996 s 0.09/0.11 c 0.09/0.11 c core #8 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 51 Core Weight: 140 Total Weight: 463 0.09/0.11 c Current CPU time: 0.024996 s 0.09/0.11 c 0.09/0.11 c core #9 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 75 Core Weight: 24 Total Weight: 487 0.09/0.11 c Current CPU time: 0.026995 s 0.09/0.11 c 0.09/0.11 c core #10 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 25 Core Weight: 1 Total Weight: 488 0.09/0.11 c Current CPU time: 0.027995 s 0.09/0.11 c 0.09/0.11 c core #11 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 63 Core Weight: 9 Total Weight: 497 0.09/0.11 c Current CPU time: 0.029995 s 0.09/0.11 c 0.09/0.11 c core #12 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 88 Core Weight: 2 Total Weight: 499 0.09/0.11 c Current CPU time: 0.031995 s 0.09/0.11 c 0.09/0.11 c core #13 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 108 Core Weight: 14 Total Weight: 513 0.09/0.11 c Current CPU time: 0.033994 s 0.09/0.11 c 0.09/0.11 c core #14 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 108 Core Weight: 28 Total Weight: 541 0.09/0.11 c Current CPU time: 0.035994 s 0.09/0.11 c 0.09/0.11 c core #15 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 58 Core Weight: 9 Total Weight: 550 0.09/0.11 c Current CPU time: 0.037994 s 0.09/0.11 c 0.09/0.11 c core #16 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 131 Core Weight: 1 Total Weight: 551 0.09/0.11 c Current CPU time: 0.039993 s 0.09/0.11 c 0.09/0.11 c core #17 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 77 Core Weight: 40 Total Weight: 591 0.09/0.11 c Current CPU time: 0.041993 s 0.09/0.11 c 0.09/0.11 c core #18 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 139 Core Weight: 4 Total Weight: 595 0.09/0.11 c Current CPU time: 0.043993 s 0.09/0.11 c 0.09/0.11 c core #19 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 210 Core Weight: 7 Total Weight: 602 0.09/0.11 c Current CPU time: 0.046992 s 0.09/0.11 c 0.09/0.11 c core #20 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 242 Core Weight: 3 Total Weight: 605 0.09/0.11 c Current CPU time: 0.048992 s 0.09/0.11 c 0.09/0.11 c core #21 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 53 Core Weight: 15 Total Weight: 620 0.09/0.11 c Current CPU time: 0.050992 s 0.09/0.11 c 0.09/0.11 c core #22 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 226 Core Weight: 4 Total Weight: 624 0.09/0.11 c Current CPU time: 0.053991 s 0.09/0.11 c 0.09/0.11 c core #23 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 225 Core Weight: 20 Total Weight: 644 0.09/0.11 c Current CPU time: 0.056991 s 0.09/0.11 c 0.09/0.11 c core #24 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 51 Core Weight: 78 Total Weight: 722 0.09/0.11 c Current CPU time: 0.058991 s 0.09/0.11 c 0.09/0.11 c core #25 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 14 Core Weight: 26 Total Weight: 748 0.09/0.11 c Current CPU time: 0.06099 s 0.09/0.11 c 0.09/0.11 c core #26 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 76 Core Weight: 1 Total Weight: 749 0.09/0.11 c Current CPU time: 0.06399 s 0.09/0.11 c 0.09/0.11 c core #27 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 50 Core Weight: 94 Total Weight: 843 0.09/0.11 c Current CPU time: 0.065989 s 0.09/0.11 c 0.09/0.11 c core #28 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 100 Core Weight: 40 Total Weight: 883 0.09/0.11 c Current CPU time: 0.068989 s 0.09/0.11 c 0.09/0.11 c core #29 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 32 Core Weight: 6 Total Weight: 889 0.09/0.11 c Current CPU time: 0.070989 s 0.09/0.11 c 0.09/0.11 c core #30 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 101 Core Weight: 2 Total Weight: 891 0.09/0.11 c Current CPU time: 0.073988 s 0.09/0.11 c 0.09/0.11 c core #31 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 52 Core Weight: 20 Total Weight: 911 0.09/0.11 c Current CPU time: 0.076988 s 0.09/0.11 c 0.09/0.11 c core #32 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 152 Core Weight: 1 Total Weight: 912 0.09/0.11 c Current CPU time: 0.078987 s 0.09/0.11 c 0.09/0.11 c core #33 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 151 Core Weight: 13 Total Weight: 925 0.09/0.11 c Current CPU time: 0.081987 s 0.09/0.11 c 0.09/0.11 c core #34 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 169 Core Weight: 2 Total Weight: 927 0.09/0.11 c Current CPU time: 0.084987 s 0.09/0.11 c 0.09/0.11 c core #35 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 169 Core Weight: 3 Total Weight: 930 0.09/0.11 c Current CPU time: 0.087986 s 0.09/0.11 c 0.09/0.11 c core #36 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 167 Core Weight: 2 Total Weight: 932 0.09/0.11 c Current CPU time: 0.090986 s 0.09/0.11 c 0.09/0.11 c core #37 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 92 Core Weight: 35 Total Weight: 967 0.09/0.11 c Current CPU time: 0.093985 s 0.09/0.11 c 0.09/0.11 c core #38 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 14 Core Weight: 55 Total Weight: 1022 0.09/0.11 c Current CPU time: 0.096985 s 0.09/0.11 c 0.09/0.11 c core #39 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 50 Core Weight: 88 Total Weight: 1110 0.09/0.11 c Current CPU time: 0.099984 s 0.09/0.11 c 0.09/0.11 c core #40 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 99 Core Weight: 1 Total Weight: 1111 0.09/0.11 c Current CPU time: 0.102984 s 0.09/0.11 c 0.09/0.11 c core #41 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 176 Core Weight: 3 Total Weight: 1114 0.09/0.11 c Current CPU time: 0.105983 s 0.09/0.11 c 0.09/0.11 c core #42 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 243 Core Weight: 1 Total Weight: 1115 0.19/0.27 c Current CPU time: 0.108983 s 0.19/0.27 c 0.19/0.27 c core #43 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 104 Core Weight: 2 Total Weight: 1117 0.19/0.27 c Current CPU time: 0.111982 s 0.19/0.27 c 0.19/0.27 c core #44 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 103 Core Weight: 2 Total Weight: 1119 0.19/0.27 c Current CPU time: 0.115982 s 0.19/0.27 c 0.19/0.27 c core #45 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 102 Core Weight: 2 Total Weight: 1121 0.19/0.27 c Current CPU time: 0.118981 s 0.19/0.27 c 0.19/0.27 c core #46 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 101 Core Weight: 34 Total Weight: 1155 0.19/0.27 c Current CPU time: 0.121981 s 0.19/0.27 c 0.19/0.27 c core #47 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 61 Core Weight: 41 Total Weight: 1196 0.19/0.27 c Current CPU time: 0.12598 s 0.19/0.27 c 0.19/0.27 c core #48 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 14 Core Weight: 32 Total Weight: 1228 0.19/0.27 c Current CPU time: 0.12898 s 0.19/0.27 c 0.19/0.27 c core #49 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 158 Core Weight: 37 Total Weight: 1265 0.19/0.27 c Current CPU time: 0.131979 s 0.19/0.27 c 0.19/0.27 c core #50 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 68 Core Weight: 1 Total Weight: 1266 0.19/0.27 c Current CPU time: 0.134979 s 0.19/0.27 c 0.19/0.27 c core #51 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 47 Core Weight: 19 Total Weight: 1285 0.19/0.27 c Current CPU time: 0.138978 s 0.19/0.27 c 0.19/0.27 c core #52 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 85 Core Weight: 87 Total Weight: 1372 0.19/0.27 c Current CPU time: 0.141978 s 0.19/0.27 c 0.19/0.27 c core #53 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 360 Core Weight: 4 Total Weight: 1376 0.19/0.27 c Current CPU time: 0.145977 s 0.19/0.27 c 0.19/0.27 c core #54 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 134 Core Weight: 6 Total Weight: 1382 0.19/0.27 c Current CPU time: 0.149977 s 0.19/0.27 c 0.19/0.27 c core #55 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 40 Core Weight: 21 Total Weight: 1403 0.19/0.27 c Current CPU time: 0.152976 s 0.19/0.27 c 0.19/0.27 c core #56 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 72 Core Weight: 23 Total Weight: 1426 0.19/0.27 c Current CPU time: 0.156976 s 0.19/0.27 c 0.19/0.27 c core #57 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 103 Core Weight: 1 Total Weight: 1427 0.19/0.27 c Current CPU time: 0.160975 s 0.19/0.27 c 0.19/0.27 c core #58 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 256 Core Weight: 26 Total Weight: 1453 0.19/0.27 c Current CPU time: 0.163975 s 0.19/0.27 c 0.19/0.27 c core #59 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 115 Core Weight: 12 Total Weight: 1465 0.19/0.27 c Current CPU time: 0.167974 s 0.19/0.27 c 0.19/0.27 c core #60 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 239 Core Weight: 1 Total Weight: 1466 0.19/0.27 c Current CPU time: 0.171973 s 0.19/0.27 c 0.19/0.27 c core #61 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 120 Core Weight: 12 Total Weight: 1478 0.19/0.27 c Current CPU time: 0.175973 s 0.19/0.27 c 0.19/0.27 c core #62 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 137 Core Weight: 4 Total Weight: 1482 0.19/0.27 c Current CPU time: 0.179972 s 0.19/0.27 c 0.19/0.27 c core #63 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 137 Core Weight: 8 Total Weight: 1490 0.19/0.27 c Current CPU time: 0.184971 s 0.19/0.27 c 0.19/0.27 c core #64 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 136 Core Weight: 4 Total Weight: 1494 0.19/0.27 c Current CPU time: 0.187971 s 0.19/0.27 c 0.19/0.27 c core #65 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 21 Core Weight: 81 Total Weight: 1575 0.19/0.27 c Current CPU time: 0.19097 s 0.19/0.27 c 0.19/0.27 c core #66 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 21 Core Weight: 81 Total Weight: 1656 0.19/0.27 c Current CPU time: 0.19497 s 0.19/0.27 c 0.19/0.27 c core #67 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 41 Core Weight: 38 Total Weight: 1694 0.19/0.27 c Current CPU time: 0.199969 s 0.19/0.27 c 0.19/0.27 c core #68 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 263 Core Weight: 1 Total Weight: 1695 0.19/0.27 c Current CPU time: 0.203968 s 0.19/0.27 c 0.19/0.27 c core #69 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 234 Core Weight: 3 Total Weight: 1698 0.19/0.27 c Current CPU time: 0.207968 s 0.19/0.27 c 0.19/0.27 c core #70 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 233 Core Weight: 1 Total Weight: 1699 0.19/0.27 c Current CPU time: 0.211967 s 0.19/0.27 c 0.19/0.27 c core #71 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 41 Core Weight: 4 Total Weight: 1703 0.19/0.27 c Current CPU time: 0.216967 s 0.19/0.27 c 0.19/0.27 c core #72 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 349 Core Weight: 6 Total Weight: 1709 0.19/0.27 c Current CPU time: 0.221966 s 0.19/0.27 c 0.19/0.27 c core #73 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 265 Core Weight: 2 Total Weight: 1711 0.19/0.27 c Current CPU time: 0.226965 s 0.19/0.27 c 0.19/0.27 c core #74 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 356 Core Weight: 2 Total Weight: 1713 0.19/0.27 c Current CPU time: 0.231964 s 0.19/0.27 c 0.19/0.27 c core #75 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 41 Core Weight: 9 Total Weight: 1722 0.19/0.27 c Current CPU time: 0.236963 s 0.19/0.27 c 0.19/0.27 c core #76 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 87 Core Weight: 11 Total Weight: 1733 0.19/0.27 c Current CPU time: 0.240963 s 0.19/0.27 c 0.19/0.27 c core #77 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 41 Core Weight: 22 Total Weight: 1755 0.19/0.27 c Current CPU time: 0.245962 s 0.19/0.27 c 0.19/0.27 c core #78 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 108 Core Weight: 24 Total Weight: 1779 0.19/0.27 c Current CPU time: 0.250961 s 0.19/0.27 c 0.19/0.27 c core #79 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 342 Core Weight: 1 Total Weight: 1780 0.19/0.27 c Current CPU time: 0.255961 s 0.19/0.27 c 0.19/0.27 c core #80 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 341 Core Weight: 1 Total Weight: 1781 0.19/0.27 c Current CPU time: 0.26096 s 0.19/0.27 c 0.19/0.27 c core #81 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 340 Core Weight: 1 Total Weight: 1782 0.19/0.27 c Current CPU time: 0.266959 s 0.19/0.27 c 0.19/0.27 c core #82 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 74 Core Weight: 44 Total Weight: 1826 0.49/0.54 c Current CPU time: 0.270958 s 0.49/0.54 c 0.49/0.54 c core #83 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 357 Core Weight: 1 Total Weight: 1827 0.49/0.54 c Current CPU time: 0.276957 s 0.49/0.54 c 0.49/0.54 c core #84 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 42 Core Weight: 24 Total Weight: 1851 0.49/0.54 c Current CPU time: 0.282956 s 0.49/0.54 c 0.49/0.54 c core #85 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 78 Core Weight: 28 Total Weight: 1879 0.49/0.54 c Current CPU time: 0.287956 s 0.49/0.54 c 0.49/0.54 c core #86 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 115 Core Weight: 1 Total Weight: 1880 0.49/0.54 c Current CPU time: 0.293955 s 0.49/0.54 c 0.49/0.54 c core #87 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 114 Core Weight: 15 Total Weight: 1895 0.49/0.54 c Current CPU time: 0.297954 s 0.49/0.54 c 0.49/0.54 c core #88 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 425 Core Weight: 1 Total Weight: 1896 0.49/0.54 c Current CPU time: 0.303953 s 0.49/0.54 c 0.49/0.54 c core #89 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 66 Core Weight: 5 Total Weight: 1901 0.49/0.54 c Current CPU time: 0.309952 s 0.49/0.54 c 0.49/0.54 c core #90 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 141 Core Weight: 6 Total Weight: 1907 0.49/0.54 c Current CPU time: 0.315951 s 0.49/0.54 c 0.49/0.54 c core #91 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 158 Core Weight: 9 Total Weight: 1916 0.49/0.54 c Current CPU time: 0.321951 s 0.49/0.54 c 0.49/0.54 c core #92 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 204 Core Weight: 1 Total Weight: 1917 0.49/0.54 c Current CPU time: 0.32795 s 0.49/0.54 c 0.49/0.54 c core #93 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 203 Core Weight: 1 Total Weight: 1918 0.49/0.54 c Current CPU time: 0.334949 s 0.49/0.54 c 0.49/0.54 c core #94 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 201 Core Weight: 3 Total Weight: 1921 0.49/0.54 c Current CPU time: 0.340948 s 0.49/0.54 c 0.49/0.54 c core #95 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 36 Core Weight: 3 Total Weight: 1924 0.49/0.54 c Current CPU time: 0.346947 s 0.49/0.54 c 0.49/0.54 c core #96 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 161 Core Weight: 12 Total Weight: 1936 0.49/0.54 c Current CPU time: 0.352946 s 0.49/0.54 c 0.49/0.54 c core #97 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 240 Core Weight: 10 Total Weight: 1946 0.49/0.54 c Current CPU time: 0.359945 s 0.49/0.54 c 0.49/0.54 c core #98 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 181 Core Weight: 3 Total Weight: 1949 0.49/0.54 c Current CPU time: 0.365944 s 0.49/0.54 c 0.49/0.54 c core #99 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 50 Core Weight: 18 Total Weight: 1967 0.49/0.54 c Current CPU time: 0.372943 s 0.49/0.54 c 0.49/0.54 c core #100 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 80 Core Weight: 10 Total Weight: 1977 0.49/0.54 c Current CPU time: 0.378942 s 0.49/0.54 c 0.49/0.54 c core #101 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 96 Core Weight: 20 Total Weight: 1997 0.49/0.54 c Current CPU time: 0.385941 s 0.49/0.54 c 0.49/0.54 c core #102 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 96 Core Weight: 3 Total Weight: 2000 0.49/0.54 c Current CPU time: 0.39194 s 0.49/0.54 c 0.49/0.54 c core #103 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 46 Core Weight: 1 Total Weight: 2001 0.49/0.54 c Current CPU time: 0.397939 s 0.49/0.54 c 0.49/0.54 c core #104 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 179 Core Weight: 1 Total Weight: 2002 0.49/0.54 c Current CPU time: 0.404938 s 0.49/0.54 c 0.49/0.54 c core #105 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 178 Core Weight: 2 Total Weight: 2004 0.49/0.54 c Current CPU time: 0.411937 s 0.49/0.54 c 0.49/0.54 c core #106 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 48 Core Weight: 8 Total Weight: 2012 0.49/0.54 c Current CPU time: 0.417936 s 0.49/0.54 c 0.49/0.54 c core #107 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 202 Core Weight: 3 Total Weight: 2015 0.49/0.54 c Current CPU time: 0.425935 s 0.49/0.54 c 0.49/0.54 c core #108 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 201 Core Weight: 14 Total Weight: 2029 0.49/0.54 c Current CPU time: 0.432934 s 0.49/0.54 c 0.49/0.54 c core #109 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 292 Core Weight: 2 Total Weight: 2031 0.49/0.54 c Current CPU time: 0.439933 s 0.49/0.54 c 0.49/0.54 c core #110 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 36 Core Weight: 12 Total Weight: 2043 0.49/0.54 c Current CPU time: 0.446932 s 0.49/0.54 c 0.49/0.54 c core #111 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 195 Core Weight: 2 Total Weight: 2045 0.49/0.54 c Current CPU time: 0.45393 s 0.49/0.54 c 0.49/0.54 c core #112 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 37 Core Weight: 40 Total Weight: 2085 0.49/0.54 c Current CPU time: 0.460929 s 0.49/0.54 c 0.49/0.54 c core #113 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 26 Core Weight: 28 Total Weight: 2113 0.49/0.54 c Current CPU time: 0.467928 s 0.49/0.54 c 0.49/0.54 c core #114 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 21 Core Weight: 47 Total Weight: 2160 0.49/0.54 c Current CPU time: 0.474927 s 0.49/0.54 c 0.49/0.54 c core #115 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 61 Core Weight: 16 Total Weight: 2176 0.49/0.54 c Current CPU time: 0.480926 s 0.49/0.54 c 0.49/0.54 c core #116 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 79 Core Weight: 4 Total Weight: 2180 0.49/0.54 c Current CPU time: 0.488925 s 0.49/0.54 c 0.49/0.54 c core #117 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 41 Core Weight: 9 Total Weight: 2189 0.49/0.54 c Current CPU time: 0.495924 s 0.49/0.54 c 0.49/0.54 c core #118 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 58 Core Weight: 8 Total Weight: 2197 0.49/0.54 c Current CPU time: 0.502923 s 0.49/0.54 c 0.49/0.54 c core #119 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 117 Core Weight: 2 Total Weight: 2199 0.49/0.54 c Current CPU time: 0.509922 s 0.49/0.54 c 0.49/0.54 c core #120 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 162 Core Weight: 3 Total Weight: 2202 0.49/0.54 c Current CPU time: 0.516921 s 0.49/0.54 c 0.49/0.54 c core #121 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 161 Core Weight: 1 Total Weight: 2203 0.49/0.54 c Current CPU time: 0.52492 s 0.49/0.54 c 0.49/0.54 c core #122 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 51 Core Weight: 7 Total Weight: 2210 0.49/0.54 c Current CPU time: 0.531919 s 0.49/0.54 c 0.49/0.54 c core #123 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 71 Core Weight: 23 Total Weight: 2233 0.89/0.90 c Current CPU time: 0.539917 s 0.89/0.90 c 0.89/0.90 c core #124 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 65 Core Weight: 20 Total Weight: 2253 0.89/0.90 c Current CPU time: 0.546916 s 0.89/0.90 c 0.89/0.90 c core #125 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 217 Core Weight: 1 Total Weight: 2254 0.89/0.90 c Current CPU time: 0.554915 s 0.89/0.90 c 0.89/0.90 c core #126 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 42 Core Weight: 5 Total Weight: 2259 0.89/0.90 c Current CPU time: 0.561914 s 0.89/0.90 c 0.89/0.90 c core #127 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 60 Core Weight: 8 Total Weight: 2267 0.89/0.90 c Current CPU time: 0.569913 s 0.89/0.90 c 0.89/0.90 c core #128 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 64 Core Weight: 11 Total Weight: 2278 0.89/0.90 c Current CPU time: 0.576912 s 0.89/0.90 c 0.89/0.90 c core #129 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 207 Core Weight: 1 Total Weight: 2279 0.89/0.90 c Current CPU time: 0.584911 s 0.89/0.90 c 0.89/0.90 c core #130 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 206 Core Weight: 3 Total Weight: 2282 0.89/0.90 c Current CPU time: 0.592909 s 0.89/0.90 c 0.89/0.90 c core #131 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 206 Core Weight: 2 Total Weight: 2284 0.89/0.90 c Current CPU time: 0.600908 s 0.89/0.90 c 0.89/0.90 c core #132 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 97 Core Weight: 4 Total Weight: 2288 0.89/0.90 c Current CPU time: 0.608907 s 0.89/0.90 c 0.89/0.90 c core #133 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 96 Core Weight: 22 Total Weight: 2310 0.89/0.90 c Current CPU time: 0.616906 s 0.89/0.90 c 0.89/0.90 c core #134 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 72 Core Weight: 21 Total Weight: 2331 0.89/0.90 c Current CPU time: 0.624905 s 0.89/0.90 c 0.89/0.90 c core #135 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 65 Core Weight: 22 Total Weight: 2353 0.89/0.90 c Current CPU time: 0.632903 s 0.89/0.90 c 0.89/0.90 c core #136 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 224 Core Weight: 1 Total Weight: 2354 0.89/0.90 c Current CPU time: 0.640902 s 0.89/0.90 c 0.89/0.90 c core #137 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 5 Core Weight: 37 Total Weight: 2391 0.89/0.90 c Current CPU time: 0.648901 s 0.89/0.90 c 0.89/0.90 c core #138 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 39 Core Weight: 4 Total Weight: 2395 0.89/0.90 c Current CPU time: 0.6569 s 0.89/0.90 c 0.89/0.90 c core #139 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 81 Core Weight: 17 Total Weight: 2412 0.89/0.90 c Current CPU time: 0.664898 s 0.89/0.90 c 0.89/0.90 c core #140 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 102 Core Weight: 4 Total Weight: 2416 0.89/0.90 c Current CPU time: 0.672897 s 0.89/0.90 c 0.89/0.90 c core #141 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 189 Core Weight: 1 Total Weight: 2417 0.89/0.90 c Current CPU time: 0.680896 s 0.89/0.90 c 0.89/0.90 c core #142 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 56 Core Weight: 1 Total Weight: 2418 0.89/0.90 c Current CPU time: 0.688895 s 0.89/0.90 c 0.89/0.90 c core #143 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 60 Core Weight: 8 Total Weight: 2426 0.89/0.90 c Current CPU time: 0.697893 s 0.89/0.90 c 0.89/0.90 c core #144 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 54 Core Weight: 91 Total Weight: 2517 0.89/0.90 c Current CPU time: 0.705892 s 0.89/0.90 c 0.89/0.90 c core #145 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 181 Core Weight: 2 Total Weight: 2519 0.89/0.90 c Current CPU time: 0.714891 s 0.89/0.90 c 0.89/0.90 c core #146 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 212 Core Weight: 3 Total Weight: 2522 0.89/0.90 c Current CPU time: 0.72289 s 0.89/0.90 c 0.89/0.90 c core #147 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 40 Core Weight: 54 Total Weight: 2576 0.89/0.90 c Current CPU time: 0.730888 s 0.89/0.90 c 0.89/0.90 c core #148 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 264 Core Weight: 3 Total Weight: 2579 0.89/0.90 c Current CPU time: 0.739887 s 0.89/0.90 c 0.89/0.90 c core #149 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 430 Core Weight: 2 Total Weight: 2581 0.89/0.90 c Current CPU time: 0.747886 s 0.89/0.90 c 0.89/0.90 c core #150 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 429 Core Weight: 2 Total Weight: 2583 0.89/0.90 c Current CPU time: 0.758884 s 0.89/0.90 c 0.89/0.90 c core #151 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 143 Core Weight: 1 Total Weight: 2584 0.89/0.90 c Current CPU time: 0.768883 s 0.89/0.90 c 0.89/0.90 c core #152 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 142 Core Weight: 5 Total Weight: 2589 0.89/0.90 c Current CPU time: 0.777881 s 0.89/0.90 c 0.89/0.90 c core #153 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 122 Core Weight: 2 Total Weight: 2591 0.89/0.90 c Current CPU time: 0.78688 s 0.89/0.90 c 0.89/0.90 c core #154 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 123 Core Weight: 3 Total Weight: 2594 0.89/0.90 c Current CPU time: 0.796878 s 0.89/0.90 c 0.89/0.90 c core #155 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 197 Core Weight: 2 Total Weight: 2596 0.89/0.90 c Current CPU time: 0.806877 s 0.89/0.90 c 0.89/0.90 c core #156 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 89 Core Weight: 2 Total Weight: 2598 0.89/0.90 c Current CPU time: 0.816875 s 0.89/0.90 c 0.89/0.90 c core #157 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 143 Core Weight: 3 Total Weight: 2601 0.89/0.90 c Current CPU time: 0.826874 s 0.89/0.90 c 0.89/0.90 c core #158 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 211 Core Weight: 1 Total Weight: 2602 0.89/0.90 c Current CPU time: 0.836872 s 0.89/0.90 c 0.89/0.90 c core #159 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 196 Core Weight: 1 Total Weight: 2603 0.89/0.90 c Current CPU time: 0.845871 s 0.89/0.90 c 0.89/0.90 c core #160 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 62 Core Weight: 43 Total Weight: 2646 0.89/0.90 c Current CPU time: 0.855869 s 0.89/0.90 c 0.89/0.90 c core #161 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 89 Core Weight: 31 Total Weight: 2677 0.89/0.90 c Current CPU time: 0.865868 s 0.89/0.90 c 0.89/0.90 c core #162 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 146 Core Weight: 2 Total Weight: 2679 0.89/0.90 c Current CPU time: 0.875866 s 0.89/0.90 c 0.89/0.90 c core #163 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 414 Core Weight: 1 Total Weight: 2680 1.39/1.41 c Current CPU time: 0.886865 s 1.39/1.41 c 1.39/1.41 c core #164 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 123 Core Weight: 8 Total Weight: 2688 1.39/1.41 c Current CPU time: 0.897863 s 1.39/1.41 c 1.39/1.41 c core #165 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 142 Core Weight: 1 Total Weight: 2689 1.39/1.41 c Current CPU time: 0.907861 s 1.39/1.41 c 1.39/1.41 c core #166 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 455 Core Weight: 1 Total Weight: 2690 1.39/1.41 c Current CPU time: 0.91886 s 1.39/1.41 c 1.39/1.41 c core #167 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 374 Core Weight: 3 Total Weight: 2693 1.39/1.41 c Current CPU time: 0.929858 s 1.39/1.41 c 1.39/1.41 c core #168 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 373 Core Weight: 2 Total Weight: 2695 1.39/1.41 c Current CPU time: 0.939857 s 1.39/1.41 c 1.39/1.41 c core #169 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 371 Core Weight: 1 Total Weight: 2696 1.39/1.41 c Current CPU time: 0.950855 s 1.39/1.41 c 1.39/1.41 c core #170 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 370 Core Weight: 1 Total Weight: 2697 1.39/1.41 c Current CPU time: 0.961853 s 1.39/1.41 c 1.39/1.41 c core #171 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 369 Core Weight: 1 Total Weight: 2698 1.39/1.41 c Current CPU time: 0.972852 s 1.39/1.41 c 1.39/1.41 c core #172 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 697 Core Weight: 1 Total Weight: 2699 1.39/1.41 c Current CPU time: 0.98485 s 1.39/1.41 c 1.39/1.41 c core #173 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 696 Core Weight: 1 Total Weight: 2700 1.39/1.41 c Current CPU time: 0.996848 s 1.39/1.41 c 1.39/1.41 c core #174 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 81 Core Weight: 4 Total Weight: 2704 1.39/1.41 c Current CPU time: 1.00885 s 1.39/1.41 c 1.39/1.41 c core #175 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 158 Core Weight: 1 Total Weight: 2705 1.39/1.41 c Current CPU time: 1.02084 s 1.39/1.41 c 1.39/1.41 c core #176 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 104 Core Weight: 4 Total Weight: 2709 1.39/1.41 c Current CPU time: 1.03284 s 1.39/1.41 c 1.39/1.41 c core #177 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 231 Core Weight: 7 Total Weight: 2716 1.39/1.41 c Current CPU time: 1.04484 s 1.39/1.41 c 1.39/1.41 c core #178 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 147 Core Weight: 2 Total Weight: 2718 1.39/1.41 c Current CPU time: 1.05584 s 1.39/1.41 c 1.39/1.41 c core #179 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 146 Core Weight: 4 Total Weight: 2722 1.39/1.41 c Current CPU time: 1.06784 s 1.39/1.41 c 1.39/1.41 c core #180 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 128 Core Weight: 3 Total Weight: 2725 1.39/1.41 c Current CPU time: 1.07984 s 1.39/1.41 c 1.39/1.41 c core #181 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 64 Core Weight: 29 Total Weight: 2754 1.39/1.41 c Current CPU time: 1.09183 s 1.39/1.41 c 1.39/1.41 c core #182 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 68 Core Weight: 2 Total Weight: 2756 1.39/1.41 c Current CPU time: 1.10383 s 1.39/1.41 c 1.39/1.41 c core #183 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 145 Core Weight: 3 Total Weight: 2759 1.39/1.41 c Current CPU time: 1.11583 s 1.39/1.41 c 1.39/1.41 c core #184 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 148 Core Weight: 5 Total Weight: 2764 1.39/1.41 c Current CPU time: 1.12783 s 1.39/1.41 c 1.39/1.41 c core #185 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 491 Core Weight: 1 Total Weight: 2765 1.39/1.41 c Current CPU time: 1.14083 s 1.39/1.41 c 1.39/1.41 c core #186 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 490 Core Weight: 8 Total Weight: 2773 1.39/1.41 c Current CPU time: 1.15482 s 1.39/1.41 c 1.39/1.41 c core #187 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 60 Core Weight: 21 Total Weight: 2794 1.39/1.41 c Current CPU time: 1.16782 s 1.39/1.41 c 1.39/1.41 c core #188 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 187 Core Weight: 1 Total Weight: 2795 1.39/1.41 c Current CPU time: 1.18082 s 1.39/1.41 c 1.39/1.41 c core #189 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 28 Core Weight: 10 Total Weight: 2805 1.39/1.41 c Current CPU time: 1.19382 s 1.39/1.41 c 1.39/1.41 c core #190 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 64 Core Weight: 25 Total Weight: 2830 1.39/1.41 c Current CPU time: 1.20682 s 1.39/1.41 c 1.39/1.41 c core #191 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 127 Core Weight: 3 Total Weight: 2833 1.39/1.41 c Current CPU time: 1.21981 s 1.39/1.41 c 1.39/1.41 c core #192 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 264 Core Weight: 1 Total Weight: 2834 1.39/1.41 c Current CPU time: 1.23281 s 1.39/1.41 c 1.39/1.41 c core #193 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 30 Core Weight: 30 Total Weight: 2864 1.39/1.41 c Current CPU time: 1.24581 s 1.39/1.41 c 1.39/1.41 c core #194 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 52 Core Weight: 68 Total Weight: 2932 1.39/1.41 c Current CPU time: 1.25881 s 1.39/1.41 c 1.39/1.41 c core #195 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 45 Core Weight: 49 Total Weight: 2981 1.39/1.41 c Current CPU time: 1.27181 s 1.39/1.41 c 1.39/1.41 c core #196 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 355 Core Weight: 1 Total Weight: 2982 1.39/1.41 c Current CPU time: 1.2858 s 1.39/1.41 c 1.39/1.41 c core #197 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 309 Core Weight: 3 Total Weight: 2985 1.39/1.41 c Current CPU time: 1.2998 s 1.39/1.41 c 1.39/1.41 c core #198 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 233 Core Weight: 3 Total Weight: 2988 1.39/1.41 c Current CPU time: 1.3148 s 1.39/1.41 c 1.39/1.41 c core #199 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 159 Core Weight: 3 Total Weight: 2991 1.39/1.41 c Current CPU time: 1.3288 s 1.39/1.41 c 1.39/1.41 c core #200 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 229 Core Weight: 1 Total Weight: 2992 1.39/1.41 c Current CPU time: 1.3418 s 1.39/1.41 c 1.39/1.41 c core #201 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 464 Core Weight: 2 Total Weight: 2994 1.39/1.41 c Current CPU time: 1.35879 s 1.39/1.41 c 1.39/1.41 c core #202 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 387 Core Weight: 2 Total Weight: 2996 1.39/1.41 c Current CPU time: 1.37479 s 1.39/1.41 c 1.39/1.41 c core #203 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 543 Core Weight: 2 Total Weight: 2998 1.39/1.41 c Current CPU time: 1.39079 s 1.49/1.58 c 1.49/1.58 c core #204 1.49/1.58 c 1.49/1.58 c 1.49/1.58 c Core size: 274 Core Weight: 2 Total Weight: 3000 1.49/1.58 c Current CPU time: 1.40679 s 1.49/1.58 c 1.49/1.58 c core #205 1.49/1.58 c 1.49/1.58 c 1.49/1.58 c Core size: 273 Core Weight: 2 Total Weight: 3002 1.49/1.58 c Current CPU time: 1.42278 s 1.49/1.58 c 1.49/1.58 c core #206 1.49/1.58 c 1.49/1.58 c 1.49/1.58 c Core size: 273 Core Weight: 5 Total Weight: 3007 1.49/1.58 c Current CPU time: 1.43978 s 1.49/1.58 c 1.49/1.58 c core #207 1.49/1.58 c 1.49/1.58 c 1.49/1.58 c Core size: 283 Core Weight: 1 Total Weight: 3008 1.49/1.58 c Current CPU time: 1.45678 s 1.49/1.58 c 1.49/1.58 c core #208 1.49/1.58 c 1.49/1.58 c 1.49/1.58 c Core size: 114 Core Weight: 3 Total Weight: 3011 1.49/1.58 c Current CPU time: 1.47278 s 1.49/1.58 c 1.49/1.58 c core #209 1.49/1.58 c 1.49/1.58 c 1.49/1.58 c Core size: 114 Core Weight: 1 Total Weight: 3012 1.49/1.58 c Current CPU time: 1.48777 s 1.49/1.58 c 1.49/1.58 c core #210 1.49/1.58 c 1.49/1.58 c 1.49/1.58 c Core size: 114 Core Weight: 1 Total Weight: 3013 1.49/1.58 c Current CPU time: 1.50377 s 1.49/1.58 c 1.49/1.58 c core #211 1.49/1.58 c 1.49/1.58 c 1.49/1.58 c Core size: 114 Core Weight: 3 Total Weight: 3016 1.49/1.58 c Current CPU time: 1.52077 s 1.49/1.58 c 1.49/1.58 c core #212 1.49/1.58 c 1.49/1.58 c 1.49/1.58 c Core size: 194 Core Weight: 1 Total Weight: 3017 1.49/1.58 c Current CPU time: 1.53677 s 1.49/1.58 c 1.49/1.58 c ============================[ Search Statistics ]============================== 1.49/1.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.58 c =============================================================================== 1.49/1.58 c | 0 | 31910 34818 58040 | 11606 0 -nan | 0.000 % | 1.49/1.58 c =============================================================================== 1.59/1.60 c core #213 1.59/1.60 c 1.59/1.60 c 1.59/1.60 c Core size: 105 Core Weight: 5 Total Weight: 3022 1.59/1.60 c Current CPU time: 1.55676 s 1.59/1.60 c 1.59/1.60 c ============================[ Search Statistics ]============================== 1.59/1.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.60 c =============================================================================== 1.59/1.60 c | 0 | 32013 34920 58196 | 11640 0 -nan | 0.000 % | 1.59/1.60 c =============================================================================== 1.59/1.63 c core #214 1.59/1.63 c 1.59/1.63 c 1.59/1.63 c Core size: 215 Core Weight: 1 Total Weight: 3023 1.59/1.63 c Current CPU time: 1.58076 s 1.59/1.63 c 1.59/1.63 c ============================[ Search Statistics ]============================== 1.59/1.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.63 c =============================================================================== 1.59/1.63 c | 0 | 32227 35129 58514 | 11709 0 -nan | 0.000 % | 1.59/1.63 c =============================================================================== 1.59/1.65 c core #215 1.59/1.65 c 1.59/1.65 c 1.59/1.65 c Core size: 260 Core Weight: 1 Total Weight: 3024 1.59/1.65 c Current CPU time: 1.60476 s 1.59/1.65 c 1.59/1.65 c ============================[ Search Statistics ]============================== 1.59/1.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.65 c =============================================================================== 1.59/1.65 c | 0 | 32482 35383 58807 | 11794 0 -nan | 0.000 % | 1.59/1.65 c =============================================================================== 1.59/1.67 c core #216 1.59/1.67 c 1.59/1.67 c 1.59/1.67 c Core size: 284 Core Weight: 1 Total Weight: 3025 1.59/1.67 c Current CPU time: 1.62875 s 1.59/1.67 c 1.59/1.67 c ============================[ Search Statistics ]============================== 1.59/1.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.67 c =============================================================================== 1.59/1.67 c | 0 | 32764 35662 59152 | 11887 0 -nan | 0.000 % | 1.59/1.68 c =============================================================================== 1.69/1.70 c core #217 1.69/1.70 c 1.69/1.70 c 1.69/1.70 c Core size: 281 Core Weight: 1 Total Weight: 3026 1.69/1.70 c Current CPU time: 1.65175 s 1.69/1.70 c 1.69/1.70 c ============================[ Search Statistics ]============================== 1.69/1.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.70 c =============================================================================== 1.69/1.70 c | 0 | 33046 35936 59525 | 11978 0 -nan | 0.000 % | 1.69/1.70 c =============================================================================== 1.69/1.72 c core #218 1.69/1.72 c 1.69/1.72 c 1.69/1.72 c Core size: 284 Core Weight: 1 Total Weight: 3027 1.69/1.72 c Current CPU time: 1.67575 s 1.69/1.72 c 1.69/1.72 c ============================[ Search Statistics ]============================== 1.69/1.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.72 c =============================================================================== 1.69/1.72 c | 0 | 33327 36216 59914 | 12072 0 -nan | 0.000 % | 1.69/1.73 c =============================================================================== 1.69/1.75 c core #219 1.69/1.75 c 1.69/1.75 c 1.69/1.75 c Core size: 184 Core Weight: 1 Total Weight: 3028 1.69/1.75 c Current CPU time: 1.69774 s 1.69/1.75 c 1.69/1.75 c ============================[ Search Statistics ]============================== 1.69/1.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.75 c =============================================================================== 1.69/1.75 c | 0 | 33507 36393 60160 | 12131 0 -nan | 0.000 % | 1.69/1.75 c =============================================================================== 1.69/1.77 c core #220 1.69/1.77 c 1.69/1.77 c 1.69/1.77 c Core size: 132 Core Weight: 38 Total Weight: 3066 1.69/1.77 c Current CPU time: 1.72074 s 1.69/1.77 c 1.69/1.77 c ============================[ Search Statistics ]============================== 1.69/1.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.77 c =============================================================================== 1.69/1.77 c | 0 | 33635 36518 60292 | 12172 0 -nan | 0.000 % | 1.69/1.77 c =============================================================================== 1.69/1.79 c core #221 1.69/1.79 c 1.69/1.79 c 1.69/1.79 c Core size: 132 Core Weight: 1 Total Weight: 3067 1.69/1.79 c Current CPU time: 1.74274 s 1.69/1.79 c 1.69/1.79 c ============================[ Search Statistics ]============================== 1.69/1.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.79 c =============================================================================== 1.69/1.79 c | 0 | 33763 36643 60424 | 12214 0 -nan | 0.000 % | 1.79/1.80 c =============================================================================== 1.79/1.82 c core #222 1.79/1.82 c 1.79/1.82 c 1.79/1.82 c Core size: 353 Core Weight: 3 Total Weight: 3070 1.79/1.82 c Current CPU time: 1.76873 s 1.79/1.82 c 1.79/1.82 c ============================[ Search Statistics ]============================== 1.79/1.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.82 c =============================================================================== 1.79/1.82 c | 0 | 34112 36991 60823 | 12330 0 -nan | 0.000 % | 1.79/1.82 c =============================================================================== 1.79/1.85 c core #223 1.79/1.85 c 1.79/1.85 c 1.79/1.85 c Core size: 87 Core Weight: 1 Total Weight: 3071 1.79/1.85 c Current CPU time: 1.79373 s 1.79/1.85 c 1.79/1.85 c ============================[ Search Statistics ]============================== 1.79/1.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.85 c =============================================================================== 1.79/1.85 c | 0 | 34197 37075 60927 | 12358 0 -nan | 0.000 % | 1.79/1.85 c =============================================================================== 1.79/1.88 c core #224 1.79/1.88 c 1.79/1.88 c 1.79/1.88 c Core size: 423 Core Weight: 1 Total Weight: 3072 1.79/1.88 c Current CPU time: 1.82072 s 1.79/1.88 c 1.79/1.88 c ============================[ Search Statistics ]============================== 1.79/1.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.88 c =============================================================================== 1.79/1.88 c | 0 | 34618 37484 61524 | 12494 0 -nan | 0.000 % | 1.79/1.88 c =============================================================================== 1.89/1.90 c core #225 1.89/1.90 c 1.89/1.90 c 1.89/1.90 c Core size: 353 Core Weight: 1 Total Weight: 3073 1.89/1.90 c Current CPU time: 1.84672 s 1.89/1.90 c 1.89/1.90 c ============================[ Search Statistics ]============================== 1.89/1.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.90 c =============================================================================== 1.89/1.90 c | 0 | 34967 37829 61992 | 12609 0 -nan | 0.000 % | 1.89/1.91 c =============================================================================== 1.89/1.93 c core #226 1.89/1.93 c 1.89/1.93 c 1.89/1.93 c Core size: 249 Core Weight: 1 Total Weight: 3074 1.89/1.93 c Current CPU time: 1.87271 s 1.89/1.93 c 1.89/1.93 c ============================[ Search Statistics ]============================== 1.89/1.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.93 c =============================================================================== 1.89/1.93 c | 0 | 35216 38075 62335 | 12691 0 -nan | 0.000 % | 1.89/1.94 c =============================================================================== 1.89/1.96 c core #227 1.89/1.96 c 1.89/1.96 c 1.89/1.96 c Core size: 406 Core Weight: 1 Total Weight: 3075 1.89/1.96 c Current CPU time: 1.89971 s 1.89/1.96 c 1.89/1.96 c ============================[ Search Statistics ]============================== 1.89/1.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.96 c =============================================================================== 1.89/1.96 c | 0 | 35620 38470 62815 | 12823 0 -nan | 0.000 % | 1.89/1.96 c =============================================================================== 1.89/1.98 c core #228 1.89/1.98 c 1.89/1.98 c 1.89/1.98 c Core size: 132 Core Weight: 3 Total Weight: 3078 1.89/1.98 c Current CPU time: 1.92471 s 1.89/1.98 c 1.89/1.98 c ============================[ Search Statistics ]============================== 1.89/1.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.98 c =============================================================================== 1.89/1.98 c | 0 | 35748 38595 62947 | 12865 0 -nan | 0.000 % | 1.89/1.99 c =============================================================================== 1.99/2.01 c core #229 1.99/2.01 c 1.99/2.01 c 1.99/2.01 c Core size: 189 Core Weight: 3 Total Weight: 3081 1.99/2.01 c Current CPU time: 1.9497 s 1.99/2.01 c 1.99/2.01 c ============================[ Search Statistics ]============================== 1.99/2.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.01 c =============================================================================== 1.99/2.01 c | 0 | 35935 38777 63140 | 12925 0 -nan | 0.000 % | 1.99/2.01 c =============================================================================== 1.99/2.04 c core #230 1.99/2.04 c 1.99/2.04 c 1.99/2.04 c Core size: 180 Core Weight: 1 Total Weight: 3082 1.99/2.04 c Current CPU time: 1.9767 s 1.99/2.04 c 1.99/2.04 c ============================[ Search Statistics ]============================== 1.99/2.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.04 c =============================================================================== 1.99/2.04 c | 0 | 36113 38950 63497 | 12983 0 -nan | 0.000 % | 1.99/2.04 c =============================================================================== 1.99/2.07 c core #231 1.99/2.07 c 1.99/2.07 c 1.99/2.07 c Core size: 176 Core Weight: 1 Total Weight: 3083 1.99/2.07 c Current CPU time: 2.00469 s 1.99/2.07 c 1.99/2.07 c ============================[ Search Statistics ]============================== 1.99/2.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.07 c =============================================================================== 1.99/2.07 c | 0 | 36285 39121 63774 | 13040 0 -nan | 0.000 % | 1.99/2.07 c =============================================================================== 1.99/2.10 c core #232 1.99/2.10 c 1.99/2.10 c 1.99/2.10 c Core size: 270 Core Weight: 1 Total Weight: 3084 1.99/2.10 c Current CPU time: 2.03069 s 1.99/2.10 c 1.99/2.10 c ============================[ Search Statistics ]============================== 1.99/2.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.10 c =============================================================================== 1.99/2.10 c | 0 | 36552 39383 64103 | 13127 0 -nan | 0.000 % | 1.99/2.10 c =============================================================================== 2.10/2.12 c core #233 2.10/2.12 c 2.10/2.12 c 2.10/2.12 c Core size: 176 Core Weight: 1 Total Weight: 3085 2.10/2.12 c Current CPU time: 2.05869 s 2.10/2.12 c 2.10/2.12 c ============================[ Search Statistics ]============================== 2.10/2.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.12 c =============================================================================== 2.10/2.12 c | 0 | 36727 39540 64437 | 13180 0 -nan | 0.000 % | 2.10/2.13 c =============================================================================== 2.10/2.15 c core #234 2.10/2.15 c 2.10/2.15 c 2.10/2.15 c Core size: 364 Core Weight: 1 Total Weight: 3086 2.10/2.15 c Current CPU time: 2.08468 s 2.10/2.15 c 2.10/2.15 c ============================[ Search Statistics ]============================== 2.10/2.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.15 c =============================================================================== 2.10/2.15 c | 0 | 37088 39900 64812 | 13300 0 -nan | 0.000 % | 2.10/2.16 c =============================================================================== 2.10/2.18 c core #235 2.10/2.18 c 2.10/2.18 c 2.10/2.18 c Core size: 175 Core Weight: 1 Total Weight: 3087 2.10/2.18 c Current CPU time: 2.11268 s 2.10/2.18 c 2.10/2.18 c ============================[ Search Statistics ]============================== 2.10/2.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.18 c =============================================================================== 2.10/2.18 c | 0 | 37259 40070 65112 | 13356 0 -nan | 0.000 % | 2.10/2.19 c =============================================================================== 2.21/2.21 c core #236 2.21/2.21 c 2.21/2.21 c 2.21/2.21 c Core size: 146 Core Weight: 1 Total Weight: 3088 2.21/2.21 c Current CPU time: 2.13867 s 2.21/2.21 c 2.21/2.21 c ============================[ Search Statistics ]============================== 2.21/2.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.21/2.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.21/2.21 c =============================================================================== 2.21/2.21 c | 0 | 37405 40211 65391 | 13403 0 -nan | 0.000 % | 2.21/2.22 c =============================================================================== 2.21/2.24 c core #237 2.21/2.24 c 2.21/2.24 c 2.21/2.24 c Core size: 175 Core Weight: 1 Total Weight: 3089 2.21/2.24 c Current CPU time: 2.16767 s 2.21/2.24 c 2.21/2.24 c ============================[ Search Statistics ]============================== 2.21/2.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.21/2.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.21/2.24 c =============================================================================== 2.21/2.24 c | 0 | 37576 40367 65688 | 13455 0 -nan | 0.000 % | 2.21/2.25 c =============================================================================== 2.21/2.27 c core #238 2.21/2.27 c 2.21/2.27 c 2.21/2.27 c Core size: 234 Core Weight: 1 Total Weight: 3090 2.21/2.27 c Current CPU time: 2.19267 s 2.21/2.27 c 2.21/2.27 c ============================[ Search Statistics ]============================== 2.21/2.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.21/2.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.21/2.27 c =============================================================================== 2.21/2.27 c | 0 | 37804 40591 65936 | 13530 0 -nan | 0.000 % | 2.21/2.28 c =============================================================================== 2.29/2.30 c core #239 2.29/2.30 c 2.29/2.30 c 2.29/2.30 c Core size: 175 Core Weight: 1 Total Weight: 3091 2.29/2.30 c Current CPU time: 2.22066 s 2.29/2.30 c 2.29/2.30 c ============================[ Search Statistics ]============================== 2.29/2.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.30 c =============================================================================== 2.29/2.30 c | 0 | 37975 40761 66246 | 13587 0 -nan | 0.000 % | 2.29/2.31 c =============================================================================== 2.29/2.33 c core #240 2.29/2.33 c 2.29/2.33 c 2.29/2.33 c Core size: 210 Core Weight: 1 Total Weight: 3092 2.29/2.33 c Current CPU time: 2.24866 s 2.29/2.33 c 2.29/2.33 c ============================[ Search Statistics ]============================== 2.29/2.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.33 c =============================================================================== 2.29/2.33 c | 0 | 38185 40959 66619 | 13653 0 -nan | 0.000 % | 2.29/2.34 c =============================================================================== 2.29/2.37 c core #241 2.29/2.37 c 2.29/2.37 c 2.29/2.37 c Core size: 175 Core Weight: 1 Total Weight: 3093 2.29/2.37 c Current CPU time: 2.27865 s 2.29/2.37 c 2.29/2.37 c ============================[ Search Statistics ]============================== 2.29/2.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.37 c =============================================================================== 2.29/2.37 c | 0 | 38356 41113 66895 | 13704 0 -nan | 0.000 % | 2.29/2.37 c =============================================================================== 2.29/2.39 c core #242 2.29/2.39 c 2.29/2.39 c 2.29/2.39 c Core size: 127 Core Weight: 1 Total Weight: 3094 2.29/2.39 c Current CPU time: 2.30565 s 2.29/2.39 c 2.29/2.39 c ============================[ Search Statistics ]============================== 2.29/2.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.39 c =============================================================================== 2.29/2.39 c | 0 | 38479 41233 67022 | 13744 0 -nan | 0.000 % | 2.39/2.40 c =============================================================================== 2.39/2.42 c core #243 2.39/2.42 c 2.39/2.42 c 2.39/2.42 c Core size: 175 Core Weight: 1 Total Weight: 3095 2.39/2.42 c Current CPU time: 2.33264 s 2.39/2.42 c 2.39/2.42 c ============================[ Search Statistics ]============================== 2.39/2.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.42 c =============================================================================== 2.39/2.42 c | 0 | 38651 41402 67387 | 13800 0 -nan | 0.000 % | 2.39/2.43 c =============================================================================== 2.39/2.46 c core #244 2.39/2.46 c 2.39/2.46 c 2.39/2.46 c Core size: 175 Core Weight: 1 Total Weight: 3096 2.39/2.46 c Current CPU time: 2.36164 s 2.39/2.46 c 2.39/2.46 c ============================[ Search Statistics ]============================== 2.39/2.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.46 c =============================================================================== 2.39/2.46 c | 0 | 38824 41568 67886 | 13856 0 -nan | 0.000 % | 2.39/2.46 c =============================================================================== 2.39/2.49 c core #245 2.39/2.49 c 2.39/2.49 c 2.39/2.49 c Core size: 278 Core Weight: 1 Total Weight: 3097 2.39/2.49 c Current CPU time: 2.39064 s 2.39/2.49 c 2.39/2.49 c ============================[ Search Statistics ]============================== 2.39/2.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.49 c =============================================================================== 2.39/2.49 c | 0 | 39100 41838 68303 | 13946 0 -nan | 0.000 % | 2.39/2.50 c =============================================================================== 2.49/2.52 c core #246 2.49/2.52 c 2.49/2.52 c 2.49/2.52 c Core size: 279 Core Weight: 1 Total Weight: 3098 2.49/2.52 c Current CPU time: 2.42263 s 2.49/2.52 c 2.49/2.52 c ============================[ Search Statistics ]============================== 2.49/2.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.52 c =============================================================================== 2.49/2.52 c | 0 | 39375 42107 68745 | 14035 0 -nan | 0.000 % | 2.49/2.53 c =============================================================================== 2.49/2.56 c core #247 2.49/2.56 c 2.49/2.56 c 2.49/2.56 c Core size: 327 Core Weight: 1 Total Weight: 3099 2.49/2.56 c Current CPU time: 2.45563 s 2.49/2.56 c 2.49/2.56 c ============================[ Search Statistics ]============================== 2.49/2.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.56 c =============================================================================== 2.49/2.56 c | 0 | 39698 42411 69318 | 14137 0 -nan | 0.000 % | 2.49/2.56 c =============================================================================== 2.49/2.59 c core #248 2.49/2.59 c 2.49/2.59 c 2.49/2.59 c Core size: 292 Core Weight: 1 Total Weight: 3100 2.49/2.59 c Current CPU time: 2.48562 s 2.49/2.59 c 2.49/2.59 c ============================[ Search Statistics ]============================== 2.49/2.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.59 c =============================================================================== 2.49/2.59 c | 0 | 39986 42698 69685 | 14232 0 -nan | 0.000 % | 2.59/2.60 c =============================================================================== 2.59/2.63 c core #249 2.59/2.63 c 2.59/2.63 c 2.59/2.63 c Core size: 279 Core Weight: 1 Total Weight: 3101 2.59/2.63 c Current CPU time: 2.51962 s 2.59/2.63 c 2.59/2.63 c ============================[ Search Statistics ]============================== 2.59/2.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.63 c =============================================================================== 2.59/2.63 c | 0 | 40261 42966 70176 | 14322 0 -nan | 0.000 % | 2.59/2.63 c =============================================================================== 2.59/2.66 c core #250 2.59/2.66 c 2.59/2.66 c 2.59/2.66 c Core size: 233 Core Weight: 7 Total Weight: 3108 2.59/2.66 c Current CPU time: 2.54861 s 2.59/2.66 c 2.59/2.66 c ============================[ Search Statistics ]============================== 2.59/2.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.66 c =============================================================================== 2.59/2.66 c | 0 | 40489 43193 70494 | 14397 0 -nan | 0.000 % | 2.59/2.66 c =============================================================================== 2.59/2.69 c core #251 2.59/2.69 c 2.59/2.69 c 2.59/2.69 c Core size: 350 Core Weight: 1 Total Weight: 3109 2.59/2.69 c Current CPU time: 2.58061 s 2.59/2.69 c 2.59/2.69 c ============================[ Search Statistics ]============================== 2.59/2.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.69 c =============================================================================== 2.59/2.69 c | 0 | 40836 43531 71113 | 14510 0 -nan | 0.000 % | 2.70/2.71 c =============================================================================== 2.70/2.74 c core #252 2.70/2.74 c 2.70/2.74 c 2.70/2.74 c Core size: 358 Core Weight: 1 Total Weight: 3110 2.70/2.74 c Current CPU time: 2.6206 s 2.70/2.74 c 2.70/2.74 c ============================[ Search Statistics ]============================== 2.70/2.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.70/2.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.70/2.74 c =============================================================================== 2.70/2.74 c | 0 | 41194 43883 71718 | 14627 0 -nan | 0.000 % | 2.70/2.74 c =============================================================================== 2.70/2.77 c core #253 2.70/2.77 c 2.70/2.77 c 2.70/2.77 c Core size: 348 Core Weight: 1 Total Weight: 3111 2.70/2.77 c Current CPU time: 2.6536 s 2.70/2.77 c 2.70/2.77 c ============================[ Search Statistics ]============================== 2.70/2.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.70/2.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.70/2.77 c =============================================================================== 2.70/2.77 c | 0 | 41540 44223 72393 | 14741 0 -nan | 0.000 % | 2.70/2.78 c =============================================================================== 2.79/2.81 c core #254 2.79/2.81 c 2.79/2.81 c 2.79/2.81 c Core size: 370 Core Weight: 1 Total Weight: 3112 2.79/2.81 c Current CPU time: 2.68659 s 2.79/2.81 c 2.79/2.81 c ============================[ Search Statistics ]============================== 2.79/2.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.81 c =============================================================================== 2.79/2.81 c | 0 | 41909 44587 72906 | 14862 0 -nan | 0.000 % | 2.79/2.81 c =============================================================================== 2.79/2.84 c core #255 2.79/2.84 c 2.79/2.84 c 2.79/2.84 c Core size: 263 Core Weight: 1 Total Weight: 3113 2.79/2.84 c Current CPU time: 2.71759 s 2.79/2.84 c 2.79/2.84 c ============================[ Search Statistics ]============================== 2.79/2.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.84 c =============================================================================== 2.79/2.84 c | 0 | 42169 44845 73220 | 14948 0 -nan | 0.000 % | 2.79/2.85 c =============================================================================== 2.79/2.88 c core #256 2.79/2.88 c 2.79/2.88 c 2.79/2.88 c Core size: 459 Core Weight: 1 Total Weight: 3114 2.79/2.88 c Current CPU time: 2.75358 s 2.79/2.88 c 2.79/2.88 c ============================[ Search Statistics ]============================== 2.79/2.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.88 c =============================================================================== 2.79/2.88 c | 0 | 42627 45290 73779 | 15096 0 -nan | 0.000 % | 2.79/2.89 c =============================================================================== 2.89/2.92 c core #257 2.89/2.92 c 2.89/2.92 c 2.89/2.92 c Core size: 305 Core Weight: 1 Total Weight: 3115 2.89/2.92 c Current CPU time: 2.78658 s 2.89/2.92 c 2.89/2.92 c ============================[ Search Statistics ]============================== 2.89/2.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.92 c =============================================================================== 2.89/2.92 c | 0 | 42924 45586 74087 | 15195 0 -nan | 0.000 % | 2.89/2.92 c =============================================================================== 2.89/2.95 c core #258 2.89/2.95 c 2.89/2.95 c 2.89/2.95 c Core size: 127 Core Weight: 6 Total Weight: 3121 2.89/2.95 c Current CPU time: 2.81757 s 2.89/2.95 c 2.89/2.95 c ============================[ Search Statistics ]============================== 2.89/2.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.95 c =============================================================================== 2.89/2.95 c | 0 | 43047 45706 74214 | 15235 0 -nan | 0.000 % | 2.89/2.97 c =============================================================================== 2.99/3.00 c core #259 2.99/3.00 c 2.99/3.00 c 2.99/3.00 c Core size: 548 Core Weight: 1 Total Weight: 3122 2.99/3.00 c Current CPU time: 2.85357 s 2.99/3.00 c 2.99/3.00 c ============================[ Search Statistics ]============================== 2.99/3.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.00 c =============================================================================== 2.99/3.00 c | 0 | 43594 46215 74845 | 15405 0 -nan | 0.000 % | 2.99/3.00 c =============================================================================== 2.99/3.03 c core #260 2.99/3.03 c 2.99/3.03 c 2.99/3.03 c Core size: 192 Core Weight: 1 Total Weight: 3123 2.99/3.03 c Current CPU time: 2.88556 s 2.99/3.03 c 2.99/3.03 c ============================[ Search Statistics ]============================== 2.99/3.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.03 c =============================================================================== 2.99/3.03 c | 0 | 43781 46400 75046 | 15466 0 -nan | 0.000 % | 2.99/3.04 c =============================================================================== 2.99/3.08 c core #261 2.99/3.08 c 2.99/3.08 c 2.99/3.08 c Core size: 358 Core Weight: 1 Total Weight: 3124 2.99/3.08 c Current CPU time: 2.92256 s 2.99/3.08 c 2.99/3.08 c ============================[ Search Statistics ]============================== 2.99/3.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.08 c =============================================================================== 2.99/3.08 c | 0 | 44143 46751 75967 | 15583 0 -nan | 0.000 % | 2.99/3.08 c =============================================================================== 3.10/3.12 c core #262 3.10/3.12 c 3.10/3.12 c 3.10/3.12 c Core size: 384 Core Weight: 1 Total Weight: 3125 3.10/3.12 c Current CPU time: 2.95755 s 3.10/3.12 c 3.10/3.12 c ============================[ Search Statistics ]============================== 3.10/3.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.10/3.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.10/3.12 c =============================================================================== 3.10/3.12 c | 0 | 44521 47108 76464 | 15702 0 -nan | 0.000 % | 3.10/3.13 c =============================================================================== 3.10/3.16 c core #263 3.10/3.16 c 3.10/3.16 c 3.10/3.16 c Core size: 394 Core Weight: 1 Total Weight: 3126 3.10/3.16 c Current CPU time: 2.99554 s 3.10/3.16 c 3.10/3.16 c ============================[ Search Statistics ]============================== 3.10/3.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.10/3.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.10/3.16 c =============================================================================== 3.10/3.16 c | 0 | 44914 47487 77410 | 15829 0 -nan | 0.000 % | 3.10/3.16 c =============================================================================== 3.10/3.20 c core #264 3.10/3.20 c 3.10/3.20 c 3.10/3.20 c Core size: 127 Core Weight: 1 Total Weight: 3127 3.10/3.20 c Current CPU time: 3.02954 s 3.10/3.20 c 3.10/3.20 c ============================[ Search Statistics ]============================== 3.10/3.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.10/3.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.10/3.20 c =============================================================================== 3.10/3.20 c | 0 | 45038 47610 77611 | 15870 0 -nan | 0.000 % | 3.10/3.20 c =============================================================================== 3.21/3.23 c core #265 3.21/3.23 c 3.21/3.23 c 3.21/3.23 c Core size: 256 Core Weight: 3 Total Weight: 3130 3.21/3.23 c Current CPU time: 3.06353 s 3.21/3.23 c 3.21/3.23 c ============================[ Search Statistics ]============================== 3.21/3.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.21/3.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.21/3.23 c =============================================================================== 3.21/3.23 c | 0 | 45291 47862 77970 | 15954 0 -nan | 0.000 % | 3.21/3.25 c =============================================================================== 3.21/3.28 c core #266 3.21/3.28 c 3.21/3.28 c 3.21/3.28 c Core size: 355 Core Weight: 1 Total Weight: 3131 3.21/3.28 c Current CPU time: 3.10353 s 3.21/3.28 c 3.21/3.28 c ============================[ Search Statistics ]============================== 3.21/3.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.21/3.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.21/3.28 c =============================================================================== 3.21/3.28 c | 0 | 45644 48205 78528 | 16068 0 -nan | 0.000 % | 3.21/3.29 c =============================================================================== 3.31/3.33 c core #267 3.31/3.33 c 3.31/3.33 c 3.31/3.33 c Core size: 647 Core Weight: 1 Total Weight: 3132 3.31/3.33 c Current CPU time: 3.14952 s 3.31/3.33 c 3.31/3.33 c ============================[ Search Statistics ]============================== 3.31/3.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.31/3.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.31/3.33 c =============================================================================== 3.31/3.33 c | 0 | 46291 48829 79634 | 16276 0 -nan | 0.000 % | 3.31/3.33 c =============================================================================== 3.31/3.36 c core #268 3.31/3.36 c 3.31/3.36 c 3.31/3.36 c Core size: 113 Core Weight: 2 Total Weight: 3134 3.31/3.36 c Current CPU time: 3.18252 s 3.31/3.36 c 3.31/3.36 c ============================[ Search Statistics ]============================== 3.31/3.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.31/3.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.31/3.36 c =============================================================================== 3.31/3.36 c | 0 | 46400 48938 79750 | 16312 0 -nan | 0.000 % | 3.31/3.37 c =============================================================================== 3.39/3.40 c core #269 3.39/3.40 c 3.39/3.40 c 3.39/3.40 c Core size: 304 Core Weight: 1 Total Weight: 3135 3.39/3.40 c Current CPU time: 3.21651 s 3.39/3.40 c 3.39/3.40 c ============================[ Search Statistics ]============================== 3.39/3.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.40 c =============================================================================== 3.39/3.40 c | 0 | 46698 49230 80237 | 16410 0 -nan | 0.000 % | 3.39/3.42 c =============================================================================== 3.39/3.45 c core #270 3.39/3.45 c 3.39/3.45 c 3.39/3.45 c Core size: 562 Core Weight: 1 Total Weight: 3136 3.39/3.45 c Current CPU time: 3.2575 s 3.39/3.45 c 3.39/3.45 c ============================[ Search Statistics ]============================== 3.39/3.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.45 c =============================================================================== 3.39/3.45 c | 0 | 47262 49774 81093 | 16591 0 -nan | 0.000 % | 3.39/3.47 c =============================================================================== 3.49/3.51 c core #271 3.49/3.51 c 3.49/3.51 c 3.49/3.51 c Core size: 691 Core Weight: 1 Total Weight: 3137 3.49/3.51 c Current CPU time: 3.3045 s 3.49/3.51 c 3.49/3.51 c ============================[ Search Statistics ]============================== 3.49/3.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.51 c =============================================================================== 3.49/3.51 c | 0 | 47952 50436 82311 | 16812 0 -nan | 0.000 % | 3.49/3.51 c =============================================================================== 3.49/3.55 c core #272 3.49/3.55 c 3.49/3.55 c 3.49/3.55 c Core size: 243 Core Weight: 1 Total Weight: 3138 3.49/3.55 c Current CPU time: 3.34149 s 3.49/3.55 c 3.49/3.55 c ============================[ Search Statistics ]============================== 3.49/3.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.55 c =============================================================================== 3.49/3.55 c | 0 | 48195 50663 82643 | 16887 0 -nan | 0.000 % | 3.49/3.55 c =============================================================================== 3.49/3.58 c core #273 3.49/3.58 c 3.49/3.58 c 3.49/3.58 c Core size: 451 Core Weight: 1 Total Weight: 3139 3.49/3.58 c Current CPU time: 3.37549 s 3.49/3.58 c 3.49/3.58 c ============================[ Search Statistics ]============================== 3.49/3.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.58 c =============================================================================== 3.49/3.58 c | 0 | 48636 51090 83114 | 17030 0 -nan | 0.000 % | 3.49/3.59 c =============================================================================== 3.59/3.62 c core #274 3.59/3.62 c 3.59/3.62 c 3.59/3.62 c Core size: 240 Core Weight: 1 Total Weight: 3140 3.59/3.62 c Current CPU time: 3.41248 s 3.59/3.62 c 3.59/3.62 c ============================[ Search Statistics ]============================== 3.59/3.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.62 c =============================================================================== 3.59/3.62 c | 0 | 48867 51320 83395 | 17106 0 -nan | 0.000 % | 3.59/3.63 c =============================================================================== 3.59/3.67 c core #275 3.59/3.67 c 3.59/3.67 c 3.59/3.67 c Core size: 444 Core Weight: 1 Total Weight: 3141 3.59/3.67 c Current CPU time: 3.44948 s 3.59/3.67 c 3.59/3.67 c ============================[ Search Statistics ]============================== 3.59/3.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.67 c =============================================================================== 3.59/3.67 c | 0 | 49309 51759 83877 | 17253 0 -nan | 0.000 % | 3.59/3.67 c =============================================================================== 3.69/3.71 c core #276 3.69/3.71 c 3.69/3.71 c 3.69/3.71 c Core size: 238 Core Weight: 1 Total Weight: 3142 3.69/3.71 c Current CPU time: 3.48647 s 3.69/3.71 c 3.69/3.71 c ============================[ Search Statistics ]============================== 3.69/3.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.71 c =============================================================================== 3.69/3.71 c | 0 | 49539 51987 84152 | 17329 0 -nan | 0.000 % | 3.69/3.71 c =============================================================================== 3.69/3.75 c core #277 3.69/3.75 c 3.69/3.75 c 3.69/3.75 c Core size: 241 Core Weight: 1 Total Weight: 3143 3.69/3.75 c Current CPU time: 3.52246 s 3.69/3.75 c 3.69/3.75 c ============================[ Search Statistics ]============================== 3.69/3.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.75 c =============================================================================== 3.69/3.75 c | 0 | 49776 52192 84458 | 17397 0 -nan | 0.000 % | 3.69/3.75 c =============================================================================== 3.69/3.79 c core #278 3.69/3.79 c 3.69/3.79 c 3.69/3.79 c Core size: 370 Core Weight: 1 Total Weight: 3144 3.69/3.79 c Current CPU time: 3.55946 s 3.69/3.79 c 3.69/3.79 c ============================[ Search Statistics ]============================== 3.69/3.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.79 c =============================================================================== 3.69/3.79 c | 0 | 50142 52534 84943 | 17511 0 -nan | 0.000 % | 3.79/3.80 c =============================================================================== 3.79/3.83 c core #279 3.79/3.83 c 3.79/3.83 c 3.79/3.83 c Core size: 247 Core Weight: 1 Total Weight: 3145 3.79/3.83 c Current CPU time: 3.59645 s 3.79/3.83 c 3.79/3.83 c ============================[ Search Statistics ]============================== 3.79/3.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.83 c =============================================================================== 3.79/3.83 c | 0 | 50383 52760 85230 | 17586 0 -nan | 0.000 % | 3.79/3.84 c =============================================================================== 3.79/3.88 c core #280 3.79/3.88 c 3.79/3.88 c 3.79/3.88 c Core size: 332 Core Weight: 1 Total Weight: 3146 3.79/3.88 c Current CPU time: 3.63545 s 3.79/3.88 c 3.79/3.88 c ============================[ Search Statistics ]============================== 3.79/3.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.88 c =============================================================================== 3.79/3.88 c | 0 | 50708 53084 85584 | 17694 0 -nan | 0.000 % | 3.79/3.88 c =============================================================================== 3.89/3.92 c core #281 3.89/3.92 c 3.89/3.92 c 3.89/3.92 c Core size: 221 Core Weight: 3 Total Weight: 3149 3.89/3.92 c Current CPU time: 3.67344 s 3.89/3.92 c 3.89/3.92 c ============================[ Search Statistics ]============================== 3.89/3.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.92 c =============================================================================== 3.89/3.92 c | 0 | 51018 53297 86169 | 17765 0 -nan | 0.000 % | 3.89/3.93 c =============================================================================== 3.89/3.96 c core #282 3.89/3.96 c 3.89/3.96 c 3.89/3.96 c Core size: 245 Core Weight: 1 Total Weight: 3150 3.89/3.96 c Current CPU time: 3.71244 s 3.89/3.96 c 3.89/3.96 c ============================[ Search Statistics ]============================== 3.89/3.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.96 c =============================================================================== 3.89/3.96 c | 0 | 51257 53522 86450 | 17840 0 -nan | 0.000 % | 3.89/3.97 c =============================================================================== 3.99/4.00 c core #283 3.99/4.00 c 3.99/4.00 c 3.99/4.00 c Core size: 127 Core Weight: 1 Total Weight: 3151 3.99/4.00 c Current CPU time: 3.74843 s 3.99/4.00 c 3.99/4.00 c ============================[ Search Statistics ]============================== 3.99/4.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.00 c =============================================================================== 3.99/4.00 c | 0 | 51381 53644 86586 | 17881 0 -nan | 0.000 % | 3.99/4.01 c =============================================================================== 3.99/4.05 c core #284 3.99/4.05 c 3.99/4.05 c 3.99/4.05 c Core size: 427 Core Weight: 1 Total Weight: 3152 3.99/4.05 c Current CPU time: 3.79042 s 3.99/4.05 c 3.99/4.05 c ============================[ Search Statistics ]============================== 3.99/4.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.05 c =============================================================================== 3.99/4.05 c | 0 | 51809 54048 87382 | 18016 0 -nan | 0.000 % | 3.99/4.05 c =============================================================================== 3.99/4.09 c core #285 3.99/4.09 c 3.99/4.09 c 3.99/4.09 c Core size: 252 Core Weight: 1 Total Weight: 3153 3.99/4.09 c Current CPU time: 3.82742 s 3.99/4.09 c 3.99/4.09 c ============================[ Search Statistics ]============================== 3.99/4.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.09 c =============================================================================== 3.99/4.09 c | 0 | 52057 54296 87667 | 18098 0 -nan | 0.000 % | 4.09/4.12 c =============================================================================== 4.09/4.15 c core #286 4.09/4.15 c 4.09/4.15 c 4.09/4.15 c Core size: 645 Core Weight: 1 Total Weight: 3154 4.09/4.15 c Current CPU time: 3.88741 s 4.09/4.15 c 4.09/4.15 c ============================[ Search Statistics ]============================== 4.09/4.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.15 c =============================================================================== 4.09/4.15 c | 0 | 52701 54895 88919 | 18298 0 -nan | 0.000 % | 4.09/4.16 c =============================================================================== 4.09/4.19 c core #287 4.09/4.19 c 4.09/4.19 c 4.09/4.19 c Core size: 176 Core Weight: 1 Total Weight: 3155 4.09/4.19 c Current CPU time: 3.9264 s 4.09/4.19 c 4.09/4.19 c ============================[ Search Statistics ]============================== 4.09/4.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.19 c =============================================================================== 4.09/4.19 c | 0 | 52874 55065 89230 | 18355 0 -nan | 0.000 % | 4.19/4.20 c =============================================================================== 4.19/4.24 c core #288 4.19/4.24 c 4.19/4.24 c 4.19/4.24 c Core size: 288 Core Weight: 1 Total Weight: 3156 4.19/4.24 c Current CPU time: 3.9644 s 4.19/4.24 c 4.19/4.24 c ============================[ Search Statistics ]============================== 4.19/4.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.24 c =============================================================================== 4.19/4.24 c | 0 | 53159 55334 89863 | 18444 0 -nan | 0.000 % | 4.19/4.25 c =============================================================================== 4.19/4.28 c core #289 4.19/4.28 c 4.19/4.28 c 4.19/4.28 c Core size: 261 Core Weight: 1 Total Weight: 3157 4.19/4.28 c Current CPU time: 4.00639 s 4.19/4.28 c 4.19/4.28 c ============================[ Search Statistics ]============================== 4.19/4.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.28 c =============================================================================== 4.19/4.28 c | 0 | 53409 55580 90231 | 18526 0 -nan | 0.000 % | 4.19/4.29 c =============================================================================== 4.30/4.33 c core #290 4.30/4.33 c 4.30/4.33 c 4.30/4.33 c Core size: 664 Core Weight: 1 Total Weight: 3158 4.30/4.33 c Current CPU time: 4.05038 s 4.30/4.33 c 4.30/4.33 c ============================[ Search Statistics ]============================== 4.30/4.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.30/4.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.30/4.33 c =============================================================================== 4.30/4.33 c | 0 | 54121 56204 91177 | 18734 0 -nan | 0.000 % | 4.30/4.36 c =============================================================================== 4.30/4.40 c core #291 4.30/4.40 c 4.30/4.40 c 4.30/4.40 c Core size: 994 Core Weight: 1 Total Weight: 3159 4.30/4.40 c Current CPU time: 4.11337 s 4.30/4.40 c 4.30/4.40 c ============================[ Search Statistics ]============================== 4.30/4.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.30/4.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.30/4.40 c =============================================================================== 4.30/4.40 c | 0 | 55116 57140 92879 | 19046 0 -nan | 0.000 % | 4.40/4.42 c =============================================================================== 4.40/4.46 c core #292 4.40/4.46 c 4.40/4.46 c 4.40/4.46 c Core size: 573 Core Weight: 1 Total Weight: 3160 4.40/4.46 c Current CPU time: 4.16737 s 4.40/4.46 c 4.40/4.46 c ============================[ Search Statistics ]============================== 4.40/4.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.40/4.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.40/4.46 c =============================================================================== 4.40/4.46 c | 0 | 55685 57679 93914 | 19226 0 -nan | 0.000 % | 4.40/4.47 c =============================================================================== 4.49/4.50 c core #293 4.49/4.50 c 4.49/4.50 c 4.49/4.50 c Core size: 368 Core Weight: 1 Total Weight: 3161 4.49/4.50 c Current CPU time: 4.20936 s 4.49/4.50 c 4.49/4.50 c ============================[ Search Statistics ]============================== 4.49/4.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.49/4.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.49/4.50 c =============================================================================== 4.49/4.50 c | 0 | 56041 58011 94331 | 19337 0 -nan | 0.000 % | 4.49/4.52 c =============================================================================== 4.49/4.56 c core #294 4.49/4.56 c 4.49/4.56 c 4.49/4.56 c Core size: 577 Core Weight: 1 Total Weight: 3162 4.49/4.56 c Current CPU time: 4.25335 s 4.49/4.56 c 4.49/4.56 c ============================[ Search Statistics ]============================== 4.49/4.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.49/4.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.49/4.56 c =============================================================================== 4.49/4.56 c | 0 | 56603 58550 94935 | 19516 0 -nan | 0.000 % | 4.49/4.57 c =============================================================================== 4.59/4.61 c core #295 4.59/4.61 c 4.59/4.61 c 4.59/4.61 c Core size: 239 Core Weight: 1 Total Weight: 3163 4.59/4.61 c Current CPU time: 4.29835 s 4.59/4.61 c 4.59/4.61 c ============================[ Search Statistics ]============================== 4.59/4.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.59/4.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.59/4.61 c =============================================================================== 4.59/4.61 c | 0 | 56835 58768 95212 | 19589 0 -nan | 0.000 % | 4.59/4.62 c =============================================================================== 4.59/4.66 c core #296 4.59/4.66 c 4.59/4.66 c 4.59/4.66 c Core size: 649 Core Weight: 1 Total Weight: 3164 4.59/4.66 c Current CPU time: 4.34434 s 4.59/4.66 c 4.59/4.66 c ============================[ Search Statistics ]============================== 4.59/4.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.59/4.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.59/4.66 c =============================================================================== 4.59/4.66 c | 0 | 57476 59397 96007 | 19799 0 -nan | 0.000 % | 4.59/4.67 c =============================================================================== 4.70/4.71 c core #297 4.70/4.71 c 4.70/4.71 c 4.70/4.71 c Core size: 171 Core Weight: 1 Total Weight: 3165 4.70/4.71 c Current CPU time: 4.38833 s 4.70/4.71 c 4.70/4.71 c ============================[ Search Statistics ]============================== 4.70/4.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.70/4.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.70/4.71 c =============================================================================== 4.70/4.71 c | 0 | 57641 59558 96264 | 19852 0 -nan | 0.000 % | 4.70/4.74 c =============================================================================== 4.70/4.78 c core #298 4.70/4.78 c 4.70/4.78 c 4.70/4.78 c Core size: 870 Core Weight: 1 Total Weight: 3166 4.70/4.78 c Current CPU time: 4.44432 s 4.70/4.78 c 4.70/4.78 c ============================[ Search Statistics ]============================== 4.70/4.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.70/4.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.70/4.78 c =============================================================================== 4.70/4.78 c | 0 | 58516 60393 98134 | 20131 0 -nan | 0.000 % | 4.70/4.79 c =============================================================================== 4.79/4.83 c core #299 4.79/4.83 c 4.79/4.83 c 4.79/4.83 c Core size: 298 Core Weight: 1 Total Weight: 3167 4.79/4.83 c Current CPU time: 4.49032 s 4.79/4.83 c 4.79/4.83 c ============================[ Search Statistics ]============================== 4.79/4.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.79/4.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.79/4.83 c =============================================================================== 4.79/4.83 c | 0 | 58804 60674 98490 | 20224 0 -nan | 0.000 % | 4.79/4.84 c =============================================================================== 4.79/4.88 c core #300 4.79/4.88 c 4.79/4.88 c 4.79/4.88 c Core size: 446 Core Weight: 1 Total Weight: 3168 4.79/4.88 c Current CPU time: 4.53931 s 4.79/4.88 c 4.79/4.88 c ============================[ Search Statistics ]============================== 4.79/4.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.79/4.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.79/4.88 c =============================================================================== 4.79/4.88 c | 0 | 59251 61095 99403 | 20365 0 -nan | 0.000 % | 4.79/4.89 c =============================================================================== 4.89/4.93 c core #301 4.89/4.93 c 4.89/4.93 c 4.89/4.93 c Core size: 299 Core Weight: 1 Total Weight: 3169 4.89/4.93 c Current CPU time: 4.5853 s 4.89/4.93 c 4.89/4.93 c ============================[ Search Statistics ]============================== 4.89/4.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.89/4.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.89/4.93 c =============================================================================== 4.89/4.93 c | 0 | 59543 61381 99741 | 20460 0 -nan | 0.000 % | 4.89/4.94 c =============================================================================== 4.89/4.99 c core #302 4.89/4.99 c 4.89/4.99 c 4.89/4.99 c Core size: 283 Core Weight: 1 Total Weight: 3170 4.89/4.99 c Current CPU time: 4.6293 s 4.89/4.99 c 4.89/4.99 c ============================[ Search Statistics ]============================== 4.89/4.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.89/4.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.89/4.99 c =============================================================================== 4.89/4.99 c | 0 | 59827 61663 100102 | 20554 0 -nan | 0.000 % | 4.99/5.00 c =============================================================================== 4.99/5.04 c core #303 4.99/5.04 c 4.99/5.04 c 4.99/5.04 c Core size: 309 Core Weight: 1 Total Weight: 3171 4.99/5.04 c Current CPU time: 4.67729 s 4.99/5.04 c 4.99/5.04 c ============================[ Search Statistics ]============================== 4.99/5.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.99/5.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.99/5.04 c =============================================================================== 4.99/5.04 c | 0 | 60126 61949 100496 | 20649 0 -nan | 0.000 % | 4.99/5.05 c =============================================================================== 4.99/5.09 c core #304 4.99/5.09 c 4.99/5.09 c 4.99/5.09 c Core size: 226 Core Weight: 1 Total Weight: 3172 4.99/5.09 c Current CPU time: 4.72128 s 4.99/5.09 c 4.99/5.09 c ============================[ Search Statistics ]============================== 4.99/5.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.99/5.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.99/5.09 c =============================================================================== 4.99/5.09 c | 0 | 60341 62159 100756 | 20719 0 -nan | 0.000 % | 5.09/5.10 c =============================================================================== 5.09/5.15 c core #305 5.09/5.15 c 5.09/5.15 c 5.09/5.15 c Core size: 285 Core Weight: 1 Total Weight: 3173 5.09/5.15 c Current CPU time: 4.76927 s 5.09/5.15 c 5.09/5.15 c ============================[ Search Statistics ]============================== 5.09/5.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.09/5.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.09/5.15 c =============================================================================== 5.09/5.15 c | 0 | 60623 62437 101076 | 20812 0 -nan | 0.000 % | 5.09/5.16 c =============================================================================== 5.20/5.20 c core #306 5.20/5.20 c 5.20/5.20 c 5.20/5.20 c Core size: 256 Core Weight: 1 Total Weight: 3174 5.20/5.20 c Current CPU time: 4.81627 s 5.20/5.20 c 5.20/5.20 c ============================[ Search Statistics ]============================== 5.20/5.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.20/5.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.20/5.20 c =============================================================================== 5.20/5.20 c | 0 | 60877 62668 101639 | 20889 0 -nan | 0.000 % | 5.20/5.22 c =============================================================================== 5.20/5.26 c core #307 5.20/5.26 c 5.20/5.26 c 5.20/5.26 c Core size: 624 Core Weight: 1 Total Weight: 3175 5.20/5.26 c Current CPU time: 4.86526 s 5.20/5.26 c 5.20/5.26 c ============================[ Search Statistics ]============================== 5.20/5.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.20/5.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.20/5.26 c =============================================================================== 5.20/5.26 c | 0 | 61499 63262 102480 | 21087 0 -nan | 0.000 % | 5.20/5.27 c =============================================================================== 5.29/5.31 c core #308 5.29/5.31 c 5.29/5.31 c 5.29/5.31 c Core size: 263 Core Weight: 1 Total Weight: 3176 5.29/5.31 c Current CPU time: 4.91025 s 5.29/5.31 c 5.29/5.31 c ============================[ Search Statistics ]============================== 5.29/5.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.29/5.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.29/5.31 c =============================================================================== 5.29/5.31 c | 0 | 61756 63510 102795 | 21170 0 -nan | 0.000 % | 5.29/5.33 c =============================================================================== 5.29/5.37 c core #309 5.29/5.37 c 5.29/5.37 c 5.29/5.37 c Core size: 463 Core Weight: 1 Total Weight: 3177 5.29/5.37 c Current CPU time: 4.96425 s 5.29/5.37 c 5.29/5.37 c ============================[ Search Statistics ]============================== 5.29/5.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.29/5.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.29/5.37 c =============================================================================== 5.29/5.37 c | 0 | 62214 63945 103496 | 21315 0 -nan | 0.000 % | 5.29/5.41 c =============================================================================== 5.41/5.45 c core #310 5.41/5.45 c 5.41/5.45 c 5.41/5.45 c Core size: 993 Core Weight: 1 Total Weight: 3178 5.41/5.45 c Current CPU time: 5.02923 s 5.41/5.45 c 5.41/5.45 c ============================[ Search Statistics ]============================== 5.41/5.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.41/5.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.41/5.45 c =============================================================================== 5.41/5.45 c | 0 | 63206 64847 105645 | 21615 0 -nan | 0.000 % | 5.41/5.46 c =============================================================================== 5.41/5.51 c core #311 5.41/5.51 c 5.41/5.51 c 5.41/5.51 c Core size: 656 Core Weight: 1 Total Weight: 3179 5.41/5.51 c Current CPU time: 5.08323 s 5.41/5.51 c 5.41/5.51 c ============================[ Search Statistics ]============================== 5.41/5.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.41/5.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.41/5.51 c =============================================================================== 5.41/5.51 c | 0 | 63865 65462 107102 | 21820 0 -nan | 0.000 % | 5.50/5.51 c =============================================================================== 5.50/5.56 c core #312 5.50/5.56 c 5.50/5.56 c 5.50/5.56 c Core size: 536 Core Weight: 1 Total Weight: 3180 5.50/5.56 c Current CPU time: 5.13222 s 5.50/5.56 c 5.50/5.56 c ============================[ Search Statistics ]============================== 5.50/5.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.50/5.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.50/5.56 c =============================================================================== 5.50/5.56 c | 0 | 64394 65988 107734 | 21996 0 -nan | 0.000 % | 5.50/5.57 c =============================================================================== 5.59/5.62 c core #313 5.59/5.62 c 5.59/5.62 c 5.59/5.62 c Core size: 347 Core Weight: 1 Total Weight: 3181 5.59/5.62 c Current CPU time: 5.18421 s 5.59/5.62 c 5.59/5.62 c ============================[ Search Statistics ]============================== 5.59/5.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.59/5.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.59/5.62 c =============================================================================== 5.59/5.62 c | 0 | 64735 66311 108151 | 22103 0 -nan | 0.000 % | 5.59/5.64 c =============================================================================== 5.59/5.68 c core #314 5.59/5.68 c 5.59/5.68 c 5.59/5.68 c Core size: 716 Core Weight: 1 Total Weight: 3182 5.59/5.68 c Current CPU time: 5.2462 s 5.59/5.68 c 5.59/5.68 c ============================[ Search Statistics ]============================== 5.59/5.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.59/5.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.59/5.68 c =============================================================================== 5.59/5.68 c | 0 | 65446 66992 109367 | 22330 0 -nan | 0.000 % | 5.69/5.70 c =============================================================================== 5.69/5.75 c core #315 5.69/5.75 c 5.69/5.75 c 5.69/5.75 c Core size: 325 Core Weight: 1 Total Weight: 3183 5.69/5.75 c Current CPU time: 5.29819 s 5.69/5.75 c 5.69/5.75 c ============================[ Search Statistics ]============================== 5.69/5.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.69/5.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.69/5.75 c =============================================================================== 5.69/5.75 c | 0 | 65772 67312 109958 | 22437 0 -nan | 0.000 % | 5.69/5.76 c =============================================================================== 5.79/5.81 c core #316 5.79/5.81 c 5.79/5.81 c 5.79/5.81 c Core size: 646 Core Weight: 1 Total Weight: 3184 5.79/5.81 c Current CPU time: 5.34919 s 5.79/5.81 c 5.79/5.81 c ============================[ Search Statistics ]============================== 5.79/5.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.79/5.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.79/5.81 c =============================================================================== 5.79/5.81 c | 0 | 66407 67930 110662 | 22643 0 -nan | 0.000 % | 5.79/5.83 c =============================================================================== 5.79/5.87 c core #317 5.79/5.87 c 5.79/5.87 c 5.79/5.87 c Core size: 759 Core Weight: 1 Total Weight: 3185 5.79/5.87 c Current CPU time: 5.40218 s 5.79/5.87 c 5.79/5.87 c ============================[ Search Statistics ]============================== 5.79/5.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.79/5.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.79/5.87 c =============================================================================== 5.79/5.87 c | 0 | 67145 68630 111577 | 22876 0 -nan | 0.000 % | 5.79/5.89 c =============================================================================== 5.89/5.93 c core #318 5.89/5.93 c 5.89/5.93 c 5.89/5.93 c Core size: 394 Core Weight: 1 Total Weight: 3186 5.89/5.93 c Current CPU time: 5.45517 s 5.89/5.93 c 5.89/5.93 c ============================[ Search Statistics ]============================== 5.89/5.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.89/5.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.89/5.93 c =============================================================================== 5.89/5.93 c | 0 | 67541 68978 112365 | 22992 0 -nan | 0.000 % | 5.89/5.95 c =============================================================================== 5.99/6.00 c core #319 5.99/6.00 c 5.99/6.00 c 5.99/6.00 c Core size: 353 Core Weight: 1 Total Weight: 3187 5.99/6.00 c Current CPU time: 5.50916 s 5.99/6.00 c 5.99/6.00 c ============================[ Search Statistics ]============================== 5.99/6.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.99/6.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.99/6.00 c =============================================================================== 5.99/6.00 c | 0 | 67890 69312 112921 | 23104 0 -nan | 0.000 % | 5.99/6.02 c =============================================================================== 5.99/6.07 c core #320 5.99/6.07 c 5.99/6.07 c 5.99/6.07 c Core size: 483 Core Weight: 1 Total Weight: 3188 5.99/6.07 c Current CPU time: 5.56315 s 5.99/6.07 c 5.99/6.07 c ============================[ Search Statistics ]============================== 5.99/6.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.99/6.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.99/6.07 c =============================================================================== 5.99/6.07 c | 0 | 68373 69774 113534 | 23258 0 -nan | 0.000 % | 5.99/6.09 c =============================================================================== 6.09/6.14 c core #321 6.09/6.14 c 6.09/6.14 c 6.09/6.14 c Core size: 535 Core Weight: 1 Total Weight: 3189 6.09/6.14 c Current CPU time: 5.62415 s 6.09/6.14 c 6.09/6.14 c ============================[ Search Statistics ]============================== 6.09/6.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.09/6.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.09/6.14 c =============================================================================== 6.09/6.14 c | 0 | 68907 70235 114529 | 23411 0 -nan | 0.000 % | 6.09/6.16 c =============================================================================== 6.20/6.21 c core #322 6.20/6.21 c 6.20/6.21 c 6.20/6.21 c Core size: 477 Core Weight: 1 Total Weight: 3190 6.20/6.21 c Current CPU time: 5.68214 s 6.20/6.21 c 6.20/6.21 c ============================[ Search Statistics ]============================== 6.20/6.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.20/6.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.20/6.21 c =============================================================================== 6.20/6.21 c | 0 | 69380 70661 115350 | 23553 0 -nan | 0.000 % | 6.20/6.23 c =============================================================================== 6.20/6.28 c core #323 6.20/6.28 c 6.20/6.28 c 6.20/6.28 c Core size: 495 Core Weight: 1 Total Weight: 3191 6.20/6.28 c Current CPU time: 5.74713 s 6.20/6.28 c 6.20/6.28 c ============================[ Search Statistics ]============================== 6.20/6.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.20/6.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.20/6.28 c =============================================================================== 6.20/6.28 c | 0 | 69863 71106 116138 | 23702 0 -nan | 0.000 % | 6.29/6.30 c =============================================================================== 6.29/6.35 c core #324 6.29/6.35 c 6.29/6.35 c 6.29/6.35 c Core size: 489 Core Weight: 1 Total Weight: 3192 6.29/6.35 c Current CPU time: 5.80912 s 6.29/6.35 c 6.29/6.35 c ============================[ Search Statistics ]============================== 6.29/6.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.29/6.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.29/6.35 c =============================================================================== 6.29/6.35 c | 0 | 70348 71562 117070 | 23854 0 -nan | 0.000 % | 6.29/6.37 c =============================================================================== 6.39/6.42 c core #325 6.39/6.42 c 6.39/6.42 c 6.39/6.42 c Core size: 1013 Core Weight: 1 Total Weight: 3193 6.39/6.42 c Current CPU time: 5.87711 s 6.39/6.42 c 6.39/6.42 c ============================[ Search Statistics ]============================== 6.39/6.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.39/6.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.39/6.42 c =============================================================================== 6.39/6.42 c | 0 | 71343 72526 118689 | 24175 0 -nan | 0.000 % | 6.39/6.44 c =============================================================================== 6.39/6.50 c core #326 6.39/6.50 c 6.39/6.50 c 6.39/6.50 c Core size: 836 Core Weight: 1 Total Weight: 3194 6.39/6.50 c Current CPU time: 5.9411 s 6.39/6.50 c 6.39/6.50 c ============================[ Search Statistics ]============================== 6.39/6.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.39/6.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.39/6.50 c =============================================================================== 6.39/6.50 c | 0 | 72184 73294 120543 | 24431 0 -nan | 0.000 % | 6.50/6.52 c =============================================================================== 6.50/6.57 c core #327 6.50/6.57 c 6.50/6.57 c 6.50/6.57 c Core size: 720 Core Weight: 1 Total Weight: 3195 6.50/6.57 c Current CPU time: 6.00809 s 6.50/6.57 c 6.50/6.57 c ============================[ Search Statistics ]============================== 6.50/6.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.50/6.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.50/6.57 c =============================================================================== 6.50/6.57 c | 0 | 72904 73980 121558 | 24660 0 -nan | 0.000 % | 6.50/6.60 c =============================================================================== 6.60/6.65 c core #328 6.60/6.65 c 6.60/6.65 c 6.60/6.65 c Core size: 747 Core Weight: 1 Total Weight: 3196 6.60/6.65 c Current CPU time: 6.07808 s 6.60/6.65 c 6.60/6.65 c ============================[ Search Statistics ]============================== 6.60/6.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.60/6.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.60/6.65 c =============================================================================== 6.60/6.65 c | 0 | 73647 74687 122533 | 24895 0 -nan | 0.000 % | 6.60/6.69 c =============================================================================== 6.69/6.74 c core #329 6.69/6.74 c 6.69/6.74 c 6.69/6.74 c Core size: 1171 Core Weight: 1 Total Weight: 3197 6.69/6.74 c Current CPU time: 6.15406 s 6.69/6.74 c 6.69/6.74 c ============================[ Search Statistics ]============================== 6.69/6.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.69/6.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.69/6.74 c =============================================================================== 6.69/6.74 c | 0 | 74807 75736 124163 | 25245 0 -nan | 0.000 % | 6.69/6.77 c =============================================================================== 6.79/6.82 c core #330 6.79/6.82 c 6.79/6.82 c 6.79/6.82 c Core size: 639 Core Weight: 1 Total Weight: 3198 6.79/6.82 c Current CPU time: 6.22405 s 6.79/6.82 c 6.79/6.82 c ============================[ Search Statistics ]============================== 6.79/6.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.79/6.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.79/6.82 c =============================================================================== 6.79/6.82 c | 0 | 75443 76353 124885 | 25451 0 -nan | 0.000 % | 6.79/6.83 c =============================================================================== 6.79/6.88 c core #331 6.79/6.88 c 6.79/6.88 c 6.79/6.88 c Core size: 351 Core Weight: 1 Total Weight: 3199 6.79/6.88 c Current CPU time: 6.28404 s 6.79/6.88 c 6.79/6.88 c ============================[ Search Statistics ]============================== 6.79/6.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.79/6.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.79/6.88 c =============================================================================== 6.79/6.88 c | 0 | 75798 76688 126069 | 25562 0 -nan | 0.000 % | 6.90/6.92 c =============================================================================== 6.90/6.98 c core #332 6.90/6.98 c 6.90/6.98 c 6.90/6.98 c Core size: 1126 Core Weight: 1 Total Weight: 3200 6.90/6.98 c Current CPU time: 6.36703 s 6.90/6.98 c 6.90/6.98 c ============================[ Search Statistics ]============================== 6.90/6.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.90/6.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.90/6.98 c =============================================================================== 6.90/6.98 c | 0 | 76918 77726 128074 | 25908 0 -nan | 0.000 % | 6.99/7.01 c =============================================================================== 6.99/7.06 c core #333 6.99/7.06 c 6.99/7.06 c 6.99/7.06 c Core size: 957 Core Weight: 1 Total Weight: 3201 6.99/7.06 c Current CPU time: 6.44802 s 6.99/7.06 c 6.99/7.06 c ============================[ Search Statistics ]============================== 6.99/7.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.99/7.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.99/7.06 c =============================================================================== 6.99/7.06 c | 0 | 77874 78582 129553 | 26194 0 -nan | 0.000 % | 6.99/7.08 c =============================================================================== 7.09/7.14 c core #334 7.09/7.14 c 7.09/7.14 c 7.09/7.14 c Core size: 643 Core Weight: 1 Total Weight: 3202 7.09/7.14 c Current CPU time: 6.51201 s 7.09/7.14 c 7.09/7.14 c ============================[ Search Statistics ]============================== 7.09/7.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.09/7.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.09/7.14 c =============================================================================== 7.09/7.14 c | 0 | 78513 79207 130688 | 26402 0 -nan | 0.000 % | 7.09/7.19 c =============================================================================== 7.19/7.24 c core #335 7.19/7.24 c 7.19/7.24 c 7.19/7.24 c Core size: 1131 Core Weight: 1 Total Weight: 3203 7.19/7.24 c Current CPU time: 6.604 s 7.19/7.24 c 7.19/7.24 c ============================[ Search Statistics ]============================== 7.19/7.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.19/7.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.19/7.24 c =============================================================================== 7.19/7.24 c | 0 | 79637 80227 132430 | 26742 0 -nan | 0.000 % | 7.19/7.26 c =============================================================================== 7.29/7.31 c core #336 7.29/7.31 c 7.29/7.31 c 7.29/7.31 c Core size: 421 Core Weight: 1 Total Weight: 3204 7.29/7.31 c Current CPU time: 6.66899 s 7.29/7.31 c 7.29/7.31 c ============================[ Search Statistics ]============================== 7.29/7.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.29/7.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.29/7.31 c =============================================================================== 7.29/7.31 c | 0 | 80059 80617 133199 | 26872 0 -nan | 0.000 % | 7.29/7.35 c =============================================================================== 7.39/7.40 c core #337 7.39/7.40 c 7.39/7.40 c 7.39/7.40 c Core size: 812 Core Weight: 1 Total Weight: 3205 7.39/7.40 c Current CPU time: 6.74198 s 7.39/7.40 c 7.39/7.40 c ============================[ Search Statistics ]============================== 7.39/7.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.39/7.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.39/7.40 c =============================================================================== 7.39/7.40 c | 0 | 80857 81402 134158 | 27134 0 -nan | 0.000 % | 7.39/7.43 c =============================================================================== 7.39/7.49 c core #338 7.39/7.49 c 7.39/7.49 c 7.39/7.49 c Core size: 378 Core Weight: 1 Total Weight: 3206 7.39/7.49 c Current CPU time: 6.81296 s 7.39/7.49 c 7.39/7.49 c ============================[ Search Statistics ]============================== 7.39/7.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.39/7.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.39/7.49 c =============================================================================== 7.39/7.49 c | 0 | 81232 81767 134622 | 27255 0 -nan | 0.000 % | 7.49/7.52 c =============================================================================== 7.49/7.57 c core #339 7.49/7.57 c 7.49/7.57 c 7.49/7.57 c Core size: 775 Core Weight: 1 Total Weight: 3207 7.49/7.57 c Current CPU time: 6.88095 s 7.49/7.57 c 7.49/7.57 c ============================[ Search Statistics ]============================== 7.49/7.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.49/7.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.49/7.57 c =============================================================================== 7.49/7.57 c | 0 | 82007 82533 135704 | 27511 0 -nan | 0.000 % | 7.49/7.60 c =============================================================================== 7.61/7.66 c core #340 7.61/7.66 c 7.61/7.66 c 7.61/7.66 c Core size: 752 Core Weight: 1 Total Weight: 3208 7.61/7.66 c Current CPU time: 6.95494 s 7.61/7.66 c 7.61/7.66 c ============================[ Search Statistics ]============================== 7.61/7.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.61/7.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.61/7.66 c =============================================================================== 7.61/7.66 c | 0 | 82745 83253 136542 | 27751 0 -nan | 0.000 % | 7.70/7.72 c =============================================================================== 7.70/7.77 c core #341 7.70/7.77 c 7.70/7.77 c 7.70/7.77 c Core size: 1158 Core Weight: 1 Total Weight: 3209 7.70/7.77 c Current CPU time: 7.05593 s 7.70/7.77 c 7.70/7.77 c ============================[ Search Statistics ]============================== 7.70/7.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.70/7.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.70/7.77 c =============================================================================== 7.70/7.77 c | 0 | 83892 84283 138461 | 28094 0 -nan | 0.000 % | 7.70/7.80 c =============================================================================== 7.79/7.85 c core #342 7.79/7.85 c 7.79/7.85 c 7.79/7.85 c Core size: 432 Core Weight: 1 Total Weight: 3210 7.79/7.85 c Current CPU time: 7.12092 s 7.79/7.85 c 7.79/7.85 c ============================[ Search Statistics ]============================== 7.79/7.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.79/7.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.79/7.85 c =============================================================================== 7.79/7.85 c | 0 | 84320 84689 139039 | 28229 0 -nan | 0.000 % | 7.79/7.89 c =============================================================================== 7.89/7.94 c core #343 7.89/7.94 c 7.89/7.94 c 7.89/7.94 c Core size: 602 Core Weight: 1 Total Weight: 3211 7.89/7.94 c Current CPU time: 7.19391 s 7.89/7.94 c 7.89/7.94 c ============================[ Search Statistics ]============================== 7.89/7.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.89/7.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.89/7.94 c =============================================================================== 7.89/7.94 c | 0 | 84922 85268 139908 | 28422 0 -nan | 0.000 % | 7.89/7.98 c =============================================================================== 7.99/8.04 c core #344 7.99/8.04 c 7.99/8.04 c 7.99/8.04 c Core size: 742 Core Weight: 1 Total Weight: 3212 7.99/8.04 c Current CPU time: 7.26689 s 7.99/8.04 c 7.99/8.04 c ============================[ Search Statistics ]============================== 7.99/8.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.99/8.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.99/8.04 c =============================================================================== 7.99/8.04 c | 0 | 85648 85971 141051 | 28657 0 -nan | 0.000 % | 7.99/8.08 c =============================================================================== 8.09/8.13 c core #345 8.09/8.13 c 8.09/8.13 c 8.09/8.13 c Core size: 872 Core Weight: 1 Total Weight: 3213 8.09/8.13 c Current CPU time: 7.35288 s 8.09/8.13 c 8.09/8.13 c ============================[ Search Statistics ]============================== 8.09/8.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.09/8.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.09/8.13 c =============================================================================== 8.09/8.13 c | 0 | 86503 86795 142076 | 28931 0 -nan | 0.000 % | 8.09/8.17 c =============================================================================== 8.19/8.23 c core #346 8.19/8.23 c 8.19/8.23 c 8.19/8.23 c Core size: 966 Core Weight: 1 Total Weight: 3214 8.19/8.23 c Current CPU time: 7.42687 s 8.19/8.23 c 8.19/8.23 c ============================[ Search Statistics ]============================== 8.19/8.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.19/8.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.19/8.23 c =============================================================================== 8.19/8.23 c | 0 | 87468 87721 143433 | 29240 0 -nan | 0.000 % | 8.19/8.27 c =============================================================================== 8.29/8.33 c core #347 8.29/8.33 c 8.29/8.33 c 8.29/8.33 c Core size: 658 Core Weight: 1 Total Weight: 3215 8.29/8.33 c Current CPU time: 7.50486 s 8.29/8.33 c 8.29/8.33 c ============================[ Search Statistics ]============================== 8.29/8.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.29/8.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.29/8.33 c =============================================================================== 8.29/8.33 c | 0 | 88126 88318 144462 | 29439 0 -nan | 0.000 % | 8.29/8.40 c =============================================================================== 8.39/8.46 c core #348 8.39/8.46 c 8.39/8.46 c 8.39/8.46 c Core size: 1292 Core Weight: 1 Total Weight: 3216 8.39/8.46 c Current CPU time: 7.60984 s 8.39/8.46 c 8.39/8.46 c ============================[ Search Statistics ]============================== 8.39/8.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.39/8.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.39/8.46 c =============================================================================== 8.39/8.46 c | 0 | 89410 89463 147092 | 29821 0 -nan | 0.000 % | 8.39/8.47 c =============================================================================== 8.50/8.53 c core #349 8.50/8.53 c 8.50/8.53 c 8.50/8.53 c Core size: 391 Core Weight: 1 Total Weight: 3217 8.50/8.53 c Current CPU time: 7.67883 s 8.50/8.53 c 8.50/8.53 c ============================[ Search Statistics ]============================== 8.50/8.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.50/8.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.50/8.53 c =============================================================================== 8.50/8.53 c | 0 | 89803 89831 148066 | 29943 0 -nan | 0.000 % | 8.59/8.61 c =============================================================================== 8.59/8.68 c core #350 8.59/8.68 c 8.59/8.68 c 8.59/8.68 c Core size: 1406 Core Weight: 1 Total Weight: 3218 8.59/8.68 c Current CPU time: 7.78782 s 8.59/8.68 c 8.59/8.68 c ============================[ Search Statistics ]============================== 8.59/8.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.59/8.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.59/8.68 c =============================================================================== 8.59/8.68 c | 0 | 91201 91165 150074 | 30388 0 -nan | 0.000 % | 8.70/8.72 c =============================================================================== 8.70/8.78 c core #351 8.70/8.78 c 8.70/8.78 c 8.70/8.78 c Core size: 345 Core Weight: 1 Total Weight: 3219 8.70/8.78 c Current CPU time: 7.8738 s 8.70/8.78 c 8.70/8.78 c ============================[ Search Statistics ]============================== 8.70/8.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.70/8.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.70/8.78 c =============================================================================== 8.70/8.78 c | 0 | 91543 91493 150515 | 30497 0 -nan | 0.000 % | 8.80/8.83 c =============================================================================== 8.80/8.89 c core #352 8.80/8.89 c 8.80/8.89 c 8.80/8.89 c Core size: 712 Core Weight: 1 Total Weight: 3220 8.80/8.89 c Current CPU time: 7.96279 s 8.80/8.89 c 8.80/8.89 c ============================[ Search Statistics ]============================== 8.80/8.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.80/8.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.80/8.89 c =============================================================================== 8.80/8.89 c | 0 | 92239 92105 152034 | 30701 0 -nan | 0.000 % | 8.89/8.94 c =============================================================================== 8.99/9.00 c core #353 8.99/9.00 c 8.99/9.00 c 8.99/9.00 c Core size: 1095 Core Weight: 1 Total Weight: 3221 8.99/9.00 c Current CPU time: 8.05477 s 8.99/9.00 c 8.99/9.00 c ============================[ Search Statistics ]============================== 8.99/9.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.99/9.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.99/9.00 c =============================================================================== 8.99/9.00 c | 0 | 93332 93076 153765 | 31025 0 -nan | 0.000 % | 8.99/9.09 c =============================================================================== 9.09/9.16 c core #354 9.09/9.16 c 9.09/9.16 c 9.09/9.16 c Core size: 1399 Core Weight: 1 Total Weight: 3222 9.09/9.16 c Current CPU time: 8.17376 s 9.09/9.16 c 9.09/9.16 c ============================[ Search Statistics ]============================== 9.09/9.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.09/9.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.09/9.16 c =============================================================================== 9.09/9.16 c | 0 | 94715 94293 156784 | 31431 0 -nan | 0.000 % | 9.19/9.20 c =============================================================================== 9.19/9.27 c core #355 9.19/9.27 c 9.19/9.27 c 9.19/9.27 c Core size: 378 Core Weight: 1 Total Weight: 3223 9.19/9.27 c Current CPU time: 8.26274 s 9.19/9.27 c 9.19/9.27 c ============================[ Search Statistics ]============================== 9.19/9.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.19/9.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.19/9.27 c =============================================================================== 9.19/9.27 c | 0 | 95090 94659 157202 | 31553 0 -nan | 0.000 % | 9.29/9.33 c =============================================================================== 9.29/9.39 c core #356 9.29/9.39 c 9.29/9.39 c 9.29/9.39 c Core size: 184 Core Weight: 2 Total Weight: 3225 9.29/9.39 c Current CPU time: 8.35973 s 9.29/9.39 c 9.29/9.39 c ============================[ Search Statistics ]============================== 9.29/9.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.29/9.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.29/9.39 c =============================================================================== 9.29/9.39 c | 0 | 95273 94841 157530 | 31613 0 -nan | 0.000 % | 9.39/9.42 c =============================================================================== 9.39/9.48 c core #357 9.39/9.48 c 9.39/9.48 c 9.39/9.48 c Core size: 180 Core Weight: 2 Total Weight: 3227 9.39/9.48 c Current CPU time: 8.42972 s 9.39/9.48 c 9.39/9.48 c ============================[ Search Statistics ]============================== 9.39/9.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.39/9.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.39/9.48 c =============================================================================== 9.39/9.48 c | 0 | 95451 95016 157767 | 31672 0 -nan | 0.000 % | 9.49/9.56 c =============================================================================== 9.60/9.63 c core #358 9.60/9.63 c 9.60/9.63 c 9.60/9.63 c Core size: 992 Core Weight: 1 Total Weight: 3228 9.60/9.63 c Current CPU time: 8.5457 s 9.60/9.63 c 9.60/9.63 c ============================[ Search Statistics ]============================== 9.60/9.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.60/9.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.60/9.63 c =============================================================================== 9.60/9.63 c | 0 | 96444 95875 159674 | 31958 0 -nan | 0.000 % | 9.69/9.71 c =============================================================================== 9.69/9.78 c core #359 9.69/9.78 c 9.69/9.78 c 9.69/9.78 c Core size: 1597 Core Weight: 1 Total Weight: 3229 9.69/9.78 c Current CPU time: 8.68268 s 9.69/9.78 c 9.69/9.78 c ============================[ Search Statistics ]============================== 9.69/9.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.69/9.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.69/9.78 c =============================================================================== 9.69/9.78 c | 0 | 98040 97254 162549 | 32418 0 -nan | 0.000 % | 9.80/9.82 c =============================================================================== 9.80/9.89 c core #360 9.80/9.89 c 9.80/9.89 c 9.80/9.89 c Core size: 810 Core Weight: 1 Total Weight: 3230 9.80/9.89 c Current CPU time: 8.77067 s 9.80/9.89 c 9.80/9.89 c ============================[ Search Statistics ]============================== 9.80/9.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.80/9.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.80/9.89 c =============================================================================== 9.80/9.89 c | 0 | 98845 98002 163820 | 32667 0 -nan | 0.000 % | 9.90/9.95 c | 100 | 98838 98002 163820 | 35934 100 116 | 2.262 % | 9.90/9.96 c =============================================================================== 9.99/10.03 c core #361 9.99/10.03 c 9.99/10.03 c 9.99/10.03 c Core size: 1033 Core Weight: 1 Total Weight: 3231 9.99/10.03 c Current CPU time: 8.88565 s 9.99/10.03 c 9.99/10.03 c ============================[ Search Statistics ]============================== 9.99/10.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.99/10.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.99/10.03 c =============================================================================== 9.99/10.03 c | 0 | 99881 98959 166441 | 32986 0 -nan | 0.000 % | 9.99/10.07 c =============================================================================== 10.09/10.14 c core #362 10.09/10.14 c 10.09/10.14 c 10.09/10.14 c Core size: 767 Core Weight: 1 Total Weight: 3232 10.09/10.14 c Current CPU time: 8.97963 s 10.09/10.14 c 10.09/10.14 c ============================[ Search Statistics ]============================== 10.09/10.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.09/10.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.09/10.14 c =============================================================================== 10.09/10.14 c | 0 | 100639 99648 168177 | 33216 0 -nan | 0.000 % | 10.19/10.20 c =============================================================================== 10.19/10.27 c core #363 10.19/10.27 c 10.19/10.27 c 10.19/10.27 c Core size: 702 Core Weight: 1 Total Weight: 3233 10.19/10.27 c Current CPU time: 9.08962 s 10.19/10.27 c 10.19/10.27 c ============================[ Search Statistics ]============================== 10.19/10.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.19/10.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.19/10.27 c =============================================================================== 10.19/10.27 c | 0 | 101338 100209 169565 | 33403 0 -nan | 0.000 % | 10.29/10.31 c =============================================================================== 10.29/10.38 c core #364 10.29/10.38 c 10.29/10.38 c 10.29/10.38 c Core size: 851 Core Weight: 1 Total Weight: 3234 10.29/10.38 c Current CPU time: 9.1766 s 10.29/10.38 c 10.29/10.38 c ============================[ Search Statistics ]============================== 10.29/10.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.29/10.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.29/10.38 c =============================================================================== 10.29/10.38 c | 0 | 102174 100998 170723 | 33666 0 -nan | 0.000 % | 10.39/10.44 c =============================================================================== 10.49/10.51 c core #365 10.49/10.51 c 10.49/10.51 c 10.49/10.51 c Core size: 675 Core Weight: 1 Total Weight: 3235 10.49/10.51 c Current CPU time: 9.27659 s 10.49/10.51 c 10.49/10.51 c ============================[ Search Statistics ]============================== 10.49/10.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.49/10.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.49/10.51 c =============================================================================== 10.49/10.51 c | 0 | 102843 101633 171853 | 33877 0 -nan | 0.000 % | 10.49/10.59 c | 103 | 102838 101633 171853 | 37265 103 150 | 2.483 % | 10.59/10.61 c =============================================================================== 10.59/10.68 c core #366 10.59/10.68 c 10.59/10.68 c 10.59/10.68 c Core size: 1041 Core Weight: 1 Total Weight: 3236 10.59/10.68 c Current CPU time: 9.41257 s 10.59/10.68 c 10.59/10.68 c ============================[ Search Statistics ]============================== 10.59/10.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.59/10.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.59/10.68 c =============================================================================== 10.59/10.68 c | 0 | 103878 102547 174527 | 34182 0 -nan | 0.000 % | 10.69/10.78 c =============================================================================== 10.79/10.85 c core #367 10.79/10.85 c 10.79/10.85 c 10.79/10.85 c Core size: 1512 Core Weight: 1 Total Weight: 3237 10.79/10.85 c Current CPU time: 9.54555 s 10.79/10.85 c 10.79/10.85 c ============================[ Search Statistics ]============================== 10.79/10.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.79/10.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.79/10.85 c =============================================================================== 10.79/10.85 c | 0 | 105397 103965 177140 | 34655 0 -nan | 0.000 % | 10.79/10.87 c =============================================================================== 10.90/10.95 c core #368 10.90/10.95 c 10.90/10.95 c 10.90/10.95 c Core size: 330 Core Weight: 1 Total Weight: 3238 10.90/10.95 c Current CPU time: 9.63354 s 10.90/10.95 c 10.90/10.95 c ============================[ Search Statistics ]============================== 10.90/10.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.90/10.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.90/10.95 c =============================================================================== 10.90/10.95 c | 0 | 105722 104278 177788 | 34759 0 -nan | 0.000 % | 10.90/10.97 c =============================================================================== 11.01/11.04 c core #369 11.01/11.04 c 11.01/11.04 c 11.01/11.04 c Core size: 445 Core Weight: 1 Total Weight: 3239 11.01/11.04 c Current CPU time: 9.72152 s 11.01/11.04 c 11.01/11.04 c ============================[ Search Statistics ]============================== 11.01/11.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.01/11.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.01/11.04 c =============================================================================== 11.01/11.04 c | 0 | 106162 104694 178437 | 34898 0 -nan | 0.000 % | 11.01/11.05 c =============================================================================== 11.09/11.13 c core #370 11.09/11.13 c 11.09/11.13 c 11.09/11.13 c Core size: 246 Core Weight: 1 Total Weight: 3240 11.09/11.13 c Current CPU time: 9.80251 s 11.09/11.13 c 11.09/11.13 c ============================[ Search Statistics ]============================== 11.09/11.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.09/11.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.09/11.13 c =============================================================================== 11.09/11.13 c | 0 | 106402 104929 178701 | 34976 0 -nan | 0.000 % | 11.09/11.14 c =============================================================================== 11.19/11.21 c core #371 11.19/11.21 c 11.19/11.21 c 11.19/11.21 c Core size: 244 Core Weight: 1 Total Weight: 3241 11.19/11.21 c Current CPU time: 9.8835 s 11.19/11.21 c 11.19/11.21 c ============================[ Search Statistics ]============================== 11.19/11.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.19/11.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.19/11.21 c =============================================================================== 11.19/11.21 c | 0 | 106642 105162 179375 | 35054 0 -nan | 0.000 % | 11.19/11.24 c =============================================================================== 11.29/11.31 c core #372 11.29/11.31 c 11.29/11.31 c 11.29/11.31 c Core size: 852 Core Weight: 1 Total Weight: 3242 11.29/11.31 c Current CPU time: 9.97748 s 11.29/11.31 c 11.29/11.31 c ============================[ Search Statistics ]============================== 11.29/11.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.29/11.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.29/11.31 c =============================================================================== 11.29/11.31 c | 0 | 107482 105934 181092 | 35311 0 -nan | 0.000 % | 11.29/11.36 c =============================================================================== 11.39/11.44 c core #373 11.39/11.44 c 11.39/11.44 c 11.39/11.44 c Core size: 1094 Core Weight: 1 Total Weight: 3243 11.39/11.44 c Current CPU time: 10.0815 s 11.39/11.44 c 11.39/11.44 c ============================[ Search Statistics ]============================== 11.39/11.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.39/11.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.39/11.44 c =============================================================================== 11.39/11.44 c | 0 | 108573 106952 183254 | 35650 0 -nan | 0.000 % | 11.49/11.54 c =============================================================================== 11.59/11.61 c core #374 11.59/11.61 c 11.59/11.61 c 11.59/11.61 c Core size: 1519 Core Weight: 1 Total Weight: 3244 11.59/11.61 c Current CPU time: 10.2364 s 11.59/11.61 c 11.59/11.61 c ============================[ Search Statistics ]============================== 11.59/11.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.59/11.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.59/11.61 c =============================================================================== 11.59/11.61 c | 0 | 110177 108330 185937 | 36110 0 -nan | 0.000 % | 11.59/11.68 c =============================================================================== 11.69/11.76 c core #375 11.69/11.76 c 11.69/11.76 c 11.69/11.76 c Core size: 1146 Core Weight: 1 Total Weight: 3245 11.69/11.76 c Current CPU time: 10.3614 s 11.69/11.76 c 11.69/11.76 c ============================[ Search Statistics ]============================== 11.69/11.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.69/11.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.69/11.76 c =============================================================================== 11.69/11.76 c | 0 | 111309 109307 188072 | 36435 0 -nan | 0.000 % | 11.79/11.81 c =============================================================================== 11.79/11.89 c core #376 11.79/11.89 c 11.79/11.89 c 11.79/11.89 c Core size: 729 Core Weight: 1 Total Weight: 3246 11.79/11.89 c Current CPU time: 10.4804 s 11.79/11.89 c 11.79/11.89 c ============================[ Search Statistics ]============================== 11.79/11.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.79/11.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.79/11.89 c =============================================================================== 11.79/11.89 c | 0 | 112036 109962 189598 | 36654 0 -nan | 0.000 % | 11.89/11.94 c | 102 | 112030 109962 189598 | 40319 102 74 | 1.867 % | 11.89/11.95 c =============================================================================== 12.00/12.03 c core #377 12.00/12.03 c 12.00/12.03 c 12.00/12.03 c Core size: 679 Core Weight: 1 Total Weight: 3247 12.00/12.03 c Current CPU time: 10.6054 s 12.00/12.03 c 12.00/12.03 c ============================[ Search Statistics ]============================== 12.00/12.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.00/12.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.00/12.03 c =============================================================================== 12.00/12.03 c | 0 | 112714 110545 191626 | 36848 0 -nan | 0.000 % | 12.00/12.07 c | 101 | 112708 110545 191626 | 40533 101 70 | 1.850 % | 12.00/12.08 c =============================================================================== 12.10/12.16 c core #378 12.10/12.16 c 12.10/12.16 c 12.10/12.16 c Core size: 563 Core Weight: 1 Total Weight: 3248 12.10/12.16 c Current CPU time: 10.7244 s 12.10/12.16 c 12.10/12.16 c ============================[ Search Statistics ]============================== 12.10/12.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.10/12.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.10/12.16 c =============================================================================== 12.10/12.16 c | 0 | 113271 111078 192652 | 37026 0 -nan | 0.000 % | 12.20/12.21 c =============================================================================== 12.20/12.29 c core #379 12.20/12.29 c 12.20/12.29 c 12.20/12.29 c Core size: 934 Core Weight: 1 Total Weight: 3249 12.20/12.29 c Current CPU time: 10.8334 s 12.20/12.29 c 12.20/12.29 c ============================[ Search Statistics ]============================== 12.20/12.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.20/12.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.20/12.29 c =============================================================================== 12.20/12.29 c | 0 | 114196 111853 194089 | 37284 0 -nan | 0.000 % | 12.29/12.35 c | 101 | 114195 111853 194089 | 41012 101 59 | 1.822 % | 12.29/12.36 c =============================================================================== 12.39/12.44 c core #380 12.39/12.44 c 12.39/12.44 c 12.39/12.44 c Core size: 416 Core Weight: 1 Total Weight: 3250 12.39/12.44 c Current CPU time: 10.9653 s 12.39/12.44 c 12.39/12.44 c ============================[ Search Statistics ]============================== 12.39/12.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.39/12.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.39/12.44 c =============================================================================== 12.39/12.44 c | 0 | 114611 112254 195308 | 37418 0 -nan | 0.000 % | 12.49/12.53 c | 100 | 114604 112254 195308 | 41159 100 142 | 1.817 % | 12.49/12.55 c =============================================================================== 12.59/12.63 c core #381 12.59/12.63 c 12.59/12.63 c 12.59/12.63 c Core size: 1152 Core Weight: 1 Total Weight: 3251 12.59/12.63 c Current CPU time: 11.1153 s 12.59/12.63 c 12.59/12.63 c ============================[ Search Statistics ]============================== 12.59/12.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.59/12.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.59/12.63 c =============================================================================== 12.59/12.63 c | 0 | 115766 113242 197650 | 37747 0 -nan | 0.000 % | 12.69/12.73 c | 100 | 115763 113242 197650 | 41522 100 117 | 1.793 % | 12.79/12.80 c =============================================================================== 12.79/12.88 c core #382 12.79/12.88 c 12.79/12.88 c 12.79/12.88 c Core size: 1912 Core Weight: 1 Total Weight: 3252 12.79/12.88 c Current CPU time: 11.3383 s 12.79/12.88 c 12.79/12.88 c ============================[ Search Statistics ]============================== 12.79/12.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.79/12.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.79/12.88 c =============================================================================== 12.79/12.88 c | 0 | 117669 114958 202127 | 38319 0 -nan | 0.000 % | 12.89/12.92 c =============================================================================== 13.00/13.00 c core #383 13.00/13.00 c 13.00/13.00 c 13.00/13.00 c Core size: 257 Core Weight: 1 Total Weight: 3253 13.00/13.00 c Current CPU time: 11.4313 s 13.00/13.00 c 13.00/13.00 c ============================[ Search Statistics ]============================== 13.00/13.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.00/13.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.00/13.00 c =============================================================================== 13.00/13.00 c | 0 | 117926 115206 202765 | 38402 0 -nan | 0.000 % | 13.00/13.07 c =============================================================================== 13.10/13.15 c core #384 13.10/13.15 c 13.10/13.15 c 13.10/13.15 c Core size: 683 Core Weight: 1 Total Weight: 3254 13.10/13.15 c Current CPU time: 11.5632 s 13.10/13.15 c 13.10/13.15 c ============================[ Search Statistics ]============================== 13.10/13.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.10/13.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.10/13.15 c =============================================================================== 13.10/13.15 c | 0 | 118607 115807 204174 | 38602 0 -nan | 0.000 % | 13.20/13.23 c | 100 | 118594 115807 204174 | 42462 100 142 | 1.750 % | 13.20/13.25 c =============================================================================== 13.29/13.33 c core #385 13.29/13.33 c 13.29/13.33 c 13.29/13.33 c Core size: 1449 Core Weight: 1 Total Weight: 3255 13.29/13.33 c Current CPU time: 11.7142 s 13.29/13.33 c 13.29/13.33 c ============================[ Search Statistics ]============================== 13.29/13.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.29/13.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.29/13.33 c =============================================================================== 13.29/13.33 c | 0 | 120058 117149 207318 | 39049 0 -nan | 0.000 % | 13.29/13.39 c =============================================================================== 13.39/13.47 c core #386 13.39/13.47 c 13.39/13.47 c 13.39/13.47 c Core size: 561 Core Weight: 1 Total Weight: 3256 13.39/13.47 c Current CPU time: 11.8212 s 13.39/13.47 c 13.39/13.47 c ============================[ Search Statistics ]============================== 13.39/13.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.39/13.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.39/13.47 c =============================================================================== 13.39/13.47 c | 0 | 120612 117648 208433 | 39216 0 -nan | 0.000 % | 13.49/13.57 c | 100 | 120611 117648 208433 | 43137 100 138 | 1.706 % | 13.59/13.63 c =============================================================================== 13.69/13.72 c core #387 13.69/13.72 c 13.69/13.72 c 13.69/13.72 c Core size: 2213 Core Weight: 1 Total Weight: 3257 13.69/13.72 c Current CPU time: 12.0332 s 13.69/13.72 c 13.69/13.72 c ============================[ Search Statistics ]============================== 13.69/13.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.69/13.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.69/13.72 c =============================================================================== 13.69/13.72 c | 0 | 122826 119586 213503 | 39862 0 -nan | 0.000 % | 13.79/13.80 c | 101 | 122820 119586 213503 | 43848 101 187 | 1.672 % | 13.79/13.81 c =============================================================================== 13.79/13.89 c core #388 13.79/13.89 c 13.79/13.89 c 13.79/13.89 c Core size: 842 Core Weight: 1 Total Weight: 3258 13.79/13.89 c Current CPU time: 12.1761 s 13.79/13.89 c 13.79/13.89 c ============================[ Search Statistics ]============================== 13.79/13.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.79/13.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.79/13.89 c =============================================================================== 13.79/13.89 c | 0 | 123668 120405 215145 | 40135 0 -nan | 0.000 % | 13.90/13.98 c | 100 | 123659 120405 215145 | 44148 100 126 | 1.661 % | 13.99/14.02 c =============================================================================== 14.09/14.11 c core #389 14.09/14.11 c 14.09/14.11 c 14.09/14.11 c Core size: 1622 Core Weight: 1 Total Weight: 3259 14.09/14.11 c Current CPU time: 12.3681 s 14.09/14.11 c 14.09/14.11 c ============================[ Search Statistics ]============================== 14.09/14.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.09/14.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.09/14.11 c =============================================================================== 14.09/14.11 c | 0 | 125288 121776 217761 | 40592 0 -nan | 0.000 % | 14.20/14.21 c | 100 | 125275 121776 217761 | 44651 100 82 | 1.988 % | 14.20/14.28 c =============================================================================== 14.30/14.36 c core #390 14.30/14.36 c 14.30/14.36 c 14.30/14.36 c Core size: 1576 Core Weight: 1 Total Weight: 3260 14.30/14.36 c Current CPU time: 12.5941 s 14.30/14.36 c 14.30/14.36 c ============================[ Search Statistics ]============================== 14.30/14.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.30/14.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.30/14.36 c =============================================================================== 14.30/14.36 c | 0 | 126854 123147 221268 | 41049 0 -nan | 0.000 % | 14.40/14.45 c | 100 | 126851 123147 221268 | 45153 100 65 | 1.607 % | 14.49/14.50 c =============================================================================== 14.49/14.59 c core #391 14.49/14.59 c 14.49/14.59 c 14.49/14.59 c Core size: 1116 Core Weight: 1 Total Weight: 3261 14.49/14.59 c Current CPU time: 12.7781 s 14.49/14.59 c 14.49/14.59 c ============================[ Search Statistics ]============================== 14.49/14.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.49/14.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.49/14.59 c =============================================================================== 14.49/14.59 c | 0 | 127959 124056 224350 | 41352 0 -nan | 0.000 % | 14.69/14.72 c =============================================================================== 14.79/14.81 c core #392 14.79/14.81 c 14.79/14.81 c 14.79/14.81 c Core size: 888 Core Weight: 1 Total Weight: 3262 14.79/14.81 c Current CPU time: 12.937 s 14.79/14.81 c 14.79/14.81 c ============================[ Search Statistics ]============================== 14.79/14.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.79/14.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.79/14.81 c =============================================================================== 14.79/14.81 c | 0 | 128848 124836 226855 | 41612 0 -nan | 0.000 % | 14.79/14.89 c =============================================================================== 14.90/14.98 c core #393 14.90/14.98 c 14.90/14.98 c 14.90/14.98 c Core size: 694 Core Weight: 1 Total Weight: 3263 14.90/14.98 c Current CPU time: 13.088 s 14.90/14.98 c 14.90/14.98 c ============================[ Search Statistics ]============================== 14.90/14.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.90/14.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.90/14.98 c =============================================================================== 14.90/14.98 c | 0 | 129531 125367 227963 | 41789 0 -nan | 0.000 % | 14.99/15.01 c =============================================================================== 14.99/15.10 c core #394 14.99/15.10 c 14.99/15.10 c 14.99/15.10 c Core size: 260 Core Weight: 1 Total Weight: 3264 14.99/15.10 c Current CPU time: 13.184 s 14.99/15.10 c 14.99/15.10 c ============================[ Search Statistics ]============================== 14.99/15.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.99/15.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.99/15.10 c =============================================================================== 14.99/15.10 c | 0 | 129781 125595 228311 | 41865 0 -nan | 0.000 % | 15.10/15.18 c | 101 | 129778 125595 228311 | 46051 101 97 | 1.561 % | 15.19/15.26 c | 253 | 129771 125595 228311 | 50656 253 110 | 1.566 % | 15.30/15.33 c =============================================================================== 15.40/15.42 c core #395 15.40/15.42 c 15.40/15.42 c 15.40/15.42 c Core size: 2160 Core Weight: 1 Total Weight: 3265 15.40/15.42 c Current CPU time: 13.4909 s 15.40/15.42 c 15.40/15.42 c ============================[ Search Statistics ]============================== 15.40/15.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.40/15.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.40/15.42 c =============================================================================== 15.40/15.42 c | 0 | 131939 127385 233371 | 42461 0 -nan | 0.000 % | 15.49/15.51 c | 100 | 131933 127385 233371 | 46707 100 109 | 1.533 % | 15.49/15.55 c =============================================================================== 15.59/15.64 c core #396 15.59/15.64 c 15.59/15.64 c 15.59/15.64 c Core size: 1119 Core Weight: 1 Total Weight: 3266 15.59/15.64 c Current CPU time: 13.6839 s 15.59/15.64 c 15.59/15.64 c ============================[ Search Statistics ]============================== 15.59/15.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.59/15.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.59/15.64 c =============================================================================== 15.59/15.64 c | 0 | 133056 128342 236104 | 42780 0 -nan | 0.000 % | 15.69/15.71 c | 101 | 133053 128342 236104 | 47058 101 74 | 1.514 % | 15.69/15.79 c =============================================================================== 15.79/15.88 c core #397 15.79/15.88 c 15.79/15.88 c 15.79/15.88 c Core size: 1419 Core Weight: 1 Total Weight: 3267 15.79/15.88 c Current CPU time: 13.9089 s 15.79/15.88 c 15.79/15.88 c ============================[ Search Statistics ]============================== 15.79/15.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.79/15.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.79/15.88 c =============================================================================== 15.79/15.88 c | 0 | 134474 129509 239388 | 43169 0 -nan | 0.000 % | 15.89/15.99 c | 100 | 134470 129509 239388 | 47486 100 142 | 1.496 % | 16.09/16.11 c | 250 | 134465 129509 239388 | 52235 250 267 | 1.500 % | 16.09/16.17 c =============================================================================== 16.19/16.26 c core #398 16.19/16.26 c 16.19/16.26 c 16.19/16.26 c Core size: 2324 Core Weight: 1 Total Weight: 3268 16.19/16.26 c Current CPU time: 14.2478 s 16.19/16.26 c 16.19/16.26 c ============================[ Search Statistics ]============================== 16.19/16.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.19/16.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.19/16.26 c =============================================================================== 16.19/16.26 c | 0 | 136791 131388 243831 | 43796 0 -nan | 0.000 % | 16.29/16.35 c | 101 | 136791 131388 243831 | 48175 101 181 | 1.467 % | 16.41/16.47 c | 251 | 136788 131388 243831 | 52993 251 170 | 1.469 % | 16.51/16.52 c =============================================================================== 16.59/16.61 c core #399 16.59/16.61 c 16.59/16.61 c 16.59/16.61 c Core size: 940 Core Weight: 1 Total Weight: 3269 16.59/16.61 c Current CPU time: 14.5608 s 16.59/16.61 c 16.59/16.61 c ============================[ Search Statistics ]============================== 16.59/16.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.59/16.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.59/16.61 c =============================================================================== 16.59/16.61 c | 0 | 137731 132243 245680 | 44081 0 -nan | 0.000 % | 16.69/16.70 c | 100 | 137731 132243 245680 | 48489 100 167 | 1.455 % | 16.79/16.80 c | 251 | 137723 132243 245680 | 53338 251 278 | 1.461 % | 16.79/16.83 c =============================================================================== 16.89/16.93 c core #400 16.89/16.93 c 16.89/16.93 c 16.89/16.93 c Core size: 2279 Core Weight: 1 Total Weight: 3270 16.89/16.93 c Current CPU time: 14.8417 s 16.89/16.93 c 16.89/16.93 c ============================[ Search Statistics ]============================== 16.89/16.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.89/16.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.89/16.93 c =============================================================================== 16.89/16.93 c | 0 | 140006 134007 251207 | 44669 0 -nan | 0.000 % | 16.99/17.06 c | 100 | 139996 134007 251207 | 49135 100 83 | 1.432 % | 17.19/17.22 c | 254 | 139992 134007 251207 | 54049 254 147 | 1.435 % | 17.29/17.31 c =============================================================================== 17.39/17.41 c core #401 17.39/17.41 c 17.39/17.41 c 17.39/17.41 c Core size: 3393 Core Weight: 1 Total Weight: 3271 17.39/17.41 c Current CPU time: 15.2947 s 17.39/17.41 c 17.39/17.41 c ============================[ Search Statistics ]============================== 17.39/17.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.39/17.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.39/17.41 c =============================================================================== 17.39/17.41 c | 0 | 143389 136055 259067 | 45351 0 -nan | 0.000 % | 17.51/17.51 c | 100 | 143386 136055 259067 | 49886 100 112 | 1.390 % | 17.51/17.54 c =============================================================================== 17.61/17.63 c core #402 17.61/17.63 c 17.61/17.63 c 17.61/17.63 c Core size: 245 Core Weight: 1 Total Weight: 3272 17.61/17.63 c Current CPU time: 15.4796 s 17.61/17.63 c 17.61/17.63 c ============================[ Search Statistics ]============================== 17.61/17.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.61/17.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.61/17.63 c =============================================================================== 17.61/17.63 c | 0 | 143632 136279 259575 | 45426 0 -nan | 0.000 % | 17.69/17.74 c | 100 | 143629 136279 259575 | 49968 100 108 | 1.387 % | 17.69/17.78 c =============================================================================== 17.79/17.87 c core #403 17.79/17.87 c 17.79/17.87 c 17.79/17.87 c Core size: 1108 Core Weight: 1 Total Weight: 3273 17.79/17.87 c Current CPU time: 15.6776 s 17.79/17.87 c 17.79/17.87 c ============================[ Search Statistics ]============================== 17.79/17.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.79/17.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.79/17.87 c =============================================================================== 17.79/17.87 c | 0 | 144729 137238 261582 | 45746 0 -nan | 0.000 % | 17.89/17.98 c | 100 | 144722 137238 261582 | 50320 100 69 | 1.379 % | 17.99/18.01 c =============================================================================== 18.09/18.10 c core #404 18.09/18.10 c 18.09/18.10 c 18.09/18.10 c Core size: 1310 Core Weight: 1 Total Weight: 3274 18.09/18.10 c Current CPU time: 15.8706 s 18.09/18.10 c 18.09/18.10 c ============================[ Search Statistics ]============================== 18.09/18.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.09/18.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.09/18.10 c =============================================================================== 18.09/18.10 c | 0 | 146043 138274 265092 | 46091 0 -nan | 0.000 % | 18.19/18.22 c | 103 | 146043 138274 265092 | 50700 103 218 | 1.357 % | 18.29/18.31 c | 253 | 146042 138274 265092 | 55770 253 271 | 1.358 % | 18.40/18.42 c =============================================================================== 18.50/18.52 c core #405 18.50/18.52 c 18.50/18.52 c 18.50/18.52 c Core size: 2528 Core Weight: 1 Total Weight: 3275 18.50/18.52 c Current CPU time: 16.2445 s 18.50/18.52 c 18.50/18.52 c ============================[ Search Statistics ]============================== 18.50/18.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.50/18.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.50/18.52 c =============================================================================== 18.50/18.52 c | 0 | 148568 140175 270160 | 46725 0 -nan | 0.000 % | 18.61/18.65 c | 100 | 148560 140175 270160 | 51397 100 111 | 1.335 % | 18.61/18.68 c =============================================================================== 18.71/18.78 c core #406 18.71/18.78 c 18.71/18.78 c 18.71/18.78 c Core size: 1575 Core Weight: 1 Total Weight: 3276 18.71/18.78 c Current CPU time: 16.4575 s 18.71/18.78 c 18.71/18.78 c ============================[ Search Statistics ]============================== 18.71/18.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.71/18.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.71/18.78 c =============================================================================== 18.71/18.78 c | 0 | 150139 141532 273904 | 47177 0 -nan | 0.000 % | 18.89/18.92 c | 101 | 150133 141532 273904 | 51895 101 129 | 1.315 % | 18.99/19.02 c | 253 | 150085 141532 273904 | 57084 253 263 | 1.510 % | 18.99/19.05 c =============================================================================== 19.09/19.15 c core #407 19.09/19.15 c 19.09/19.15 c 19.09/19.15 c Core size: 2427 Core Weight: 1 Total Weight: 3277 19.09/19.15 c Current CPU time: 16.7685 s 19.09/19.15 c 19.09/19.15 c ============================[ Search Statistics ]============================== 19.09/19.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.09/19.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.09/19.15 c =============================================================================== 19.09/19.15 c | 0 | 152552 143540 279105 | 47846 0 -nan | 0.000 % | 19.19/19.26 c =============================================================================== 19.29/19.36 c core #408 19.29/19.36 c 19.29/19.36 c 19.29/19.36 c Core size: 357 Core Weight: 1 Total Weight: 3278 19.29/19.36 c Current CPU time: 16.9394 s 19.29/19.36 c 19.29/19.36 c ============================[ Search Statistics ]============================== 19.29/19.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.29/19.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.29/19.36 c =============================================================================== 19.29/19.36 c | 0 | 152909 143860 280165 | 47953 0 -nan | 0.000 % | 19.40/19.48 c | 100 | 152909 143860 280165 | 52748 100 118 | 1.279 % | 19.49/19.57 c | 250 | 152901 143860 280165 | 58023 250 109 | 1.284 % | 19.70/19.76 c =============================================================================== 19.80/19.88 c core #409 19.80/19.88 c 19.80/19.88 c 19.80/19.88 c Core size: 1971 Core Weight: 1 Total Weight: 3279 19.80/19.88 c Current CPU time: 17.3944 s 19.80/19.88 c 19.80/19.88 c ============================[ Search Statistics ]============================== 19.80/19.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.80/19.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.80/19.88 c =============================================================================== 19.80/19.88 c | 0 | 154872 145282 284747 | 48427 0 -nan | 0.000 % | 19.89/19.98 c | 102 | 154872 145282 284747 | 53270 102 103 | 1.259 % | 19.99/20.06 c | 253 | 154871 145282 284747 | 58597 253 103 | 1.260 % | 20.19/20.22 c =============================================================================== 20.30/20.33 c core #410 20.30/20.33 c 20.30/20.33 c 20.30/20.33 c Core size: 2006 Core Weight: 1 Total Weight: 3280 20.30/20.33 c Current CPU time: 17.8263 s 20.30/20.33 c 20.30/20.33 c ============================[ Search Statistics ]============================== 20.30/20.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.30/20.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.30/20.33 c =============================================================================== 20.30/20.33 c | 0 | 156867 146816 288986 | 48938 0 -nan | 0.000 % | 20.39/20.43 c | 103 | 156716 146816 288986 | 53832 103 95 | 1.337 % | 20.39/20.44 c =============================================================================== 20.49/20.55 c core #411 20.49/20.55 c 20.49/20.55 c 20.49/20.55 c Core size: 222 Core Weight: 1 Total Weight: 3281 20.49/20.55 c Current CPU time: 18.0293 s 20.49/20.55 c 20.49/20.55 c ============================[ Search Statistics ]============================== 20.49/20.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.49/20.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.49/20.55 c =============================================================================== 20.49/20.55 c | 0 | 157083 147013 289470 | 49004 0 -nan | 0.000 % | 20.59/20.69 c | 101 | 157081 147013 289470 | 53904 101 177 | 1.240 % | 20.69/20.72 c =============================================================================== 20.80/20.83 c core #412 20.80/20.83 c 20.80/20.83 c 20.80/20.83 c Core size: 1352 Core Weight: 1 Total Weight: 3282 20.80/20.83 c Current CPU time: 18.2532 s 20.80/20.83 c 20.80/20.83 c ============================[ Search Statistics ]============================== 20.80/20.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.80/20.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.80/20.83 c =============================================================================== 20.80/20.83 c | 0 | 158430 148114 292058 | 49371 0 -nan | 0.000 % | 20.90/20.95 c | 100 | 158430 148114 292058 | 54308 100 198 | 1.226 % | 20.99/21.08 c | 250 | 158419 148114 292058 | 59739 250 150 | 1.234 % | 20.99/21.09 c =============================================================================== 21.19/21.20 c core #413 21.19/21.20 c 21.19/21.20 c 21.19/21.20 c Core size: 873 Core Weight: 1 Total Weight: 3283 21.19/21.20 c Current CPU time: 18.5802 s 21.19/21.20 c 21.19/21.20 c ============================[ Search Statistics ]============================== 21.19/21.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.19/21.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.19/21.20 c =============================================================================== 21.19/21.20 c | 0 | 159284 148827 294173 | 49609 0 -nan | 0.000 % | 21.29/21.34 c | 100 | 159280 148827 294173 | 54569 100 94 | 1.220 % | 21.29/21.35 c =============================================================================== 21.39/21.46 c core #414 21.39/21.46 c 21.39/21.46 c 21.39/21.46 c Core size: 1066 Core Weight: 1 Total Weight: 3284 21.39/21.46 c Current CPU time: 18.8021 s 21.39/21.46 c 21.39/21.46 c ============================[ Search Statistics ]============================== 21.39/21.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.39/21.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.39/21.46 c =============================================================================== 21.39/21.46 c | 0 | 160348 149722 296365 | 49907 0 -nan | 0.000 % | 21.49/21.56 c | 101 | 160348 149722 296365 | 54898 101 71 | 1.208 % | 21.59/21.69 c =============================================================================== 21.79/21.80 c core #415 21.79/21.80 c 21.79/21.80 c 21.79/21.80 c Core size: 1881 Core Weight: 1 Total Weight: 3285 21.79/21.80 c Current CPU time: 19.0991 s 21.79/21.80 c 21.79/21.80 c ============================[ Search Statistics ]============================== 21.79/21.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.79/21.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.79/21.80 c =============================================================================== 21.79/21.80 c | 0 | 162221 151252 300101 | 50417 0 -nan | 0.000 % | 21.90/21.91 c | 100 | 162221 151252 300101 | 55459 100 149 | 1.190 % | 22.00/22.04 c | 250 | 162218 151252 300101 | 61004 250 125 | 1.192 % | 22.09/22.12 c =============================================================================== 22.19/22.23 c core #416 22.19/22.23 c 22.19/22.23 c 22.19/22.23 c Core size: 1906 Core Weight: 1 Total Weight: 3286 22.19/22.23 c Current CPU time: 19.48 s 22.19/22.23 c 22.19/22.23 c ============================[ Search Statistics ]============================== 22.19/22.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.19/22.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.19/22.23 c =============================================================================== 22.19/22.23 c | 0 | 164102 152732 303876 | 50910 0 -nan | 0.000 % | 22.29/22.32 c | 105 | 164102 152732 303876 | 56001 105 76 | 1.176 % | 22.39/22.43 c | 255 | 164098 152732 303876 | 61601 255 162 | 1.188 % | 22.50/22.55 c =============================================================================== 22.59/22.67 c core #417 22.59/22.67 c 22.59/22.67 c 22.59/22.67 c Core size: 2391 Core Weight: 1 Total Weight: 3287 22.59/22.67 c Current CPU time: 19.874 s 22.59/22.67 c 22.59/22.67 c ============================[ Search Statistics ]============================== 22.59/22.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.59/22.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.59/22.67 c =============================================================================== 22.59/22.67 c | 0 | 166494 154378 308977 | 51459 0 -nan | 0.000 % | 22.69/22.79 c | 100 | 166494 154378 308977 | 56605 100 151 | 1.155 % | 22.89/22.92 c | 250 | 166491 154378 308977 | 62265 250 174 | 1.157 % | 23.01/23.04 c =============================================================================== 23.11/23.16 c core #418 23.11/23.16 c 23.11/23.16 c 23.11/23.16 c Core size: 2355 Core Weight: 1 Total Weight: 3288 23.11/23.16 c Current CPU time: 20.3119 s 23.11/23.16 c 23.11/23.16 c ============================[ Search Statistics ]============================== 23.11/23.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.11/23.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.11/23.16 c =============================================================================== 23.11/23.16 c | 0 | 168843 156161 314761 | 52053 0 -nan | 0.000 % | 23.19/23.29 c | 100 | 168843 156161 314761 | 57259 100 73 | 1.134 % | 23.39/23.44 c | 250 | 168036 156161 314761 | 62984 250 83 | 1.607 % | 23.39/23.47 c =============================================================================== 23.49/23.59 c core #419 23.49/23.59 c 23.49/23.59 c 23.49/23.59 c Core size: 1861 Core Weight: 1 Total Weight: 3289 23.49/23.59 c Current CPU time: 20.6959 s 23.49/23.59 c 23.49/23.59 c ============================[ Search Statistics ]============================== 23.49/23.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.49/23.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.49/23.59 c =============================================================================== 23.49/23.59 c | 0 | 170710 157546 320026 | 52515 0 -nan | 0.000 % | 23.59/23.69 c | 101 | 170710 157546 320026 | 57766 101 79 | 1.100 % | 23.79/23.80 c | 251 | 170708 157546 320026 | 63543 251 94 | 1.102 % | 23.89/23.99 c | 478 | 170702 157546 320026 | 69897 478 156 | 1.105 % | 24.20/24.21 c | 816 | 170632 157546 320026 | 76887 816 282 | 1.259 % | 24.29/24.31 c =============================================================================== 24.39/24.43 c core #420 24.39/24.43 c 24.39/24.43 c 24.39/24.43 c Core size: 3421 Core Weight: 1 Total Weight: 3290 24.39/24.43 c Current CPU time: 21.5007 s 24.39/24.43 c 24.39/24.43 c ============================[ Search Statistics ]============================== 24.39/24.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.39/24.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.39/24.43 c =============================================================================== 24.39/24.43 c | 0 | 174134 159732 328323 | 53244 0 -nan | 0.000 % | 24.59/24.60 c | 100 | 174134 159732 328323 | 58568 100 76 | 1.071 % | 24.69/24.78 c | 250 | 174127 159732 328323 | 64425 250 70 | 1.075 % | 24.99/25.02 c =============================================================================== 25.09/25.15 c core #421 25.09/25.15 c 25.09/25.15 c 25.09/25.15 c Core size: 2627 Core Weight: 1 Total Weight: 3291 25.09/25.15 c Current CPU time: 22.1506 s 25.09/25.15 c 25.09/25.15 c ============================[ Search Statistics ]============================== 25.09/25.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.09/25.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.09/25.15 c =============================================================================== 25.09/25.15 c | 0 | 176763 161655 334388 | 53885 0 -nan | 0.000 % | 25.21/25.30 c | 101 | 176754 161655 334388 | 59273 101 92 | 1.056 % | 25.31/25.38 c =============================================================================== 25.49/25.50 c core #422 25.49/25.50 c 25.49/25.50 c 25.49/25.50 c Core size: 1588 Core Weight: 1 Total Weight: 3292 25.49/25.50 c Current CPU time: 22.4506 s 25.49/25.50 c 25.49/25.50 c ============================[ Search Statistics ]============================== 25.49/25.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.49/25.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.49/25.50 c =============================================================================== 25.49/25.50 c | 0 | 178356 162716 338250 | 54238 0 -nan | 0.000 % | 25.59/25.60 c | 101 | 178356 162716 338250 | 59662 101 132 | 1.038 % | 25.69/25.71 c | 251 | 178354 162716 338250 | 65628 251 109 | 1.039 % | 25.79/25.87 c | 476 | 178353 162716 338250 | 72191 476 108 | 1.039 % | 25.99/26.07 c =============================================================================== 26.19/26.20 c core #423 26.19/26.20 c 26.19/26.20 c 26.19/26.20 c Core size: 892 Core Weight: 1 Total Weight: 3293 26.19/26.20 c Current CPU time: 23.1035 s 26.19/26.20 c 26.19/26.20 c ============================[ Search Statistics ]============================== 26.19/26.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.19/26.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.19/26.20 c =============================================================================== 26.19/26.20 c | 0 | 179247 163385 340240 | 54461 0 -nan | 0.000 % | 26.19/26.30 c | 100 | 179245 163385 340240 | 59907 100 85 | 1.033 % | 26.41/26.42 c | 250 | 179241 163385 340240 | 65898 250 155 | 1.036 % | 26.41/26.46 c =============================================================================== 26.49/26.58 c core #424 26.49/26.58 c 26.49/26.58 c 26.49/26.58 c Core size: 1667 Core Weight: 1 Total Weight: 3294 26.49/26.58 c Current CPU time: 23.4354 s 26.49/26.58 c 26.49/26.58 c ============================[ Search Statistics ]============================== 26.49/26.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.49/26.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.49/26.58 c =============================================================================== 26.49/26.58 c | 0 | 180911 164649 343883 | 54883 0 -nan | 0.000 % | 26.80/26.81 c | 100 | 180899 164649 343883 | 60371 100 70 | 1.026 % | 26.90/26.91 c =============================================================================== 27.00/27.04 c core #425 27.00/27.04 c 27.00/27.04 c 27.00/27.04 c Core size: 1513 Core Weight: 1 Total Weight: 3295 27.00/27.04 c Current CPU time: 23.8084 s 27.00/27.04 c 27.00/27.04 c ============================[ Search Statistics ]============================== 27.00/27.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.00/27.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.00/27.04 c =============================================================================== 27.00/27.04 c | 0 | 182424 165704 348177 | 55234 0 -nan | 0.000 % | 27.09/27.14 c | 100 | 182424 165704 348177 | 60758 100 112 | 1.006 % | 27.29/27.31 c | 251 | 182420 165704 348177 | 66833 251 136 | 1.008 % | 27.50/27.52 c | 476 | 182418 165704 348177 | 73517 476 146 | 1.009 % | 27.80/27.89 c | 815 | 182415 165704 348177 | 80869 815 251 | 1.011 % | 28.00/28.07 c =============================================================================== 28.19/28.20 c core #426 28.19/28.20 c 28.19/28.20 c 28.19/28.20 c Core size: 4279 Core Weight: 1 Total Weight: 3296 28.19/28.20 c Current CPU time: 24.9502 s 28.19/28.20 c 28.19/28.20 c ============================[ Search Statistics ]============================== 28.19/28.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.19/28.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.19/28.20 c =============================================================================== 28.19/28.20 c | 0 | 186691 168115 358890 | 56038 0 -nan | 0.000 % | 28.29/28.38 c | 100 | 186691 168115 358890 | 61642 100 230 | 0.976 % | 28.51/28.51 c | 250 | 186691 168115 358890 | 67806 250 204 | 0.976 % | 28.69/28.71 c | 477 | 186685 168115 358890 | 74587 477 283 | 0.980 % | 28.99/29.03 c =============================================================================== 29.09/29.16 c core #427 29.09/29.16 c 29.09/29.16 c 29.09/29.16 c Core size: 3058 Core Weight: 1 Total Weight: 3297 29.09/29.16 c Current CPU time: 25.8481 s 29.09/29.16 c 29.09/29.16 c ============================[ Search Statistics ]============================== 29.09/29.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.09/29.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.09/29.16 c =============================================================================== 29.09/29.16 c | 0 | 189754 170137 365707 | 56712 0 -nan | 0.000 % | 29.20/29.29 c | 100 | 189753 170137 365707 | 62383 100 58 | 0.958 % | 29.39/29.42 c | 250 | 189753 170137 365707 | 68621 250 143 | 0.958 % | 29.60/29.65 c | 476 | 189747 170137 365707 | 75484 476 161 | 0.961 % | 29.89/29.93 c =============================================================================== 29.99/30.07 c core #428 29.99/30.07 c 29.99/30.07 c 29.99/30.07 c Core size: 3168 Core Weight: 1 Total Weight: 3298 29.99/30.07 c Current CPU time: 26.6949 s 29.99/30.07 c 29.99/30.07 c ============================[ Search Statistics ]============================== 29.99/30.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.99/30.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.99/30.07 c =============================================================================== 29.99/30.07 c | 0 | 192930 172167 373612 | 57389 0 -nan | 0.000 % | 30.19/30.21 c | 100 | 192930 172167 373612 | 63127 100 97 | 0.937 % | 30.29/30.38 c | 250 | 192928 172167 373612 | 69440 250 92 | 0.938 % | 30.59/30.63 c | 477 | 192927 172167 373612 | 76384 477 113 | 0.939 % | 30.99/31.00 c | 814 | 192787 172167 373612 | 84023 814 223 | 1.011 % | 31.19/31.24 c =============================================================================== 31.29/31.38 c core #429 31.29/31.38 c 31.29/31.38 c 31.29/31.38 c Core size: 4179 Core Weight: 1 Total Weight: 3299 31.29/31.38 c Current CPU time: 27.9438 s 31.29/31.38 c 31.29/31.38 c ============================[ Search Statistics ]============================== 31.29/31.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.29/31.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.29/31.38 c =============================================================================== 31.29/31.38 c | 0 | 197096 174331 383592 | 58110 0 -nan | 0.000 % | 31.49/31.52 c | 100 | 197096 174331 383592 | 63921 100 92 | 0.913 % | 31.59/31.61 c | 250 | 197095 174331 383592 | 70313 250 99 | 0.914 % | 31.81/31.81 c | 476 | 197090 174331 383592 | 77344 476 90 | 0.917 % | 31.99/32.01 c =============================================================================== 32.09/32.14 c core #430 32.09/32.14 c 32.09/32.14 c 32.09/32.14 c Core size: 1962 Core Weight: 1 Total Weight: 3300 32.09/32.14 c Current CPU time: 28.6586 s 32.09/32.14 c 32.09/32.14 c ============================[ Search Statistics ]============================== 32.09/32.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.09/32.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.09/32.14 c =============================================================================== 32.09/32.14 c | 0 | 199062 175754 388652 | 58584 0 -nan | 0.000 % | 32.19/32.28 c | 100 | 199062 175754 388652 | 64443 100 67 | 0.901 % | 32.39/32.41 c | 250 | 199062 175754 388652 | 70887 250 123 | 0.901 % | 32.59/32.60 c | 475 | 199059 175754 388652 | 77976 475 125 | 0.903 % | 32.69/32.77 c =============================================================================== 32.90/32.91 c core #431 32.90/32.91 c 32.90/32.91 c 32.90/32.91 c Core size: 1504 Core Weight: 1 Total Weight: 3301 32.90/32.91 c Current CPU time: 29.3615 s 32.90/32.91 c 32.90/32.91 c ============================[ Search Statistics ]============================== 32.90/32.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.90/32.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.90/32.91 c =============================================================================== 32.90/32.91 c | 0 | 200562 176904 392337 | 58968 0 -nan | 0.000 % | 33.10/33.11 c | 103 | 200560 176904 392337 | 64864 103 77 | 0.893 % | 33.30/33.34 c | 253 | 200553 176904 392337 | 71351 253 105 | 0.896 % | 33.40/33.48 c =============================================================================== 33.60/33.61 c core #432 33.60/33.61 c 33.60/33.61 c 33.60/33.61 c Core size: 2405 Core Weight: 1 Total Weight: 3302 33.60/33.61 c Current CPU time: 30.0034 s 33.60/33.61 c 33.60/33.61 c ============================[ Search Statistics ]============================== 33.60/33.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.60/33.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.60/33.61 c =============================================================================== 33.60/33.61 c | 0 | 202957 178477 398399 | 59492 0 -nan | 0.000 % | 33.69/33.78 c | 102 | 202955 178477 398399 | 65441 102 125 | 0.879 % | 33.89/33.92 c | 252 | 202951 178477 398399 | 71985 252 99 | 0.881 % | 34.00/34.10 c | 477 | 202949 178477 398399 | 79184 477 126 | 0.882 % | 34.39/34.47 c | 815 | 202944 178477 398399 | 87102 815 267 | 0.884 % | 34.80/34.81 c =============================================================================== 34.89/34.96 c core #433 34.89/34.96 c 34.89/34.96 c 34.89/34.96 c Core size: 3900 Core Weight: 1 Total Weight: 3303 34.89/34.96 c Current CPU time: 31.2722 s 34.89/34.96 c 34.89/34.96 c ============================[ Search Statistics ]============================== 34.89/34.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.89/34.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.89/34.96 c =============================================================================== 34.89/34.96 c | 0 | 206837 180702 406742 | 60234 0 -nan | 0.000 % | 35.11/35.14 c | 101 | 206837 180702 406742 | 66257 101 218 | 0.858 % | 35.29/35.30 c | 252 | 206836 180702 406742 | 72883 252 183 | 0.859 % | 35.49/35.53 c | 477 | 206834 180702 406742 | 80171 477 202 | 0.860 % | 35.79/35.80 c | 816 | 206834 180702 406742 | 88188 816 225 | 0.860 % | 36.21/36.27 c | 1324 | 206829 180702 406742 | 97007 1324 254 | 0.862 % | 36.99/37.06 c | 2083 | 206812 180702 406742 | 106708 2083 253 | 0.870 % | 37.49/37.53 c =============================================================================== 37.59/37.68 c core #434 37.59/37.68 c 37.59/37.68 c 37.59/37.68 c Core size: 6203 Core Weight: 1 Total Weight: 3304 37.59/37.68 c Current CPU time: 33.9138 s 37.59/37.68 c 37.59/37.68 c ============================[ Search Statistics ]============================== 37.59/37.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.59/37.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.59/37.68 c =============================================================================== 37.59/37.68 c | 0 | 213031 183548 421306 | 61182 0 -nan | 0.000 % | 37.79/37.83 c | 101 | 213031 183548 421306 | 67300 101 122 | 0.829 % | 37.99/38.00 c | 252 | 213029 183548 421306 | 74031 252 137 | 0.830 % | 38.19/38.23 c | 478 | 213028 183548 421306 | 81434 478 151 | 0.830 % | 38.40/38.51 c | 815 | 213022 183548 421306 | 89577 815 134 | 0.833 % | 39.00/39.04 c | 1322 | 213014 183548 421306 | 98535 1322 196 | 0.837 % | 39.09/39.19 c =============================================================================== 39.30/39.35 c core #435 39.30/39.35 c 39.30/39.35 c 39.30/39.35 c Core size: 4129 Core Weight: 1 Total Weight: 3305 39.30/39.35 c Current CPU time: 35.5116 s 39.30/39.35 c 39.30/39.35 c ============================[ Search Statistics ]============================== 39.30/39.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.30/39.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.30/39.35 c =============================================================================== 39.30/39.35 c | 0 | 217169 185538 431445 | 61846 0 -nan | 0.000 % | 39.39/39.50 c | 102 | 217169 185538 431445 | 68030 102 80 | 0.808 % | 39.61/39.65 c | 252 | 217168 185538 431445 | 74833 252 64 | 0.808 % | 39.80/39.89 c | 477 | 217167 185538 431445 | 82317 477 98 | 0.809 % | 40.29/40.32 c | 814 | 217163 185538 431445 | 90548 814 116 | 0.811 % | 40.99/41.03 c | 1320 | 217148 185538 431445 | 99603 1320 192 | 0.818 % | 41.90/41.93 c | 2081 | 217145 185538 431445 | 109563 2081 261 | 0.819 % | 43.09/43.18 c | 3220 | 217143 185538 431445 | 120520 3220 414 | 0.820 % | 44.90/45.01 c | 4932 | 217142 185538 431445 | 132572 4932 706 | 0.820 % | 46.30/46.30 c =============================================================================== 46.39/46.48 c core #436 46.39/46.48 c 46.39/46.48 c 46.39/46.48 c Core size: 10114 Core Weight: 1 Total Weight: 3306 46.39/46.48 c Current CPU time: 42.5605 s 46.39/46.48 c 46.39/46.48 c ============================[ Search Statistics ]============================== 46.39/46.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 46.39/46.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 46.39/46.48 c =============================================================================== 46.39/46.48 c | 0 | 227274 188753 454507 | 62917 0 -nan | 0.000 % | 46.60/46.65 c | 104 | 227274 188753 454507 | 69209 104 120 | 0.768 % | 46.80/46.81 c | 255 | 227274 188753 454507 | 76130 255 144 | 0.768 % | 47.00/47.06 c | 480 | 227270 188753 454507 | 83743 480 112 | 0.770 % | 47.40/47.42 c | 819 | 227267 188753 454507 | 92117 819 121 | 0.771 % | 48.00/48.00 c | 1328 | 227265 188753 454507 | 101329 1328 160 | 0.772 % | 48.59/48.63 c | 2087 | 227260 188753 454507 | 111462 2087 195 | 0.774 % | 49.69/49.79 c | 3227 | 227256 188753 454507 | 122608 3227 286 | 0.776 % | 51.29/51.35 c | 4936 | 227253 188753 454507 | 134869 4936 458 | 0.777 % | 53.59/53.61 c | 7500 | 227244 188753 454507 | 148356 7500 569 | 0.781 % | 56.69/56.76 c | 11346 | 227242 188753 454507 | 163192 11346 737 | 0.782 % | 62.80/62.83 c | 17112 | 227238 188753 454507 | 179511 17112 888 | 0.784 % | 63.99/64.08 c =============================================================================== 64.29/64.34 c core #437 64.29/64.34 c 64.29/64.34 c 64.29/64.34 c Core size: 12687 Core Weight: 1 Total Weight: 3307 64.29/64.34 c Current CPU time: 60.2788 s 64.29/64.34 c 64.29/64.34 c ============================[ Search Statistics ]============================== 64.29/64.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 64.29/64.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 64.29/64.34 c =============================================================================== 64.29/64.34 c | 0 | 239945 192246 482390 | 64082 0 -nan | 0.000 % | 64.49/64.52 c | 100 | 239945 192246 482390 | 70490 100 150 | 0.726 % | 64.59/64.67 c | 252 | 239945 192246 482390 | 77539 252 119 | 0.726 % | 64.91/64.97 c | 477 | 239945 192246 482390 | 85293 477 108 | 0.726 % | 65.39/65.40 c | 814 | 239943 192246 482390 | 93822 814 99 | 0.727 % | 65.79/65.89 c | 1320 | 239936 192246 482390 | 103204 1320 148 | 0.730 % | 66.69/66.71 c | 2079 | 239929 192246 482390 | 113525 2079 198 | 0.732 % | 67.80/67.82 c | 3218 | 239920 192246 482390 | 124877 3218 265 | 0.736 % | 69.99/70.02 c | 4927 | 239911 192246 482390 | 137365 4927 317 | 0.740 % | 73.49/73.58 c =============================================================================== 73.71/73.77 c core #438 73.71/73.77 c 73.71/73.77 c 73.71/73.77 c Core size: 8887 Core Weight: 1 Total Weight: 3308 73.71/73.77 c Current CPU time: 69.6024 s 73.71/73.77 c 73.71/73.77 c ============================[ Search Statistics ]============================== 73.71/73.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 73.71/73.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 73.71/73.77 c =============================================================================== 73.71/73.77 c | 0 | 248834 195149 504125 | 65049 0 -nan | 0.000 % | 73.89/73.98 c | 103 | 248834 195149 504125 | 71554 103 117 | 0.692 % | 74.20/74.20 c | 255 | 248831 195149 504125 | 78710 255 103 | 0.694 % | 74.50/74.51 c | 480 | 248831 195149 504125 | 86581 480 114 | 0.694 % | 74.81/74.88 c | 817 | 248831 195149 504125 | 95239 817 113 | 0.694 % | 75.70/75.72 c | 1323 | 248829 195149 504125 | 104763 1323 104 | 0.694 % | 76.69/76.77 c | 2082 | 248824 195149 504125 | 115239 2082 128 | 0.696 % | 77.39/77.42 c | 3221 | 248822 195149 504125 | 126763 3221 245 | 0.697 % | 78.59/78.65 c | 4929 | 248822 195149 504125 | 139439 4929 335 | 0.697 % | 80.79/80.86 c | 7492 | 248811 195149 504125 | 153383 7492 387 | 0.702 % | 84.49/84.55 c | 11337 | 248807 195149 504125 | 168722 11337 649 | 0.703 % | 92.59/92.61 c | 17103 | 248805 195149 504125 | 185594 17103 832 | 0.704 % | 106.00/106.09 c | 25755 | 248804 195149 504125 | 204153 25755 980 | 0.704 % | 129.81/129.89 c | 38729 | 248796 195149 504125 | 224569 38729 1049 | 0.708 % | 189.69/189.78 c | 58192 | 248790 195149 504125 | 247026 58192 1196 | 0.710 % | 338.60/338.70 c | 87384 | 248780 195149 504125 | 271728 87384 1309 | 0.714 % | 643.01/643.07 c | 131173 | 248777 195149 504125 | 298901 131173 1416 | 0.715 % | 695.22/695.25 c =============================================================================== 696.91/696.98 c core #439 696.91/696.98 c 696.91/696.98 c 696.91/696.98 c Core size: 20067 Core Weight: 1 Total Weight: 3309 696.91/696.98 c Current CPU time: 691.749 s 696.91/696.98 c 696.91/696.98 c ============================[ Search Statistics ]============================== 696.91/696.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 696.91/696.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 696.91/696.98 c =============================================================================== 696.91/696.98 c | 0 | 268910 199244 549694 | 66414 0 -nan | 0.000 % | 697.21/697.22 c | 100 | 268910 199244 549694 | 73056 100 95 | 0.637 % | 697.32/697.35 c | 250 | 268910 199244 549694 | 80361 250 81 | 0.637 % | 697.71/697.72 c | 476 | 268910 199244 549694 | 88397 476 58 | 0.637 % | 698.21/698.24 c | 817 | 268910 199244 549694 | 97237 817 62 | 0.637 % | 699.01/699.01 c | 1323 | 268910 199244 549694 | 106961 1323 84 | 0.637 % | 700.11/700.11 c | 2082 | 268910 199244 549694 | 117657 2082 191 | 0.637 % | 700.91/700.90 c | 3221 | 268904 199244 549694 | 129423 3221 300 | 0.639 % | 703.21/703.22 c | 4931 | 268903 199244 549694 | 142365 4931 310 | 0.639 % | 706.13/706.17 c | 7495 | 268898 199244 549694 | 156602 7495 340 | 0.641 % | 708.51/708.58 c | 11339 | 268893 199244 549694 | 172262 11339 454 | 0.643 % | 714.21/714.29 c | 17106 | 268887 199244 549694 | 189488 17106 615 | 0.645 % | 722.01/722.01 c | 25755 | 268882 199244 549694 | 208437 25755 758 | 0.647 % | 742.52/742.52 c | 38729 | 268879 199244 549694 | 229281 38729 924 | 0.648 % | 809.31/809.31 c | 58191 | 268877 199244 549694 | 252209 58191 1105 | 0.649 % | 1001.12/1001.18 c | 87383 | 268877 199244 549694 | 277430 87383 1286 | 0.649 % | 1184.52/1184.50 c | 131175 | 268874 199244 549694 | 305173 131175 1359 | 0.650 % | 1588.35/1588.35 c | 196860 | 268872 199244 549694 | 335690 196860 1456 | 0.651 % |
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3461335-1307072682/watcher-3461335-1307072682 -o /tmp/evaluation-result-3461335-1307072682/solver-3461335-1307072682 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461335-1307072682.opb running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.93 2.00 1.99 2/386 26016 /proc/meminfo: memFree=22782476/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=4392 CPUtime=0.01 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 934 0 0 0 1 0 0 0 25 0 1 0 818870972 4497408 857 33554432000 4194304 5714214 140737029733824 18446744073709551615 4360746 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 1098 858 174 372 0 723 0 [startup+0.022363 s] /proc/loadavg: 1.93 2.00 1.99 2/386 26016 /proc/meminfo: memFree=22782476/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=4752 CPUtime=0.02 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 1016 0 0 0 2 0 0 0 25 0 1 0 818870972 4866048 939 33554432000 4194304 5714214 140737029733824 18446744073709551615 4315489 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 1188 939 176 372 0 813 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4752 [startup+0.100349 s] /proc/loadavg: 1.93 2.00 1.99 2/386 26016 /proc/meminfo: memFree=22782476/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=8808 CPUtime=0.09 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 2246 0 0 0 9 0 0 0 25 0 1 0 818870972 9019392 1915 33554432000 4194304 5714214 140737029733824 18446744073709551615 4342291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 2202 1915 176 372 0 1827 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8808 [startup+0.300314 s] /proc/loadavg: 1.93 2.00 1.99 2/386 26016 /proc/meminfo: memFree=22782476/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=15764 CPUtime=0.29 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 5113 0 0 0 29 0 0 0 25 0 1 0 818870972 16142336 3670 33554432000 4194304 5714214 140737029733824 18446744073709551615 4742976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 3941 3670 176 372 0 3566 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15764 [startup+0.700247 s] /proc/loadavg: 1.93 2.00 1.99 2/386 26016 /proc/meminfo: memFree=22782476/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=24944 CPUtime=0.69 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 10224 0 0 0 68 1 0 0 25 0 1 0 818870972 25542656 5950 33554432000 4194304 5714214 140737029733824 18446744073709551615 4956403 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 6236 5950 176 372 0 5861 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24944 [startup+1.5011 s] /proc/loadavg: 1.93 2.00 1.99 3/387 26017 /proc/meminfo: memFree=22752584/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=42268 CPUtime=1.49 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 23760 0 0 0 147 2 0 0 25 0 1 0 818870972 43282432 10162 33554432000 4194304 5714214 140737029733824 18446744073709551615 5013808 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 10927 10184 176 372 0 10552 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42268 [startup+3.10082 s] /proc/loadavg: 1.93 2.00 1.99 3/387 26017 /proc/meminfo: memFree=22729672/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=68788 CPUtime=3.1 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 40125 0 0 0 297 13 0 0 25 0 1 0 818870972 70438912 16244 33554432000 4194304 5714214 140737029733824 18446744073709551615 4355624 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 17197 16244 179 372 0 16822 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 68788 [startup+6.30026 s] /proc/loadavg: 1.93 2.00 1.99 3/387 26017 /proc/meminfo: memFree=22693216/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=101884 CPUtime=6.29 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 60692 0 0 0 580 49 0 0 25 0 1 0 818870972 104329216 24364 33554432000 4194304 5714214 140737029733824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 25471 24364 179 372 0 25096 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 101884 [startup+12.7011 s] /proc/loadavg: 1.94 2.00 1.99 3/387 26017 /proc/meminfo: memFree=22634264/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=153636 CPUtime=12.69 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 100023 0 0 0 1123 146 0 0 25 0 1 0 818870972 157323264 37561 33554432000 4194304 5714214 140737029733824 18446744073709551615 4322907 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 38409 37561 180 372 0 38034 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 153636 [startup+25.5008 s] /proc/loadavg: 1.95 2.00 1.99 3/387 26017 /proc/meminfo: memFree=22573776/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=220876 CPUtime=25.49 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 140186 0 0 0 2256 293 0 0 25 0 1 0 818870972 226177024 54129 33554432000 4194304 5714214 140737029733824 18446744073709551615 4956360 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 55219 54129 180 372 0 54844 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 220876 [startup+51.1003 s] /proc/loadavg: 1.97 2.00 1.99 3/387 26020 /proc/meminfo: memFree=22530816/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=250664 CPUtime=51.09 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 160270 0 0 0 4725 384 0 0 22 0 1 0 818870972 256679936 62264 33554432000 4194304 5714214 140737029733824 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 62666 62264 180 372 0 62291 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 250664 [startup+102.314 s] /proc/loadavg: 2.14 2.03 2.01 3/387 26021 /proc/meminfo: memFree=22464176/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=309716 CPUtime=102.31 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 177407 0 0 0 9814 417 0 0 25 0 1 0 818870972 317149184 75623 33554432000 4194304 5714214 140737029733824 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 77429 75623 180 372 0 77054 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 309716 [startup+162.301 s] /proc/loadavg: 2.12 2.04 2.00 3/387 26023 /proc/meminfo: memFree=22353644/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=421116 CPUtime=162.3 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 205197 0 0 0 15800 430 0 0 25 0 1 0 818870972 431222784 103413 33554432000 4194304 5714214 140737029733824 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 105279 103413 180 372 0 104904 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 421116 [startup+222.301 s] /proc/loadavg: 2.04 2.03 2.00 3/387 26027 /proc/meminfo: memFree=22212844/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=524936 CPUtime=222.3 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 231051 0 0 0 21790 440 0 0 25 0 1 0 818870972 537534464 129267 33554432000 4194304 5714214 140737029733824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 131234 129267 180 372 0 130859 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 524936 [startup+282.3 s] /proc/loadavg: 2.01 2.02 2.00 3/387 26029 /proc/meminfo: memFree=22115200/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=595868 CPUtime=282.3 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 248727 0 0 0 27784 446 0 0 25 0 1 0 818870972 610168832 146943 33554432000 4194304 5714214 140737029733824 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 148967 146943 180 372 0 148592 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 595868 [startup+342.301 s] /proc/loadavg: 2.00 2.02 2.00 3/387 26031 /proc/meminfo: memFree=22039884/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=667756 CPUtime=342.3 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 266711 0 0 0 33776 454 0 0 25 0 1 0 818870972 683782144 164927 33554432000 4194304 5714214 140737029733824 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 166939 164927 180 372 0 166564 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 667756 [startup+402.301 s] /proc/loadavg: 2.04 2.03 2.00 3/387 26032 /proc/meminfo: memFree=21912504/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=743188 CPUtime=402.31 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 285433 0 0 0 39769 462 0 0 25 0 1 0 818870972 761024512 183649 33554432000 4194304 5714214 140737029733824 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 185797 183649 180 372 0 185422 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 743188 [startup+462.3 s] /proc/loadavg: 2.05 2.03 2.00 3/387 26034 /proc/meminfo: memFree=21835448/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=794216 CPUtime=462.3 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 298196 0 0 0 45762 468 0 0 25 0 1 0 818870972 813277184 196412 33554432000 4194304 5714214 140737029733824 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 198554 196412 180 372 0 198179 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 794216 [startup+522.301 s] /proc/loadavg: 2.02 2.02 2.00 3/387 26036 /proc/meminfo: memFree=21785168/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=845228 CPUtime=522.3 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 310883 0 0 0 51755 475 0 0 25 0 1 0 818870972 865513472 209099 33554432000 4194304 5714214 140737029733824 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 211307 209099 180 372 0 210932 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 845228 [startup+582.301 s] /proc/loadavg: 2.00 2.02 2.00 3/387 26037 /proc/meminfo: memFree=21732036/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=897540 CPUtime=582.3 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 323921 0 0 0 57749 481 0 0 25 0 1 0 818870972 919080960 222137 33554432000 4194304 5714214 140737029733824 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 224385 222137 180 372 0 224010 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 897540 [startup+642.3 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.02 2.03 2.00 3/387 26047 /proc/meminfo: memFree=21491256/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=1081012 CPUtime=822.31 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 374401 0 0 0 81708 523 0 0 25 0 1 0 818870972 1106956288 268701 33554432000 4194304 5714214 140737029733824 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 270253 268701 180 372 0 269878 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 1081012 [startup+882.301 s] /proc/loadavg: 2.01 2.02 2.00 3/387 26049 /proc/meminfo: memFree=21473712/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=1081012 CPUtime=882.31 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 374412 0 0 0 87706 525 0 0 25 0 1 0 818870972 1106956288 268712 33554432000 4194304 5714214 140737029733824 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 270253 268712 180 372 0 269878 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 1081012 [startup+942.3 s] /proc/loadavg: 2.05 2.03 2.00 3/387 26051 /proc/meminfo: memFree=21409420/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=1081012 CPUtime=942.31 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 374419 0 0 0 93704 527 0 0 25 0 1 0 818870972 1106956288 268719 33554432000 4194304 5714214 140737029733824 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 270253 268719 180 372 0 269878 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 1081012 [startup+1002.3 s] /proc/loadavg: 2.07 2.04 2.00 3/387 26063 /proc/meminfo: memFree=21410412/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=1081012 CPUtime=1002.32 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 374443 0 0 0 99701 531 0 0 25 0 1 0 818870972 1106956288 268743 33554432000 4194304 5714214 140737029733824 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 270253 268743 180 372 0 269878 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1081012 [startup+1062.3 s] /proc/loadavg: 2.02 2.03 2.00 3/387 26066 /proc/meminfo: memFree=21395804/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=1081012 CPUtime=1062.32 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 374474 0 0 0 105698 534 0 0 25 0 1 0 818870972 1106956288 268774 33554432000 4194304 5714214 140737029733824 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 270253 268774 180 372 0 269878 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1081012 [startup+1122.3 s] /proc/loadavg: 2.01 2.02 2.00 3/387 26068 /proc/meminfo: memFree=21352364/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=1081012 CPUtime=1122.32 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 374547 0 0 0 111695 537 0 0 25 0 1 0 818870972 1106956288 268847 33554432000 4194304 5714214 140737029733824 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 270253 268847 180 372 0 269878 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1081012 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 2.00 3/387 26072 /proc/meminfo: memFree=21351444/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=1081012 CPUtime=1182.32 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 374634 0 0 0 117692 540 0 0 25 0 1 0 818870972 1106956288 268934 33554432000 4194304 5714214 140737029733824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 270253 268934 180 372 0 269878 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1081012 [startup+1242.3 s] /proc/loadavg: 2.11 2.04 2.01 3/387 26074 /proc/meminfo: memFree=21350532/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=1081012 CPUtime=1242.33 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 374802 0 0 0 123689 544 0 0 25 0 1 0 818870972 1106956288 269102 33554432000 4194304 5714214 140737029733824 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 270253 269102 180 372 0 269878 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1081012 [startup+1302.3 s] /proc/loadavg: 2.09 2.05 2.01 3/387 26076 /proc/meminfo: memFree=21298756/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=1092732 CPUtime=1302.34 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 378014 0 0 0 129685 549 0 0 25 0 1 0 818870972 1118957568 272314 33554432000 4194304 5714214 140737029733824 18446744073709551615 4322711 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 273183 272314 180 372 0 272808 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 1092732 [startup+1362.3 s] /proc/loadavg: 2.03 2.03 2.00 3/387 26077 /proc/meminfo: memFree=21152512/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=1167172 CPUtime=1362.32 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 396564 0 0 0 135675 557 0 0 25 0 1 0 818870972 1195184128 290864 33554432000 4194304 5714214 140737029733824 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 291793 290864 180 372 0 291418 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1167172 [startup+1422.31 s] /proc/loadavg: 2.01 2.03 2.00 3/387 26079 /proc/meminfo: memFree=21025596/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=1250016 CPUtime=1422.34 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 417261 0 0 0 141669 565 0 0 25 0 1 0 818870972 1280016384 311561 33554432000 4194304 5714214 140737029733824 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 312504 311561 180 372 0 312129 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 1250016 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/387 26080 /proc/meminfo: memFree=20982124/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=1293816 CPUtime=1482.33 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 428085 0 0 0 147663 570 0 0 25 0 1 0 818870972 1324867584 322385 33554432000 4194304 5714214 140737029733824 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 323454 322385 180 372 0 323079 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1293816 [startup+1542.3 s] /proc/loadavg: 2.07 2.03 2.00 3/387 26082 /proc/meminfo: memFree=20949948/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=1326216 CPUtime=1542.33 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 436019 0 0 0 153659 574 0 0 25 0 1 0 818870972 1358045184 330319 33554432000 4194304 5714214 140737029733824 18446744073709551615 4319440 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 331554 330319 180 372 0 331179 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1326216 [startup+1602.3 s] /proc/loadavg: 2.02 2.02 2.00 3/387 26083 /proc/meminfo: memFree=20894224/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=1382076 CPUtime=1602.33 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 449950 0 0 0 159653 580 0 0 25 0 1 0 818870972 1415245824 344250 33554432000 4194304 5714214 140737029733824 18446744073709551615 4319414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 345519 344250 180 372 0 345144 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1382076 [startup+1662.3 s] /proc/loadavg: 2.01 2.02 2.00 3/387 26085 /proc/meminfo: memFree=20838372/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=1409932 CPUtime=1662.34 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 456848 0 0 0 165650 584 0 0 25 0 1 0 818870972 1443770368 351148 33554432000 4194304 5714214 140737029733824 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 352483 351148 180 372 0 352108 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1409932 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/387 26088 /proc/meminfo: memFree=20779540/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=1445076 CPUtime=1722.34 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 465596 0 0 0 171645 589 0 0 25 0 1 0 818870972 1479757824 359896 33554432000 4194304 5714214 140737029733824 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 361269 359896 180 372 0 360894 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 1445076 [startup+1782.3 s] /proc/loadavg: 2.08 2.02 2.01 3/387 26151 /proc/meminfo: memFree=22357664/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=1465404 CPUtime=1782.34 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 470474 0 0 0 177642 592 0 0 25 0 1 0 818870972 1500573696 364774 33554432000 4194304 5714214 140737029733824 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 366351 364774 180 372 0 365976 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 1465404 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.06 2.02 2.00 3/387 26152 /proc/meminfo: memFree=22352796/32951124 swapFree=49244120/67111528 [pid=26016] ppid=26014 vsize=1470996 CPUtime=1800.05 cores=1,3,5,7 /proc/26016/stat : 26016 (wbo1.6) R 26014 26016 23490 0 -1 4202496 471868 0 0 0 179412 593 0 0 25 0 1 0 818870972 1506299904 366168 33554432000 4194304 5714214 140737029733824 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26016/statm: 367749 366168 180 372 0 367374 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1470996 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.08 CPU time (s): 1800.12 CPU user time (s): 1794.12 CPU system time (s): 6.00009 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1470996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.12 system time used= 6.00009 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 471868 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= 12 involuntary context switches= 3739 runsolver used 7.05593 second user time and 15.5316 second system time The end
Begin job on node101 at 2011-06-03 05:44:42 IDJOB=3461335 IDBENCH=1851 IDSOLVER=1953 FILE ID=node101/3461335-1307072682 RUNJOBID= node101-1307066208-24304 PBS_JOBID= 13497887 Free space on /tmp= 73916 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461335-1307072682/watcher-3461335-1307072682 -o /tmp/evaluation-result-3461335-1307072682/solver-3461335-1307072682 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461335-1307072682.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0155c0c96434984f6ded6bb7ada20c0c RANDOM SEED=1549639478 node101.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 22782756 kB Buffers: 219780 kB Cached: 489672 kB SwapCached: 27120 kB Active: 9474864 kB Inactive: 415356 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 22782756 kB SwapTotal: 67111528 kB SwapFree: 49244120 kB Dirty: 4296 kB Writeback: 0 kB AnonPages: 9175708 kB Mapped: 18584 kB Slab: 134108 kB PageTables: 76876 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 79660108 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73944 MiB End job on node101 at 2011-06-03 06:14:44