Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.12 | 1800.09 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-l152lav.opb |
MD5SUM | 1a5510d564851e49e3b50f1a87922ca2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 4722 |
Best CPU time to get the best result obtained on this benchmark | 4.67629 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4722 |
Optimality of the best value was proved | YES |
Number of variables | 1989 |
Total number of constraints | 97 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 96 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 1989 |
Number of terms in the objective function | 1989 |
Biggest coefficient in the objective function | 268 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 382524 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 268 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 382524 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3460989-1307072709.opb. 0.00/0.00 c Instance file HOME/instance-3460989-1307072709.opb 0.00/0.00 c File size is 106158 bytes. 0.00/0.00 c Highest Coefficient sum: 25393 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 1989 | 0.00/0.00 c | Number Clauses: 95 | 0.00/0.00 c | Number Cardinality: 97 | 0.00/0.00 c | Number PB Constraints: 1 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 1989 193 18833 | 5000 0 -nan | 0.000 % | 0.00/0.09 c core #1 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 4 Core Weight: 11 Total Weight: 11 0.00/0.09 c Current CPU time: 0.009998 s 0.00/0.09 c 0.00/0.09 c core #2 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 76 Core Weight: 25 Total Weight: 36 0.00/0.09 c Current CPU time: 0.010998 s 0.00/0.09 c 0.00/0.09 c core #3 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 44 Core Weight: 12 Total Weight: 48 0.00/0.09 c Current CPU time: 0.012998 s 0.00/0.09 c 0.00/0.09 c core #4 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 49 Core Weight: 56 Total Weight: 104 0.00/0.09 c Current CPU time: 0.013997 s 0.00/0.09 c 0.00/0.09 c core #5 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 11 Core Weight: 13 Total Weight: 117 0.00/0.09 c Current CPU time: 0.014997 s 0.00/0.09 c 0.00/0.09 c core #6 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 46 Core Weight: 24 Total Weight: 141 0.00/0.09 c Current CPU time: 0.015997 s 0.00/0.09 c 0.00/0.09 c core #7 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 38 Core Weight: 36 Total Weight: 177 0.00/0.09 c Current CPU time: 0.017997 s 0.00/0.09 c 0.00/0.09 c core #8 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 6 Core Weight: 165 Total Weight: 342 0.00/0.09 c Current CPU time: 0.018997 s 0.00/0.09 c 0.00/0.09 c core #9 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 43 Core Weight: 22 Total Weight: 364 0.00/0.09 c Current CPU time: 0.019996 s 0.00/0.09 c 0.00/0.09 c core #10 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 22 Core Weight: 186 Total Weight: 550 0.00/0.09 c Current CPU time: 0.021996 s 0.00/0.09 c 0.00/0.09 c core #11 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 76 Core Weight: 17 Total Weight: 567 0.00/0.09 c Current CPU time: 0.022996 s 0.00/0.09 c 0.00/0.09 c core #12 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 97 Core Weight: 4 Total Weight: 571 0.00/0.09 c Current CPU time: 0.024996 s 0.00/0.09 c 0.00/0.09 c core #13 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 121 Core Weight: 4 Total Weight: 575 0.00/0.09 c Current CPU time: 0.025996 s 0.00/0.09 c 0.00/0.09 c core #14 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 120 Core Weight: 29 Total Weight: 604 0.00/0.09 c Current CPU time: 0.027995 s 0.00/0.09 c 0.00/0.09 c core #15 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 50 Core Weight: 8 Total Weight: 612 0.00/0.09 c Current CPU time: 0.028995 s 0.00/0.09 c 0.00/0.09 c core #16 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 23 Core Weight: 55 Total Weight: 667 0.00/0.09 c Current CPU time: 0.030995 s 0.00/0.09 c 0.00/0.09 c core #17 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 174 Core Weight: 1 Total Weight: 668 0.00/0.09 c Current CPU time: 0.032994 s 0.00/0.09 c 0.00/0.09 c core #18 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 173 Core Weight: 1 Total Weight: 669 0.00/0.09 c Current CPU time: 0.033994 s 0.00/0.09 c 0.00/0.09 c core #19 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 74 Core Weight: 13 Total Weight: 682 0.00/0.09 c Current CPU time: 0.035994 s 0.00/0.09 c 0.00/0.09 c core #20 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 73 Core Weight: 2 Total Weight: 684 0.00/0.09 c Current CPU time: 0.037994 s 0.00/0.09 c 0.00/0.09 c core #21 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 28 Core Weight: 17 Total Weight: 701 0.00/0.09 c Current CPU time: 0.039993 s 0.00/0.09 c 0.00/0.09 c core #22 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 67 Core Weight: 1 Total Weight: 702 0.00/0.09 c Current CPU time: 0.041993 s 0.00/0.09 c 0.00/0.09 c core #23 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 78 Core Weight: 63 Total Weight: 765 0.00/0.09 c Current CPU time: 0.043993 s 0.00/0.09 c 0.00/0.09 c core #24 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 124 Core Weight: 5 Total Weight: 770 0.00/0.09 c Current CPU time: 0.045993 s 0.00/0.09 c 0.00/0.09 c core #25 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 161 Core Weight: 5 Total Weight: 775 0.00/0.09 c Current CPU time: 0.047992 s 0.00/0.09 c 0.00/0.09 c core #26 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 200 Core Weight: 2 Total Weight: 777 0.00/0.09 c Current CPU time: 0.049992 s 0.00/0.09 c 0.00/0.09 c core #27 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 199 Core Weight: 6 Total Weight: 783 0.00/0.09 c Current CPU time: 0.052991 s 0.00/0.09 c 0.00/0.09 c core #28 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 55 Core Weight: 24 Total Weight: 807 0.00/0.09 c Current CPU time: 0.054991 s 0.00/0.09 c 0.00/0.09 c core #29 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 53 Core Weight: 21 Total Weight: 828 0.00/0.09 c Current CPU time: 0.057991 s 0.00/0.09 c 0.00/0.09 c core #30 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 63 Core Weight: 12 Total Weight: 840 0.00/0.09 c Current CPU time: 0.05999 s 0.00/0.09 c 0.00/0.09 c core #31 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 145 Core Weight: 2 Total Weight: 842 0.00/0.09 c Current CPU time: 0.06199 s 0.00/0.09 c 0.00/0.09 c core #32 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 225 Core Weight: 3 Total Weight: 845 0.00/0.09 c Current CPU time: 0.06499 s 0.00/0.09 c 0.00/0.09 c core #33 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 41 Core Weight: 89 Total Weight: 934 0.00/0.09 c Current CPU time: 0.066989 s 0.00/0.09 c 0.00/0.09 c core #34 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 117 Core Weight: 25 Total Weight: 959 0.00/0.09 c Current CPU time: 0.069989 s 0.00/0.09 c 0.00/0.09 c core #35 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 103 Core Weight: 4 Total Weight: 963 0.00/0.09 c Current CPU time: 0.071989 s 0.00/0.09 c 0.00/0.09 c core #36 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 244 Core Weight: 4 Total Weight: 967 0.00/0.09 c Current CPU time: 0.074988 s 0.00/0.09 c 0.00/0.09 c core #37 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 27 Core Weight: 48 Total Weight: 1015 0.00/0.09 c Current CPU time: 0.077988 s 0.00/0.09 c 0.00/0.09 c core #38 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 419 Core Weight: 2 Total Weight: 1017 0.00/0.09 c Current CPU time: 0.080987 s 0.00/0.09 c 0.00/0.09 c core #39 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 98 Core Weight: 65 Total Weight: 1082 0.00/0.09 c Current CPU time: 0.082987 s 0.00/0.09 c 0.00/0.09 c core #40 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 174 Core Weight: 21 Total Weight: 1103 0.00/0.09 c Current CPU time: 0.085986 s 0.00/0.09 c 0.00/0.09 c core #41 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 174 Core Weight: 25 Total Weight: 1128 0.00/0.09 c Current CPU time: 0.088986 s 0.00/0.09 c 0.00/0.09 c core #42 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 80 Core Weight: 26 Total Weight: 1154 0.19/0.28 c Current CPU time: 0.091986 s 0.19/0.28 c 0.19/0.28 c core #43 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 38 Core Weight: 5 Total Weight: 1159 0.19/0.28 c Current CPU time: 0.094985 s 0.19/0.28 c 0.19/0.28 c core #44 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 133 Core Weight: 33 Total Weight: 1192 0.19/0.28 c Current CPU time: 0.097985 s 0.19/0.28 c 0.19/0.28 c core #45 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 139 Core Weight: 12 Total Weight: 1204 0.19/0.28 c Current CPU time: 0.101984 s 0.19/0.28 c 0.19/0.28 c core #46 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 54 Core Weight: 6 Total Weight: 1210 0.19/0.28 c Current CPU time: 0.104984 s 0.19/0.28 c 0.19/0.28 c core #47 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 343 Core Weight: 3 Total Weight: 1213 0.19/0.28 c Current CPU time: 0.107983 s 0.19/0.28 c 0.19/0.28 c core #48 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 49 Core Weight: 7 Total Weight: 1220 0.19/0.28 c Current CPU time: 0.111982 s 0.19/0.28 c 0.19/0.28 c core #49 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 220 Core Weight: 47 Total Weight: 1267 0.19/0.28 c Current CPU time: 0.114982 s 0.19/0.28 c 0.19/0.28 c core #50 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 220 Core Weight: 7 Total Weight: 1274 0.19/0.28 c Current CPU time: 0.118981 s 0.19/0.28 c 0.19/0.28 c core #51 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 98 Core Weight: 16 Total Weight: 1290 0.19/0.28 c Current CPU time: 0.121981 s 0.19/0.28 c 0.19/0.28 c core #52 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 98 Core Weight: 1 Total Weight: 1291 0.19/0.28 c Current CPU time: 0.124981 s 0.19/0.28 c 0.19/0.28 c core #53 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 98 Core Weight: 8 Total Weight: 1299 0.19/0.28 c Current CPU time: 0.12798 s 0.19/0.28 c 0.19/0.28 c core #54 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 89 Core Weight: 8 Total Weight: 1307 0.19/0.28 c Current CPU time: 0.131979 s 0.19/0.28 c 0.19/0.28 c core #55 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 89 Core Weight: 53 Total Weight: 1360 0.19/0.28 c Current CPU time: 0.134979 s 0.19/0.28 c 0.19/0.28 c core #56 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 122 Core Weight: 2 Total Weight: 1362 0.19/0.28 c Current CPU time: 0.138978 s 0.19/0.28 c 0.19/0.28 c core #57 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 59 Core Weight: 2 Total Weight: 1364 0.19/0.28 c Current CPU time: 0.141978 s 0.19/0.28 c 0.19/0.28 c core #58 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 201 Core Weight: 7 Total Weight: 1371 0.19/0.28 c Current CPU time: 0.145977 s 0.19/0.28 c 0.19/0.28 c core #59 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 515 Core Weight: 2 Total Weight: 1373 0.19/0.28 c Current CPU time: 0.149977 s 0.19/0.28 c 0.19/0.28 c core #60 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 542 Core Weight: 3 Total Weight: 1376 0.19/0.28 c Current CPU time: 0.153976 s 0.19/0.28 c 0.19/0.28 c core #61 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 351 Core Weight: 1 Total Weight: 1377 0.19/0.28 c Current CPU time: 0.156976 s 0.19/0.28 c 0.19/0.28 c core #62 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 350 Core Weight: 4 Total Weight: 1381 0.19/0.28 c Current CPU time: 0.161975 s 0.19/0.28 c 0.19/0.28 c core #63 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 75 Core Weight: 58 Total Weight: 1439 0.19/0.28 c Current CPU time: 0.166974 s 0.19/0.28 c 0.19/0.28 c core #64 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 403 Core Weight: 9 Total Weight: 1448 0.19/0.28 c Current CPU time: 0.170974 s 0.19/0.28 c 0.19/0.28 c core #65 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 74 Core Weight: 56 Total Weight: 1504 0.19/0.28 c Current CPU time: 0.175973 s 0.19/0.28 c 0.19/0.28 c core #66 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 434 Core Weight: 1 Total Weight: 1505 0.19/0.28 c Current CPU time: 0.180972 s 0.19/0.28 c 0.19/0.28 c core #67 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 371 Core Weight: 4 Total Weight: 1509 0.19/0.28 c Current CPU time: 0.186971 s 0.19/0.28 c 0.19/0.28 c core #68 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 292 Core Weight: 18 Total Weight: 1527 0.19/0.28 c Current CPU time: 0.19197 s 0.19/0.28 c 0.19/0.28 c core #69 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 290 Core Weight: 4 Total Weight: 1531 0.19/0.28 c Current CPU time: 0.19697 s 0.19/0.28 c 0.19/0.28 c core #70 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 442 Core Weight: 1 Total Weight: 1532 0.19/0.28 c Current CPU time: 0.202969 s 0.19/0.28 c 0.19/0.28 c core #71 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 441 Core Weight: 3 Total Weight: 1535 0.19/0.28 c Current CPU time: 0.208968 s 0.19/0.28 c 0.19/0.28 c core #72 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 368 Core Weight: 14 Total Weight: 1549 0.19/0.28 c Current CPU time: 0.214967 s 0.19/0.28 c 0.19/0.28 c core #73 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 43 Core Weight: 5 Total Weight: 1554 0.19/0.28 c Current CPU time: 0.219966 s 0.19/0.28 c 0.19/0.28 c core #74 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 144 Core Weight: 1 Total Weight: 1555 0.19/0.28 c Current CPU time: 0.224965 s 0.19/0.28 c 0.19/0.28 c core #75 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 105 Core Weight: 21 Total Weight: 1576 0.19/0.28 c Current CPU time: 0.230964 s 0.19/0.28 c 0.19/0.28 c core #76 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 33 Core Weight: 43 Total Weight: 1619 0.19/0.28 c Current CPU time: 0.236963 s 0.19/0.28 c 0.19/0.28 c core #77 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 106 Core Weight: 49 Total Weight: 1668 0.19/0.28 c Current CPU time: 0.242963 s 0.19/0.28 c 0.19/0.28 c core #78 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 309 Core Weight: 6 Total Weight: 1674 0.19/0.28 c Current CPU time: 0.248962 s 0.19/0.28 c 0.19/0.28 c core #79 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 354 Core Weight: 1 Total Weight: 1675 0.19/0.28 c Current CPU time: 0.253961 s 0.19/0.28 c 0.19/0.28 c core #80 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 396 Core Weight: 5 Total Weight: 1680 0.19/0.28 c Current CPU time: 0.25996 s 0.19/0.28 c 0.19/0.28 c core #81 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 328 Core Weight: 6 Total Weight: 1686 0.19/0.28 c Current CPU time: 0.265959 s 0.19/0.28 c 0.19/0.28 c core #82 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 446 Core Weight: 2 Total Weight: 1688 0.49/0.56 c Current CPU time: 0.272958 s 0.49/0.56 c 0.49/0.56 c core #83 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 446 Core Weight: 1 Total Weight: 1689 0.49/0.56 c Current CPU time: 0.279957 s 0.49/0.56 c 0.49/0.56 c core #84 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 537 Core Weight: 1 Total Weight: 1690 0.49/0.56 c Current CPU time: 0.286956 s 0.49/0.56 c 0.49/0.56 c core #85 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 541 Core Weight: 2 Total Weight: 1692 0.49/0.56 c Current CPU time: 0.294955 s 0.49/0.56 c 0.49/0.56 c core #86 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 540 Core Weight: 3 Total Weight: 1695 0.49/0.56 c Current CPU time: 0.302953 s 0.49/0.56 c 0.49/0.56 c core #87 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 539 Core Weight: 1 Total Weight: 1696 0.49/0.56 c Current CPU time: 0.310952 s 0.49/0.56 c 0.49/0.56 c core #88 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 476 Core Weight: 4 Total Weight: 1700 0.49/0.56 c Current CPU time: 0.318951 s 0.49/0.56 c 0.49/0.56 c core #89 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 67 Core Weight: 73 Total Weight: 1773 0.49/0.56 c Current CPU time: 0.32595 s 0.49/0.56 c 0.49/0.56 c core #90 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 99 Core Weight: 20 Total Weight: 1793 0.49/0.56 c Current CPU time: 0.333949 s 0.49/0.56 c 0.49/0.56 c core #91 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 99 Core Weight: 43 Total Weight: 1836 0.49/0.56 c Current CPU time: 0.341948 s 0.49/0.56 c 0.49/0.56 c core #92 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 242 Core Weight: 8 Total Weight: 1844 0.49/0.56 c Current CPU time: 0.347947 s 0.49/0.56 c 0.49/0.56 c core #93 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 38 Core Weight: 4 Total Weight: 1848 0.49/0.56 c Current CPU time: 0.355945 s 0.49/0.56 c 0.49/0.56 c core #94 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 139 Core Weight: 2 Total Weight: 1850 0.49/0.56 c Current CPU time: 0.363944 s 0.49/0.56 c 0.49/0.56 c core #95 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 79 Core Weight: 29 Total Weight: 1879 0.49/0.56 c Current CPU time: 0.371943 s 0.49/0.56 c 0.49/0.56 c core #96 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 121 Core Weight: 4 Total Weight: 1883 0.49/0.56 c Current CPU time: 0.379942 s 0.49/0.56 c 0.49/0.56 c core #97 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 572 Core Weight: 1 Total Weight: 1884 0.49/0.56 c Current CPU time: 0.386941 s 0.49/0.56 c 0.49/0.56 c core #98 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 120 Core Weight: 25 Total Weight: 1909 0.49/0.56 c Current CPU time: 0.394939 s 0.49/0.56 c 0.49/0.56 c core #99 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 25 Core Weight: 87 Total Weight: 1996 0.49/0.56 c Current CPU time: 0.402938 s 0.49/0.56 c 0.49/0.56 c core #100 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 69 Core Weight: 12 Total Weight: 2008 0.49/0.56 c Current CPU time: 0.410937 s 0.49/0.56 c 0.49/0.56 c core #101 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 69 Core Weight: 19 Total Weight: 2027 0.49/0.56 c Current CPU time: 0.418936 s 0.49/0.56 c 0.49/0.56 c core #102 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 310 Core Weight: 1 Total Weight: 2028 0.49/0.56 c Current CPU time: 0.426935 s 0.49/0.56 c 0.49/0.56 c core #103 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 392 Core Weight: 2 Total Weight: 2030 0.49/0.56 c Current CPU time: 0.435933 s 0.49/0.56 c 0.49/0.56 c core #104 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 131 Core Weight: 1 Total Weight: 2031 0.49/0.56 c Current CPU time: 0.444932 s 0.49/0.56 c 0.49/0.56 c core #105 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 36 Core Weight: 64 Total Weight: 2095 0.49/0.56 c Current CPU time: 0.45393 s 0.49/0.56 c 0.49/0.56 c core #106 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 172 Core Weight: 12 Total Weight: 2107 0.49/0.56 c Current CPU time: 0.462929 s 0.49/0.56 c 0.49/0.56 c core #107 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 455 Core Weight: 2 Total Weight: 2109 0.49/0.56 c Current CPU time: 0.472928 s 0.49/0.56 c 0.49/0.56 c core #108 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 354 Core Weight: 3 Total Weight: 2112 0.49/0.56 c Current CPU time: 0.481926 s 0.49/0.56 c 0.49/0.56 c core #109 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 79 Core Weight: 1 Total Weight: 2113 0.49/0.56 c Current CPU time: 0.489925 s 0.49/0.56 c 0.49/0.56 c core #110 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 113 Core Weight: 22 Total Weight: 2135 0.49/0.56 c Current CPU time: 0.498924 s 0.49/0.56 c 0.49/0.56 c core #111 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 112 Core Weight: 17 Total Weight: 2152 0.49/0.56 c Current CPU time: 0.507922 s 0.49/0.56 c 0.49/0.56 c core #112 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 111 Core Weight: 8 Total Weight: 2160 0.49/0.56 c Current CPU time: 0.516921 s 0.49/0.56 c 0.49/0.56 c core #113 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 110 Core Weight: 4 Total Weight: 2164 0.49/0.56 c Current CPU time: 0.52592 s 0.49/0.56 c 0.49/0.56 c core #114 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 108 Core Weight: 1 Total Weight: 2165 0.49/0.56 c Current CPU time: 0.535918 s 0.49/0.56 c 0.49/0.56 c ============================[ Search Statistics ]============================== 0.49/0.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.56 c =============================================================================== 0.49/0.56 c | 0 | 20383 22416 40748 | 7472 0 -nan | 0.000 % | 0.49/0.56 c =============================================================================== 0.49/0.58 c core #115 0.49/0.58 c 0.49/0.58 c 0.49/0.58 c Core size: 274 Core Weight: 1 Total Weight: 2166 0.49/0.58 c Current CPU time: 0.547916 s 0.49/0.58 c 0.49/0.58 c ============================[ Search Statistics ]============================== 0.49/0.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.58 c =============================================================================== 0.49/0.58 c | 0 | 20653 22685 41026 | 7561 0 -nan | 0.000 % | 0.49/0.58 c =============================================================================== 0.49/0.59 c core #116 0.49/0.59 c 0.49/0.59 c 0.49/0.59 c Core size: 274 Core Weight: 1 Total Weight: 2167 0.49/0.59 c Current CPU time: 0.560914 s 0.49/0.59 c 0.49/0.59 c ============================[ Search Statistics ]============================== 0.49/0.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.59 c =============================================================================== 0.49/0.59 c | 0 | 20923 22954 41304 | 7651 0 -nan | 0.000 % | 0.49/0.59 c =============================================================================== 0.59/0.61 c core #117 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c Core size: 274 Core Weight: 1 Total Weight: 2168 0.59/0.61 c Current CPU time: 0.574912 s 0.59/0.61 c 0.59/0.61 c ============================[ Search Statistics ]============================== 0.59/0.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.61 c =============================================================================== 0.59/0.61 c | 0 | 21194 23224 41636 | 7741 0 -nan | 0.000 % | 0.59/0.61 c =============================================================================== 0.59/0.62 c core #118 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 274 Core Weight: 1 Total Weight: 2169 0.59/0.62 c Current CPU time: 0.58891 s 0.59/0.62 c 0.59/0.62 c ============================[ Search Statistics ]============================== 0.59/0.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.62 c =============================================================================== 0.59/0.62 c | 0 | 21465 23492 42021 | 7830 0 -nan | 0.000 % | 0.59/0.62 c =============================================================================== 0.59/0.63 c core #119 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 272 Core Weight: 3 Total Weight: 2172 0.59/0.63 c Current CPU time: 0.602908 s 0.59/0.63 c 0.59/0.63 c ============================[ Search Statistics ]============================== 0.59/0.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.63 c =============================================================================== 0.59/0.63 c | 0 | 21733 23759 42346 | 7919 0 -nan | 0.000 % | 0.59/0.64 c =============================================================================== 0.59/0.65 c core #120 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 271 Core Weight: 1 Total Weight: 2173 0.59/0.65 c Current CPU time: 0.617906 s 0.59/0.65 c 0.59/0.65 c ============================[ Search Statistics ]============================== 0.59/0.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.65 c =============================================================================== 0.59/0.65 c | 0 | 21999 24024 42620 | 8008 0 -nan | 0.000 % | 0.59/0.65 c =============================================================================== 0.59/0.67 c core #121 0.59/0.67 c 0.59/0.67 c 0.59/0.67 c Core size: 271 Core Weight: 2 Total Weight: 2175 0.59/0.67 c Current CPU time: 0.632903 s 0.59/0.67 c 0.59/0.67 c ============================[ Search Statistics ]============================== 0.59/0.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.67 c =============================================================================== 0.59/0.67 c | 0 | 22269 24285 43102 | 8095 0 -nan | 0.000 % | 0.59/0.67 c =============================================================================== 0.59/0.68 c core #122 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 373 Core Weight: 1 Total Weight: 2176 0.59/0.68 c Current CPU time: 0.648901 s 0.59/0.68 c 0.59/0.68 c ============================[ Search Statistics ]============================== 0.59/0.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.68 c =============================================================================== 0.59/0.68 c | 0 | 22637 24642 43527 | 8214 0 -nan | 0.000 % | 0.59/0.68 c =============================================================================== 0.69/0.70 c core #123 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 490 Core Weight: 1 Total Weight: 2177 0.69/0.70 c Current CPU time: 0.665898 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 | 23130 25124 44143 | 8374 0 -nan | 0.000 % | 0.69/0.70 c =============================================================================== 0.69/0.72 c core #124 0.69/0.72 c 0.69/0.72 c 0.69/0.72 c Core size: 403 Core Weight: 1 Total Weight: 2178 0.69/0.72 c Current CPU time: 0.682896 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 | 23533 25510 44727 | 8503 0 -nan | 0.000 % | 0.69/0.72 c =============================================================================== 0.69/0.74 c core #125 0.69/0.74 c 0.69/0.74 c 0.69/0.74 c Core size: 442 Core Weight: 1 Total Weight: 2179 0.69/0.74 c Current CPU time: 0.700893 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 | 23969 25945 45255 | 8648 0 -nan | 0.000 % | 0.69/0.74 c =============================================================================== 0.69/0.75 c core #126 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 443 Core Weight: 1 Total Weight: 2180 0.69/0.75 c Current CPU time: 0.71889 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 | 24409 26376 45842 | 8792 0 -nan | 0.000 % | 0.69/0.76 c =============================================================================== 0.69/0.77 c core #127 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 188 Core Weight: 5 Total Weight: 2185 0.69/0.77 c Current CPU time: 0.735888 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 | 24594 26560 46046 | 8853 0 -nan | 0.000 % | 0.69/0.77 c =============================================================================== 0.69/0.79 c core #128 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 187 Core Weight: 16 Total Weight: 2201 0.69/0.79 c Current CPU time: 0.752885 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 | 24778 26743 46245 | 8914 0 -nan | 0.000 % | 0.69/0.79 c =============================================================================== 0.79/0.81 c core #129 0.79/0.81 c 0.79/0.81 c 0.79/0.81 c Core size: 442 Core Weight: 1 Total Weight: 2202 0.79/0.81 c Current CPU time: 0.768883 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 | 25215 27174 46772 | 9058 0 -nan | 0.000 % | 0.79/0.81 c =============================================================================== 0.79/0.82 c core #130 0.79/0.82 c 0.79/0.82 c 0.79/0.82 c Core size: 186 Core Weight: 7 Total Weight: 2209 0.79/0.82 c Current CPU time: 0.78688 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 | 25398 27356 46990 | 9118 0 -nan | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.84 c core #131 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 449 Core Weight: 2 Total Weight: 2211 0.79/0.84 c Current CPU time: 0.804877 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 | 25839 27796 47436 | 9265 0 -nan | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.86 c core #132 0.79/0.86 c 0.79/0.86 c 0.79/0.86 c Core size: 448 Core Weight: 4 Total Weight: 2215 0.79/0.86 c Current CPU time: 0.823874 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 | 26279 28235 47899 | 9411 0 -nan | 0.000 % | 0.79/0.87 c =============================================================================== 0.79/0.89 c core #133 0.79/0.89 c 0.79/0.89 c 0.79/0.89 c Core size: 580 Core Weight: 1 Total Weight: 2216 0.79/0.89 c Current CPU time: 0.844871 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 | 26857 28805 48608 | 9601 0 -nan | 0.000 % | 0.79/0.89 c =============================================================================== 0.89/0.91 c core #134 0.89/0.91 c 0.89/0.91 c 0.89/0.91 c Core size: 883 Core Weight: 1 Total Weight: 2217 0.89/0.91 c Current CPU time: 0.868867 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 | 27738 29671 49721 | 9890 0 -nan | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.94 c core #135 0.89/0.94 c 0.89/0.94 c 0.89/0.94 c Core size: 878 Core Weight: 1 Total Weight: 2218 0.89/0.94 c Current CPU time: 0.895863 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 | 28618 30532 50888 | 10177 0 -nan | 0.000 % | 0.89/0.95 c =============================================================================== 0.89/0.97 c core #136 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 473 Core Weight: 1 Total Weight: 2219 0.89/0.97 c Current CPU time: 0.91886 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 | 29091 30989 51588 | 10329 0 -nan | 0.000 % | 0.89/0.98 c =============================================================================== 0.99/1.00 c core #137 0.99/1.00 c 0.99/1.00 c 0.99/1.00 c Core size: 409 Core Weight: 1 Total Weight: 2220 0.99/1.00 c Current CPU time: 0.943856 s 0.99/1.00 c 0.99/1.00 c ============================[ Search Statistics ]============================== 0.99/1.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.00 c =============================================================================== 0.99/1.00 c | 0 | 29498 31387 52158 | 10462 0 -nan | 0.000 % | 0.99/1.01 c =============================================================================== 0.99/1.03 c core #138 0.99/1.03 c 0.99/1.03 c 0.99/1.03 c Core size: 522 Core Weight: 1 Total Weight: 2221 0.99/1.03 c Current CPU time: 0.970852 s 0.99/1.03 c 0.99/1.03 c ============================[ Search Statistics ]============================== 0.99/1.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.03 c =============================================================================== 0.99/1.03 c | 0 | 30020 31884 52821 | 10628 0 -nan | 0.000 % | 0.99/1.04 c =============================================================================== 0.99/1.06 c core #139 0.99/1.06 c 0.99/1.06 c 0.99/1.06 c Core size: 538 Core Weight: 1 Total Weight: 2222 0.99/1.06 c Current CPU time: 0.994848 s 0.99/1.06 c 0.99/1.06 c ============================[ Search Statistics ]============================== 0.99/1.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.06 c =============================================================================== 0.99/1.06 c | 0 | 30557 32415 53597 | 10805 0 -nan | 0.000 % | 0.99/1.07 c =============================================================================== 0.99/1.09 c core #140 0.99/1.09 c 0.99/1.09 c 0.99/1.09 c Core size: 846 Core Weight: 1 Total Weight: 2223 0.99/1.09 c Current CPU time: 1.02484 s 0.99/1.09 c 0.99/1.09 c ============================[ Search Statistics ]============================== 0.99/1.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.09 c =============================================================================== 0.99/1.09 c | 0 | 31400 33243 54669 | 11081 0 -nan | 0.000 % | 0.99/1.10 c =============================================================================== 1.11/1.12 c core #141 1.11/1.12 c 1.11/1.12 c 1.11/1.12 c Core size: 596 Core Weight: 1 Total Weight: 2224 1.11/1.12 c Current CPU time: 1.05684 s 1.11/1.12 c 1.11/1.12 c ============================[ Search Statistics ]============================== 1.11/1.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.12 c =============================================================================== 1.11/1.12 c | 0 | 31995 33822 55462 | 11274 0 -nan | 0.000 % | 1.11/1.12 c =============================================================================== 1.11/1.15 c core #142 1.11/1.15 c 1.11/1.15 c 1.11/1.15 c Core size: 535 Core Weight: 1 Total Weight: 2225 1.11/1.15 c Current CPU time: 1.07984 s 1.11/1.15 c 1.11/1.15 c ============================[ Search Statistics ]============================== 1.11/1.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.15 c =============================================================================== 1.11/1.15 c | 0 | 32527 34351 56095 | 11450 0 -nan | 0.000 % | 1.11/1.16 c =============================================================================== 1.11/1.18 c core #143 1.11/1.18 c 1.11/1.18 c 1.11/1.18 c Core size: 598 Core Weight: 1 Total Weight: 2226 1.11/1.18 c Current CPU time: 1.10983 s 1.11/1.18 c 1.11/1.18 c ============================[ Search Statistics ]============================== 1.11/1.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.18 c =============================================================================== 1.11/1.18 c | 0 | 33129 34934 57223 | 11644 0 -nan | 0.000 % | 1.11/1.18 c =============================================================================== 1.11/1.20 c core #144 1.11/1.20 c 1.11/1.20 c 1.11/1.20 c Core size: 525 Core Weight: 1 Total Weight: 2227 1.11/1.20 c Current CPU time: 1.13283 s 1.11/1.20 c 1.11/1.20 c ============================[ Search Statistics ]============================== 1.11/1.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.20 c =============================================================================== 1.11/1.20 c | 0 | 33650 35454 57761 | 11818 0 -nan | 0.000 % | 1.21/1.22 c =============================================================================== 1.21/1.24 c core #145 1.21/1.24 c 1.21/1.24 c 1.21/1.24 c Core size: 731 Core Weight: 1 Total Weight: 2228 1.21/1.24 c Current CPU time: 1.16882 s 1.21/1.24 c 1.21/1.24 c ============================[ Search Statistics ]============================== 1.21/1.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.24 c =============================================================================== 1.21/1.24 c | 0 | 34383 36150 59051 | 12050 0 -nan | 0.000 % | 1.21/1.25 c =============================================================================== 1.21/1.28 c core #146 1.21/1.28 c 1.21/1.28 c 1.21/1.28 c Core size: 762 Core Weight: 1 Total Weight: 2229 1.21/1.28 c Current CPU time: 1.20082 s 1.21/1.28 c 1.21/1.28 c ============================[ Search Statistics ]============================== 1.21/1.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.28 c =============================================================================== 1.21/1.28 c | 0 | 35144 36878 60233 | 12292 0 -nan | 0.000 % | 1.21/1.29 c =============================================================================== 1.29/1.31 c core #147 1.29/1.31 c 1.29/1.31 c 1.29/1.31 c Core size: 519 Core Weight: 1 Total Weight: 2230 1.29/1.31 c Current CPU time: 1.22681 s 1.29/1.31 c 1.29/1.31 c ============================[ Search Statistics ]============================== 1.29/1.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.31 c =============================================================================== 1.29/1.31 c | 0 | 35656 37367 60829 | 12455 0 -nan | 0.000 % | 1.29/1.33 c =============================================================================== 1.29/1.35 c core #148 1.29/1.35 c 1.29/1.35 c 1.29/1.35 c Core size: 559 Core Weight: 1 Total Weight: 2231 1.29/1.35 c Current CPU time: 1.26381 s 1.29/1.35 c 1.29/1.35 c ============================[ Search Statistics ]============================== 1.29/1.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.35 c =============================================================================== 1.29/1.35 c | 0 | 36211 37897 61725 | 12632 0 -nan | 0.000 % | 1.29/1.38 c =============================================================================== 1.39/1.40 c core #149 1.39/1.40 c 1.39/1.40 c 1.39/1.40 c Core size: 632 Core Weight: 1 Total Weight: 2232 1.39/1.40 c Current CPU time: 1.3088 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 | 36847 38468 63053 | 12822 0 -nan | 0.000 % | 1.39/1.41 c =============================================================================== 1.39/1.43 c core #150 1.39/1.43 c 1.39/1.43 c 1.39/1.43 c Core size: 244 Core Weight: 1 Total Weight: 2233 1.39/1.43 c Current CPU time: 1.3328 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 | 37087 38707 63352 | 12902 0 -nan | 0.000 % | 1.39/1.44 c =============================================================================== 1.39/1.46 c core #151 1.39/1.46 c 1.39/1.46 c 1.39/1.46 c Core size: 340 Core Weight: 7 Total Weight: 2240 1.39/1.46 c Current CPU time: 1.35679 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 | 37423 39042 63723 | 13014 0 -nan | 0.000 % | 1.39/1.47 c =============================================================================== 1.49/1.50 c core #152 1.49/1.50 c 1.49/1.50 c 1.49/1.50 c Core size: 586 Core Weight: 1 Total Weight: 2241 1.49/1.50 c Current CPU time: 1.39279 s 1.49/1.50 c 1.49/1.50 c ============================[ Search Statistics ]============================== 1.49/1.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.50 c =============================================================================== 1.49/1.50 c | 0 | 38006 39603 64622 | 13201 0 -nan | 0.000 % | 1.49/1.51 c =============================================================================== 1.49/1.54 c core #153 1.49/1.54 c 1.49/1.54 c 1.49/1.54 c Core size: 742 Core Weight: 1 Total Weight: 2242 1.49/1.54 c Current CPU time: 1.42778 s 1.49/1.54 c 1.49/1.54 c ============================[ Search Statistics ]============================== 1.49/1.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.54 c =============================================================================== 1.49/1.54 c | 0 | 38746 40323 65715 | 13441 0 -nan | 0.000 % | 1.49/1.57 c =============================================================================== 1.49/1.59 c core #154 1.49/1.59 c 1.49/1.59 c 1.49/1.59 c Core size: 1117 Core Weight: 1 Total Weight: 2243 1.49/1.59 c Current CPU time: 1.47578 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 | 39866 41388 67617 | 13796 0 -nan | 0.000 % | 1.59/1.62 c =============================================================================== 1.59/1.64 c core #155 1.59/1.64 c 1.59/1.64 c 1.59/1.64 c Core size: 491 Core Weight: 1 Total Weight: 2244 1.59/1.64 c Current CPU time: 1.51977 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 | 40359 41852 68440 | 13950 0 -nan | 0.000 % | 1.59/1.67 c =============================================================================== 1.69/1.70 c core #156 1.69/1.70 c 1.69/1.70 c 1.69/1.70 c Core size: 795 Core Weight: 1 Total Weight: 2245 1.69/1.70 c Current CPU time: 1.56976 s 1.69/1.70 c 1.69/1.70 c ============================[ Search Statistics ]============================== 1.69/1.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.70 c =============================================================================== 1.69/1.70 c | 0 | 41152 42573 69827 | 14191 0 -nan | 0.000 % | 1.69/1.71 c =============================================================================== 1.69/1.73 c core #157 1.69/1.73 c 1.69/1.73 c 1.69/1.73 c Core size: 270 Core Weight: 1 Total Weight: 2246 1.69/1.73 c Current CPU time: 1.59976 s 1.69/1.73 c 1.69/1.73 c ============================[ Search Statistics ]============================== 1.69/1.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.73 c =============================================================================== 1.69/1.73 c | 0 | 41418 42838 70146 | 14279 0 -nan | 0.000 % | 1.69/1.78 c =============================================================================== 1.79/1.81 c core #158 1.79/1.81 c 1.79/1.81 c 1.79/1.81 c Core size: 912 Core Weight: 1 Total Weight: 2247 1.79/1.81 c Current CPU time: 1.66575 s 1.79/1.81 c 1.79/1.81 c ============================[ Search Statistics ]============================== 1.79/1.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.81 c =============================================================================== 1.79/1.81 c | 0 | 42334 43646 72025 | 14548 0 -nan | 0.000 % | 1.79/1.87 c =============================================================================== 1.79/1.89 c core #159 1.79/1.89 c 1.79/1.89 c 1.79/1.89 c Core size: 1105 Core Weight: 1 Total Weight: 2248 1.79/1.89 c Current CPU time: 1.74274 s 1.79/1.89 c 1.79/1.89 c ============================[ Search Statistics ]============================== 1.79/1.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.89 c =============================================================================== 1.79/1.89 c | 0 | 43442 44659 74275 | 14886 0 -nan | 0.000 % | 1.89/1.95 c | 100 | 43400 44659 74275 | 16374 100 212 | 4.480 % | 1.89/1.96 c =============================================================================== 1.99/2.00 c core #160 1.99/2.00 c 1.99/2.00 c 1.99/2.00 c Core size: 1444 Core Weight: 1 Total Weight: 2249 1.99/2.00 c Current CPU time: 1.83172 s 1.99/2.00 c 1.99/2.00 c ============================[ Search Statistics ]============================== 1.99/2.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.00 c =============================================================================== 1.99/2.00 c | 0 | 44891 46026 77330 | 15342 0 -nan | 0.000 % | 1.99/2.06 c =============================================================================== 1.99/2.09 c core #161 1.99/2.09 c 1.99/2.09 c 1.99/2.09 c Core size: 1537 Core Weight: 1 Total Weight: 2250 1.99/2.09 c Current CPU time: 1.92071 s 1.99/2.09 c 1.99/2.09 c ============================[ Search Statistics ]============================== 1.99/2.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.09 c =============================================================================== 1.99/2.09 c | 0 | 46426 47459 80219 | 15819 0 -nan | 0.000 % | 2.09/2.15 c | 100 | 46403 47459 80219 | 17401 100 190 | 4.171 % | 2.09/2.16 c =============================================================================== 2.09/2.19 c core #162 2.09/2.19 c 2.09/2.19 c 2.09/2.19 c Core size: 1140 Core Weight: 1 Total Weight: 2251 2.09/2.19 c Current CPU time: 2.00969 s 2.09/2.19 c 2.09/2.19 c ============================[ Search Statistics ]============================== 2.09/2.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.19 c =============================================================================== 2.09/2.19 c | 0 | 47571 48513 82983 | 16171 0 -nan | 0.000 % | 2.09/2.20 c =============================================================================== 2.21/2.23 c core #163 2.21/2.23 c 2.21/2.23 c 2.21/2.23 c Core size: 428 Core Weight: 1 Total Weight: 2252 2.21/2.23 c Current CPU time: 2.04469 s 2.21/2.23 c 2.21/2.23 c ============================[ Search Statistics ]============================== 2.21/2.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.21/2.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.21/2.23 c =============================================================================== 2.21/2.23 c | 0 | 47993 48930 83474 | 16310 0 -nan | 0.000 % | 2.21/2.28 c | 101 | 47990 48930 83474 | 17941 101 233 | 3.484 % | 2.21/2.31 c =============================================================================== 2.31/2.34 c core #164 2.31/2.34 c 2.31/2.34 c 2.31/2.34 c Core size: 1339 Core Weight: 1 Total Weight: 2253 2.31/2.34 c Current CPU time: 2.14267 s 2.31/2.34 c 2.31/2.34 c ============================[ Search Statistics ]============================== 2.31/2.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.31/2.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.31/2.34 c =============================================================================== 2.31/2.34 c | 0 | 49335 50133 86452 | 16711 0 -nan | 0.000 % | 2.31/2.36 c =============================================================================== 2.31/2.39 c core #165 2.31/2.39 c 2.31/2.39 c 2.31/2.39 c Core size: 749 Core Weight: 1 Total Weight: 2254 2.31/2.39 c Current CPU time: 2.18067 s 2.31/2.39 c 2.31/2.39 c ============================[ Search Statistics ]============================== 2.31/2.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.31/2.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.31/2.39 c =============================================================================== 2.31/2.39 c | 0 | 50080 50874 87704 | 16958 0 -nan | 0.000 % | 2.39/2.45 c | 100 | 50068 50874 87704 | 18653 100 160 | 3.342 % | 2.39/2.46 c =============================================================================== 2.49/2.50 c core #166 2.49/2.50 c 2.49/2.50 c 2.49/2.50 c Core size: 1396 Core Weight: 1 Total Weight: 2255 2.49/2.50 c Current CPU time: 2.28465 s 2.49/2.50 c 2.49/2.50 c ============================[ Search Statistics ]============================== 2.49/2.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.50 c =============================================================================== 2.49/2.50 c | 0 | 51474 52143 90410 | 17381 0 -nan | 0.000 % | 2.49/2.55 c =============================================================================== 2.49/2.59 c core #167 2.49/2.59 c 2.49/2.59 c 2.49/2.59 c Core size: 1298 Core Weight: 1 Total Weight: 2256 2.49/2.59 c Current CPU time: 2.35764 s 2.49/2.59 c 2.49/2.59 c ============================[ Search Statistics ]============================== 2.49/2.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.59 c =============================================================================== 2.49/2.59 c | 0 | 52775 53270 92832 | 17756 0 -nan | 0.000 % | 2.59/2.61 c =============================================================================== 2.59/2.64 c core #168 2.59/2.64 c 2.59/2.64 c 2.59/2.64 c Core size: 924 Core Weight: 1 Total Weight: 2257 2.59/2.64 c Current CPU time: 2.40763 s 2.59/2.64 c 2.59/2.64 c ============================[ Search Statistics ]============================== 2.59/2.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.64 c =============================================================================== 2.59/2.64 c | 0 | 53685 54152 93996 | 18050 0 -nan | 0.000 % | 2.59/2.67 c =============================================================================== 2.69/2.71 c core #169 2.69/2.71 c 2.69/2.71 c 2.69/2.71 c Core size: 836 Core Weight: 1 Total Weight: 2258 2.69/2.71 c Current CPU time: 2.46263 s 2.69/2.71 c 2.69/2.71 c ============================[ Search Statistics ]============================== 2.69/2.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.71 c =============================================================================== 2.69/2.71 c | 0 | 54519 54971 95237 | 18323 0 -nan | 0.000 % | 2.69/2.76 c | 101 | 54519 54971 95237 | 20156 101 160 | 3.035 % | 2.79/2.83 c =============================================================================== 2.79/2.87 c core #170 2.79/2.87 c 2.79/2.87 c 2.79/2.87 c Core size: 1581 Core Weight: 1 Total Weight: 2259 2.79/2.87 c Current CPU time: 2.6146 s 2.79/2.87 c 2.79/2.87 c ============================[ Search Statistics ]============================== 2.79/2.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.87 c =============================================================================== 2.79/2.87 c | 0 | 56094 56338 98549 | 18779 0 -nan | 0.000 % | 2.89/2.93 c | 100 | 56089 56338 98549 | 20657 100 191 | 2.945 % | 2.89/2.97 c =============================================================================== 2.99/3.01 c core #171 2.99/3.01 c 2.99/3.01 c 2.99/3.01 c Core size: 1262 Core Weight: 1 Total Weight: 2260 2.99/3.01 c Current CPU time: 2.74258 s 2.99/3.01 c 2.99/3.01 c ============================[ Search Statistics ]============================== 2.99/3.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.01 c =============================================================================== 2.99/3.01 c | 0 | 57349 57521 100524 | 19173 0 -nan | 0.000 % | 2.99/3.07 c | 100 | 57349 57521 100524 | 21091 100 168 | 2.869 % | 3.09/3.16 c | 251 | 57285 57521 100524 | 23200 251 310 | 2.977 % | 3.09/3.18 c =============================================================================== 3.19/3.22 c core #172 3.19/3.22 c 3.19/3.22 c 3.19/3.22 c Core size: 1907 Core Weight: 1 Total Weight: 2261 3.19/3.22 c Current CPU time: 2.93355 s 3.19/3.22 c 3.19/3.22 c ============================[ Search Statistics ]============================== 3.19/3.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.22 c =============================================================================== 3.19/3.22 c | 0 | 59251 59104 104749 | 19701 0 -nan | 0.000 % | 3.19/3.24 c =============================================================================== 3.19/3.28 c core #173 3.19/3.28 c 3.19/3.28 c 3.19/3.28 c Core size: 774 Core Weight: 1 Total Weight: 2262 3.19/3.28 c Current CPU time: 2.98055 s 3.19/3.28 c 3.19/3.28 c ============================[ Search Statistics ]============================== 3.19/3.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.28 c =============================================================================== 3.19/3.28 c | 0 | 60024 59868 106039 | 19956 0 -nan | 0.000 % | 3.31/3.35 c | 102 | 60018 59868 106039 | 21951 102 183 | 2.739 % | 3.42/3.43 c =============================================================================== 3.42/3.47 c core #174 3.42/3.47 c 3.42/3.47 c 3.42/3.47 c Core size: 1967 Core Weight: 1 Total Weight: 2263 3.42/3.47 c Current CPU time: 3.15552 s 3.42/3.47 c 3.42/3.47 c ============================[ Search Statistics ]============================== 3.42/3.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.42/3.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.42/3.47 c =============================================================================== 3.42/3.47 c | 0 | 61975 61469 110325 | 20489 0 -nan | 0.000 % | 3.42/3.48 c =============================================================================== 3.49/3.52 c core #175 3.49/3.52 c 3.49/3.52 c 3.49/3.52 c Core size: 495 Core Weight: 2 Total Weight: 2265 3.49/3.52 c Current CPU time: 3.20051 s 3.49/3.52 c 3.49/3.52 c ============================[ Search Statistics ]============================== 3.49/3.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.52 c =============================================================================== 3.49/3.52 c | 0 | 62464 61957 110870 | 20652 0 -nan | 0.000 % | 3.49/3.53 c =============================================================================== 3.49/3.57 c core #176 3.49/3.57 c 3.49/3.57 c 3.49/3.57 c Core size: 602 Core Weight: 1 Total Weight: 2266 3.49/3.57 c Current CPU time: 3.24451 s 3.49/3.57 c 3.49/3.57 c ============================[ Search Statistics ]============================== 3.49/3.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.57 c =============================================================================== 3.49/3.57 c | 0 | 63060 62550 111537 | 20850 0 -nan | 0.000 % | 3.59/3.65 c =============================================================================== 3.59/3.69 c core #177 3.59/3.69 c 3.59/3.69 c 3.59/3.69 c Core size: 1571 Core Weight: 1 Total Weight: 2267 3.59/3.69 c Current CPU time: 3.34849 s 3.59/3.69 c 3.59/3.69 c ============================[ Search Statistics ]============================== 3.59/3.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.69 c =============================================================================== 3.59/3.69 c | 0 | 64627 63958 114441 | 21319 0 -nan | 0.000 % | 3.69/3.71 c =============================================================================== 3.69/3.75 c core #178 3.69/3.75 c 3.69/3.75 c 3.69/3.75 c Core size: 360 Core Weight: 1 Total Weight: 2268 3.69/3.75 c Current CPU time: 3.39448 s 3.69/3.75 c 3.69/3.75 c ============================[ Search Statistics ]============================== 3.69/3.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.75 c =============================================================================== 3.69/3.75 c | 0 | 64981 64312 114853 | 21437 0 -nan | 0.000 % | 3.79/3.81 c | 100 | 64974 64312 114853 | 23581 100 162 | 2.515 % | 3.79/3.84 c =============================================================================== 3.79/3.88 c core #179 3.79/3.88 c 3.79/3.88 c 3.79/3.88 c Core size: 1372 Core Weight: 1 Total Weight: 2269 3.79/3.88 c Current CPU time: 3.51047 s 3.79/3.88 c 3.79/3.88 c ============================[ Search Statistics ]============================== 3.79/3.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.88 c =============================================================================== 3.79/3.88 c | 0 | 66357 65517 117901 | 21839 0 -nan | 0.000 % | 3.89/3.91 c =============================================================================== 3.89/3.95 c core #180 3.89/3.95 c 3.89/3.95 c 3.89/3.95 c Core size: 862 Core Weight: 1 Total Weight: 2270 3.89/3.95 c Current CPU time: 3.56446 s 3.89/3.95 c 3.89/3.95 c ============================[ Search Statistics ]============================== 3.89/3.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.95 c =============================================================================== 3.89/3.95 c | 0 | 67225 66363 119473 | 22121 0 -nan | 0.000 % | 3.99/4.04 c | 101 | 67213 66363 119473 | 24333 101 246 | 2.415 % | 3.99/4.08 c =============================================================================== 4.09/4.13 c core #181 4.09/4.13 c 4.09/4.13 c 4.09/4.13 c Core size: 1790 Core Weight: 1 Total Weight: 2271 4.09/4.13 c Current CPU time: 3.71843 s 4.09/4.13 c 4.09/4.13 c ============================[ Search Statistics ]============================== 4.09/4.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.13 c =============================================================================== 4.09/4.13 c | 0 | 69014 67771 123384 | 22590 0 -nan | 0.000 % | 4.09/4.15 c =============================================================================== 4.09/4.19 c core #182 4.09/4.19 c 4.09/4.19 c 4.09/4.19 c Core size: 411 Core Weight: 1 Total Weight: 2272 4.09/4.19 c Current CPU time: 3.76843 s 4.09/4.19 c 4.09/4.19 c ============================[ Search Statistics ]============================== 4.09/4.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.19 c =============================================================================== 4.09/4.19 c | 0 | 69425 68175 123995 | 22725 0 -nan | 0.000 % | 4.19/4.22 c =============================================================================== 4.19/4.26 c core #183 4.19/4.26 c 4.19/4.26 c 4.19/4.26 c Core size: 698 Core Weight: 1 Total Weight: 2273 4.19/4.26 c Current CPU time: 3.82342 s 4.19/4.26 c 4.19/4.26 c ============================[ Search Statistics ]============================== 4.19/4.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.26 c =============================================================================== 4.19/4.26 c | 0 | 70124 68864 124969 | 22954 0 -nan | 0.000 % | 4.19/4.29 c =============================================================================== 4.29/4.33 c core #184 4.29/4.33 c 4.29/4.33 c 4.29/4.33 c Core size: 438 Core Weight: 1 Total Weight: 2274 4.29/4.33 c Current CPU time: 3.87741 s 4.29/4.33 c 4.29/4.33 c ============================[ Search Statistics ]============================== 4.29/4.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.29/4.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.29/4.33 c =============================================================================== 4.29/4.33 c | 0 | 70562 69265 125670 | 23088 0 -nan | 0.000 % | 4.41/4.42 c =============================================================================== 4.41/4.47 c core #185 4.41/4.47 c 4.41/4.47 c 4.41/4.47 c Core size: 1798 Core Weight: 1 Total Weight: 2275 4.41/4.47 c Current CPU time: 3.99839 s 4.41/4.47 c 4.41/4.47 c ============================[ Search Statistics ]============================== 4.41/4.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.41/4.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.41/4.47 c =============================================================================== 4.41/4.47 c | 0 | 72348 70695 129585 | 23565 0 -nan | 0.000 % | 4.51/4.55 c =============================================================================== 4.59/4.60 c core #186 4.59/4.60 c 4.59/4.60 c 4.59/4.60 c Core size: 1645 Core Weight: 1 Total Weight: 2276 4.59/4.60 c Current CPU time: 4.11637 s 4.59/4.60 c 4.59/4.60 c ============================[ Search Statistics ]============================== 4.59/4.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.59/4.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.59/4.60 c =============================================================================== 4.59/4.60 c | 0 | 73991 71996 133496 | 23998 0 -nan | 0.000 % | 4.59/4.69 c | 100 | 73988 71996 133496 | 26398 100 184 | 2.150 % | 4.69/4.78 c =============================================================================== 4.79/4.83 c core #187 4.79/4.83 c 4.79/4.83 c 4.79/4.83 c Core size: 1751 Core Weight: 1 Total Weight: 2277 4.79/4.83 c Current CPU time: 4.32034 s 4.79/4.83 c 4.79/4.83 c ============================[ Search Statistics ]============================== 4.79/4.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.79/4.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.79/4.83 c =============================================================================== 4.79/4.83 c | 0 | 75737 73321 137578 | 24440 0 -nan | 0.000 % | 4.79/4.87 c =============================================================================== 4.90/4.92 c core #188 4.90/4.92 c 4.90/4.92 c 4.90/4.92 c Core size: 659 Core Weight: 1 Total Weight: 2278 4.90/4.92 c Current CPU time: 4.39733 s 4.90/4.92 c 4.90/4.92 c ============================[ Search Statistics ]============================== 4.90/4.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.90/4.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.90/4.92 c =============================================================================== 4.90/4.92 c | 0 | 76391 73905 139047 | 24635 0 -nan | 0.000 % | 4.90/4.96 c =============================================================================== 4.99/5.01 c core #189 4.99/5.01 c 4.99/5.01 c 4.99/5.01 c Core size: 949 Core Weight: 1 Total Weight: 2279 4.99/5.01 c Current CPU time: 4.46532 s 4.99/5.01 c 4.99/5.01 c ============================[ Search Statistics ]============================== 4.99/5.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.99/5.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.99/5.01 c =============================================================================== 4.99/5.01 c | 0 | 77338 74835 140627 | 24945 0 -nan | 0.000 % | 4.99/5.08 c | 102 | 77338 74835 140627 | 27439 102 175 | 2.039 % | 5.09/5.18 c | 253 | 77310 74835 140627 | 30183 253 241 | 2.707 % | 5.19/5.24 c =============================================================================== 5.19/5.29 c core #190 5.19/5.29 c 5.19/5.29 c 5.19/5.29 c Core size: 2108 Core Weight: 1 Total Weight: 2280 5.19/5.29 c Current CPU time: 4.72028 s 5.19/5.29 c 5.19/5.29 c ============================[ Search Statistics ]============================== 5.19/5.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.19/5.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.19/5.29 c =============================================================================== 5.19/5.29 c | 0 | 79451 76534 146141 | 25511 0 -nan | 0.000 % | 5.29/5.34 c =============================================================================== 5.29/5.39 c core #191 5.29/5.39 c 5.29/5.39 c 5.29/5.39 c Core size: 879 Core Weight: 1 Total Weight: 2281 5.29/5.39 c Current CPU time: 4.79827 s 5.29/5.39 c 5.29/5.39 c ============================[ Search Statistics ]============================== 5.29/5.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.29/5.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.29/5.39 c =============================================================================== 5.29/5.39 c | 0 | 80328 77364 147558 | 25788 0 -nan | 0.000 % | 5.39/5.48 c | 101 | 80326 77364 147558 | 28366 101 104 | 1.948 % | 5.51/5.55 c =============================================================================== 5.51/5.60 c core #192 5.51/5.60 c 5.51/5.60 c 5.51/5.60 c Core size: 1624 Core Weight: 1 Total Weight: 2282 5.51/5.60 c Current CPU time: 4.97824 s 5.51/5.60 c 5.51/5.60 c ============================[ Search Statistics ]============================== 5.51/5.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.51/5.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.51/5.60 c =============================================================================== 5.51/5.60 c | 0 | 81939 78619 151009 | 26206 0 -nan | 0.000 % | 5.61/5.66 c | 106 | 81939 78619 151009 | 28826 106 165 | 1.904 % | 5.69/5.73 c =============================================================================== 5.69/5.78 c core #193 5.69/5.78 c 5.69/5.78 c 5.69/5.78 c Core size: 1396 Core Weight: 1 Total Weight: 2283 5.69/5.78 c Current CPU time: 5.14322 s 5.69/5.78 c 5.69/5.78 c ============================[ Search Statistics ]============================== 5.69/5.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.69/5.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.69/5.78 c =============================================================================== 5.69/5.78 c | 0 | 83320 79766 154105 | 26588 0 -nan | 0.000 % | 5.79/5.88 c | 102 | 83319 79766 154105 | 29247 102 125 | 1.867 % | 5.89/5.99 c =============================================================================== 5.99/6.04 c core #194 5.99/6.04 c 5.99/6.04 c 5.99/6.04 c Core size: 963 Core Weight: 1 Total Weight: 2284 5.99/6.04 c Current CPU time: 5.37518 s 5.99/6.04 c 5.99/6.04 c ============================[ Search Statistics ]============================== 5.99/6.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.99/6.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.99/6.04 c =============================================================================== 5.99/6.04 c | 0 | 84278 80515 156534 | 26838 0 -nan | 0.000 % | 6.09/6.13 c | 101 | 84278 80515 156534 | 29522 101 182 | 1.837 % | 6.19/6.20 c =============================================================================== 6.19/6.26 c core #195 6.19/6.26 c 6.19/6.26 c 6.19/6.26 c Core size: 1248 Core Weight: 1 Total Weight: 2285 6.19/6.26 c Current CPU time: 5.57115 s 6.19/6.26 c 6.19/6.26 c ============================[ Search Statistics ]============================== 6.19/6.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.19/6.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.19/6.26 c =============================================================================== 6.19/6.26 c | 0 | 85525 81621 158964 | 27207 0 -nan | 0.000 % | 6.19/6.28 c =============================================================================== 6.29/6.33 c core #196 6.29/6.33 c 6.29/6.33 c 6.29/6.33 c Core size: 401 Core Weight: 1 Total Weight: 2286 6.29/6.33 c Current CPU time: 5.63214 s 6.29/6.33 c 6.29/6.33 c ============================[ Search Statistics ]============================== 6.29/6.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.29/6.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.29/6.33 c =============================================================================== 6.29/6.33 c | 0 | 85925 82010 159409 | 27336 0 -nan | 0.000 % | 6.39/6.41 c | 100 | 85924 82010 159409 | 30070 100 166 | 1.803 % | 6.39/6.49 c | 250 | 85914 82010 159409 | 33077 250 155 | 1.813 % | 6.49/6.54 c =============================================================================== 6.49/6.60 c core #197 6.49/6.60 c 6.49/6.60 c 6.49/6.60 c Core size: 1452 Core Weight: 1 Total Weight: 2287 6.49/6.60 c Current CPU time: 5.86911 s 6.49/6.60 c 6.49/6.60 c ============================[ Search Statistics ]============================== 6.49/6.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.49/6.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.49/6.60 c =============================================================================== 6.49/6.60 c | 0 | 87381 83217 163254 | 27739 0 -nan | 0.000 % | 6.61/6.71 c | 103 | 87381 83217 163254 | 30512 103 155 | 1.762 % | 6.80/6.84 c | 253 | 87371 83217 163254 | 33564 253 211 | 1.773 % | 6.80/6.89 c =============================================================================== 6.90/6.95 c core #198 6.90/6.95 c 6.90/6.95 c 6.90/6.95 c Core size: 2048 Core Weight: 1 Total Weight: 2288 6.90/6.95 c Current CPU time: 6.19706 s 6.90/6.95 c 6.90/6.95 c ============================[ Search Statistics ]============================== 6.90/6.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.90/6.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.90/6.95 c =============================================================================== 6.90/6.95 c | 0 | 89424 84853 167883 | 28284 0 -nan | 0.000 % | 6.99/7.04 c | 100 | 89423 84853 167883 | 31112 100 205 | 1.718 % | 6.99/7.04 c =============================================================================== 7.09/7.10 c core #199 7.09/7.10 c 7.09/7.10 c 7.09/7.10 c Core size: 676 Core Weight: 1 Total Weight: 2289 7.09/7.10 c Current CPU time: 6.32504 s 7.09/7.10 c 7.09/7.10 c ============================[ Search Statistics ]============================== 7.09/7.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.09/7.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.09/7.10 c =============================================================================== 7.09/7.10 c | 0 | 90099 85506 168740 | 28502 0 -nan | 0.000 % | 7.09/7.19 c | 100 | 90099 85506 168740 | 31352 100 186 | 1.703 % | 7.19/7.29 c | 250 | 90091 85506 168740 | 34487 250 201 | 1.712 % | 7.39/7.44 c | 477 | 90091 85506 168740 | 37936 477 400 | 1.712 % | 7.49/7.51 c =============================================================================== 7.49/7.58 c core #200 7.49/7.58 c 7.49/7.58 c 7.49/7.58 c Core size: 2767 Core Weight: 1 Total Weight: 2290 7.49/7.58 c Current CPU time: 6.77297 s 7.49/7.58 c 7.49/7.58 c ============================[ Search Statistics ]============================== 7.49/7.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.49/7.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.49/7.58 c =============================================================================== 7.49/7.58 c | 0 | 92864 87475 175873 | 29158 0 -nan | 0.000 % | 7.59/7.65 c | 100 | 92864 87475 175873 | 32074 100 212 | 1.640 % | 7.71/7.75 c | 250 | 92861 87475 175873 | 35281 250 197 | 1.643 % | 7.81/7.83 c =============================================================================== 7.81/7.89 c core #201 7.81/7.89 c 7.81/7.89 c 7.81/7.89 c Core size: 2041 Core Weight: 1 Total Weight: 2291 7.81/7.89 c Current CPU time: 7.06593 s 7.81/7.89 c 7.81/7.89 c ============================[ Search Statistics ]============================== 7.81/7.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.81/7.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.81/7.89 c =============================================================================== 7.81/7.89 c | 0 | 94909 88790 180994 | 29596 0 -nan | 0.000 % | 7.89/7.98 c | 102 | 94909 88790 180994 | 32556 102 187 | 1.597 % | 7.99/8.07 c | 253 | 94909 88790 180994 | 35811 253 276 | 1.597 % | 8.19/8.25 c | 478 | 94907 88790 180994 | 39393 478 376 | 1.599 % | 8.29/8.38 c =============================================================================== 8.39/8.45 c core #202 8.39/8.45 c 8.39/8.45 c 8.39/8.45 c Core size: 2671 Core Weight: 1 Total Weight: 2292 8.39/8.45 c Current CPU time: 7.58985 s 8.39/8.45 c 8.39/8.45 c ============================[ Search Statistics ]============================== 8.39/8.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.39/8.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.39/8.45 c =============================================================================== 8.39/8.45 c | 0 | 97583 90680 187410 | 30226 0 -nan | 0.000 % | 8.49/8.50 c =============================================================================== 8.49/8.56 c core #203 8.49/8.56 c 8.49/8.56 c 8.49/8.56 c Core size: 743 Core Weight: 1 Total Weight: 2293 8.49/8.56 c Current CPU time: 7.67683 s 8.49/8.56 c 8.49/8.56 c ============================[ Search Statistics ]============================== 8.49/8.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.49/8.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.49/8.56 c =============================================================================== 8.49/8.56 c | 0 | 98328 91375 188459 | 30458 0 -nan | 0.000 % | 8.59/8.61 c =============================================================================== 8.59/8.67 c core #204 8.59/8.67 c 8.59/8.67 c 8.59/8.67 c Core size: 482 Core Weight: 1 Total Weight: 2294 8.59/8.67 c Current CPU time: 7.75182 s 8.59/8.67 c 8.59/8.67 c ============================[ Search Statistics ]============================== 8.59/8.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.59/8.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.59/8.67 c =============================================================================== 8.59/8.67 c | 0 | 98806 91843 189163 | 30614 0 -nan | 0.000 % | 8.69/8.72 c =============================================================================== 8.69/8.78 c core #205 8.69/8.78 c 8.69/8.78 c 8.69/8.78 c Core size: 558 Core Weight: 1 Total Weight: 2295 8.69/8.78 c Current CPU time: 7.83081 s 8.69/8.78 c 8.69/8.78 c ============================[ Search Statistics ]============================== 8.69/8.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.69/8.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.69/8.78 c =============================================================================== 8.69/8.78 c | 0 | 99356 92371 189904 | 30790 0 -nan | 0.000 % | 8.81/8.89 c | 100 | 99356 92371 189904 | 33869 100 144 | 1.516 % | 8.91/8.98 c =============================================================================== 8.99/9.05 c core #206 8.99/9.05 c 8.99/9.05 c 8.99/9.05 c Core size: 654 Core Weight: 1 Total Weight: 2296 8.99/9.05 c Current CPU time: 8.06977 s 8.99/9.05 c 8.99/9.05 c ============================[ Search Statistics ]============================== 8.99/9.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.99/9.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.99/9.05 c =============================================================================== 8.99/9.05 c | 0 | 100011 92898 191764 | 30966 0 -nan | 0.000 % | 9.09/9.15 c | 100 | 100011 92898 191764 | 34062 100 176 | 1.502 % | 9.19/9.27 c | 254 | 100010 92898 191764 | 37468 254 222 | 1.503 % | 9.39/9.42 c | 479 | 100008 92898 191764 | 41215 479 295 | 1.505 % | 9.39/9.46 c =============================================================================== 9.49/9.52 c core #207 9.49/9.52 c 9.49/9.52 c 9.49/9.52 c Core size: 2016 Core Weight: 1 Total Weight: 2297 9.49/9.52 c Current CPU time: 8.50771 s 9.49/9.52 c 9.49/9.52 c ============================[ Search Statistics ]============================== 9.49/9.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.49/9.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.49/9.52 c =============================================================================== 9.49/9.52 c | 0 | 102026 94355 196603 | 31451 0 -nan | 0.000 % | 9.59/9.62 c | 100 | 102026 94355 196603 | 34596 100 135 | 1.469 % | 9.59/9.69 c | 250 | 102025 94355 196603 | 38056 250 103 | 1.470 % | 9.69/9.76 c =============================================================================== 9.79/9.83 c core #208 9.79/9.83 c 9.79/9.83 c 9.79/9.83 c Core size: 653 Core Weight: 1 Total Weight: 2298 9.79/9.83 c Current CPU time: 8.77167 s 9.79/9.83 c 9.79/9.83 c ============================[ Search Statistics ]============================== 9.79/9.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.79/9.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.79/9.83 c =============================================================================== 9.79/9.83 c | 0 | 102676 94959 198206 | 31653 0 -nan | 0.000 % | 9.79/9.86 c =============================================================================== 9.91/9.93 c core #209 9.91/9.93 c 9.91/9.93 c 9.91/9.93 c Core size: 402 Core Weight: 1 Total Weight: 2299 9.91/9.93 c Current CPU time: 8.84865 s 9.91/9.93 c 9.91/9.93 c ============================[ Search Statistics ]============================== 9.91/9.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.91/9.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.91/9.93 c =============================================================================== 9.91/9.93 c | 0 | 103075 95354 198669 | 31784 0 -nan | 0.000 % | 9.91/9.99 c =============================================================================== 10.01/10.05 c core #210 10.01/10.05 c 10.01/10.05 c 10.01/10.05 c Core size: 726 Core Weight: 1 Total Weight: 2300 10.01/10.05 c Current CPU time: 8.93264 s 10.01/10.05 c 10.01/10.05 c ============================[ Search Statistics ]============================== 10.01/10.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.01/10.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.01/10.05 c =============================================================================== 10.01/10.05 c | 0 | 103802 96055 200302 | 32018 0 -nan | 0.000 % | 10.01/10.09 c =============================================================================== 10.09/10.16 c core #211 10.09/10.16 c 10.09/10.16 c 10.09/10.16 c Core size: 499 Core Weight: 1 Total Weight: 2301 10.09/10.16 c Current CPU time: 9.01363 s 10.09/10.16 c 10.09/10.16 c ============================[ Search Statistics ]============================== 10.09/10.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.09/10.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.09/10.16 c =============================================================================== 10.09/10.16 c | 0 | 104296 96543 201083 | 32181 0 -nan | 0.000 % | 10.19/10.20 c =============================================================================== 10.19/10.27 c core #212 10.19/10.27 c 10.19/10.27 c 10.19/10.27 c Core size: 406 Core Weight: 1 Total Weight: 2302 10.19/10.27 c Current CPU time: 9.09462 s 10.19/10.27 c 10.19/10.27 c ============================[ Search Statistics ]============================== 10.19/10.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.19/10.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.19/10.27 c =============================================================================== 10.19/10.27 c | 0 | 104695 96879 201828 | 32293 0 -nan | 0.000 % | 10.29/10.37 c | 105 | 104695 96879 201828 | 35522 105 86 | 1.424 % | 10.39/10.45 c | 257 | 104691 96879 201828 | 39074 257 148 | 1.429 % | 10.39/10.46 c =============================================================================== 10.49/10.53 c core #213 10.49/10.53 c 10.49/10.53 c 10.49/10.53 c Core size: 566 Core Weight: 1 Total Weight: 2303 10.49/10.53 c Current CPU time: 9.32258 s 10.49/10.53 c 10.49/10.53 c ============================[ Search Statistics ]============================== 10.49/10.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.49/10.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.49/10.53 c =============================================================================== 10.49/10.53 c | 0 | 105261 97423 203557 | 32474 0 -nan | 0.000 % | 10.49/10.58 c =============================================================================== 10.59/10.65 c core #214 10.59/10.65 c 10.59/10.65 c 10.59/10.65 c Core size: 502 Core Weight: 1 Total Weight: 2304 10.59/10.65 c Current CPU time: 9.40857 s 10.59/10.65 c 10.59/10.65 c ============================[ Search Statistics ]============================== 10.59/10.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.59/10.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.59/10.65 c =============================================================================== 10.59/10.65 c | 0 | 105764 97907 204417 | 32635 0 -nan | 0.000 % | 10.69/10.74 c | 100 | 105764 97907 204417 | 35899 100 201 | 1.404 % | 10.79/10.81 c | 250 | 105764 97907 204417 | 39489 250 250 | 1.404 % | 10.89/11.01 c | 476 | 105755 97907 204417 | 43438 476 317 | 1.412 % | 11.01/11.12 c =============================================================================== 11.11/11.19 c core #215 11.11/11.19 c 11.11/11.19 c 11.11/11.19 c Core size: 2841 Core Weight: 1 Total Weight: 2305 11.11/11.19 c Current CPU time: 9.90749 s 11.11/11.19 c 11.11/11.19 c ============================[ Search Statistics ]============================== 11.11/11.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.11/11.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.11/11.19 c =============================================================================== 11.11/11.19 c | 0 | 108583 99860 210504 | 33286 0 -nan | 0.000 % | 11.20/11.23 c =============================================================================== 11.29/11.30 c core #216 11.29/11.30 c 11.29/11.30 c 11.29/11.30 c Core size: 472 Core Weight: 1 Total Weight: 2306 11.29/11.30 c Current CPU time: 9.99948 s 11.29/11.30 c 11.29/11.30 c ============================[ Search Statistics ]============================== 11.29/11.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.29/11.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.29/11.30 c =============================================================================== 11.29/11.30 c | 0 | 109054 100318 211145 | 33439 0 -nan | 0.000 % | 11.29/11.35 c =============================================================================== 11.39/11.42 c core #217 11.39/11.42 c 11.39/11.42 c 11.39/11.42 c Core size: 449 Core Weight: 1 Total Weight: 2307 11.39/11.42 c Current CPU time: 10.0915 s 11.39/11.42 c 11.39/11.42 c ============================[ Search Statistics ]============================== 11.39/11.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.39/11.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.39/11.42 c =============================================================================== 11.39/11.42 c | 0 | 109500 100759 211825 | 33586 0 -nan | 0.000 % | 11.49/11.53 c | 101 | 109497 100759 211825 | 36944 101 127 | 1.356 % | 11.49/11.56 c =============================================================================== 11.59/11.63 c core #218 11.59/11.63 c 11.59/11.63 c 11.59/11.63 c Core size: 1292 Core Weight: 1 Total Weight: 2308 11.59/11.63 c Current CPU time: 10.2824 s 11.59/11.63 c 11.59/11.63 c ============================[ Search Statistics ]============================== 11.59/11.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.59/11.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.59/11.63 c =============================================================================== 11.59/11.63 c | 0 | 110795 101929 214964 | 33976 0 -nan | 0.000 % | 11.69/11.78 c | 103 | 110795 101929 214964 | 37373 103 260 | 1.330 % | 11.79/11.85 c | 254 | 110795 101929 214964 | 41111 254 188 | 1.330 % | 11.89/11.95 c =============================================================================== 11.99/12.03 c core #219 11.99/12.03 c 11.99/12.03 c 11.99/12.03 c Core size: 676 Core Weight: 1 Total Weight: 2309 11.99/12.03 c Current CPU time: 10.6404 s 11.99/12.03 c 11.99/12.03 c ============================[ Search Statistics ]============================== 11.99/12.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.99/12.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.99/12.03 c =============================================================================== 11.99/12.03 c | 0 | 111473 102570 217004 | 34190 0 -nan | 0.000 % | 12.11/12.12 c | 100 | 111473 102570 217004 | 37609 100 155 | 1.318 % | 12.11/12.19 c | 252 | 111472 102570 217004 | 41369 252 181 | 1.319 % | 12.21/12.28 c =============================================================================== 12.29/12.36 c core #220 12.29/12.36 c 12.29/12.36 c 12.29/12.36 c Core size: 701 Core Weight: 1 Total Weight: 2310 12.29/12.36 c Current CPU time: 10.9343 s 12.29/12.36 c 12.29/12.36 c ============================[ Search Statistics ]============================== 12.29/12.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.29/12.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.29/12.36 c =============================================================================== 12.29/12.36 c | 0 | 112172 103178 219108 | 34392 0 -nan | 0.000 % | 12.39/12.49 c | 100 | 112172 103178 219108 | 37831 100 165 | 1.308 % | 12.59/12.61 c | 251 | 112171 103178 219108 | 41615 251 257 | 1.309 % | 12.69/12.78 c | 477 | 112171 103178 219108 | 45776 477 291 | 1.309 % | 12.89/12.94 c =============================================================================== 12.99/13.02 c core #221 12.99/13.02 c 12.99/13.02 c 12.99/13.02 c Core size: 2615 Core Weight: 1 Total Weight: 2311 12.99/13.02 c Current CPU time: 11.5522 s 12.99/13.02 c 12.99/13.02 c ============================[ Search Statistics ]============================== 12.99/13.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.99/13.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.99/13.02 c =============================================================================== 12.99/13.02 c | 0 | 114785 105023 225456 | 35007 0 -nan | 0.000 % | 13.10/13.13 c | 100 | 114785 105023 225456 | 38508 100 79 | 1.274 % | 13.10/13.20 c | 251 | 114783 105023 225456 | 42359 251 142 | 1.276 % | 13.21/13.24 c =============================================================================== 13.21/13.31 c core #222 13.21/13.31 c 13.21/13.31 c 13.21/13.31 c Core size: 531 Core Weight: 1 Total Weight: 2312 13.21/13.31 c Current CPU time: 11.8122 s 13.21/13.31 c 13.21/13.31 c ============================[ Search Statistics ]============================== 13.21/13.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.21/13.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.21/13.31 c =============================================================================== 13.21/13.31 c | 0 | 115318 105514 227489 | 35171 0 -nan | 0.000 % | 13.40/13.43 c | 102 | 115318 105514 227489 | 38688 102 254 | 1.264 % | 13.49/13.51 c | 253 | 115318 105514 227489 | 42557 253 245 | 1.264 % | 13.69/13.70 c | 482 | 115317 105514 227489 | 46813 482 222 | 1.266 % | 13.69/13.74 c =============================================================================== 13.79/13.82 c core #223 13.79/13.82 c 13.79/13.82 c 13.79/13.82 c Core size: 1083 Core Weight: 1 Total Weight: 2313 13.79/13.82 c Current CPU time: 12.2691 s 13.79/13.82 c 13.79/13.82 c ============================[ Search Statistics ]============================== 13.79/13.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.79/13.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.79/13.82 c =============================================================================== 13.79/13.82 c | 0 | 116403 106269 230764 | 35423 0 -nan | 0.000 % | 13.89/13.92 c | 100 | 116403 106269 230764 | 38965 100 148 | 1.247 % | 14.09/14.14 c | 251 | 116401 106269 230764 | 42861 251 123 | 1.249 % | 14.19/14.28 c =============================================================================== 14.31/14.36 c core #224 14.31/14.36 c 14.31/14.36 c 14.31/14.36 c Core size: 1002 Core Weight: 1 Total Weight: 2314 14.31/14.36 c Current CPU time: 12.7711 s 14.31/14.36 c 14.31/14.36 c ============================[ Search Statistics ]============================== 14.31/14.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.31/14.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.31/14.36 c =============================================================================== 14.31/14.36 c | 0 | 117408 106995 233622 | 35665 0 -nan | 0.000 % | 14.49/14.52 c | 100 | 117408 106995 233622 | 39231 100 397 | 1.233 % | 14.59/14.66 c | 251 | 117407 106995 233622 | 43154 251 246 | 1.234 % | 14.70/14.72 c =============================================================================== 14.79/14.80 c core #225 14.79/14.80 c 14.79/14.80 c 14.79/14.80 c Core size: 1452 Core Weight: 1 Total Weight: 2315 14.79/14.80 c Current CPU time: 13.176 s 14.79/14.80 c 14.79/14.80 c ============================[ Search Statistics ]============================== 14.79/14.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.79/14.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.79/14.80 c =============================================================================== 14.79/14.80 c | 0 | 118835 108062 237559 | 36020 0 -nan | 0.000 % | 14.89/14.94 c | 100 | 118784 108062 237559 | 39622 100 109 | 1.255 % | 14.99/15.05 c | 250 | 118782 108062 237559 | 43585 250 85 | 1.257 % | 15.09/15.13 c =============================================================================== 15.19/15.20 c core #226 15.19/15.20 c 15.19/15.20 c 15.19/15.20 c Core size: 899 Core Weight: 1 Total Weight: 2316 15.19/15.20 c Current CPU time: 13.5529 s 15.19/15.20 c 15.19/15.20 c ============================[ Search Statistics ]============================== 15.19/15.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.19/15.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.19/15.20 c =============================================================================== 15.19/15.20 c | 0 | 119724 108909 239867 | 36303 0 -nan | 0.000 % | 15.29/15.37 c | 100 | 119720 108909 239867 | 39933 100 242 | 1.205 % | 15.51/15.58 c | 252 | 119717 108909 239867 | 43926 252 296 | 1.207 % | 15.69/15.75 c =============================================================================== 15.79/15.83 c core #227 15.79/15.83 c 15.79/15.83 c 15.79/15.83 c Core size: 2739 Core Weight: 1 Total Weight: 2317 15.79/15.83 c Current CPU time: 14.1388 s 15.79/15.83 c 15.79/15.83 c ============================[ Search Statistics ]============================== 15.79/15.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.79/15.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.79/15.83 c =============================================================================== 15.79/15.83 c | 0 | 122457 110458 246283 | 36819 0 -nan | 0.000 % | 15.89/15.92 c | 101 | 122457 110458 246283 | 40501 101 235 | 1.171 % | 15.99/16.04 c | 251 | 122457 110458 246283 | 44551 251 219 | 1.171 % | 16.19/16.23 c | 476 | 122455 110458 246283 | 49006 476 236 | 1.173 % | 16.40/16.50 c =============================================================================== 16.51/16.58 c core #228 16.51/16.58 c 16.51/16.58 c 16.51/16.58 c Core size: 2629 Core Weight: 1 Total Weight: 2318 16.51/16.58 c Current CPU time: 14.8427 s 16.51/16.58 c 16.51/16.58 c ============================[ Search Statistics ]============================== 16.51/16.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.51/16.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.51/16.58 c =============================================================================== 16.51/16.58 c | 0 | 125084 112132 253193 | 37377 0 -nan | 0.000 % | 16.69/16.74 c | 103 | 125082 112132 253193 | 41115 103 80 | 1.144 % | 16.89/16.92 c | 253 | 125078 112132 253193 | 45226 253 193 | 1.147 % | 17.19/17.21 c | 478 | 125078 112132 253193 | 49749 478 273 | 1.147 % | 17.61/17.66 c | 824 | 125064 112132 253193 | 54724 824 273 | 1.158 % | 17.61/17.70 c =============================================================================== 17.71/17.79 c core #229 17.71/17.79 c 17.71/17.79 c 17.71/17.79 c Core size: 2951 Core Weight: 1 Total Weight: 2319 17.71/17.79 c Current CPU time: 16.0016 s 17.71/17.79 c 17.71/17.79 c ============================[ Search Statistics ]============================== 17.71/17.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.71/17.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.71/17.79 c =============================================================================== 17.71/17.79 c | 0 | 128040 113768 261173 | 37922 0 -nan | 0.000 % | 17.90/17.92 c | 101 | 128040 113768 261173 | 41714 101 182 | 1.110 % | 17.99/18.03 c | 253 | 128040 113768 261173 | 45886 253 159 | 1.110 % | 18.19/18.21 c | 479 | 128040 113768 261173 | 50475 479 154 | 1.110 % | 18.19/18.23 c =============================================================================== 18.29/18.31 c core #230 18.29/18.31 c 18.29/18.31 c 18.29/18.31 c Core size: 1101 Core Weight: 1 Total Weight: 2320 18.29/18.31 c Current CPU time: 16.4885 s 18.29/18.31 c 18.29/18.31 c ============================[ Search Statistics ]============================== 18.29/18.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.29/18.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.29/18.31 c =============================================================================== 18.29/18.31 c | 0 | 129140 114583 264288 | 38194 0 -nan | 0.000 % | 18.39/18.47 c | 100 | 129132 114583 264288 | 42013 100 136 | 1.105 % | 18.59/18.64 c | 250 | 129131 114583 264288 | 46215 250 264 | 1.106 % | 18.71/18.80 c =============================================================================== 18.81/18.89 c core #231 18.81/18.89 c 18.81/18.89 c 18.81/18.89 c Core size: 2850 Core Weight: 1 Total Weight: 2321 18.81/18.89 c Current CPU time: 17.0204 s 18.81/18.89 c 18.81/18.89 c ============================[ Search Statistics ]============================== 18.81/18.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.81/18.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.81/18.89 c =============================================================================== 18.81/18.89 c | 0 | 131993 116201 271576 | 38733 0 -nan | 0.000 % | 18.89/18.94 c =============================================================================== 18.99/19.02 c core #232 18.99/19.02 c 18.99/19.02 c 18.99/19.02 c Core size: 697 Core Weight: 1 Total Weight: 2322 18.99/19.02 c Current CPU time: 17.1254 s 18.99/19.02 c 18.99/19.02 c ============================[ Search Statistics ]============================== 18.99/19.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.99/19.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.99/19.02 c =============================================================================== 18.99/19.02 c | 0 | 132681 116846 272814 | 38948 0 -nan | 0.000 % | 18.99/19.08 c =============================================================================== 19.09/19.17 c core #233 19.09/19.17 c 19.09/19.17 c 19.09/19.17 c Core size: 427 Core Weight: 1 Total Weight: 2323 19.09/19.17 c Current CPU time: 17.2274 s 19.09/19.17 c 19.09/19.17 c ============================[ Search Statistics ]============================== 19.09/19.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.09/19.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.09/19.17 c =============================================================================== 19.09/19.17 c | 0 | 133107 117265 273392 | 39088 0 -nan | 0.000 % | 19.29/19.31 c | 100 | 133103 117265 273392 | 42997 100 189 | 1.061 % | 19.49/19.58 c | 250 | 132122 117265 273392 | 47296 250 225 | 1.791 % | 19.59/19.63 c =============================================================================== 19.69/19.72 c core #234 19.69/19.72 c 19.69/19.72 c 19.69/19.72 c Core size: 2926 Core Weight: 1 Total Weight: 2324 19.69/19.72 c Current CPU time: 17.7463 s 19.69/19.72 c 19.69/19.72 c ============================[ Search Statistics ]============================== 19.69/19.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.69/19.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.69/19.72 c =============================================================================== 19.69/19.72 c | 0 | 136031 118985 281067 | 39661 0 -nan | 0.000 % | 19.81/19.86 c | 100 | 136031 118985 281067 | 43627 100 317 | 1.031 % | 19.91/19.94 c | 251 | 136031 118985 281067 | 47990 251 208 | 1.031 % | 20.10/20.19 c | 476 | 136026 118985 281067 | 52789 476 186 | 1.035 % | 20.30/20.31 c =============================================================================== 20.40/20.40 c core #235 20.40/20.40 c 20.40/20.40 c 20.40/20.40 c Core size: 1531 Core Weight: 1 Total Weight: 2325 20.40/20.40 c Current CPU time: 18.3672 s 20.40/20.40 c 20.40/20.40 c ============================[ Search Statistics ]============================== 20.40/20.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.40/20.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.40/20.40 c =============================================================================== 20.40/20.40 c | 0 | 137562 120086 285862 | 40028 0 -nan | 0.000 % | 20.49/20.55 c | 101 | 137562 120086 285862 | 44031 101 274 | 1.014 % | 20.59/20.63 c =============================================================================== 20.69/20.71 c core #236 20.69/20.71 c 20.69/20.71 c 20.69/20.71 c Core size: 1441 Core Weight: 1 Total Weight: 2326 20.69/20.71 c Current CPU time: 18.6382 s 20.69/20.71 c 20.69/20.71 c ============================[ Search Statistics ]============================== 20.69/20.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.69/20.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.69/20.71 c =============================================================================== 20.69/20.71 c | 0 | 139002 121149 289373 | 40383 0 -nan | 0.000 % | 20.79/20.89 c | 101 | 138996 121149 289373 | 44421 101 158 | 1.004 % | 20.91/20.94 c =============================================================================== 21.01/21.03 c core #237 21.01/21.03 c 21.01/21.03 c 21.01/21.03 c Core size: 880 Core Weight: 1 Total Weight: 2327 21.01/21.03 c Current CPU time: 18.9001 s 21.01/21.03 c 21.01/21.03 c ============================[ Search Statistics ]============================== 21.01/21.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.01/21.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.01/21.03 c =============================================================================== 21.01/21.03 c | 0 | 139874 121929 290708 | 40643 0 -nan | 0.000 % | 21.09/21.19 c | 100 | 139872 121929 290708 | 44707 100 131 | 0.994 % | 21.30/21.33 c | 250 | 139869 121929 290708 | 49178 250 136 | 0.996 % | 21.49/21.50 c | 478 | 139864 121929 290708 | 54095 478 164 | 0.999 % | 21.89/21.97 c | 819 | 139864 121929 290708 | 59505 819 243 | 0.999 % | 22.49/22.52 c =============================================================================== 22.59/22.62 c core #238 22.59/22.62 c 22.59/22.62 c 22.59/22.62 c Core size: 3814 Core Weight: 1 Total Weight: 2328 22.59/22.62 c Current CPU time: 20.4369 s 22.59/22.62 c 22.59/22.62 c ============================[ Search Statistics ]============================== 22.59/22.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.59/22.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.59/22.62 c =============================================================================== 22.59/22.62 c | 0 | 143687 123781 300569 | 41260 0 -nan | 0.000 % | 22.69/22.79 c | 102 | 143687 123781 300569 | 45386 102 184 | 0.961 % | 22.79/22.89 c | 254 | 143687 123781 300569 | 49925 254 192 | 0.961 % | 22.89/22.98 c | 479 | 143687 123781 300569 | 54917 479 151 | 0.961 % | 23.11/23.18 c =============================================================================== 23.22/23.27 c core #239 23.22/23.27 c 23.22/23.27 c 23.22/23.27 c Core size: 998 Core Weight: 1 Total Weight: 2329 23.22/23.27 c Current CPU time: 21.0338 s 23.22/23.27 c 23.22/23.27 c ============================[ Search Statistics ]============================== 23.22/23.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.22/23.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.22/23.27 c =============================================================================== 23.22/23.27 c | 0 | 144685 124544 304255 | 41514 0 -nan | 0.000 % | 23.29/23.35 c =============================================================================== 23.39/23.44 c core #240 23.39/23.44 c 23.39/23.44 c 23.39/23.44 c Core size: 650 Core Weight: 1 Total Weight: 2330 23.39/23.44 c Current CPU time: 21.1708 s 23.39/23.44 c 23.39/23.44 c ============================[ Search Statistics ]============================== 23.39/23.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.39/23.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.39/23.44 c =============================================================================== 23.39/23.44 c | 0 | 145339 125136 306010 | 41712 0 -nan | 0.000 % | 23.49/23.56 c | 100 | 145339 125136 306010 | 45883 100 110 | 0.941 % | 23.59/23.63 c | 252 | 145339 125136 306010 | 50471 252 97 | 0.941 % | 23.89/23.93 c | 477 | 145339 125136 306010 | 55518 477 97 | 0.941 % | 24.31/24.32 c | 815 | 145338 125136 306010 | 61070 815 131 | 0.941 % | 24.69/24.70 c | 1321 | 145338 125136 306010 | 67177 1321 202 | 0.941 % | 24.79/24.81 c =============================================================================== 24.89/24.91 c core #241 24.89/24.91 c 24.89/24.91 c 24.89/24.91 c Core size: 2831 Core Weight: 1 Total Weight: 2331 24.89/24.91 c Current CPU time: 22.5786 s 24.89/24.91 c 24.89/24.91 c ============================[ Search Statistics ]============================== 24.89/24.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.89/24.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.89/24.91 c =============================================================================== 24.89/24.91 c | 0 | 148169 126420 313528 | 42140 0 -nan | 0.000 % | 24.99/25.05 c | 100 | 148169 126420 313528 | 46354 100 198 | 0.919 % | 25.09/25.14 c | 250 | 148169 126420 313528 | 50989 250 148 | 0.919 % | 25.31/25.38 c | 479 | 148167 126420 313528 | 56088 479 118 | 0.921 % | 25.41/25.46 c =============================================================================== 25.49/25.55 c core #242 25.49/25.55 c 25.49/25.55 c 25.49/25.55 c Core size: 896 Core Weight: 1 Total Weight: 2332 25.49/25.55 c Current CPU time: 23.1715 s 25.49/25.55 c 25.49/25.55 c ============================[ Search Statistics ]============================== 25.49/25.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.49/25.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.49/25.55 c =============================================================================== 25.49/25.55 c | 0 | 149060 127007 315944 | 42335 0 -nan | 0.000 % | 25.59/25.70 c | 100 | 149060 127007 315944 | 46569 100 258 | 0.913 % | 25.69/25.79 c | 250 | 149058 127007 315944 | 51226 250 194 | 0.915 % | 25.99/26.03 c | 476 | 149058 127007 315944 | 56348 476 190 | 0.915 % | 26.29/26.31 c | 814 | 149058 127007 315944 | 61983 814 230 | 0.915 % | 26.79/26.89 c =============================================================================== 26.89/26.99 c core #243 26.89/26.99 c 26.89/26.99 c 26.89/26.99 c Core size: 2315 Core Weight: 1 Total Weight: 2333 26.89/26.99 c Current CPU time: 24.5403 s 26.89/26.99 c 26.89/26.99 c ============================[ Search Statistics ]============================== 26.89/26.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.89/26.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.89/26.99 c =============================================================================== 26.89/26.99 c | 0 | 151369 128376 321907 | 42792 0 -nan | 0.000 % | 27.00/27.08 c =============================================================================== 27.09/27.17 c core #244 27.09/27.17 c 27.09/27.17 c 27.09/27.17 c Core size: 640 Core Weight: 1 Total Weight: 2334 27.09/27.17 c Current CPU time: 24.6862 s 27.09/27.17 c 27.09/27.17 c ============================[ Search Statistics ]============================== 27.09/27.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.09/27.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.09/27.17 c =============================================================================== 27.09/27.17 c | 0 | 152002 128954 323032 | 42984 0 -nan | 0.000 % | 27.19/27.26 c =============================================================================== 27.29/27.36 c core #245 27.29/27.36 c 27.29/27.36 c 27.29/27.36 c Core size: 628 Core Weight: 1 Total Weight: 2335 27.29/27.36 c Current CPU time: 24.8212 s 27.29/27.36 c 27.29/27.36 c ============================[ Search Statistics ]============================== 27.29/27.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.29/27.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.29/27.36 c =============================================================================== 27.29/27.36 c | 0 | 152629 129497 324002 | 43165 0 -nan | 0.000 % | 27.40/27.46 c =============================================================================== 27.51/27.55 c core #246 27.51/27.55 c 27.51/27.55 c 27.51/27.55 c Core size: 561 Core Weight: 1 Total Weight: 2336 27.51/27.55 c Current CPU time: 24.9672 s 27.51/27.55 c 27.51/27.55 c ============================[ Search Statistics ]============================== 27.51/27.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.51/27.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.51/27.55 c =============================================================================== 27.51/27.55 c | 0 | 153185 130018 325222 | 43339 0 -nan | 0.000 % | 27.69/27.71 c | 102 | 153182 130018 325222 | 47673 102 185 | 0.885 % | 27.69/27.73 c =============================================================================== 27.79/27.83 c core #247 27.79/27.83 c 27.79/27.83 c 27.79/27.83 c Core size: 614 Core Weight: 1 Total Weight: 2337 27.79/27.83 c Current CPU time: 25.1672 s 27.79/27.83 c 27.79/27.83 c ============================[ Search Statistics ]============================== 27.79/27.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.79/27.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.79/27.83 c =============================================================================== 27.79/27.83 c | 0 | 153785 130556 326448 | 43518 0 -nan | 0.000 % | 27.89/27.96 c | 100 | 153785 130556 326448 | 47870 100 225 | 0.879 % | 28.09/28.14 c | 250 | 153784 130556 326448 | 52657 250 204 | 0.879 % | 28.29/28.34 c | 475 | 153784 130556 326448 | 57923 475 183 | 0.879 % | 28.71/28.77 c | 812 | 153783 130556 326448 | 63715 812 197 | 0.880 % | 28.71/28.78 c =============================================================================== 28.79/28.88 c core #248 28.79/28.88 c 28.79/28.88 c 28.79/28.88 c Core size: 1759 Core Weight: 1 Total Weight: 2338 28.79/28.88 c Current CPU time: 26.16 s 28.79/28.88 c 28.79/28.88 c ============================[ Search Statistics ]============================== 28.79/28.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.79/28.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.79/28.88 c =============================================================================== 28.79/28.88 c | 0 | 155549 131510 331674 | 43836 0 -nan | 0.000 % | 28.99/29.06 c | 100 | 155548 131510 331674 | 48220 100 102 | 0.865 % | 29.19/29.25 c | 251 | 155548 131510 331674 | 53042 251 125 | 0.865 % | 29.49/29.57 c =============================================================================== 29.59/29.68 c core #249 29.59/29.68 c 29.59/29.68 c 29.59/29.68 c Core size: 1705 Core Weight: 1 Total Weight: 2339 29.59/29.68 c Current CPU time: 26.8979 s 29.59/29.68 c 29.59/29.68 c ============================[ Search Statistics ]============================== 29.59/29.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.59/29.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.59/29.68 c =============================================================================== 29.59/29.68 c | 0 | 157232 132510 335715 | 44170 0 -nan | 0.000 % | 29.71/29.80 c | 100 | 157231 132510 335715 | 48587 100 76 | 0.854 % | 29.89/29.90 c | 250 | 157224 132510 335715 | 53445 250 143 | 0.858 % | 29.89/29.94 c =============================================================================== 29.99/30.05 c core #250 29.99/30.05 c 29.99/30.05 c 29.99/30.05 c Core size: 1332 Core Weight: 1 Total Weight: 2340 29.99/30.05 c Current CPU time: 27.2089 s 29.99/30.05 c 29.99/30.05 c ============================[ Search Statistics ]============================== 29.99/30.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.99/30.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.99/30.05 c =============================================================================== 29.99/30.05 c | 0 | 158558 133541 338639 | 44513 0 -nan | 0.000 % | 30.09/30.17 c | 101 | 158558 133541 338639 | 48965 101 157 | 0.845 % | 30.19/30.27 c | 251 | 158558 133541 338639 | 53861 251 196 | 0.845 % | 30.29/30.37 c | 476 | 158558 133541 338639 | 59247 476 176 | 0.845 % | 30.49/30.59 c | 814 | 158557 133541 338639 | 65172 814 149 | 0.845 % | 30.99/31.03 c | 1320 | 158557 133541 338639 | 71689 1320 208 | 0.845 % | 31.79/31.86 c | 2079 | 158555 133541 338639 | 78858 2079 205 | 0.847 % | 31.79/31.88 c =============================================================================== 31.91/31.99 c core #251 31.91/31.99 c 31.91/31.99 c 31.91/31.99 c Core size: 2334 Core Weight: 1 Total Weight: 2341 31.91/31.99 c Current CPU time: 29.0846 s 31.91/31.99 c 31.91/31.99 c ============================[ Search Statistics ]============================== 31.91/31.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.91/31.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.91/31.99 c =============================================================================== 31.91/31.99 c | 0 | 160895 134690 345318 | 44896 0 -nan | 0.000 % | 32.09/32.12 c =============================================================================== 32.19/32.22 c core #252 32.19/32.22 c 32.19/32.22 c 32.19/32.22 c Core size: 956 Core Weight: 1 Total Weight: 2342 32.19/32.22 c Current CPU time: 29.2656 s 32.19/32.22 c 32.19/32.22 c ============================[ Search Statistics ]============================== 32.19/32.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.19/32.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.19/32.22 c =============================================================================== 32.19/32.22 c | 0 | 161829 135507 346871 | 45169 0 -nan | 0.000 % | 32.29/32.38 c | 100 | 161829 135507 346871 | 49685 100 101 | 0.822 % | 32.39/32.43 c =============================================================================== 32.49/32.54 c core #253 32.49/32.54 c 32.49/32.54 c 32.49/32.54 c Core size: 527 Core Weight: 1 Total Weight: 2343 32.49/32.54 c Current CPU time: 29.5305 s 32.49/32.54 c 32.49/32.54 c ============================[ Search Statistics ]============================== 32.49/32.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.49/32.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.49/32.54 c =============================================================================== 32.49/32.54 c | 0 | 162345 135997 347795 | 45332 0 -nan | 0.000 % | 32.60/32.67 c | 102 | 162345 135997 347795 | 49865 102 125 | 0.819 % | 32.70/32.76 c | 253 | 162345 135997 347795 | 54852 253 94 | 0.819 % | 32.89/32.96 c | 485 | 162343 135997 347795 | 60337 485 81 | 0.820 % | 33.01/33.10 c =============================================================================== 33.19/33.20 c core #254 33.19/33.20 c 33.19/33.20 c 33.19/33.20 c Core size: 1062 Core Weight: 1 Total Weight: 2344 33.19/33.20 c Current CPU time: 30.1414 s 33.19/33.20 c 33.19/33.20 c ============================[ Search Statistics ]============================== 33.19/33.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.19/33.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.19/33.20 c =============================================================================== 33.19/33.20 c | 0 | 163405 136730 351194 | 45576 0 -nan | 0.000 % | 33.29/33.35 c | 100 | 163401 136730 351194 | 50134 100 77 | 0.813 % | 33.49/33.53 c | 251 | 163398 136730 351194 | 55147 251 75 | 0.815 % | 33.69/33.76 c | 476 | 163398 136730 351194 | 60662 476 72 | 0.815 % | 33.99/34.04 c =============================================================================== 34.11/34.16 c core #255 34.11/34.16 c 34.11/34.16 c 34.11/34.16 c Core size: 2611 Core Weight: 1 Total Weight: 2345 34.11/34.16 c Current CPU time: 31.0283 s 34.11/34.16 c 34.11/34.16 c ============================[ Search Statistics ]============================== 34.11/34.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.11/34.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.11/34.16 c =============================================================================== 34.11/34.16 c | 0 | 166018 138264 357736 | 46088 0 -nan | 0.000 % | 34.29/34.32 c | 100 | 166018 138264 357736 | 50696 100 341 | 0.794 % | 34.39/34.42 c | 251 | 166018 138264 357736 | 55766 251 216 | 0.794 % | 34.39/34.44 c =============================================================================== 34.49/34.55 c core #256 34.49/34.55 c 34.49/34.55 c 34.49/34.55 c Core size: 511 Core Weight: 1 Total Weight: 2346 34.49/34.55 c Current CPU time: 31.3712 s 34.49/34.55 c 34.49/34.55 c ============================[ Search Statistics ]============================== 34.49/34.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.49/34.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.49/34.55 c =============================================================================== 34.49/34.55 c | 0 | 166526 138765 358388 | 46255 0 -nan | 0.000 % | 34.59/34.70 c | 102 | 166526 138765 358388 | 50880 102 211 | 0.792 % | 34.70/34.76 c | 252 | 166526 138765 358388 | 55968 252 174 | 0.792 % | 35.09/35.16 c | 477 | 166526 138765 358388 | 61565 477 155 | 0.792 % | 35.31/35.34 c | 815 | 166525 138765 358388 | 67721 815 126 | 0.792 % | 35.49/35.50 c =============================================================================== 35.59/35.62 c core #257 35.59/35.62 c 35.59/35.62 c 35.59/35.62 c Core size: 830 Core Weight: 1 Total Weight: 2347 35.59/35.62 c Current CPU time: 32.3641 s 35.59/35.62 c 35.59/35.62 c ============================[ Search Statistics ]============================== 35.59/35.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.59/35.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.59/35.62 c =============================================================================== 35.59/35.62 c | 0 | 167355 139313 360889 | 46437 0 -nan | 0.000 % | 35.79/35.81 c | 100 | 167355 139313 360889 | 51081 100 238 | 0.787 % | 35.90/35.90 c | 255 | 167355 139313 360889 | 56189 255 117 | 0.787 % | 36.00/36.06 c | 480 | 167353 139313 360889 | 61808 480 111 | 0.788 % | 36.19/36.23 c =============================================================================== 36.31/36.34 c core #258 36.31/36.34 c 36.31/36.34 c 36.31/36.34 c Core size: 545 Core Weight: 1 Total Weight: 2348 36.31/36.34 c Current CPU time: 33.026 s 36.31/36.34 c 36.31/36.34 c ============================[ Search Statistics ]============================== 36.31/36.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.31/36.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.31/36.34 c =============================================================================== 36.31/36.34 c | 0 | 167907 139743 363633 | 46581 0 -nan | 0.000 % | 36.49/36.50 c | 105 | 167907 139743 363633 | 51239 105 192 | 0.779 % | 36.59/36.63 c | 256 | 167907 139743 363633 | 56363 256 201 | 0.779 % | 36.79/36.83 c | 487 | 167907 139743 363633 | 61999 487 172 | 0.779 % | 37.19/37.24 c | 827 | 167907 139743 363633 | 68199 827 142 | 0.780 % | 37.29/37.38 c =============================================================================== 37.41/37.49 c core #259 37.41/37.49 c 37.41/37.49 c 37.41/37.49 c Core size: 1081 Core Weight: 1 Total Weight: 2349 37.41/37.49 c Current CPU time: 34.1128 s 37.41/37.49 c 37.41/37.49 c ============================[ Search Statistics ]============================== 37.41/37.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.41/37.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.41/37.49 c =============================================================================== 37.41/37.49 c | 0 | 168996 140220 368180 | 46740 0 -nan | 0.000 % | 37.59/37.69 c | 101 | 168996 140220 368180 | 51414 101 105 | 0.769 % | 37.89/37.91 c | 251 | 168996 140220 368180 | 56555 251 105 | 0.769 % | 37.89/37.97 c | 476 | 168996 140220 368180 | 62210 476 213 | 0.769 % | 37.99/38.05 c =============================================================================== 38.09/38.16 c core #260 38.09/38.16 c 38.09/38.16 c 38.09/38.16 c Core size: 558 Core Weight: 1 Total Weight: 2350 38.09/38.16 c Current CPU time: 34.7237 s 38.09/38.16 c 38.09/38.16 c ============================[ Search Statistics ]============================== 38.09/38.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.09/38.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.09/38.16 c =============================================================================== 38.09/38.16 c | 0 | 169552 140717 369113 | 46905 0 -nan | 0.000 % | 38.30/38.32 c | 100 | 169552 140717 369113 | 51596 100 259 | 0.766 % | 38.40/38.51 c | 250 | 169551 140717 369113 | 56755 250 217 | 0.766 % | 38.51/38.57 c =============================================================================== 38.62/38.68 c core #261 38.62/38.68 c 38.62/38.68 c 38.62/38.68 c Core size: 630 Core Weight: 1 Total Weight: 2351 38.62/38.68 c Current CPU time: 35.1876 s 38.62/38.68 c 38.62/38.68 c ============================[ Search Statistics ]============================== 38.62/38.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.62/38.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.62/38.68 c =============================================================================== 38.62/38.68 c | 0 | 170179 141267 370113 | 47089 0 -nan | 0.000 % | 38.79/38.80 c | 100 | 170177 141267 370113 | 51797 100 179 | 0.764 % | 38.79/38.83 c =============================================================================== 38.89/38.93 c core #262 38.89/38.93 c 38.89/38.93 c 38.89/38.93 c Core size: 748 Core Weight: 1 Total Weight: 2352 38.89/38.93 c Current CPU time: 35.3846 s 38.89/38.93 c 38.89/38.93 c ============================[ Search Statistics ]============================== 38.89/38.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.89/38.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.89/38.93 c =============================================================================== 38.89/38.93 c | 0 | 170922 141921 371776 | 47307 0 -nan | 0.000 % | 38.99/39.07 c =============================================================================== 39.09/39.19 c core #263 39.09/39.19 c 39.09/39.19 c 39.09/39.19 c Core size: 467 Core Weight: 1 Total Weight: 2353 39.09/39.19 c Current CPU time: 35.5226 s 39.09/39.19 c 39.09/39.19 c ============================[ Search Statistics ]============================== 39.09/39.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.09/39.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.09/39.19 c =============================================================================== 39.09/39.19 c | 0 | 171388 142365 372659 | 47455 0 -nan | 0.000 % | 39.29/39.32 c | 100 | 171388 142365 372659 | 52200 100 183 | 0.755 % | 39.40/39.43 c | 251 | 171388 142365 372659 | 57420 251 118 | 0.755 % | 39.61/39.71 c | 476 | 171386 142365 372659 | 63162 476 117 | 0.756 % | 40.09/40.14 c | 813 | 171386 142365 372659 | 69478 813 140 | 0.756 % | 40.89/40.93 c =============================================================================== 40.99/41.05 c core #264 40.99/41.05 c 40.99/41.05 c 40.99/41.05 c Core size: 1913 Core Weight: 1 Total Weight: 2354 40.99/41.05 c Current CPU time: 37.3063 s 40.99/41.05 c 40.99/41.05 c ============================[ Search Statistics ]============================== 40.99/41.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.99/41.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.99/41.05 c =============================================================================== 40.99/41.05 c | 0 | 173306 143293 378224 | 47764 0 -nan | 0.000 % | 41.09/41.19 c | 100 | 173306 143293 378224 | 52540 100 149 | 0.742 % | 41.29/41.31 c | 250 | 173306 143293 378224 | 57794 250 127 | 0.742 % | 41.49/41.57 c | 477 | 173306 143293 378224 | 63574 477 103 | 0.742 % | 41.92/41.96 c =============================================================================== 42.00/42.07 c core #265 42.00/42.07 c 42.00/42.07 c 42.00/42.07 c Core size: 1078 Core Weight: 1 Total Weight: 2355 42.00/42.07 c Current CPU time: 38.2652 s 42.00/42.07 c 42.00/42.07 c ============================[ Search Statistics ]============================== 42.00/42.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 42.00/42.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 42.00/42.07 c =============================================================================== 42.00/42.07 c | 0 | 174324 143823 381016 | 47941 0 -nan | 0.000 % | 42.29/42.32 c | 100 | 174319 143823 381016 | 52735 100 79 | 0.740 % | 42.49/42.58 c | 250 | 174318 143823 381016 | 58008 250 98 | 0.740 % | 42.91/42.99 c | 475 | 174317 143823 381016 | 63809 475 193 | 0.741 % | 43.49/43.53 c | 813 | 174316 143823 381016 | 70190 813 261 | 0.741 % | 44.39/44.45 c | 1319 | 174314 143823 381016 | 77209 1319 369 | 0.743 % | 45.79/45.81 c | 2078 | 174312 143823 381016 | 84930 2078 426 | 0.744 % | 46.59/46.65 c =============================================================================== 46.69/46.78 c core #266 46.69/46.78 c 46.69/46.78 c 46.69/46.78 c Core size: 10123 Core Weight: 1 Total Weight: 2356 46.69/46.78 c Current CPU time: 42.8935 s 46.69/46.78 c 46.69/46.78 c ============================[ Search Statistics ]============================== 46.69/46.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 46.69/46.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 46.69/46.78 c =============================================================================== 46.69/46.78 c | 0 | 184430 146400 404423 | 48800 0 -nan | 0.000 % | 46.90/46.94 c | 100 | 184430 146400 404423 | 53680 100 59 | 0.692 % | 46.99/47.03 c | 254 | 184428 146400 404423 | 59048 254 71 | 0.694 % | 47.19/47.32 c | 479 | 184428 146400 404423 | 64952 479 110 | 0.694 % | 47.60/47.61 c | 817 | 184428 146400 404423 | 71448 817 150 | 0.694 % | 47.79/47.81 c =============================================================================== 47.89/47.93 c core #267 47.89/47.93 c 47.89/47.93 c 47.89/47.93 c Core size: 1279 Core Weight: 1 Total Weight: 2357 47.89/47.93 c Current CPU time: 43.9623 s 47.89/47.93 c 47.89/47.93 c ============================[ Search Statistics ]============================== 47.89/47.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 47.89/47.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 47.89/47.93 c =============================================================================== 47.89/47.93 c | 0 | 185707 147459 407452 | 49153 0 -nan | 0.000 % | 48.09/48.11 c | 101 | 185707 147459 407452 | 54068 101 117 | 0.686 % | 48.19/48.29 c | 252 | 185706 147459 407452 | 59475 252 122 | 0.687 % | 48.41/48.43 c | 479 | 185706 147459 407452 | 65422 479 181 | 0.687 % | 48.79/48.80 c | 819 | 185705 147459 407452 | 71964 819 169 | 0.688 % | 49.19/49.23 c | 1326 | 185703 147459 407452 | 79161 1326 151 | 0.688 % | 49.51/49.59 c =============================================================================== 49.69/49.72 c core #268 49.69/49.72 c 49.69/49.72 c 49.69/49.72 c Core size: 1673 Core Weight: 1 Total Weight: 2358 49.69/49.72 c Current CPU time: 45.6681 s 49.69/49.72 c 49.69/49.72 c ============================[ Search Statistics ]============================== 49.69/49.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.69/49.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.69/49.72 c =============================================================================== 49.69/49.72 c | 0 | 187380 148454 412338 | 49484 0 -nan | 0.000 % | 49.79/49.85 c | 100 | 187380 148454 412338 | 54433 100 148 | 0.677 % | 49.79/49.88 c =============================================================================== 49.89/49.99 c core #269 49.89/49.99 c 49.89/49.99 c 49.89/49.99 c Core size: 624 Core Weight: 1 Total Weight: 2359 49.89/49.99 c Current CPU time: 45.886 s 49.89/49.99 c 49.89/49.99 c ============================[ Search Statistics ]============================== 49.89/49.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.89/49.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.89/49.99 c =============================================================================== 49.89/49.99 c | 0 | 188002 149033 413271 | 49677 0 -nan | 0.000 % | 50.09/50.18 c | 100 | 188002 149033 413271 | 54645 100 83 | 0.675 % | 50.29/50.34 c | 253 | 187998 149033 413271 | 60109 253 112 | 0.677 % | 50.49/50.55 c | 478 | 187998 149033 413271 | 66120 478 105 | 0.677 % | 50.80/50.84 c =============================================================================== 50.90/50.96 c core #270 50.90/50.96 c 50.90/50.96 c 50.90/50.96 c Core size: 1656 Core Weight: 1 Total Weight: 2360 50.90/50.96 c Current CPU time: 46.7759 s 50.90/50.96 c 50.90/50.96 c ============================[ Search Statistics ]============================== 50.90/50.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 50.90/50.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 50.90/50.96 c =============================================================================== 50.90/50.96 c | 0 | 189662 149922 418041 | 49974 0 -nan | 0.000 % | 51.09/51.20 c | 100 | 189659 149922 418041 | 54971 100 72 | 0.668 % | 51.29/51.37 c | 250 | 189659 149922 418041 | 60468 250 84 | 0.668 % | 51.59/51.71 c | 476 | 189658 149922 418041 | 66515 476 102 | 0.668 % | 51.89/51.94 c | 814 | 189658 149922 418041 | 73166 814 139 | 0.668 % | 52.19/52.21 c | 1321 | 189658 149922 418041 | 80483 1321 184 | 0.668 % | 52.69/52.75 c | 2080 | 189658 149922 418041 | 88531 2080 205 | 0.668 % | 53.59/53.62 c =============================================================================== 53.69/53.75 c core #271 53.69/53.75 c 53.69/53.75 c 53.69/53.75 c Core size: 1756 Core Weight: 1 Total Weight: 2361 53.69/53.75 c Current CPU time: 49.4765 s 53.69/53.75 c 53.69/53.75 c ============================[ Search Statistics ]============================== 53.69/53.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 53.69/53.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 53.69/53.75 c =============================================================================== 53.69/53.75 c | 0 | 191400 150734 422382 | 50244 0 -nan | 0.000 % | 53.80/53.87 c | 101 | 191396 150734 422382 | 55269 101 196 | 0.660 % | 53.80/53.88 c =============================================================================== 53.91/54.00 c core #272 53.91/54.00 c 53.91/54.00 c 53.91/54.00 c Core size: 798 Core Weight: 1 Total Weight: 2362 53.91/54.00 c Current CPU time: 49.6774 s 53.91/54.00 c 53.91/54.00 c ============================[ Search Statistics ]============================== 53.91/54.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 53.91/54.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 53.91/54.00 c =============================================================================== 53.91/54.00 c | 0 | 192195 151392 423937 | 50464 0 -nan | 0.000 % | 54.09/54.15 c | 100 | 192193 151392 423937 | 55510 100 112 | 0.655 % | 54.09/54.17 c =============================================================================== 54.29/54.30 c core #273 54.29/54.30 c 54.29/54.30 c 54.29/54.30 c Core size: 569 Core Weight: 1 Total Weight: 2363 54.29/54.30 c Current CPU time: 49.8934 s 54.29/54.30 c 54.29/54.30 c ============================[ Search Statistics ]============================== 54.29/54.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 54.29/54.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 54.29/54.30 c =============================================================================== 54.29/54.30 c | 0 | 192763 151918 425376 | 50639 0 -nan | 0.000 % | 54.39/54.47 c | 100 | 192763 151918 425376 | 55703 100 226 | 0.651 % | 54.59/54.61 c | 250 | 192762 151918 425376 | 61273 250 167 | 0.652 % | 54.70/54.70 c | 479 | 192762 151918 425376 | 67400 479 120 | 0.652 % | 54.80/54.80 c =============================================================================== 54.90/54.92 c core #274 54.90/54.92 c 54.90/54.92 c 54.90/54.92 c Core size: 573 Core Weight: 1 Total Weight: 2364 54.90/54.92 c Current CPU time: 50.4423 s 54.90/54.92 c 54.90/54.92 c ============================[ Search Statistics ]============================== 54.90/54.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 54.90/54.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 54.90/54.92 c =============================================================================== 54.90/54.92 c | 0 | 193334 152430 426425 | 50810 0 -nan | 0.000 % | 55.01/55.08 c | 101 | 193330 152430 426425 | 55891 101 116 | 0.652 % | 55.12/55.13 c =============================================================================== 55.19/55.26 c core #275 55.19/55.26 c 55.19/55.26 c 55.19/55.26 c Core size: 743 Core Weight: 1 Total Weight: 2365 55.19/55.26 c Current CPU time: 50.7093 s 55.19/55.26 c 55.19/55.26 c ============================[ Search Statistics ]============================== 55.19/55.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 55.19/55.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 55.19/55.26 c =============================================================================== 55.19/55.26 c | 0 | 194071 153034 427614 | 51011 0 -nan | 0.000 % | 55.49/55.50 c | 100 | 194068 153034 427614 | 56112 100 75 | 0.648 % | 55.59/55.64 c | 250 | 194065 153034 427614 | 61723 250 63 | 0.650 % | 55.79/55.83 c =============================================================================== 55.89/55.95 c core #276 55.89/55.95 c 55.89/55.95 c 55.89/55.95 c Core size: 325 Core Weight: 1 Total Weight: 2366 55.89/55.95 c Current CPU time: 51.3292 s 55.89/55.95 c 55.89/55.95 c ============================[ Search Statistics ]============================== 55.89/55.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 55.89/55.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 55.89/55.95 c =============================================================================== 55.89/55.95 c | 0 | 194396 153341 429419 | 51113 0 -nan | 0.000 % | 56.11/56.15 c | 100 | 194395 153341 429419 | 56225 100 227 | 0.644 % | 56.39/56.47 c | 252 | 194394 153341 429419 | 61847 252 197 | 0.645 % | 56.90/56.98 c | 477 | 194385 153341 429419 | 68032 477 156 | 0.649 % | 57.10/57.20 c | 814 | 194385 153341 429419 | 74835 814 150 | 0.649 % | 57.31/57.33 c =============================================================================== 57.39/57.46 c core #277 57.39/57.46 c 57.39/57.46 c 57.39/57.46 c Core size: 3258 Core Weight: 1 Total Weight: 2367 57.39/57.46 c Current CPU time: 52.763 s 57.39/57.46 c 57.39/57.46 c ============================[ Search Statistics ]============================== 57.39/57.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 57.39/57.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 57.39/57.46 c =============================================================================== 57.39/57.46 c | 0 | 197652 155251 438131 | 51750 0 -nan | 0.000 % | 57.59/57.64 c | 100 | 197652 155251 438131 | 56925 100 180 | 0.629 % | 57.69/57.78 c | 252 | 197651 155251 438131 | 62617 252 180 | 0.629 % | 57.79/57.82 c =============================================================================== 57.89/57.94 c core #278 57.89/57.94 c 57.89/57.94 c 57.89/57.94 c Core size: 1024 Core Weight: 1 Total Weight: 2368 57.89/57.94 c Current CPU time: 53.1809 s 57.89/57.94 c 57.89/57.94 c ============================[ Search Statistics ]============================== 57.89/57.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 57.89/57.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 57.89/57.94 c =============================================================================== 57.89/57.94 c | 0 | 198677 156070 440754 | 52023 0 -nan | 0.000 % | 57.99/58.08 c | 101 | 198677 156070 440754 | 57225 101 203 | 0.623 % | 58.10/58.12 c =============================================================================== 58.20/58.24 c core #279 58.20/58.24 c 58.20/58.24 c 58.20/58.24 c Core size: 559 Core Weight: 1 Total Weight: 2369 58.20/58.24 c Current CPU time: 53.4209 s 58.20/58.24 c 58.20/58.24 c ============================[ Search Statistics ]============================== 58.20/58.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 58.20/58.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 58.20/58.24 c =============================================================================== 58.20/58.24 c | 0 | 199235 156543 441975 | 52181 0 -nan | 0.000 % | 58.31/58.38 c | 101 | 199235 156543 441975 | 57399 101 193 | 0.621 % | 58.41/58.44 c =============================================================================== 58.49/58.56 c core #280 58.49/58.56 c 58.49/58.56 c 58.49/58.56 c Core size: 464 Core Weight: 1 Total Weight: 2370 58.49/58.56 c Current CPU time: 53.6838 s 58.49/58.56 c 58.49/58.56 c ============================[ Search Statistics ]============================== 58.49/58.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 58.49/58.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 58.49/58.56 c =============================================================================== 58.49/58.56 c | 0 | 199696 156908 443566 | 52302 0 -nan | 0.000 % | 58.69/58.71 c | 101 | 199696 156908 443566 | 57532 101 183 | 0.617 % | 58.69/58.79 c =============================================================================== 58.89/58.92 c core #281 58.89/58.92 c 58.89/58.92 c 58.89/58.92 c Core size: 947 Core Weight: 1 Total Weight: 2371 58.89/58.92 c Current CPU time: 53.9818 s 58.89/58.92 c 58.89/58.92 c ============================[ Search Statistics ]============================== 58.89/58.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 58.89/58.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 58.89/58.92 c =============================================================================== 58.89/58.92 c | 0 | 200631 157586 445214 | 52528 0 -nan | 0.000 % | 58.99/59.07 c | 104 | 200629 157586 445214 | 57781 104 177 | 0.614 % | 59.09/59.13 c =============================================================================== 59.19/59.26 c core #282 59.19/59.26 c 59.19/59.26 c 59.19/59.26 c Core size: 990 Core Weight: 1 Total Weight: 2372 59.19/59.26 c Current CPU time: 54.2538 s 59.19/59.26 c 59.19/59.26 c ============================[ Search Statistics ]============================== 59.19/59.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 59.19/59.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 59.19/59.26 c =============================================================================== 59.19/59.26 c | 0 | 201613 158361 447422 | 52787 0 -nan | 0.000 % | 59.41/59.47 c | 100 | 201613 158361 447422 | 58065 100 107 | 0.608 % | 59.41/59.52 c | 250 | 201613 158361 447422 | 63872 250 70 | 0.608 % | 59.69/59.74 c | 475 | 201613 158361 447422 | 70259 475 103 | 0.608 % | 60.00/60.09 c =============================================================================== 60.19/60.22 c core #283 60.19/60.22 c 60.19/60.22 c 60.19/60.22 c Core size: 473 Core Weight: 1 Total Weight: 2373 60.19/60.22 c Current CPU time: 55.1446 s 60.19/60.22 c 60.19/60.22 c ============================[ Search Statistics ]============================== 60.19/60.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 60.19/60.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 60.19/60.22 c =============================================================================== 60.19/60.22 c | 0 | 202084 158681 449134 | 52893 0 -nan | 0.000 % | 60.29/60.35 c | 100 | 202084 158681 449134 | 58183 100 122 | 0.606 % | 60.39/60.47 c | 250 | 202084 158681 449134 | 64001 250 127 | 0.606 % | 60.51/60.54 c | 481 | 202084 158681 449134 | 70401 481 93 | 0.606 % | 60.79/60.85 c =============================================================================== 60.89/60.97 c core #284 60.89/60.97 c 60.89/60.97 c 60.89/60.97 c Core size: 393 Core Weight: 1 Total Weight: 2374 60.89/60.97 c Current CPU time: 55.8445 s 60.89/60.97 c 60.89/60.97 c ============================[ Search Statistics ]============================== 60.89/60.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 60.89/60.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 60.89/60.97 c =============================================================================== 60.89/60.97 c | 0 | 202475 158972 450674 | 52990 0 -nan | 0.000 % | 61.09/61.11 c | 102 | 202475 158972 450674 | 58289 102 183 | 0.604 % | 61.09/61.19 c | 252 | 202475 158972 450674 | 64118 252 200 | 0.604 % | 61.39/61.46 c | 480 | 202471 158972 450674 | 70530 480 192 | 0.606 % | 61.39/61.48 c =============================================================================== 61.49/61.61 c core #285 61.49/61.61 c 61.49/61.61 c 61.49/61.61 c Core size: 938 Core Weight: 1 Total Weight: 2375 61.49/61.61 c Current CPU time: 56.4224 s 61.49/61.61 c 61.49/61.61 c ============================[ Search Statistics ]============================== 61.49/61.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 61.49/61.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 61.49/61.61 c =============================================================================== 61.49/61.61 c | 0 | 203406 159668 452666 | 53222 0 -nan | 0.000 % | 61.71/61.75 c | 103 | 203404 159668 452666 | 58544 103 132 | 0.601 % | 61.89/61.92 c =============================================================================== 62.00/62.05 c core #286 62.00/62.05 c 62.00/62.05 c 62.00/62.05 c Core size: 1244 Core Weight: 1 Total Weight: 2376 62.00/62.05 c Current CPU time: 56.7974 s 62.00/62.05 c 62.00/62.05 c ============================[ Search Statistics ]============================== 62.00/62.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 62.00/62.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 62.00/62.05 c =============================================================================== 62.00/62.05 c | 0 | 204641 160484 455384 | 53494 0 -nan | 0.000 % | 62.09/62.18 c | 101 | 204640 160484 455384 | 58844 101 106 | 0.595 % | 62.30/62.34 c | 251 | 204634 160484 455384 | 64728 251 147 | 0.598 % | 62.40/62.43 c =============================================================================== 62.50/62.56 c core #287 62.50/62.56 c 62.50/62.56 c 62.50/62.56 c Core size: 1525 Core Weight: 1 Total Weight: 2377 62.50/62.56 c Current CPU time: 57.2403 s 62.50/62.56 c 62.50/62.56 c ============================[ Search Statistics ]============================== 62.50/62.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 62.50/62.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 62.50/62.56 c =============================================================================== 62.50/62.56 c | 0 | 206146 161701 458729 | 53900 0 -nan | 0.000 % | 62.71/62.78 c | 100 | 206145 161701 458729 | 59290 100 206 | 0.589 % | 62.89/62.90 c | 251 | 206143 161701 458729 | 65219 251 202 | 0.590 % | 62.99/63.06 c | 480 | 206142 161701 458729 | 71741 480 178 | 0.590 % | 63.59/63.68 c | 818 | 206141 161701 458729 | 78915 818 259 | 0.591 % | 63.81/63.87 c =============================================================================== 63.99/64.01 c core #288 63.99/64.01 c 63.99/64.01 c 63.99/64.01 c Core size: 2289 Core Weight: 1 Total Weight: 2378 63.99/64.01 c Current CPU time: 58.6181 s 63.99/64.01 c 63.99/64.01 c ============================[ Search Statistics ]============================== 63.99/64.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 63.99/64.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 63.99/64.01 c =============================================================================== 63.99/64.01 c | 0 | 208440 162972 465132 | 54324 0 -nan | 0.000 % | 64.20/64.20 c | 101 | 208440 162972 465132 | 59756 101 172 | 0.578 % | 64.30/64.34 c | 252 | 208440 162972 465132 | 65732 252 175 | 0.578 % | 64.80/64.82 c | 479 | 208440 162972 465132 | 72305 479 152 | 0.578 % | 65.19/65.21 c | 817 | 208440 162972 465132 | 79535 817 190 | 0.578 % | 66.01/66.08 c | 1323 | 208435 162972 465132 | 87489 1323 206 | 0.580 % | 66.59/66.64 c | 2082 | 208435 162972 465132 | 96238 2082 236 | 0.580 % | 67.39/67.41 c =============================================================================== 67.49/67.56 c core #289 67.49/67.56 c 67.49/67.56 c 67.49/67.56 c Core size: 3357 Core Weight: 1 Total Weight: 2379 67.49/67.56 c Current CPU time: 62.0586 s 67.49/67.56 c 67.49/67.56 c ============================[ Search Statistics ]============================== 67.49/67.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 67.49/67.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 67.49/67.56 c =============================================================================== 67.49/67.56 c | 0 | 211802 164574 474024 | 54858 0 -nan | 0.000 % | 67.69/67.78 c | 101 | 211802 164574 474024 | 60343 101 75 | 0.566 % | 67.89/67.93 c | 252 | 211801 164574 474024 | 66378 252 92 | 0.566 % | 68.10/68.17 c | 477 | 211801 164574 474024 | 73015 477 101 | 0.566 % | 68.39/68.44 c | 814 | 211801 164574 474024 | 80317 814 77 | 0.567 % | 68.89/68.97 c =============================================================================== 69.09/69.10 c core #290 69.09/69.10 c 69.09/69.10 c 69.09/69.10 c Core size: 1591 Core Weight: 1 Total Weight: 2380 69.09/69.10 c Current CPU time: 63.5163 s 69.09/69.10 c 69.09/69.10 c ============================[ Search Statistics ]============================== 69.09/69.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 69.09/69.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 69.09/69.10 c =============================================================================== 69.09/69.10 c | 0 | 213395 165289 478620 | 55096 0 -nan | 0.000 % | 69.19/69.22 c | 100 | 213394 165289 478620 | 60605 100 150 | 0.560 % | 69.31/69.37 c | 250 | 213392 165289 478620 | 66666 250 168 | 0.561 % | 69.49/69.53 c | 477 | 213392 165289 478620 | 73333 477 179 | 0.561 % | 69.59/69.69 c | 815 | 213388 165289 478620 | 80666 815 202 | 0.562 % | 70.29/70.39 c | 1323 | 213386 165289 478620 | 88733 1323 172 | 0.563 % | 70.52/70.54 c =============================================================================== 70.59/70.69 c core #291 70.59/70.69 c 70.59/70.69 c 70.59/70.69 c Core size: 1917 Core Weight: 1 Total Weight: 2381 70.59/70.69 c Current CPU time: 65.0111 s 70.59/70.69 c 70.59/70.69 c ============================[ Search Statistics ]============================== 70.59/70.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 70.59/70.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 70.59/70.69 c =============================================================================== 70.59/70.69 c | 0 | 215310 166363 483191 | 55454 0 -nan | 0.000 % | 70.79/70.89 c | 100 | 215309 166363 483191 | 60999 100 94 | 0.554 % | 70.89/70.98 c | 250 | 215309 166363 483191 | 67099 250 62 | 0.554 % | 71.10/71.14 c | 475 | 215309 166363 483191 | 73809 475 155 | 0.554 % | 71.51/71.53 c | 812 | 215308 166363 483191 | 81190 812 183 | 0.555 % | 72.09/72.17 c | 1321 | 215303 166363 483191 | 89309 1321 160 | 0.557 % | 72.79/72.88 c =============================================================================== 72.99/73.02 c core #292 72.99/73.02 c 72.99/73.02 c 72.99/73.02 c Core size: 1293 Core Weight: 1 Total Weight: 2382 72.99/73.02 c Current CPU time: 67.2628 s 72.99/73.02 c 72.99/73.02 c ============================[ Search Statistics ]============================== 72.99/73.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 72.99/73.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 72.99/73.02 c =============================================================================== 72.99/73.02 c | 0 | 216604 167242 488046 | 55747 0 -nan | 0.000 % | 73.20/73.23 c | 100 | 216604 167242 488046 | 61322 100 235 | 0.548 % | 73.29/73.34 c | 254 | 216604 167242 488046 | 67454 254 137 | 0.548 % | 73.59/73.64 c | 480 | 216604 167242 488046 | 74199 480 129 | 0.548 % | 73.89/73.91 c | 819 | 216604 167242 488046 | 81619 819 147 | 0.548 % | 74.59/74.65 c | 1326 | 216604 167242 488046 | 89781 1326 240 | 0.548 % | 75.49/75.57 c =============================================================================== 75.70/75.72 c core #293 75.70/75.72 c 75.70/75.72 c 75.70/75.72 c Core size: 3744 Core Weight: 1 Total Weight: 2383 75.70/75.72 c Current CPU time: 69.8614 s 75.70/75.72 c 75.70/75.72 c ============================[ Search Statistics ]============================== 75.70/75.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 75.70/75.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 75.70/75.72 c =============================================================================== 75.70/75.72 c | 0 | 220348 169243 498266 | 56414 0 -nan | 0.000 % | 75.80/75.89 c | 101 | 220348 169243 498266 | 62055 101 96 | 0.535 % | 75.91/75.97 c | 254 | 220348 169243 498266 | 68261 254 108 | 0.535 % | 76.09/76.11 c | 479 | 220348 169243 498266 | 75087 479 141 | 0.535 % | 76.20/76.29 c | 822 | 220348 169243 498266 | 82596 822 124 | 0.535 % | 76.89/76.94 c | 1328 | 220348 169243 498266 | 90855 1328 161 | 0.535 % | 77.90/77.93 c | 2087 | 220347 169243 498266 | 99941 2087 199 | 0.535 % | 79.21/79.28 c =============================================================================== 79.40/79.43 c core #294 79.40/79.43 c 79.40/79.43 c 79.40/79.43 c Core size: 4343 Core Weight: 1 Total Weight: 2384 79.40/79.43 c Current CPU time: 73.4708 s 79.40/79.43 c 79.40/79.43 c ============================[ Search Statistics ]============================== 79.40/79.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 79.40/79.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 79.40/79.43 c =============================================================================== 79.40/79.43 c | 0 | 224695 171390 509534 | 57130 0 -nan | 0.000 % | 79.59/79.63 c | 100 | 224695 171390 509534 | 62843 100 270 | 0.522 % | 79.69/79.75 c | 251 | 224695 171390 509534 | 69127 251 182 | 0.522 % | 79.99/80.02 c | 477 | 224695 171390 509534 | 76040 477 144 | 0.522 % | 80.19/80.27 c | 816 | 224695 171390 509534 | 83644 816 163 | 0.522 % | 80.79/80.81 c | 1322 | 224693 171390 509534 | 92008 1322 181 | 0.522 % | 81.51/81.54 c | 2082 | 224693 171390 509534 | 101209 2082 225 | 0.522 % | 82.30/82.35 c | 3222 | 224680 171390 509534 | 111330 3222 298 | 0.528 % | 82.69/82.75 c =============================================================================== 82.89/82.91 c core #295 82.89/82.91 c 82.89/82.91 c 82.89/82.91 c Core size: 4170 Core Weight: 1 Total Weight: 2385 82.89/82.91 c Current CPU time: 76.8413 s 82.89/82.91 c 82.89/82.91 c ============================[ Search Statistics ]============================== 82.89/82.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.89/82.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.89/82.91 c =============================================================================== 82.89/82.91 c | 0 | 228859 173424 519564 | 57808 0 -nan | 0.000 % | 83.09/83.12 c | 100 | 228859 173424 519564 | 63588 100 120 | 0.510 % | 83.19/83.28 c | 251 | 228859 173424 519564 | 69947 251 172 | 0.510 % | 83.49/83.59 c | 477 | 228859 173424 519564 | 76942 477 158 | 0.510 % | 83.79/83.88 c | 815 | 228857 173424 519564 | 84636 815 153 | 0.511 % | 84.29/84.35 c | 1321 | 228855 173424 519564 | 93100 1321 189 | 0.512 % | 85.10/85.10 c | 2083 | 228855 173424 519564 | 102410 2083 271 | 0.512 % | 86.79/86.84 c | 3222 | 228854 173424 519564 | 112651 3222 256 | 0.512 % | 88.29/88.31 c | 4930 | 228853 173424 519564 | 123916 4930 266 | 0.513 % | 90.89/90.98 c | 7492 | 228852 173424 519564 | 136308 7492 345 | 0.513 % | 93.09/93.16 c =============================================================================== 93.29/93.35 c core #296 93.29/93.35 c 93.29/93.35 c 93.29/93.35 c Core size: 10442 Core Weight: 1 Total Weight: 2386 93.29/93.35 c Current CPU time: 87.1348 s 93.29/93.35 c 93.29/93.35 c ============================[ Search Statistics ]============================== 93.29/93.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.29/93.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.29/93.35 c =============================================================================== 93.29/93.35 c | 0 | 239297 176313 544199 | 58771 0 -nan | 0.000 % | 93.51/93.52 c | 100 | 239295 176313 544199 | 64648 100 175 | 0.486 % | 93.62/93.65 c | 250 | 239291 176313 544199 | 71112 250 142 | 0.488 % | 93.70/93.79 c | 477 | 239291 176313 544199 | 78224 477 187 | 0.488 % | 93.99/94.00 c | 814 | 239289 176313 544199 | 86046 814 274 | 0.489 % | 94.39/94.40 c =============================================================================== 94.50/94.56 c core #297 94.50/94.56 c 94.50/94.56 c 94.50/94.56 c Core size: 2510 Core Weight: 1 Total Weight: 2387 94.50/94.56 c Current CPU time: 88.2546 s 94.50/94.56 c 94.50/94.56 c ============================[ Search Statistics ]============================== 94.50/94.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.50/94.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.50/94.56 c =============================================================================== 94.50/94.56 c | 0 | 241816 177847 552182 | 59282 0 -nan | 0.000 % | 94.61/94.71 c | 101 | 241816 177847 552182 | 65210 101 142 | 0.475 % | 94.79/94.87 c | 252 | 241815 177847 552182 | 71731 252 148 | 0.475 % | 95.09/95.16 c | 477 | 241815 177847 552182 | 78904 477 106 | 0.475 % | 95.71/95.78 c | 822 | 241815 177847 552182 | 86795 822 93 | 0.475 % | 96.49/96.50 c | 1328 | 241813 177847 552182 | 95474 1328 87 | 0.476 % | 97.19/97.27 c | 2087 | 241807 177847 552182 | 105022 2087 171 | 0.478 % | 97.79/97.91 c =============================================================================== 98.01/98.09 c core #298 98.01/98.09 c 98.01/98.09 c 98.01/98.09 c Core size: 3365 Core Weight: 1 Total Weight: 2388 98.01/98.09 c Current CPU time: 91.6501 s 98.01/98.09 c 98.01/98.09 c ============================[ Search Statistics ]============================== 98.01/98.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.01/98.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.01/98.09 c =============================================================================== 98.01/98.09 c | 0 | 245139 179745 560969 | 59915 0 -nan | 0.000 % | 98.19/98.25 c | 100 | 245139 179745 560969 | 65906 100 166 | 0.464 % | 98.29/98.37 c | 251 | 245139 179745 560969 | 72497 251 119 | 0.465 % | 98.59/98.60 c | 476 | 245136 179745 560969 | 79746 476 140 | 0.465 % | 98.89/98.91 c | 813 | 245135 179745 560969 | 87721 813 174 | 0.466 % | 99.60/99.68 c | 1319 | 245135 179745 560969 | 96493 1319 131 | 0.466 % | 100.59/100.61 c | 2078 | 245134 179745 560969 | 106143 2078 158 | 0.466 % | 101.49/101.58 c | 3217 | 245131 179745 560969 | 116757 3217 243 | 0.467 % | 103.00/103.09 c | 4925 | 245131 179745 560969 | 128433 4925 347 | 0.467 % | 104.29/104.34 c =============================================================================== 104.51/104.52 c core #299 104.51/104.52 c 104.51/104.52 c 104.51/104.52 c Core size: 5925 Core Weight: 1 Total Weight: 2389 104.51/104.52 c Current CPU time: 97.9801 s 104.51/104.52 c 104.51/104.52 c ============================[ Search Statistics ]============================== 104.51/104.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 104.51/104.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 104.51/104.52 c =============================================================================== 104.51/104.52 c | 0 | 251055 182145 575818 | 60715 0 -nan | 0.000 % | 104.69/104.75 c | 100 | 251055 182145 575818 | 66786 100 401 | 0.450 % | 104.79/104.89 c | 251 | 251054 182145 575818 | 73465 251 235 | 0.450 % | 105.19/105.24 c | 477 | 251053 182145 575818 | 80811 477 186 | 0.451 % | 105.49/105.56 c | 816 | 251053 182145 575818 | 88892 816 211 | 0.451 % | 105.90/105.91 c | 1322 | 251052 182145 575818 | 97782 1322 236 | 0.451 % | 107.09/107.16 c | 2081 | 251051 182145 575818 | 107560 2081 195 | 0.452 % | 108.91/109.00 c | 3220 | 251043 182145 575818 | 118316 3220 209 | 0.455 % | 110.70/110.70 c | 4928 | 251038 182145 575818 | 130147 4928 260 | 0.457 % | 113.89/113.99 c | 7491 | 251036 182145 575818 | 143162 7491 228 | 0.458 % | 119.79/119.84 c | 11337 | 251036 182145 575818 | 157479 11337 276 | 0.458 % | 126.70/126.77 c | 17103 | 251034 182145 575818 | 173226 17103 398 | 0.458 % | 139.39/139.46 c | 25752 | 251014 182145 575818 | 190549 25752 530 | 0.466 % | 145.09/145.19 c =============================================================================== 145.39/145.49 c core #300 145.39/145.49 c 145.39/145.49 c 145.39/145.49 c Core size: 20623 Core Weight: 1 Total Weight: 2390 145.39/145.49 c Current CPU time: 138.631 s 145.39/145.49 c 145.39/145.49 c ============================[ Search Statistics ]============================== 145.39/145.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 145.39/145.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 145.39/145.49 c =============================================================================== 145.39/145.49 c | 0 | 271675 185637 623307 | 61879 0 -nan | 0.000 % | 145.70/145.75 c | 103 | 271675 185637 623307 | 68066 103 150 | 0.411 % | 145.80/145.85 c | 253 | 271675 185637 623307 | 74873 253 129 | 0.411 % | 146.20/146.31 c | 478 | 271674 185637 623307 | 82360 478 95 | 0.412 % | 147.09/147.12 c | 815 | 271674 185637 623307 | 90597 815 78 | 0.412 % | 147.99/148.07 c | 1321 | 271674 185637 623307 | 99656 1321 86 | 0.412 % | 149.09/149.15 c | 2080 | 271674 185637 623307 | 109622 2080 108 | 0.412 % | 150.19/150.20 c | 3224 | 271673 185637 623307 | 120584 3224 156 | 0.412 % | 152.09/152.10 c | 4934 | 271669 185637 623307 | 132643 4934 175 | 0.413 % | 155.70/155.77 c | 7496 | 271668 185637 623307 | 145907 7496 226 | 0.414 % | 159.19/159.27 c | 11342 | 271663 185637 623307 | 160498 11342 318 | 0.416 % | 164.09/164.15 c | 17111 | 271658 185637 623307 | 176548 17111 451 | 0.418 % | 168.50/168.50 c =============================================================================== 168.69/168.75 c core #301 168.69/168.75 c 168.69/168.75 c 168.69/168.75 c Core size: 11370 Core Weight: 1 Total Weight: 2391 168.69/168.75 c Current CPU time: 161.704 s 168.69/168.75 c 168.69/168.75 c ============================[ Search Statistics ]============================== 168.69/168.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 168.69/168.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 168.69/168.75 c =============================================================================== 168.69/168.75 c | 0 | 283025 188660 649950 | 62886 0 -nan | 0.000 % | 168.99/169.00 c | 108 | 283025 188660 649950 | 69175 108 214 | 0.393 % | 169.10/169.12 c | 259 | 283025 188660 649950 | 76092 259 219 | 0.393 % | 169.30/169.32 c | 484 | 283025 188660 649950 | 83702 484 222 | 0.393 % | 170.00/170.03 c | 823 | 283025 188660 649950 | 92072 823 157 | 0.393 % | 170.69/170.70 c | 1330 | 283025 188660 649950 | 101279 1330 244 | 0.393 % | 171.39/171.41 c | 2091 | 283023 188660 649950 | 111407 2091 269 | 0.393 % | 172.49/172.57 c | 3230 | 283023 188660 649950 | 122548 3230 255 | 0.393 % | 174.79/174.88 c | 4938 | 283023 188660 649950 | 134803 4938 226 | 0.393 % | 176.89/176.98 c | 7500 | 283022 188660 649950 | 148283 7500 304 | 0.394 % | 179.79/179.80 c | 11344 | 283019 188660 649950 | 163111 11344 408 | 0.395 % | 184.29/184.33 c | 17110 | 283018 188660 649950 | 179422 17110 511 | 0.395 % | 192.39/192.40 c | 25759 | 283017 188660 649950 | 197365 25759 627 | 0.396 % | 206.59/206.66 c | 38738 | 283016 188660 649950 | 217101 38738 698 | 0.396 % | 226.29/226.33 c | 58199 | 283010 188660 649950 | 238812 58199 736 | 0.398 % | 253.69/253.74 c =============================================================================== 254.40/254.46 c core #302 254.40/254.46 c 254.40/254.46 c 254.40/254.46 c Core size: 12240 Core Weight: 1 Total Weight: 2392 254.40/254.46 c Current CPU time: 246.891 s 254.40/254.46 c 254.40/254.46 c ============================[ Search Statistics ]============================== 254.40/254.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 254.40/254.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 254.40/254.46 c =============================================================================== 254.40/254.46 c | 0 | 295229 191722 677605 | 63907 0 -nan | 0.000 % | 254.69/254.74 c | 106 | 295229 191722 677605 | 70298 106 396 | 0.376 % | 254.89/254.92 c | 257 | 295229 191722 677605 | 77327 257 229 | 0.376 % | 255.10/255.15 c | 482 | 295229 191722 677605 | 85060 482 171 | 0.376 % | 255.31/255.34 c | 820 | 295229 191722 677605 | 93566 820 179 | 0.376 % | 255.70/255.78 c | 1328 | 295229 191722 677605 | 102923 1328 163 | 0.376 % | 256.20/256.28 c | 2089 | 295229 191722 677605 | 113215 2089 206 | 0.376 % | 256.89/256.92 c | 3228 | 295227 191722 677605 | 124537 3228 248 | 0.377 % | 258.00/258.03 c | 4937 | 295226 191722 677605 | 136991 4937 313 | 0.377 % | 259.30/259.39 c | 7501 | 295223 191722 677605 | 150690 7501 370 | 0.378 % | 261.70/261.77 c | 11347 | 295221 191722 677605 | 165759 11347 404 | 0.379 % | 265.70/265.75 c | 17117 | 295220 191722 677605 | 182335 17117 482 | 0.379 % | 273.30/273.39 c | 25767 | 295218 191722 677605 | 200568 25767 605 | 0.380 % | 285.19/285.28 c | 38745 | 295215 191722 677605 | 220625 38745 699 | 0.381 % | 305.09/305.19 c | 58207 | 295213 191722 677605 | 242687 58207 772 | 0.381 % | 336.62/336.71 c | 87400 | 295211 191722 677605 | 266956 87400 807 | 0.382 % | 401.30/401.35 c | 131192 | 295208 191722 677605 | 293652 131192 869 | 0.383 % | 540.70/540.79 c | 196879 | 295207 191722 677605 | 323017 196879 928 | 0.383 % | 838.00/838.08 c | 295405 | 295201 191722 677605 | 355319 295405 960 | 0.385 % | 1196.01/1196.07 c | 443194 | 295182 191722 677605 | 390851 113210 962 | 0.392 % |
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-3460989-1307072709/watcher-3460989-1307072709 -o /tmp/evaluation-result-3460989-1307072709/solver-3460989-1307072709 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460989-1307072709.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.97 2.05 2.01 2/558 29876 /proc/meminfo: memFree=28501072/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=4040 CPUtime=0.01 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 829 0 0 0 1 0 0 0 18 0 1 0 897501610 4136960 757 33554432000 4194304 5714214 140735157512624 18446744073709551615 4968990 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 1010 757 176 372 0 635 0 [startup+0.100857 s] /proc/loadavg: 1.97 2.05 2.01 2/558 29876 /proc/meminfo: memFree=28501072/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=8096 CPUtime=0.09 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 2080 0 0 0 9 0 0 0 18 0 1 0 897501610 8290304 1757 33554432000 4194304 5714214 140735157512624 18446744073709551615 4316250 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 2072 1771 176 372 0 1697 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8096 [startup+0.200842 s] /proc/loadavg: 1.97 2.05 2.01 2/558 29876 /proc/meminfo: memFree=28501072/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=12616 CPUtime=0.19 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 3960 0 0 0 19 0 0 0 18 0 1 0 897501610 12918784 2861 33554432000 4194304 5714214 140735157512624 18446744073709551615 5013536 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 3154 2861 176 372 0 2779 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12616 [startup+0.300839 s] /proc/loadavg: 1.97 2.05 2.01 2/558 29876 /proc/meminfo: memFree=28501072/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=16852 CPUtime=0.29 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 6240 0 0 0 28 1 0 0 18 0 1 0 897501610 17256448 3806 33554432000 4194304 5714214 140735157512624 18446744073709551615 4315546 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 4213 3806 176 372 0 3838 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16852 [startup+0.700762 s] /proc/loadavg: 1.97 2.05 2.01 2/558 29876 /proc/meminfo: memFree=28501072/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=28804 CPUtime=0.69 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 11897 0 0 0 67 2 0 0 18 0 1 0 897501610 29495296 6799 33554432000 4194304 5714214 140735157512624 18446744073709551615 4342283 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 7201 6799 179 372 0 6826 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28804 [startup+1.50063 s] /proc/loadavg: 1.97 2.05 2.01 3/559 29877 /proc/meminfo: memFree=28464360/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=41592 CPUtime=1.49 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 18817 0 0 0 141 8 0 0 19 0 1 0 897501610 42590208 10038 33554432000 4194304 5714214 140735157512624 18446744073709551615 4956294 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 10398 10038 179 372 0 10023 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 41592 [startup+3.10036 s] /proc/loadavg: 1.97 2.05 2.01 3/559 29877 /proc/meminfo: memFree=28451432/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=56588 CPUtime=3.09 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 26153 0 0 0 284 25 0 0 18 0 1 0 897501610 57946112 13710 33554432000 4194304 5714214 140735157512624 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 14147 13710 180 372 0 13772 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 56588 [startup+6.30083 s] /proc/loadavg: 1.97 2.05 2.01 3/559 29877 /proc/meminfo: memFree=28418484/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=81552 CPUtime=6.29 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 35120 0 0 0 564 65 0 0 25 0 1 0 897501610 83509248 19989 33554432000 4194304 5714214 140735157512624 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 20388 19989 180 372 0 20013 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 81552 [startup+12.7008 s] /proc/loadavg: 1.97 2.05 2.01 3/559 29877 /proc/meminfo: memFree=28387000/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=117832 CPUtime=12.69 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 56722 0 0 0 1130 139 0 0 25 0 1 0 897501610 120659968 28206 33554432000 4194304 5714214 140735157512624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 29458 28206 180 372 0 29083 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 117832 [startup+25.5006 s] /proc/loadavg: 1.98 2.04 2.00 3/559 29877 /proc/meminfo: memFree=28359232/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=138960 CPUtime=25.49 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 65064 0 0 0 2320 229 0 0 25 0 1 0 897501610 142295040 34432 33554432000 4194304 5714214 140735157512624 18446744073709551615 4337003 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 34740 34432 180 372 0 34365 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 138960 [startup+51.1013 s] /proc/loadavg: 1.99 2.04 2.00 3/559 29879 /proc/meminfo: memFree=28289928/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=195636 CPUtime=51.09 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 99060 0 0 0 4696 413 0 0 25 0 1 0 897501610 200331264 47923 33554432000 4194304 5714214 140735157512624 18446744073709551615 4322922 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 48909 47923 180 372 0 48534 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 195636 [startup+102.301 s] /proc/loadavg: 1.99 2.03 2.00 3/559 29879 /proc/meminfo: memFree=28226124/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=247592 CPUtime=102.31 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 142312 0 0 0 9594 637 0 0 25 0 1 0 897501610 253534208 60017 33554432000 4194304 5714214 140735157512624 18446744073709551615 4305869 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 61898 60017 180 372 0 61523 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 247592 [startup+162.301 s] /proc/loadavg: 1.99 2.02 2.00 3/559 29881 /proc/meminfo: memFree=28142104/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=311804 CPUtime=162.3 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 157997 0 0 0 15546 684 0 0 25 0 1 0 897501610 319287296 75702 33554432000 4194304 5714214 140735157512624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 77951 75702 180 372 0 77576 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 311804 [startup+222.322 s] /proc/loadavg: 1.99 2.02 2.00 3/559 29883 /proc/meminfo: memFree=28077068/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=346328 CPUtime=222.31 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 168593 0 0 0 21512 719 0 0 25 0 1 0 897501610 354639872 86298 33554432000 4194304 5714214 140735157512624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 86582 86298 180 372 0 86207 0 Current children cumulated CPU time (s) 222.31 Current children cumulated vsize (KiB) 346328 [startup+282.301 s] /proc/loadavg: 2.08 2.04 2.01 3/559 29885 /proc/meminfo: memFree=27907388/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=513176 CPUtime=282.29 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 209336 0 0 0 27470 759 0 0 25 0 1 0 897501610 525492224 127041 33554432000 4194304 5714214 140735157512624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 128294 127041 180 372 0 127919 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 513176 [startup+342.301 s] /proc/loadavg: 2.18 2.08 2.02 3/559 29887 /proc/meminfo: memFree=27897160/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=513176 CPUtime=342.3 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 209419 0 0 0 33451 779 0 0 25 0 1 0 897501610 525492224 127124 33554432000 4194304 5714214 140735157512624 18446744073709551615 4322904 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 128294 127124 180 372 0 127919 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 513176 [startup+402.301 s] /proc/loadavg: 2.12 2.08 2.02 3/559 29887 /proc/meminfo: memFree=27739764/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=659288 CPUtime=402.3 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 245899 0 0 0 39428 802 0 0 25 0 1 0 897501610 675110912 163604 33554432000 4194304 5714214 140735157512624 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 164822 163604 180 372 0 164447 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 659288 [startup+462.301 s] /proc/loadavg: 2.04 2.06 2.01 3/559 29889 /proc/meminfo: memFree=27593516/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=790092 CPUtime=462.3 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 278421 0 0 0 45408 822 0 0 25 0 1 0 897501610 809054208 196126 33554432000 4194304 5714214 140735157512624 18446744073709551615 4322911 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 197523 196126 180 372 0 197148 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 790092 [startup+522.301 s] /proc/loadavg: 2.01 2.05 2.01 3/559 29891 /proc/meminfo: memFree=27461532/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=911800 CPUtime=522.3 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 308783 0 0 0 51389 841 0 0 25 0 1 0 897501610 933683200 226488 33554432000 4194304 5714214 140735157512624 18446744073709551615 4319826 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 227950 226488 180 372 0 227575 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 911800 [startup+582.301 s] /proc/loadavg: 2.00 2.04 2.00 3/559 29920 /proc/meminfo: memFree=27637384/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=1011736 CPUtime=582.3 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 333513 0 0 0 57377 853 0 0 25 0 1 0 897501610 1036017664 251218 33554432000 4194304 5714214 140735157512624 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 252934 251218 180 372 0 252559 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1011736 [startup+642.301 s] ################ # More data... # ################ [startup+882.321 s] /proc/loadavg: 2.00 2.00 2.00 3/559 29928 /proc/meminfo: memFree=27016348/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=1424008 CPUtime=882.33 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 436370 0 0 0 87326 907 0 0 25 0 1 0 897501610 1458184192 354075 33554432000 4194304 5714214 140735157512624 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 356002 354075 180 372 0 355627 0 Current children cumulated CPU time (s) 882.33 Current children cumulated vsize (KiB) 1424008 [startup+942.3 s] /proc/loadavg: 2.26 2.06 2.02 3/559 29930 /proc/meminfo: memFree=26937944/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=1506632 CPUtime=942.3 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 456687 0 0 0 93310 920 0 0 25 0 1 0 897501610 1542791168 374392 33554432000 4194304 5714214 140735157512624 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 376658 374392 180 372 0 376283 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 1506632 [startup+1002.3 s] /proc/loadavg: 2.27 2.10 2.03 3/559 29939 /proc/meminfo: memFree=26763080/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=1598912 CPUtime=1002.3 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 479751 0 0 0 99298 932 0 0 25 0 1 0 897501610 1637285888 397456 33554432000 4194304 5714214 140735157512624 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 399728 397456 180 372 0 399353 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 1598912 [startup+1062.3 s] /proc/loadavg: 2.14 2.09 2.03 3/559 29941 /proc/meminfo: memFree=26706132/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=1654684 CPUtime=1062.3 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 493703 0 0 0 105288 942 0 0 25 0 1 0 897501610 1694396416 411408 33554432000 4194304 5714214 140735157512624 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 413671 411408 180 372 0 413296 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 1654684 [startup+1122.3 s] /proc/loadavg: 2.05 2.07 2.02 3/559 29943 /proc/meminfo: memFree=26637640/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=1654684 CPUtime=1122.31 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 493705 0 0 0 111279 952 0 0 25 0 1 0 897501610 1694396416 411410 33554432000 4194304 5714214 140735157512624 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 413671 411410 180 372 0 413296 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1654684 [startup+1182.3 s] /proc/loadavg: 2.02 2.06 2.02 3/559 29945 /proc/meminfo: memFree=26637116/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=1654684 CPUtime=1182.3 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 493720 0 0 0 117271 959 0 0 25 0 1 0 897501610 1694396416 411425 33554432000 4194304 5714214 140735157512624 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 413671 411425 180 372 0 413296 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 1654684 [startup+1242.3 s] /proc/loadavg: 2.00 2.04 2.01 3/559 29947 /proc/meminfo: memFree=26636204/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=1654684 CPUtime=1242.31 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 493720 0 0 0 123265 966 0 0 25 0 1 0 897501610 1694396416 411425 33554432000 4194304 5714214 140735157512624 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 413671 411425 180 372 0 413296 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1654684 [startup+1302.3 s] /proc/loadavg: 2.00 2.03 2.01 3/559 29947 /proc/meminfo: memFree=26613956/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=1654684 CPUtime=1302.31 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 493727 0 0 0 129260 971 0 0 25 0 1 0 897501610 1694396416 411432 33554432000 4194304 5714214 140735157512624 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 413671 411432 180 372 0 413296 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 1654684 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.00 3/559 29949 /proc/meminfo: memFree=26614048/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=1655760 CPUtime=1362.31 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 493950 0 0 0 135254 977 0 0 25 0 1 0 897501610 1695498240 411655 33554432000 4194304 5714214 140735157512624 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 413940 411655 180 372 0 413565 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 1655760 [startup+1422.3 s] /proc/loadavg: 2.00 2.02 2.00 3/559 29951 /proc/meminfo: memFree=26613388/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=1656400 CPUtime=1422.33 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 494106 0 0 0 141249 984 0 0 25 0 1 0 897501610 1696153600 411811 33554432000 4194304 5714214 140735157512624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 414100 411811 180 372 0 413725 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1656400 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.00 3/559 29953 /proc/meminfo: memFree=26610120/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=1656400 CPUtime=1482.31 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 494129 0 0 0 147242 989 0 0 25 0 1 0 897501610 1696153600 411834 33554432000 4194304 5714214 140735157512624 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 414100 411834 180 372 0 413725 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 1656400 [startup+1542.32 s] /proc/loadavg: 2.15 2.04 2.01 3/559 29955 /proc/meminfo: memFree=26610340/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=1656400 CPUtime=1542.34 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 494147 0 0 0 153240 994 0 0 25 0 1 0 897501610 1696153600 411852 33554432000 4194304 5714214 140735157512624 18446744073709551615 4323082 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 414100 411852 180 372 0 413725 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 1656400 [startup+1602.3 s] /proc/loadavg: 2.19 2.07 2.02 3/559 29955 /proc/meminfo: memFree=26608904/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=1656880 CPUtime=1602.31 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 494272 0 0 0 159233 998 0 0 25 0 1 0 897501610 1696645120 411977 33554432000 4194304 5714214 140735157512624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 414220 411977 180 372 0 413845 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 1656880 [startup+1662.3 s] /proc/loadavg: 2.10 2.07 2.02 3/559 29957 /proc/meminfo: memFree=26578348/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=1657840 CPUtime=1662.31 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 494586 0 0 0 165228 1003 0 0 25 0 1 0 897501610 1697628160 412291 33554432000 4194304 5714214 140735157512624 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 414460 412291 180 372 0 414085 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 1657840 [startup+1722.3 s] /proc/loadavg: 2.04 2.06 2.01 3/559 29959 /proc/meminfo: memFree=26483428/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=1659172 CPUtime=1722.32 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 494898 0 0 0 171225 1007 0 0 25 0 1 0 897501610 1698992128 412603 33554432000 4194304 5714214 140735157512624 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 414793 412603 180 372 0 414418 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 1659172 [startup+1782.3 s] /proc/loadavg: 2.01 2.04 2.01 3/559 29961 /proc/meminfo: memFree=26449912/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=1660852 CPUtime=1782.32 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 495272 0 0 0 177219 1013 0 0 25 0 1 0 897501610 1700712448 412977 33554432000 4194304 5714214 140735157512624 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 415213 412977 180 372 0 414838 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 1660852 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.04 2.01 4/559 29961 /proc/meminfo: memFree=26450760/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=1660852 CPUtime=1800.03 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 495279 0 0 0 178988 1015 0 0 25 0 1 0 897501610 1700712448 412984 33554432000 4194304 5714214 140735157512624 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 415213 412984 180 372 0 414838 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1660852 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800 s] /proc/loadavg: 2.01 2.04 2.01 4/559 29961 /proc/meminfo: memFree=26450760/32951124 swapFree=34426104/67111528 [pid=29876] ppid=29874 vsize=1660852 CPUtime=1800.03 cores=1,3,5,7 /proc/29876/stat : 29876 (wbo1.6) R 29874 29876 27313 0 -1 4202496 495279 0 0 0 178988 1015 0 0 25 0 1 0 897501610 1700712448 412984 33554432000 4194304 5714214 140735157512624 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/29876/statm: 415213 412984 180 372 0 414838 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1660852 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.09 CPU time (s): 1800.12 CPU user time (s): 1789.89 CPU system time (s): 10.2264 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 1660852 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.89 system time used= 10.2264 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 495279 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12 involuntary context switches= 1889 runsolver used 10.3794 second user time and 23.6194 second system time The end
Begin job on node118 at 2011-06-03 05:45:09 IDJOB=3460989 IDBENCH=1852 IDSOLVER=1953 FILE ID=node118/3460989-1307072709 RUNJOBID= node118-1307066710-28358 PBS_JOBID= 13497868 Free space on /tmp= 73744 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-l152lav.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460989-1307072709/watcher-3460989-1307072709 -o /tmp/evaluation-result-3460989-1307072709/solver-3460989-1307072709 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460989-1307072709.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1a5510d564851e49e3b50f1a87922ca2 RANDOM SEED=914587037 node118.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.842 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 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 : 5332.75 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.842 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.74 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.842 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.842 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.68 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.842 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.75 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.842 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 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 : 5374.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28501352 kB Buffers: 305816 kB Cached: 1949808 kB SwapCached: 56168 kB Active: 1126028 kB Inactive: 2987176 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28501352 kB SwapTotal: 67111528 kB SwapFree: 34426104 kB Dirty: 4292 kB Writeback: 0 kB AnonPages: 1814640 kB Mapped: 15492 kB Slab: 149592 kB PageTables: 115624 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 184098544 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= 73740 MiB End job on node118 at 2011-06-03 06:15:12