Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.11 | 1800.04 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-hanoi4.opb |
MD5SUM | 021af4766a0acbaabce7af3e32b61bf4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 718 |
Best CPU time to get the best result obtained on this benchmark | 0.127979 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 718 |
Optimality of the best value was proved | YES |
Number of variables | 1436 |
Total number of constraints | 5652 |
Number of constraints which are clauses | 5652 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 7 |
Number of terms in the objective function | 1436 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1436 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1436 |
Number of bits of the biggest sum of numbers | 11 |
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-3461451-1307091144.opb. 0.00/0.00 c Instance file HOME/instance-3461451-1307091144.opb 0.00/0.00 c File size is 164498 bytes. 0.00/0.01 c Highest Coefficient sum: 8 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: 1436 | 0.00/0.01 c | Number Clauses: 5652 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 1082 5652 13139 | 5000 0 -nan | 0.000 % | 0.00/0.07 c core #1 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 2 Core Weight: 4 Total Weight: 181 0.00/0.07 c Current CPU time: 0.012998 s 0.00/0.07 c 0.00/0.07 c core #2 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 2 Core Weight: 2 Total Weight: 183 0.00/0.07 c Current CPU time: 0.014997 s 0.00/0.07 c 0.00/0.07 c core #3 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 2 Core Weight: 2 Total Weight: 185 0.00/0.07 c Current CPU time: 0.015997 s 0.00/0.07 c 0.00/0.07 c core #4 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 2 Core Weight: 2 Total Weight: 187 0.00/0.07 c Current CPU time: 0.016997 s 0.00/0.07 c 0.00/0.07 c core #5 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 2 Core Weight: 2 Total Weight: 189 0.00/0.07 c Current CPU time: 0.017997 s 0.00/0.07 c 0.00/0.07 c core #6 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 2 Core Weight: 2 Total Weight: 191 0.00/0.07 c Current CPU time: 0.019996 s 0.00/0.07 c 0.00/0.07 c core #7 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 192 0.00/0.07 c Current CPU time: 0.020996 s 0.00/0.07 c 0.00/0.07 c core #8 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 5 Core Weight: 1 Total Weight: 193 0.00/0.07 c Current CPU time: 0.021996 s 0.00/0.07 c 0.00/0.07 c core #9 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 5 Core Weight: 1 Total Weight: 194 0.00/0.07 c Current CPU time: 0.023996 s 0.00/0.07 c 0.00/0.07 c core #10 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 6 Core Weight: 1 Total Weight: 195 0.00/0.07 c Current CPU time: 0.024996 s 0.00/0.07 c 0.00/0.07 c core #11 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 5 Core Weight: 1 Total Weight: 196 0.00/0.07 c Current CPU time: 0.025996 s 0.00/0.07 c 0.00/0.07 c core #12 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 197 0.00/0.07 c Current CPU time: 0.027995 s 0.00/0.07 c 0.00/0.07 c core #13 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 11 Core Weight: 1 Total Weight: 198 0.00/0.07 c Current CPU time: 0.028995 s 0.00/0.07 c 0.00/0.07 c core #14 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 199 0.00/0.07 c Current CPU time: 0.029995 s 0.00/0.07 c 0.00/0.07 c core #15 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 200 0.00/0.07 c Current CPU time: 0.031995 s 0.00/0.07 c 0.00/0.07 c core #16 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 201 0.00/0.07 c Current CPU time: 0.032994 s 0.00/0.07 c 0.00/0.07 c core #17 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 202 0.00/0.07 c Current CPU time: 0.033994 s 0.00/0.07 c 0.00/0.07 c core #18 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 203 0.00/0.07 c Current CPU time: 0.035994 s 0.00/0.07 c 0.00/0.07 c core #19 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 204 0.00/0.07 c Current CPU time: 0.036994 s 0.00/0.07 c 0.00/0.07 c core #20 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 205 0.00/0.07 c Current CPU time: 0.037994 s 0.00/0.07 c 0.00/0.07 c core #21 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 206 0.00/0.07 c Current CPU time: 0.039993 s 0.00/0.07 c 0.00/0.07 c core #22 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 207 0.00/0.07 c Current CPU time: 0.040993 s 0.00/0.07 c 0.00/0.07 c core #23 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 208 0.00/0.07 c Current CPU time: 0.041993 s 0.00/0.07 c 0.00/0.07 c core #24 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 10 Core Weight: 1 Total Weight: 209 0.00/0.07 c Current CPU time: 0.043993 s 0.00/0.07 c 0.00/0.07 c core #25 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 7 Core Weight: 1 Total Weight: 210 0.00/0.07 c Current CPU time: 0.044993 s 0.00/0.07 c 0.00/0.07 c core #26 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 211 0.00/0.07 c Current CPU time: 0.046992 s 0.00/0.07 c 0.00/0.07 c core #27 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 212 0.00/0.07 c Current CPU time: 0.047992 s 0.00/0.07 c 0.00/0.07 c core #28 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 213 0.00/0.07 c Current CPU time: 0.048992 s 0.00/0.07 c 0.00/0.07 c core #29 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 214 0.00/0.07 c Current CPU time: 0.050992 s 0.00/0.07 c 0.00/0.07 c core #30 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 215 0.00/0.07 c Current CPU time: 0.051992 s 0.00/0.07 c 0.00/0.07 c core #31 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 216 0.00/0.07 c Current CPU time: 0.052991 s 0.00/0.07 c 0.00/0.07 c core #32 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 217 0.00/0.07 c Current CPU time: 0.054991 s 0.00/0.07 c 0.00/0.07 c core #33 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 218 0.00/0.07 c Current CPU time: 0.055991 s 0.00/0.07 c 0.00/0.07 c core #34 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 219 0.00/0.07 c Current CPU time: 0.057991 s 0.00/0.07 c 0.00/0.07 c core #35 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 220 0.00/0.07 c Current CPU time: 0.058991 s 0.00/0.07 c 0.00/0.07 c core #36 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 221 0.00/0.07 c Current CPU time: 0.05999 s 0.00/0.07 c 0.00/0.07 c core #37 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 222 0.00/0.07 c Current CPU time: 0.06199 s 0.00/0.07 c 0.00/0.07 c core #38 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 223 0.00/0.07 c Current CPU time: 0.06299 s 0.00/0.07 c 0.00/0.07 c core #39 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 224 0.00/0.07 c Current CPU time: 0.06499 s 0.00/0.07 c 0.00/0.07 c core #40 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 225 0.00/0.07 c Current CPU time: 0.065989 s 0.00/0.07 c 0.00/0.07 c core #41 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 226 0.00/0.07 c Current CPU time: 0.066989 s 0.00/0.07 c 0.00/0.07 c core #42 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 227 0.00/0.07 c Current CPU time: 0.068989 s 0.09/0.13 c 0.09/0.13 c core #43 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 228 0.09/0.13 c Current CPU time: 0.069989 s 0.09/0.13 c 0.09/0.13 c core #44 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 229 0.09/0.13 c Current CPU time: 0.071989 s 0.09/0.13 c 0.09/0.13 c core #45 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 230 0.09/0.13 c Current CPU time: 0.072988 s 0.09/0.13 c 0.09/0.13 c core #46 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 231 0.09/0.13 c Current CPU time: 0.073988 s 0.09/0.13 c 0.09/0.13 c core #47 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 232 0.09/0.13 c Current CPU time: 0.075988 s 0.09/0.13 c 0.09/0.13 c core #48 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 233 0.09/0.13 c Current CPU time: 0.076988 s 0.09/0.13 c 0.09/0.13 c core #49 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 234 0.09/0.13 c Current CPU time: 0.078987 s 0.09/0.13 c 0.09/0.13 c core #50 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 235 0.09/0.13 c Current CPU time: 0.079987 s 0.09/0.13 c 0.09/0.13 c core #51 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 236 0.09/0.13 c Current CPU time: 0.080987 s 0.09/0.13 c 0.09/0.13 c core #52 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 237 0.09/0.13 c Current CPU time: 0.082987 s 0.09/0.13 c 0.09/0.13 c core #53 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 8 Core Weight: 1 Total Weight: 238 0.09/0.13 c Current CPU time: 0.083987 s 0.09/0.13 c 0.09/0.13 c core #54 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 239 0.09/0.13 c Current CPU time: 0.085986 s 0.09/0.13 c 0.09/0.13 c core #55 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 240 0.09/0.13 c Current CPU time: 0.086986 s 0.09/0.13 c 0.09/0.13 c core #56 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 241 0.09/0.13 c Current CPU time: 0.088986 s 0.09/0.13 c 0.09/0.13 c core #57 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 242 0.09/0.13 c Current CPU time: 0.089986 s 0.09/0.13 c 0.09/0.13 c core #58 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 243 0.09/0.13 c Current CPU time: 0.091986 s 0.09/0.13 c 0.09/0.13 c core #59 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 244 0.09/0.13 c Current CPU time: 0.092985 s 0.09/0.13 c 0.09/0.13 c core #60 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 245 0.09/0.13 c Current CPU time: 0.093985 s 0.09/0.13 c 0.09/0.13 c core #61 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 246 0.09/0.13 c Current CPU time: 0.094985 s 0.09/0.13 c 0.09/0.13 c core #62 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 247 0.09/0.13 c Current CPU time: 0.095985 s 0.09/0.13 c 0.09/0.13 c core #63 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 248 0.09/0.13 c Current CPU time: 0.097985 s 0.09/0.13 c 0.09/0.13 c core #64 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 249 0.09/0.13 c Current CPU time: 0.098984 s 0.09/0.13 c 0.09/0.13 c core #65 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 250 0.09/0.13 c Current CPU time: 0.100984 s 0.09/0.13 c 0.09/0.13 c core #66 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 251 0.09/0.13 c Current CPU time: 0.101984 s 0.09/0.13 c 0.09/0.13 c core #67 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 252 0.09/0.13 c Current CPU time: 0.103984 s 0.09/0.13 c 0.09/0.13 c core #68 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 253 0.09/0.13 c Current CPU time: 0.104984 s 0.09/0.13 c 0.09/0.13 c core #69 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 254 0.09/0.13 c Current CPU time: 0.106983 s 0.09/0.13 c 0.09/0.13 c core #70 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 255 0.09/0.13 c Current CPU time: 0.107983 s 0.09/0.13 c 0.09/0.13 c core #71 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 256 0.09/0.13 c Current CPU time: 0.109983 s 0.09/0.13 c 0.09/0.13 c core #72 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 257 0.09/0.13 c Current CPU time: 0.110983 s 0.09/0.13 c 0.09/0.13 c core #73 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 258 0.09/0.13 c Current CPU time: 0.112982 s 0.09/0.13 c 0.09/0.13 c core #74 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 8 Core Weight: 1 Total Weight: 259 0.09/0.13 c Current CPU time: 0.113982 s 0.09/0.13 c 0.09/0.13 c core #75 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 260 0.09/0.13 c Current CPU time: 0.115982 s 0.09/0.13 c 0.09/0.13 c core #76 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 261 0.09/0.13 c Current CPU time: 0.116982 s 0.09/0.13 c 0.09/0.13 c core #77 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 262 0.09/0.13 c Current CPU time: 0.118981 s 0.09/0.13 c 0.09/0.13 c core #78 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 263 0.09/0.13 c Current CPU time: 0.119981 s 0.09/0.13 c 0.09/0.13 c core #79 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 264 0.09/0.13 c Current CPU time: 0.121981 s 0.09/0.13 c 0.09/0.13 c core #80 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 265 0.09/0.13 c Current CPU time: 0.122981 s 0.09/0.13 c 0.09/0.13 c core #81 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 266 0.09/0.13 c Current CPU time: 0.124981 s 0.09/0.13 c 0.09/0.13 c core #82 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 267 0.09/0.13 c Current CPU time: 0.12598 s 0.09/0.13 c 0.09/0.13 c core #83 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 268 0.09/0.13 c Current CPU time: 0.12798 s 0.09/0.13 c 0.09/0.13 c core #84 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 269 0.09/0.13 c Current CPU time: 0.12898 s 0.09/0.19 c 0.09/0.19 c core #85 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 270 0.09/0.19 c Current CPU time: 0.13098 s 0.09/0.19 c 0.09/0.19 c core #86 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 271 0.09/0.19 c Current CPU time: 0.132979 s 0.09/0.19 c 0.09/0.19 c core #87 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 272 0.09/0.19 c Current CPU time: 0.133979 s 0.09/0.19 c 0.09/0.19 c core #88 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 273 0.09/0.19 c Current CPU time: 0.135979 s 0.09/0.19 c 0.09/0.19 c core #89 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 274 0.09/0.19 c Current CPU time: 0.136979 s 0.09/0.19 c 0.09/0.19 c core #90 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 275 0.09/0.19 c Current CPU time: 0.138978 s 0.09/0.19 c 0.09/0.19 c core #91 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 276 0.09/0.19 c Current CPU time: 0.139978 s 0.09/0.19 c 0.09/0.19 c core #92 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 277 0.09/0.19 c Current CPU time: 0.141978 s 0.09/0.19 c 0.09/0.19 c core #93 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 278 0.09/0.19 c Current CPU time: 0.142978 s 0.09/0.19 c 0.09/0.19 c core #94 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 279 0.09/0.19 c Current CPU time: 0.144977 s 0.09/0.19 c 0.09/0.19 c core #95 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 8 Core Weight: 1 Total Weight: 280 0.09/0.19 c Current CPU time: 0.146977 s 0.09/0.19 c 0.09/0.19 c core #96 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 281 0.09/0.19 c Current CPU time: 0.147977 s 0.09/0.19 c 0.09/0.19 c core #97 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 282 0.09/0.19 c Current CPU time: 0.149977 s 0.09/0.19 c 0.09/0.19 c core #98 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 283 0.09/0.19 c Current CPU time: 0.150977 s 0.09/0.19 c 0.09/0.19 c core #99 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 284 0.09/0.19 c Current CPU time: 0.152976 s 0.09/0.19 c 0.09/0.19 c core #100 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 285 0.09/0.19 c Current CPU time: 0.153976 s 0.09/0.19 c 0.09/0.19 c core #101 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 286 0.09/0.19 c Current CPU time: 0.155976 s 0.09/0.19 c 0.09/0.19 c core #102 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 287 0.09/0.19 c Current CPU time: 0.157975 s 0.09/0.19 c 0.09/0.19 c core #103 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 288 0.09/0.19 c Current CPU time: 0.158975 s 0.09/0.19 c 0.09/0.19 c core #104 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 289 0.09/0.19 c Current CPU time: 0.160975 s 0.09/0.19 c 0.09/0.19 c core #105 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 290 0.09/0.19 c Current CPU time: 0.161975 s 0.09/0.19 c 0.09/0.19 c core #106 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 291 0.09/0.19 c Current CPU time: 0.163975 s 0.09/0.19 c 0.09/0.19 c core #107 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 292 0.09/0.19 c Current CPU time: 0.165974 s 0.09/0.19 c 0.09/0.19 c core #108 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 293 0.09/0.19 c Current CPU time: 0.166974 s 0.09/0.19 c 0.09/0.19 c core #109 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 294 0.09/0.19 c Current CPU time: 0.168974 s 0.09/0.19 c 0.09/0.19 c core #110 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 295 0.09/0.19 c Current CPU time: 0.169974 s 0.09/0.19 c 0.09/0.19 c core #111 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 296 0.09/0.19 c Current CPU time: 0.171973 s 0.09/0.19 c 0.09/0.19 c core #112 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 297 0.09/0.19 c Current CPU time: 0.173973 s 0.09/0.19 c 0.09/0.19 c core #113 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 298 0.09/0.19 c Current CPU time: 0.174973 s 0.09/0.19 c 0.09/0.19 c core #114 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 299 0.09/0.19 c Current CPU time: 0.176973 s 0.09/0.19 c 0.09/0.19 c core #115 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 300 0.09/0.19 c Current CPU time: 0.177972 s 0.09/0.19 c 0.09/0.19 c core #116 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 8 Core Weight: 1 Total Weight: 301 0.09/0.19 c Current CPU time: 0.179972 s 0.09/0.19 c 0.09/0.19 c core #117 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 302 0.09/0.19 c Current CPU time: 0.181972 s 0.09/0.19 c 0.09/0.19 c core #118 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 303 0.09/0.19 c Current CPU time: 0.182972 s 0.09/0.19 c 0.09/0.19 c core #119 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 304 0.09/0.19 c Current CPU time: 0.184971 s 0.09/0.19 c 0.09/0.19 c core #120 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 305 0.09/0.19 c Current CPU time: 0.186971 s 0.09/0.19 c 0.09/0.19 c core #121 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 306 0.09/0.19 c Current CPU time: 0.187971 s 0.09/0.19 c 0.09/0.19 c core #122 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 307 0.09/0.19 c Current CPU time: 0.189971 s 0.09/0.19 c 0.09/0.19 c core #123 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 308 0.09/0.19 c Current CPU time: 0.19097 s 0.09/0.19 c 0.09/0.19 c core #124 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 309 0.09/0.19 c Current CPU time: 0.19297 s 0.09/0.19 c 0.09/0.19 c core #125 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 310 0.09/0.19 c Current CPU time: 0.19497 s 0.09/0.19 c 0.09/0.19 c core #126 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 311 0.19/0.27 c Current CPU time: 0.19697 s 0.19/0.27 c 0.19/0.27 c core #127 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 312 0.19/0.27 c Current CPU time: 0.197969 s 0.19/0.27 c 0.19/0.27 c core #128 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 313 0.19/0.27 c Current CPU time: 0.198969 s 0.19/0.27 c 0.19/0.27 c core #129 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 314 0.19/0.27 c Current CPU time: 0.200969 s 0.19/0.27 c 0.19/0.27 c core #130 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 315 0.19/0.27 c Current CPU time: 0.201969 s 0.19/0.27 c 0.19/0.27 c core #131 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 316 0.19/0.27 c Current CPU time: 0.203968 s 0.19/0.27 c 0.19/0.27 c core #132 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 317 0.19/0.27 c Current CPU time: 0.205968 s 0.19/0.27 c 0.19/0.27 c core #133 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 318 0.19/0.27 c Current CPU time: 0.206968 s 0.19/0.27 c 0.19/0.27 c core #134 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 319 0.19/0.27 c Current CPU time: 0.208968 s 0.19/0.27 c 0.19/0.27 c core #135 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 320 0.19/0.27 c Current CPU time: 0.210967 s 0.19/0.27 c 0.19/0.27 c core #136 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 321 0.19/0.27 c Current CPU time: 0.211967 s 0.19/0.27 c 0.19/0.27 c core #137 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 8 Core Weight: 1 Total Weight: 322 0.19/0.27 c Current CPU time: 0.213967 s 0.19/0.27 c 0.19/0.27 c core #138 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 323 0.19/0.27 c Current CPU time: 0.215967 s 0.19/0.27 c 0.19/0.27 c core #139 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 324 0.19/0.27 c Current CPU time: 0.216967 s 0.19/0.27 c 0.19/0.27 c core #140 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 325 0.19/0.27 c Current CPU time: 0.218966 s 0.19/0.27 c 0.19/0.27 c core #141 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 326 0.19/0.27 c Current CPU time: 0.220966 s 0.19/0.27 c 0.19/0.27 c core #142 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 327 0.19/0.27 c Current CPU time: 0.222966 s 0.19/0.27 c 0.19/0.27 c core #143 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 328 0.19/0.27 c Current CPU time: 0.223965 s 0.19/0.27 c 0.19/0.27 c core #144 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 329 0.19/0.27 c Current CPU time: 0.225965 s 0.19/0.27 c 0.19/0.27 c core #145 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 330 0.19/0.27 c Current CPU time: 0.227965 s 0.19/0.27 c 0.19/0.27 c core #146 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 331 0.19/0.27 c Current CPU time: 0.228965 s 0.19/0.27 c 0.19/0.27 c core #147 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 332 0.19/0.27 c Current CPU time: 0.230964 s 0.19/0.27 c 0.19/0.27 c core #148 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 333 0.19/0.27 c Current CPU time: 0.232964 s 0.19/0.27 c 0.19/0.27 c core #149 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 334 0.19/0.27 c Current CPU time: 0.234964 s 0.19/0.27 c 0.19/0.27 c core #150 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 335 0.19/0.27 c Current CPU time: 0.235964 s 0.19/0.27 c 0.19/0.27 c core #151 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 336 0.19/0.27 c Current CPU time: 0.237963 s 0.19/0.27 c 0.19/0.27 c core #152 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 337 0.19/0.27 c Current CPU time: 0.239963 s 0.19/0.27 c 0.19/0.27 c core #153 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 338 0.19/0.27 c Current CPU time: 0.241963 s 0.19/0.27 c 0.19/0.27 c core #154 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 339 0.19/0.27 c Current CPU time: 0.242963 s 0.19/0.27 c 0.19/0.27 c core #155 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 340 0.19/0.27 c Current CPU time: 0.244962 s 0.19/0.27 c 0.19/0.27 c core #156 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 341 0.19/0.27 c Current CPU time: 0.246962 s 0.19/0.27 c 0.19/0.27 c core #157 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 342 0.19/0.27 c Current CPU time: 0.248962 s 0.19/0.27 c 0.19/0.27 c core #158 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 8 Core Weight: 1 Total Weight: 343 0.19/0.27 c Current CPU time: 0.249962 s 0.19/0.27 c 0.19/0.27 c core #159 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 344 0.19/0.27 c Current CPU time: 0.251961 s 0.19/0.27 c 0.19/0.27 c core #160 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 345 0.19/0.27 c Current CPU time: 0.253961 s 0.19/0.27 c 0.19/0.27 c core #161 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 346 0.19/0.27 c Current CPU time: 0.255961 s 0.19/0.27 c 0.19/0.27 c core #162 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 347 0.19/0.27 c Current CPU time: 0.25796 s 0.19/0.27 c 0.19/0.27 c core #163 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 348 0.19/0.27 c Current CPU time: 0.25896 s 0.19/0.27 c 0.19/0.27 c core #164 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 349 0.19/0.27 c Current CPU time: 0.26096 s 0.19/0.27 c 0.19/0.27 c core #165 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 350 0.19/0.27 c Current CPU time: 0.26296 s 0.19/0.27 c 0.19/0.27 c core #166 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 351 0.19/0.27 c Current CPU time: 0.264959 s 0.19/0.27 c 0.19/0.27 c core #167 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 352 0.19/0.27 c Current CPU time: 0.266959 s 0.29/0.35 c 0.29/0.35 c core #168 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 353 0.29/0.35 c Current CPU time: 0.267959 s 0.29/0.35 c 0.29/0.35 c core #169 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 354 0.29/0.35 c Current CPU time: 0.269958 s 0.29/0.35 c 0.29/0.35 c core #170 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 355 0.29/0.35 c Current CPU time: 0.271958 s 0.29/0.35 c 0.29/0.35 c core #171 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 356 0.29/0.35 c Current CPU time: 0.273958 s 0.29/0.35 c 0.29/0.35 c core #172 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 357 0.29/0.35 c Current CPU time: 0.275958 s 0.29/0.35 c 0.29/0.35 c core #173 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 358 0.29/0.35 c Current CPU time: 0.277957 s 0.29/0.35 c 0.29/0.35 c core #174 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 359 0.29/0.35 c Current CPU time: 0.278957 s 0.29/0.35 c 0.29/0.35 c core #175 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 360 0.29/0.35 c Current CPU time: 0.280957 s 0.29/0.35 c 0.29/0.35 c core #176 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 361 0.29/0.35 c Current CPU time: 0.282956 s 0.29/0.35 c 0.29/0.35 c core #177 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 362 0.29/0.35 c Current CPU time: 0.284956 s 0.29/0.35 c 0.29/0.35 c core #178 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 363 0.29/0.35 c Current CPU time: 0.286956 s 0.29/0.35 c 0.29/0.35 c core #179 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 8 Core Weight: 1 Total Weight: 364 0.29/0.35 c Current CPU time: 0.288956 s 0.29/0.35 c 0.29/0.35 c core #180 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 365 0.29/0.35 c Current CPU time: 0.290955 s 0.29/0.35 c 0.29/0.35 c core #181 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 366 0.29/0.35 c Current CPU time: 0.291955 s 0.29/0.35 c 0.29/0.35 c core #182 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 367 0.29/0.35 c Current CPU time: 0.293955 s 0.29/0.35 c 0.29/0.35 c core #183 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 368 0.29/0.35 c Current CPU time: 0.295955 s 0.29/0.35 c 0.29/0.35 c core #184 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 369 0.29/0.35 c Current CPU time: 0.297954 s 0.29/0.35 c 0.29/0.35 c core #185 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 370 0.29/0.35 c Current CPU time: 0.299954 s 0.29/0.35 c 0.29/0.35 c core #186 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 371 0.29/0.35 c Current CPU time: 0.301954 s 0.29/0.35 c 0.29/0.35 c core #187 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 372 0.29/0.35 c Current CPU time: 0.303953 s 0.29/0.35 c 0.29/0.35 c core #188 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 373 0.29/0.35 c Current CPU time: 0.305953 s 0.29/0.35 c 0.29/0.35 c core #189 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 374 0.29/0.35 c Current CPU time: 0.307953 s 0.29/0.35 c 0.29/0.35 c core #190 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 375 0.29/0.35 c Current CPU time: 0.308953 s 0.29/0.35 c 0.29/0.35 c core #191 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 376 0.29/0.35 c Current CPU time: 0.310952 s 0.29/0.35 c 0.29/0.35 c core #192 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 377 0.29/0.35 c Current CPU time: 0.312952 s 0.29/0.35 c 0.29/0.35 c core #193 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 378 0.29/0.35 c Current CPU time: 0.314952 s 0.29/0.35 c 0.29/0.35 c core #194 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 379 0.29/0.35 c Current CPU time: 0.316951 s 0.29/0.35 c 0.29/0.35 c core #195 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 380 0.29/0.35 c Current CPU time: 0.318951 s 0.29/0.35 c 0.29/0.35 c core #196 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 381 0.29/0.35 c Current CPU time: 0.320951 s 0.29/0.35 c 0.29/0.35 c core #197 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 382 0.29/0.35 c Current CPU time: 0.32295 s 0.29/0.35 c 0.29/0.35 c core #198 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 383 0.29/0.35 c Current CPU time: 0.32495 s 0.29/0.35 c 0.29/0.35 c core #199 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 384 0.29/0.35 c Current CPU time: 0.32695 s 0.29/0.35 c 0.29/0.35 c core #200 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 8 Core Weight: 1 Total Weight: 385 0.29/0.35 c Current CPU time: 0.328949 s 0.29/0.35 c 0.29/0.35 c core #201 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 386 0.29/0.35 c Current CPU time: 0.330949 s 0.29/0.35 c 0.29/0.35 c core #202 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 387 0.29/0.35 c Current CPU time: 0.332949 s 0.29/0.35 c 0.29/0.35 c core #203 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 388 0.29/0.35 c Current CPU time: 0.334949 s 0.29/0.35 c 0.29/0.35 c core #204 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 389 0.29/0.35 c Current CPU time: 0.336948 s 0.29/0.35 c 0.29/0.35 c core #205 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 390 0.29/0.35 c Current CPU time: 0.338948 s 0.29/0.35 c 0.29/0.35 c core #206 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 391 0.29/0.35 c Current CPU time: 0.340948 s 0.29/0.35 c 0.29/0.35 c core #207 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 392 0.29/0.35 c Current CPU time: 0.342947 s 0.29/0.35 c 0.29/0.35 c core #208 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 393 0.29/0.35 c Current CPU time: 0.344947 s 0.29/0.35 c 0.29/0.35 c core #209 0.29/0.35 c 0.39/0.43 c 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 394 0.39/0.43 c Current CPU time: 0.346947 s 0.39/0.43 c 0.39/0.43 c core #210 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 395 0.39/0.43 c Current CPU time: 0.348946 s 0.39/0.43 c 0.39/0.43 c core #211 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 396 0.39/0.43 c Current CPU time: 0.350946 s 0.39/0.43 c 0.39/0.43 c core #212 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: 397 0.39/0.43 c Current CPU time: 0.352946 s 0.39/0.43 c 0.39/0.43 c core #213 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: 398 0.39/0.43 c Current CPU time: 0.354946 s 0.39/0.43 c 0.39/0.43 c core #214 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: 399 0.39/0.43 c Current CPU time: 0.356945 s 0.39/0.43 c 0.39/0.43 c core #215 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: 400 0.39/0.43 c Current CPU time: 0.358945 s 0.39/0.43 c 0.39/0.43 c core #216 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: 401 0.39/0.43 c Current CPU time: 0.360945 s 0.39/0.43 c 0.39/0.43 c core #217 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: 402 0.39/0.43 c Current CPU time: 0.362944 s 0.39/0.43 c 0.39/0.43 c core #218 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: 403 0.39/0.43 c Current CPU time: 0.364944 s 0.39/0.43 c 0.39/0.43 c core #219 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: 404 0.39/0.43 c Current CPU time: 0.366944 s 0.39/0.43 c 0.39/0.43 c core #220 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: 405 0.39/0.43 c Current CPU time: 0.368943 s 0.39/0.43 c 0.39/0.43 c core #221 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 8 Core Weight: 1 Total Weight: 406 0.39/0.43 c Current CPU time: 0.370943 s 0.39/0.43 c 0.39/0.43 c core #222 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 407 0.39/0.43 c Current CPU time: 0.372943 s 0.39/0.43 c 0.39/0.43 c core #223 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 408 0.39/0.43 c Current CPU time: 0.374943 s 0.39/0.43 c 0.39/0.43 c core #224 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 409 0.39/0.43 c Current CPU time: 0.376942 s 0.39/0.43 c 0.39/0.43 c core #225 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: 410 0.39/0.43 c Current CPU time: 0.378942 s 0.39/0.43 c 0.39/0.43 c core #226 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 411 0.39/0.43 c Current CPU time: 0.381941 s 0.39/0.43 c 0.39/0.43 c core #227 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: 412 0.39/0.43 c Current CPU time: 0.383941 s 0.39/0.43 c 0.39/0.43 c core #228 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 413 0.39/0.43 c Current CPU time: 0.385941 s 0.39/0.43 c 0.39/0.43 c core #229 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 414 0.39/0.43 c Current CPU time: 0.387941 s 0.39/0.43 c 0.39/0.43 c core #230 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 415 0.39/0.43 c Current CPU time: 0.38994 s 0.39/0.43 c 0.39/0.43 c core #231 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 416 0.39/0.43 c Current CPU time: 0.39194 s 0.39/0.43 c 0.39/0.43 c core #232 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 417 0.39/0.43 c Current CPU time: 0.39394 s 0.39/0.43 c 0.39/0.43 c core #233 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: 418 0.39/0.43 c Current CPU time: 0.395939 s 0.39/0.43 c 0.39/0.43 c core #234 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: 419 0.39/0.43 c Current CPU time: 0.397939 s 0.39/0.43 c 0.39/0.43 c core #235 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: 420 0.39/0.43 c Current CPU time: 0.400939 s 0.39/0.43 c 0.39/0.43 c core #236 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: 421 0.39/0.43 c Current CPU time: 0.402938 s 0.39/0.43 c 0.39/0.43 c core #237 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: 422 0.39/0.43 c Current CPU time: 0.404938 s 0.39/0.43 c 0.39/0.43 c core #238 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: 423 0.39/0.43 c Current CPU time: 0.406938 s 0.39/0.43 c 0.39/0.43 c core #239 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: 424 0.39/0.43 c Current CPU time: 0.408937 s 0.39/0.43 c 0.39/0.43 c core #240 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: 425 0.39/0.43 c Current CPU time: 0.410937 s 0.39/0.43 c 0.39/0.43 c core #241 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: 426 0.39/0.43 c Current CPU time: 0.412937 s 0.39/0.43 c 0.39/0.43 c core #242 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 8 Core Weight: 1 Total Weight: 427 0.39/0.43 c Current CPU time: 0.415936 s 0.39/0.43 c 0.39/0.43 c core #243 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 428 0.39/0.43 c Current CPU time: 0.417936 s 0.39/0.43 c 0.39/0.43 c core #244 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 429 0.39/0.43 c Current CPU time: 0.419936 s 0.39/0.43 c 0.39/0.43 c core #245 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 430 0.39/0.43 c Current CPU time: 0.421935 s 0.39/0.43 c 0.39/0.43 c core #246 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: 431 0.39/0.43 c Current CPU time: 0.423935 s 0.39/0.43 c 0.39/0.43 c core #247 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 432 0.39/0.43 c Current CPU time: 0.425935 s 0.39/0.43 c 0.39/0.43 c core #248 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: 433 0.39/0.43 c Current CPU time: 0.427934 s 0.39/0.43 c 0.39/0.43 c core #249 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 434 0.39/0.43 c Current CPU time: 0.430934 s 0.39/0.43 c 0.39/0.43 c core #250 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 435 0.49/0.52 c Current CPU time: 0.432934 s 0.49/0.52 c 0.49/0.52 c core #251 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 436 0.49/0.52 c Current CPU time: 0.434933 s 0.49/0.52 c 0.49/0.52 c core #252 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 437 0.49/0.52 c Current CPU time: 0.436933 s 0.49/0.52 c 0.49/0.52 c core #253 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 438 0.49/0.52 c Current CPU time: 0.438933 s 0.49/0.52 c 0.49/0.52 c core #254 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: 439 0.49/0.52 c Current CPU time: 0.440932 s 0.49/0.52 c 0.49/0.52 c core #255 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: 440 0.49/0.52 c Current CPU time: 0.443932 s 0.49/0.52 c 0.49/0.52 c core #256 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: 441 0.49/0.52 c Current CPU time: 0.445932 s 0.49/0.52 c 0.49/0.52 c core #257 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: 442 0.49/0.52 c Current CPU time: 0.447931 s 0.49/0.52 c 0.49/0.52 c core #258 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: 443 0.49/0.52 c Current CPU time: 0.449931 s 0.49/0.52 c 0.49/0.52 c core #259 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: 444 0.49/0.52 c Current CPU time: 0.451931 s 0.49/0.52 c 0.49/0.52 c core #260 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: 445 0.49/0.52 c Current CPU time: 0.45393 s 0.49/0.52 c 0.49/0.52 c core #261 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: 446 0.49/0.52 c Current CPU time: 0.45693 s 0.49/0.52 c 0.49/0.52 c core #262 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: 447 0.49/0.52 c Current CPU time: 0.45893 s 0.49/0.52 c 0.49/0.52 c core #263 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 8 Core Weight: 1 Total Weight: 448 0.49/0.52 c Current CPU time: 0.460929 s 0.49/0.52 c 0.49/0.52 c core #264 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 449 0.49/0.52 c Current CPU time: 0.462929 s 0.49/0.52 c 0.49/0.52 c core #265 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 450 0.49/0.52 c Current CPU time: 0.465929 s 0.49/0.52 c 0.49/0.52 c core #266 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 451 0.49/0.52 c Current CPU time: 0.467928 s 0.49/0.52 c 0.49/0.52 c core #267 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: 452 0.49/0.52 c Current CPU time: 0.469928 s 0.49/0.52 c 0.49/0.52 c core #268 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 453 0.49/0.52 c Current CPU time: 0.471928 s 0.49/0.52 c 0.49/0.52 c core #269 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 454 0.49/0.52 c Current CPU time: 0.473927 s 0.49/0.52 c 0.49/0.52 c core #270 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: 455 0.49/0.52 c Current CPU time: 0.476927 s 0.49/0.52 c 0.49/0.52 c core #271 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 456 0.49/0.52 c Current CPU time: 0.478927 s 0.49/0.52 c 0.49/0.52 c core #272 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 457 0.49/0.52 c Current CPU time: 0.480926 s 0.49/0.52 c 0.49/0.52 c core #273 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 458 0.49/0.52 c Current CPU time: 0.482926 s 0.49/0.52 c 0.49/0.52 c core #274 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 459 0.49/0.52 c Current CPU time: 0.484926 s 0.49/0.52 c 0.49/0.52 c core #275 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 460 0.49/0.52 c Current CPU time: 0.487925 s 0.49/0.52 c 0.49/0.52 c core #276 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: 461 0.49/0.52 c Current CPU time: 0.489925 s 0.49/0.52 c 0.49/0.52 c core #277 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: 462 0.49/0.52 c Current CPU time: 0.491925 s 0.49/0.52 c 0.49/0.52 c core #278 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: 463 0.49/0.52 c Current CPU time: 0.493924 s 0.49/0.52 c 0.49/0.52 c core #279 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: 464 0.49/0.52 c Current CPU time: 0.496924 s 0.49/0.52 c 0.49/0.52 c core #280 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: 465 0.49/0.52 c Current CPU time: 0.498924 s 0.49/0.52 c 0.49/0.52 c core #281 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: 466 0.49/0.52 c Current CPU time: 0.500923 s 0.49/0.52 c 0.49/0.52 c core #282 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: 467 0.49/0.52 c Current CPU time: 0.502923 s 0.49/0.52 c 0.49/0.52 c core #283 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: 468 0.49/0.52 c Current CPU time: 0.504923 s 0.49/0.52 c 0.49/0.52 c core #284 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 469 0.49/0.52 c Current CPU time: 0.507922 s 0.49/0.52 c 0.49/0.52 c core #285 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 8 Core Weight: 1 Total Weight: 470 0.49/0.52 c Current CPU time: 0.509922 s 0.49/0.52 c 0.49/0.52 c core #286 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 471 0.49/0.52 c Current CPU time: 0.511922 s 0.49/0.52 c 0.49/0.52 c core #287 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 472 0.49/0.52 c Current CPU time: 0.513921 s 0.49/0.52 c 0.49/0.52 c core #288 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 473 0.49/0.52 c Current CPU time: 0.516921 s 0.49/0.52 c 0.49/0.52 c core #289 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 474 0.49/0.52 c Current CPU time: 0.518921 s 0.49/0.52 c 0.49/0.52 c core #290 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 475 0.49/0.52 c Current CPU time: 0.52092 s 0.49/0.52 c 0.49/0.52 c core #291 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 476 0.49/0.52 c Current CPU time: 0.52292 s 0.59/0.62 c 0.59/0.62 c core #292 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 477 0.59/0.62 c Current CPU time: 0.52592 s 0.59/0.62 c 0.59/0.62 c core #293 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 478 0.59/0.62 c Current CPU time: 0.527919 s 0.59/0.62 c 0.59/0.62 c core #294 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 479 0.59/0.62 c Current CPU time: 0.529919 s 0.59/0.62 c 0.59/0.62 c core #295 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 480 0.59/0.62 c Current CPU time: 0.532918 s 0.59/0.62 c 0.59/0.62 c core #296 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 481 0.59/0.62 c Current CPU time: 0.534918 s 0.59/0.62 c 0.59/0.62 c core #297 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 482 0.59/0.62 c Current CPU time: 0.536918 s 0.59/0.62 c 0.59/0.62 c core #298 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 483 0.59/0.62 c Current CPU time: 0.538918 s 0.59/0.62 c 0.59/0.62 c core #299 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 484 0.59/0.62 c Current CPU time: 0.541917 s 0.59/0.62 c 0.59/0.62 c core #300 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 485 0.59/0.62 c Current CPU time: 0.543917 s 0.59/0.62 c 0.59/0.62 c core #301 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 486 0.59/0.62 c Current CPU time: 0.545917 s 0.59/0.62 c 0.59/0.62 c core #302 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 487 0.59/0.62 c Current CPU time: 0.548916 s 0.59/0.62 c 0.59/0.62 c core #303 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 488 0.59/0.62 c Current CPU time: 0.550916 s 0.59/0.62 c 0.59/0.62 c core #304 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 489 0.59/0.62 c Current CPU time: 0.552915 s 0.59/0.62 c 0.59/0.62 c core #305 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 490 0.59/0.62 c Current CPU time: 0.555915 s 0.59/0.62 c 0.59/0.62 c core #306 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 491 0.59/0.62 c Current CPU time: 0.557915 s 0.59/0.62 c 0.59/0.62 c core #307 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 492 0.59/0.62 c Current CPU time: 0.559914 s 0.59/0.62 c 0.59/0.62 c core #308 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 493 0.59/0.62 c Current CPU time: 0.561914 s 0.59/0.62 c 0.59/0.62 c core #309 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 494 0.59/0.62 c Current CPU time: 0.564914 s 0.59/0.62 c 0.59/0.62 c core #310 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 495 0.59/0.62 c Current CPU time: 0.566913 s 0.59/0.62 c 0.59/0.62 c core #311 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 496 0.59/0.62 c Current CPU time: 0.568913 s 0.59/0.62 c 0.59/0.62 c core #312 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 497 0.59/0.62 c Current CPU time: 0.571913 s 0.59/0.62 c 0.59/0.62 c core #313 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 8 Core Weight: 1 Total Weight: 498 0.59/0.62 c Current CPU time: 0.573912 s 0.59/0.62 c 0.59/0.62 c core #314 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 7 Core Weight: 1 Total Weight: 499 0.59/0.62 c Current CPU time: 0.575912 s 0.59/0.62 c 0.59/0.62 c core #315 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 6 Core Weight: 1 Total Weight: 500 0.59/0.62 c Current CPU time: 0.578911 s 0.59/0.62 c 0.59/0.62 c core #316 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 9 Core Weight: 1 Total Weight: 501 0.59/0.62 c Current CPU time: 0.580911 s 0.59/0.62 c 0.59/0.62 c core #317 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 8 Core Weight: 1 Total Weight: 502 0.59/0.62 c Current CPU time: 0.582911 s 0.59/0.62 c 0.59/0.62 c core #318 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 6 Core Weight: 1 Total Weight: 503 0.59/0.62 c Current CPU time: 0.58591 s 0.59/0.62 c 0.59/0.62 c core #319 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 8 Core Weight: 1 Total Weight: 504 0.59/0.62 c Current CPU time: 0.58791 s 0.59/0.62 c 0.59/0.62 c core #320 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 6 Core Weight: 1 Total Weight: 505 0.59/0.62 c Current CPU time: 0.58991 s 0.59/0.62 c 0.59/0.62 c core #321 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 14 Core Weight: 1 Total Weight: 506 0.59/0.62 c Current CPU time: 0.592909 s 0.59/0.62 c 0.59/0.62 c core #322 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 6 Core Weight: 1 Total Weight: 507 0.59/0.62 c Current CPU time: 0.593909 s 0.59/0.62 c 0.59/0.62 c core #323 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 29 Core Weight: 1 Total Weight: 508 0.59/0.62 c Current CPU time: 0.595909 s 0.59/0.62 c 0.59/0.62 c core #324 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 6 Core Weight: 1 Total Weight: 509 0.59/0.62 c Current CPU time: 0.598908 s 0.59/0.62 c 0.59/0.62 c core #325 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 9 Core Weight: 1 Total Weight: 510 0.59/0.62 c Current CPU time: 0.600908 s 0.59/0.62 c 0.59/0.62 c core #326 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 6 Core Weight: 1 Total Weight: 511 0.59/0.62 c Current CPU time: 0.602908 s 0.59/0.62 c 0.59/0.62 c core #327 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 9 Core Weight: 1 Total Weight: 512 0.59/0.62 c Current CPU time: 0.605907 s 0.59/0.62 c 0.59/0.62 c core #328 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 6 Core Weight: 1 Total Weight: 513 0.59/0.62 c Current CPU time: 0.607907 s 0.59/0.62 c 0.59/0.62 c core #329 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 9 Core Weight: 1 Total Weight: 514 0.59/0.62 c Current CPU time: 0.609907 s 0.59/0.62 c 0.59/0.62 c core #330 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 6 Core Weight: 1 Total Weight: 515 0.59/0.62 c Current CPU time: 0.612906 s 0.59/0.62 c 0.59/0.62 c core #331 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 9 Core Weight: 1 Total Weight: 516 0.59/0.62 c Current CPU time: 0.614906 s 0.59/0.62 c 0.59/0.62 c core #332 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 6 Core Weight: 1 Total Weight: 517 0.59/0.62 c Current CPU time: 0.616906 s 0.59/0.62 c 0.59/0.62 c core #333 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 9 Core Weight: 1 Total Weight: 518 0.69/0.70 c Current CPU time: 0.619905 s 0.69/0.70 c 0.69/0.70 c core #334 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 6 Core Weight: 1 Total Weight: 519 0.69/0.70 c Current CPU time: 0.621905 s 0.69/0.70 c 0.69/0.70 c core #335 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 9 Core Weight: 1 Total Weight: 520 0.69/0.70 c Current CPU time: 0.624905 s 0.69/0.70 c 0.69/0.70 c core #336 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 96 Core Weight: 1 Total Weight: 521 0.69/0.70 c Current CPU time: 0.626904 s 0.69/0.70 c 0.69/0.70 c core #337 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 9 Core Weight: 1 Total Weight: 522 0.69/0.70 c Current CPU time: 0.628904 s 0.69/0.70 c 0.69/0.70 c core #338 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 9 Core Weight: 1 Total Weight: 523 0.69/0.70 c Current CPU time: 0.631903 s 0.69/0.70 c 0.69/0.70 c core #339 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 13 Core Weight: 1 Total Weight: 524 0.69/0.70 c Current CPU time: 0.633903 s 0.69/0.70 c 0.69/0.70 c core #340 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 19 Core Weight: 1 Total Weight: 525 0.69/0.70 c Current CPU time: 0.635903 s 0.69/0.70 c 0.69/0.70 c core #341 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 23 Core Weight: 1 Total Weight: 526 0.69/0.70 c Current CPU time: 0.638902 s 0.69/0.70 c 0.69/0.70 c core #342 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 21 Core Weight: 1 Total Weight: 527 0.69/0.70 c Current CPU time: 0.640902 s 0.69/0.70 c 0.69/0.70 c core #343 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 10 Core Weight: 1 Total Weight: 528 0.69/0.70 c Current CPU time: 0.643902 s 0.69/0.70 c 0.69/0.70 c core #344 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 16 Core Weight: 1 Total Weight: 529 0.69/0.70 c Current CPU time: 0.645901 s 0.69/0.70 c 0.69/0.70 c core #345 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 17 Core Weight: 1 Total Weight: 530 0.69/0.70 c Current CPU time: 0.648901 s 0.69/0.70 c 0.69/0.70 c core #346 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 8 Core Weight: 1 Total Weight: 531 0.69/0.70 c Current CPU time: 0.650901 s 0.69/0.70 c 0.69/0.70 c core #347 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 16 Core Weight: 1 Total Weight: 532 0.69/0.70 c Current CPU time: 0.6529 s 0.69/0.70 c 0.69/0.70 c core #348 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 8 Core Weight: 1 Total Weight: 533 0.69/0.70 c Current CPU time: 0.6559 s 0.69/0.70 c 0.69/0.70 c core #349 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 16 Core Weight: 1 Total Weight: 534 0.69/0.70 c Current CPU time: 0.657899 s 0.69/0.70 c 0.69/0.70 c core #350 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 8 Core Weight: 1 Total Weight: 535 0.69/0.70 c Current CPU time: 0.660899 s 0.69/0.70 c 0.69/0.70 c core #351 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 16 Core Weight: 1 Total Weight: 536 0.69/0.70 c Current CPU time: 0.662899 s 0.69/0.70 c 0.69/0.70 c core #352 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 8 Core Weight: 1 Total Weight: 537 0.69/0.70 c Current CPU time: 0.665898 s 0.69/0.70 c 0.69/0.70 c core #353 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 16 Core Weight: 1 Total Weight: 538 0.69/0.70 c Current CPU time: 0.667898 s 0.69/0.70 c 0.69/0.70 c core #354 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 8 Core Weight: 1 Total Weight: 539 0.69/0.70 c Current CPU time: 0.670898 s 0.69/0.70 c 0.69/0.70 c core #355 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 16 Core Weight: 1 Total Weight: 540 0.69/0.70 c Current CPU time: 0.672897 s 0.69/0.70 c 0.69/0.70 c core #356 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 8 Core Weight: 1 Total Weight: 541 0.69/0.70 c Current CPU time: 0.675897 s 0.69/0.70 c 0.69/0.70 c core #357 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 16 Core Weight: 1 Total Weight: 542 0.69/0.70 c Current CPU time: 0.677896 s 0.69/0.70 c 0.69/0.70 c core #358 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 8 Core Weight: 1 Total Weight: 543 0.69/0.70 c Current CPU time: 0.680896 s 0.69/0.70 c 0.69/0.70 c core #359 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 18 Core Weight: 1 Total Weight: 544 0.69/0.70 c Current CPU time: 0.682896 s 0.69/0.70 c 0.69/0.70 c core #360 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 18 Core Weight: 1 Total Weight: 545 0.69/0.70 c Current CPU time: 0.685895 s 0.69/0.70 c 0.69/0.70 c core #361 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 7 Core Weight: 1 Total Weight: 546 0.69/0.70 c Current CPU time: 0.688895 s 0.69/0.70 c 0.69/0.70 c core #362 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 16 Core Weight: 1 Total Weight: 547 0.69/0.70 c Current CPU time: 0.690894 s 0.69/0.70 c 0.69/0.70 c core #363 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 17 Core Weight: 1 Total Weight: 548 0.69/0.70 c Current CPU time: 0.693894 s 0.69/0.70 c 0.69/0.70 c core #364 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 14 Core Weight: 1 Total Weight: 549 0.69/0.70 c Current CPU time: 0.695894 s 0.69/0.70 c 0.69/0.70 c core #365 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 15 Core Weight: 1 Total Weight: 550 0.69/0.70 c Current CPU time: 0.698893 s 0.69/0.70 c 0.69/0.70 c core #366 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 30 Core Weight: 1 Total Weight: 551 0.69/0.70 c Current CPU time: 0.701893 s 0.69/0.70 c 0.69/0.70 c ============================[ Search Statistics ]============================== 0.69/0.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.70 c =============================================================================== 0.69/0.70 c | 0 | 2146 6207 13578 | 5000 0 -nan | 0.000 % | 0.69/0.70 c =============================================================================== 0.69/0.71 c core #367 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 18 Core Weight: 1 Total Weight: 552 0.69/0.71 c Current CPU time: 0.703892 s 0.69/0.71 c 0.69/0.71 c ============================[ Search Statistics ]============================== 0.69/0.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.71 c =============================================================================== 0.69/0.71 c | 0 | 2156 6209 13602 | 5000 0 -nan | 0.000 % | 0.69/0.71 c =============================================================================== 0.69/0.71 c core #368 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 14 Core Weight: 1 Total Weight: 553 0.69/0.71 c Current CPU time: 0.706892 s 0.69/0.71 c 0.69/0.71 c ============================[ Search Statistics ]============================== 0.69/0.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.71 c =============================================================================== 0.69/0.71 c | 0 | 2166 6210 13624 | 5000 0 -nan | 0.000 % | 0.69/0.71 c =============================================================================== 0.69/0.71 c core #369 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 17 Core Weight: 1 Total Weight: 554 0.69/0.71 c Current CPU time: 0.709892 s 0.69/0.71 c 0.69/0.71 c ============================[ Search Statistics ]============================== 0.69/0.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.71 c =============================================================================== 0.69/0.71 c | 0 | 2176 6211 13645 | 5000 0 -nan | 0.000 % | 0.69/0.71 c =============================================================================== 0.69/0.72 c core #370 0.69/0.72 c 0.69/0.72 c 0.69/0.72 c Core size: 23 Core Weight: 1 Total Weight: 555 0.69/0.72 c Current CPU time: 0.712891 s 0.69/0.72 c 0.69/0.72 c ============================[ Search Statistics ]============================== 0.69/0.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.72 c =============================================================================== 0.69/0.72 c | 0 | 2194 6212 13683 | 5000 0 -nan | 0.000 % | 0.69/0.72 c =============================================================================== 0.69/0.72 c core #371 0.69/0.72 c 0.69/0.72 c 0.69/0.72 c Core size: 28 Core Weight: 1 Total Weight: 556 0.69/0.72 c Current CPU time: 0.715891 s 0.69/0.72 c 0.69/0.72 c ============================[ Search Statistics ]============================== 0.69/0.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.72 c =============================================================================== 0.69/0.72 c | 0 | 2206 6214 13713 | 5000 0 -nan | 0.000 % | 0.69/0.72 c =============================================================================== 0.69/0.72 c core #372 0.69/0.72 c 0.69/0.72 c 0.69/0.72 c Core size: 41 Core Weight: 1 Total Weight: 557 0.69/0.72 c Current CPU time: 0.71889 s 0.69/0.72 c 0.69/0.72 c ============================[ Search Statistics ]============================== 0.69/0.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.72 c =============================================================================== 0.69/0.72 c | 0 | 2223 6215 13748 | 5000 0 -nan | 0.000 % | 0.69/0.72 c =============================================================================== 0.69/0.72 c core #373 0.69/0.72 c 0.69/0.72 c 0.69/0.72 c Core size: 25 Core Weight: 1 Total Weight: 558 0.69/0.72 c Current CPU time: 0.72189 s 0.69/0.72 c 0.69/0.72 c ============================[ Search Statistics ]============================== 0.69/0.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.72 c =============================================================================== 0.69/0.72 c | 0 | 2233 6217 13771 | 5000 0 -nan | 0.000 % | 0.69/0.72 c =============================================================================== 0.69/0.73 c core #374 0.69/0.73 c 0.69/0.73 c 0.69/0.73 c Core size: 11 Core Weight: 1 Total Weight: 559 0.69/0.73 c Current CPU time: 0.724889 s 0.69/0.73 c 0.69/0.73 c ============================[ Search Statistics ]============================== 0.69/0.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.73 c =============================================================================== 0.69/0.73 c | 0 | 2240 6219 13788 | 5000 0 -nan | 0.000 % | 0.69/0.73 c =============================================================================== 0.69/0.73 c core #375 0.69/0.73 c 0.69/0.73 c 0.69/0.73 c Core size: 11 Core Weight: 1 Total Weight: 560 0.69/0.73 c Current CPU time: 0.727889 s 0.69/0.73 c 0.69/0.73 c ============================[ Search Statistics ]============================== 0.69/0.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.73 c =============================================================================== 0.69/0.73 c | 0 | 2247 6220 13802 | 5000 0 -nan | 0.000 % | 0.69/0.73 c =============================================================================== 0.69/0.73 c core #376 0.69/0.73 c 0.69/0.73 c 0.69/0.73 c Core size: 11 Core Weight: 1 Total Weight: 561 0.69/0.73 c Current CPU time: 0.730888 s 0.69/0.73 c 0.69/0.73 c ============================[ Search Statistics ]============================== 0.69/0.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.73 c =============================================================================== 0.69/0.73 c | 0 | 2254 6221 13816 | 5000 0 -nan | 0.000 % | 0.69/0.73 c =============================================================================== 0.69/0.74 c core #377 0.69/0.74 c 0.69/0.74 c 0.69/0.74 c Core size: 11 Core Weight: 1 Total Weight: 562 0.69/0.74 c Current CPU time: 0.733888 s 0.69/0.74 c 0.69/0.74 c ============================[ Search Statistics ]============================== 0.69/0.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.74 c =============================================================================== 0.69/0.74 c | 0 | 2261 6222 13830 | 5000 0 -nan | 0.000 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c core #378 0.69/0.74 c 0.69/0.74 c 0.69/0.74 c Core size: 11 Core Weight: 1 Total Weight: 563 0.69/0.74 c Current CPU time: 0.736887 s 0.69/0.74 c 0.69/0.74 c ============================[ Search Statistics ]============================== 0.69/0.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.74 c =============================================================================== 0.69/0.74 c | 0 | 2268 6223 13844 | 5000 0 -nan | 0.000 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c core #379 0.69/0.74 c 0.69/0.74 c 0.69/0.74 c Core size: 10 Core Weight: 1 Total Weight: 564 0.69/0.74 c Current CPU time: 0.740887 s 0.69/0.74 c 0.69/0.74 c ============================[ Search Statistics ]============================== 0.69/0.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.74 c =============================================================================== 0.69/0.74 c | 0 | 2274 6224 13856 | 5000 0 -nan | 0.000 % | 0.69/0.74 c =============================================================================== 0.69/0.75 c core #380 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 20 Core Weight: 1 Total Weight: 565 0.69/0.75 c Current CPU time: 0.743886 s 0.69/0.75 c 0.69/0.75 c ============================[ Search Statistics ]============================== 0.69/0.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.75 c =============================================================================== 0.69/0.75 c | 0 | 2288 6225 13886 | 5000 0 -nan | 0.000 % | 0.69/0.75 c =============================================================================== 0.69/0.75 c core #381 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 48 Core Weight: 1 Total Weight: 566 0.69/0.75 c Current CPU time: 0.746886 s 0.69/0.75 c 0.69/0.75 c ============================[ Search Statistics ]============================== 0.69/0.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.75 c =============================================================================== 0.69/0.75 c | 0 | 2318 6227 13948 | 5000 0 -nan | 0.000 % | 0.69/0.75 c =============================================================================== 0.69/0.75 c core #382 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 14 Core Weight: 1 Total Weight: 567 0.69/0.75 c Current CPU time: 0.749886 s 0.69/0.75 c 0.69/0.75 c ============================[ Search Statistics ]============================== 0.69/0.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.75 c =============================================================================== 0.69/0.75 c | 0 | 2326 6228 13964 | 5000 0 -nan | 0.000 % | 0.69/0.75 c =============================================================================== 0.69/0.76 c core #383 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 11 Core Weight: 1 Total Weight: 568 0.69/0.76 c Current CPU time: 0.752885 s 0.69/0.76 c 0.69/0.76 c ============================[ Search Statistics ]============================== 0.69/0.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.76 c =============================================================================== 0.69/0.76 c | 0 | 2336 6229 13987 | 5000 0 -nan | 0.000 % | 0.69/0.76 c =============================================================================== 0.69/0.76 c core #384 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 14 Core Weight: 1 Total Weight: 569 0.69/0.76 c Current CPU time: 0.755885 s 0.69/0.76 c 0.69/0.76 c ============================[ Search Statistics ]============================== 0.69/0.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.76 c =============================================================================== 0.69/0.76 c | 0 | 2343 6230 14001 | 5000 0 -nan | 0.000 % | 0.69/0.76 c =============================================================================== 0.69/0.76 c core #385 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 10 Core Weight: 1 Total Weight: 570 0.69/0.76 c Current CPU time: 0.758884 s 0.69/0.76 c 0.69/0.76 c ============================[ Search Statistics ]============================== 0.69/0.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.76 c =============================================================================== 0.69/0.76 c | 0 | 2353 6231 14024 | 5000 0 -nan | 0.000 % | 0.69/0.76 c =============================================================================== 0.69/0.76 c core #386 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 10 Core Weight: 1 Total Weight: 571 0.69/0.76 c Current CPU time: 0.761884 s 0.69/0.76 c 0.69/0.76 c ============================[ Search Statistics ]============================== 0.69/0.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.76 c =============================================================================== 0.69/0.76 c | 0 | 2359 6232 14036 | 5000 0 -nan | 0.000 % | 0.69/0.76 c =============================================================================== 0.69/0.77 c core #387 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 51 Core Weight: 1 Total Weight: 572 0.69/0.77 c Current CPU time: 0.765883 s 0.69/0.77 c 0.69/0.77 c ============================[ Search Statistics ]============================== 0.69/0.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.77 c =============================================================================== 0.69/0.77 c | 0 | 2390 6234 14102 | 5000 0 -nan | 0.000 % | 0.69/0.77 c =============================================================================== 0.69/0.77 c core #388 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 17 Core Weight: 1 Total Weight: 573 0.69/0.77 c Current CPU time: 0.768883 s 0.69/0.77 c 0.69/0.77 c ============================[ Search Statistics ]============================== 0.69/0.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.77 c =============================================================================== 0.69/0.77 c | 0 | 2403 6235 14131 | 5000 0 -nan | 0.000 % | 0.69/0.77 c =============================================================================== 0.69/0.77 c core #389 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 26 Core Weight: 1 Total Weight: 574 0.69/0.77 c Current CPU time: 0.770882 s 0.69/0.77 c 0.69/0.77 c ============================[ Search Statistics ]============================== 0.69/0.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.77 c =============================================================================== 0.69/0.77 c | 0 | 2411 6236 14147 | 5000 0 -nan | 0.000 % | 0.69/0.77 c =============================================================================== 0.69/0.78 c core #390 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 12 Core Weight: 1 Total Weight: 575 0.69/0.78 c Current CPU time: 0.773882 s 0.69/0.78 c 0.69/0.78 c ============================[ Search Statistics ]============================== 0.69/0.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.78 c =============================================================================== 0.69/0.78 c | 0 | 2417 6237 14159 | 5000 0 -nan | 0.000 % | 0.69/0.78 c =============================================================================== 0.69/0.78 c core #391 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 22 Core Weight: 1 Total Weight: 576 0.69/0.78 c Current CPU time: 0.776881 s 0.69/0.78 c 0.69/0.78 c ============================[ Search Statistics ]============================== 0.69/0.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.78 c =============================================================================== 0.69/0.78 c | 0 | 2430 6239 14193 | 5000 0 -nan | 0.000 % | 0.69/0.78 c =============================================================================== 0.69/0.78 c core #392 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 10 Core Weight: 1 Total Weight: 577 0.69/0.78 c Current CPU time: 0.779881 s 0.69/0.78 c 0.69/0.78 c ============================[ Search Statistics ]============================== 0.69/0.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.78 c =============================================================================== 0.69/0.78 c | 0 | 2434 6241 14205 | 5000 0 -nan | 0.000 % | 0.69/0.78 c =============================================================================== 0.69/0.79 c core #393 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 32 Core Weight: 1 Total Weight: 578 0.69/0.79 c Current CPU time: 0.78288 s 0.69/0.79 c 0.69/0.79 c ============================[ Search Statistics ]============================== 0.69/0.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.79 c =============================================================================== 0.69/0.79 c | 0 | 2458 6242 14256 | 5000 0 -nan | 0.000 % | 0.69/0.79 c =============================================================================== 0.69/0.79 c core #394 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 18 Core Weight: 1 Total Weight: 579 0.69/0.79 c Current CPU time: 0.78588 s 0.69/0.79 c 0.69/0.79 c ============================[ Search Statistics ]============================== 0.69/0.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.79 c =============================================================================== 0.69/0.79 c | 0 | 2467 6244 14280 | 5000 0 -nan | 0.000 % | 0.69/0.79 c =============================================================================== 0.69/0.79 c core #395 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 25 Core Weight: 1 Total Weight: 580 0.69/0.79 c Current CPU time: 0.78888 s 0.69/0.79 c 0.69/0.79 c ============================[ Search Statistics ]============================== 0.69/0.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.79 c =============================================================================== 0.69/0.79 c | 0 | 2480 6245 14306 | 5000 0 -nan | 0.000 % | 0.69/0.79 c =============================================================================== 0.69/0.79 c core #396 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 10 Core Weight: 1 Total Weight: 581 0.69/0.79 c Current CPU time: 0.791879 s 0.69/0.79 c 0.69/0.79 c ============================[ Search Statistics ]============================== 0.69/0.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.79 c =============================================================================== 0.69/0.80 c | 0 | 2486 6247 14320 | 5000 0 -nan | 0.000 % | 0.69/0.80 c =============================================================================== 0.79/0.80 c core #397 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 26 Core Weight: 1 Total Weight: 582 0.79/0.80 c Current CPU time: 0.794879 s 0.79/0.80 c 0.79/0.80 c ============================[ Search Statistics ]============================== 0.79/0.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.80 c =============================================================================== 0.79/0.80 c | 0 | 2506 6248 14361 | 5000 0 -nan | 0.000 % | 0.79/0.80 c =============================================================================== 0.79/0.80 c core #398 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 88 Core Weight: 1 Total Weight: 583 0.79/0.80 c Current CPU time: 0.798878 s 0.79/0.80 c 0.79/0.80 c ============================[ Search Statistics ]============================== 0.79/0.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.80 c =============================================================================== 0.79/0.80 c | 0 | 2580 6249 14512 | 5000 0 -nan | 0.000 % | 0.79/0.80 c =============================================================================== 0.79/0.81 c core #399 0.79/0.81 c 0.79/0.81 c 0.79/0.81 c Core size: 18 Core Weight: 1 Total Weight: 584 0.79/0.81 c Current CPU time: 0.801878 s 0.79/0.81 c 0.79/0.81 c ============================[ Search Statistics ]============================== 0.79/0.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.81 c =============================================================================== 0.79/0.81 c | 0 | 2594 6250 14544 | 5000 0 -nan | 0.000 % | 0.79/0.81 c =============================================================================== 0.79/0.81 c core #400 0.79/0.81 c 0.79/0.81 c 0.79/0.81 c Core size: 24 Core Weight: 1 Total Weight: 585 0.79/0.81 c Current CPU time: 0.805877 s 0.79/0.81 c 0.79/0.81 c ============================[ Search Statistics ]============================== 0.79/0.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.81 c =============================================================================== 0.79/0.81 c | 0 | 2610 6251 14576 | 5000 0 -nan | 0.000 % | 0.79/0.81 c | 100 | 2610 6251 14576 | 5500 100 10 | 13.071 % | 0.79/0.81 c =============================================================================== 0.79/0.81 c core #401 0.79/0.81 c 0.79/0.81 c 0.79/0.81 c Core size: 12 Core Weight: 1 Total Weight: 586 0.79/0.81 c Current CPU time: 0.809876 s 0.79/0.81 c 0.79/0.81 c ============================[ Search Statistics ]============================== 0.79/0.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.81 c =============================================================================== 0.79/0.81 c | 0 | 2620 6252 14598 | 5000 0 -nan | 0.000 % | 0.79/0.82 c =============================================================================== 0.79/0.82 c core #402 0.79/0.82 c 0.79/0.82 c 0.79/0.82 c Core size: 12 Core Weight: 1 Total Weight: 587 0.79/0.82 c Current CPU time: 0.813876 s 0.79/0.82 c 0.79/0.82 c ============================[ Search Statistics ]============================== 0.79/0.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.82 c =============================================================================== 0.79/0.82 c | 0 | 2624 6254 14610 | 5000 0 -nan | 0.000 % | 0.79/0.82 c =============================================================================== 0.79/0.82 c core #403 0.79/0.82 c 0.79/0.82 c 0.79/0.82 c Core size: 5 Core Weight: 1 Total Weight: 588 0.79/0.82 c Current CPU time: 0.816875 s 0.79/0.82 c 0.79/0.82 c ============================[ Search Statistics ]============================== 0.79/0.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.82 c =============================================================================== 0.79/0.82 c | 0 | 2624 6256 14614 | 5000 0 -nan | 0.000 % | 0.79/0.82 c =============================================================================== 0.79/0.82 c core #404 0.79/0.82 c 0.79/0.82 c 0.79/0.82 c Core size: 7 Core Weight: 1 Total Weight: 589 0.79/0.82 c Current CPU time: 0.819875 s 0.79/0.82 c 0.79/0.82 c ============================[ Search Statistics ]============================== 0.79/0.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.82 c =============================================================================== 0.79/0.82 c | 0 | 2627 6257 14620 | 5000 0 -nan | 0.000 % | 0.79/0.82 c =============================================================================== 0.79/0.83 c core #405 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 10 Core Weight: 1 Total Weight: 590 0.79/0.83 c Current CPU time: 0.822874 s 0.79/0.83 c 0.79/0.83 c ============================[ Search Statistics ]============================== 0.79/0.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.83 c =============================================================================== 0.79/0.83 c | 0 | 2630 6259 14630 | 5000 0 -nan | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.83 c core #406 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 10 Core Weight: 1 Total Weight: 591 0.79/0.83 c Current CPU time: 0.825874 s 0.79/0.83 c 0.79/0.83 c ============================[ Search Statistics ]============================== 0.79/0.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.83 c =============================================================================== 0.79/0.83 c | 0 | 2632 6262 14644 | 5000 0 -nan | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.83 c core #407 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 24 Core Weight: 1 Total Weight: 592 0.79/0.83 c Current CPU time: 0.828873 s 0.79/0.83 c 0.79/0.83 c ============================[ Search Statistics ]============================== 0.79/0.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.83 c =============================================================================== 0.79/0.83 c | 0 | 2645 6263 14673 | 5000 0 -nan | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.84 c core #408 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 19 Core Weight: 1 Total Weight: 593 0.79/0.84 c Current CPU time: 0.831873 s 0.79/0.84 c 0.79/0.84 c ============================[ Search Statistics ]============================== 0.79/0.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.84 c =============================================================================== 0.79/0.84 c | 0 | 2660 6264 14705 | 5000 0 -nan | 0.000 % | 0.79/0.84 c =============================================================================== 0.79/0.84 c core #409 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 28 Core Weight: 1 Total Weight: 594 0.79/0.84 c Current CPU time: 0.834873 s 0.79/0.84 c 0.79/0.84 c ============================[ Search Statistics ]============================== 0.79/0.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.84 c =============================================================================== 0.79/0.84 c | 0 | 2673 6267 14737 | 5000 0 -nan | 0.000 % | 0.79/0.84 c =============================================================================== 0.79/0.84 c core #410 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 17 Core Weight: 1 Total Weight: 595 0.79/0.84 c Current CPU time: 0.837872 s 0.79/0.84 c 0.79/0.84 c ============================[ Search Statistics ]============================== 0.79/0.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.84 c =============================================================================== 0.79/0.84 c | 0 | 2683 6268 14759 | 5000 0 -nan | 0.000 % | 0.79/0.84 c =============================================================================== 0.79/0.85 c core #411 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 30 Core Weight: 1 Total Weight: 596 0.79/0.85 c Current CPU time: 0.840872 s 0.79/0.85 c 0.79/0.85 c ============================[ Search Statistics ]============================== 0.79/0.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.85 c =============================================================================== 0.79/0.85 c | 0 | 2695 6269 14784 | 5000 0 -nan | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.85 c core #412 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 36 Core Weight: 1 Total Weight: 597 0.79/0.85 c Current CPU time: 0.844871 s 0.79/0.85 c 0.79/0.85 c ============================[ Search Statistics ]============================== 0.79/0.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.85 c =============================================================================== 0.79/0.85 c | 0 | 2720 6271 14838 | 5000 0 -nan | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.85 c core #413 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 23 Core Weight: 1 Total Weight: 598 0.79/0.85 c Current CPU time: 0.847871 s 0.79/0.85 c 0.79/0.85 c ============================[ Search Statistics ]============================== 0.79/0.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.85 c =============================================================================== 0.79/0.85 c | 0 | 2705 6273 14852 | 5000 0 -nan | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.86 c core #414 0.79/0.86 c 0.79/0.86 c 0.79/0.86 c Core size: 25 Core Weight: 1 Total Weight: 599 0.79/0.86 c Current CPU time: 0.85087 s 0.79/0.86 c 0.79/0.86 c ============================[ Search Statistics ]============================== 0.79/0.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.86 c =============================================================================== 0.79/0.86 c | 0 | 2713 6274 14868 | 5000 0 -nan | 0.000 % | 0.79/0.86 c =============================================================================== 0.79/0.86 c core #415 0.79/0.86 c 0.79/0.86 c 0.79/0.86 c Core size: 25 Core Weight: 1 Total Weight: 600 0.79/0.86 c Current CPU time: 0.85387 s 0.79/0.86 c 0.79/0.86 c ============================[ Search Statistics ]============================== 0.79/0.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.86 c =============================================================================== 0.79/0.86 c | 0 | 2721 6277 14890 | 5000 0 -nan | 0.000 % | 0.79/0.86 c =============================================================================== 0.79/0.86 c core #416 0.79/0.86 c 0.79/0.86 c 0.79/0.86 c Core size: 22 Core Weight: 1 Total Weight: 601 0.79/0.86 c Current CPU time: 0.856869 s 0.79/0.86 c 0.79/0.86 c ============================[ Search Statistics ]============================== 0.79/0.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.86 c =============================================================================== 0.79/0.86 c | 0 | 2730 6278 14908 | 5000 0 -nan | 0.000 % | 0.79/0.86 c =============================================================================== 0.79/0.86 c core #417 0.79/0.86 c 0.79/0.86 c 0.79/0.86 c Core size: 36 Core Weight: 1 Total Weight: 602 0.79/0.86 c Current CPU time: 0.860869 s 0.79/0.86 c 0.79/0.86 c ============================[ Search Statistics ]============================== 0.79/0.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.86 c =============================================================================== 0.79/0.87 c | 0 | 2741 6281 14935 | 5000 0 -nan | 0.000 % | 0.79/0.87 c =============================================================================== 0.79/0.87 c core #418 0.79/0.87 c 0.79/0.87 c 0.79/0.87 c Core size: 76 Core Weight: 1 Total Weight: 603 0.79/0.87 c Current CPU time: 0.863868 s 0.79/0.87 c 0.79/0.87 c ============================[ Search Statistics ]============================== 0.79/0.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.87 c =============================================================================== 0.79/0.87 c | 0 | 2770 6284 14997 | 5000 0 -nan | 0.000 % | 0.79/0.87 c =============================================================================== 0.79/0.87 c core #419 0.79/0.87 c 0.79/0.87 c 0.79/0.87 c Core size: 19 Core Weight: 1 Total Weight: 604 0.79/0.87 c Current CPU time: 0.868867 s 0.79/0.87 c 0.79/0.87 c ============================[ Search Statistics ]============================== 0.79/0.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.87 c =============================================================================== 0.79/0.87 c | 0 | 2781 6286 15022 | 5000 0 -nan | 0.000 % | 0.79/0.87 c =============================================================================== 0.79/0.88 c core #420 0.79/0.88 c 0.79/0.88 c 0.79/0.88 c Core size: 19 Core Weight: 1 Total Weight: 605 0.79/0.88 c Current CPU time: 0.871867 s 0.79/0.88 c 0.79/0.88 c ============================[ Search Statistics ]============================== 0.79/0.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.88 c =============================================================================== 0.79/0.88 c | 0 | 2792 6287 15045 | 5000 0 -nan | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c core #421 0.79/0.88 c 0.79/0.88 c 0.79/0.88 c Core size: 126 Core Weight: 1 Total Weight: 606 0.79/0.88 c Current CPU time: 0.876866 s 0.79/0.88 c 0.79/0.88 c ============================[ Search Statistics ]============================== 0.79/0.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.88 c =============================================================================== 0.79/0.88 c | 0 | 2834 6291 15138 | 5000 0 -nan | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.89 c core #422 0.79/0.89 c 0.79/0.89 c 0.79/0.89 c Core size: 39 Core Weight: 1 Total Weight: 607 0.79/0.89 c Current CPU time: 0.879866 s 0.79/0.89 c 0.79/0.89 c ============================[ Search Statistics ]============================== 0.79/0.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.89 c =============================================================================== 0.79/0.89 c | 0 | 2846 6293 15164 | 5000 0 -nan | 0.000 % | 0.79/0.89 c | 101 | 2846 6293 15164 | 5500 101 22 | 12.538 % | 0.79/0.89 c =============================================================================== 0.79/0.89 c core #423 0.79/0.89 c 0.79/0.89 c 0.79/0.89 c Core size: 156 Core Weight: 1 Total Weight: 608 0.79/0.89 c Current CPU time: 0.886865 s 0.79/0.89 c 0.79/0.89 c ============================[ Search Statistics ]============================== 0.79/0.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.89 c =============================================================================== 0.79/0.89 c | 0 | 2924 6298 15331 | 5000 0 -nan | 0.000 % | 0.79/0.90 c | 101 | 2924 6298 15331 | 5500 101 35 | 12.219 % | 0.89/0.90 c =============================================================================== 0.89/0.90 c core #424 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 100 Core Weight: 1 Total Weight: 609 0.89/0.90 c Current CPU time: 0.894863 s 0.89/0.90 c 0.89/0.90 c ============================[ Search Statistics ]============================== 0.89/0.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.90 c =============================================================================== 0.89/0.90 c | 0 | 2989 6304 15475 | 5000 0 -nan | 0.000 % | 0.89/0.90 c | 103 | 2989 6304 15475 | 5500 103 23 | 11.933 % | 0.89/0.91 c =============================================================================== 0.89/0.91 c core #425 0.89/0.91 c 0.89/0.91 c 0.89/0.91 c Core size: 139 Core Weight: 1 Total Weight: 610 0.89/0.91 c Current CPU time: 0.901862 s 0.89/0.91 c 0.89/0.91 c ============================[ Search Statistics ]============================== 0.89/0.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.91 c =============================================================================== 0.89/0.91 c | 0 | 3026 6311 15639 | 5000 0 -nan | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.91 c core #426 0.89/0.91 c 0.89/0.91 c 0.89/0.91 c Core size: 118 Core Weight: 1 Total Weight: 611 0.89/0.91 c Current CPU time: 0.907861 s 0.89/0.91 c 0.89/0.91 c ============================[ Search Statistics ]============================== 0.89/0.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.91 c =============================================================================== 0.89/0.91 c | 0 | 3088 6319 15781 | 5000 0 -nan | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.92 c core #427 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 21 Core Weight: 1 Total Weight: 612 0.89/0.92 c Current CPU time: 0.910861 s 0.89/0.92 c 0.89/0.92 c ============================[ Search Statistics ]============================== 0.89/0.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.92 c =============================================================================== 0.89/0.92 c | 0 | 3102 6320 15810 | 5000 0 -nan | 0.000 % | 0.89/0.92 c | 101 | 3099 6320 15810 | 5500 101 12 | 12.617 % | 0.89/0.92 c =============================================================================== 0.89/0.93 c core #428 0.89/0.93 c 0.89/0.93 c 0.89/0.93 c Core size: 241 Core Weight: 1 Total Weight: 613 0.89/0.93 c Current CPU time: 0.91986 s 0.89/0.93 c 0.89/0.93 c ============================[ Search Statistics ]============================== 0.89/0.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.93 c =============================================================================== 0.89/0.93 c | 0 | 3159 6331 15952 | 5000 0 -nan | 0.000 % | 0.89/0.93 c | 100 | 3157 6331 15952 | 5500 100 18 | 12.521 % | 0.89/0.93 c =============================================================================== 0.89/0.94 c core #429 0.89/0.94 c 0.89/0.94 c 0.89/0.94 c Core size: 135 Core Weight: 1 Total Weight: 614 0.89/0.94 c Current CPU time: 0.927858 s 0.89/0.94 c 0.89/0.94 c ============================[ Search Statistics ]============================== 0.89/0.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.94 c =============================================================================== 0.89/0.94 c | 0 | 3210 6358 16138 | 5000 0 -nan | 0.000 % | 0.89/0.94 c | 101 | 3210 6358 16138 | 5500 101 10 | 12.367 % | 0.89/0.94 c =============================================================================== 0.89/0.94 c core #430 0.89/0.94 c 0.89/0.94 c 0.89/0.94 c Core size: 128 Core Weight: 1 Total Weight: 615 0.89/0.94 c Current CPU time: 0.934857 s 0.89/0.94 c 0.89/0.94 c ============================[ Search Statistics ]============================== 0.89/0.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.94 c =============================================================================== 0.89/0.94 c | 0 | 3298 6374 16352 | 5000 0 -nan | 0.000 % | 0.89/0.95 c | 101 | 3298 6374 16352 | 5500 101 14 | 12.077 % | 0.89/0.95 c | 251 | 3298 6374 16352 | 6050 251 14 | 12.077 % | 0.89/0.96 c =============================================================================== 0.89/0.96 c core #431 0.89/0.96 c 0.89/0.96 c 0.89/0.96 c Core size: 168 Core Weight: 1 Total Weight: 616 0.89/0.96 c Current CPU time: 0.950855 s 0.89/0.96 c 0.89/0.96 c ============================[ Search Statistics ]============================== 0.89/0.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.96 c =============================================================================== 0.89/0.96 c | 0 | 3342 6407 16528 | 5000 0 -nan | 0.000 % | 0.89/0.96 c | 102 | 3342 6407 16528 | 5500 102 16 | 11.937 % | 0.89/0.96 c =============================================================================== 0.89/0.97 c core #432 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 70 Core Weight: 1 Total Weight: 617 0.89/0.97 c Current CPU time: 0.956854 s 0.89/0.97 c 0.89/0.97 c ============================[ Search Statistics ]============================== 0.89/0.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.97 c =============================================================================== 0.89/0.97 c | 0 | 3366 6412 16587 | 5000 0 -nan | 0.000 % | 0.89/0.97 c | 100 | 3366 6412 16587 | 5500 100 16 | 11.908 % | 0.89/0.97 c | 250 | 3366 6412 16587 | 6050 250 16 | 11.908 % | 0.89/0.98 c | 476 | 3360 6412 16587 | 6655 476 20 | 12.065 % | 0.89/0.99 c | 813 | 3341 6412 16587 | 7320 813 21 | 12.588 % | 0.89/0.99 c =============================================================================== 0.89/1.00 c core #433 0.89/1.00 c 0.89/1.00 c 0.89/1.00 c Core size: 141 Core Weight: 1 Total Weight: 618 0.89/1.00 c Current CPU time: 0.979851 s 0.89/1.00 c 0.89/1.00 c ============================[ Search Statistics ]============================== 0.89/1.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/1.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/1.00 c =============================================================================== 0.89/1.00 c | 0 | 3404 6451 16803 | 5000 0 -nan | 0.000 % | 0.89/1.00 c | 100 | 3404 6451 16803 | 5500 100 34 | 12.381 % | 0.89/1.00 c | 251 | 3400 6451 16803 | 6050 251 22 | 12.484 % | 0.89/1.01 c | 476 | 3400 6451 16803 | 6655 476 19 | 12.484 % | 1.01/1.01 c =============================================================================== 1.01/1.02 c core #434 1.01/1.02 c 1.01/1.02 c 1.01/1.02 c Core size: 36 Core Weight: 1 Total Weight: 619 1.01/1.02 c Current CPU time: 0.998848 s 1.01/1.02 c 1.01/1.02 c ============================[ Search Statistics ]============================== 1.01/1.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.02 c =============================================================================== 1.01/1.02 c | 0 | 3411 6504 16957 | 5000 0 -nan | 0.000 % | 1.01/1.02 c | 100 | 3409 6504 16957 | 5500 100 16 | 12.686 % | 1.01/1.03 c | 252 | 3408 6504 16957 | 6050 252 16 | 12.686 % | 1.01/1.03 c | 478 | 3393 6504 16957 | 6655 478 16 | 13.045 % | 1.01/1.04 c | 817 | 3393 6504 16957 | 7320 817 17 | 13.045 % | 1.01/1.06 c | 1323 | 3393 6504 16957 | 8052 1323 20 | 13.045 % | 1.01/1.07 c =============================================================================== 1.01/1.08 c core #435 1.01/1.08 c 1.01/1.08 c 1.01/1.08 c Core size: 287 Core Weight: 1 Total Weight: 620 1.01/1.08 c Current CPU time: 1.05784 s 1.01/1.08 c 1.01/1.08 c ============================[ Search Statistics ]============================== 1.01/1.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.08 c =============================================================================== 1.01/1.08 c | 0 | 3538 6548 17346 | 5000 0 -nan | 0.000 % | 1.01/1.08 c | 101 | 3538 6548 17346 | 5500 101 25 | 12.534 % | 1.01/1.09 c | 251 | 3538 6548 17346 | 6050 251 21 | 12.534 % | 1.01/1.09 c | 476 | 3535 6548 17346 | 6655 476 19 | 12.608 % | 1.01/1.10 c | 813 | 3535 6548 17346 | 7320 813 20 | 12.608 % | 1.11/1.12 c | 1319 | 3535 6548 17346 | 8052 1319 21 | 12.608 % | 1.11/1.15 c | 2078 | 3535 6548 17346 | 8857 2078 22 | 12.608 % | 1.11/1.19 c | 3218 | 3531 6548 17346 | 9743 3218 21 | 12.707 % | 1.19/1.21 c =============================================================================== 1.19/1.22 c core #436 1.19/1.22 c 1.19/1.22 c 1.19/1.22 c Core size: 403 Core Weight: 1 Total Weight: 621 1.19/1.22 c Current CPU time: 1.18282 s 1.19/1.22 c 1.19/1.22 c ============================[ Search Statistics ]============================== 1.19/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.22 c =============================================================================== 1.19/1.22 c | 0 | 3709 6618 17872 | 5000 0 -nan | 0.000 % | 1.19/1.22 c | 100 | 3705 6618 17872 | 5500 100 8 | 12.352 % | 1.19/1.23 c =============================================================================== 1.19/1.23 c core #437 1.19/1.23 c 1.19/1.23 c 1.19/1.23 c Core size: 23 Core Weight: 1 Total Weight: 622 1.19/1.23 c Current CPU time: 1.19282 s 1.19/1.23 c 1.19/1.23 c ============================[ Search Statistics ]============================== 1.19/1.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.23 c =============================================================================== 1.19/1.23 c | 0 | 3721 6663 18009 | 5000 0 -nan | 0.000 % | 1.19/1.23 c | 101 | 3719 6663 18009 | 5500 101 27 | 12.175 % | 1.19/1.24 c | 251 | 3711 6663 18009 | 6050 251 18 | 12.270 % | 1.19/1.24 c =============================================================================== 1.19/1.24 c core #438 1.19/1.24 c 1.19/1.24 c 1.19/1.24 c Core size: 124 Core Weight: 1 Total Weight: 623 1.19/1.24 c Current CPU time: 1.20582 s 1.19/1.24 c 1.19/1.24 c ============================[ Search Statistics ]============================== 1.19/1.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.24 c =============================================================================== 1.19/1.24 c | 0 | 3805 6692 18260 | 5000 0 -nan | 0.000 % | 1.19/1.25 c | 101 | 3805 6692 18260 | 5500 101 10 | 12.003 % | 1.19/1.25 c =============================================================================== 1.19/1.25 c core #439 1.19/1.25 c 1.19/1.25 c 1.19/1.25 c Core size: 99 Core Weight: 1 Total Weight: 624 1.19/1.25 c Current CPU time: 1.21182 s 1.19/1.25 c 1.19/1.25 c ============================[ Search Statistics ]============================== 1.19/1.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.25 c =============================================================================== 1.19/1.25 c | 0 | 3900 6704 18480 | 5000 0 -nan | 0.000 % | 1.19/1.25 c | 102 | 3900 6704 18480 | 5500 102 20 | 11.830 % | 1.19/1.26 c | 252 | 3899 6704 18480 | 6050 252 20 | 11.830 % | 1.19/1.27 c | 477 | 3898 6704 18480 | 6655 477 23 | 11.830 % | 1.19/1.28 c | 814 | 3898 6704 18480 | 7320 814 25 | 11.830 % | 1.29/1.30 c | 1321 | 3895 6704 18480 | 8052 1321 26 | 12.124 % | 1.29/1.34 c =============================================================================== 1.29/1.34 c core #440 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 436 Core Weight: 1 Total Weight: 625 1.29/1.34 c Current CPU time: 1.3038 s 1.29/1.34 c 1.29/1.34 c ============================[ Search Statistics ]============================== 1.29/1.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.34 c =============================================================================== 1.29/1.34 c | 0 | 4011 6777 18917 | 5000 0 -nan | 0.000 % | 1.29/1.35 c | 101 | 4009 6777 18917 | 5500 101 6 | 11.909 % | 1.29/1.35 c | 252 | 4007 6777 18917 | 6050 252 7 | 11.953 % | 1.29/1.36 c | 478 | 4007 6777 18917 | 6655 478 9 | 11.954 % | 1.29/1.36 c =============================================================================== 1.29/1.37 c core #441 1.29/1.37 c 1.29/1.37 c 1.29/1.37 c Core size: 96 Core Weight: 1 Total Weight: 626 1.29/1.37 c Current CPU time: 1.3278 s 1.29/1.37 c 1.29/1.37 c ============================[ Search Statistics ]============================== 1.29/1.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.37 c =============================================================================== 1.29/1.37 c | 0 | 4023 6880 19211 | 5000 0 -nan | 0.000 % | 1.29/1.37 c | 100 | 4012 6880 19211 | 5500 100 7 | 12.219 % | 1.29/1.38 c =============================================================================== 1.29/1.38 c core #442 1.29/1.38 c 1.29/1.38 c 1.29/1.38 c Core size: 96 Core Weight: 1 Total Weight: 627 1.29/1.38 c Current CPU time: 1.3358 s 1.29/1.38 c 1.29/1.38 c ============================[ Search Statistics ]============================== 1.29/1.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.38 c =============================================================================== 1.29/1.38 c | 0 | 4003 6915 19306 | 5000 0 -nan | 0.000 % | 1.29/1.38 c =============================================================================== 1.29/1.38 c core #443 1.29/1.38 c 1.29/1.38 c 1.29/1.38 c Core size: 67 Core Weight: 1 Total Weight: 628 1.29/1.38 c Current CPU time: 1.3408 s 1.29/1.38 c 1.29/1.38 c ============================[ Search Statistics ]============================== 1.29/1.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.38 c =============================================================================== 1.29/1.38 c | 0 | 4009 6923 19337 | 5000 0 -nan | 0.000 % | 1.29/1.39 c =============================================================================== 1.29/1.39 c core #444 1.29/1.39 c 1.29/1.39 c 1.29/1.39 c Core size: 70 Core Weight: 1 Total Weight: 629 1.29/1.39 c Current CPU time: 1.3478 s 1.29/1.39 c 1.29/1.39 c ============================[ Search Statistics ]============================== 1.29/1.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.39 c =============================================================================== 1.29/1.39 c | 0 | 4008 6934 19368 | 5000 0 -nan | 0.000 % | 1.29/1.39 c =============================================================================== 1.39/1.40 c core #445 1.39/1.40 c 1.39/1.40 c 1.39/1.40 c Core size: 131 Core Weight: 1 Total Weight: 630 1.39/1.40 c Current CPU time: 1.35279 s 1.39/1.40 c 1.39/1.40 c ============================[ Search Statistics ]============================== 1.39/1.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.40 c =============================================================================== 1.39/1.40 c | 0 | 3795 6938 19408 | 5000 0 -nan | 0.000 % | 1.39/1.40 c =============================================================================== 1.39/1.40 c core #446 1.39/1.40 c 1.39/1.40 c 1.39/1.40 c Core size: 244 Core Weight: 1 Total Weight: 631 1.39/1.40 c Current CPU time: 1.35679 s 1.39/1.40 c 1.39/1.40 c ============================[ Search Statistics ]============================== 1.39/1.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.40 c =============================================================================== 1.39/1.40 c | 0 | 3137 6943 19430 | 5000 0 -nan | 0.000 % | 1.39/1.40 c =============================================================================== 1.39/1.41 c core #447 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 255 Core Weight: 1 Total Weight: 632 1.39/1.41 c Current CPU time: 1.36279 s 1.39/1.41 c 1.39/1.41 c ============================[ Search Statistics ]============================== 1.39/1.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.41 c =============================================================================== 1.39/1.41 c | 0 | 3150 6944 19456 | 5000 0 -nan | 0.000 % | 1.39/1.41 c | 103 | 3150 6944 19456 | 5500 103 18 | 32.068 % | 1.39/1.41 c =============================================================================== 1.39/1.41 c core #448 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 256 Core Weight: 1 Total Weight: 633 1.39/1.41 c Current CPU time: 1.36779 s 1.39/1.41 c 1.39/1.41 c ============================[ Search Statistics ]============================== 1.39/1.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.41 c =============================================================================== 1.39/1.41 c | 0 | 3164 6945 19484 | 5000 0 -nan | 0.000 % | 1.39/1.42 c | 103 | 3164 6945 19484 | 5500 103 25 | 31.972 % | 1.39/1.42 c | 254 | 3164 6945 19484 | 6050 254 25 | 32.058 % | 1.39/1.42 c | 479 | 3159 6945 19484 | 6655 479 27 | 32.079 % | 1.39/1.42 c =============================================================================== 1.39/1.43 c core #449 1.39/1.43 c 1.39/1.43 c 1.39/1.43 c Core size: 255 Core Weight: 1 Total Weight: 634 1.39/1.43 c Current CPU time: 1.38179 s 1.39/1.43 c 1.39/1.43 c ============================[ Search Statistics ]============================== 1.39/1.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.43 c =============================================================================== 1.39/1.43 c | 0 | 3178 6946 19512 | 5000 0 -nan | 0.000 % | 1.39/1.43 c | 103 | 3178 6946 19512 | 5500 103 32 | 31.876 % | 1.39/1.43 c =============================================================================== 1.39/1.44 c core #450 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 182 Core Weight: 1 Total Weight: 635 1.39/1.44 c Current CPU time: 1.38779 s 1.39/1.44 c 1.39/1.44 c ============================[ Search Statistics ]============================== 1.39/1.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.44 c =============================================================================== 1.39/1.44 c | 0 | 3187 6947 19530 | 5000 0 -nan | 0.000 % | 1.39/1.44 c | 103 | 3187 6947 19530 | 5500 103 32 | 31.814 % | 1.39/1.44 c =============================================================================== 1.39/1.44 c core #451 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 101 Core Weight: 1 Total Weight: 636 1.39/1.44 c Current CPU time: 1.39379 s 1.39/1.44 c 1.39/1.44 c ============================[ Search Statistics ]============================== 1.39/1.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.44 c =============================================================================== 1.39/1.44 c | 0 | 3195 6948 19546 | 5000 0 -nan | 0.000 % | 1.39/1.45 c | 103 | 3195 6948 19546 | 5500 103 32 | 31.760 % | 1.39/1.45 c =============================================================================== 1.39/1.45 c core #452 1.39/1.45 c 1.39/1.45 c 1.39/1.45 c Core size: 211 Core Weight: 1 Total Weight: 637 1.39/1.45 c Current CPU time: 1.40179 s 1.39/1.45 c 1.39/1.45 c ============================[ Search Statistics ]============================== 1.39/1.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.45 c =============================================================================== 1.39/1.45 c | 0 | 3210 6949 19576 | 5000 0 -nan | 0.000 % | 1.39/1.45 c | 103 | 3210 6949 19576 | 5500 103 32 | 31.659 % | 1.39/1.46 c | 253 | 3207 6949 19576 | 6050 253 26 | 31.786 % | 1.39/1.46 c =============================================================================== 1.39/1.46 c core #453 1.39/1.46 c 1.39/1.46 c 1.39/1.46 c Core size: 279 Core Weight: 1 Total Weight: 638 1.39/1.46 c Current CPU time: 1.41278 s 1.39/1.46 c 1.39/1.46 c ============================[ Search Statistics ]============================== 1.39/1.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.46 c =============================================================================== 1.39/1.46 c | 0 | 3237 6950 19626 | 5000 0 -nan | 0.000 % | 1.39/1.46 c | 100 | 3237 6950 19626 | 5500 100 31 | 31.449 % | 1.39/1.47 c =============================================================================== 1.39/1.47 c core #454 1.39/1.47 c 1.39/1.47 c 1.39/1.47 c Core size: 37 Core Weight: 1 Total Weight: 639 1.39/1.47 c Current CPU time: 1.41878 s 1.39/1.47 c 1.39/1.47 c ============================[ Search Statistics ]============================== 1.39/1.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.47 c =============================================================================== 1.39/1.47 c | 0 | 3241 6951 19634 | 5000 0 -nan | 0.000 % | 1.39/1.47 c | 100 | 3241 6951 19634 | 5500 100 31 | 31.422 % | 1.39/1.47 c =============================================================================== 1.39/1.48 c core #455 1.39/1.48 c 1.39/1.48 c 1.39/1.48 c Core size: 375 Core Weight: 1 Total Weight: 640 1.39/1.48 c Current CPU time: 1.42578 s 1.39/1.48 c 1.39/1.48 c ============================[ Search Statistics ]============================== 1.39/1.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.48 c =============================================================================== 1.39/1.48 c | 0 | 3246 6952 19644 | 5000 0 -nan | 0.000 % | 1.39/1.48 c | 100 | 3246 6952 19644 | 5500 100 31 | 31.389 % | 1.39/1.48 c | 251 | 3246 6952 19644 | 6050 251 22 | 31.389 % | 1.39/1.48 c | 476 | 3243 6952 19644 | 6655 476 28 | 31.452 % | 1.39/1.49 c | 816 | 3243 6952 19644 | 7320 816 32 | 31.452 % | 1.49/1.51 c | 1322 | 3242 6952 19644 | 8052 1322 35 | 31.473 % | 1.49/1.54 c | 2082 | 3230 6952 19644 | 8857 2082 37 | 31.727 % | 1.49/1.57 c =============================================================================== 1.49/1.58 c core #456 1.49/1.58 c 1.49/1.58 c 1.49/1.58 c Core size: 276 Core Weight: 1 Total Weight: 641 1.49/1.58 c Current CPU time: 1.51977 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 | 3274 6953 19700 | 5000 0 -nan | 0.000 % | 1.49/1.58 c | 100 | 3274 6953 19700 | 5500 100 37 | 31.204 % | 1.49/1.58 c =============================================================================== 1.49/1.58 c core #457 1.49/1.58 c 1.49/1.58 c 1.49/1.58 c Core size: 354 Core Weight: 1 Total Weight: 642 1.49/1.58 c Current CPU time: 1.52677 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 | 3279 6954 19710 | 5000 0 -nan | 0.000 % | 1.49/1.59 c | 100 | 3279 6954 19710 | 5500 100 37 | 31.171 % | 1.49/1.59 c =============================================================================== 1.49/1.59 c core #458 1.49/1.59 c 1.49/1.59 c 1.49/1.59 c Core size: 182 Core Weight: 1 Total Weight: 643 1.49/1.59 c Current CPU time: 1.53477 s 1.49/1.59 c 1.49/1.59 c ============================[ Search Statistics ]============================== 1.49/1.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.59 c =============================================================================== 1.49/1.59 c | 0 | 3288 6955 19728 | 5000 0 -nan | 0.000 % | 1.49/1.59 c | 100 | 3288 6955 19728 | 5500 100 37 | 31.113 % | 1.59/1.60 c =============================================================================== 1.59/1.60 c core #459 1.59/1.60 c 1.59/1.60 c 1.59/1.60 c Core size: 338 Core Weight: 1 Total Weight: 644 1.59/1.60 c Current CPU time: 1.54377 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 | 3304 6956 19760 | 5000 0 -nan | 0.000 % | 1.59/1.60 c | 100 | 3304 6956 19760 | 5500 100 37 | 31.009 % | 1.59/1.60 c =============================================================================== 1.59/1.61 c core #460 1.59/1.61 c 1.59/1.61 c 1.59/1.61 c Core size: 378 Core Weight: 1 Total Weight: 645 1.59/1.61 c Current CPU time: 1.55076 s 1.59/1.61 c 1.59/1.61 c ============================[ Search Statistics ]============================== 1.59/1.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.61 c =============================================================================== 1.59/1.61 c | 0 | 3312 6957 19776 | 5000 0 -nan | 0.000 % | 1.59/1.61 c | 100 | 3312 6957 19776 | 5500 100 37 | 30.957 % | 1.59/1.61 c | 250 | 3312 6957 19776 | 6050 250 27 | 30.957 % | 1.59/1.62 c | 475 | 3312 6957 19776 | 6655 475 26 | 30.957 % | 1.59/1.62 c =============================================================================== 1.59/1.63 c core #461 1.59/1.63 c 1.59/1.63 c 1.59/1.63 c Core size: 273 Core Weight: 1 Total Weight: 646 1.59/1.63 c Current CPU time: 1.56876 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 | 3339 6958 19830 | 5000 0 -nan | 0.000 % | 1.59/1.63 c | 100 | 3339 6958 19830 | 5500 100 37 | 30.784 % | 1.59/1.63 c =============================================================================== 1.59/1.64 c core #462 1.59/1.64 c 1.59/1.64 c 1.59/1.64 c Core size: 361 Core Weight: 1 Total Weight: 647 1.59/1.64 c Current CPU time: 1.57476 s 1.59/1.64 c 1.59/1.64 c ============================[ Search Statistics ]============================== 1.59/1.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.64 c =============================================================================== 1.59/1.64 c | 0 | 3348 6959 19848 | 5000 0 -nan | 0.000 % | 1.59/1.64 c | 100 | 3348 6959 19848 | 5500 100 37 | 30.726 % | 1.59/1.64 c =============================================================================== 1.59/1.64 c core #463 1.59/1.64 c 1.59/1.64 c 1.59/1.64 c Core size: 211 Core Weight: 1 Total Weight: 648 1.59/1.64 c Current CPU time: 1.58076 s 1.59/1.64 c 1.59/1.64 c ============================[ Search Statistics ]============================== 1.59/1.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.64 c =============================================================================== 1.59/1.64 c | 0 | 3352 6960 19856 | 5000 0 -nan | 0.000 % | 1.59/1.64 c | 100 | 3352 6960 19856 | 5500 100 37 | 30.701 % | 1.59/1.65 c | 253 | 3352 6960 19856 | 6050 253 32 | 30.701 % | 1.59/1.65 c | 480 | 3352 6960 19856 | 6655 480 32 | 30.701 % | 1.59/1.66 c | 819 | 3352 6960 19856 | 7320 819 41 | 30.701 % | 1.59/1.68 c | 1325 | 3352 6960 19856 | 8052 1325 45 | 30.701 % | 1.69/1.70 c | 2087 | 3352 6960 19856 | 8857 2087 44 | 30.701 % | 1.69/1.74 c =============================================================================== 1.69/1.75 c core #464 1.69/1.75 c 1.69/1.75 c 1.69/1.75 c Core size: 306 Core Weight: 1 Total Weight: 649 1.69/1.75 c Current CPU time: 1.68274 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 | 3380 6961 19912 | 5000 0 -nan | 0.000 % | 1.69/1.75 c | 100 | 3380 6961 19912 | 5500 100 37 | 30.524 % | 1.69/1.76 c | 250 | 3377 6961 19912 | 6050 250 28 | 30.586 % | 1.69/1.76 c =============================================================================== 1.69/1.76 c core #465 1.69/1.76 c 1.69/1.76 c 1.69/1.76 c Core size: 396 Core Weight: 1 Total Weight: 650 1.69/1.76 c Current CPU time: 1.69374 s 1.69/1.76 c 1.69/1.76 c ============================[ Search Statistics ]============================== 1.69/1.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.76 c =============================================================================== 1.69/1.76 c | 0 | 3398 6962 19942 | 5000 0 -nan | 0.000 % | 1.69/1.76 c | 100 | 3398 6962 19942 | 5500 100 42 | 30.369 % | 1.69/1.77 c | 257 | 3392 6962 19942 | 6050 257 40 | 30.512 % | 1.69/1.77 c =============================================================================== 1.69/1.77 c core #466 1.69/1.77 c 1.69/1.77 c 1.69/1.77 c Core size: 237 Core Weight: 1 Total Weight: 651 1.69/1.77 c Current CPU time: 1.70174 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 | 3405 6963 19956 | 5000 0 -nan | 0.000 % | 1.69/1.77 c | 100 | 3405 6963 19956 | 5500 100 42 | 30.325 % | 1.69/1.78 c | 250 | 3404 6963 19956 | 6050 250 32 | 30.346 % | 1.69/1.78 c =============================================================================== 1.69/1.79 c core #467 1.69/1.79 c 1.69/1.79 c 1.69/1.79 c Core size: 376 Core Weight: 1 Total Weight: 652 1.69/1.79 c Current CPU time: 1.71874 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 | 3420 6964 19986 | 5000 0 -nan | 0.000 % | 1.69/1.79 c | 100 | 3420 6964 19986 | 5500 100 42 | 30.233 % | 1.69/1.79 c | 252 | 3420 6964 19986 | 6050 252 31 | 30.233 % | 1.79/1.80 c | 477 | 3420 6964 19986 | 6655 477 40 | 30.233 % | 1.79/1.81 c | 814 | 3420 6964 19986 | 7320 814 44 | 30.233 % | 1.79/1.82 c | 1322 | 3420 6964 19986 | 8052 1322 47 | 30.233 % | 1.79/1.84 c | 2082 | 3419 6964 19986 | 8857 2082 44 | 30.253 % | 1.79/1.88 c | 3221 | 3419 6964 19986 | 9743 3221 47 | 30.253 % | 1.90/1.96 c | 4931 | 3419 6964 19986 | 10717 4931 52 | 30.253 % | 1.99/2.09 c | 7493 | 3419 6964 19986 | 11789 7493 56 | 30.253 % | 2.21/2.28 c =============================================================================== 2.21/2.29 c core #468 2.21/2.29 c 2.21/2.29 c 2.21/2.29 c Core size: 252 Core Weight: 1 Total Weight: 653 2.21/2.29 c Current CPU time: 2.19767 s 2.21/2.29 c 2.21/2.29 c ============================[ Search Statistics ]============================== 2.21/2.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.21/2.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.21/2.29 c =============================================================================== 2.21/2.29 c | 0 | 3452 6965 20050 | 5000 0 -nan | 0.000 % | 2.21/2.30 c | 100 | 3452 6965 20050 | 5500 100 42 | 30.036 % | 2.29/2.30 c | 252 | 3452 6965 20050 | 6050 252 36 | 30.036 % | 2.29/2.30 c | 477 | 3449 6965 20050 | 6655 477 40 | 30.138 % | 2.29/2.31 c | 815 | 3449 6965 20050 | 7320 815 42 | 30.138 % | 2.29/2.33 c | 1323 | 3449 6965 20050 | 8052 1323 57 | 30.138 % | 2.29/2.35 c | 2084 | 3447 6965 20050 | 8857 2084 63 | 30.138 % | 2.29/2.39 c | 3223 | 3447 6965 20050 | 9743 3223 72 | 30.138 % | 2.50/2.50 c | 4931 | 3443 6965 20050 | 10717 4931 77 | 30.219 % | 2.59/2.68 c | 7496 | 3442 6965 20050 | 11789 7496 77 | 30.543 % | 3.09/3.12 c | 11341 | 3427 6965 20050 | 12968 11341 81 | 30.543 % | 4.49/4.50 c | 17108 | 3427 6965 20050 | 14265 9797 86 | 30.543 % | 6.10/6.17 c | 25757 | 3424 6965 20050 | 15692 10493 85 | 30.604 % | 7.79/7.83 c | 38733 | 3424 6965 20050 | 17261 14767 76 | 30.685 % | 8.20/8.28 c =============================================================================== 8.20/8.29 c core #469 8.20/8.29 c 8.20/8.29 c 8.20/8.29 c Core size: 415 Core Weight: 1 Total Weight: 654 8.20/8.29 c Current CPU time: 8.11077 s 8.20/8.29 c 8.20/8.29 c ============================[ Search Statistics ]============================== 8.20/8.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.20/8.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.20/8.29 c =============================================================================== 8.20/8.29 c | 0 | 3458 6966 20062 | 5000 0 -nan | 0.000 % | 8.29/8.30 c | 100 | 3458 6966 20062 | 5500 100 28 | 30.000 % | 8.29/8.30 c | 251 | 3456 6966 20062 | 6050 251 21 | 30.040 % | 8.29/8.30 c =============================================================================== 8.29/8.31 c core #470 8.29/8.31 c 8.29/8.31 c 8.29/8.31 c Core size: 332 Core Weight: 1 Total Weight: 655 8.29/8.31 c Current CPU time: 8.13576 s 8.29/8.31 c 8.29/8.31 c ============================[ Search Statistics ]============================== 8.29/8.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.29/8.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.29/8.31 c =============================================================================== 8.29/8.31 c | 0 | 3478 6967 20102 | 5000 0 -nan | 0.000 % | 8.29/8.31 c | 100 | 3478 6967 20102 | 5500 100 42 | 29.879 % | 8.29/8.31 c | 250 | 3477 6967 20102 | 6050 250 35 | 29.899 % | 8.29/8.32 c | 476 | 3476 6967 20102 | 6655 476 40 | 29.960 % | 8.29/8.32 c | 815 | 3476 6967 20102 | 7320 815 38 | 29.960 % | 8.29/8.34 c | 1321 | 3476 6967 20102 | 8052 1321 44 | 29.960 % | 8.29/8.36 c | 2083 | 3474 6967 20102 | 8857 2083 47 | 29.960 % | 8.29/8.39 c | 3222 | 3473 6967 20102 | 9743 3222 55 | 29.980 % | 8.39/8.48 c | 4930 | 3469 6967 20102 | 10717 4930 62 | 30.060 % | 8.71/8.72 c | 7492 | 3469 6967 20102 | 11789 7492 73 | 30.060 % | 9.29/9.34 c | 11336 | 3469 6967 20102 | 12968 11336 87 | 30.060 % | 10.29/10.30 c | 17102 | 3469 6967 20102 | 14265 9772 96 | 30.141 % | 11.69/11.71 c | 25751 | 3469 6967 20102 | 15692 10443 92 | 30.141 % | 14.21/14.24 c | 38726 | 3468 6967 20102 | 17261 14738 99 | 30.282 % | 17.39/17.43 c =============================================================================== 17.69/17.76 c core #471 17.69/17.76 c 17.69/17.76 c 17.69/17.76 c Core size: 391 Core Weight: 1 Total Weight: 656 17.69/17.76 c Current CPU time: 17.4563 s 17.69/17.76 c 17.69/17.76 c ============================[ Search Statistics ]============================== 17.69/17.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.69/17.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.69/17.76 c =============================================================================== 17.69/17.76 c | 0 | 3534 6968 20214 | 5000 0 -nan | 0.000 % | 17.69/17.76 c | 100 | 3534 6968 20214 | 5500 100 50 | 29.545 % | 17.69/17.76 c | 250 | 3534 6968 20214 | 6050 250 40 | 29.545 % | 17.69/17.77 c | 475 | 3534 6968 20214 | 6655 475 47 | 29.545 % | 17.69/17.77 c =============================================================================== 17.69/17.77 c core #472 17.69/17.77 c 17.69/17.77 c 17.69/17.77 c Core size: 241 Core Weight: 1 Total Weight: 657 17.69/17.77 c Current CPU time: 17.4943 s 17.69/17.77 c 17.69/17.77 c ============================[ Search Statistics ]============================== 17.69/17.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.69/17.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.69/17.77 c =============================================================================== 17.69/17.77 c | 0 | 3545 6969 20236 | 5000 0 -nan | 0.000 % | 17.69/17.78 c | 100 | 3545 6969 20236 | 5500 100 46 | 29.481 % | 17.69/17.78 c | 250 | 3545 6969 20236 | 6050 250 29 | 29.481 % | 17.69/17.78 c | 477 | 3545 6969 20236 | 6655 477 26 | 29.481 % | 17.69/17.79 c =============================================================================== 17.69/17.79 c core #473 17.69/17.79 c 17.69/17.79 c 17.69/17.79 c Core size: 137 Core Weight: 1 Total Weight: 658 17.69/17.79 c Current CPU time: 17.5103 s 17.69/17.79 c 17.69/17.79 c ============================[ Search Statistics ]============================== 17.69/17.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.69/17.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.69/17.79 c =============================================================================== 17.69/17.79 c | 0 | 3561 6970 20268 | 5000 0 -nan | 0.000 % | 17.69/17.79 c | 100 | 3561 6970 20268 | 5500 100 45 | 29.387 % | 17.80/17.80 c | 251 | 3561 6970 20268 | 6050 251 31 | 29.387 % | 17.80/17.80 c | 476 | 3561 6970 20268 | 6655 476 31 | 29.387 % | 17.80/17.81 c | 813 | 3561 6970 20268 | 7320 813 31 | 29.387 % | 17.80/17.83 c =============================================================================== 17.80/17.84 c core #474 17.80/17.84 c 17.80/17.84 c 17.80/17.84 c Core size: 329 Core Weight: 1 Total Weight: 659 17.80/17.84 c Current CPU time: 17.5553 s 17.80/17.84 c 17.80/17.84 c ============================[ Search Statistics ]============================== 17.80/17.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.80/17.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.80/17.84 c =============================================================================== 17.80/17.84 c | 0 | 3579 6971 20304 | 5000 0 -nan | 0.000 % | 17.80/17.84 c | 104 | 3579 6971 20304 | 5500 104 44 | 29.283 % | 17.80/17.84 c | 254 | 3574 6971 20304 | 6050 254 34 | 29.382 % | 17.80/17.85 c =============================================================================== 17.80/17.85 c core #475 17.80/17.85 c 17.80/17.85 c 17.80/17.85 c Core size: 413 Core Weight: 1 Total Weight: 660 17.80/17.85 c Current CPU time: 17.5683 s 17.80/17.85 c 17.80/17.85 c ============================[ Search Statistics ]============================== 17.80/17.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.80/17.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.80/17.85 c =============================================================================== 17.80/17.85 c | 0 | 3597 6972 20340 | 5000 0 -nan | 0.000 % | 17.80/17.85 c | 100 | 3597 6972 20340 | 5500 100 50 | 29.179 % | 17.80/17.86 c | 251 | 3597 6972 20340 | 6050 251 36 | 29.179 % | 17.80/17.86 c | 476 | 3597 6972 20340 | 6655 476 39 | 29.179 % | 17.80/17.87 c | 816 | 3594 6972 20340 | 7320 816 44 | 29.238 % | 17.89/17.90 c | 1322 | 3594 6972 20340 | 8052 1322 48 | 29.238 % | 17.89/17.92 c | 2081 | 3594 6972 20340 | 8857 2081 48 | 29.238 % | 17.89/17.99 c | 3221 | 3594 6972 20340 | 9743 3221 49 | 29.238 % | 18.09/18.11 c | 4931 | 3594 6972 20340 | 10717 4931 49 | 29.238 % | 18.19/18.24 c =============================================================================== 18.19/18.27 c core #476 18.19/18.27 c 18.19/18.27 c 18.19/18.27 c Core size: 350 Core Weight: 1 Total Weight: 661 18.19/18.27 c Current CPU time: 17.9683 s 18.19/18.27 c 18.19/18.27 c ============================[ Search Statistics ]============================== 18.19/18.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.19/18.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.19/18.27 c =============================================================================== 18.19/18.27 c | 0 | 3622 6973 20390 | 5000 0 -nan | 0.000 % | 18.19/18.27 c | 100 | 3622 6973 20390 | 5500 100 50 | 29.036 % | 18.19/18.28 c | 251 | 3622 6973 20390 | 6050 251 29 | 29.036 % | 18.19/18.28 c =============================================================================== 18.19/18.28 c core #477 18.19/18.28 c 18.19/18.28 c 18.19/18.28 c Core size: 244 Core Weight: 1 Total Weight: 662 18.19/18.28 c Current CPU time: 17.9783 s 18.19/18.28 c 18.19/18.28 c ============================[ Search Statistics ]============================== 18.19/18.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.19/18.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.19/18.28 c =============================================================================== 18.19/18.28 c | 0 | 3635 6974 20416 | 5000 0 -nan | 0.000 % | 18.19/18.28 c | 102 | 3635 6974 20416 | 5500 102 49 | 28.962 % | 18.19/18.29 c | 252 | 3635 6974 20416 | 6050 252 40 | 28.962 % | 18.19/18.29 c | 478 | 3633 6974 20416 | 6655 478 35 | 29.001 % | 18.29/18.30 c | 818 | 3629 6974 20416 | 7320 818 44 | 29.080 % | 18.29/18.32 c | 1324 | 3626 6974 20416 | 8052 1324 61 | 29.138 % | 18.29/18.37 c | 2085 | 3626 6974 20416 | 8857 2085 82 | 29.138 % | 18.39/18.48 c | 3224 | 3626 6974 20416 | 9743 3224 93 | 29.138 % | 18.61/18.70 c | 4935 | 3626 6974 20416 | 10717 4935 104 | 29.138 % | 19.09/19.14 c | 7499 | 3626 6974 20416 | 11789 7499 115 | 29.138 % | 19.81/19.83 c | 11344 | 3622 6974 20416 | 12968 11344 116 | 29.275 % | 20.91/20.93 c | 17114 | 3622 6974 20416 | 14265 9828 119 | 29.275 % | 22.80/22.86 c | 25763 | 3622 6974 20416 | 15692 10502 120 | 29.470 % | 25.80/25.80 c | 38738 | 3609 6974 20416 | 17261 14776 117 | 29.470 % | 28.69/28.78 c =============================================================================== 28.79/28.80 c core #478 28.79/28.80 c 28.79/28.80 c 28.79/28.80 c Core size: 417 Core Weight: 1 Total Weight: 663 28.79/28.80 c Current CPU time: 28.3657 s 28.79/28.80 c 28.79/28.80 c ============================[ Search Statistics ]============================== 28.79/28.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.79/28.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.79/28.80 c =============================================================================== 28.79/28.80 c | 0 | 3641 6975 20428 | 5000 0 -nan | 0.000 % | 28.79/28.80 c | 101 | 3641 6975 20428 | 5500 101 24 | 28.928 % | 28.79/28.80 c | 253 | 3641 6975 20428 | 6050 253 33 | 28.928 % | 28.79/28.81 c | 481 | 3641 6975 20428 | 6655 481 39 | 28.928 % | 28.79/28.82 c | 820 | 3641 6975 20428 | 7320 820 39 | 28.928 % | 28.79/28.84 c | 1326 | 3626 6975 20428 | 8052 1326 39 | 29.221 % | 28.79/28.85 c =============================================================================== 28.79/28.85 c core #479 28.79/28.85 c 28.79/28.85 c 28.79/28.85 c Core size: 140 Core Weight: 1 Total Weight: 664 28.79/28.85 c Current CPU time: 28.4327 s 28.79/28.85 c 28.79/28.85 c ============================[ Search Statistics ]============================== 28.79/28.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.79/28.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.79/28.85 c =============================================================================== 28.79/28.85 c | 0 | 3660 6976 20466 | 5000 0 -nan | 0.000 % | 28.79/28.86 c | 100 | 3660 6976 20466 | 5500 100 50 | 28.821 % | 28.79/28.86 c | 252 | 3660 6976 20466 | 6050 252 33 | 28.821 % | 28.79/28.86 c | 478 | 3660 6976 20466 | 6655 478 33 | 28.821 % | 28.79/28.87 c | 816 | 3660 6976 20466 | 7320 816 34 | 28.821 % | 28.79/28.89 c | 1323 | 3660 6976 20466 | 8052 1323 36 | 28.821 % | 28.89/28.92 c =============================================================================== 28.89/28.93 c core #480 28.89/28.93 c 28.89/28.93 c 28.89/28.93 c Core size: 409 Core Weight: 1 Total Weight: 665 28.89/28.93 c Current CPU time: 28.5017 s 28.89/28.93 c 28.89/28.93 c ============================[ Search Statistics ]============================== 28.89/28.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.89/28.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.89/28.93 c =============================================================================== 28.89/28.93 c | 0 | 3680 6977 20506 | 5000 0 -nan | 0.000 % | 28.89/28.93 c | 100 | 3680 6977 20506 | 5500 100 50 | 28.710 % | 28.89/28.93 c | 251 | 3679 6977 20506 | 6050 251 32 | 28.729 % | 28.89/28.94 c | 478 | 3679 6977 20506 | 6655 478 29 | 28.729 % | 28.89/28.94 c | 819 | 3678 6977 20506 | 7320 819 29 | 28.749 % | 28.89/28.94 c =============================================================================== 28.89/28.95 c core #481 28.89/28.95 c 28.89/28.95 c 28.89/28.95 c Core size: 263 Core Weight: 1 Total Weight: 666 28.89/28.95 c Current CPU time: 28.5227 s 28.89/28.95 c 28.89/28.95 c ============================[ Search Statistics ]============================== 28.89/28.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.89/28.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.89/28.95 c =============================================================================== 28.89/28.95 c | 0 | 3699 6978 20544 | 5000 0 -nan | 0.000 % | 28.89/28.95 c | 100 | 3699 6978 20544 | 5500 100 35 | 28.605 % | 28.89/28.96 c | 250 | 3699 6978 20544 | 6050 250 38 | 28.605 % | 28.89/28.96 c | 476 | 3699 6978 20544 | 6655 476 38 | 28.605 % | 28.89/28.97 c | 813 | 3699 6978 20544 | 7320 813 39 | 28.605 % | 28.89/28.98 c | 1319 | 3698 6978 20544 | 8052 1319 42 | 28.624 % | 29.00/29.01 c | 2078 | 3698 6978 20544 | 8857 2078 50 | 28.643 % | 29.00/29.05 c | 3217 | 3696 6978 20544 | 9743 3217 70 | 28.682 % | 29.09/29.15 c | 4925 | 3695 6978 20544 | 10717 4925 81 | 28.682 % | 29.39/29.42 c | 7488 | 3695 6978 20544 | 11789 7488 89 | 28.682 % | 30.09/30.10 c | 11332 | 3691 6978 20544 | 12968 11332 97 | 28.759 % | 31.70/31.74 c | 17098 | 3691 6978 20544 | 14265 9756 112 | 28.836 % | 33.79/33.86 c | 25750 | 3691 6978 20544 | 15692 10455 101 | 28.855 % | 36.31/36.34 c | 38724 | 3686 6978 20544 | 17261 14734 101 | 28.855 % | 40.61/40.67 c | 58190 | 3682 6978 20544 | 18987 15327 94 | 28.933 % | 43.91/43.98 c =============================================================================== 44.29/44.36 c core #482 44.29/44.36 c 44.29/44.36 c 44.29/44.36 c Core size: 485 Core Weight: 1 Total Weight: 667 44.29/44.36 c Current CPU time: 43.7364 s 44.29/44.36 c 44.29/44.36 c ============================[ Search Statistics ]============================== 44.29/44.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.29/44.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.29/44.36 c =============================================================================== 44.29/44.36 c | 0 | 3757 6979 20660 | 5000 0 -nan | 0.000 % | 44.29/44.37 c | 101 | 3757 6979 20660 | 5500 101 51 | 28.288 % | 44.29/44.37 c | 252 | 3757 6979 20660 | 6050 252 37 | 28.288 % | 44.29/44.37 c | 482 | 3757 6979 20660 | 6655 482 48 | 28.288 % | 44.29/44.38 c | 821 | 3757 6979 20660 | 7320 821 49 | 28.288 % | 44.29/44.40 c | 1328 | 3757 6979 20660 | 8052 1328 67 | 28.288 % | 44.39/44.42 c | 2089 | 3757 6979 20660 | 8857 2089 74 | 28.288 % | 44.39/44.44 c =============================================================================== 44.39/44.45 c core #483 44.39/44.45 c 44.39/44.45 c 44.39/44.45 c Core size: 319 Core Weight: 1 Total Weight: 668 44.39/44.45 c Current CPU time: 43.8453 s 44.39/44.45 c 44.39/44.45 c ============================[ Search Statistics ]============================== 44.39/44.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.39/44.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.39/44.45 c =============================================================================== 44.39/44.45 c | 0 | 3763 6980 20672 | 5000 0 -nan | 0.000 % | 44.39/44.45 c | 100 | 3763 6980 20672 | 5500 100 50 | 28.255 % | 44.39/44.46 c | 250 | 3762 6980 20672 | 6050 250 34 | 28.275 % | 44.39/44.46 c | 479 | 3761 6980 20672 | 6655 479 35 | 28.294 % | 44.39/44.47 c | 816 | 3751 6980 20672 | 7320 816 40 | 28.484 % | 44.39/44.49 c | 1322 | 3750 6980 20672 | 8052 1322 48 | 28.561 % | 44.50/44.52 c =============================================================================== 44.50/44.53 c core #484 44.50/44.53 c 44.50/44.53 c 44.50/44.53 c Core size: 457 Core Weight: 1 Total Weight: 669 44.50/44.53 c Current CPU time: 43.9153 s 44.50/44.53 c 44.50/44.53 c ============================[ Search Statistics ]============================== 44.50/44.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.50/44.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.50/44.53 c =============================================================================== 44.50/44.53 c | 0 | 3800 6981 20746 | 5000 0 -nan | 0.000 % | 44.50/44.53 c | 101 | 3800 6981 20746 | 5500 101 42 | 28.058 % | 44.50/44.53 c | 254 | 3799 6981 20746 | 6050 254 35 | 28.076 % | 44.50/44.54 c | 479 | 3799 6981 20746 | 6655 479 41 | 28.076 % | 44.50/44.54 c | 816 | 3799 6981 20746 | 7320 816 46 | 28.076 % | 44.50/44.55 c | 1323 | 3799 6981 20746 | 8052 1323 51 | 28.076 % | 44.50/44.57 c | 2083 | 3792 6981 20746 | 8857 2083 46 | 28.247 % | 44.59/44.62 c | 3222 | 3792 6981 20746 | 9743 3222 66 | 28.247 % | 44.69/44.71 c | 4937 | 3790 6981 20746 | 10717 4937 79 | 28.247 % | 44.90/45.00 c | 7501 | 3790 6981 20746 | 11789 7501 101 | 28.304 % | 45.39/45.44 c | 11345 | 3790 6981 20746 | 12968 11345 109 | 28.304 % | 46.11/46.11 c | 17112 | 3787 6981 20746 | 14265 9832 124 | 28.304 % | 47.21/47.26 c | 25766 | 3787 6981 20746 | 15692 10529 121 | 28.304 % | 49.51/49.58 c | 38740 | 3787 6981 20746 | 17261 14829 134 | 28.304 % | 52.60/52.63 c | 58203 | 3787 6981 20746 | 18987 15150 57 | 28.304 % | 54.91/54.92 c =============================================================================== 55.01/55.07 c core #485 55.01/55.07 c 55.01/55.07 c 55.01/55.07 c Core size: 338 Core Weight: 1 Total Weight: 670 55.01/55.07 c Current CPU time: 54.2568 s 55.01/55.07 c 55.01/55.07 c ============================[ Search Statistics ]============================== 55.01/55.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 55.01/55.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 55.01/55.07 c =============================================================================== 55.01/55.07 c | 0 | 3824 6982 20794 | 5000 0 -nan | 0.000 % | 55.01/55.07 c | 100 | 3824 6982 20794 | 5500 100 50 | 27.931 % | 55.01/55.07 c | 252 | 3823 6982 20794 | 6050 252 32 | 27.949 % | 55.01/55.08 c =============================================================================== 55.01/55.08 c core #486 55.01/55.08 c 55.01/55.08 c 55.01/55.08 c Core size: 420 Core Weight: 1 Total Weight: 671 55.01/55.08 c Current CPU time: 54.2957 s 55.01/55.08 c 55.01/55.08 c ============================[ Search Statistics ]============================== 55.01/55.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 55.01/55.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 55.01/55.08 c =============================================================================== 55.01/55.08 c | 0 | 3843 6983 20832 | 5000 0 -nan | 0.000 % | 55.01/55.08 c | 101 | 3843 6983 20832 | 5500 101 56 | 27.831 % | 55.01/55.09 c | 254 | 3842 6983 20832 | 6050 254 52 | 27.887 % | 55.01/55.09 c =============================================================================== 55.10/55.10 c core #487 55.10/55.10 c 55.10/55.10 c 55.10/55.10 c Core size: 306 Core Weight: 1 Total Weight: 672 55.10/55.10 c Current CPU time: 54.3087 s 55.10/55.10 c 55.10/55.10 c ============================[ Search Statistics ]============================== 55.10/55.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 55.10/55.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 55.10/55.10 c =============================================================================== 55.10/55.10 c | 0 | 3849 6984 20844 | 5000 0 -nan | 0.000 % | 55.10/55.10 c | 100 | 3849 6984 20844 | 5500 100 51 | 27.800 % | 55.10/55.10 c | 250 | 3848 6984 20844 | 6050 250 39 | 27.856 % | 55.10/55.11 c | 475 | 3846 6984 20844 | 6655 475 37 | 27.856 % | 55.10/55.12 c | 813 | 3846 6984 20844 | 7320 813 36 | 27.856 % | 55.10/55.13 c | 1319 | 3845 6984 20844 | 8052 1319 44 | 27.875 % | 55.10/55.16 c | 2080 | 3845 6984 20844 | 8857 2080 52 | 27.875 % | 55.19/55.21 c | 3219 | 3845 6984 20844 | 9743 3219 52 | 27.875 % | 55.29/55.34 c | 4927 | 3845 6984 20844 | 10717 4927 59 | 27.875 % | 55.50/55.59 c | 7491 | 3845 6984 20844 | 11789 7491 66 | 27.875 % | 55.89/55.98 c | 11336 | 3845 6984 20844 | 12968 11336 69 | 27.875 % | 56.90/56.98 c | 17103 | 3841 6984 20844 | 14265 9779 74 | 27.950 % | 58.39/58.48 c | 25752 | 3841 6984 20844 | 15692 10514 76 | 27.950 % | 60.70/60.79 c | 38728 | 3840 6984 20844 | 17261 14845 78 | 27.968 % | 65.00/65.05 c | 58193 | 3833 6984 20844 | 18987 15405 86 | 28.175 % | 67.79/67.80 c =============================================================================== 68.21/68.25 c core #488 68.21/68.25 c 68.21/68.25 c 68.21/68.25 c Core size: 497 Core Weight: 1 Total Weight: 673 68.21/68.25 c Current CPU time: 67.2808 s 68.21/68.25 c 68.21/68.25 c ============================[ Search Statistics ]============================== 68.21/68.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 68.21/68.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 68.21/68.25 c =============================================================================== 68.21/68.25 c | 0 | 3899 6985 20944 | 5000 0 -nan | 0.000 % | 68.21/68.25 c | 100 | 3899 6985 20944 | 5500 100 46 | 27.541 % | 68.21/68.25 c | 250 | 3896 6985 20944 | 6050 250 55 | 27.597 % | 68.21/68.26 c | 476 | 3895 6985 20944 | 6655 476 51 | 27.616 % | 68.21/68.27 c | 815 | 3895 6985 20944 | 7320 815 62 | 27.616 % | 68.21/68.29 c | 1322 | 3894 6985 20944 | 8052 1322 81 | 27.634 % | 68.29/68.31 c | 2083 | 3894 6985 20944 | 8857 2083 78 | 27.634 % | 68.29/68.35 c | 3223 | 3893 6985 20944 | 9743 3223 81 | 27.653 % | 68.39/68.44 c | 4931 | 3893 6985 20944 | 10717 4931 79 | 27.653 % | 68.59/68.62 c | 7493 | 3893 6985 20944 | 11789 7493 94 | 27.653 % | 68.89/68.99 c | 11337 | 3893 6985 20944 | 12968 11337 108 | 27.653 % | 69.49/69.57 c | 17103 | 3890 6985 20944 | 14265 9709 137 | 27.709 % | 71.09/71.11 c | 25753 | 3890 6985 20944 | 15692 10430 139 | 27.764 % | 73.10/73.20 c | 38729 | 3888 6985 20944 | 17261 14737 107 | 27.783 % | 75.10/75.18 c | 58192 | 3885 6985 20944 | 18987 15327 78 | 27.913 % | 81.80/81.85 c | 87384 | 3885 6985 20944 | 20886 13610 87 | 27.913 % | 94.51/94.55 c | 131173 | 3876 6985 20944 | 22974 12377 101 | 27.969 % | 112.60/112.64 c =============================================================================== 113.80/113.86 c core #489 113.80/113.86 c 113.80/113.86 c 113.80/113.86 c Core size: 482 Core Weight: 1 Total Weight: 674 113.80/113.86 c Current CPU time: 112.388 s 113.80/113.86 c 113.80/113.86 c ============================[ Search Statistics ]============================== 113.80/113.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 113.80/113.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 113.80/113.86 c =============================================================================== 113.80/113.86 c | 0 | 3939 6986 21024 | 5000 0 -nan | 0.000 % | 113.80/113.86 c | 101 | 3939 6986 21024 | 5500 101 49 | 27.338 % | 113.80/113.86 c | 251 | 3939 6986 21024 | 6050 251 41 | 27.338 % | 113.80/113.87 c | 476 | 3939 6986 21024 | 6655 476 41 | 27.338 % | 113.80/113.88 c | 813 | 3938 6986 21024 | 7320 813 51 | 27.357 % | 113.80/113.89 c | 1321 | 3937 6986 21024 | 8052 1321 52 | 27.375 % | 113.89/113.91 c | 2082 | 3937 6986 21024 | 8857 2082 52 | 27.375 % | 113.89/113.96 c | 3223 | 3933 6986 21024 | 9743 3223 58 | 27.449 % | 113.99/114.06 c | 4932 | 3933 6986 21024 | 10717 4932 71 | 27.449 % | 114.20/114.22 c | 7496 | 3933 6986 21024 | 11789 7496 71 | 27.449 % | 114.60/114.62 c | 11341 | 3933 6986 21024 | 12968 11341 94 | 27.449 % | 115.30/115.36 c | 17111 | 3931 6986 21024 | 14265 9796 144 | 27.559 % | 117.10/117.12 c | 25760 | 3927 6986 21024 | 15692 10472 156 | 27.615 % | 119.82/119.82 c | 38735 | 3925 6986 21024 | 17261 14780 144 | 27.670 % | 124.59/124.67 c | 58196 | 3925 6986 21024 | 18987 15300 144 | 27.670 % | 126.41/126.43 c =============================================================================== 126.41/126.46 c core #490 126.41/126.46 c 126.41/126.46 c 126.41/126.46 c Core size: 41 Core Weight: 1 Total Weight: 675 126.41/126.46 c Current CPU time: 124.85 s 126.41/126.46 c 126.41/126.46 c ============================[ Search Statistics ]============================== 126.41/126.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 126.41/126.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 126.41/126.46 c =============================================================================== 126.41/126.46 c | 0 | 3945 6987 21036 | 5000 0 -nan | 0.000 % | 126.41/126.46 c | 101 | 3945 6987 21036 | 5500 101 49 | 27.308 % | 126.41/126.46 c | 251 | 3945 6987 21036 | 6050 251 39 | 27.308 % | 126.41/126.47 c | 477 | 3945 6987 21036 | 6655 477 44 | 27.308 % | 126.41/126.47 c | 817 | 3945 6987 21036 | 7320 817 39 | 27.308 % | 126.41/126.49 c | 1323 | 3945 6987 21036 | 8052 1323 46 | 27.308 % | 126.41/126.51 c | 2082 | 3945 6987 21036 | 8857 2082 60 | 27.308 % | 126.52/126.55 c | 3225 | 3945 6987 21036 | 9743 3225 64 | 27.308 % | 126.59/126.63 c | 4933 | 3945 6987 21036 | 10717 4933 79 | 27.308 % | 126.80/126.82 c | 7495 | 3945 6987 21036 | 11789 7495 91 | 27.308 % | 127.20/127.25 c | 11339 | 3945 6987 21036 | 12968 11339 103 | 27.308 % | 128.19/128.25 c | 17106 | 3945 6987 21036 | 14265 9828 123 | 27.308 % | 129.81/129.89 c | 25759 | 3945 6987 21036 | 15692 10531 117 | 27.308 % | 131.40/131.46 c =============================================================================== 131.40/131.48 c core #491 131.40/131.48 c 131.40/131.48 c 131.40/131.48 c Core size: 385 Core Weight: 1 Total Weight: 676 131.40/131.48 c Current CPU time: 129.798 s 131.40/131.48 c 131.40/131.48 c ============================[ Search Statistics ]============================== 131.40/131.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 131.40/131.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 131.40/131.48 c =============================================================================== 131.40/131.48 c | 0 | 3964 6988 21074 | 5000 0 -nan | 0.000 % | 131.40/131.48 c | 102 | 3964 6988 21074 | 5500 102 46 | 27.213 % | 131.40/131.48 c | 252 | 3963 6988 21074 | 6050 252 40 | 27.268 % | 131.40/131.49 c | 478 | 3960 6988 21074 | 6655 478 39 | 27.323 % | 131.40/131.50 c | 817 | 3960 6988 21074 | 7320 817 45 | 27.323 % | 131.49/131.51 c | 1323 | 3958 6988 21074 | 8052 1323 54 | 27.323 % | 131.49/131.56 c | 2082 | 3958 6988 21074 | 8857 2082 64 | 27.323 % | 131.60/131.62 c | 3222 | 3958 6988 21074 | 9743 3222 66 | 27.323 % | 131.69/131.77 c | 4932 | 3958 6988 21074 | 10717 4932 76 | 27.323 % | 132.01/132.09 c | 7496 | 3958 6988 21074 | 11789 7496 84 | 27.323 % | 132.79/132.85 c | 11340 | 3958 6988 21074 | 12968 11340 88 | 27.323 % | 134.21/134.22 c | 17106 | 3958 6988 21074 | 14265 9852 92 | 27.323 % | 136.20/136.23 c | 25757 | 3958 6988 21074 | 15692 10589 93 | 27.323 % | 139.00/139.06 c | 38731 | 3958 6988 21074 | 17261 14945 92 | 27.323 % | 142.70/142.76 c | 58193 | 3955 6988 21074 | 18987 15451 92 | 27.378 % | 149.19/149.29 c | 87397 | 3945 6988 21074 | 20886 13727 93 | 27.562 % | 158.49/158.50 c | 131189 | 3945 6988 21074 | 22974 12447 83 | 27.562 % | 171.20/171.27 c | 196873 | 3943 6988 21074 | 25272 15891 76 | 27.598 % | 193.80/193.87 c | 295399 | 3943 6988 21074 | 27799 18011 83 | 27.598 % | 234.60/234.64 c | 443188 | 3941 6988 21074 | 30579 19087 100 | 27.708 % | 301.20/301.25 c | 664876 | 3936 6988 21074 | 33637 31520 103 | 27.727 % | 330.40/330.42 c =============================================================================== 336.70/336.72 c core #492 336.70/336.72 c 336.70/336.72 c 336.70/336.72 c Core size: 469 Core Weight: 1 Total Weight: 677 336.70/336.72 c Current CPU time: 333.04 s 336.70/336.72 c 336.70/336.72 c ============================[ Search Statistics ]============================== 336.70/336.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 336.70/336.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 336.70/336.72 c =============================================================================== 336.70/336.72 c | 0 | 4021 6989 21188 | 5000 0 -nan | 0.000 % | 336.70/336.72 c | 100 | 4021 6989 21188 | 5500 100 52 | 26.931 % | 336.70/336.73 c | 254 | 4021 6989 21188 | 6050 254 46 | 26.931 % | 336.70/336.73 c | 481 | 4021 6989 21188 | 6655 481 46 | 26.931 % | 336.70/336.74 c | 823 | 4021 6989 21188 | 7320 823 50 | 26.931 % | 336.70/336.75 c | 1329 | 4021 6989 21188 | 8052 1329 62 | 26.931 % | 336.70/336.79 c | 2088 | 4021 6989 21188 | 8857 2088 87 | 26.931 % | 336.90/336.90 c | 3229 | 4017 6989 21188 | 9743 3229 108 | 27.003 % | 337.00/337.09 c | 4938 | 4017 6989 21188 | 10717 4938 123 | 27.003 % | 337.40/337.48 c | 7502 | 4017 6989 21188 | 11789 7502 132 | 27.003 % | 337.90/337.96 c | 11348 | 4014 6989 21188 | 12968 11348 138 | 27.058 % | 339.00/339.07 c | 17114 | 4014 6989 21188 | 14265 9779 165 | 27.058 % | 341.60/341.61 c | 25763 | 4014 6989 21188 | 15692 10501 161 | 27.058 % | 346.10/346.15 c | 38742 | 4014 6989 21188 | 17261 14827 166 | 27.058 % | 351.00/351.05 c | 58206 | 4009 6989 21188 | 18987 15398 134 | 27.185 % | 356.60/356.61 c | 87400 | 4008 6989 21188 | 20886 13777 131 | 27.294 % | 364.40/364.43 c =============================================================================== 364.90/364.95 c core #493 364.90/364.95 c 364.90/364.95 c 364.90/364.95 c Core size: 430 Core Weight: 1 Total Weight: 678 364.90/364.95 c Current CPU time: 361.273 s 364.90/364.95 c 364.90/364.95 c ============================[ Search Statistics ]============================== 364.90/364.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 364.90/364.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 364.90/364.95 c =============================================================================== 364.90/364.95 c | 0 | 4084 6990 21314 | 5000 0 -nan | 0.000 % | 364.90/364.95 c | 100 | 4084 6990 21314 | 5500 100 50 | 26.626 % | 364.90/364.96 c | 252 | 4080 6990 21314 | 6050 252 46 | 26.698 % | 364.90/364.96 c | 480 | 4079 6990 21314 | 6655 480 55 | 26.716 % | 364.90/364.97 c | 817 | 4077 6990 21314 | 7320 817 53 | 26.788 % | 364.90/364.99 c | 1323 | 4077 6990 21314 | 8052 1323 68 | 26.788 % | 365.00/365.01 c | 2083 | 4075 6990 21314 | 8857 2083 80 | 26.788 % | 365.00/365.08 c | 3224 | 4075 6990 21314 | 9743 3224 94 | 26.788 % | 365.22/365.22 c | 4932 | 4075 6990 21314 | 10717 4932 118 | 26.788 % | 365.40/365.45 c | 7494 | 4072 6990 21314 | 11789 7494 136 | 26.842 % | 365.91/365.95 c | 11338 | 4072 6990 21314 | 12968 11338 152 | 26.842 % | 367.10/367.13 c | 17110 | 4072 6990 21314 | 14265 9780 181 | 26.842 % | 368.90/368.90 c | 25761 | 4068 6990 21314 | 15692 10019 167 | 26.913 % | 371.00/371.06 c | 38735 | 4068 6990 21314 | 17261 14291 124 | 26.967 % | 377.50/377.52 c | 58196 | 4068 6990 21314 | 18987 14943 119 | 26.967 % | 384.31/384.34 c | 87388 | 4065 6990 21314 | 20886 13277 130 | 26.967 % | 394.51/394.55 c | 131178 | 4062 6990 21314 | 22974 11942 122 | 27.021 % | 411.60/411.62 c | 196862 | 4062 6990 21314 | 25272 15398 113 | 27.021 % | 413.41/413.41 c =============================================================================== 413.52/413.57 c core #494 413.52/413.57 c 413.52/413.57 c 413.52/413.57 c Core size: 408 Core Weight: 1 Total Weight: 679 413.52/413.57 c Current CPU time: 409.433 s 413.52/413.57 c 413.52/413.57 c ============================[ Search Statistics ]============================== 413.52/413.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 413.52/413.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 413.52/413.57 c =============================================================================== 413.52/413.57 c | 0 | 4111 6991 21368 | 5000 0 -nan | 0.000 % | 413.52/413.57 c | 100 | 4111 6991 21368 | 5500 100 50 | 26.497 % | 413.52/413.58 c | 253 | 4111 6991 21368 | 6050 253 43 | 26.497 % | 413.52/413.58 c | 478 | 4109 6991 21368 | 6655 478 49 | 26.533 % | 413.52/413.59 c | 816 | 4109 6991 21368 | 7320 816 46 | 26.533 % | 413.52/413.60 c | 1322 | 4108 6991 21368 | 8052 1322 42 | 26.551 % | 413.62/413.62 c | 2085 | 4108 6991 21368 | 8857 2085 51 | 26.551 % | 413.62/413.66 c | 3229 | 4108 6991 21368 | 9743 3229 62 | 26.551 % | 413.70/413.75 c | 4937 | 4108 6991 21368 | 10717 4937 67 | 26.551 % | 413.91/413.99 c | 7501 | 4108 6991 21368 | 11789 7501 87 | 26.551 % | 414.41/414.46 c | 11345 | 4105 6991 21368 | 12968 11345 96 | 26.605 % | 415.61/415.62 c | 17111 | 4105 6991 21368 | 14265 9847 113 | 26.605 % | 417.61/417.68 c | 25760 | 4105 6991 21368 | 15692 10584 118 | 26.605 % | 420.00/420.02 c | 38737 | 4105 6991 21368 | 17261 14793 119 | 26.605 % | 426.21/426.21 c | 58199 | 4105 6991 21368 | 18987 15247 143 | 26.605 % | 431.70/431.76 c | 87392 | 4100 6991 21368 | 20886 13243 82 | 26.730 % | 439.41/439.49 c | 131182 | 4092 6991 21368 | 22974 11954 88 | 26.837 % | 454.01/454.06 c | 196867 | 4092 6991 21368 | 25272 15662 84 | 26.837 % | 476.32/476.38 c | 295399 | 4091 6991 21368 | 27799 14408 104 | 26.855 % | 476.61/476.65 c =============================================================================== 477.43/477.47 c core #495 477.43/477.47 c 477.43/477.47 c 477.43/477.47 c Core size: 456 Core Weight: 1 Total Weight: 680 477.43/477.47 c Current CPU time: 472.56 s 477.43/477.47 c 477.43/477.47 c ============================[ Search Statistics ]============================== 477.43/477.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 477.43/477.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 477.43/477.47 c =============================================================================== 477.43/477.47 c | 0 | 4163 6992 21472 | 5000 0 -nan | 0.000 % | 477.43/477.48 c | 100 | 4163 6992 21472 | 5500 100 51 | 26.253 % | 477.43/477.48 c | 250 | 4163 6992 21472 | 6050 250 44 | 26.253 % | 477.43/477.48 c | 475 | 4162 6992 21472 | 6655 475 39 | 26.271 % | 477.43/477.49 c | 817 | 4161 6992 21472 | 7320 817 44 | 26.289 % | 477.50/477.50 c | 1323 | 4160 6992 21472 | 8052 1323 50 | 26.306 % | 477.50/477.53 c | 2083 | 4159 6992 21472 | 8857 2083 65 | 26.324 % | 477.50/477.57 c | 3223 | 4159 6992 21472 | 9743 3223 79 | 26.324 % | 477.61/477.68 c | 4932 | 4159 6992 21472 | 10717 4932 94 | 26.324 % | 477.81/477.88 c | 7497 | 4159 6992 21472 | 11789 7497 101 | 26.324 % | 478.42/478.46 c | 11342 | 4159 6992 21472 | 12968 11342 120 | 26.324 % | 479.41/479.42 c | 17109 | 4159 6992 21472 | 14265 9804 142 | 26.324 % | 481.01/481.03 c | 25760 | 4159 6992 21472 | 15692 10474 121 | 26.324 % | 485.31/485.30 c | 38740 | 4156 6992 21472 | 17261 14780 141 | 26.430 % | 493.51/493.56 c | 58206 | 4156 6992 21472 | 18987 15291 149 | 26.608 % | 502.80/502.87 c | 87398 | 4143 6992 21472 | 20886 13463 119 | 26.608 % | 511.53/511.55 c | 131187 | 4143 6992 21472 | 22974 12143 99 | 26.608 % | 526.11/526.16 c | 196871 | 4143 6992 21472 | 25272 16141 137 | 26.608 % | 552.31/552.30 c | 295398 | 4143 6992 21472 | 27799 18482 124 | 26.608 % | 595.62/595.67 c | 443188 | 4143 6992 21472 | 30579 18360 117 | 26.608 % | 658.61/658.64 c | 664877 | 4143 6992 21472 | 33637 28319 190 | 26.608 % | 749.72/749.70 c | 997403 | 4142 6992 21472 | 37001 30054 141 | 26.625 % | 924.52/924.53 c | 1496192 | 4142 6992 21472 | 40701 19170 153 | 26.625 % | 1169.73/1169.79 c | 2244376 | 4142 6992 21472 | 44771 39704 96 | 26.625 % | 1553.84/1553.81 c | 3366656 | 4139 6992 21472 | 49248 30173 119 | 26.678 % |
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-3461451-1307091144/watcher-3461451-1307091144 -o /tmp/evaluation-result-3461451-1307091144/solver-3461451-1307091144 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461451-1307091144.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: 2.02 2.05 2.01 3/428 21973 /proc/meminfo: memFree=29179908/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=3884 CPUtime=0.01 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 810 0 0 0 1 0 0 0 18 0 1 0 820714825 3977216 722 33554432000 4194304 5714214 140736706018320 18446744073709551615 4968701 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 971 722 175 372 0 596 0 [startup+0.0901091 s] /proc/loadavg: 2.02 2.05 2.01 3/428 21973 /proc/meminfo: memFree=29179908/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=3980 CPUtime=0.08 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 828 0 0 0 8 0 0 0 18 0 1 0 820714825 4075520 738 33554432000 4194304 5714214 140736706018320 18446744073709551615 4336677 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 995 738 175 372 0 620 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3980 [startup+0.101117 s] /proc/loadavg: 2.02 2.05 2.01 3/428 21973 /proc/meminfo: memFree=29179908/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=3980 CPUtime=0.09 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 828 0 0 0 9 0 0 0 18 0 1 0 820714825 4075520 738 33554432000 4194304 5714214 140736706018320 18446744073709551615 4356094 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 995 738 175 372 0 620 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3980 [startup+0.301071 s] /proc/loadavg: 2.02 2.05 2.01 3/428 21973 /proc/meminfo: memFree=29179908/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=4964 CPUtime=0.29 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 1095 0 0 0 29 0 0 0 18 0 1 0 820714825 5083136 988 33554432000 4194304 5714214 140736706018320 18446744073709551615 4355960 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 1241 988 175 372 0 866 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4964 [startup+0.700992 s] /proc/loadavg: 2.02 2.05 2.01 3/428 21973 /proc/meminfo: memFree=29179908/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=6876 CPUtime=0.69 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 2283 0 0 0 69 0 0 0 18 0 1 0 820714825 7041024 1472 33554432000 4194304 5714214 140736706018320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 1719 1472 176 372 0 1344 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6876 [startup+1.50086 s] /proc/loadavg: 2.02 2.05 2.01 4/430 21975 /proc/meminfo: memFree=29166000/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=10044 CPUtime=1.49 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 3649 0 0 0 144 5 0 0 18 0 1 0 820714825 10285056 2237 33554432000 4194304 5714214 140736706018320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 2511 2237 180 372 0 2136 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10044 [startup+3.10055 s] /proc/loadavg: 2.02 2.05 2.01 5/430 21975 /proc/meminfo: memFree=29161672/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=14708 CPUtime=3.09 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 4831 0 0 0 299 10 0 0 19 0 1 0 820714825 15060992 3419 33554432000 4194304 5714214 140736706018320 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 3677 3419 180 372 0 3302 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14708 [startup+6.30095 s] /proc/loadavg: 2.02 2.05 2.01 4/430 21975 /proc/meminfo: memFree=29149660/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=19708 CPUtime=6.29 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 6067 0 0 0 615 14 0 0 25 0 1 0 820714825 20180992 4655 33554432000 4194304 5714214 140736706018320 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 4927 4655 180 372 0 4552 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19708 [startup+12.7008 s] /proc/loadavg: 2.02 2.05 2.01 4/430 21975 /proc/meminfo: memFree=29136432/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=23520 CPUtime=12.7 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 7027 0 0 0 1247 23 0 0 25 0 1 0 820714825 24084480 5615 33554432000 4194304 5714214 140736706018320 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 5880 5615 180 372 0 5505 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 23520 [startup+25.5004 s] /proc/loadavg: 2.02 2.04 2.01 5/430 21976 /proc/meminfo: memFree=29121064/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=28700 CPUtime=25.49 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 8365 0 0 0 2511 38 0 0 25 0 1 0 820714825 29388800 6916 33554432000 4194304 5714214 140736706018320 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 7175 6916 180 372 0 6800 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 28700 [startup+51.1006 s] /proc/loadavg: 2.01 2.04 2.01 5/430 21976 /proc/meminfo: memFree=29095700/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=34556 CPUtime=51.1 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 9841 0 0 0 5035 75 0 0 25 0 1 0 820714825 35385344 8392 33554432000 4194304 5714214 140736706018320 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 8639 8392 180 372 0 8264 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 34556 [startup+102.316 s] /proc/loadavg: 2.12 2.06 2.01 5/430 21978 /proc/meminfo: memFree=29050936/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=51108 CPUtime=102.31 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 13820 0 0 0 10101 130 0 0 25 0 1 0 820714825 52334592 12371 33554432000 4194304 5714214 140736706018320 18446744073709551615 4319437 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 12777 12371 180 372 0 12402 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 51108 [startup+162.301 s] /proc/loadavg: 2.15 2.08 2.02 5/430 21979 /proc/meminfo: memFree=29019808/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=65060 CPUtime=162.3 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 17263 0 0 0 16033 197 0 0 25 0 1 0 820714825 66621440 15814 33554432000 4194304 5714214 140736706018320 18446744073709551615 4319332 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 16265 15814 180 372 0 15890 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 65060 [startup+222.301 s] /proc/loadavg: 2.05 2.06 2.01 5/430 21981 /proc/meminfo: memFree=29002448/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=81916 CPUtime=222.3 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 21580 0 0 0 21980 250 0 0 25 0 1 0 820714825 83881984 20131 33554432000 4194304 5714214 140736706018320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 20479 20131 180 372 0 20104 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 81916 [startup+282.301 s] /proc/loadavg: 2.02 2.05 2.01 5/430 21982 /proc/meminfo: memFree=28945276/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=112684 CPUtime=282.3 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 29145 0 0 0 27937 293 0 0 25 0 1 0 820714825 115388416 27696 33554432000 4194304 5714214 140736706018320 18446744073709551615 4322711 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 28171 27696 180 372 0 27796 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 112684 [startup+342.301 s] /proc/loadavg: 2.00 2.04 2.00 5/430 21984 /proc/meminfo: memFree=28864404/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=165992 CPUtime=342.31 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 42465 0 0 0 33894 337 0 0 25 0 1 0 820714825 169975808 40946 33554432000 4194304 5714214 140736706018320 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 41498 40946 180 372 0 41123 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 165992 [startup+402.3 s] /proc/loadavg: 2.00 2.03 2.00 5/430 21986 /proc/meminfo: memFree=28838104/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=165992 CPUtime=402.3 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 42492 0 0 0 39833 397 0 0 25 0 1 0 820714825 169975808 40973 33554432000 4194304 5714214 140736706018320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 41498 40973 180 372 0 41123 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 165992 [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.00 5/430 21987 /proc/meminfo: memFree=28820492/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=165992 CPUtime=462.3 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 42554 0 0 0 45768 462 0 0 25 0 1 0 820714825 169975808 41035 33554432000 4194304 5714214 140736706018320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 41498 41035 180 372 0 41123 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 165992 [startup+522.3 s] /proc/loadavg: 2.00 2.02 2.00 4/430 21998 /proc/meminfo: memFree=28793824/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=165992 CPUtime=522.3 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 42598 0 0 0 51708 522 0 0 25 0 1 0 820714825 169975808 41079 33554432000 4194304 5714214 140736706018320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 41498 41079 180 372 0 41123 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 165992 [startup+582.301 s] /proc/loadavg: 2.00 2.01 2.00 5/430 21999 /proc/meminfo: memFree=28783244/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=165992 CPUtime=582.31 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 42671 0 0 0 57658 573 0 0 25 0 1 0 820714825 169975808 41152 33554432000 4194304 5714214 140736706018320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 41498 41152 180 372 0 41123 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 165992 [startup+642.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.01 2.02 2.00 5/430 22009 /proc/meminfo: memFree=28629568/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=234852 CPUtime=822.32 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 59662 0 0 0 81477 755 0 0 25 0 1 0 820714825 240488448 58143 33554432000 4194304 5714214 140736706018320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 58713 58143 180 372 0 58338 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 234852 [startup+882.3 s] /proc/loadavg: 2.00 2.01 2.00 5/430 22011 /proc/meminfo: memFree=28558020/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=277256 CPUtime=882.32 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 70038 0 0 0 87441 791 0 0 25 0 1 0 820714825 283910144 68519 33554432000 4194304 5714214 140736706018320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 69314 68519 180 372 0 68939 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 277256 [startup+942.3 s] /proc/loadavg: 2.00 2.01 2.00 5/430 22012 /proc/meminfo: memFree=28517480/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=297420 CPUtime=942.33 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 74992 0 0 0 93402 831 0 0 25 0 1 0 820714825 304558080 73473 33554432000 4194304 5714214 140736706018320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 74355 73473 180 372 0 73980 0 Current children cumulated CPU time (s) 942.33 Current children cumulated vsize (KiB) 297420 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 5/430 22014 /proc/meminfo: memFree=28468756/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=322908 CPUtime=1002.33 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 81307 0 0 0 99359 874 0 0 25 0 1 0 820714825 330657792 79788 33554432000 4194304 5714214 140736706018320 18446744073709551615 4300192 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 80727 79788 180 372 0 80352 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 322908 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 5/430 22015 /proc/meminfo: memFree=28399928/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=372064 CPUtime=1062.33 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 93677 0 0 0 105312 921 0 0 25 0 1 0 820714825 380993536 92031 33554432000 4194304 5714214 140736706018320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 93016 92031 180 372 0 92641 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 372064 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 4/430 22017 /proc/meminfo: memFree=28366320/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=376080 CPUtime=1122.33 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 94766 0 0 0 111280 953 0 0 25 0 1 0 820714825 385105920 93120 33554432000 4194304 5714214 140736706018320 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 94020 93120 180 372 0 93645 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 376080 [startup+1182.3 s] /proc/loadavg: 2.04 2.01 2.00 5/430 22018 /proc/meminfo: memFree=28325392/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=400788 CPUtime=1182.33 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 100892 0 0 0 117238 995 0 0 25 0 1 0 820714825 410406912 99246 33554432000 4194304 5714214 140736706018320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 100197 99246 180 372 0 99822 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 400788 [startup+1242.3 s] /proc/loadavg: 2.14 2.05 2.01 5/430 22020 /proc/meminfo: memFree=28286208/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=425504 CPUtime=1242.33 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 106967 0 0 0 123192 1041 0 0 25 0 1 0 820714825 435716096 105321 33554432000 4194304 5714214 140736706018320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 106376 105321 180 372 0 106001 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 425504 [startup+1302.3 s] /proc/loadavg: 2.09 2.05 2.01 5/430 22022 /proc/meminfo: memFree=28234988/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=454308 CPUtime=1302.35 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 114010 0 0 0 129160 1075 0 0 25 0 1 0 820714825 465211392 112364 33554432000 4194304 5714214 140736706018320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 113577 112364 180 372 0 113202 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 454308 [startup+1362.3 s] /proc/loadavg: 2.03 2.04 2.01 5/430 22023 /proc/meminfo: memFree=28188612/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=477492 CPUtime=1362.33 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 119610 0 0 0 135124 1109 0 0 25 0 1 0 820714825 488951808 117964 33554432000 4194304 5714214 140736706018320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 119373 117964 180 372 0 118998 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 477492 [startup+1422.32 s] /proc/loadavg: 2.01 2.03 2.00 5/430 22025 /proc/meminfo: memFree=28132804/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=511380 CPUtime=1422.36 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 127992 0 0 0 141085 1151 0 0 25 0 1 0 820714825 523653120 126346 33554432000 4194304 5714214 140736706018320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 127845 126346 180 372 0 127470 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 511380 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 4/430 22026 /proc/meminfo: memFree=28093116/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=533448 CPUtime=1482.34 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 133443 0 0 0 147049 1185 0 0 25 0 1 0 820714825 546250752 131797 33554432000 4194304 5714214 140736706018320 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 133362 131797 180 372 0 132987 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 533448 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 5/430 22028 /proc/meminfo: memFree=28052552/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=556468 CPUtime=1542.35 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 139064 0 0 0 153011 1224 0 0 25 0 1 0 820714825 569823232 137418 33554432000 4194304 5714214 140736706018320 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 139117 137418 180 372 0 138742 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 556468 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 5/430 22030 /proc/meminfo: memFree=28002576/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=590196 CPUtime=1602.34 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 147449 0 0 0 158962 1272 0 0 25 0 1 0 820714825 604360704 145803 33554432000 4194304 5714214 140736706018320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 147549 145803 180 372 0 147174 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 590196 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 5/430 22031 /proc/meminfo: memFree=27967708/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=611112 CPUtime=1662.35 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 152534 0 0 0 164919 1316 0 0 25 0 1 0 820714825 625778688 150888 33554432000 4194304 5714214 140736706018320 18446744073709551615 4319420 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 152778 150888 180 372 0 152403 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 611112 [startup+1722.3 s] /proc/loadavg: 2.06 2.02 2.00 4/430 22033 /proc/meminfo: memFree=27930748/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=635832 CPUtime=1722.35 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 158642 0 0 0 170891 1344 0 0 25 0 1 0 820714825 651091968 156996 33554432000 4194304 5714214 140736706018320 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 158958 156996 180 372 0 158583 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 635832 [startup+1782.3 s] /proc/loadavg: 2.08 2.03 2.00 4/430 22034 /proc/meminfo: memFree=27884484/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=657972 CPUtime=1782.35 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 164154 0 0 0 176853 1382 0 0 25 0 1 0 820714825 673763328 162508 33554432000 4194304 5714214 140736706018320 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 164493 162508 180 372 0 164118 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 657972 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.06 2.03 2.00 4/430 22035 /proc/meminfo: memFree=27876548/32951124 swapFree=43324008/67111528 [pid=21973] ppid=21971 vsize=662320 CPUtime=1800.07 cores=1,3,5,7 /proc/21973/stat : 21973 (wbo1.6) R 21971 21973 15685 0 -1 4202496 165246 0 0 0 178611 1396 0 0 25 0 1 0 820714825 678215680 163600 33554432000 4194304 5714214 140736706018320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21973/statm: 165580 163600 180 372 0 165205 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 662320 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.04 CPU time (s): 1800.11 CPU user time (s): 1786.12 CPU system time (s): 13.9889 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 662320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.12 system time used= 13.9889 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 165246 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= 32 involuntary context switches= 2256 runsolver used 7.08992 second user time and 17.6263 second system time The end
Begin job on node105 at 2011-06-03 10:52:24 IDJOB=3461451 IDBENCH=2194 IDSOLVER=1953 FILE ID=node105/3461451-1307091144 RUNJOBID= node105-1307091144-21955 PBS_JOBID= 13497883 Free space on /tmp= 73760 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-hanoi4.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461451-1307091144/watcher-3461451-1307091144 -o /tmp/evaluation-result-3461451-1307091144/solver-3461451-1307091144 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461451-1307091144.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 021af4766a0acbaabce7af3e32b61bf4 RANDOM SEED=322975205 node105.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.825 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.65 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.825 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.15 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.825 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.82 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.825 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.75 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.825 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 : 5410.70 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.825 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.74 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.825 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.82 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.825 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29180312 kB Buffers: 284224 kB Cached: 767596 kB SwapCached: 20984 kB Active: 2818908 kB Inactive: 640836 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29180312 kB SwapTotal: 67111528 kB SwapFree: 43324008 kB Dirty: 8464 kB Writeback: 116 kB AnonPages: 2405240 kB Mapped: 20496 kB Slab: 163236 kB PageTables: 81312 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 114867012 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= 73756 MiB End job on node105 at 2011-06-03 11:22:26