Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.08 | 1800.16 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb |
MD5SUM | 8d2c17131f0dd6c2b5d472cf1eef4c89 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2967 |
Best CPU time to get the best result obtained on this benchmark | 0.32095 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2967 |
Optimality of the best value was proved | YES |
Number of variables | 1086 |
Total number of constraints | 85 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 84 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 1086 |
Number of terms in the objective function | 1086 |
Biggest coefficient in the objective function | 283 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 197191 |
Number of bits of the sum of numbers in the objective function | 18 |
Biggest number in a constraint | 283 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 197191 |
Number of bits of the biggest sum of numbers | 18 |
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-3461338-1307073234.opb. 0.00/0.00 c Instance file HOME/instance-3461338-1307073234.opb 0.00/0.00 c File size is 48755 bytes. 0.00/0.00 c Highest Coefficient sum: 2552 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 1086 | 0.00/0.00 c | Number Clauses: 83 | 0.00/0.00 c | Number Cardinality: 85 | 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 | 1086 169 9224 | 5000 0 -nan | 0.000 % | 0.00/0.07 c core #1 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 23 Core Weight: 83 Total Weight: 83 0.00/0.07 c Current CPU time: 0.004999 s 0.00/0.07 c 0.00/0.07 c core #2 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 42 Core Weight: 46 Total Weight: 129 0.00/0.07 c Current CPU time: 0.004999 s 0.00/0.07 c 0.00/0.07 c core #3 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 64 Core Weight: 3 Total Weight: 132 0.00/0.07 c Current CPU time: 0.005999 s 0.00/0.07 c 0.00/0.07 c core #4 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 64 Core Weight: 1 Total Weight: 133 0.00/0.07 c Current CPU time: 0.006998 s 0.00/0.07 c 0.00/0.07 c core #5 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 25 Core Weight: 47 Total Weight: 180 0.00/0.07 c Current CPU time: 0.007998 s 0.00/0.07 c 0.00/0.07 c core #6 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 37 Core Weight: 5 Total Weight: 185 0.00/0.07 c Current CPU time: 0.008998 s 0.00/0.07 c 0.00/0.07 c core #7 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 30 Core Weight: 13 Total Weight: 198 0.00/0.07 c Current CPU time: 0.008998 s 0.00/0.07 c 0.00/0.07 c core #8 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 16 Core Weight: 41 Total Weight: 239 0.00/0.07 c Current CPU time: 0.009998 s 0.00/0.07 c 0.00/0.07 c core #9 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 52 Core Weight: 4 Total Weight: 243 0.00/0.07 c Current CPU time: 0.010998 s 0.00/0.07 c 0.00/0.07 c core #10 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 14 Core Weight: 39 Total Weight: 282 0.00/0.07 c Current CPU time: 0.011998 s 0.00/0.07 c 0.00/0.07 c core #11 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 64 Core Weight: 2 Total Weight: 284 0.00/0.07 c Current CPU time: 0.012998 s 0.00/0.07 c 0.00/0.07 c core #12 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 64 Core Weight: 12 Total Weight: 296 0.00/0.07 c Current CPU time: 0.013997 s 0.00/0.07 c 0.00/0.07 c core #13 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 23 Core Weight: 45 Total Weight: 341 0.00/0.07 c Current CPU time: 0.014997 s 0.00/0.07 c 0.00/0.07 c core #14 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 135 Core Weight: 1 Total Weight: 342 0.00/0.07 c Current CPU time: 0.015997 s 0.00/0.07 c 0.00/0.07 c core #15 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 171 Core Weight: 3 Total Weight: 345 0.00/0.07 c Current CPU time: 0.016997 s 0.00/0.07 c 0.00/0.07 c core #16 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 56 Core Weight: 20 Total Weight: 365 0.00/0.07 c Current CPU time: 0.017997 s 0.00/0.07 c 0.00/0.07 c core #17 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 66 Core Weight: 12 Total Weight: 377 0.00/0.07 c Current CPU time: 0.018997 s 0.00/0.07 c 0.00/0.07 c core #18 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 195 Core Weight: 1 Total Weight: 378 0.00/0.07 c Current CPU time: 0.020996 s 0.00/0.07 c 0.00/0.07 c core #19 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 196 Core Weight: 3 Total Weight: 381 0.00/0.07 c Current CPU time: 0.021996 s 0.00/0.07 c 0.00/0.07 c core #20 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 196 Core Weight: 1 Total Weight: 382 0.00/0.07 c Current CPU time: 0.023996 s 0.00/0.07 c 0.00/0.07 c core #21 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 47 Core Weight: 12 Total Weight: 394 0.00/0.07 c Current CPU time: 0.024996 s 0.00/0.07 c 0.00/0.07 c core #22 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 31 Core Weight: 41 Total Weight: 435 0.00/0.07 c Current CPU time: 0.026995 s 0.00/0.07 c 0.00/0.07 c core #23 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 100 Core Weight: 2 Total Weight: 437 0.00/0.07 c Current CPU time: 0.027995 s 0.00/0.07 c 0.00/0.07 c core #24 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 113 Core Weight: 2 Total Weight: 439 0.00/0.07 c Current CPU time: 0.029995 s 0.00/0.07 c 0.00/0.07 c core #25 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 113 Core Weight: 3 Total Weight: 442 0.00/0.07 c Current CPU time: 0.030995 s 0.00/0.07 c 0.00/0.07 c core #26 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 112 Core Weight: 3 Total Weight: 445 0.00/0.07 c Current CPU time: 0.032994 s 0.00/0.07 c 0.00/0.07 c core #27 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 221 Core Weight: 1 Total Weight: 446 0.00/0.07 c Current CPU time: 0.034994 s 0.00/0.07 c 0.00/0.07 c core #28 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 54 Core Weight: 28 Total Weight: 474 0.00/0.07 c Current CPU time: 0.035994 s 0.00/0.07 c 0.00/0.07 c core #29 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 48 Core Weight: 5 Total Weight: 479 0.00/0.07 c Current CPU time: 0.037994 s 0.00/0.07 c 0.00/0.07 c core #30 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 94 Core Weight: 2 Total Weight: 481 0.00/0.07 c Current CPU time: 0.039993 s 0.00/0.07 c 0.00/0.07 c core #31 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 93 Core Weight: 16 Total Weight: 497 0.00/0.07 c Current CPU time: 0.041993 s 0.00/0.07 c 0.00/0.07 c core #32 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 261 Core Weight: 2 Total Weight: 499 0.00/0.07 c Current CPU time: 0.043993 s 0.00/0.07 c 0.00/0.07 c core #33 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 284 Core Weight: 1 Total Weight: 500 0.00/0.07 c Current CPU time: 0.045993 s 0.00/0.07 c 0.00/0.07 c core #34 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 291 Core Weight: 3 Total Weight: 503 0.00/0.07 c Current CPU time: 0.047992 s 0.00/0.07 c 0.00/0.07 c core #35 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 290 Core Weight: 1 Total Weight: 504 0.00/0.07 c Current CPU time: 0.049992 s 0.00/0.07 c 0.00/0.07 c core #36 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 289 Core Weight: 1 Total Weight: 505 0.00/0.07 c Current CPU time: 0.051992 s 0.00/0.07 c 0.00/0.07 c core #37 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 288 Core Weight: 1 Total Weight: 506 0.00/0.07 c Current CPU time: 0.054991 s 0.00/0.07 c 0.00/0.07 c core #38 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 287 Core Weight: 17 Total Weight: 523 0.00/0.07 c Current CPU time: 0.057991 s 0.00/0.07 c 0.00/0.07 c core #39 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 287 Core Weight: 3 Total Weight: 526 0.00/0.07 c Current CPU time: 0.06099 s 0.00/0.07 c 0.00/0.07 c core #40 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 191 Core Weight: 1 Total Weight: 527 0.00/0.07 c Current CPU time: 0.06299 s 0.00/0.07 c 0.00/0.07 c core #41 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 190 Core Weight: 2 Total Weight: 529 0.00/0.07 c Current CPU time: 0.065989 s 0.00/0.07 c 0.00/0.07 c core #42 0.00/0.07 c 0.19/0.23 c 0.19/0.23 c Core size: 189 Core Weight: 3 Total Weight: 532 0.19/0.23 c Current CPU time: 0.068989 s 0.19/0.23 c 0.19/0.23 c core #43 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 90 Core Weight: 4 Total Weight: 536 0.19/0.23 c Current CPU time: 0.070989 s 0.19/0.23 c 0.19/0.23 c core #44 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 124 Core Weight: 2 Total Weight: 538 0.19/0.23 c Current CPU time: 0.072988 s 0.19/0.23 c 0.19/0.23 c core #45 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 123 Core Weight: 18 Total Weight: 556 0.19/0.23 c Current CPU time: 0.076988 s 0.19/0.23 c 0.19/0.23 c core #46 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 67 Core Weight: 28 Total Weight: 584 0.19/0.23 c Current CPU time: 0.078987 s 0.19/0.23 c 0.19/0.23 c core #47 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 47 Core Weight: 11 Total Weight: 595 0.19/0.23 c Current CPU time: 0.081987 s 0.19/0.23 c 0.19/0.23 c core #48 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 81 Core Weight: 2 Total Weight: 597 0.19/0.23 c Current CPU time: 0.084987 s 0.19/0.23 c 0.19/0.23 c core #49 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 146 Core Weight: 11 Total Weight: 608 0.19/0.23 c Current CPU time: 0.087986 s 0.19/0.23 c 0.19/0.23 c core #50 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 238 Core Weight: 1 Total Weight: 609 0.19/0.23 c Current CPU time: 0.090986 s 0.19/0.23 c 0.19/0.23 c core #51 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 237 Core Weight: 2 Total Weight: 611 0.19/0.23 c Current CPU time: 0.094985 s 0.19/0.23 c 0.19/0.23 c core #52 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 236 Core Weight: 1 Total Weight: 612 0.19/0.23 c Current CPU time: 0.097985 s 0.19/0.23 c 0.19/0.23 c core #53 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 235 Core Weight: 5 Total Weight: 617 0.19/0.23 c Current CPU time: 0.100984 s 0.19/0.23 c 0.19/0.23 c core #54 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 224 Core Weight: 2 Total Weight: 619 0.19/0.23 c Current CPU time: 0.104984 s 0.19/0.23 c 0.19/0.23 c core #55 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 222 Core Weight: 1 Total Weight: 620 0.19/0.23 c Current CPU time: 0.107983 s 0.19/0.23 c 0.19/0.23 c core #56 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 220 Core Weight: 2 Total Weight: 622 0.19/0.23 c Current CPU time: 0.111982 s 0.19/0.23 c 0.19/0.23 c core #57 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 218 Core Weight: 4 Total Weight: 626 0.19/0.23 c Current CPU time: 0.115982 s 0.19/0.23 c 0.19/0.23 c core #58 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 19 Core Weight: 23 Total Weight: 649 0.19/0.23 c Current CPU time: 0.118981 s 0.19/0.23 c 0.19/0.23 c core #59 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 64 Core Weight: 30 Total Weight: 679 0.19/0.23 c Current CPU time: 0.122981 s 0.19/0.23 c 0.19/0.23 c core #60 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 284 Core Weight: 1 Total Weight: 680 0.19/0.23 c Current CPU time: 0.12698 s 0.19/0.23 c 0.19/0.23 c core #61 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 278 Core Weight: 2 Total Weight: 682 0.19/0.23 c Current CPU time: 0.13098 s 0.19/0.23 c 0.19/0.23 c core #62 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 269 Core Weight: 1 Total Weight: 683 0.19/0.23 c Current CPU time: 0.134979 s 0.19/0.23 c 0.19/0.23 c core #63 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 267 Core Weight: 3 Total Weight: 686 0.19/0.23 c Current CPU time: 0.139978 s 0.19/0.23 c 0.19/0.23 c core #64 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 266 Core Weight: 4 Total Weight: 690 0.19/0.23 c Current CPU time: 0.143978 s 0.19/0.23 c 0.19/0.23 c core #65 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 260 Core Weight: 2 Total Weight: 692 0.19/0.23 c Current CPU time: 0.147977 s 0.19/0.23 c 0.19/0.23 c core #66 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 210 Core Weight: 3 Total Weight: 695 0.19/0.23 c Current CPU time: 0.152976 s 0.19/0.23 c 0.19/0.23 c core #67 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 25 Core Weight: 58 Total Weight: 753 0.19/0.23 c Current CPU time: 0.156976 s 0.19/0.23 c 0.19/0.23 c core #68 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 188 Core Weight: 2 Total Weight: 755 0.19/0.23 c Current CPU time: 0.160975 s 0.19/0.23 c 0.19/0.23 c core #69 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 198 Core Weight: 4 Total Weight: 759 0.19/0.23 c Current CPU time: 0.165974 s 0.19/0.23 c 0.19/0.23 c core #70 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 197 Core Weight: 1 Total Weight: 760 0.19/0.23 c Current CPU time: 0.169974 s 0.19/0.23 c 0.19/0.23 c core #71 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 196 Core Weight: 2 Total Weight: 762 0.19/0.23 c Current CPU time: 0.174973 s 0.19/0.23 c 0.19/0.23 c core #72 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 195 Core Weight: 1 Total Weight: 763 0.19/0.23 c Current CPU time: 0.179972 s 0.19/0.23 c 0.19/0.23 c core #73 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 194 Core Weight: 7 Total Weight: 770 0.19/0.23 c Current CPU time: 0.184971 s 0.19/0.23 c 0.19/0.23 c core #74 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 77 Core Weight: 8 Total Weight: 778 0.19/0.23 c Current CPU time: 0.188971 s 0.19/0.23 c 0.19/0.23 c core #75 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 19 Core Weight: 19 Total Weight: 797 0.19/0.23 c Current CPU time: 0.19397 s 0.19/0.23 c 0.19/0.23 c core #76 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 69 Core Weight: 3 Total Weight: 800 0.19/0.23 c Current CPU time: 0.198969 s 0.19/0.23 c 0.19/0.23 c core #77 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 39 Core Weight: 30 Total Weight: 830 0.19/0.23 c Current CPU time: 0.203968 s 0.19/0.23 c 0.19/0.23 c core #78 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 26 Core Weight: 53 Total Weight: 883 0.19/0.23 c Current CPU time: 0.207968 s 0.19/0.23 c 0.19/0.23 c core #79 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 52 Core Weight: 4 Total Weight: 887 0.19/0.23 c Current CPU time: 0.212967 s 0.19/0.23 c 0.19/0.23 c core #80 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 84 Core Weight: 5 Total Weight: 892 0.19/0.23 c Current CPU time: 0.217966 s 0.19/0.23 c 0.19/0.23 c core #81 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 144 Core Weight: 7 Total Weight: 899 0.19/0.23 c Current CPU time: 0.221966 s 0.19/0.23 c 0.19/0.23 c core #82 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 125 Core Weight: 1 Total Weight: 900 0.19/0.23 c Current CPU time: 0.226965 s 0.19/0.23 c 0.19/0.23 c core #83 0.19/0.23 c 0.19/0.23 c 0.29/0.35 c Core size: 161 Core Weight: 3 Total Weight: 903 0.29/0.35 c Current CPU time: 0.231964 s 0.29/0.35 c 0.29/0.35 c core #84 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 189 Core Weight: 3 Total Weight: 906 0.29/0.35 c Current CPU time: 0.236963 s 0.29/0.35 c 0.29/0.35 c core #85 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 188 Core Weight: 4 Total Weight: 910 0.29/0.35 c Current CPU time: 0.242963 s 0.29/0.35 c 0.29/0.35 c core #86 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 187 Core Weight: 4 Total Weight: 914 0.29/0.35 c Current CPU time: 0.247962 s 0.29/0.35 c 0.29/0.35 c core #87 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 45 Core Weight: 1 Total Weight: 915 0.29/0.35 c Current CPU time: 0.253961 s 0.29/0.35 c 0.29/0.35 c core #88 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 19 Core Weight: 39 Total Weight: 954 0.29/0.35 c Current CPU time: 0.25896 s 0.29/0.35 c 0.29/0.35 c core #89 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 72 Core Weight: 4 Total Weight: 958 0.29/0.35 c Current CPU time: 0.263959 s 0.29/0.35 c 0.29/0.35 c core #90 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 94 Core Weight: 33 Total Weight: 991 0.29/0.35 c Current CPU time: 0.269958 s 0.29/0.35 c 0.29/0.35 c core #91 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 96 Core Weight: 3 Total Weight: 994 0.29/0.35 c Current CPU time: 0.274958 s 0.29/0.35 c 0.29/0.35 c core #92 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 107 Core Weight: 3 Total Weight: 997 0.29/0.35 c Current CPU time: 0.280957 s 0.29/0.35 c 0.29/0.35 c core #93 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 95 Core Weight: 7 Total Weight: 1004 0.29/0.35 c Current CPU time: 0.285956 s 0.29/0.35 c 0.29/0.35 c core #94 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 114 Core Weight: 12 Total Weight: 1016 0.29/0.35 c Current CPU time: 0.291955 s 0.29/0.35 c 0.29/0.35 c core #95 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 62 Core Weight: 16 Total Weight: 1032 0.29/0.35 c Current CPU time: 0.297954 s 0.29/0.35 c 0.29/0.35 c core #96 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 34 Core Weight: 16 Total Weight: 1048 0.29/0.35 c Current CPU time: 0.302953 s 0.29/0.35 c 0.29/0.35 c core #97 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 85 Core Weight: 13 Total Weight: 1061 0.29/0.35 c Current CPU time: 0.308953 s 0.29/0.35 c 0.29/0.35 c core #98 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 5 Core Weight: 11 Total Weight: 1072 0.29/0.35 c Current CPU time: 0.313952 s 0.29/0.35 c 0.29/0.35 c core #99 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 91 Core Weight: 4 Total Weight: 1076 0.29/0.35 c Current CPU time: 0.319951 s 0.29/0.35 c 0.29/0.35 c core #100 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 58 Core Weight: 17 Total Weight: 1093 0.29/0.35 c Current CPU time: 0.32595 s 0.29/0.35 c 0.29/0.35 c core #101 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 133 Core Weight: 5 Total Weight: 1098 0.29/0.35 c Current CPU time: 0.331949 s 0.29/0.35 c 0.29/0.35 c core #102 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 15 Core Weight: 16 Total Weight: 1114 0.29/0.35 c Current CPU time: 0.337948 s 0.29/0.35 c 0.29/0.35 c core #103 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 144 Core Weight: 3 Total Weight: 1117 0.29/0.35 c Current CPU time: 0.344947 s 0.29/0.35 c 0.29/0.35 c ============================[ Search Statistics ]============================== 0.29/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 12397 14199 23667 | 5000 0 -nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.36 c core #104 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 143 Core Weight: 4 Total Weight: 1121 0.29/0.36 c Current CPU time: 0.352946 s 0.29/0.36 c 0.29/0.36 c ============================[ Search Statistics ]============================== 0.29/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.36 c =============================================================================== 0.29/0.36 c | 0 | 12894 14335 23919 | 5000 0 -nan | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.37 c core #105 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 127 Core Weight: 1 Total Weight: 1122 0.29/0.37 c Current CPU time: 0.361944 s 0.29/0.37 c 0.29/0.37 c ============================[ Search Statistics ]============================== 0.29/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.37 c =============================================================================== 0.29/0.37 c | 0 | 13019 14460 24052 | 5000 0 -nan | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.38 c core #106 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 133 Core Weight: 13 Total Weight: 1135 0.29/0.38 c Current CPU time: 0.370943 s 0.29/0.38 c 0.29/0.38 c ============================[ Search Statistics ]============================== 0.29/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 13228 14587 24223 | 5000 0 -nan | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.39 c core #107 0.29/0.39 c 0.29/0.39 c 0.29/0.39 c Core size: 330 Core Weight: 1 Total Weight: 1136 0.29/0.39 c Current CPU time: 0.379942 s 0.29/0.39 c 0.29/0.39 c ============================[ Search Statistics ]============================== 0.29/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 13549 14907 24559 | 5000 0 -nan | 0.000 % | 0.29/0.39 c =============================================================================== 0.39/0.40 c core #108 0.39/0.40 c 0.39/0.40 c 0.39/0.40 c Core size: 335 Core Weight: 1 Total Weight: 1137 0.39/0.40 c Current CPU time: 0.38894 s 0.39/0.40 c 0.39/0.40 c ============================[ Search Statistics ]============================== 0.39/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.40 c =============================================================================== 0.39/0.40 c | 0 | 13876 15231 24918 | 5077 0 -nan | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.41 c core #109 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 289 Core Weight: 1 Total Weight: 1138 0.39/0.41 c Current CPU time: 0.399939 s 0.39/0.41 c 0.39/0.41 c ============================[ Search Statistics ]============================== 0.39/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.41 c =============================================================================== 0.39/0.41 c | 0 | 14308 15511 25453 | 5170 0 -nan | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.42 c core #110 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 208 Core Weight: 1 Total Weight: 1139 0.39/0.42 c Current CPU time: 0.410937 s 0.39/0.42 c 0.39/0.42 c ============================[ Search Statistics ]============================== 0.39/0.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.42 c =============================================================================== 0.39/0.42 c | 0 | 14511 15713 25658 | 5237 0 -nan | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.44 c core #111 0.39/0.44 c 0.39/0.44 c 0.39/0.44 c Core size: 246 Core Weight: 6 Total Weight: 1145 0.39/0.44 c Current CPU time: 0.421935 s 0.39/0.44 c 0.39/0.44 c ============================[ Search Statistics ]============================== 0.39/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.44 c =============================================================================== 0.39/0.44 c | 0 | 14793 15954 25937 | 5318 0 -nan | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.45 c core #112 0.39/0.45 c 0.39/0.45 c 0.39/0.45 c Core size: 119 Core Weight: 1 Total Weight: 1146 0.39/0.45 c Current CPU time: 0.431934 s 0.39/0.45 c 0.39/0.45 c ============================[ Search Statistics ]============================== 0.39/0.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.45 c =============================================================================== 0.39/0.45 c | 0 | 14911 16071 26066 | 5357 0 -nan | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.46 c core #113 0.39/0.46 c 0.39/0.46 c 0.39/0.46 c Core size: 215 Core Weight: 2 Total Weight: 1148 0.39/0.46 c Current CPU time: 0.441932 s 0.39/0.46 c 0.39/0.46 c ============================[ Search Statistics ]============================== 0.39/0.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.46 c =============================================================================== 0.39/0.46 c | 0 | 15122 16281 26308 | 5427 0 -nan | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.47 c core #114 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 120 Core Weight: 1 Total Weight: 1149 0.39/0.47 c Current CPU time: 0.452931 s 0.39/0.47 c 0.39/0.47 c ============================[ Search Statistics ]============================== 0.39/0.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.47 c =============================================================================== 0.39/0.47 c | 0 | 15241 16399 26460 | 5466 0 -nan | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.48 c core #115 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 200 Core Weight: 8 Total Weight: 1157 0.39/0.48 c Current CPU time: 0.463929 s 0.39/0.48 c 0.39/0.48 c ============================[ Search Statistics ]============================== 0.39/0.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.48 c =============================================================================== 0.39/0.48 c | 0 | 15438 16595 26678 | 5531 0 -nan | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.49 c core #116 0.39/0.49 c 0.39/0.49 c 0.39/0.49 c Core size: 185 Core Weight: 8 Total Weight: 1165 0.39/0.49 c Current CPU time: 0.473927 s 0.39/0.49 c 0.39/0.49 c ============================[ Search Statistics ]============================== 0.39/0.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.49 c =============================================================================== 0.39/0.49 c | 0 | 15623 16779 26893 | 5593 0 -nan | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.51 c core #117 0.49/0.51 c 0.49/0.51 c 0.49/0.51 c Core size: 143 Core Weight: 2 Total Weight: 1167 0.49/0.51 c Current CPU time: 0.486925 s 0.49/0.51 c 0.49/0.51 c ============================[ Search Statistics ]============================== 0.49/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.51 c =============================================================================== 0.49/0.51 c | 0 | 15759 16914 27078 | 5638 0 -nan | 0.000 % | 0.49/0.51 c =============================================================================== 0.49/0.52 c core #118 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 181 Core Weight: 1 Total Weight: 1168 0.49/0.52 c Current CPU time: 0.498924 s 0.49/0.52 c 0.49/0.52 c ============================[ Search Statistics ]============================== 0.49/0.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.52 c =============================================================================== 0.49/0.52 c | 0 | 15935 17089 27351 | 5696 0 -nan | 0.000 % | 0.49/0.52 c =============================================================================== 0.49/0.53 c core #119 0.49/0.53 c 0.49/0.53 c 0.49/0.53 c Core size: 181 Core Weight: 6 Total Weight: 1174 0.49/0.53 c Current CPU time: 0.510922 s 0.49/0.53 c 0.49/0.53 c ============================[ Search Statistics ]============================== 0.49/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.53 c =============================================================================== 0.49/0.53 c | 0 | 16112 17265 27530 | 5755 0 -nan | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.54 c core #120 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 128 Core Weight: 4 Total Weight: 1178 0.49/0.54 c Current CPU time: 0.52192 s 0.49/0.54 c 0.49/0.54 c ============================[ Search Statistics ]============================== 0.49/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.54 c =============================================================================== 0.49/0.54 c | 0 | 16235 17385 27686 | 5795 0 -nan | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.56 c core #121 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 158 Core Weight: 1 Total Weight: 1179 0.49/0.56 c Current CPU time: 0.532918 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 | 16391 17540 27885 | 5846 0 -nan | 0.000 % | 0.49/0.56 c =============================================================================== 0.49/0.57 c core #122 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 158 Core Weight: 2 Total Weight: 1181 0.49/0.57 c Current CPU time: 0.544917 s 0.49/0.57 c 0.49/0.57 c ============================[ Search Statistics ]============================== 0.49/0.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.57 c =============================================================================== 0.49/0.57 c | 0 | 16546 17692 28079 | 5897 0 -nan | 0.000 % | 0.49/0.57 c =============================================================================== 0.49/0.58 c core #123 0.49/0.58 c 0.49/0.58 c 0.49/0.58 c Core size: 176 Core Weight: 4 Total Weight: 1185 0.49/0.58 c Current CPU time: 0.555915 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 | 16718 17863 28318 | 5954 0 -nan | 0.000 % | 0.49/0.58 c =============================================================================== 0.49/0.59 c core #124 0.49/0.59 c 0.49/0.59 c 0.49/0.59 c Core size: 195 Core Weight: 1 Total Weight: 1186 0.49/0.59 c Current CPU time: 0.567913 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 | 16909 18049 28615 | 6016 0 -nan | 0.000 % | 0.59/0.60 c =============================================================================== 0.59/0.61 c core #125 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c Core size: 199 Core Weight: 1 Total Weight: 1187 0.59/0.61 c Current CPU time: 0.581911 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 | 17105 18238 28987 | 6079 0 -nan | 0.000 % | 0.59/0.61 c =============================================================================== 0.59/0.62 c core #126 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 97 Core Weight: 4 Total Weight: 1191 0.59/0.62 c Current CPU time: 0.594909 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 | 17200 18332 29111 | 6110 0 -nan | 0.000 % | 0.59/0.63 c =============================================================================== 0.59/0.64 c core #127 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 208 Core Weight: 3 Total Weight: 1194 0.59/0.64 c Current CPU time: 0.609907 s 0.59/0.64 c 0.59/0.64 c ============================[ Search Statistics ]============================== 0.59/0.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.64 c =============================================================================== 0.59/0.64 c | 0 | 17405 18536 29328 | 6178 0 -nan | 0.000 % | 0.59/0.64 c =============================================================================== 0.59/0.66 c core #128 0.59/0.66 c 0.59/0.66 c 0.59/0.66 c Core size: 423 Core Weight: 1 Total Weight: 1195 0.59/0.66 c Current CPU time: 0.623905 s 0.59/0.66 c 0.59/0.66 c ============================[ Search Statistics ]============================== 0.59/0.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.66 c =============================================================================== 0.59/0.66 c | 0 | 17817 18945 29794 | 6315 0 -nan | 0.000 % | 0.59/0.66 c =============================================================================== 0.59/0.67 c core #129 0.59/0.67 c 0.59/0.67 c 0.59/0.67 c Core size: 252 Core Weight: 1 Total Weight: 1196 0.59/0.67 c Current CPU time: 0.638902 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 | 18062 19185 30069 | 6395 0 -nan | 0.000 % | 0.59/0.67 c =============================================================================== 0.59/0.69 c core #130 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 202 Core Weight: 1 Total Weight: 1197 0.59/0.69 c Current CPU time: 0.6529 s 0.59/0.69 c 0.59/0.69 c ============================[ Search Statistics ]============================== 0.59/0.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.69 c =============================================================================== 0.59/0.69 c | 0 | 18264 19383 30353 | 6461 0 -nan | 0.000 % | 0.59/0.69 c =============================================================================== 0.69/0.70 c core #131 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 157 Core Weight: 1 Total Weight: 1198 0.69/0.70 c Current CPU time: 0.666898 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 | 18420 19536 30548 | 6512 0 -nan | 0.000 % | 0.69/0.71 c =============================================================================== 0.69/0.72 c core #132 0.69/0.72 c 0.69/0.72 c 0.69/0.72 c Core size: 245 Core Weight: 2 Total Weight: 1200 0.69/0.72 c Current CPU time: 0.681896 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 | 18663 19776 30950 | 6592 0 -nan | 0.000 % | 0.69/0.72 c =============================================================================== 0.69/0.74 c core #133 0.69/0.74 c 0.69/0.74 c 0.69/0.74 c Core size: 408 Core Weight: 1 Total Weight: 1201 0.69/0.74 c Current CPU time: 0.697893 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 | 19069 20170 31506 | 6723 0 -nan | 0.000 % | 0.69/0.74 c =============================================================================== 0.69/0.75 c core #134 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 310 Core Weight: 1 Total Weight: 1202 0.69/0.75 c Current CPU time: 0.714891 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 | 19375 20471 31872 | 6823 0 -nan | 0.000 % | 0.69/0.76 c =============================================================================== 0.69/0.77 c core #135 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 193 Core Weight: 3 Total Weight: 1205 0.69/0.77 c Current CPU time: 0.728889 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 | 19565 20660 32137 | 6886 0 -nan | 0.000 % | 0.69/0.78 c =============================================================================== 0.69/0.79 c core #136 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 207 Core Weight: 1 Total Weight: 1206 0.69/0.79 c Current CPU time: 0.746886 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 | 19769 20860 32370 | 6953 0 -nan | 0.000 % | 0.79/0.80 c =============================================================================== 0.79/0.81 c core #137 0.79/0.81 c 0.79/0.81 c 0.79/0.81 c Core size: 307 Core Weight: 1 Total Weight: 1207 0.79/0.81 c Current CPU time: 0.765883 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 | 20076 21155 32827 | 7051 0 -nan | 0.000 % | 0.79/0.82 c =============================================================================== 0.79/0.83 c core #138 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 174 Core Weight: 1 Total Weight: 1208 0.79/0.83 c Current CPU time: 0.781881 s 0.79/0.83 c 0.79/0.83 c ============================[ Search Statistics ]============================== 0.79/0.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.83 c =============================================================================== 0.79/0.83 c | 0 | 20251 21324 33158 | 7108 0 -nan | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.85 c core #139 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 98 Core Weight: 1 Total Weight: 1209 0.79/0.85 c Current CPU time: 0.796878 s 0.79/0.85 c 0.79/0.85 c ============================[ Search Statistics ]============================== 0.79/0.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.85 c =============================================================================== 0.79/0.85 c | 0 | 20346 21413 33272 | 7137 0 -nan | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.87 c core #140 0.79/0.87 c 0.79/0.87 c 0.79/0.87 c Core size: 367 Core Weight: 1 Total Weight: 1210 0.79/0.87 c Current CPU time: 0.816875 s 0.79/0.87 c 0.79/0.87 c ============================[ Search Statistics ]============================== 0.79/0.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.87 c =============================================================================== 0.79/0.87 c | 0 | 20700 21742 33815 | 7247 0 -nan | 0.000 % | 0.79/0.87 c =============================================================================== 0.79/0.89 c core #141 0.79/0.89 c 0.79/0.89 c 0.79/0.89 c Core size: 305 Core Weight: 1 Total Weight: 1211 0.79/0.89 c Current CPU time: 0.835872 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 | 21006 22034 34380 | 7344 0 -nan | 0.000 % | 0.89/0.90 c =============================================================================== 0.89/0.91 c core #142 0.89/0.91 c 0.89/0.91 c 0.89/0.91 c Core size: 399 Core Weight: 1 Total Weight: 1212 0.89/0.91 c Current CPU time: 0.856869 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 | 21400 22417 34870 | 7472 0 -nan | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.93 c core #143 0.89/0.93 c 0.89/0.93 c 0.89/0.93 c Core size: 162 Core Weight: 1 Total Weight: 1213 0.89/0.93 c Current CPU time: 0.877866 s 0.89/0.93 c 0.89/0.93 c ============================[ Search Statistics ]============================== 0.89/0.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.93 c =============================================================================== 0.89/0.93 c | 0 | 21558 22574 35070 | 7524 0 -nan | 0.000 % | 0.89/0.94 c =============================================================================== 0.89/0.95 c core #144 0.89/0.95 c 0.89/0.95 c 0.89/0.95 c Core size: 72 Core Weight: 1 Total Weight: 1214 0.89/0.95 c Current CPU time: 0.896863 s 0.89/0.95 c 0.89/0.95 c ============================[ Search Statistics ]============================== 0.89/0.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.95 c =============================================================================== 0.89/0.95 c | 0 | 21626 22635 35155 | 7545 0 -nan | 0.000 % | 0.89/0.96 c =============================================================================== 0.89/0.97 c core #145 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 188 Core Weight: 1 Total Weight: 1215 0.89/0.97 c Current CPU time: 0.912861 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 | 21810 22818 35459 | 7606 0 -nan | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.99 c core #146 0.89/0.99 c 0.89/0.99 c 0.89/0.99 c Core size: 306 Core Weight: 1 Total Weight: 1216 0.89/0.99 c Current CPU time: 0.930858 s 0.89/0.99 c 0.89/0.99 c ============================[ Search Statistics ]============================== 0.89/0.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.99 c =============================================================================== 0.89/0.99 c | 0 | 22112 23110 35834 | 7703 0 -nan | 0.000 % | 0.89/1.00 c =============================================================================== 0.89/1.01 c core #147 0.89/1.01 c 0.89/1.01 c 0.89/1.01 c Core size: 259 Core Weight: 1 Total Weight: 1217 0.89/1.01 c Current CPU time: 0.946856 s 0.89/1.01 c 0.89/1.01 c ============================[ Search Statistics ]============================== 0.89/1.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/1.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/1.01 c =============================================================================== 0.89/1.01 c | 0 | 22366 23354 36114 | 7784 0 -nan | 0.000 % | 0.89/1.02 c =============================================================================== 1.01/1.03 c core #148 1.01/1.03 c 1.01/1.03 c 1.01/1.03 c Core size: 139 Core Weight: 1 Total Weight: 1218 1.01/1.03 c Current CPU time: 0.965853 s 1.01/1.03 c 1.01/1.03 c ============================[ Search Statistics ]============================== 1.01/1.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.03 c =============================================================================== 1.01/1.03 c | 0 | 22497 23477 36281 | 7825 0 -nan | 0.000 % | 1.01/1.04 c =============================================================================== 1.01/1.05 c core #149 1.01/1.05 c 1.01/1.05 c 1.01/1.05 c Core size: 274 Core Weight: 1 Total Weight: 1219 1.01/1.05 c Current CPU time: 0.98285 s 1.01/1.05 c 1.01/1.05 c ============================[ Search Statistics ]============================== 1.01/1.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.05 c =============================================================================== 1.01/1.05 c | 0 | 22759 23733 36637 | 7911 0 -nan | 0.000 % | 1.01/1.06 c =============================================================================== 1.01/1.07 c core #150 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 302 Core Weight: 1 Total Weight: 1220 1.01/1.07 c Current CPU time: 1.00085 s 1.01/1.07 c 1.01/1.07 c ============================[ Search Statistics ]============================== 1.01/1.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.07 c =============================================================================== 1.01/1.07 c | 0 | 23057 24014 37056 | 8004 0 -nan | 0.000 % | 1.01/1.08 c =============================================================================== 1.01/1.10 c core #151 1.01/1.10 c 1.01/1.10 c 1.01/1.10 c Core size: 245 Core Weight: 1 Total Weight: 1221 1.01/1.10 c Current CPU time: 1.02284 s 1.01/1.10 c 1.01/1.10 c ============================[ Search Statistics ]============================== 1.01/1.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.10 c =============================================================================== 1.01/1.10 c | 0 | 23303 24250 37496 | 8083 0 -nan | 0.000 % | 1.01/1.10 c =============================================================================== 1.11/1.12 c core #152 1.11/1.12 c 1.11/1.12 c 1.11/1.12 c Core size: 252 Core Weight: 1 Total Weight: 1222 1.11/1.12 c Current CPU time: 1.04384 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 | 23548 24491 37831 | 8163 0 -nan | 0.000 % | 1.11/1.13 c =============================================================================== 1.11/1.14 c core #153 1.11/1.14 c 1.11/1.14 c 1.11/1.14 c Core size: 403 Core Weight: 1 Total Weight: 1223 1.11/1.14 c Current CPU time: 1.06484 s 1.11/1.14 c 1.11/1.14 c ============================[ Search Statistics ]============================== 1.11/1.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.14 c =============================================================================== 1.11/1.14 c | 0 | 23945 24882 38289 | 8294 0 -nan | 0.000 % | 1.11/1.15 c =============================================================================== 1.11/1.17 c core #154 1.11/1.17 c 1.11/1.17 c 1.11/1.17 c Core size: 157 Core Weight: 1 Total Weight: 1224 1.11/1.17 c Current CPU time: 1.08683 s 1.11/1.17 c 1.11/1.17 c ============================[ Search Statistics ]============================== 1.11/1.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.17 c =============================================================================== 1.11/1.17 c | 0 | 24098 25031 38468 | 8343 0 -nan | 0.000 % | 1.11/1.17 c =============================================================================== 1.11/1.19 c core #155 1.11/1.19 c 1.11/1.19 c 1.11/1.19 c Core size: 301 Core Weight: 1 Total Weight: 1225 1.11/1.19 c Current CPU time: 1.10583 s 1.11/1.19 c 1.11/1.19 c ============================[ Search Statistics ]============================== 1.11/1.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.19 c =============================================================================== 1.11/1.19 c | 0 | 24394 25324 38804 | 8441 0 -nan | 0.000 % | 1.11/1.20 c =============================================================================== 1.19/1.21 c core #156 1.19/1.21 c 1.19/1.21 c 1.19/1.21 c Core size: 226 Core Weight: 1 Total Weight: 1226 1.19/1.21 c Current CPU time: 1.12683 s 1.19/1.21 c 1.19/1.21 c ============================[ Search Statistics ]============================== 1.19/1.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.21 c =============================================================================== 1.19/1.21 c | 0 | 24612 25536 39065 | 8512 0 -nan | 0.000 % | 1.19/1.22 c =============================================================================== 1.19/1.24 c core #157 1.19/1.24 c 1.19/1.24 c 1.19/1.24 c Core size: 349 Core Weight: 1 Total Weight: 1227 1.19/1.24 c Current CPU time: 1.14882 s 1.19/1.24 c 1.19/1.24 c ============================[ Search Statistics ]============================== 1.19/1.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.24 c =============================================================================== 1.19/1.24 c | 0 | 24959 25875 39439 | 8625 0 -nan | 0.000 % | 1.19/1.24 c =============================================================================== 1.19/1.26 c core #158 1.19/1.26 c 1.19/1.26 c 1.19/1.26 c Core size: 183 Core Weight: 1 Total Weight: 1228 1.19/1.26 c Current CPU time: 1.17082 s 1.19/1.26 c 1.19/1.26 c ============================[ Search Statistics ]============================== 1.19/1.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.26 c =============================================================================== 1.19/1.26 c | 0 | 25140 26048 39650 | 8682 0 -nan | 0.000 % | 1.19/1.27 c =============================================================================== 1.19/1.29 c core #159 1.19/1.29 c 1.19/1.29 c 1.19/1.29 c Core size: 138 Core Weight: 1 Total Weight: 1229 1.19/1.29 c Current CPU time: 1.19382 s 1.19/1.29 c 1.19/1.29 c ============================[ Search Statistics ]============================== 1.19/1.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.29 c =============================================================================== 1.19/1.29 c | 0 | 25277 26182 39916 | 8727 0 -nan | 0.000 % | 1.19/1.29 c =============================================================================== 1.29/1.31 c core #160 1.29/1.31 c 1.29/1.31 c 1.29/1.31 c Core size: 157 Core Weight: 2 Total Weight: 1231 1.29/1.31 c Current CPU time: 1.21681 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 | 25434 26338 40212 | 8779 0 -nan | 0.000 % | 1.29/1.32 c =============================================================================== 1.29/1.34 c core #161 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 249 Core Weight: 1 Total Weight: 1232 1.29/1.34 c Current CPU time: 1.24381 s 1.29/1.34 c 1.29/1.34 c ============================[ Search Statistics ]============================== 1.29/1.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.34 c =============================================================================== 1.29/1.34 c | 0 | 25682 26573 40527 | 8857 0 -nan | 0.000 % | 1.29/1.35 c =============================================================================== 1.29/1.37 c core #162 1.29/1.37 c 1.29/1.37 c 1.29/1.37 c Core size: 257 Core Weight: 1 Total Weight: 1233 1.29/1.37 c Current CPU time: 1.26481 s 1.29/1.37 c 1.29/1.37 c ============================[ Search Statistics ]============================== 1.29/1.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.37 c =============================================================================== 1.29/1.37 c | 0 | 25933 26822 40835 | 8940 0 -nan | 0.000 % | 1.29/1.37 c =============================================================================== 1.29/1.39 c core #163 1.29/1.39 c 1.29/1.39 c 1.29/1.39 c Core size: 189 Core Weight: 1 Total Weight: 1234 1.29/1.39 c Current CPU time: 1.2868 s 1.29/1.39 c 1.29/1.39 c ============================[ Search Statistics ]============================== 1.29/1.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.39 c =============================================================================== 1.29/1.39 c | 0 | 26116 27002 41172 | 9000 0 -nan | 0.000 % | 1.39/1.40 c =============================================================================== 1.39/1.42 c core #164 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 325 Core Weight: 1 Total Weight: 1235 1.39/1.42 c Current CPU time: 1.3078 s 1.39/1.42 c 1.39/1.42 c ============================[ Search Statistics ]============================== 1.39/1.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.42 c =============================================================================== 1.39/1.42 c | 0 | 26437 27306 41641 | 9102 0 -nan | 0.000 % | 1.39/1.43 c =============================================================================== 1.39/1.45 c core #165 1.39/1.45 c 1.39/1.45 c 1.39/1.45 c Core size: 340 Core Weight: 1 Total Weight: 1236 1.39/1.45 c Current CPU time: 1.3348 s 1.39/1.45 c 1.39/1.45 c ============================[ Search Statistics ]============================== 1.39/1.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.45 c =============================================================================== 1.39/1.45 c | 0 | 26777 27627 42141 | 9209 0 -nan | 0.000 % | 1.39/1.45 c =============================================================================== 1.39/1.47 c core #166 1.39/1.47 c 1.39/1.47 c 1.39/1.47 c Core size: 158 Core Weight: 1 Total Weight: 1237 1.39/1.47 c Current CPU time: 1.35479 s 1.39/1.47 c 1.39/1.47 c ============================[ Search Statistics ]============================== 1.39/1.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.47 c =============================================================================== 1.39/1.47 c | 0 | 26931 27781 42350 | 9260 0 -nan | 0.000 % | 1.39/1.48 c =============================================================================== 1.49/1.50 c core #167 1.49/1.50 c 1.49/1.50 c 1.49/1.50 c Core size: 198 Core Weight: 1 Total Weight: 1238 1.49/1.50 c Current CPU time: 1.38079 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 | 27127 27974 42614 | 9324 0 -nan | 0.000 % | 1.49/1.51 c =============================================================================== 1.49/1.53 c core #168 1.49/1.53 c 1.49/1.53 c 1.49/1.53 c Core size: 224 Core Weight: 1 Total Weight: 1239 1.49/1.53 c Current CPU time: 1.40379 s 1.49/1.53 c 1.49/1.53 c ============================[ Search Statistics ]============================== 1.49/1.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.53 c =============================================================================== 1.49/1.53 c | 0 | 27342 28189 42899 | 9396 0 -nan | 0.000 % | 1.49/1.54 c =============================================================================== 1.49/1.55 c core #169 1.49/1.55 c 1.49/1.55 c 1.49/1.55 c Core size: 195 Core Weight: 2 Total Weight: 1241 1.49/1.55 c Current CPU time: 1.42878 s 1.49/1.55 c 1.49/1.55 c ============================[ Search Statistics ]============================== 1.49/1.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.55 c =============================================================================== 1.49/1.55 c | 0 | 27530 28376 43227 | 9458 0 -nan | 0.000 % | 1.49/1.56 c =============================================================================== 1.49/1.58 c core #170 1.49/1.58 c 1.49/1.58 c 1.49/1.58 c Core size: 286 Core Weight: 1 Total Weight: 1242 1.49/1.58 c Current CPU time: 1.45478 s 1.49/1.58 c 1.49/1.58 c ============================[ Search Statistics ]============================== 1.49/1.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.58 c =============================================================================== 1.49/1.58 c | 0 | 27816 28655 43624 | 9551 0 -nan | 0.000 % | 1.49/1.59 c =============================================================================== 1.59/1.61 c core #171 1.59/1.61 c 1.59/1.61 c 1.59/1.61 c Core size: 245 Core Weight: 2 Total Weight: 1244 1.59/1.61 c Current CPU time: 1.47578 s 1.59/1.61 c 1.59/1.61 c ============================[ Search Statistics ]============================== 1.59/1.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.61 c =============================================================================== 1.59/1.61 c | 0 | 28056 28890 43870 | 9630 0 -nan | 0.000 % | 1.59/1.61 c =============================================================================== 1.59/1.63 c core #172 1.59/1.63 c 1.59/1.63 c 1.59/1.63 c Core size: 289 Core Weight: 2 Total Weight: 1246 1.59/1.63 c Current CPU time: 1.50277 s 1.59/1.63 c 1.59/1.63 c ============================[ Search Statistics ]============================== 1.59/1.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.63 c =============================================================================== 1.59/1.63 c | 0 | 28340 29172 44230 | 9724 0 -nan | 0.000 % | 1.59/1.64 c =============================================================================== 1.59/1.66 c core #173 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 453 Core Weight: 1 Total Weight: 1247 1.59/1.66 c Current CPU time: 1.52777 s 1.59/1.66 c 1.59/1.66 c ============================[ Search Statistics ]============================== 1.59/1.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.66 c =============================================================================== 1.59/1.66 c | 0 | 28791 29610 44806 | 9870 0 -nan | 0.000 % | 1.59/1.67 c =============================================================================== 1.59/1.69 c core #174 1.59/1.69 c 1.59/1.69 c 1.59/1.69 c Core size: 195 Core Weight: 1 Total Weight: 1248 1.59/1.69 c Current CPU time: 1.55476 s 1.59/1.69 c 1.59/1.69 c ============================[ Search Statistics ]============================== 1.59/1.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.69 c =============================================================================== 1.59/1.69 c | 0 | 28979 29797 45149 | 9932 0 -nan | 0.000 % | 1.69/1.70 c =============================================================================== 1.69/1.72 c core #175 1.69/1.72 c 1.69/1.72 c 1.69/1.72 c Core size: 258 Core Weight: 1 Total Weight: 1249 1.69/1.72 c Current CPU time: 1.58176 s 1.69/1.72 c 1.69/1.72 c ============================[ Search Statistics ]============================== 1.69/1.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.72 c =============================================================================== 1.69/1.72 c | 0 | 29234 30038 45516 | 10012 0 -nan | 0.000 % | 1.69/1.73 c =============================================================================== 1.69/1.75 c core #176 1.69/1.75 c 1.69/1.75 c 1.69/1.75 c Core size: 206 Core Weight: 1 Total Weight: 1250 1.69/1.75 c Current CPU time: 1.60976 s 1.69/1.75 c 1.69/1.75 c ============================[ Search Statistics ]============================== 1.69/1.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.75 c =============================================================================== 1.69/1.75 c | 0 | 29437 30231 45784 | 10077 0 -nan | 0.000 % | 1.69/1.77 c =============================================================================== 1.69/1.79 c core #177 1.69/1.79 c 1.69/1.79 c 1.69/1.79 c Core size: 445 Core Weight: 1 Total Weight: 1251 1.69/1.79 c Current CPU time: 1.63875 s 1.69/1.79 c 1.69/1.79 c ============================[ Search Statistics ]============================== 1.69/1.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.79 c =============================================================================== 1.69/1.79 c | 0 | 29880 30664 46498 | 10221 0 -nan | 0.000 % | 1.79/1.80 c =============================================================================== 1.79/1.82 c core #178 1.79/1.82 c 1.79/1.82 c 1.79/1.82 c Core size: 221 Core Weight: 1 Total Weight: 1252 1.79/1.82 c Current CPU time: 1.66775 s 1.79/1.82 c 1.79/1.82 c ============================[ Search Statistics ]============================== 1.79/1.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.82 c =============================================================================== 1.79/1.82 c | 0 | 30092 30874 46773 | 10291 0 -nan | 0.000 % | 1.79/1.83 c =============================================================================== 1.79/1.85 c core #179 1.79/1.85 c 1.79/1.85 c 1.79/1.85 c Core size: 334 Core Weight: 1 Total Weight: 1253 1.79/1.85 c Current CPU time: 1.69574 s 1.79/1.85 c 1.79/1.85 c ============================[ Search Statistics ]============================== 1.79/1.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.85 c =============================================================================== 1.79/1.85 c | 0 | 30422 31178 47255 | 10392 0 -nan | 0.000 % | 1.79/1.86 c =============================================================================== 1.79/1.88 c core #180 1.79/1.88 c 1.79/1.88 c 1.79/1.88 c Core size: 218 Core Weight: 3 Total Weight: 1256 1.79/1.88 c Current CPU time: 1.72374 s 1.79/1.88 c 1.79/1.88 c ============================[ Search Statistics ]============================== 1.79/1.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.88 c =============================================================================== 1.79/1.88 c | 0 | 30633 31388 47610 | 10462 0 -nan | 0.000 % | 1.79/1.89 c =============================================================================== 1.89/1.92 c core #181 1.89/1.92 c 1.89/1.92 c 1.89/1.92 c Core size: 412 Core Weight: 1 Total Weight: 1257 1.89/1.92 c Current CPU time: 1.75673 s 1.89/1.92 c 1.89/1.92 c ============================[ Search Statistics ]============================== 1.89/1.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.92 c =============================================================================== 1.89/1.92 c | 0 | 31041 31785 48148 | 10595 0 -nan | 0.000 % | 1.89/1.93 c =============================================================================== 1.89/1.95 c core #182 1.89/1.95 c 1.89/1.95 c 1.89/1.95 c Core size: 363 Core Weight: 1 Total Weight: 1258 1.89/1.95 c Current CPU time: 1.79073 s 1.89/1.95 c 1.89/1.95 c ============================[ Search Statistics ]============================== 1.89/1.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.95 c =============================================================================== 1.89/1.95 c | 0 | 31433 32121 49030 | 10707 0 -nan | 0.000 % | 1.89/1.97 c =============================================================================== 1.89/1.99 c core #183 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 384 Core Weight: 1 Total Weight: 1259 1.89/1.99 c Current CPU time: 1.82472 s 1.89/1.99 c 1.89/1.99 c ============================[ Search Statistics ]============================== 1.89/1.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.99 c =============================================================================== 1.89/1.99 c | 0 | 31811 32478 49574 | 10826 0 -nan | 0.000 % | 1.99/2.00 c =============================================================================== 1.99/2.02 c core #184 1.99/2.02 c 1.99/2.02 c 1.99/2.02 c Core size: 212 Core Weight: 3 Total Weight: 1262 1.99/2.02 c Current CPU time: 1.85272 s 1.99/2.02 c 1.99/2.02 c ============================[ Search Statistics ]============================== 1.99/2.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.02 c =============================================================================== 1.99/2.02 c | 0 | 32020 32686 49866 | 10895 0 -nan | 0.000 % | 1.99/2.04 c =============================================================================== 1.99/2.06 c core #185 1.99/2.06 c 1.99/2.06 c 1.99/2.06 c Core size: 390 Core Weight: 1 Total Weight: 1263 1.99/2.06 c Current CPU time: 1.88671 s 1.99/2.06 c 1.99/2.06 c ============================[ Search Statistics ]============================== 1.99/2.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.06 c =============================================================================== 1.99/2.06 c | 0 | 32405 33055 50608 | 11018 0 -nan | 0.000 % | 1.99/2.07 c =============================================================================== 1.99/2.10 c core #186 1.99/2.10 c 1.99/2.10 c 1.99/2.10 c Core size: 474 Core Weight: 1 Total Weight: 1264 1.99/2.10 c Current CPU time: 1.92071 s 1.99/2.10 c 1.99/2.10 c ============================[ Search Statistics ]============================== 1.99/2.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.10 c =============================================================================== 1.99/2.10 c | 0 | 32873 33499 51376 | 11166 0 -nan | 0.000 % | 1.99/2.11 c =============================================================================== 2.11/2.13 c core #187 2.11/2.13 c 2.11/2.13 c 2.11/2.13 c Core size: 310 Core Weight: 1 Total Weight: 1265 2.11/2.13 c Current CPU time: 1.9497 s 2.11/2.13 c 2.11/2.13 c ============================[ Search Statistics ]============================== 2.11/2.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.11/2.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.11/2.13 c =============================================================================== 2.11/2.13 c | 0 | 33174 33800 51801 | 11266 0 -nan | 0.000 % | 2.11/2.14 c =============================================================================== 2.11/2.17 c core #188 2.11/2.17 c 2.11/2.17 c 2.11/2.17 c Core size: 178 Core Weight: 1 Total Weight: 1266 2.11/2.17 c Current CPU time: 1.9807 s 2.11/2.17 c 2.11/2.17 c ============================[ Search Statistics ]============================== 2.11/2.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.11/2.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.11/2.17 c =============================================================================== 2.11/2.17 c | 0 | 33348 33971 52151 | 11323 0 -nan | 0.000 % | 2.11/2.17 c =============================================================================== 2.11/2.20 c core #189 2.11/2.20 c 2.11/2.20 c 2.11/2.20 c Core size: 211 Core Weight: 1 Total Weight: 1267 2.11/2.20 c Current CPU time: 2.00869 s 2.11/2.20 c 2.11/2.20 c ============================[ Search Statistics ]============================== 2.11/2.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.11/2.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.11/2.20 c =============================================================================== 2.11/2.20 c | 0 | 33555 34177 52415 | 11392 0 -nan | 0.000 % | 2.11/2.21 c =============================================================================== 2.21/2.23 c core #190 2.21/2.23 c 2.21/2.23 c 2.21/2.23 c Core size: 457 Core Weight: 1 Total Weight: 1268 2.21/2.23 c Current CPU time: 2.04169 s 2.21/2.23 c 2.21/2.24 c ============================[ Search Statistics ]============================== 2.21/2.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.21/2.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.21/2.24 c =============================================================================== 2.21/2.24 c | 0 | 34011 34591 53385 | 11530 0 -nan | 0.000 % | 2.21/2.24 c =============================================================================== 2.21/2.27 c core #191 2.21/2.27 c 2.21/2.27 c 2.21/2.27 c Core size: 297 Core Weight: 1 Total Weight: 1269 2.21/2.27 c Current CPU time: 2.06868 s 2.21/2.27 c 2.21/2.27 c ============================[ Search Statistics ]============================== 2.21/2.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.21/2.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.21/2.27 c =============================================================================== 2.21/2.27 c | 0 | 34302 34869 54185 | 11623 0 -nan | 0.000 % | 2.21/2.28 c =============================================================================== 2.29/2.31 c core #192 2.29/2.31 c 2.29/2.31 c 2.29/2.31 c Core size: 414 Core Weight: 1 Total Weight: 1270 2.29/2.31 c Current CPU time: 2.10368 s 2.29/2.31 c 2.29/2.31 c ============================[ Search Statistics ]============================== 2.29/2.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.31 c =============================================================================== 2.29/2.31 c | 0 | 34714 35265 54804 | 11755 0 -nan | 0.000 % | 2.29/2.33 c =============================================================================== 2.29/2.35 c core #193 2.29/2.35 c 2.29/2.35 c 2.29/2.35 c Core size: 465 Core Weight: 1 Total Weight: 1271 2.29/2.35 c Current CPU time: 2.14667 s 2.29/2.35 c 2.29/2.35 c ============================[ Search Statistics ]============================== 2.29/2.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.35 c =============================================================================== 2.29/2.35 c | 0 | 35165 35689 55585 | 11896 0 -nan | 0.000 % | 2.29/2.37 c =============================================================================== 2.29/2.39 c core #194 2.29/2.39 c 2.29/2.39 c 2.29/2.39 c Core size: 421 Core Weight: 1 Total Weight: 1272 2.29/2.39 c Current CPU time: 2.18467 s 2.29/2.39 c 2.29/2.39 c ============================[ Search Statistics ]============================== 2.29/2.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.39 c =============================================================================== 2.29/2.39 c | 0 | 35585 36072 56255 | 12024 0 -nan | 0.000 % | 2.39/2.41 c =============================================================================== 2.39/2.43 c core #195 2.39/2.43 c 2.39/2.43 c 2.39/2.43 c Core size: 333 Core Weight: 1 Total Weight: 1273 2.39/2.43 c Current CPU time: 2.21766 s 2.39/2.43 c 2.39/2.43 c ============================[ Search Statistics ]============================== 2.39/2.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.43 c =============================================================================== 2.39/2.43 c | 0 | 35914 36372 56725 | 12124 0 -nan | 0.000 % | 2.39/2.45 c =============================================================================== 2.39/2.47 c core #196 2.39/2.47 c 2.39/2.47 c 2.39/2.47 c Core size: 504 Core Weight: 2 Total Weight: 1275 2.39/2.47 c Current CPU time: 2.25366 s 2.39/2.47 c 2.39/2.47 c ============================[ Search Statistics ]============================== 2.39/2.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.47 c =============================================================================== 2.39/2.47 c | 0 | 36412 36863 57406 | 12287 0 -nan | 0.000 % | 2.39/2.48 c =============================================================================== 2.49/2.51 c core #197 2.49/2.51 c 2.49/2.51 c 2.49/2.51 c Core size: 323 Core Weight: 1 Total Weight: 1276 2.49/2.51 c Current CPU time: 2.28065 s 2.49/2.51 c 2.49/2.51 c ============================[ Search Statistics ]============================== 2.49/2.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.51 c =============================================================================== 2.49/2.51 c | 0 | 36731 37171 57803 | 12390 0 -nan | 0.000 % | 2.49/2.52 c =============================================================================== 2.49/2.55 c core #198 2.49/2.55 c 2.49/2.55 c 2.49/2.55 c Core size: 367 Core Weight: 1 Total Weight: 1277 2.49/2.55 c Current CPU time: 2.31665 s 2.49/2.55 c 2.49/2.55 c ============================[ Search Statistics ]============================== 2.49/2.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.55 c =============================================================================== 2.49/2.55 c | 0 | 37095 37530 58260 | 12510 0 -nan | 0.000 % | 2.49/2.56 c =============================================================================== 2.49/2.59 c core #199 2.49/2.59 c 2.49/2.59 c 2.49/2.59 c Core size: 517 Core Weight: 1 Total Weight: 1278 2.49/2.59 c Current CPU time: 2.35264 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 | 37607 38024 58965 | 12674 0 -nan | 0.000 % | 2.59/2.62 c =============================================================================== 2.59/2.64 c core #200 2.59/2.64 c 2.59/2.64 c 2.59/2.64 c Core size: 749 Core Weight: 1 Total Weight: 1279 2.59/2.64 c Current CPU time: 2.40163 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 | 38367 38704 60360 | 12901 0 -nan | 0.000 % | 2.59/2.66 c =============================================================================== 2.59/2.69 c core #201 2.59/2.69 c 2.59/2.69 c 2.59/2.69 c Core size: 539 Core Weight: 1 Total Weight: 1280 2.59/2.69 c Current CPU time: 2.44263 s 2.59/2.69 c 2.59/2.69 c ============================[ Search Statistics ]============================== 2.59/2.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.69 c =============================================================================== 2.59/2.69 c | 0 | 38903 39205 61180 | 13068 0 -nan | 0.000 % | 2.69/2.70 c =============================================================================== 2.69/2.73 c core #202 2.69/2.73 c 2.69/2.73 c 2.69/2.73 c Core size: 292 Core Weight: 1 Total Weight: 1281 2.69/2.73 c Current CPU time: 2.48162 s 2.69/2.73 c 2.69/2.73 c ============================[ Search Statistics ]============================== 2.69/2.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.73 c =============================================================================== 2.69/2.73 c | 0 | 39191 39481 61571 | 13160 0 -nan | 0.000 % | 2.69/2.75 c =============================================================================== 2.69/2.78 c core #203 2.69/2.78 c 2.69/2.78 c 2.69/2.78 c Core size: 451 Core Weight: 1 Total Weight: 1282 2.69/2.78 c Current CPU time: 2.52262 s 2.69/2.78 c 2.69/2.78 c ============================[ Search Statistics ]============================== 2.69/2.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.78 c =============================================================================== 2.69/2.78 c | 0 | 39643 39894 62386 | 13298 0 -nan | 0.000 % | 2.79/2.81 c =============================================================================== 2.79/2.84 c core #204 2.79/2.84 c 2.79/2.84 c 2.79/2.84 c Core size: 606 Core Weight: 1 Total Weight: 1283 2.79/2.84 c Current CPU time: 2.57461 s 2.79/2.84 c 2.79/2.84 c ============================[ Search Statistics ]============================== 2.79/2.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.84 c =============================================================================== 2.79/2.84 c | 0 | 40250 40422 63933 | 13474 0 -nan | 0.000 % | 2.79/2.87 c =============================================================================== 2.79/2.89 c core #205 2.79/2.89 c 2.79/2.89 c 2.79/2.89 c Core size: 557 Core Weight: 1 Total Weight: 1284 2.79/2.89 c Current CPU time: 2.6256 s 2.79/2.89 c 2.79/2.89 c ============================[ Search Statistics ]============================== 2.79/2.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.89 c =============================================================================== 2.79/2.89 c | 0 | 40804 40923 64828 | 13641 0 -nan | 0.000 % | 2.89/2.92 c =============================================================================== 2.89/2.95 c core #206 2.89/2.95 c 2.89/2.95 c 2.89/2.95 c Core size: 664 Core Weight: 1 Total Weight: 1285 2.89/2.95 c Current CPU time: 2.67159 s 2.89/2.95 c 2.89/2.95 c ============================[ Search Statistics ]============================== 2.89/2.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.95 c =============================================================================== 2.89/2.95 c | 0 | 41471 41544 66381 | 13848 0 -nan | 0.000 % | 2.89/2.98 c =============================================================================== 2.99/3.01 c core #207 2.99/3.01 c 2.99/3.01 c 2.99/3.01 c Core size: 676 Core Weight: 1 Total Weight: 1286 2.99/3.01 c Current CPU time: 2.72559 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 | 42146 42173 67653 | 14057 0 -nan | 0.000 % | 2.99/3.03 c =============================================================================== 2.99/3.06 c core #208 2.99/3.06 c 2.99/3.06 c 2.99/3.06 c Core size: 534 Core Weight: 1 Total Weight: 1287 2.99/3.06 c Current CPU time: 2.77058 s 2.99/3.06 c 2.99/3.06 c ============================[ Search Statistics ]============================== 2.99/3.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.06 c =============================================================================== 2.99/3.06 c | 0 | 42681 42644 69400 | 14214 0 -nan | 0.000 % | 2.99/3.08 c =============================================================================== 3.09/3.11 c core #209 3.09/3.11 c 3.09/3.11 c 3.09/3.11 c Core size: 591 Core Weight: 1 Total Weight: 1288 3.09/3.11 c Current CPU time: 2.81757 s 3.09/3.11 c 3.09/3.11 c ============================[ Search Statistics ]============================== 3.09/3.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.11 c =============================================================================== 3.09/3.11 c | 0 | 43245 43180 70384 | 14393 0 -nan | 0.000 % | 3.09/3.15 c =============================================================================== 3.09/3.18 c core #210 3.09/3.18 c 3.09/3.18 c 3.09/3.18 c Core size: 785 Core Weight: 1 Total Weight: 1289 3.09/3.18 c Current CPU time: 2.88256 s 3.09/3.18 c 3.09/3.18 c ============================[ Search Statistics ]============================== 3.09/3.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.18 c =============================================================================== 3.09/3.18 c | 0 | 44027 43865 71750 | 14621 0 -nan | 0.000 % | 3.09/3.21 c =============================================================================== 3.21/3.24 c core #211 3.21/3.24 c 3.21/3.24 c 3.21/3.24 c Core size: 480 Core Weight: 1 Total Weight: 1290 3.21/3.24 c Current CPU time: 2.93355 s 3.21/3.24 c 3.21/3.24 c ============================[ Search Statistics ]============================== 3.21/3.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.21/3.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.21/3.24 c =============================================================================== 3.21/3.24 c | 0 | 44498 44292 72375 | 14764 0 -nan | 0.000 % | 3.21/3.27 c =============================================================================== 3.21/3.30 c core #212 3.21/3.30 c 3.21/3.30 c 3.21/3.30 c Core size: 457 Core Weight: 1 Total Weight: 1291 3.21/3.30 c Current CPU time: 2.98255 s 3.21/3.30 c 3.21/3.30 c ============================[ Search Statistics ]============================== 3.21/3.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.21/3.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.21/3.30 c =============================================================================== 3.21/3.30 c | 0 | 44950 44720 73070 | 14906 0 -nan | 0.000 % | 3.31/3.33 c =============================================================================== 3.31/3.36 c core #213 3.31/3.36 c 3.31/3.36 c 3.31/3.36 c Core size: 607 Core Weight: 1 Total Weight: 1292 3.31/3.36 c Current CPU time: 3.03954 s 3.31/3.36 c 3.31/3.36 c ============================[ Search Statistics ]============================== 3.31/3.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.31/3.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.31/3.36 c =============================================================================== 3.31/3.36 c | 0 | 45540 45261 74065 | 15087 0 -nan | 0.000 % | 3.31/3.39 c =============================================================================== 3.39/3.43 c core #214 3.39/3.43 c 3.39/3.43 c 3.39/3.43 c Core size: 562 Core Weight: 1 Total Weight: 1293 3.39/3.43 c Current CPU time: 3.09153 s 3.39/3.43 c 3.39/3.43 c ============================[ Search Statistics ]============================== 3.39/3.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.43 c =============================================================================== 3.39/3.43 c | 0 | 46092 45791 74737 | 15263 0 -nan | 0.000 % | 3.39/3.46 c =============================================================================== 3.39/3.49 c core #215 3.39/3.49 c 3.39/3.49 c 3.39/3.49 c Core size: 776 Core Weight: 1 Total Weight: 1294 3.39/3.49 c Current CPU time: 3.15352 s 3.39/3.49 c 3.39/3.49 c ============================[ Search Statistics ]============================== 3.39/3.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.49 c =============================================================================== 3.39/3.49 c | 0 | 46863 46468 76295 | 15489 0 -nan | 0.000 % | 3.49/3.52 c =============================================================================== 3.49/3.56 c core #216 3.49/3.56 c 3.49/3.56 c 3.49/3.56 c Core size: 426 Core Weight: 1 Total Weight: 1295 3.49/3.56 c Current CPU time: 3.20251 s 3.49/3.56 c 3.49/3.56 c ============================[ Search Statistics ]============================== 3.49/3.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.56 c =============================================================================== 3.49/3.56 c | 0 | 47288 46873 77535 | 15624 0 -nan | 0.000 % | 3.49/3.58 c =============================================================================== 3.59/3.62 c core #217 3.59/3.62 c 3.59/3.62 c 3.59/3.62 c Core size: 571 Core Weight: 1 Total Weight: 1296 3.59/3.62 c Current CPU time: 3.2505 s 3.59/3.62 c 3.59/3.62 c ============================[ Search Statistics ]============================== 3.59/3.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.62 c =============================================================================== 3.59/3.62 c | 0 | 47856 47428 78543 | 15809 0 -nan | 0.000 % | 3.59/3.65 c =============================================================================== 3.59/3.68 c core #218 3.59/3.68 c 3.59/3.68 c 3.59/3.68 c Core size: 724 Core Weight: 1 Total Weight: 1297 3.59/3.68 c Current CPU time: 3.3115 s 3.59/3.68 c 3.59/3.68 c ============================[ Search Statistics ]============================== 3.59/3.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.68 c =============================================================================== 3.59/3.68 c | 0 | 48584 48096 80418 | 16032 0 -nan | 0.000 % | 3.69/3.74 c =============================================================================== 3.69/3.77 c core #219 3.69/3.77 c 3.69/3.77 c 3.69/3.77 c Core size: 1017 Core Weight: 1 Total Weight: 1298 3.69/3.77 c Current CPU time: 3.39248 s 3.69/3.77 c 3.69/3.77 c ============================[ Search Statistics ]============================== 3.69/3.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.77 c =============================================================================== 3.69/3.77 c | 0 | 49597 48977 82253 | 16325 0 -nan | 0.000 % | 3.79/3.83 c =============================================================================== 3.79/3.87 c core #220 3.79/3.87 c 3.79/3.87 c 3.79/3.87 c Core size: 816 Core Weight: 1 Total Weight: 1299 3.79/3.87 c Current CPU time: 3.48447 s 3.79/3.87 c 3.79/3.87 c ============================[ Search Statistics ]============================== 3.79/3.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.87 c =============================================================================== 3.79/3.87 c | 0 | 50407 49656 83738 | 16552 0 -nan | 0.000 % | 3.89/3.91 c =============================================================================== 3.89/3.95 c core #221 3.89/3.95 c 3.89/3.95 c 3.89/3.95 c Core size: 693 Core Weight: 1 Total Weight: 1300 3.89/3.95 c Current CPU time: 3.55646 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 | 51091 50306 85058 | 16768 0 -nan | 0.000 % | 3.99/4.01 c | 100 | 51074 50306 85058 | 18445 100 113 | 1.662 % | 3.99/4.01 c =============================================================================== 3.99/4.05 c core #222 3.99/4.05 c 3.99/4.05 c 3.99/4.05 c Core size: 830 Core Weight: 1 Total Weight: 1301 3.99/4.05 c Current CPU time: 3.64545 s 3.99/4.05 c 3.99/4.05 c ============================[ Search Statistics ]============================== 3.99/4.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.05 c =============================================================================== 3.99/4.05 c | 0 | 51920 51070 86958 | 17023 0 -nan | 0.000 % | 3.99/4.09 c | 101 | 50774 51070 86958 | 18725 101 107 | 3.766 % | 3.99/4.09 c =============================================================================== 4.09/4.13 c core #223 4.09/4.13 c 4.09/4.13 c 4.09/4.13 c Core size: 783 Core Weight: 1 Total Weight: 1302 4.09/4.13 c Current CPU time: 3.72043 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 | 52695 51767 88277 | 17255 0 -nan | 0.000 % | 4.09/4.18 c | 102 | 52689 51767 88277 | 18981 102 73 | 1.578 % | 4.19/4.20 c =============================================================================== 4.19/4.24 c core #224 4.19/4.24 c 4.19/4.24 c 4.19/4.24 c Core size: 978 Core Weight: 1 Total Weight: 1303 4.19/4.24 c Current CPU time: 3.81642 s 4.19/4.24 c 4.19/4.24 c ============================[ Search Statistics ]============================== 4.19/4.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.24 c =============================================================================== 4.19/4.24 c | 0 | 53669 52568 90469 | 17522 0 -nan | 0.000 % | 4.19/4.28 c =============================================================================== 4.31/4.32 c core #225 4.31/4.32 c 4.31/4.32 c 4.31/4.32 c Core size: 831 Core Weight: 1 Total Weight: 1304 4.31/4.32 c Current CPU time: 3.88741 s 4.31/4.32 c 4.31/4.32 c ============================[ Search Statistics ]============================== 4.31/4.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.31/4.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.31/4.32 c =============================================================================== 4.31/4.32 c | 0 | 54493 53339 92177 | 17779 0 -nan | 0.000 % | 4.31/4.36 c =============================================================================== 4.31/4.40 c core #226 4.31/4.40 c 4.31/4.40 c 4.31/4.40 c Core size: 579 Core Weight: 1 Total Weight: 1305 4.31/4.40 c Current CPU time: 3.9544 s 4.31/4.40 c 4.31/4.40 c ============================[ Search Statistics ]============================== 4.31/4.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.31/4.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.31/4.40 c =============================================================================== 4.31/4.40 c | 0 | 55067 53789 93189 | 17929 0 -nan | 0.000 % | 4.41/4.43 c =============================================================================== 4.41/4.47 c core #227 4.41/4.47 c 4.41/4.47 c 4.41/4.47 c Core size: 678 Core Weight: 1 Total Weight: 1306 4.41/4.47 c Current CPU time: 4.02239 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 | 55741 54389 94499 | 18129 0 -nan | 0.000 % | 4.49/4.51 c =============================================================================== 4.49/4.55 c core #228 4.49/4.55 c 4.49/4.55 c 4.49/4.55 c Core size: 885 Core Weight: 1 Total Weight: 1307 4.49/4.55 c Current CPU time: 4.09438 s 4.49/4.55 c 4.49/4.55 c ============================[ Search Statistics ]============================== 4.49/4.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.49/4.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.49/4.55 c =============================================================================== 4.49/4.55 c | 0 | 56614 55181 96025 | 18393 0 -nan | 0.000 % | 4.59/4.60 c | 100 | 56568 55181 96025 | 20233 100 90 | 1.554 % | 4.59/4.61 c =============================================================================== 4.59/4.66 c core #229 4.59/4.66 c 4.59/4.66 c 4.59/4.66 c Core size: 744 Core Weight: 1 Total Weight: 1308 4.59/4.66 c Current CPU time: 4.18736 s 4.59/4.66 c 4.59/4.66 c ============================[ Search Statistics ]============================== 4.59/4.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.59/4.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.59/4.66 c =============================================================================== 4.59/4.66 c | 0 | 57355 55805 97740 | 18601 0 -nan | 0.000 % | 4.59/4.70 c =============================================================================== 4.69/4.74 c core #230 4.69/4.74 c 4.69/4.74 c 4.69/4.74 c Core size: 656 Core Weight: 1 Total Weight: 1309 4.69/4.74 c Current CPU time: 4.26235 s 4.69/4.74 c 4.69/4.74 c ============================[ Search Statistics ]============================== 4.69/4.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.69/4.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.69/4.74 c =============================================================================== 4.69/4.74 c | 0 | 58009 56378 98846 | 18792 0 -nan | 0.000 % | 4.79/4.80 c =============================================================================== 4.79/4.84 c core #231 4.79/4.84 c 4.79/4.84 c 4.79/4.84 c Core size: 811 Core Weight: 1 Total Weight: 1310 4.79/4.84 c Current CPU time: 4.35034 s 4.79/4.84 c 4.79/4.84 c ============================[ Search Statistics ]============================== 4.79/4.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.79/4.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.79/4.84 c =============================================================================== 4.79/4.84 c | 0 | 58816 57009 100398 | 19003 0 -nan | 0.000 % | 4.89/4.90 c =============================================================================== 4.89/4.94 c core #232 4.89/4.94 c 4.89/4.94 c 4.89/4.94 c Core size: 789 Core Weight: 1 Total Weight: 1311 4.89/4.94 c Current CPU time: 4.43433 s 4.89/4.94 c 4.89/4.94 c ============================[ Search Statistics ]============================== 4.89/4.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.89/4.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.89/4.94 c =============================================================================== 4.89/4.94 c | 0 | 59594 57677 102092 | 19225 0 -nan | 0.000 % | 4.99/5.00 c | 100 | 59584 57677 102092 | 21148 100 61 | 1.385 % | 4.99/5.03 c =============================================================================== 4.99/5.08 c core #233 4.99/5.08 c 4.99/5.08 c 4.99/5.08 c Core size: 1233 Core Weight: 1 Total Weight: 1312 4.99/5.08 c Current CPU time: 4.5663 s 4.99/5.08 c 4.99/5.08 c ============================[ Search Statistics ]============================== 4.99/5.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.99/5.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.99/5.08 c =============================================================================== 4.99/5.08 c | 0 | 60824 58613 104916 | 19537 0 -nan | 0.000 % | 5.09/5.14 c | 102 | 60815 58613 104916 | 21491 102 83 | 1.355 % | 5.09/5.17 c =============================================================================== 5.19/5.21 c core #234 5.19/5.21 c 5.19/5.21 c 5.19/5.21 c Core size: 1226 Core Weight: 1 Total Weight: 1313 5.19/5.21 c Current CPU time: 4.69129 s 5.19/5.21 c 5.19/5.21 c ============================[ Search Statistics ]============================== 5.19/5.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.19/5.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.19/5.21 c =============================================================================== 5.19/5.21 c | 0 | 62045 59586 107234 | 19862 0 -nan | 0.000 % | 5.19/5.27 c =============================================================================== 5.29/5.31 c core #235 5.29/5.31 c 5.29/5.31 c 5.29/5.31 c Core size: 893 Core Weight: 1 Total Weight: 1314 5.29/5.31 c Current CPU time: 4.78427 s 5.29/5.31 c 5.29/5.31 c ============================[ Search Statistics ]============================== 5.29/5.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.29/5.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.29/5.31 c =============================================================================== 5.29/5.31 c | 0 | 62934 60381 108609 | 20127 0 -nan | 0.000 % | 5.29/5.39 c | 102 | 62929 60381 108609 | 22139 102 134 | 1.297 % | 5.41/5.43 c =============================================================================== 5.41/5.47 c core #236 5.41/5.47 c 5.41/5.47 c 5.41/5.47 c Core size: 1233 Core Weight: 1 Total Weight: 1315 5.41/5.47 c Current CPU time: 4.93325 s 5.41/5.47 c 5.41/5.47 c ============================[ Search Statistics ]============================== 5.41/5.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.41/5.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.41/5.47 c =============================================================================== 5.41/5.47 c | 0 | 64150 61298 110668 | 20432 0 -nan | 0.000 % | 5.52/5.54 c | 101 | 64149 61298 110668 | 22475 101 106 | 1.267 % | 5.52/5.56 c =============================================================================== 5.59/5.61 c core #237 5.59/5.61 c 5.59/5.61 c 5.59/5.61 c Core size: 951 Core Weight: 1 Total Weight: 1316 5.59/5.61 c Current CPU time: 5.05723 s 5.59/5.61 c 5.59/5.61 c ============================[ Search Statistics ]============================== 5.59/5.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.59/5.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.59/5.61 c =============================================================================== 5.59/5.61 c | 0 | 65096 62080 112560 | 20693 0 -nan | 0.000 % | 5.59/5.66 c | 100 | 65088 62080 112560 | 22762 100 90 | 1.256 % | 5.59/5.67 c =============================================================================== 5.69/5.71 c core #238 5.69/5.71 c 5.69/5.71 c 5.69/5.71 c Core size: 823 Core Weight: 1 Total Weight: 1317 5.69/5.71 c Current CPU time: 5.14422 s 5.69/5.71 c 5.69/5.71 c ============================[ Search Statistics ]============================== 5.69/5.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.69/5.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.69/5.71 c =============================================================================== 5.69/5.71 c | 0 | 65915 62730 114120 | 20910 0 -nan | 0.000 % | 5.69/5.77 c | 101 | 65915 62730 114120 | 23001 101 78 | 1.227 % | 5.79/5.84 c =============================================================================== 5.79/5.89 c core #239 5.79/5.89 c 5.79/5.89 c 5.79/5.89 c Core size: 1288 Core Weight: 1 Total Weight: 1318 5.79/5.89 c Current CPU time: 5.31119 s 5.79/5.89 c 5.79/5.89 c ============================[ Search Statistics ]============================== 5.79/5.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.79/5.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.79/5.89 c =============================================================================== 5.79/5.89 c | 0 | 67193 63654 117104 | 21218 0 -nan | 0.000 % | 5.89/5.95 c | 102 | 67190 63654 117104 | 23339 102 111 | 1.204 % | 5.89/5.99 c =============================================================================== 5.99/6.04 c core #240 5.99/6.04 c 5.99/6.04 c 5.99/6.04 c Core size: 1143 Core Weight: 1 Total Weight: 1319 5.99/6.04 c Current CPU time: 5.45117 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 | 68335 64570 119398 | 21523 0 -nan | 0.000 % | 6.09/6.11 c | 100 | 68334 64570 119398 | 23675 100 103 | 1.177 % | 6.09/6.13 c =============================================================================== 6.09/6.18 c core #241 6.09/6.18 c 6.09/6.18 c 6.09/6.18 c Core size: 1038 Core Weight: 1 Total Weight: 1320 6.09/6.18 c Current CPU time: 5.57915 s 6.09/6.18 c 6.09/6.18 c ============================[ Search Statistics ]============================== 6.09/6.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.09/6.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.09/6.18 c =============================================================================== 6.09/6.18 c | 0 | 69359 65417 121027 | 21805 0 -nan | 0.000 % | 6.19/6.24 c | 101 | 69359 65417 121027 | 23986 101 64 | 1.159 % | 6.29/6.30 c =============================================================================== 6.29/6.35 c core #242 6.29/6.35 c 6.29/6.35 c 6.29/6.35 c Core size: 1150 Core Weight: 1 Total Weight: 1321 6.29/6.35 c Current CPU time: 5.73713 s 6.29/6.35 c 6.29/6.35 c ============================[ Search Statistics ]============================== 6.29/6.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.29/6.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.29/6.35 c =============================================================================== 6.29/6.35 c | 0 | 70499 66328 123242 | 22109 0 -nan | 0.000 % | 6.39/6.42 c | 101 | 70484 66328 123242 | 24320 101 107 | 1.160 % | 6.39/6.44 c =============================================================================== 6.39/6.49 c core #243 6.39/6.49 c 6.39/6.49 c 6.39/6.49 c Core size: 1147 Core Weight: 1 Total Weight: 1322 6.39/6.49 c Current CPU time: 5.86411 s 6.39/6.49 c 6.39/6.49 c ============================[ Search Statistics ]============================== 6.39/6.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.39/6.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.39/6.49 c =============================================================================== 6.39/6.49 c | 0 | 71642 67273 125234 | 22424 0 -nan | 0.000 % | 6.51/6.55 c | 102 | 71640 67273 125234 | 24666 102 59 | 1.123 % | 6.51/6.57 c =============================================================================== 6.61/6.62 c core #244 6.61/6.62 c 6.61/6.62 c 6.61/6.62 c Core size: 955 Core Weight: 1 Total Weight: 1323 6.61/6.62 c Current CPU time: 5.99009 s 6.61/6.62 c 6.61/6.62 c ============================[ Search Statistics ]============================== 6.61/6.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.61/6.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.61/6.62 c =============================================================================== 6.61/6.62 c | 0 | 72597 68071 126888 | 22690 0 -nan | 0.000 % | 6.61/6.68 c | 102 | 72596 68071 126888 | 24959 102 80 | 1.106 % | 6.69/6.72 c =============================================================================== 6.69/6.77 c core #245 6.69/6.77 c 6.69/6.77 c 6.69/6.77 c Core size: 823 Core Weight: 1 Total Weight: 1324 6.69/6.77 c Current CPU time: 6.12207 s 6.69/6.77 c 6.69/6.77 c ============================[ Search Statistics ]============================== 6.69/6.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.69/6.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.69/6.77 c =============================================================================== 6.69/6.77 c | 0 | 73412 68748 128471 | 22916 0 -nan | 0.000 % | 6.79/6.83 c | 101 | 73411 68748 128471 | 25207 101 150 | 1.093 % | 6.79/6.85 c =============================================================================== 6.89/6.90 c core #246 6.89/6.90 c 6.89/6.90 c 6.89/6.90 c Core size: 1122 Core Weight: 1 Total Weight: 1325 6.89/6.90 c Current CPU time: 6.24405 s 6.89/6.90 c 6.89/6.90 c ============================[ Search Statistics ]============================== 6.89/6.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.89/6.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.89/6.90 c =============================================================================== 6.89/6.90 c | 0 | 74534 69662 130467 | 23220 0 -nan | 0.000 % | 6.89/6.97 c | 100 | 74532 69662 130467 | 25542 100 70 | 1.076 % | 6.99/7.03 c | 251 | 74523 69662 130467 | 28097 251 152 | 1.088 % | 6.99/7.04 c =============================================================================== 6.99/7.10 c core #247 6.99/7.10 c 6.99/7.10 c 6.99/7.10 c Core size: 1313 Core Weight: 1 Total Weight: 1326 6.99/7.10 c Current CPU time: 6.42102 s 6.99/7.10 c 6.99/7.10 c ============================[ Search Statistics ]============================== 6.99/7.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.99/7.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.99/7.10 c =============================================================================== 6.99/7.10 c | 0 | 75839 70669 133185 | 23556 0 -nan | 0.000 % | 7.09/7.17 c | 102 | 75822 70669 133185 | 25911 102 153 | 1.075 % | 7.19/7.22 c =============================================================================== 7.19/7.28 c core #248 7.19/7.28 c 7.19/7.28 c 7.19/7.28 c Core size: 1297 Core Weight: 1 Total Weight: 1327 7.19/7.28 c Current CPU time: 6.592 s 7.19/7.28 c 7.19/7.28 c ============================[ Search Statistics ]============================== 7.19/7.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.19/7.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.19/7.28 c =============================================================================== 7.19/7.28 c | 0 | 77131 71643 135559 | 23881 0 -nan | 0.000 % | 7.29/7.35 c | 100 | 77130 71643 135559 | 26269 100 102 | 1.035 % | 7.39/7.40 c =============================================================================== 7.39/7.46 c core #249 7.39/7.46 c 7.39/7.46 c 7.39/7.46 c Core size: 1364 Core Weight: 1 Total Weight: 1328 7.39/7.46 c Current CPU time: 6.74797 s 7.39/7.46 c 7.39/7.46 c ============================[ Search Statistics ]============================== 7.39/7.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.39/7.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.39/7.46 c =============================================================================== 7.39/7.46 c | 0 | 78489 72659 138284 | 24219 0 -nan | 0.000 % | 7.49/7.54 c | 100 | 78475 72659 138284 | 26641 100 40 | 1.038 % | 7.49/7.58 c | 250 | 78469 72659 138284 | 29305 250 79 | 1.040 % | 7.60/7.66 c | 476 | 78465 72659 138284 | 32236 476 108 | 1.045 % | 7.71/7.73 c =============================================================================== 7.71/7.78 c core #250 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 1499 Core Weight: 1 Total Weight: 1329 7.71/7.78 c Current CPU time: 7.06093 s 7.71/7.78 c 7.71/7.78 c ============================[ Search Statistics ]============================== 7.71/7.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.71/7.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.71/7.78 c =============================================================================== 7.71/7.78 c | 0 | 79979 73706 141345 | 24568 0 -nan | 0.000 % | 7.79/7.85 c | 101 | 79979 73706 141345 | 27025 101 65 | 0.994 % | 7.89/7.90 c | 251 | 79978 73706 141345 | 29728 251 136 | 0.995 % | 7.89/7.96 c =============================================================================== 7.99/8.02 c core #251 7.99/8.02 c 7.99/8.02 c 7.99/8.02 c Core size: 1365 Core Weight: 1 Total Weight: 1330 7.99/8.02 c Current CPU time: 7.28989 s 7.99/8.02 c 7.99/8.02 c ============================[ Search Statistics ]============================== 7.99/8.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.99/8.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.99/8.02 c =============================================================================== 7.99/8.02 c | 0 | 81337 74665 144937 | 24888 0 -nan | 0.000 % | 7.99/8.09 c | 101 | 81336 74665 144937 | 27377 101 76 | 0.972 % | 8.09/8.15 c | 253 | 81333 74665 144937 | 30114 253 148 | 0.975 % | 8.09/8.19 c =============================================================================== 8.19/8.25 c core #252 8.19/8.25 c 8.19/8.25 c 8.19/8.25 c Core size: 1326 Core Weight: 1 Total Weight: 1331 8.19/8.25 c Current CPU time: 7.50386 s 8.19/8.25 c 8.19/8.25 c ============================[ Search Statistics ]============================== 8.19/8.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.19/8.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.19/8.25 c =============================================================================== 8.19/8.25 c | 0 | 82656 75620 147992 | 25206 0 -nan | 0.000 % | 8.29/8.32 c | 101 | 82655 75620 147992 | 27727 101 101 | 0.953 % | 8.29/8.37 c | 252 | 82654 75620 147992 | 30500 252 115 | 0.953 % | 8.39/8.47 c =============================================================================== 8.49/8.53 c core #253 8.49/8.53 c 8.49/8.53 c 8.49/8.53 c Core size: 1689 Core Weight: 1 Total Weight: 1332 8.49/8.53 c Current CPU time: 7.76582 s 8.49/8.53 c 8.49/8.53 c ============================[ Search Statistics ]============================== 8.49/8.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.49/8.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.49/8.53 c =============================================================================== 8.49/8.53 c | 0 | 84345 76734 151850 | 25578 0 -nan | 0.000 % | 8.49/8.59 c | 100 | 84344 76734 151850 | 28135 100 145 | 0.929 % | 8.59/8.63 c | 250 | 84343 76734 151850 | 30949 250 173 | 0.930 % | 8.71/8.74 c =============================================================================== 8.71/8.80 c core #254 8.71/8.80 c 8.71/8.80 c 8.71/8.80 c Core size: 1561 Core Weight: 1 Total Weight: 1333 8.71/8.80 c Current CPU time: 8.02078 s 8.71/8.80 c 8.71/8.80 c ============================[ Search Statistics ]============================== 8.71/8.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.71/8.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.71/8.80 c =============================================================================== 8.71/8.80 c | 0 | 85902 77777 155248 | 25925 0 -nan | 0.000 % | 8.81/8.87 c | 100 | 85902 77777 155248 | 28518 100 89 | 0.908 % | 8.89/8.93 c | 250 | 85901 77777 155248 | 31370 250 117 | 0.909 % | 8.99/9.03 c | 476 | 85865 77777 155248 | 34507 476 167 | 1.022 % | 8.99/9.05 c =============================================================================== 9.09/9.11 c core #255 9.09/9.11 c 9.09/9.11 c 9.09/9.11 c Core size: 1671 Core Weight: 1 Total Weight: 1334 9.09/9.11 c Current CPU time: 8.32073 s 9.09/9.11 c 9.09/9.11 c ============================[ Search Statistics ]============================== 9.09/9.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.09/9.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.09/9.11 c =============================================================================== 9.09/9.11 c | 0 | 87565 78815 158662 | 26271 0 -nan | 0.000 % | 9.09/9.18 c | 100 | 87565 78815 158662 | 28898 100 106 | 0.889 % | 9.19/9.22 c | 250 | 87564 78815 158662 | 31788 250 125 | 0.890 % | 9.29/9.30 c | 477 | 87560 78815 158662 | 34967 477 188 | 0.894 % | 9.39/9.41 c | 814 | 86048 78815 158662 | 38464 814 238 | 2.608 % | 9.39/9.42 c =============================================================================== 9.39/9.49 c core #256 9.39/9.49 c 9.39/9.49 c 9.39/9.49 c Core size: 1606 Core Weight: 1 Total Weight: 1335 9.39/9.49 c Current CPU time: 8.68368 s 9.39/9.49 c 9.39/9.49 c ============================[ Search Statistics ]============================== 9.39/9.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.39/9.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.39/9.49 c =============================================================================== 9.39/9.49 c | 0 | 89157 79835 162337 | 26611 0 -nan | 0.000 % | 9.49/9.57 c | 102 | 89157 79835 162337 | 29272 102 117 | 0.868 % | 9.59/9.61 c | 252 | 89157 79835 162337 | 32200 252 163 | 0.868 % | 9.59/9.69 c | 478 | 89156 79835 162337 | 35420 478 236 | 0.869 % | 9.69/9.78 c | 816 | 89156 79835 162337 | 38962 816 249 | 0.869 % | 9.91/9.98 c | 1322 | 89149 79835 162337 | 42858 1322 320 | 0.877 % | 9.99/10.02 c =============================================================================== 9.99/10.08 c core #257 9.99/10.08 c 9.99/10.08 c 9.99/10.08 c Core size: 1847 Core Weight: 1 Total Weight: 1336 9.99/10.08 c Current CPU time: 9.26159 s 9.99/10.08 c 9.99/10.08 c ============================[ Search Statistics ]============================== 9.99/10.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.99/10.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.99/10.08 c =============================================================================== 9.99/10.08 c | 0 | 90998 80931 166088 | 26977 0 -nan | 0.000 % | 10.09/10.16 c | 100 | 90997 80931 166088 | 29674 100 167 | 0.851 % | 10.19/10.21 c | 250 | 90994 80931 166088 | 32642 250 225 | 0.854 % | 10.19/10.28 c | 477 | 90991 80931 166088 | 35906 477 289 | 0.858 % | 10.29/10.38 c | 814 | 90989 80931 166088 | 39497 814 293 | 0.861 % | 10.49/10.51 c | 1321 | 90978 80931 166088 | 43446 1321 345 | 0.872 % | 10.59/10.68 c =============================================================================== 10.69/10.75 c core #258 10.69/10.75 c 10.69/10.75 c 10.69/10.75 c Core size: 2018 Core Weight: 1 Total Weight: 1337 10.69/10.75 c Current CPU time: 9.90649 s 10.69/10.75 c 10.69/10.75 c ============================[ Search Statistics ]============================== 10.69/10.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.69/10.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.69/10.75 c =============================================================================== 10.69/10.75 c | 0 | 93006 82111 170853 | 27370 0 -nan | 0.000 % | 10.79/10.85 c | 100 | 93006 82111 170853 | 30107 100 91 | 0.827 % | 10.79/10.90 c | 250 | 93003 82111 170853 | 33118 250 154 | 0.831 % | 10.91/10.96 c | 475 | 93001 82111 170853 | 36429 475 181 | 0.833 % | 11.02/11.07 c | 812 | 93000 82111 170853 | 40072 812 272 | 0.834 % | 11.19/11.26 c | 1320 | 92994 82111 170853 | 44080 1320 343 | 0.840 % | 11.49/11.50 c =============================================================================== 11.49/11.58 c core #259 11.49/11.58 c 11.49/11.58 c 11.49/11.58 c Core size: 2287 Core Weight: 1 Total Weight: 1338 11.49/11.58 c Current CPU time: 10.7094 s 11.49/11.58 c 11.49/11.58 c ============================[ Search Statistics ]============================== 11.49/11.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.49/11.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.49/11.58 c =============================================================================== 11.49/11.58 c | 0 | 95268 83335 176163 | 27778 0 -nan | 0.000 % | 11.59/11.65 c | 102 | 95268 83335 176163 | 30556 102 111 | 0.805 % | 11.69/11.71 c | 253 | 95268 83335 176163 | 33611 253 146 | 0.805 % | 11.69/11.79 c | 479 | 95268 83335 176163 | 36972 479 202 | 0.805 % | 11.89/11.90 c | 816 | 95267 83335 176163 | 40670 816 272 | 0.806 % | 12.01/12.07 c | 1323 | 95264 83335 176163 | 44737 1323 318 | 0.809 % | 12.29/12.36 c | 2084 | 95257 83335 176163 | 49211 2084 400 | 0.816 % | 12.69/12.71 c =============================================================================== 12.69/12.79 c core #260 12.69/12.79 c 12.69/12.79 c 12.69/12.79 c Core size: 2504 Core Weight: 1 Total Weight: 1339 12.69/12.79 c Current CPU time: 11.9082 s 12.69/12.79 c 12.69/12.79 c ============================[ Search Statistics ]============================== 12.69/12.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.69/12.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.69/12.79 c =============================================================================== 12.69/12.79 c | 0 | 97761 84523 182019 | 28174 0 -nan | 0.000 % | 12.79/12.87 c | 100 | 97761 84523 182019 | 30991 100 137 | 0.780 % | 12.89/12.92 c | 250 | 97759 84523 182019 | 34090 250 174 | 0.783 % | 12.99/13.01 c | 475 | 97757 84523 182019 | 37500 475 188 | 0.785 % | 12.99/13.10 c | 813 | 97755 84523 182019 | 41250 813 247 | 0.787 % | 13.22/13.29 c | 1320 | 97753 84523 182019 | 45375 1320 312 | 0.789 % | 13.59/13.60 c | 2079 | 97734 84523 182019 | 49912 2079 383 | 0.862 % | 13.99/14.01 c | 3218 | 97599 84523 182019 | 54903 3218 431 | 0.945 % | 13.99/14.02 c =============================================================================== 14.09/14.10 c core #261 14.09/14.10 c 14.09/14.10 c 14.09/14.10 c Core size: 2376 Core Weight: 1 Total Weight: 1340 14.09/14.10 c Current CPU time: 13.192 s 14.09/14.10 c 14.09/14.10 c ============================[ Search Statistics ]============================== 14.09/14.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.09/14.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.09/14.10 c =============================================================================== 14.09/14.10 c | 0 | 100135 85708 187633 | 28569 0 -nan | 0.000 % | 14.09/14.19 c | 102 | 100135 85708 187633 | 31426 102 82 | 0.758 % | 14.21/14.27 c | 254 | 100123 85708 187633 | 34568 254 108 | 0.770 % | 14.31/14.33 c | 482 | 100122 85708 187633 | 38025 482 191 | 0.771 % | 14.39/14.45 c | 822 | 100118 85708 187633 | 41828 822 284 | 0.775 % | 14.59/14.60 c | 1328 | 100113 85708 187633 | 46011 1328 351 | 0.780 % | 14.79/14.89 c | 2087 | 100110 85708 187633 | 50612 2087 406 | 0.783 % | 15.19/15.27 c | 3226 | 100102 85708 187633 | 55673 3226 437 | 0.829 % | 15.49/15.51 c =============================================================================== 15.49/15.60 c core #262 15.49/15.60 c 15.49/15.60 c 15.49/15.60 c Core size: 2709 Core Weight: 1 Total Weight: 1341 15.49/15.60 c Current CPU time: 14.6658 s 15.49/15.60 c 15.49/15.60 c ============================[ Search Statistics ]============================== 15.49/15.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.49/15.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.49/15.60 c =============================================================================== 15.49/15.60 c | 0 | 102831 86915 193776 | 28971 0 -nan | 0.000 % | 15.59/15.66 c | 101 | 102819 86915 193776 | 31868 101 147 | 0.747 % | 15.69/15.72 c | 253 | 102818 86915 193776 | 35055 253 218 | 0.748 % | 15.69/15.77 c | 479 | 102816 86915 193776 | 38561 479 237 | 0.750 % | 15.89/15.91 c | 817 | 102816 86915 193776 | 42417 817 258 | 0.750 % | 15.99/16.09 c | 1325 | 102814 86915 193776 | 46659 1325 316 | 0.752 % | 16.29/16.38 c | 2086 | 102812 86915 193776 | 51325 2086 378 | 0.754 % | 16.79/16.82 c | 3225 | 102765 86915 193776 | 56457 3225 414 | 0.799 % | 17.39/17.44 c | 4935 | 102732 86915 193776 | 62103 4935 441 | 0.934 % | 17.61/17.65 c =============================================================================== 17.68/17.74 c core #263 17.68/17.74 c 17.68/17.74 c 17.68/17.74 c Core size: 2763 Core Weight: 1 Total Weight: 1342 17.68/17.74 c Current CPU time: 16.7904 s 17.68/17.74 c 17.68/17.74 c ============================[ Search Statistics ]============================== 17.68/17.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.68/17.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.68/17.74 c =============================================================================== 17.68/17.74 c | 0 | 105565 88172 199927 | 29390 0 -nan | 0.000 % | 17.79/17.81 c | 102 | 105565 88172 199927 | 32329 102 92 | 0.715 % | 17.79/17.87 c | 255 | 105565 88172 199927 | 35562 255 177 | 0.715 % | 17.89/17.93 c | 482 | 105565 88172 199927 | 39118 482 191 | 0.715 % | 17.99/18.02 c | 820 | 105565 88172 199927 | 43030 820 225 | 0.715 % | 18.09/18.16 c | 1326 | 105563 88172 199927 | 47333 1326 269 | 0.717 % | 18.39/18.45 c | 2087 | 105513 88172 199927 | 52067 2087 310 | 0.764 % | 18.89/18.91 c | 3227 | 105511 88172 199927 | 57274 3227 371 | 0.766 % | 19.49/19.55 c | 4939 | 105508 88172 199927 | 63001 4939 402 | 0.768 % | 20.29/20.33 c =============================================================================== 20.39/20.43 c core #264 20.39/20.43 c 20.39/20.43 c 20.39/20.43 c Core size: 3322 Core Weight: 1 Total Weight: 1343 20.39/20.43 c Current CPU time: 19.452 s 20.39/20.43 c 20.39/20.43 c ============================[ Search Statistics ]============================== 20.39/20.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.39/20.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.39/20.43 c =============================================================================== 20.39/20.43 c | 0 | 108866 89489 207930 | 29829 0 -nan | 0.000 % | 20.49/20.54 c | 100 | 108866 89489 207930 | 32812 100 236 | 0.689 % | 20.49/20.60 c | 250 | 108865 89489 207930 | 36093 250 195 | 0.690 % | 20.59/20.67 c | 476 | 108863 89489 207930 | 39703 476 196 | 0.691 % | 20.69/20.80 c | 814 | 108863 89489 207930 | 43673 814 238 | 0.691 % | 20.91/20.94 c | 1320 | 108818 89489 207930 | 48040 1320 260 | 0.733 % | 21.09/21.14 c | 2079 | 108817 89489 207930 | 52845 2079 291 | 0.733 % | 21.49/21.50 c | 3218 | 108814 89489 207930 | 58129 3218 348 | 0.736 % | 22.01/22.06 c | 4929 | 108810 89489 207930 | 63942 4929 405 | 0.740 % | 23.00/23.08 c | 7494 | 108806 89489 207930 | 70336 7494 444 | 0.743 % | 24.29/24.32 c =============================================================================== 24.39/24.43 c core #265 24.39/24.43 c 24.39/24.43 c 24.39/24.43 c Core size: 3105 Core Weight: 1 Total Weight: 1344 24.39/24.43 c Current CPU time: 23.4224 s 24.39/24.43 c 24.39/24.43 c ============================[ Search Statistics ]============================== 24.39/24.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.39/24.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.39/24.43 c =============================================================================== 24.39/24.43 c | 0 | 111961 90797 215355 | 30265 0 -nan | 0.000 % | 24.49/24.54 c | 101 | 111961 90797 215355 | 33292 101 112 | 0.666 % | 24.49/24.58 c | 253 | 111960 90797 215355 | 36621 253 134 | 0.667 % | 24.59/24.66 c | 479 | 111960 90797 215355 | 40283 479 176 | 0.667 % | 24.69/24.73 c | 817 | 111960 90797 215355 | 44311 817 219 | 0.667 % | 24.89/24.90 c | 1324 | 111959 90797 215355 | 48743 1324 266 | 0.668 % | 25.09/25.11 c | 2083 | 111953 90797 215355 | 53617 2083 288 | 0.709 % | 25.39/25.47 c | 3222 | 111908 90797 215355 | 58979 3222 354 | 0.713 % | 26.09/26.11 c | 4932 | 111898 90797 215355 | 64877 4932 415 | 0.722 % | 26.99/27.03 c | 7495 | 111896 90797 215355 | 71364 7495 455 | 0.724 % | 28.69/28.71 c | 11339 | 111878 90797 215355 | 78501 11339 505 | 0.787 % | 29.09/29.11 c =============================================================================== 29.19/29.24 c core #266 29.19/29.24 c 29.19/29.24 c 29.19/29.24 c Core size: 3118 Core Weight: 1 Total Weight: 1345 29.19/29.24 c Current CPU time: 28.1937 s 29.19/29.24 c 29.19/29.24 c ============================[ Search Statistics ]============================== 29.19/29.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.19/29.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.19/29.24 c =============================================================================== 29.19/29.24 c | 0 | 115042 92127 223586 | 30709 0 -nan | 0.000 % | 29.29/29.32 c | 101 | 115042 92127 223586 | 33779 101 150 | 0.642 % | 29.29/29.34 c | 251 | 115042 92127 223586 | 37157 251 187 | 0.642 % | 29.39/29.42 c | 477 | 115041 92127 223586 | 40873 477 245 | 0.643 % | 29.49/29.54 c | 814 | 115041 92127 223586 | 44961 814 312 | 0.643 % | 29.60/29.69 c | 1320 | 115039 92127 223586 | 49457 1320 338 | 0.647 % | 29.88/29.94 c | 2081 | 115034 92127 223586 | 54402 2081 383 | 0.649 % | 30.18/30.28 c | 3222 | 115034 92127 223586 | 59843 3222 394 | 0.649 % | 30.99/31.00 c | 4930 | 114992 92127 223586 | 65827 4930 419 | 0.685 % | 31.99/32.08 c | 7492 | 114983 92127 223586 | 72410 7492 453 | 0.693 % | 33.68/33.73 c | 11337 | 114979 92127 223586 | 79651 11337 480 | 0.696 % | 34.89/34.98 c =============================================================================== 34.99/35.11 c core #267 34.99/35.11 c 34.99/35.11 c 34.99/35.11 c Core size: 3242 Core Weight: 1 Total Weight: 1346 34.99/35.11 c Current CPU time: 34.0198 s 34.99/35.11 c 34.99/35.11 c ============================[ Search Statistics ]============================== 34.99/35.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.99/35.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.99/35.11 c =============================================================================== 34.99/35.11 c | 0 | 118246 93469 231449 | 31156 0 -nan | 0.000 % | 35.10/35.20 c | 101 | 118246 93469 231449 | 34271 101 162 | 0.620 % | 35.21/35.25 c | 251 | 118246 93469 231449 | 37699 251 179 | 0.620 % | 35.29/35.30 c | 480 | 118246 93469 231449 | 41469 480 195 | 0.620 % | 35.29/35.38 c | 818 | 118246 93469 231449 | 45615 818 235 | 0.620 % | 35.49/35.51 c | 1325 | 118245 93469 231449 | 50177 1325 240 | 0.621 % | 35.69/35.71 c | 2084 | 118244 93469 231449 | 55195 2084 275 | 0.622 % | 35.99/36.05 c | 3223 | 118243 93469 231449 | 60714 3223 339 | 0.623 % | 36.79/36.80 c | 4931 | 118181 93469 231449 | 66786 4931 405 | 0.675 % | 37.99/38.01 c | 7494 | 118171 93469 231449 | 73465 7494 460 | 0.683 % | 39.39/39.44 c | 11340 | 118168 93469 231449 | 80811 11340 479 | 0.686 % | 42.29/42.35 c | 17111 | 118164 93469 231449 | 88892 17111 510 | 0.689 % | 43.49/43.51 c =============================================================================== 43.59/43.67 c core #268 43.59/43.67 c 43.59/43.67 c 43.59/43.67 c Core size: 3356 Core Weight: 1 Total Weight: 1347 43.59/43.67 c Current CPU time: 42.5375 s 43.59/43.67 c 43.59/43.67 c ============================[ Search Statistics ]============================== 43.59/43.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 43.59/43.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 43.59/43.67 c =============================================================================== 43.59/43.67 c | 0 | 121586 94794 238977 | 31598 0 -nan | 0.000 % | 43.69/43.77 c | 100 | 121586 94794 238977 | 34757 100 144 | 0.602 % | 43.79/43.82 c | 250 | 121586 94794 238977 | 38233 250 219 | 0.602 % | 43.79/43.86 c | 475 | 121586 94794 238977 | 42056 475 229 | 0.602 % | 43.90/43.96 c | 812 | 121569 94794 238977 | 46262 812 233 | 0.648 % | 44.01/44.06 c | 1318 | 121527 94794 238977 | 50888 1318 274 | 0.650 % | 44.19/44.26 c | 2077 | 121527 94794 238977 | 55977 2077 299 | 0.650 % | 44.48/44.58 c | 3216 | 121526 94794 238977 | 61575 3216 335 | 0.651 % | 45.01/45.08 c | 4924 | 121525 94794 238977 | 67733 4924 359 | 0.652 % | 45.69/45.77 c | 7486 | 121525 94794 238977 | 74506 7486 379 | 0.652 % | 47.20/47.30 c | 11330 | 121523 94794 238977 | 81957 11330 433 | 0.653 % | 49.99/50.00 c | 17096 | 121514 94794 238977 | 90152 17096 473 | 0.661 % | 52.59/52.61 c =============================================================================== 52.71/52.78 c core #269 52.71/52.78 c 52.71/52.78 c 52.71/52.78 c Core size: 3404 Core Weight: 1 Total Weight: 1348 52.71/52.78 c Current CPU time: 51.5992 s 52.71/52.78 c 52.71/52.78 c ============================[ Search Statistics ]============================== 52.71/52.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 52.71/52.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 52.71/52.78 c =============================================================================== 52.71/52.78 c | 0 | 124950 96063 246890 | 32021 0 -nan | 0.000 % | 52.81/52.86 c | 100 | 124949 96063 246890 | 35223 100 205 | 0.583 % | 52.81/52.89 c | 250 | 124947 96063 246890 | 38745 250 228 | 0.585 % | 52.89/52.96 c | 477 | 124947 96063 246890 | 42619 477 251 | 0.586 % | 52.99/53.03 c | 815 | 124946 96063 246890 | 46881 815 253 | 0.586 % | 53.09/53.13 c | 1321 | 124946 96063 246890 | 51570 1321 260 | 0.586 % | 53.39/53.44 c | 2081 | 124944 96063 246890 | 56727 2081 293 | 0.587 % | 53.80/53.82 c | 3221 | 124942 96063 246890 | 62399 3221 349 | 0.589 % | 54.29/54.34 c | 4931 | 124942 96063 246890 | 68639 4931 393 | 0.589 % | 55.29/55.40 c | 7495 | 124938 96063 246890 | 75503 7495 447 | 0.592 % | 57.19/57.29 c | 11340 | 124930 96063 246890 | 83054 11340 484 | 0.630 % | 59.77/59.82 c | 17107 | 124888 96063 246890 | 91359 17107 513 | 0.632 % | 63.57/63.67 c | 25758 | 124883 96063 246890 | 100495 25758 519 | 0.636 % | 64.78/64.84 c =============================================================================== 64.96/65.04 c core #270 64.96/65.04 c 64.96/65.04 c 64.96/65.04 c Core size: 3679 Core Weight: 1 Total Weight: 1349 64.96/65.04 c Current CPU time: 63.7763 s 64.96/65.04 c 64.96/65.04 c ============================[ Search Statistics ]============================== 64.96/65.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 64.96/65.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 64.96/65.04 c =============================================================================== 64.96/65.04 c | 0 | 128612 97411 256162 | 32470 0 -nan | 0.000 % | 65.07/65.14 c | 100 | 128612 97411 256162 | 35717 100 111 | 0.561 % | 65.07/65.18 c | 251 | 128612 97411 256162 | 39289 251 163 | 0.561 % | 65.17/65.26 c | 476 | 128610 97411 256162 | 43218 476 172 | 0.562 % | 65.36/65.40 c | 815 | 128608 97411 256162 | 47539 815 254 | 0.564 % | 65.46/65.50 c | 1323 | 128606 97411 256162 | 52293 1323 287 | 0.565 % | 65.66/65.71 c | 2084 | 128604 97411 256162 | 57523 2084 307 | 0.567 % | 65.88/66.00 c | 3224 | 128604 97411 256162 | 63275 3224 348 | 0.567 % | 66.56/66.65 c | 4933 | 128597 97411 256162 | 69603 4933 394 | 0.572 % | 67.67/67.76 c | 7495 | 128592 97411 256162 | 76563 7495 453 | 0.576 % | 69.37/69.45 c | 11343 | 128564 97411 256162 | 84219 11343 493 | 0.668 % | 72.36/72.48 c | 17112 | 128469 97411 256162 | 92641 17112 527 | 0.671 % | 78.26/78.37 c | 25763 | 128468 97411 256162 | 101905 25763 558 | 0.672 % | 82.27/82.37 c =============================================================================== 82.57/82.60 c core #271 82.57/82.60 c 82.57/82.60 c 82.57/82.60 c Core size: 3462 Core Weight: 1 Total Weight: 1350 82.57/82.60 c Current CPU time: 81.2816 s 82.57/82.60 c 82.57/82.60 c ============================[ Search Statistics ]============================== 82.57/82.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.57/82.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.57/82.60 c =============================================================================== 82.57/82.60 c | 0 | 132051 98726 263495 | 32908 0 -nan | 0.000 % | 82.66/82.70 c | 100 | 132051 98726 263495 | 36199 100 107 | 0.546 % | 82.66/82.76 c | 251 | 132051 98726 263495 | 39819 251 162 | 0.546 % | 82.76/82.81 c | 476 | 132050 98726 263495 | 43801 476 220 | 0.547 % | 82.76/82.87 c | 815 | 132044 98726 263495 | 48181 815 227 | 0.581 % | 82.86/82.99 c | 1321 | 132043 98726 263495 | 52999 1321 255 | 0.581 % | 83.17/83.21 c | 2081 | 132005 98726 263495 | 58299 2081 271 | 0.581 % | 83.37/83.47 c | 3223 | 132004 98726 263495 | 64129 3223 302 | 0.581 % | 83.87/83.92 c | 4931 | 132004 98726 263495 | 70542 4931 325 | 0.581 % | 84.77/84.83 c | 7497 | 132000 98726 263495 | 77596 7497 377 | 0.584 % | 86.67/86.72 c | 11343 | 131997 98726 263495 | 85356 11343 439 | 0.587 % | 89.46/89.53 c | 17110 | 131995 98726 263495 | 93892 17110 479 | 0.588 % | 93.96/94.00 c | 25759 | 131988 98726 263495 | 103281 25759 516 | 0.593 % | 99.56/99.66 c =============================================================================== 99.87/99.92 c core #272 99.87/99.92 c 99.87/99.92 c 99.87/99.92 c Core size: 3204 Core Weight: 1 Total Weight: 1351 99.87/99.92 c Current CPU time: 98.516 s 99.87/99.92 c 99.87/99.92 c ============================[ Search Statistics ]============================== 99.87/99.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.87/99.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.87/99.92 c =============================================================================== 99.87/99.92 c | 0 | 135229 99996 271516 | 33332 0 -nan | 0.000 % | 99.98/100.02 c | 100 | 135229 99996 271516 | 36665 100 133 | 0.529 % | 99.98/100.08 c | 251 | 135229 99996 271516 | 40331 251 200 | 0.529 % | 100.08/100.12 c | 478 | 135229 99996 271516 | 44364 478 237 | 0.529 % | 100.16/100.20 c | 815 | 135229 99996 271516 | 48801 815 251 | 0.529 % | 100.26/100.37 c | 1321 | 135227 99996 271516 | 53681 1321 261 | 0.530 % | 100.46/100.57 c | 2080 | 135226 99996 271516 | 59049 2080 293 | 0.531 % | 100.77/100.88 c | 3219 | 135225 99996 271516 | 64954 3219 303 | 0.532 % | 101.27/101.34 c | 4927 | 135201 99996 271516 | 71450 4927 338 | 0.617 % | 102.18/102.22 c | 7489 | 135107 99996 271516 | 78595 7489 384 | 0.619 % | 103.56/103.63 c | 11333 | 135106 99996 271516 | 86454 11333 417 | 0.619 % | 106.58/106.62 c | 17099 | 135102 99996 271516 | 95100 17099 458 | 0.622 % | 110.76/110.81 c | 25750 | 135099 99996 271516 | 104610 25750 479 | 0.625 % | 117.46/117.55 c | 38726 | 135061 99996 271516 | 115071 38726 502 | 0.652 % | 118.57/118.64 c =============================================================================== 118.87/118.93 c core #273 118.87/118.93 c 118.87/118.93 c 118.87/118.93 c Core size: 3691 Core Weight: 1 Total Weight: 1352 118.87/118.93 c Current CPU time: 117.468 s 118.87/118.93 c 118.87/118.93 c ============================[ Search Statistics ]============================== 118.87/118.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 118.87/118.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 118.87/118.93 c =============================================================================== 118.87/118.93 c | 0 | 138870 101280 280541 | 33760 0 -nan | 0.000 % | 118.97/119.04 c | 100 | 138870 101280 280541 | 37136 100 239 | 0.510 % | 118.97/119.08 c | 251 | 138870 101280 280541 | 40849 251 234 | 0.510 % | 119.07/119.13 c | 476 | 138869 101280 280541 | 44934 476 216 | 0.511 % | 119.17/119.23 c | 814 | 138869 101280 280541 | 49428 814 274 | 0.511 % | 119.37/119.41 c | 1320 | 138868 101280 280541 | 54370 1320 331 | 0.512 % | 119.56/119.65 c | 2081 | 138865 101280 280541 | 59807 2081 392 | 0.514 % | 119.88/119.99 c | 3220 | 138865 101280 280541 | 65788 3220 425 | 0.514 % | 120.66/120.72 c | 4931 | 138861 101280 280541 | 72367 4931 452 | 0.517 % | 121.87/121.96 c | 7498 | 138854 101280 280541 | 79604 7498 464 | 0.522 % | 123.77/123.87 c | 11342 | 138854 101280 280541 | 87564 11342 484 | 0.522 % | 126.76/126.84 c | 17108 | 138847 101280 280541 | 96321 17108 506 | 0.527 % | 133.66/133.79 c | 25758 | 138846 101280 280541 | 105953 25758 545 | 0.527 % | 143.86/143.99 c | 38732 | 138841 101280 280541 | 116548 38732 569 | 0.531 % | 157.96/158.08 c | 58194 | 138785 101280 280541 | 128203 58194 576 | 0.628 % | 159.48/159.57 c =============================================================================== 159.86/159.99 c core #274 159.86/159.99 c 159.86/159.99 c 159.86/159.99 c Core size: 4191 Core Weight: 1 Total Weight: 1353 159.86/159.99 c Current CPU time: 158.406 s 159.86/159.99 c 159.86/159.99 c ============================[ Search Statistics ]============================== 159.86/159.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 159.86/159.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 159.86/159.99 c =============================================================================== 159.86/159.99 c | 0 | 143022 102575 290019 | 34191 0 -nan | 0.000 % | 159.96/160.08 c | 100 | 143022 102575 290019 | 37610 100 113 | 0.493 % | 160.07/160.12 c | 250 | 143022 102575 290019 | 41371 250 181 | 0.493 % | 160.07/160.17 c | 478 | 143022 102575 290019 | 45509 478 193 | 0.493 % | 160.17/160.28 c | 817 | 143021 102575 290019 | 50060 817 222 | 0.494 % | 160.36/160.42 c | 1323 | 143021 102575 290019 | 55066 1323 261 | 0.494 % | 160.59/160.66 c | 2087 | 143020 102575 290019 | 60572 2087 332 | 0.495 % | 160.96/161.06 c | 3226 | 143019 102575 290019 | 66629 3226 380 | 0.495 % | 161.76/161.80 c | 4934 | 143018 102575 290019 | 73292 4934 445 | 0.496 % | 162.87/162.96 c | 7499 | 143018 102575 290019 | 80622 7499 481 | 0.496 % | 164.66/164.74 c | 11345 | 143016 102575 290019 | 88684 11345 517 | 0.497 % | 167.08/167.12 c | 17117 | 143014 102575 290019 | 97552 17117 512 | 0.499 % | 172.16/172.25 c | 25773 | 143004 102575 290019 | 107308 25773 523 | 0.533 % | 180.76/180.86 c | 38747 | 143001 102575 290019 | 118038 38747 539 | 0.535 % | 192.96/193.01 c | 58208 | 142946 102575 290019 | 129842 58208 550 | 0.546 % | 199.87/199.92 c =============================================================================== 200.36/200.42 c core #275 200.36/200.42 c 200.36/200.42 c 200.36/200.42 c Core size: 3094 Core Weight: 1 Total Weight: 1354 200.36/200.42 c Current CPU time: 198.727 s 200.36/200.42 c 200.36/200.42 c ============================[ Search Statistics ]============================== 200.36/200.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.36/200.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.36/200.42 c =============================================================================== 200.36/200.42 c | 0 | 146069 103816 297296 | 34605 0 -nan | 0.000 % | 200.47/200.54 c | 102 | 146069 103816 297296 | 38065 102 158 | 0.480 % | 200.47/200.58 c | 254 | 146069 103816 297296 | 41872 254 197 | 0.480 % | 200.57/200.66 c | 480 | 146067 103816 297296 | 46059 480 200 | 0.482 % | 200.67/200.77 c | 818 | 146066 103816 297296 | 50665 818 265 | 0.482 % | 200.86/200.90 c | 1324 | 146066 103816 297296 | 55732 1324 280 | 0.482 % | 201.06/201.16 c | 2083 | 146064 103816 297296 | 61305 2083 299 | 0.484 % | 201.36/201.46 c | 3223 | 146064 103816 297296 | 67436 3223 322 | 0.484 % | 201.76/201.88 c | 4931 | 146064 103816 297296 | 74179 4931 354 | 0.484 % | 202.47/202.58 c | 7495 | 146063 103816 297296 | 81597 7495 377 | 0.484 % | 203.76/203.87 c | 11340 | 146059 103816 297296 | 89757 11340 421 | 0.487 % | 205.97/206.01 c | 17107 | 145924 103816 297296 | 98733 17107 466 | 0.579 % | 210.67/210.75 c | 25757 | 145924 103816 297296 | 108606 25757 510 | 0.579 % | 219.56/219.61 c | 38731 | 145922 103816 297296 | 119466 38731 540 | 0.580 % | 231.98/232.10 c | 58194 | 145899 103816 297296 | 131413 58194 559 | 0.632 % | 244.86/244.92 c =============================================================================== 245.36/245.46 c core #276 245.36/245.46 c 245.36/245.46 c 245.36/245.46 c Core size: 3507 Core Weight: 1 Total Weight: 1355 245.36/245.46 c Current CPU time: 243.637 s 245.36/245.46 c 245.36/245.46 c ============================[ Search Statistics ]============================== 245.36/245.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 245.36/245.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 245.36/245.46 c =============================================================================== 245.36/245.46 c | 0 | 149533 105093 306178 | 35031 0 -nan | 0.000 % | 245.46/245.58 c | 100 | 149533 105093 306178 | 38534 100 87 | 0.465 % | 245.56/245.66 c | 250 | 149531 105093 306178 | 42387 250 225 | 0.466 % | 245.66/245.74 c | 475 | 149530 105093 306178 | 46626 475 226 | 0.467 % | 245.76/245.80 c | 812 | 149530 105093 306178 | 51288 812 234 | 0.467 % | 245.96/246.02 c | 1318 | 149530 105093 306178 | 56417 1318 269 | 0.467 % | 246.16/246.26 c | 2079 | 149530 105093 306178 | 62059 2079 276 | 0.467 % | 246.66/246.70 c | 3218 | 149530 105093 306178 | 68265 3218 290 | 0.467 % | 247.06/247.18 c | 4926 | 149528 105093 306178 | 75092 4926 326 | 0.468 % | 247.97/248.05 c | 7490 | 149480 105093 306178 | 82601 7490 371 | 0.500 % | 249.46/249.56 c | 11334 | 149474 105093 306178 | 90861 11334 412 | 0.504 % | 251.96/252.02 c | 17100 | 149473 105093 306178 | 99947 17100 446 | 0.505 % | 255.87/255.91 c | 25750 | 149473 105093 306178 | 109942 25750 462 | 0.505 % | 261.56/261.66 c | 38725 | 149471 105093 306178 | 120936 38725 479 | 0.506 % | 274.36/274.46 c | 58187 | 149454 105093 306178 | 133030 58187 518 | 0.552 % | 292.86/292.93 c | 87379 | 149329 105093 306178 | 146333 87379 530 | 0.625 % | 293.97/294.09 c =============================================================================== 294.68/294.72 c core #277 294.68/294.72 c 294.68/294.72 c 294.68/294.72 c Core size: 3901 Core Weight: 1 Total Weight: 1356 294.68/294.72 c Current CPU time: 292.758 s 294.68/294.72 c 294.68/294.72 c ============================[ Search Statistics ]============================== 294.68/294.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 294.68/294.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 294.68/294.72 c =============================================================================== 294.68/294.72 c | 0 | 153411 106383 314966 | 35461 0 -nan | 0.000 % | 294.78/294.82 c | 100 | 153411 106383 314966 | 39007 100 110 | 0.452 % | 294.78/294.89 c | 251 | 153411 106383 314966 | 42907 251 162 | 0.452 % | 294.86/294.93 c | 476 | 153411 106383 314966 | 47198 476 171 | 0.452 % | 294.86/294.99 c | 814 | 153411 106383 314966 | 51918 814 189 | 0.452 % | 295.06/295.12 c | 1320 | 153411 106383 314966 | 57110 1320 235 | 0.452 % | 295.27/295.31 c | 2079 | 153410 106383 314966 | 62821 2079 293 | 0.452 % | 295.66/295.70 c | 3219 | 153409 106383 314966 | 69103 3219 356 | 0.453 % | 296.16/296.20 c | 4927 | 153407 106383 314966 | 76013 4927 364 | 0.454 % | 296.88/296.98 c | 7490 | 153400 106383 314966 | 83615 7490 370 | 0.459 % | 298.46/298.55 c | 11335 | 153397 106383 314966 | 91976 11335 426 | 0.461 % | 301.16/301.21 c | 17102 | 153392 106383 314966 | 101174 17102 461 | 0.464 % | 305.56/305.64 c | 25753 | 153391 106383 314966 | 111291 25753 492 | 0.465 % | 313.16/313.28 c | 38728 | 153391 106383 314966 | 122420 38728 509 | 0.465 % | 326.36/326.49 c | 58191 | 153361 106383 314966 | 134663 58191 519 | 0.543 % | 344.46/344.59 c | 87384 | 153269 106383 314966 | 148129 87384 532 | 0.544 % | 352.46/352.52 c =============================================================================== 353.16/353.24 c core #278 353.16/353.24 c 353.16/353.24 c 353.16/353.24 c Core size: 3762 Core Weight: 1 Total Weight: 1357 353.16/353.24 c Current CPU time: 351.128 s 353.16/353.24 c 353.16/353.24 c ============================[ Search Statistics ]============================== 353.16/353.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 353.16/353.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 353.16/353.24 c =============================================================================== 353.16/353.24 c | 0 | 157133 107661 323984 | 35887 0 -nan | 0.000 % | 353.26/353.39 c | 100 | 157133 107661 323984 | 39475 100 74 | 0.438 % | 353.36/353.43 c | 252 | 157133 107661 323984 | 43423 252 171 | 0.438 % | 353.46/353.50 c | 479 | 157133 107661 323984 | 47765 479 204 | 0.438 % | 353.46/353.56 c | 816 | 157133 107661 323984 | 52542 816 249 | 0.438 % | 353.56/353.68 c | 1323 | 157132 107661 323984 | 57796 1323 289 | 0.438 % | 353.76/353.85 c | 2082 | 157132 107661 323984 | 63576 2082 325 | 0.438 % | 354.07/354.19 c | 3221 | 157127 107661 323984 | 69933 3221 368 | 0.442 % | 354.76/354.81 c | 4929 | 157126 107661 323984 | 76926 4929 404 | 0.442 % | 355.96/356.03 c | 7492 | 157122 107661 323984 | 84619 7492 433 | 0.445 % | 357.86/357.94 c | 11336 | 157118 107661 323984 | 93081 11336 468 | 0.471 % | 361.36/361.49 c | 17102 | 157076 107661 323984 | 102389 17102 491 | 0.474 % | 367.06/367.14 c | 25752 | 157074 107661 323984 | 112628 25752 518 | 0.475 % | 376.26/376.31 c | 38726 | 157071 107661 323984 | 123891 38726 531 | 0.477 % | 393.15/393.27 c | 58191 | 157068 107661 323984 | 136280 58191 541 | 0.479 % | 426.96/427.04 c | 87386 | 157066 107661 323984 | 149908 87386 562 | 0.480 % | 461.16/461.29 c =============================================================================== 462.16/462.25 c core #279 462.16/462.25 c 462.16/462.25 c 462.16/462.25 c Core size: 3957 Core Weight: 1 Total Weight: 1358 462.16/462.25 c Current CPU time: 459.928 s 462.16/462.25 c 462.16/462.25 c ============================[ Search Statistics ]============================== 462.16/462.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 462.16/462.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 462.16/462.25 c =============================================================================== 462.16/462.25 c | 0 | 161090 108939 333859 | 36313 0 -nan | 0.000 % | 462.26/462.38 c | 100 | 161090 108939 333859 | 39944 100 86 | 0.423 % | 462.46/462.56 c | 252 | 161090 108939 333859 | 43938 252 93 | 0.423 % | 462.56/462.67 c | 481 | 161090 108939 333859 | 48332 481 114 | 0.423 % | 462.66/462.75 c | 818 | 161090 108939 333859 | 53165 818 198 | 0.423 % | 462.76/462.89 c | 1326 | 161090 108939 333859 | 58482 1326 227 | 0.423 % | 463.08/463.18 c | 2085 | 161089 108939 333859 | 64330 2085 262 | 0.423 % | 463.36/463.49 c | 3226 | 161089 108939 333859 | 70763 3226 280 | 0.423 % | 463.95/464.06 c | 4935 | 161089 108939 333859 | 77840 4935 322 | 0.423 % | 464.86/464.93 c | 7498 | 161085 108939 333859 | 85624 7498 370 | 0.426 % | 466.28/466.33 c | 11343 | 161084 108939 333859 | 94186 11343 416 | 0.427 % | 469.15/469.20 c | 17113 | 161084 108939 333859 | 103605 17113 468 | 0.427 % | 472.25/472.36 c | 25762 | 161084 108939 333859 | 113965 25762 466 | 0.427 % | 479.76/479.83 c | 38736 | 161082 108939 333859 | 125362 38736 497 | 0.428 % | 494.05/494.16 c | 58199 | 161080 108939 333859 | 137898 58199 513 | 0.429 % | 515.45/515.53 c | 87391 | 161076 108939 333859 | 151688 87391 535 | 0.431 % | 550.96/551.05 c | 131180 | 161063 108939 333859 | 166857 131180 538 | 0.463 % | 576.14/576.21 c =============================================================================== 577.36/577.44 c core #280 577.36/577.44 c 577.36/577.44 c 577.36/577.44 c Core size: 4844 Core Weight: 1 Total Weight: 1359 577.36/577.44 c Current CPU time: 574.851 s 577.36/577.44 c 577.36/577.44 c ============================[ Search Statistics ]============================== 577.36/577.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 577.36/577.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 577.36/577.44 c =============================================================================== 577.36/577.44 c | 0 | 165912 110222 345177 | 36740 0 -nan | 0.000 % | 577.46/577.54 c | 100 | 165912 110222 345177 | 40414 100 141 | 0.408 % | 577.46/577.59 c | 251 | 165912 110222 345177 | 44456 251 207 | 0.408 % | 577.54/577.65 c | 476 | 165912 110222 345177 | 48901 476 187 | 0.408 % | 577.64/577.74 c | 813 | 165912 110222 345177 | 53792 813 227 | 0.408 % | 577.74/577.87 c | 1320 | 165912 110222 345177 | 59171 1320 227 | 0.408 % | 577.95/578.09 c | 2080 | 165911 110222 345177 | 65088 2080 274 | 0.408 % | 578.35/578.42 c | 3219 | 165903 110222 345177 | 71597 3219 297 | 0.437 % | 578.85/578.95 c | 4928 | 165863 110222 345177 | 78756 4928 340 | 0.437 % | 579.75/579.86 c | 7490 | 165861 110222 345177 | 86632 7490 368 | 0.438 % | 581.24/581.30 c | 11334 | 165860 110222 345177 | 95295 11334 395 | 0.439 % | 583.75/583.84 c | 17100 | 165856 110222 345177 | 104825 17100 430 | 0.441 % | 589.25/589.34 c | 25749 | 165847 110222 345177 | 115307 25749 471 | 0.447 % | 597.85/597.96 c | 38723 | 165846 110222 345177 | 126838 38723 509 | 0.447 % | 611.75/611.82 c | 58187 | 165846 110222 345177 | 139522 58187 527 | 0.447 % | 632.05/632.17 c | 87379 | 165842 110222 345177 | 153474 87379 530 | 0.450 % | 680.86/680.99 c | 131169 | 165842 110222 345177 | 168822 131169 551 | 0.450 % | 738.74/738.89 c =============================================================================== 740.54/740.62 c core #281 740.54/740.62 c 740.54/740.62 c 740.54/740.62 c Core size: 4409 Core Weight: 1 Total Weight: 1360 740.54/740.62 c Current CPU time: 737.79 s 740.54/740.62 c 740.54/740.62 c ============================[ Search Statistics ]============================== 740.54/740.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 740.54/740.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 740.54/740.62 c =============================================================================== 740.54/740.62 c | 0 | 170306 111508 355438 | 37169 0 -nan | 0.000 % | 740.64/740.76 c | 100 | 170305 111508 355438 | 40886 100 158 | 0.395 % | 740.74/740.80 c | 250 | 170305 111508 355438 | 44974 250 193 | 0.395 % | 740.74/740.85 c | 475 | 170305 111508 355438 | 49472 475 235 | 0.395 % | 740.84/740.94 c | 814 | 170305 111508 355438 | 54419 814 227 | 0.395 % | 740.94/741.07 c | 1322 | 170305 111508 355438 | 59861 1322 256 | 0.395 % | 741.14/741.29 c | 2083 | 170302 111508 355438 | 65847 2083 292 | 0.397 % | 741.44/741.59 c | 3222 | 170302 111508 355438 | 72432 3222 318 | 0.397 % | 742.14/742.21 c | 4930 | 170302 111508 355438 | 79675 4930 366 | 0.397 % | 743.14/743.29 c | 7492 | 170300 111508 355438 | 87643 7492 399 | 0.398 % | 744.94/745.00 c | 11336 | 170298 111508 355438 | 96407 11336 437 | 0.399 % | 746.64/746.70 c | 17102 | 170290 111508 355438 | 106048 17102 435 | 0.426 % | 753.14/753.28 c | 25752 | 170247 111508 355438 | 116653 25752 493 | 0.429 % | 762.75/762.83 c | 38728 | 170244 111508 355438 | 128318 38728 515 | 0.431 % | 778.66/778.76 c | 58189 | 170244 111508 355438 | 141150 58189 534 | 0.431 % | 822.44/822.51 c | 87383 | 170240 111508 355438 | 155265 87383 561 | 0.433 % | 887.04/887.17 c | 131173 | 170239 111508 355438 | 170792 131173 578 | 0.434 % | 960.16/960.22 c | 196857 | 170239 111508 355438 | 187871 43762 514 | 0.434 % | 1081.73/1081.88 c | 295383 | 170238 111508 355438 | 206658 142288 606 | 0.435 % | 1203.34/1203.43 c =============================================================================== 1207.53/1207.71 c core #282 1207.53/1207.71 c 1207.53/1207.71 c 1207.53/1207.71 c Core size: 6703 Core Weight: 1 Total Weight: 1361 1207.53/1207.71 c Current CPU time: 1204.19 s 1207.53/1207.71 c 1207.53/1207.71 c ============================[ Search Statistics ]============================== 1207.53/1207.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 1207.53/1207.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1207.53/1207.71 c =============================================================================== 1207.53/1207.71 c | 0 | 176970 112789 370598 | 37596 0 -nan | 0.000 % | 1207.83/1207.90 c | 100 | 176970 112789 370598 | 41355 100 183 | 0.377 % | 1207.83/1207.95 c | 250 | 176970 112789 370598 | 45491 250 167 | 0.377 % | 1207.93/1208.02 c | 475 | 176970 112789 370598 | 50040 475 181 | 0.377 % | 1208.03/1208.10 c | 812 | 176970 112789 370598 | 55044 812 216 | 0.377 % | 1208.13/1208.25 c | 1318 | 176969 112789 370598 | 60549 1318 228 | 0.378 % | 1208.33/1208.48 c | 2078 | 176968 112789 370598 | 66604 2078 280 | 0.378 % | 1208.74/1208.85 c | 3221 | 176968 112789 370598 | 73264 3221 347 | 0.378 % | 1209.22/1209.32 c | 4930 | 176967 112789 370598 | 80591 4930 347 | 0.379 % | 1210.13/1210.21 c | 7493 | 176961 112789 370598 | 88650 7493 385 | 0.382 % | 1211.53/1211.65 c | 11340 | 176960 112789 370598 | 97515 11340 420 | 0.383 % | 1213.52/1213.68 c | 17106 | 176952 112789 370598 | 107266 17106 434 | 0.409 % | 1217.83/1217.97 c | 25755 | 176951 112789 370598 | 117993 25755 451 | 0.409 % | 1226.45/1226.56 c | 38733 | 176912 112789 370598 | 129792 38733 476 | 0.410 % | 1238.83/1238.94 c | 58194 | 176906 112789 370598 | 142772 58194 492 | 0.413 % | 1269.93/1270.04 c | 87389 | 176898 112789 370598 | 157049 87389 522 | 0.418 % | 1318.02/1318.16 c | 131181 | 176897 112789 370598 | 172754 131181 525 | 0.418 % | 1388.92/1389.08 c | 196866 | 176897 112789 370598 | 190029 45088 497 | 0.418 % | 1464.82/1464.90 c | 295392 | 176895 112789 370598 | 209032 143614 530 | 0.419 % | 1493.64/1493.78 c =============================================================================== 1496.52/1496.68 c core #283 1496.52/1496.68 c 1496.52/1496.68 c 1496.52/1496.68 c Core size: 4945 Core Weight: 1 Total Weight: 1362 1496.52/1496.68 c Current CPU time: 1492.82 s 1496.52/1496.68 c 1496.52/1496.68 c ============================[ Search Statistics ]============================== 1496.52/1496.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 1496.52/1496.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1496.52/1496.68 c =============================================================================== 1496.52/1496.68 c | 0 | 181872 114035 381863 | 38011 0 -nan | 0.000 % | 1496.71/1496.89 c | 100 | 181870 114035 381863 | 41812 100 90 | 0.366 % | 1496.93/1497.03 c | 250 | 181870 114035 381863 | 45994 250 88 | 0.366 % | 1496.93/1497.11 c | 477 | 181868 114035 381863 | 50593 477 163 | 0.367 % | 1497.04/1497.18 c | 816 | 181868 114035 381863 | 55652 816 229 | 0.367 % | 1497.22/1497.34 c | 1322 | 181868 114035 381863 | 61218 1322 267 | 0.367 % | 1497.42/1497.53 c | 2081 | 181867 114035 381863 | 67339 2081 268 | 0.368 % | 1497.72/1497.83 c | 3223 | 181861 114035 381863 | 74073 3223 297 | 0.392 % | 1498.03/1498.19 c | 4931 | 181861 114035 381863 | 81481 4931 308 | 0.392 % | 1498.81/1498.90 c | 7493 | 181821 114035 381863 | 89629 7493 334 | 0.393 % | 1500.12/1500.22 c | 11338 | 181818 114035 381863 | 98592 11338 374 | 0.394 % | 1502.44/1502.55 c | 17108 | 181816 114035 381863 | 108451 17108 400 | 0.396 % | 1506.41/1506.54 c | 25757 | 181815 114035 381863 | 119296 25757 439 | 0.396 % | 1514.42/1514.62 c | 38731 | 181805 114035 381863 | 131226 38731 471 | 0.402 % | 1529.72/1529.89 c | 58193 | 181805 114035 381863 | 144349 58193 506 | 0.402 % | 1563.32/1563.48 c | 87385 | 181802 114035 381863 | 158784 87385 532 | 0.403 % | 1632.61/1632.71 c | 131176 | 181799 114035 381863 | 174662 131176 552 | 0.405 % | 1709.61/1709.71 c | 196860 | 181798 114035 381863 | 192128 42876 501 | 0.405 % | 1793.93/1794.09 c | 295386 | 181798 114035 381863 | 211341 141402 553 | 0.405 % |
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-3461338-1307073234/watcher-3461338-1307073234 -o /tmp/evaluation-result-3461338-1307073234/solver-3461338-1307073234 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461338-1307073234.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.05 2.00 2/558 29917 /proc/meminfo: memFree=27885964/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=3384 CPUtime=0.01 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 653 0 0 0 1 0 0 0 25 0 1 0 897554019 3465216 594 33554432000 4194304 5714214 140734347241296 18446744073709551615 5013195 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 846 594 176 372 0 471 0 [startup+0.098388 s] /proc/loadavg: 2.01 2.05 2.00 2/558 29917 /proc/meminfo: memFree=27885964/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=7656 CPUtime=0.09 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 1957 0 0 0 9 0 0 0 25 0 1 0 897554019 7839744 1608 33554432000 4194304 5714214 140734347241296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 1914 1608 176 372 0 1539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7656 [startup+0.100365 s] /proc/loadavg: 2.01 2.05 2.00 2/558 29917 /proc/meminfo: memFree=27885964/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=7656 CPUtime=0.09 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 1963 0 0 0 9 0 0 0 25 0 1 0 897554019 7839744 1614 33554432000 4194304 5714214 140734347241296 18446744073709551615 4336504 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 1914 1614 176 372 0 1539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7656 [startup+0.300372 s] /proc/loadavg: 2.01 2.05 2.00 2/558 29917 /proc/meminfo: memFree=27885964/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=12584 CPUtime=0.29 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 4696 0 0 0 29 0 0 0 25 0 1 0 897554019 12886016 2876 33554432000 4194304 5714214 140734347241296 18446744073709551615 4355960 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 3146 2876 176 372 0 2771 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12584 [startup+0.70029 s] /proc/loadavg: 2.01 2.05 2.00 2/558 29917 /proc/meminfo: memFree=27885964/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=20932 CPUtime=0.69 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 9563 0 0 0 67 2 0 0 18 0 1 0 897554019 21434368 4952 33554432000 4194304 5714214 140734347241296 18446744073709551615 4967609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 5233 4952 179 372 0 4858 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20932 [startup+1.50116 s] /proc/loadavg: 2.01 2.05 2.00 3/559 29918 /proc/meminfo: memFree=27860164/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=30108 CPUtime=1.49 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 16462 0 0 0 139 10 0 0 19 0 1 0 897554019 30830592 7222 33554432000 4194304 5714214 140734347241296 18446744073709551615 4357937 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 7527 7222 179 372 0 7152 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30108 [startup+3.10092 s] /proc/loadavg: 2.01 2.05 2.00 3/559 29918 /proc/meminfo: memFree=27844540/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=45280 CPUtime=3.09 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 25236 0 0 0 283 26 0 0 18 0 1 0 897554019 46366720 11037 33554432000 4194304 5714214 140734347241296 18446744073709551615 4356127 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 11320 11037 179 372 0 10945 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45280 [startup+6.30036 s] /proc/loadavg: 2.01 2.04 2.00 3/559 29918 /proc/meminfo: memFree=27811804/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=73980 CPUtime=6.29 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 39885 0 0 0 573 56 0 0 20 0 1 0 897554019 75755520 17693 33554432000 4194304 5714214 140734347241296 18446744073709551615 4322911 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 18495 17693 180 372 0 18120 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 73980 [startup+12.7003 s] /proc/loadavg: 2.01 2.04 2.00 3/559 29918 /proc/meminfo: memFree=27779524/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=82308 CPUtime=12.69 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 51203 0 0 0 1188 81 0 0 19 0 1 0 897554019 84283392 20317 33554432000 4194304 5714214 140734347241296 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 20577 20317 180 372 0 20202 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 82308 [startup+25.5011 s] /proc/loadavg: 2.01 2.04 2.00 3/559 29918 /proc/meminfo: memFree=27733656/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=110044 CPUtime=25.49 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 65555 0 0 0 2454 95 0 0 25 0 1 0 897554019 112685056 26609 33554432000 4194304 5714214 140734347241296 18446744073709551615 4311694 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 27511 26609 180 372 0 27136 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 110044 [startup+51.1009 s] /proc/loadavg: 2.00 2.04 2.00 3/559 29920 /proc/meminfo: memFree=27657968/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=146124 CPUtime=51.09 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 74570 0 0 0 5000 109 0 0 25 0 1 0 897554019 149630976 35624 33554432000 4194304 5714214 140734347241296 18446744073709551615 4319964 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 36531 35624 180 372 0 36156 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 146124 [startup+102.321 s] /proc/loadavg: 2.00 2.03 2.00 3/559 29920 /proc/meminfo: memFree=27525400/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=193992 CPUtime=102.29 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 86419 0 0 0 10099 130 0 0 25 0 1 0 897554019 198647808 47473 33554432000 4194304 5714214 140734347241296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 48498 47473 180 372 0 48123 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 193992 [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.00 3/559 29922 /proc/meminfo: memFree=27369500/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=269068 CPUtime=162.27 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 105447 0 0 0 16080 147 0 0 25 0 1 0 897554019 275525632 66501 33554432000 4194304 5714214 140734347241296 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 67267 66501 180 372 0 66892 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 269068 [startup+222.301 s] /proc/loadavg: 2.00 2.02 2.00 3/559 29924 /proc/meminfo: memFree=27262200/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=287336 CPUtime=222.26 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 110188 0 0 0 22067 159 0 0 25 0 1 0 897554019 294232064 71242 33554432000 4194304 5714214 140734347241296 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 71834 71242 180 372 0 71459 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 287336 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.00 3/559 29926 /proc/meminfo: memFree=27151548/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=314136 CPUtime=282.27 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 116916 0 0 0 28053 174 0 0 25 0 1 0 897554019 321675264 77970 33554432000 4194304 5714214 140734347241296 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 78534 77970 180 372 0 78159 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 314136 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/559 29928 /proc/meminfo: memFree=27070544/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=326068 CPUtime=342.26 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 120064 0 0 0 34038 188 0 0 25 0 1 0 897554019 333893632 81118 33554432000 4194304 5714214 140734347241296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 81517 81118 180 372 0 81142 0 Current children cumulated CPU time (s) 342.26 Current children cumulated vsize (KiB) 326068 [startup+402.301 s] /proc/loadavg: 2.15 2.03 2.01 3/559 29928 /proc/meminfo: memFree=26958904/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=361128 CPUtime=402.26 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 128279 0 0 0 40025 201 0 0 25 0 1 0 897554019 369795072 89333 33554432000 4194304 5714214 140734347241296 18446744073709551615 4319758 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 90282 89333 180 372 0 89907 0 Current children cumulated CPU time (s) 402.26 Current children cumulated vsize (KiB) 361128 [startup+462.301 s] /proc/loadavg: 2.26 2.08 2.03 3/559 29939 /proc/meminfo: memFree=26825100/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=441944 CPUtime=462.26 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 149703 0 0 0 46014 212 0 0 25 0 1 0 897554019 452550656 109523 33554432000 4194304 5714214 140734347241296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 110486 109523 180 372 0 110111 0 Current children cumulated CPU time (s) 462.26 Current children cumulated vsize (KiB) 441944 [startup+522.301 s] /proc/loadavg: 2.19 2.10 2.03 3/559 29941 /proc/meminfo: memFree=26707748/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=441944 CPUtime=522.25 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 149703 0 0 0 52001 224 0 0 25 0 1 0 897554019 452550656 109523 33554432000 4194304 5714214 140734347241296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 110486 109523 180 372 0 110111 0 Current children cumulated CPU time (s) 522.25 Current children cumulated vsize (KiB) 441944 [startup+582.301 s] /proc/loadavg: 2.07 2.08 2.02 3/559 29943 /proc/meminfo: memFree=26637772/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=511956 CPUtime=582.25 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 168013 0 0 0 57988 237 0 0 25 0 1 0 897554019 524242944 126569 33554432000 4194304 5714214 140734347241296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 127989 126569 180 372 0 127614 0 Current children cumulated CPU time (s) 582.25 Current children cumulated vsize (KiB) 511956 [startup+642.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.00 2.02 2.00 3/559 29951 /proc/meminfo: memFree=26614140/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=538488 CPUtime=882.23 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 173738 0 0 0 87951 272 0 0 25 0 1 0 897554019 551411712 132294 33554432000 4194304 5714214 140734347241296 18446744073709551615 4319737 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 134622 132294 180 372 0 134247 0 Current children cumulated CPU time (s) 882.23 Current children cumulated vsize (KiB) 538488 [startup+942.301 s] /proc/loadavg: 2.00 2.01 2.00 3/559 29953 /proc/meminfo: memFree=26610256/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=538488 CPUtime=942.24 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 174821 0 0 0 93946 278 0 0 25 0 1 0 897554019 551411712 133377 33554432000 4194304 5714214 140734347241296 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 134622 133377 180 372 0 134247 0 Current children cumulated CPU time (s) 942.24 Current children cumulated vsize (KiB) 538488 [startup+1002.3 s] /proc/loadavg: 2.00 2.01 2.00 3/559 29953 /proc/meminfo: memFree=26610464/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=538488 CPUtime=1002.23 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 174824 0 0 0 99938 285 0 0 25 0 1 0 897554019 551411712 133380 33554432000 4194304 5714214 140734347241296 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 134622 133380 180 372 0 134247 0 Current children cumulated CPU time (s) 1002.23 Current children cumulated vsize (KiB) 538488 [startup+1062.3 s] /proc/loadavg: 2.16 2.06 2.02 3/559 29955 /proc/meminfo: memFree=26608792/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=538488 CPUtime=1062.24 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 174824 0 0 0 105934 290 0 0 25 0 1 0 897554019 551411712 133380 33554432000 4194304 5714214 140734347241296 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 134622 133380 180 372 0 134247 0 Current children cumulated CPU time (s) 1062.24 Current children cumulated vsize (KiB) 538488 [startup+1122.3 s] /proc/loadavg: 2.13 2.08 2.02 3/559 29957 /proc/meminfo: memFree=26605008/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=542184 CPUtime=1122.22 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 175749 0 0 0 111929 293 0 0 25 0 1 0 897554019 555196416 134305 33554432000 4194304 5714214 140734347241296 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 135546 134305 180 372 0 135171 0 Current children cumulated CPU time (s) 1122.22 Current children cumulated vsize (KiB) 542184 [startup+1182.3 s] /proc/loadavg: 2.05 2.06 2.02 3/559 29959 /proc/meminfo: memFree=26507000/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=639352 CPUtime=1182.22 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 199961 0 0 0 117919 303 0 0 25 0 1 0 897554019 654696448 158517 33554432000 4194304 5714214 140734347241296 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 159838 158517 180 372 0 159463 0 Current children cumulated CPU time (s) 1182.22 Current children cumulated vsize (KiB) 639352 [startup+1242.3 s] /proc/loadavg: 2.02 2.05 2.01 3/559 29961 /proc/meminfo: memFree=26450904/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=696468 CPUtime=1242.22 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 213151 0 0 0 123907 315 0 0 25 0 1 0 897554019 713183232 171707 33554432000 4194304 5714214 140734347241296 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 174117 171707 180 372 0 173742 0 Current children cumulated CPU time (s) 1242.22 Current children cumulated vsize (KiB) 696468 [startup+1302.3 s] /proc/loadavg: 2.00 2.04 2.00 3/559 29989 /proc/meminfo: memFree=27970316/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=696468 CPUtime=1302.24 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 213151 0 0 0 129902 322 0 0 25 0 1 0 897554019 713183232 171707 33554432000 4194304 5714214 140734347241296 18446744073709551615 4319266 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 174117 171707 180 372 0 173742 0 Current children cumulated CPU time (s) 1302.24 Current children cumulated vsize (KiB) 696468 [startup+1362.3 s] /proc/loadavg: 2.00 2.03 2.00 3/559 29991 /proc/meminfo: memFree=27766640/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=696468 CPUtime=1362.22 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 213159 0 0 0 135894 328 0 0 25 0 1 0 897554019 713183232 171715 33554432000 4194304 5714214 140734347241296 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 174117 171715 180 372 0 173742 0 Current children cumulated CPU time (s) 1362.22 Current children cumulated vsize (KiB) 696468 [startup+1422.32 s] /proc/loadavg: 2.00 2.02 2.00 3/559 29993 /proc/meminfo: memFree=27717500/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=696468 CPUtime=1422.24 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 213161 0 0 0 141889 335 0 0 25 0 1 0 897554019 713183232 171717 33554432000 4194304 5714214 140734347241296 18446744073709551615 4311824 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 174117 171717 180 372 0 173742 0 Current children cumulated CPU time (s) 1422.24 Current children cumulated vsize (KiB) 696468 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.00 3/559 29995 /proc/meminfo: memFree=27679520/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=696468 CPUtime=1482.22 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 213161 0 0 0 147879 343 0 0 25 0 1 0 897554019 713183232 171717 33554432000 4194304 5714214 140734347241296 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 174117 171717 180 372 0 173742 0 Current children cumulated CPU time (s) 1482.22 Current children cumulated vsize (KiB) 696468 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 2.00 3/559 29997 /proc/meminfo: memFree=27451208/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=680696 CPUtime=1542.22 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 213666 0 0 0 153868 354 0 0 25 0 1 0 897554019 697032704 169179 33554432000 4194304 5714214 140734347241296 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 170174 169179 180 372 0 169799 0 Current children cumulated CPU time (s) 1542.22 Current children cumulated vsize (KiB) 680696 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/559 29997 /proc/meminfo: memFree=27229716/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=680696 CPUtime=1602.22 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 213666 0 0 0 159862 360 0 0 25 0 1 0 897554019 697032704 169179 33554432000 4194304 5714214 140734347241296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 170174 169179 180 372 0 169799 0 Current children cumulated CPU time (s) 1602.22 Current children cumulated vsize (KiB) 680696 [startup+1662.3 s] /proc/loadavg: 2.04 2.01 2.00 3/559 29999 /proc/meminfo: memFree=27048164/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=680696 CPUtime=1662.21 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 213685 0 0 0 165858 363 0 0 25 0 1 0 897554019 697032704 169198 33554432000 4194304 5714214 140734347241296 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 170174 169198 180 372 0 169799 0 Current children cumulated CPU time (s) 1662.21 Current children cumulated vsize (KiB) 680696 [startup+1722.3 s] /proc/loadavg: 2.19 2.07 2.02 3/559 30001 /proc/meminfo: memFree=26818244/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=680696 CPUtime=1722.21 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 213692 0 0 0 171851 370 0 0 25 0 1 0 897554019 697032704 169205 33554432000 4194304 5714214 140734347241296 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 170174 169205 180 372 0 169799 0 Current children cumulated CPU time (s) 1722.21 Current children cumulated vsize (KiB) 680696 [startup+1782.3 s] /proc/loadavg: 2.16 2.08 2.02 3/559 30003 /proc/meminfo: memFree=26582732/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=680696 CPUtime=1782.21 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 213692 0 0 0 177843 378 0 0 25 0 1 0 897554019 697032704 169205 33554432000 4194304 5714214 140734347241296 18446744073709551615 4319266 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 170174 169205 180 372 0 169799 0 Current children cumulated CPU time (s) 1782.21 Current children cumulated vsize (KiB) 680696 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.19 2.09 2.03 3/559 30003 /proc/meminfo: memFree=26476076/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=680696 CPUtime=1800.03 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 213692 0 0 0 179624 379 0 0 25 0 1 0 897554019 697032704 169205 33554432000 4194304 5714214 140734347241296 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 170174 169205 180 372 0 169799 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 680696 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.1 s] /proc/loadavg: 2.19 2.09 2.03 3/559 30003 /proc/meminfo: memFree=26476076/32951124 swapFree=34426104/67111528 [pid=29917] ppid=29915 vsize=680696 CPUtime=1800.03 cores=0,2,4,6 /proc/29917/stat : 29917 (wbo1.6) R 29915 29917 27313 0 -1 4202496 213692 0 0 0 179624 379 0 0 25 0 1 0 897554019 697032704 169205 33554432000 4194304 5714214 140734347241296 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29917/statm: 170174 169205 180 372 0 169799 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 680696 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.16 CPU time (s): 1800.08 CPU user time (s): 1796.24 CPU system time (s): 3.83142 CPU usage (%): 99.9955 Max. virtual memory (cumulated for all children) (KiB): 696468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.24 system time used= 3.83142 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 213692 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= 33 involuntary context switches= 4317 runsolver used 10.9293 second user time and 23.0975 second system time The end
Begin job on node118 at 2011-06-03 05:53:54 IDJOB=3461338 IDBENCH=1856 IDSOLVER=1953 FILE ID=node118/3461338-1307073234 RUNJOBID= node118-1307066710-28357 PBS_JOBID= 13497868 Free space on /tmp= 73748 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-lp4l.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461338-1307073234/watcher-3461338-1307073234 -o /tmp/evaluation-result-3461338-1307073234/solver-3461338-1307073234 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461338-1307073234.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8d2c17131f0dd6c2b5d472cf1eef4c89 RANDOM SEED=1604413371 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: 27886368 kB Buffers: 306060 kB Cached: 1948128 kB SwapCached: 56168 kB Active: 1739428 kB Inactive: 2987232 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 27886368 kB SwapTotal: 67111528 kB SwapFree: 34426104 kB Dirty: 4272 kB Writeback: 0 kB AnonPages: 2429148 kB Mapped: 15436 kB Slab: 149604 kB PageTables: 116900 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 184712660 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= 73736 MiB End job on node118 at 2011-06-03 06:23:56