| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (TO) | 1800.22 | 1800.7 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:98.opb |
| MD5SUM | 09000b526c4cf3fc454b31cbb57a970b |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 4.81327 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 2 |
| Optimality of the best value was proved | YES |
| Number of variables | 906 |
| Total number of constraints | 1039 |
| Number of constraints which are clauses | 852 |
| Number of constraints which are cardinality constraints (but not clauses) | 187 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 906 |
| Biggest coefficient in the objective function | 553 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 2526 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 553 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 2526 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1876255-1245163247.opb. 0.00/0.00 c Instance file HOME/instance-1876255-1245163247.opb 0.00/0.00 c File size is 43291 bytes. 0.00/0.00 c Highest Coefficient sum: 21 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 906 | 0.00/0.00 c | Number Clauses: 1759 | 0.00/0.00 c | Number Cardinality: 186 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 5 Core Weight: 1 Total Weight: -552 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #2 0.00/0.00 c Core size: 6 Core Weight: 1 Total Weight: -551 0.00/0.00 c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #3 0.00/0.01 c Core size: 10 Core Weight: 1 Total Weight: -550 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #4 0.00/0.01 c Core size: 12 Core Weight: 1 Total Weight: -549 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #5 0.00/0.01 c Core size: 6 Core Weight: 1 Total Weight: -548 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #6 0.00/0.01 c Core size: 7 Core Weight: 1 Total Weight: -547 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #7 0.00/0.01 c Core size: 8 Core Weight: 1 Total Weight: -546 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #8 0.00/0.01 c Core size: 10 Core Weight: 1 Total Weight: -545 0.00/0.01 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #9 0.00/0.02 c Core size: 9 Core Weight: 1 Total Weight: -544 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #10 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: -543 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #11 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: -542 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #12 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: -541 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #13 0.00/0.02 c Core size: 9 Core Weight: 1 Total Weight: -540 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #14 0.00/0.02 c Core size: 11 Core Weight: 1 Total Weight: -539 0.00/0.02 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #15 0.00/0.02 c Core size: 13 Core Weight: 1 Total Weight: -538 0.00/0.02 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #16 0.00/0.03 c Core size: 10 Core Weight: 1 Total Weight: -537 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #17 0.00/0.03 c Core size: 9 Core Weight: 1 Total Weight: -536 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #18 0.00/0.03 c Core size: 11 Core Weight: 1 Total Weight: -535 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #19 0.00/0.03 c Core size: 17 Core Weight: 1 Total Weight: -534 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #20 0.00/0.03 c Core size: 7 Core Weight: 2 Total Weight: -532 0.00/0.03 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #21 0.00/0.03 c Core size: 12 Core Weight: 1 Total Weight: -531 0.00/0.03 c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #22 0.00/0.04 c Core size: 14 Core Weight: 1 Total Weight: -530 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #23 0.00/0.04 c Core size: 9 Core Weight: 1 Total Weight: -529 0.00/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #24 0.00/0.04 c Core size: 9 Core Weight: 1 Total Weight: -528 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #25 0.00/0.04 c Core size: 12 Core Weight: 1 Total Weight: -527 0.00/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #26 0.00/0.04 c Core size: 16 Core Weight: 1 Total Weight: -526 0.00/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.04/0.04 c core #27 0.04/0.04 c Core size: 14 Core Weight: 1 Total Weight: -525 0.04/0.04 c Elapsed CPU time: 0.048992 s Remaining CPU time: 1799.95 s 0.04/0.05 c core #28 0.04/0.05 c Core size: 13 Core Weight: 1 Total Weight: -524 0.04/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 s 0.04/0.05 c core #29 0.04/0.05 c Core size: 16 Core Weight: 1 Total Weight: -523 0.04/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.04/0.05 c core #30 0.04/0.05 c Core size: 14 Core Weight: 1 Total Weight: -522 0.04/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s 0.04/0.05 c core #31 0.04/0.05 c Core size: 17 Core Weight: 1 Total Weight: -521 0.04/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.04/0.05 c core #32 0.04/0.05 c Core size: 16 Core Weight: 1 Total Weight: -520 0.04/0.05 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s 0.04/0.05 c core #33 0.04/0.05 c Core size: 11 Core Weight: 1 Total Weight: -519 0.04/0.05 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.04/0.06 c core #34 0.04/0.06 c Core size: 20 Core Weight: 1 Total Weight: -518 0.04/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 1799.94 s 0.04/0.06 c core #35 0.04/0.06 c Core size: 12 Core Weight: 1 Total Weight: -517 0.04/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 0.04/0.06 c core #36 0.04/0.06 c Core size: 10 Core Weight: 1 Total Weight: -516 0.04/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 s 0.04/0.06 c core #37 0.04/0.06 c Core size: 11 Core Weight: 1 Total Weight: -515 0.04/0.06 c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s 0.04/0.06 c core #38 0.04/0.06 c Core size: 9 Core Weight: 1 Total Weight: -514 0.04/0.06 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.04/0.07 c core #39 0.04/0.07 c Core size: 13 Core Weight: 1 Total Weight: -513 0.04/0.07 c Elapsed CPU time: 0.069989 s Remaining CPU time: 1799.93 s 0.04/0.07 c core #40 0.04/0.07 c Core size: 14 Core Weight: 1 Total Weight: -512 0.04/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 1799.93 s 0.04/0.07 c core #41 0.04/0.07 c Core size: 7 Core Weight: 1 Total Weight: -511 0.04/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.04/0.07 c core #42 0.04/0.07 c Core size: 7 Core Weight: 1 Total Weight: -510 0.04/0.07 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.04/0.07 c core #43 0.04/0.07 c Core size: 8 Core Weight: 1 Total Weight: -509 0.04/0.07 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s 0.04/0.07 c core #44 0.04/0.07 c Core size: 8 Core Weight: 1 Total Weight: -508 0.04/0.07 c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s 0.04/0.08 c core #45 0.04/0.08 c Core size: 6 Core Weight: 1 Total Weight: -507 0.04/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s 0.04/0.08 c core #46 0.04/0.08 c Core size: 10 Core Weight: 1 Total Weight: -506 0.04/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.04/0.08 c core #47 0.04/0.08 c Core size: 9 Core Weight: 1 Total Weight: -505 0.04/0.08 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.04/0.08 c core #48 0.04/0.08 c Core size: 10 Core Weight: 1 Total Weight: -504 0.04/0.08 c Elapsed CPU time: 0.085986 s Remaining CPU time: 1799.91 s 0.04/0.08 c core #49 0.04/0.08 c Core size: 16 Core Weight: 1 Total Weight: -503 0.04/0.08 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.04/0.09 c core #50 0.04/0.09 c Core size: 18 Core Weight: 1 Total Weight: -502 0.04/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.04/0.09 c core #51 0.04/0.09 c Core size: 16 Core Weight: 1 Total Weight: -501 0.04/0.09 c Elapsed CPU time: 0.091986 s Remaining CPU time: 1799.91 s 0.04/0.09 c core #52 0.04/0.09 c Core size: 17 Core Weight: 1 Total Weight: -500 0.04/0.09 c Elapsed CPU time: 0.093985 s Remaining CPU time: 1799.91 s 0.04/0.09 c core #53 0.04/0.09 c Core size: 16 Core Weight: 1 Total Weight: -499 0.04/0.09 c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s 0.04/0.09 c core #54 0.04/0.09 c Core size: 17 Core Weight: 1 Total Weight: -498 0.04/0.09 c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s 0.04/0.10 c core #55 0.04/0.10 c Core size: 9 Core Weight: 1 Total Weight: -497 0.04/0.10 c Elapsed CPU time: 0.099984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #56 0.09/0.10 c Core size: 9 Core Weight: 1 Total Weight: -496 0.09/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #57 0.09/0.10 c Core size: 9 Core Weight: 1 Total Weight: -495 0.09/0.10 c Elapsed CPU time: 0.103984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #58 0.09/0.10 c Core size: 9 Core Weight: 1 Total Weight: -494 0.09/0.10 c Elapsed CPU time: 0.105983 s Remaining CPU time: 1799.89 s 0.09/0.10 c core #59 0.09/0.10 c Core size: 11 Core Weight: 1 Total Weight: -493 0.09/0.10 c Elapsed CPU time: 0.107983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #60 0.09/0.11 c Core size: 16 Core Weight: 1 Total Weight: -492 0.09/0.11 c Elapsed CPU time: 0.109983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #61 0.09/0.11 c Core size: 16 Core Weight: 1 Total Weight: -491 0.09/0.11 c Elapsed CPU time: 0.111982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #62 0.09/0.11 c Core size: 21 Core Weight: 1 Total Weight: -490 0.09/0.11 c Elapsed CPU time: 0.113982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #63 0.09/0.11 c Core size: 20 Core Weight: 1 Total Weight: -489 0.09/0.11 c Elapsed CPU time: 0.116982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #64 0.09/0.12 c Core size: 15 Core Weight: 1 Total Weight: -488 0.09/0.12 c Elapsed CPU time: 0.118981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #65 0.09/0.12 c Core size: 16 Core Weight: 1 Total Weight: -487 0.09/0.12 c Elapsed CPU time: 0.120981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #66 0.09/0.12 c Core size: 20 Core Weight: 1 Total Weight: -486 0.09/0.12 c Elapsed CPU time: 0.122981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #67 0.09/0.12 c Core size: 18 Core Weight: 1 Total Weight: -485 0.09/0.12 c Elapsed CPU time: 0.124981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #68 0.09/0.12 c Core size: 21 Core Weight: 1 Total Weight: -484 0.09/0.12 c Elapsed CPU time: 0.12798 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #69 0.09/0.13 c Core size: 18 Core Weight: 1 Total Weight: -483 0.09/0.13 c Elapsed CPU time: 0.12998 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #70 0.09/0.13 c Core size: 16 Core Weight: 1 Total Weight: -482 0.09/0.13 c Elapsed CPU time: 0.131979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #71 0.09/0.13 c Core size: 17 Core Weight: 1 Total Weight: -481 0.09/0.13 c Elapsed CPU time: 0.134979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #72 0.09/0.13 c Core size: 16 Core Weight: 1 Total Weight: -480 0.09/0.13 c Elapsed CPU time: 0.136979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #73 0.09/0.14 c Core size: 13 Core Weight: 1 Total Weight: -479 0.09/0.14 c Elapsed CPU time: 0.138978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #74 0.09/0.14 c Core size: 13 Core Weight: 1 Total Weight: -478 0.09/0.14 c Elapsed CPU time: 0.141978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #75 0.09/0.14 c Core size: 6 Core Weight: 1 Total Weight: -477 0.09/0.14 c Elapsed CPU time: 0.143978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #76 0.09/0.14 c Core size: 5 Core Weight: 1 Total Weight: -476 0.09/0.14 c Elapsed CPU time: 0.146977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #77 0.09/0.15 c Core size: 4 Core Weight: 1 Total Weight: -475 0.09/0.15 c Elapsed CPU time: 0.148977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #78 0.09/0.15 c Core size: 5 Core Weight: 1 Total Weight: -474 0.09/0.15 c Elapsed CPU time: 0.150977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #79 0.09/0.15 c Core size: 6 Core Weight: 1 Total Weight: -473 0.09/0.15 c Elapsed CPU time: 0.153976 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #80 0.09/0.15 c Core size: 7 Core Weight: 1 Total Weight: -472 0.09/0.15 c Elapsed CPU time: 0.155976 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #81 0.09/0.16 c Core size: 7 Core Weight: 1 Total Weight: -471 0.09/0.16 c Elapsed CPU time: 0.158975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #82 0.09/0.16 c Core size: 10 Core Weight: 1 Total Weight: -470 0.09/0.16 c Elapsed CPU time: 0.160975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #83 0.09/0.16 c Core size: 14 Core Weight: 1 Total Weight: -469 0.09/0.16 c Elapsed CPU time: 0.163975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #84 0.09/0.16 c Core size: 16 Core Weight: 1 Total Weight: -468 0.09/0.16 c Elapsed CPU time: 0.165974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #85 0.09/0.17 c Core size: 19 Core Weight: 1 Total Weight: -467 0.09/0.17 c Elapsed CPU time: 0.168974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #86 0.09/0.17 c Core size: 19 Core Weight: 1 Total Weight: -466 0.09/0.17 c Elapsed CPU time: 0.171973 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #87 0.09/0.17 c Core size: 18 Core Weight: 1 Total Weight: -465 0.09/0.17 c Elapsed CPU time: 0.173973 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #88 0.09/0.17 c Core size: 18 Core Weight: 1 Total Weight: -464 0.09/0.17 c Elapsed CPU time: 0.176973 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #89 0.09/0.18 c Core size: 20 Core Weight: 1 Total Weight: -463 0.09/0.18 c Elapsed CPU time: 0.178972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #90 0.09/0.18 c Core size: 16 Core Weight: 1 Total Weight: -462 0.09/0.18 c Elapsed CPU time: 0.181972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #91 0.09/0.18 c Core size: 15 Core Weight: 1 Total Weight: -461 0.09/0.18 c Elapsed CPU time: 0.184971 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #92 0.09/0.18 c Core size: 16 Core Weight: 1 Total Weight: -460 0.09/0.18 c Elapsed CPU time: 0.186971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #93 0.09/0.19 c Core size: 13 Core Weight: 1 Total Weight: -459 0.09/0.19 c Elapsed CPU time: 0.189971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #94 0.09/0.19 c Core size: 12 Core Weight: 1 Total Weight: -458 0.09/0.19 c Elapsed CPU time: 0.19297 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #95 0.09/0.19 c Core size: 10 Core Weight: 1 Total Weight: -457 0.09/0.19 c Elapsed CPU time: 0.19497 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #96 0.09/0.19 c Core size: 6 Core Weight: 1 Total Weight: -456 0.09/0.19 c Elapsed CPU time: 0.197969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #97 0.19/0.20 c Core size: 8 Core Weight: 1 Total Weight: -455 0.19/0.20 c Elapsed CPU time: 0.200969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #98 0.19/0.20 c Core size: 8 Core Weight: 1 Total Weight: -454 0.19/0.20 c Elapsed CPU time: 0.202969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #99 0.19/0.20 c Core size: 10 Core Weight: 1 Total Weight: -453 0.19/0.20 c Elapsed CPU time: 0.205968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #100 0.19/0.21 c Core size: 11 Core Weight: 1 Total Weight: -452 0.19/0.21 c Elapsed CPU time: 0.207968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #101 0.19/0.21 c Core size: 10 Core Weight: 1 Total Weight: -451 0.19/0.21 c Elapsed CPU time: 0.210967 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #102 0.19/0.21 c Core size: 13 Core Weight: 1 Total Weight: -450 0.19/0.21 c Elapsed CPU time: 0.212967 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #103 0.19/0.21 c Core size: 20 Core Weight: 1 Total Weight: -449 0.19/0.21 c Elapsed CPU time: 0.216967 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #104 0.19/0.22 c Core size: 14 Core Weight: 1 Total Weight: -448 0.19/0.22 c Elapsed CPU time: 0.219966 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #105 0.19/0.22 c Core size: 14 Core Weight: 1 Total Weight: -447 0.19/0.22 c Elapsed CPU time: 0.221966 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #106 0.19/0.22 c Core size: 16 Core Weight: 1 Total Weight: -446 0.19/0.22 c Elapsed CPU time: 0.224965 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #107 0.19/0.23 c Core size: 17 Core Weight: 1 Total Weight: -445 0.19/0.23 c Elapsed CPU time: 0.227965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #108 0.19/0.23 c Core size: 17 Core Weight: 1 Total Weight: -444 0.19/0.23 c Elapsed CPU time: 0.230964 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #109 0.19/0.23 c Core size: 18 Core Weight: 1 Total Weight: -443 0.19/0.23 c Elapsed CPU time: 0.233964 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #110 0.19/0.23 c Core size: 16 Core Weight: 1 Total Weight: -442 0.19/0.23 c Elapsed CPU time: 0.236963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #111 0.19/0.24 c Core size: 17 Core Weight: 1 Total Weight: -441 0.19/0.24 c Elapsed CPU time: 0.239963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #112 0.19/0.24 c Core size: 17 Core Weight: 1 Total Weight: -440 0.19/0.24 c Elapsed CPU time: 0.242963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #113 0.19/0.24 c Core size: 18 Core Weight: 1 Total Weight: -439 0.19/0.24 c Elapsed CPU time: 0.245962 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #114 0.19/0.25 c Core size: 11 Core Weight: 1 Total Weight: -438 0.19/0.25 c Elapsed CPU time: 0.248962 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #115 0.19/0.25 c Core size: 11 Core Weight: 1 Total Weight: -437 0.19/0.25 c Elapsed CPU time: 0.251961 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #116 0.19/0.25 c Core size: 10 Core Weight: 1 Total Weight: -436 0.19/0.25 c Elapsed CPU time: 0.255961 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #117 0.19/0.26 c Core size: 8 Core Weight: 1 Total Weight: -435 0.19/0.26 c Elapsed CPU time: 0.25896 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #118 0.19/0.26 c Core size: 6 Core Weight: 1 Total Weight: -434 0.19/0.26 c Elapsed CPU time: 0.26196 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #119 0.19/0.26 c Core size: 5 Core Weight: 1 Total Weight: -433 0.19/0.26 c Elapsed CPU time: 0.264959 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #120 0.19/0.27 c Core size: 5 Core Weight: 1 Total Weight: -432 0.19/0.27 c Elapsed CPU time: 0.267959 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #121 0.19/0.27 c Core size: 7 Core Weight: 1 Total Weight: -431 0.19/0.27 c Elapsed CPU time: 0.270958 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #122 0.19/0.27 c Core size: 6 Core Weight: 1 Total Weight: -430 0.19/0.27 c Elapsed CPU time: 0.274958 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #123 0.19/0.28 c Core size: 10 Core Weight: 1 Total Weight: -429 0.19/0.28 c Elapsed CPU time: 0.277957 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #124 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: -428 0.19/0.28 c Elapsed CPU time: 0.280957 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #125 0.19/0.28 c Core size: 14 Core Weight: 1 Total Weight: -427 0.19/0.28 c Elapsed CPU time: 0.283956 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #126 0.19/0.28 c Core size: 16 Core Weight: 1 Total Weight: -426 0.19/0.28 c Elapsed CPU time: 0.286956 s Remaining CPU time: 1799.71 s 0.19/0.29 c core #127 0.19/0.29 c Core size: 14 Core Weight: 1 Total Weight: -425 0.19/0.29 c Elapsed CPU time: 0.290955 s Remaining CPU time: 1799.71 s 0.19/0.29 c core #128 0.19/0.29 c Core size: 15 Core Weight: 1 Total Weight: -424 0.19/0.29 c Elapsed CPU time: 0.293955 s Remaining CPU time: 1799.71 s 0.19/0.29 c core #129 0.19/0.29 c Core size: 14 Core Weight: 1 Total Weight: -423 0.19/0.29 c Elapsed CPU time: 0.296954 s Remaining CPU time: 1799.7 s 0.29/0.30 c core #130 0.29/0.30 c Core size: 15 Core Weight: 1 Total Weight: -422 0.29/0.30 c Elapsed CPU time: 0.300954 s Remaining CPU time: 1799.7 s 0.29/0.30 c core #131 0.29/0.30 c Core size: 20 Core Weight: 1 Total Weight: -421 0.29/0.30 c Elapsed CPU time: 0.303953 s Remaining CPU time: 1799.7 s 0.29/0.30 c core #132 0.29/0.30 c Core size: 15 Core Weight: 1 Total Weight: -420 0.29/0.30 c Elapsed CPU time: 0.306953 s Remaining CPU time: 1799.69 s 0.29/0.31 c core #133 0.29/0.31 c Core size: 16 Core Weight: 1 Total Weight: -419 0.29/0.31 c Elapsed CPU time: 0.310952 s Remaining CPU time: 1799.69 s 0.29/0.31 c core #134 0.29/0.31 c Core size: 14 Core Weight: 1 Total Weight: -418 0.29/0.31 c Elapsed CPU time: 0.313952 s Remaining CPU time: 1799.69 s 0.29/0.31 c core #135 0.29/0.31 c Core size: 16 Core Weight: 1 Total Weight: -417 0.29/0.31 c Elapsed CPU time: 0.316951 s Remaining CPU time: 1799.68 s 0.29/0.32 c core #136 0.29/0.32 c Core size: 15 Core Weight: 1 Total Weight: -416 0.29/0.32 c Elapsed CPU time: 0.320951 s Remaining CPU time: 1799.68 s 0.29/0.32 c core #137 0.29/0.32 c Core size: 13 Core Weight: 1 Total Weight: -415 0.29/0.32 c Elapsed CPU time: 0.32395 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #138 0.29/0.33 c Core size: 10 Core Weight: 1 Total Weight: -414 0.29/0.33 c Elapsed CPU time: 0.32795 s Remaining CPU time: 1799.67 s 0.29/0.33 c core #139 0.29/0.33 c Core size: 9 Core Weight: 1 Total Weight: -413 0.29/0.33 c Elapsed CPU time: 0.330949 s Remaining CPU time: 1799.67 s 0.29/0.33 c core #140 0.29/0.33 c Core size: 6 Core Weight: 1 Total Weight: -412 0.29/0.33 c Elapsed CPU time: 0.333949 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #141 0.29/0.34 c Core size: 4 Core Weight: 1 Total Weight: -411 0.29/0.34 c Elapsed CPU time: 0.337948 s Remaining CPU time: 1799.66 s 0.29/0.34 c core #142 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -410 0.29/0.34 c Elapsed CPU time: 0.341948 s Remaining CPU time: 1799.66 s 0.29/0.34 c core #143 0.29/0.34 c Core size: 7 Core Weight: 1 Total Weight: -409 0.29/0.34 c Elapsed CPU time: 0.344947 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #144 0.29/0.35 c Core size: 5 Core Weight: 1 Total Weight: -408 0.29/0.35 c Elapsed CPU time: 0.348946 s Remaining CPU time: 1799.65 s 0.29/0.35 c core #145 0.29/0.35 c Core size: 10 Core Weight: 1 Total Weight: -407 0.29/0.35 c Elapsed CPU time: 0.351946 s Remaining CPU time: 1799.65 s 0.29/0.35 c core #146 0.29/0.35 c Core size: 10 Core Weight: 1 Total Weight: -406 0.29/0.35 c Elapsed CPU time: 0.355945 s Remaining CPU time: 1799.64 s 0.29/0.36 c core #147 0.29/0.36 c Core size: 12 Core Weight: 1 Total Weight: -405 0.29/0.36 c Elapsed CPU time: 0.359945 s Remaining CPU time: 1799.64 s 0.29/0.36 c core #148 0.29/0.36 c Core size: 12 Core Weight: 1 Total Weight: -404 0.29/0.36 c Elapsed CPU time: 0.362944 s Remaining CPU time: 1799.64 s 0.29/0.37 c core #149 0.29/0.37 c Core size: 15 Core Weight: 1 Total Weight: -403 0.29/0.37 c Elapsed CPU time: 0.366944 s Remaining CPU time: 1799.63 s 0.29/0.37 c core #150 0.29/0.37 c Core size: 14 Core Weight: 1 Total Weight: -402 0.29/0.37 c Elapsed CPU time: 0.368943 s Remaining CPU time: 1799.63 s 0.29/0.37 c core #151 0.29/0.37 c Core size: 14 Core Weight: 1 Total Weight: -401 0.29/0.37 c Elapsed CPU time: 0.372943 s Remaining CPU time: 1799.63 s 0.29/0.38 c core #152 0.29/0.38 c Core size: 14 Core Weight: 1 Total Weight: -400 0.29/0.38 c Elapsed CPU time: 0.376942 s Remaining CPU time: 1799.62 s 0.29/0.38 c core #153 0.29/0.38 c Core size: 15 Core Weight: 1 Total Weight: -399 0.29/0.38 c Elapsed CPU time: 0.380942 s Remaining CPU time: 1799.62 s 0.29/0.38 c core #154 0.29/0.38 c Core size: 15 Core Weight: 1 Total Weight: -398 0.29/0.38 c Elapsed CPU time: 0.383941 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #155 0.29/0.39 c Core size: 15 Core Weight: 1 Total Weight: -397 0.29/0.39 c Elapsed CPU time: 0.387941 s Remaining CPU time: 1799.61 s 0.29/0.39 c core #156 0.29/0.39 c Core size: 15 Core Weight: 1 Total Weight: -396 0.29/0.39 c Elapsed CPU time: 0.39194 s Remaining CPU time: 1799.61 s 0.29/0.40 c core #157 0.29/0.40 c Core size: 13 Core Weight: 1 Total Weight: -395 0.29/0.40 c Elapsed CPU time: 0.395939 s Remaining CPU time: 1799.6 s 0.39/0.40 c core #158 0.39/0.40 c Core size: 12 Core Weight: 1 Total Weight: -394 0.39/0.40 c Elapsed CPU time: 0.399939 s Remaining CPU time: 1799.6 s 0.39/0.40 c core #159 0.39/0.40 c Core size: 14 Core Weight: 1 Total Weight: -393 0.39/0.40 c Elapsed CPU time: 0.403938 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #160 0.39/0.41 c Core size: 17 Core Weight: 1 Total Weight: -392 0.39/0.41 c Elapsed CPU time: 0.407937 s Remaining CPU time: 1799.59 s 0.39/0.41 c core #161 0.39/0.41 c Core size: 12 Core Weight: 1 Total Weight: -391 0.39/0.41 c Elapsed CPU time: 0.411937 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #162 0.39/0.42 c Core size: 16 Core Weight: 1 Total Weight: -390 0.39/0.42 c Elapsed CPU time: 0.415936 s Remaining CPU time: 1799.58 s 0.39/0.42 c core #163 0.39/0.42 c Core size: 9 Core Weight: 1 Total Weight: -389 0.39/0.42 c Elapsed CPU time: 0.419936 s Remaining CPU time: 1799.58 s 0.39/0.42 c core #164 0.39/0.42 c Core size: 8 Core Weight: 1 Total Weight: -388 0.39/0.42 c Elapsed CPU time: 0.423935 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #165 0.39/0.43 c Core size: 7 Core Weight: 1 Total Weight: -387 0.39/0.43 c Elapsed CPU time: 0.427934 s Remaining CPU time: 1799.57 s 0.39/0.43 c core #166 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: -386 0.39/0.43 c Elapsed CPU time: 0.431934 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #167 0.39/0.44 c Core size: 6 Core Weight: 2 Total Weight: -384 0.39/0.44 c Elapsed CPU time: 0.435933 s Remaining CPU time: 1799.56 s 0.39/0.44 c core #168 0.39/0.44 c Core size: 11 Core Weight: 1 Total Weight: -383 0.39/0.44 c Elapsed CPU time: 0.439933 s Remaining CPU time: 1799.56 s 0.39/0.44 c core #169 0.39/0.44 c Core size: 7 Core Weight: 1 Total Weight: -382 0.39/0.44 c Elapsed CPU time: 0.443932 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #170 0.39/0.45 c Core size: 9 Core Weight: 1 Total Weight: -381 0.39/0.45 c Elapsed CPU time: 0.447931 s Remaining CPU time: 1799.55 s 0.39/0.45 c core #171 0.39/0.45 c Core size: 11 Core Weight: 1 Total Weight: -380 0.39/0.45 c Elapsed CPU time: 0.451931 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #172 0.39/0.46 c Core size: 14 Core Weight: 1 Total Weight: -379 0.39/0.46 c Elapsed CPU time: 0.45593 s Remaining CPU time: 1799.54 s 0.39/0.46 c core #173 0.39/0.46 c Core size: 12 Core Weight: 1 Total Weight: -378 0.39/0.46 c Elapsed CPU time: 0.460929 s Remaining CPU time: 1799.54 s 0.39/0.46 c core #174 0.39/0.46 c Core size: 15 Core Weight: 1 Total Weight: -377 0.39/0.46 c Elapsed CPU time: 0.464929 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #175 0.39/0.47 c Core size: 11 Core Weight: 1 Total Weight: -376 0.39/0.47 c Elapsed CPU time: 0.468928 s Remaining CPU time: 1799.53 s 0.39/0.47 c core #176 0.39/0.47 c Core size: 13 Core Weight: 1 Total Weight: -375 0.39/0.47 c Elapsed CPU time: 0.472928 s Remaining CPU time: 1799.53 s 0.39/0.48 c core #177 0.39/0.48 c Core size: 13 Core Weight: 1 Total Weight: -374 0.39/0.48 c Elapsed CPU time: 0.476927 s Remaining CPU time: 1799.52 s 0.39/0.48 c core #178 0.39/0.48 c Core size: 12 Core Weight: 1 Total Weight: -373 0.39/0.48 c Elapsed CPU time: 0.480926 s Remaining CPU time: 1799.52 s 0.39/0.49 c core #179 0.39/0.49 c Core size: 15 Core Weight: 1 Total Weight: -372 0.39/0.49 c Elapsed CPU time: 0.484926 s Remaining CPU time: 1799.52 s 0.39/0.49 c core #180 0.39/0.49 c Core size: 9 Core Weight: 1 Total Weight: -371 0.39/0.49 c Elapsed CPU time: 0.488925 s Remaining CPU time: 1799.51 s 0.39/0.49 c core #181 0.39/0.49 c Core size: 7 Core Weight: 1 Total Weight: -370 0.39/0.49 c Elapsed CPU time: 0.493924 s Remaining CPU time: 1799.51 s 0.49/0.50 c core #182 0.49/0.50 c Core size: 4 Core Weight: 2 Total Weight: -368 0.49/0.50 c Elapsed CPU time: 0.497924 s Remaining CPU time: 1799.5 s 0.49/0.50 c core #183 0.49/0.50 c Core size: 5 Core Weight: 1 Total Weight: -367 0.49/0.50 c Elapsed CPU time: 0.501923 s Remaining CPU time: 1799.5 s 0.49/0.51 c core #184 0.49/0.51 c Core size: 4 Core Weight: 2 Total Weight: -365 0.49/0.51 c Elapsed CPU time: 0.506922 s Remaining CPU time: 1799.49 s 0.49/0.51 c core #185 0.49/0.51 c Core size: 6 Core Weight: 2 Total Weight: -363 0.49/0.51 c Elapsed CPU time: 0.510922 s Remaining CPU time: 1799.49 s 0.49/0.51 c core #186 0.49/0.51 c Core size: 9 Core Weight: 1 Total Weight: -362 0.49/0.51 c Elapsed CPU time: 0.514921 s Remaining CPU time: 1799.49 s 0.49/0.52 c core #187 0.49/0.52 c Core size: 7 Core Weight: 2 Total Weight: -360 0.49/0.52 c Elapsed CPU time: 0.51992 s Remaining CPU time: 1799.48 s 0.49/0.52 c core #188 0.49/0.52 c Core size: 12 Core Weight: 1 Total Weight: -359 0.49/0.52 c Elapsed CPU time: 0.52392 s Remaining CPU time: 1799.48 s 0.49/0.53 c core #189 0.49/0.53 c Core size: 9 Core Weight: 1 Total Weight: -358 0.49/0.53 c Elapsed CPU time: 0.527919 s Remaining CPU time: 1799.47 s 0.49/0.53 c core #190 0.49/0.53 c Core size: 9 Core Weight: 1 Total Weight: -357 0.49/0.53 c Elapsed CPU time: 0.532918 s Remaining CPU time: 1799.47 s 0.49/0.54 c core #191 0.49/0.54 c Core size: 10 Core Weight: 1 Total Weight: -356 0.49/0.54 c Elapsed CPU time: 0.536918 s Remaining CPU time: 1799.46 s 0.49/0.54 c core #192 0.49/0.54 c Core size: 9 Core Weight: 1 Total Weight: -355 0.49/0.54 c Elapsed CPU time: 0.540917 s Remaining CPU time: 1799.46 s 0.49/0.55 c core #193 0.49/0.55 c Core size: 9 Core Weight: 1 Total Weight: -354 0.49/0.55 c Elapsed CPU time: 0.545917 s Remaining CPU time: 1799.45 s 0.49/0.55 c core #194 0.49/0.55 c Core size: 9 Core Weight: 1 Total Weight: -353 0.49/0.55 c Elapsed CPU time: 0.549916 s Remaining CPU time: 1799.45 s 0.49/0.55 c core #195 0.49/0.55 c Core size: 11 Core Weight: 1 Total Weight: -352 0.49/0.55 c Elapsed CPU time: 0.553915 s Remaining CPU time: 1799.45 s 0.49/0.56 c core #196 0.49/0.56 c Core size: 12 Core Weight: 1 Total Weight: -351 0.49/0.56 c Elapsed CPU time: 0.558915 s Remaining CPU time: 1799.44 s 0.49/0.56 c core #197 0.49/0.56 c Core size: 8 Core Weight: 1 Total Weight: -350 0.49/0.56 c Elapsed CPU time: 0.563914 s Remaining CPU time: 1799.44 s 0.49/0.57 c core #198 0.49/0.57 c Core size: 9 Core Weight: 1 Total Weight: -349 0.49/0.57 c Elapsed CPU time: 0.567913 s Remaining CPU time: 1799.43 s 0.49/0.57 c core #199 0.49/0.57 c Core size: 11 Core Weight: 1 Total Weight: -348 0.49/0.57 c Elapsed CPU time: 0.571913 s Remaining CPU time: 1799.43 s 0.49/0.58 c core #200 0.49/0.58 c Core size: 5 Core Weight: 1 Total Weight: -347 0.49/0.58 c Elapsed CPU time: 0.575912 s Remaining CPU time: 1799.42 s 0.49/0.58 c core #201 0.49/0.58 c Core size: 4 Core Weight: 1 Total Weight: -346 0.49/0.58 c Elapsed CPU time: 0.580911 s Remaining CPU time: 1799.42 s 0.49/0.59 c core #202 0.49/0.59 c Core size: 7 Core Weight: 1 Total Weight: -345 0.49/0.59 c Elapsed CPU time: 0.583911 s Remaining CPU time: 1799.42 s 0.49/0.59 c core #203 0.49/0.59 c Core size: 8 Core Weight: 1 Total Weight: -344 0.49/0.59 c Elapsed CPU time: 0.58891 s Remaining CPU time: 1799.41 s 0.49/0.60 c core #204 0.49/0.60 c Core size: 10 Core Weight: 1 Total Weight: -343 0.49/0.60 c Elapsed CPU time: 0.593909 s Remaining CPU time: 1799.41 s 0.59/0.60 c core #205 0.59/0.60 c Core size: 7 Core Weight: 1 Total Weight: -342 0.59/0.60 c Elapsed CPU time: 0.597909 s Remaining CPU time: 1799.4 s 0.59/0.60 c core #206 0.59/0.60 c Core size: 12 Core Weight: 1 Total Weight: -341 0.59/0.60 c Elapsed CPU time: 0.602908 s Remaining CPU time: 1799.4 s 0.59/0.61 c core #207 0.59/0.61 c Core size: 8 Core Weight: 1 Total Weight: -340 0.59/0.61 c Elapsed CPU time: 0.607907 s Remaining CPU time: 1799.39 s 0.59/0.61 c core #208 0.59/0.61 c Core size: 8 Core Weight: 1 Total Weight: -339 0.59/0.61 c Elapsed CPU time: 0.611906 s Remaining CPU time: 1799.39 s 0.59/0.62 c core #209 0.59/0.62 c Core size: 6 Core Weight: 1 Total Weight: -338 0.59/0.62 c Elapsed CPU time: 0.616906 s Remaining CPU time: 1799.38 s 0.59/0.62 c core #210 0.59/0.62 c Core size: 8 Core Weight: 1 Total Weight: -337 0.59/0.62 c Elapsed CPU time: 0.620905 s Remaining CPU time: 1799.38 s 0.59/0.63 c core #211 0.59/0.63 c Core size: 5 Core Weight: 1 Total Weight: -336 0.59/0.63 c Elapsed CPU time: 0.625904 s Remaining CPU time: 1799.37 s 0.59/0.63 c core #212 0.59/0.63 c Core size: 6 Core Weight: 1 Total Weight: -335 0.59/0.63 c Elapsed CPU time: 0.630904 s Remaining CPU time: 1799.37 s 0.59/0.64 c core #213 0.59/0.64 c Core size: 27 Core Weight: 1 Total Weight: -334 0.59/0.64 c Elapsed CPU time: 0.635903 s Remaining CPU time: 1799.36 s 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 | 2680 3188 8672 | 5000 0 nan | 0.000 % | 0.59/0.64 c =============================================================================== 0.59/0.64 c core #214 0.59/0.64 c Core size: 8 Core Weight: 1 Total Weight: -333 0.59/0.64 c Elapsed CPU time: 0.639902 s Remaining CPU time: 1799.36 s 0.59/0.65 c ============================[ Search Statistics ]============================== 0.59/0.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.65 c =============================================================================== 0.59/0.65 c | 0 | 2685 3189 8682 | 5000 0 nan | 0.000 % | 0.59/0.65 c =============================================================================== 0.59/0.65 c core #215 0.59/0.65 c Core size: 15 Core Weight: 1 Total Weight: -332 0.59/0.65 c Elapsed CPU time: 0.644901 s Remaining CPU time: 1799.36 s 0.59/0.65 c ============================[ Search Statistics ]============================== 0.59/0.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.65 c =============================================================================== 0.59/0.65 c | 0 | 2693 3190 8698 | 5000 0 nan | 0.000 % | 0.59/0.65 c =============================================================================== 0.59/0.65 c core #216 0.59/0.65 c Core size: 20 Core Weight: 1 Total Weight: -331 0.59/0.65 c Elapsed CPU time: 0.649901 s Remaining CPU time: 1799.35 s 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 | 2701 3191 8714 | 5000 0 nan | 0.000 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c core #217 0.59/0.66 c Core size: 22 Core Weight: 1 Total Weight: -330 0.59/0.66 c Elapsed CPU time: 0.6549 s Remaining CPU time: 1799.35 s 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 | 2711 3193 8736 | 5000 0 nan | 0.000 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c core #218 0.59/0.66 c Core size: 21 Core Weight: 1 Total Weight: -329 0.59/0.66 c Elapsed CPU time: 0.659899 s Remaining CPU time: 1799.34 s 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 | 2718 3194 8750 | 5000 0 nan | 0.000 % | 0.59/0.67 c =============================================================================== 0.59/0.67 c core #219 0.59/0.67 c Core size: 29 Core Weight: 1 Total Weight: -328 0.59/0.67 c Elapsed CPU time: 0.665898 s Remaining CPU time: 1799.33 s 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 | 2731 3195 8776 | 5000 0 nan | 0.000 % | 0.59/0.67 c =============================================================================== 0.59/0.68 c core #220 0.59/0.68 c Core size: 12 Core Weight: 1 Total Weight: -327 0.59/0.68 c Elapsed CPU time: 0.670898 s Remaining CPU time: 1799.33 s 0.59/0.68 c ============================[ Search Statistics ]============================== 0.59/0.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.68 c =============================================================================== 0.59/0.68 c | 0 | 2737 3196 8788 | 5000 0 nan | 0.000 % | 0.59/0.68 c =============================================================================== 0.59/0.68 c core #221 0.59/0.68 c Core size: 38 Core Weight: 1 Total Weight: -326 0.59/0.68 c Elapsed CPU time: 0.676897 s Remaining CPU time: 1799.32 s 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 | 2753 3198 8819 | 5000 0 nan | 0.000 % | 0.59/0.69 c =============================================================================== 0.59/0.69 c core #222 0.59/0.69 c Core size: 21 Core Weight: 1 Total Weight: -325 0.59/0.69 c Elapsed CPU time: 0.683896 s Remaining CPU time: 1799.32 s 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 | 2766 3199 8845 | 5000 0 nan | 0.000 % | 0.59/0.69 c =============================================================================== 0.59/0.69 c core #223 0.59/0.69 c Core size: 21 Core Weight: 1 Total Weight: -324 0.59/0.69 c Elapsed CPU time: 0.689895 s Remaining CPU time: 1799.31 s 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 | 2775 3200 8863 | 5000 0 nan | 0.000 % | 0.69/0.70 c =============================================================================== 0.69/0.70 c core #224 0.69/0.70 c Core size: 22 Core Weight: 1 Total Weight: -323 0.69/0.70 c Elapsed CPU time: 0.696894 s Remaining CPU time: 1799.3 s 0.69/0.71 c ============================[ Search Statistics ]============================== 0.69/0.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.71 c =============================================================================== 0.69/0.71 c | 0 | 2789 3201 8891 | 5000 0 nan | 0.000 % | 0.69/0.71 c =============================================================================== 0.69/0.71 c core #225 0.69/0.71 c Core size: 74 Core Weight: 1 Total Weight: -322 0.69/0.71 c Elapsed CPU time: 0.703892 s Remaining CPU time: 1799.3 s 0.69/0.71 c ============================[ Search Statistics ]============================== 0.69/0.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.71 c =============================================================================== 0.69/0.71 c | 0 | 2821 3202 8958 | 5000 0 nan | 0.000 % | 0.69/0.71 c =============================================================================== 0.69/0.71 c core #226 0.69/0.71 c Core size: 36 Core Weight: 1 Total Weight: -321 0.69/0.71 c Elapsed CPU time: 0.709892 s Remaining CPU time: 1799.29 s 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 | 2848 3206 9041 | 5000 0 nan | 0.000 % | 0.69/0.72 c | 101 | 2832 3206 9041 | 5500 101 12 | 4.148 % | 0.69/0.72 c =============================================================================== 0.69/0.72 c core #227 0.69/0.72 c Core size: 63 Core Weight: 1 Total Weight: -320 0.69/0.72 c Elapsed CPU time: 0.71889 s Remaining CPU time: 1799.28 s 0.69/0.73 c ============================[ Search Statistics ]============================== 0.69/0.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.73 c =============================================================================== 0.69/0.73 c | 0 | 2880 3207 9105 | 5000 0 nan | 0.000 % | 0.69/0.73 c =============================================================================== 0.69/0.73 c core #228 0.69/0.73 c Core size: 68 Core Weight: 1 Total Weight: -319 0.69/0.73 c Elapsed CPU time: 0.726889 s Remaining CPU time: 1799.27 s 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 | 2918 3208 9200 | 5000 0 nan | 0.000 % | 0.69/0.74 c | 101 | 2917 3208 9200 | 5500 101 11 | 3.094 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c core #229 0.69/0.74 c Core size: 89 Core Weight: 1 Total Weight: -318 0.69/0.74 c Elapsed CPU time: 0.735888 s Remaining CPU time: 1799.26 s 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 | 2969 3209 9302 | 5000 0 nan | 0.000 % | 0.69/0.75 c | 101 | 2969 3209 9302 | 5500 101 25 | 2.879 % | 0.69/0.76 c | 252 | 2969 3209 9302 | 6050 252 22 | 2.879 % | 0.69/0.76 c =============================================================================== 0.69/0.76 c core #230 0.69/0.76 c Core size: 106 Core Weight: 1 Total Weight: -317 0.69/0.76 c Elapsed CPU time: 0.757884 s Remaining CPU time: 1799.24 s 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 | 3028 3216 9439 | 5000 0 nan | 0.000 % | 0.69/0.77 c | 100 | 3028 3216 9439 | 5500 100 36 | 2.793 % | 0.69/0.78 c =============================================================================== 0.69/0.78 c core #231 0.69/0.78 c Core size: 26 Core Weight: 1 Total Weight: -316 0.69/0.78 c Elapsed CPU time: 0.772882 s Remaining CPU time: 1799.23 s 0.69/0.78 c ============================[ Search Statistics ]============================== 0.69/0.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.78 c =============================================================================== 0.69/0.78 c | 0 | 3051 3218 9500 | 5000 0 nan | 0.000 % | 0.69/0.79 c | 100 | 3051 3218 9500 | 5500 100 43 | 2.617 % | 0.79/0.80 c | 251 | 3051 3218 9500 | 6050 251 32 | 2.617 % | 0.79/0.81 c =============================================================================== 0.79/0.81 c core #232 0.79/0.81 c Core size: 106 Core Weight: 1 Total Weight: -315 0.79/0.81 c Elapsed CPU time: 0.803877 s Remaining CPU time: 1799.2 s 0.79/0.82 c ============================[ Search Statistics ]============================== 0.79/0.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.82 c =============================================================================== 0.79/0.82 c | 0 | 3112 3219 9622 | 5000 0 nan | 0.000 % | 0.79/0.82 c | 100 | 3112 3219 9622 | 5500 100 54 | 2.567 % | 0.79/0.83 c | 251 | 3112 3219 9622 | 6050 251 42 | 2.567 % | 0.79/0.85 c | 477 | 3109 3219 9622 | 6655 476 35 | 2.724 % | 0.79/0.85 c =============================================================================== 0.79/0.85 c core #233 0.79/0.85 c Core size: 124 Core Weight: 1 Total Weight: -314 0.79/0.85 c Elapsed CPU time: 0.844871 s Remaining CPU time: 1799.16 s 0.79/0.86 c ============================[ Search Statistics ]============================== 0.79/0.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.86 c =============================================================================== 0.79/0.86 c | 0 | 3197 3220 9806 | 5000 0 nan | 0.000 % | 0.79/0.86 c | 100 | 3197 3220 9806 | 5500 100 46 | 2.441 % | 0.79/0.87 c | 253 | 3194 3220 9806 | 6050 252 35 | 2.594 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c core #234 0.79/0.88 c Core size: 13 Core Weight: 1 Total Weight: -313 0.79/0.88 c Elapsed CPU time: 0.869867 s Remaining CPU time: 1799.13 s 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 | 3210 3221 9841 | 5000 0 nan | 0.000 % | 0.79/0.89 c | 102 | 3210 3221 9841 | 5500 102 55 | 2.283 % | 0.89/0.90 c | 253 | 3210 3221 9841 | 6050 253 34 | 2.435 % | 0.89/0.92 c =============================================================================== 0.89/0.92 c core #235 0.89/0.92 c Core size: 16 Core Weight: 1 Total Weight: -312 0.89/0.92 c Elapsed CPU time: 0.900863 s Remaining CPU time: 1799.1 s 0.89/0.92 c ============================[ Search Statistics ]============================== 0.89/0.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.92 c =============================================================================== 0.89/0.92 c | 0 | 3225 3222 9885 | 5000 0 nan | 0.000 % | 0.89/0.93 c | 100 | 3225 3222 9885 | 5500 100 49 | 2.095 % | 0.89/0.94 c | 250 | 3224 3222 9885 | 6050 250 29 | 2.216 % | 0.89/0.94 c =============================================================================== 0.89/0.94 c core #236 0.89/0.94 c Core size: 66 Core Weight: 1 Total Weight: -311 0.89/0.94 c Elapsed CPU time: 0.922859 s Remaining CPU time: 1799.08 s 0.89/0.94 c ============================[ Search Statistics ]============================== 0.89/0.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.94 c =============================================================================== 0.89/0.94 c | 0 | 3272 3223 9979 | 5000 0 nan | 0.000 % | 0.89/0.95 c =============================================================================== 0.89/0.95 c core #237 0.89/0.95 c Core size: 27 Core Weight: 1 Total Weight: -310 0.89/0.95 c Elapsed CPU time: 0.929858 s Remaining CPU time: 1799.07 s 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 | 3290 3224 10015 | 5000 0 nan | 0.000 % | 0.89/0.96 c | 100 | 3290 3224 10015 | 5500 100 46 | 2.054 % | 0.89/0.97 c | 250 | 3290 3224 10015 | 6050 250 40 | 2.054 % | 0.89/0.98 c | 477 | 3290 3224 10015 | 6655 477 28 | 2.054 % | 0.89/0.98 c =============================================================================== 0.89/0.98 c core #238 0.89/0.98 c Core size: 112 Core Weight: 1 Total Weight: -309 0.89/0.98 c Elapsed CPU time: 0.966853 s Remaining CPU time: 1799.03 s 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 | 3377 3225 10221 | 5000 0 nan | 0.000 % | 0.89/0.99 c =============================================================================== 0.89/0.99 c core #239 0.89/0.99 c Core size: 19 Core Weight: 1 Total Weight: -308 0.89/0.99 c Elapsed CPU time: 0.974851 s Remaining CPU time: 1799.03 s 0.89/1.00 c ============================[ Search Statistics ]============================== 0.89/1.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/1.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/1.00 c =============================================================================== 0.89/1.00 c | 0 | 3389 3226 10245 | 5000 0 nan | 0.000 % | 0.89/1.00 c =============================================================================== 0.99/1.00 c core #240 0.99/1.00 c Core size: 16 Core Weight: 1 Total Weight: -307 0.99/1.00 c Elapsed CPU time: 0.98085 s Remaining CPU time: 1799.02 s 0.99/1.00 c ============================[ Search Statistics ]============================== 0.99/1.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.00 c =============================================================================== 0.99/1.00 c | 0 | 3405 3227 10292 | 5000 0 nan | 0.000 % | 0.99/1.00 c =============================================================================== 0.99/1.00 c core #241 0.99/1.00 c Core size: 45 Core Weight: 1 Total Weight: -306 0.99/1.00 c Elapsed CPU time: 0.988849 s Remaining CPU time: 1799.01 s 0.99/1.01 c ============================[ Search Statistics ]============================== 0.99/1.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.01 c =============================================================================== 0.99/1.01 c | 0 | 3435 3228 10359 | 5000 0 nan | 0.000 % | 0.99/1.02 c | 102 | 3435 3228 10359 | 5500 102 42 | 1.632 % | 0.99/1.03 c | 252 | 3435 3228 10359 | 6050 252 29 | 1.632 % | 0.99/1.03 c =============================================================================== 0.99/1.03 c core #242 0.99/1.03 c Core size: 18 Core Weight: 1 Total Weight: -305 0.99/1.03 c Elapsed CPU time: 1.01484 s Remaining CPU time: 1798.99 s 0.99/1.04 c ============================[ Search Statistics ]============================== 0.99/1.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.04 c =============================================================================== 0.99/1.04 c | 0 | 3447 3231 10396 | 5000 0 nan | 0.000 % | 0.99/1.04 c | 102 | 3447 3231 10396 | 5500 102 18 | 1.571 % | 0.99/1.05 c | 252 | 3425 3231 10396 | 6050 251 14 | 2.256 % | 0.99/1.06 c =============================================================================== 0.99/1.06 c core #243 0.99/1.06 c Core size: 11 Core Weight: 1 Total Weight: -304 0.99/1.06 c Elapsed CPU time: 1.03884 s Remaining CPU time: 1798.96 s 0.99/1.07 c ============================[ Search Statistics ]============================== 0.99/1.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.07 c =============================================================================== 0.99/1.07 c | 0 | 3453 3232 10408 | 5000 0 nan | 0.000 % | 0.99/1.07 c =============================================================================== 0.99/1.07 c core #244 0.99/1.07 c Core size: 49 Core Weight: 1 Total Weight: -303 0.99/1.07 c Elapsed CPU time: 1.04684 s Remaining CPU time: 1798.95 s 0.99/1.07 c ============================[ Search Statistics ]============================== 0.99/1.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.07 c =============================================================================== 0.99/1.07 c | 0 | 3486 3233 10495 | 5000 0 nan | 0.000 % | 0.99/1.07 c =============================================================================== 0.99/1.07 c core #245 0.99/1.07 c Core size: 72 Core Weight: 1 Total Weight: -302 0.99/1.07 c Elapsed CPU time: 1.05484 s Remaining CPU time: 1798.95 s 0.99/1.08 c ============================[ Search Statistics ]============================== 0.99/1.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.08 c =============================================================================== 0.99/1.08 c | 0 | 3529 3234 10581 | 5000 0 nan | 0.000 % | 0.99/1.09 c | 100 | 3529 3234 10581 | 5500 100 19 | 1.452 % | 0.99/1.09 c =============================================================================== 0.99/1.09 c core #246 0.99/1.09 c Core size: 93 Core Weight: 1 Total Weight: -301 0.99/1.09 c Elapsed CPU time: 1.07084 s Remaining CPU time: 1798.93 s 0.99/1.10 c ============================[ Search Statistics ]============================== 0.99/1.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.10 c =============================================================================== 0.99/1.10 c | 0 | 3585 3235 10693 | 5000 0 nan | 0.000 % | 1.09/1.10 c | 103 | 3585 3235 10693 | 5500 103 41 | 1.430 % | 1.09/1.11 c | 256 | 3585 3235 10693 | 6050 256 36 | 1.430 % | 1.09/1.12 c =============================================================================== 1.09/1.12 c core #247 1.09/1.12 c Core size: 101 Core Weight: 1 Total Weight: -300 1.09/1.12 c Elapsed CPU time: 1.10083 s Remaining CPU time: 1798.9 s 1.09/1.13 c ============================[ Search Statistics ]============================== 1.09/1.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.13 c =============================================================================== 1.09/1.13 c | 0 | 3663 3236 10910 | 5000 0 nan | 0.000 % | 1.09/1.13 c =============================================================================== 1.09/1.13 c core #248 1.09/1.13 c Core size: 38 Core Weight: 1 Total Weight: -299 1.09/1.13 c Elapsed CPU time: 1.10783 s Remaining CPU time: 1798.89 s 1.09/1.14 c ============================[ Search Statistics ]============================== 1.09/1.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.14 c =============================================================================== 1.09/1.14 c | 0 | 3695 3237 10974 | 5000 0 nan | 0.000 % | 1.09/1.15 c | 100 | 3695 3237 10974 | 5500 100 38 | 1.071 % | 1.09/1.15 c | 251 | 3695 3237 10974 | 6050 251 28 | 1.071 % | 1.09/1.16 c =============================================================================== 1.09/1.16 c core #249 1.09/1.16 c Core size: 223 Core Weight: 1 Total Weight: -298 1.09/1.16 c Elapsed CPU time: 1.13783 s Remaining CPU time: 1798.86 s 1.09/1.17 c ============================[ Search Statistics ]============================== 1.09/1.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.17 c =============================================================================== 1.09/1.17 c | 0 | 3837 3238 11269 | 5000 0 nan | 0.000 % | 1.09/1.17 c =============================================================================== 1.09/1.17 c core #250 1.09/1.17 c Core size: 46 Core Weight: 1 Total Weight: -297 1.09/1.17 c Elapsed CPU time: 1.14482 s Remaining CPU time: 1798.86 s 1.09/1.18 c ============================[ Search Statistics ]============================== 1.09/1.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.18 c =============================================================================== 1.09/1.18 c | 0 | 3861 3242 11325 | 5000 0 nan | 0.000 % | 1.09/1.18 c =============================================================================== 1.09/1.18 c core #251 1.09/1.18 c Core size: 21 Core Weight: 1 Total Weight: -296 1.09/1.18 c Elapsed CPU time: 1.15182 s Remaining CPU time: 1798.85 s 1.09/1.19 c ============================[ Search Statistics ]============================== 1.09/1.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.19 c =============================================================================== 1.09/1.19 c | 0 | 3873 3245 11353 | 5000 0 nan | 0.000 % | 1.09/1.19 c =============================================================================== 1.09/1.19 c core #252 1.09/1.19 c Core size: 51 Core Weight: 1 Total Weight: -295 1.09/1.19 c Elapsed CPU time: 1.15982 s Remaining CPU time: 1798.84 s 1.09/1.19 c ============================[ Search Statistics ]============================== 1.09/1.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.19 c =============================================================================== 1.09/1.19 c | 0 | 3906 3248 11431 | 5000 0 nan | 0.000 % | 1.19/1.20 c | 101 | 3906 3248 11431 | 5500 101 34 | 0.863 % | 1.19/1.21 c | 251 | 3906 3248 11431 | 6050 251 35 | 0.863 % | 1.19/1.22 c | 476 | 3903 3248 11431 | 6655 475 23 | 0.990 % | 1.19/1.24 c | 813 | 3901 3248 11431 | 7320 811 21 | 0.990 % | 1.19/1.27 c | 1319 | 3897 3248 11431 | 8052 1219 19 | 1.091 % | 1.29/1.32 c | 2079 | 3879 3248 11431 | 8857 1978 18 | 1.548 % | 1.29/1.39 c =============================================================================== 1.29/1.39 c core #253 1.29/1.39 c Core size: 32 Core Weight: 1 Total Weight: -294 1.29/1.39 c Elapsed CPU time: 1.36079 s Remaining CPU time: 1798.64 s 1.39/1.40 c ============================[ Search Statistics ]============================== 1.39/1.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.40 c =============================================================================== 1.39/1.40 c | 0 | 3924 3250 11466 | 5000 0 nan | 0.000 % | 1.39/1.41 c | 100 | 3924 3250 11466 | 5500 100 47 | 0.859 % | 1.39/1.42 c | 251 | 3924 3250 11466 | 6050 251 42 | 0.859 % | 1.39/1.43 c | 477 | 3924 3250 11466 | 6655 477 33 | 0.859 % | 1.39/1.45 c | 815 | 3924 3250 11466 | 7320 815 24 | 0.859 % | 1.39/1.48 c | 1321 | 3924 3250 11466 | 8052 1321 21 | 0.859 % | 1.49/1.53 c =============================================================================== 1.49/1.53 c core #254 1.49/1.53 c Core size: 14 Core Weight: 1 Total Weight: -293 1.49/1.53 c Elapsed CPU time: 1.48777 s Remaining CPU time: 1798.51 s 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 | 3933 3251 11484 | 5000 0 nan | 0.000 % | 1.49/1.54 c | 100 | 3933 3251 11484 | 5500 100 47 | 0.857 % | 1.49/1.55 c | 254 | 3933 3251 11484 | 6050 254 40 | 0.857 % | 1.49/1.56 c | 481 | 3933 3251 11484 | 6655 481 30 | 0.857 % | 1.49/1.59 c | 818 | 3933 3251 11484 | 7320 818 21 | 0.857 % | 1.59/1.62 c | 1324 | 3933 3251 11484 | 8052 1324 19 | 0.857 % | 1.59/1.67 c | 2084 | 3929 3251 11484 | 8857 1797 17 | 0.958 % | 1.69/1.76 c | 3228 | 3907 3251 11484 | 9743 2191 15 | 1.512 % | 1.69/1.77 c =============================================================================== 1.69/1.79 c core #255 1.69/1.79 c Core size: 181 Core Weight: 1 Total Weight: -292 1.69/1.79 c Elapsed CPU time: 1.74174 s Remaining CPU time: 1798.26 s 1.69/1.80 c ============================[ Search Statistics ]============================== 1.69/1.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.80 c =============================================================================== 1.69/1.80 c | 0 | 4030 3252 11678 | 5000 0 nan | 0.000 % | 1.79/1.80 c =============================================================================== 1.79/1.80 c core #256 1.79/1.80 c Core size: 30 Core Weight: 1 Total Weight: -291 1.79/1.80 c Elapsed CPU time: 1.75173 s Remaining CPU time: 1798.25 s 1.79/1.81 c ============================[ Search Statistics ]============================== 1.79/1.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.81 c =============================================================================== 1.79/1.81 c | 0 | 4044 3253 11706 | 5000 0 nan | 0.000 % | 1.79/1.81 c =============================================================================== 1.79/1.81 c core #257 1.79/1.81 c Core size: 22 Core Weight: 1 Total Weight: -290 1.79/1.81 c Elapsed CPU time: 1.75973 s Remaining CPU time: 1798.24 s 1.79/1.81 c ============================[ Search Statistics ]============================== 1.79/1.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.81 c =============================================================================== 1.79/1.81 c | 0 | 4058 3254 11734 | 5000 0 nan | 0.000 % | 1.79/1.82 c =============================================================================== 1.79/1.82 c core #258 1.79/1.82 c Core size: 46 Core Weight: 1 Total Weight: -289 1.79/1.82 c Elapsed CPU time: 1.76873 s Remaining CPU time: 1798.23 s 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 | 4084 3255 11793 | 5000 0 nan | 0.000 % | 1.79/1.82 c =============================================================================== 1.79/1.82 c core #259 1.79/1.82 c Core size: 69 Core Weight: 1 Total Weight: -288 1.79/1.82 c Elapsed CPU time: 1.77573 s Remaining CPU time: 1798.22 s 1.79/1.83 c ============================[ Search Statistics ]============================== 1.79/1.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.83 c =============================================================================== 1.79/1.83 c | 0 | 4129 3256 11892 | 5000 0 nan | 0.000 % | 1.79/1.83 c =============================================================================== 1.79/1.83 c core #260 1.79/1.83 c Core size: 57 Core Weight: 1 Total Weight: -287 1.79/1.83 c Elapsed CPU time: 1.78673 s Remaining CPU time: 1798.21 s 1.79/1.84 c ============================[ Search Statistics ]============================== 1.79/1.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.84 c =============================================================================== 1.79/1.84 c | 0 | 4163 3257 11960 | 5000 0 nan | 0.000 % | 1.79/1.85 c | 102 | 4163 3257 11960 | 5500 102 58 | 0.739 % | 1.79/1.86 c | 252 | 4163 3257 11960 | 6050 252 50 | 0.739 % | 1.79/1.87 c | 477 | 4163 3257 11960 | 6655 477 36 | 0.739 % | 1.79/1.89 c | 814 | 4163 3257 11960 | 7320 814 28 | 0.739 % | 1.89/1.93 c | 1322 | 4163 3257 11960 | 8052 1322 27 | 0.739 % | 1.89/1.99 c | 2082 | 4163 3257 11960 | 8857 2082 28 | 0.739 % | 1.99/2.09 c | 3222 | 4163 3257 11960 | 9743 3222 26 | 0.739 % | 2.19/2.24 c | 4930 | 4163 3257 11960 | 10717 4930 24 | 0.739 % | 2.49/2.51 c | 7493 | 4163 3257 11960 | 11789 7493 25 | 0.739 % | 2.99/3.00 c | 11339 | 4161 3257 11960 | 12968 11338 25 | 0.787 % | 3.79/3.82 c | 17108 | 4156 3257 11960 | 14265 9255 25 | 0.906 % | 5.29/5.35 c | 25762 | 4156 3257 11960 | 15692 10728 27 | 0.906 % | 7.49/7.50 c =============================================================================== 7.79/7.89 c core #261 7.79/7.89 c Core size: 284 Core Weight: 1 Total Weight: -286 7.79/7.89 c Elapsed CPU time: 7.74882 s Remaining CPU time: 1792.25 s 7.89/7.93 c ============================[ Search Statistics ]============================== 7.89/7.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.89/7.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.89/7.93 c =============================================================================== 7.89/7.93 c | 0 | 4322 3258 12278 | 5000 0 nan | 0.000 % | 7.89/7.94 c =============================================================================== 7.89/7.94 c core #262 7.89/7.94 c Core size: 39 Core Weight: 1 Total Weight: -285 7.89/7.94 c Elapsed CPU time: 7.79881 s Remaining CPU time: 1792.2 s 7.89/7.95 c ============================[ Search Statistics ]============================== 7.89/7.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.89/7.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.89/7.95 c =============================================================================== 7.89/7.95 c | 0 | 4340 3263 12322 | 5000 0 nan | 0.000 % | 7.89/7.96 c | 101 | 4340 3263 12322 | 5500 101 10 | 0.709 % | 7.89/7.96 c =============================================================================== 7.89/7.96 c core #263 7.89/7.96 c Core size: 94 Core Weight: 1 Total Weight: -284 7.89/7.96 c Elapsed CPU time: 7.81181 s Remaining CPU time: 1792.19 s 7.89/7.97 c ============================[ Search Statistics ]============================== 7.89/7.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.89/7.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.89/7.97 c =============================================================================== 7.89/7.97 c | 0 | 4390 3264 12422 | 5000 0 nan | 0.000 % | 7.89/7.97 c =============================================================================== 7.89/7.97 c core #264 7.89/7.97 c Core size: 43 Core Weight: 1 Total Weight: -283 7.89/7.97 c Elapsed CPU time: 7.82481 s Remaining CPU time: 1792.18 s 7.89/7.98 c ============================[ Search Statistics ]============================== 7.89/7.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.89/7.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.89/7.98 c =============================================================================== 7.89/7.98 c | 0 | 4414 3265 12479 | 5000 0 nan | 0.000 % | 7.89/7.98 c | 101 | 4414 3265 12479 | 5500 101 13 | 0.653 % | 7.89/7.99 c =============================================================================== 7.89/7.99 c core #265 7.89/7.99 c Core size: 57 Core Weight: 1 Total Weight: -282 7.89/7.99 c Elapsed CPU time: 7.84181 s Remaining CPU time: 1792.16 s 7.98/8.00 c ============================[ Search Statistics ]============================== 7.98/8.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.98/8.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.98/8.00 c =============================================================================== 7.98/8.00 c | 0 | 4460 3266 12593 | 5000 0 nan | 0.000 % | 7.98/8.00 c =============================================================================== 7.98/8.00 c core #266 7.98/8.00 c Core size: 119 Core Weight: 1 Total Weight: -281 7.98/8.00 c Elapsed CPU time: 7.85381 s Remaining CPU time: 1792.15 s 7.98/8.01 c ============================[ Search Statistics ]============================== 7.98/8.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.98/8.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.98/8.01 c =============================================================================== 7.98/8.01 c | 0 | 4533 3268 12768 | 5000 0 nan | 0.000 % | 7.98/8.02 c =============================================================================== 7.98/8.02 c core #267 7.98/8.02 c Core size: 33 Core Weight: 1 Total Weight: -280 7.98/8.02 c Elapsed CPU time: 7.8668 s Remaining CPU time: 1792.13 s 7.98/8.02 c ============================[ Search Statistics ]============================== 7.98/8.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.98/8.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.98/8.02 c =============================================================================== 7.98/8.02 c | 0 | 4553 3269 12808 | 5000 0 nan | 0.000 % | 7.98/8.03 c =============================================================================== 7.98/8.03 c core #268 7.98/8.03 c Core size: 13 Core Weight: 1 Total Weight: -279 7.98/8.03 c Elapsed CPU time: 7.8798 s Remaining CPU time: 1792.12 s 7.98/8.04 c ============================[ Search Statistics ]============================== 7.98/8.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.98/8.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.98/8.04 c =============================================================================== 7.98/8.04 c | 0 | 4562 3270 12826 | 5000 0 nan | 0.000 % | 7.98/8.04 c =============================================================================== 7.98/8.04 c core #269 7.98/8.04 c Core size: 20 Core Weight: 1 Total Weight: -278 7.98/8.04 c Elapsed CPU time: 7.8908 s Remaining CPU time: 1792.11 s 7.98/8.05 c ============================[ Search Statistics ]============================== 7.98/8.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.98/8.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.98/8.05 c =============================================================================== 7.98/8.05 c | 0 | 4574 3271 12850 | 5000 0 nan | 0.000 % | 7.98/8.05 c =============================================================================== 7.98/8.05 c core #270 7.98/8.05 c Core size: 23 Core Weight: 1 Total Weight: -277 7.98/8.05 c Elapsed CPU time: 7.9018 s Remaining CPU time: 1792.1 s 7.98/8.06 c ============================[ Search Statistics ]============================== 7.98/8.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.98/8.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.98/8.06 c =============================================================================== 7.98/8.06 c | 0 | 4586 3272 12875 | 5000 0 nan | 0.000 % | 7.98/8.06 c =============================================================================== 7.98/8.06 c core #271 7.98/8.06 c Core size: 77 Core Weight: 1 Total Weight: -276 7.98/8.06 c Elapsed CPU time: 7.9128 s Remaining CPU time: 1792.09 s 7.98/8.07 c ============================[ Search Statistics ]============================== 7.98/8.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.98/8.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.98/8.07 c =============================================================================== 7.98/8.07 c | 0 | 4636 3273 12992 | 5000 0 nan | 0.000 % | 7.98/8.08 c =============================================================================== 7.98/8.08 c core #272 7.98/8.08 c Core size: 127 Core Weight: 1 Total Weight: -275 7.98/8.08 c Elapsed CPU time: 7.92679 s Remaining CPU time: 1792.07 s 7.98/8.09 c ============================[ Search Statistics ]============================== 7.98/8.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.98/8.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.98/8.09 c =============================================================================== 7.98/8.09 c | 0 | 4721 3274 13162 | 5000 0 nan | 0.000 % | 7.98/8.09 c =============================================================================== 7.98/8.09 c core #273 7.98/8.09 c Core size: 64 Core Weight: 1 Total Weight: -274 7.98/8.09 c Elapsed CPU time: 7.94179 s Remaining CPU time: 1792.06 s 8.09/8.10 c ============================[ Search Statistics ]============================== 8.09/8.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.09/8.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.09/8.10 c =============================================================================== 8.09/8.10 c | 0 | 4762 3275 13244 | 5000 0 nan | 0.000 % | 8.09/8.11 c =============================================================================== 8.09/8.11 c core #274 8.09/8.11 c Core size: 10 Core Weight: 1 Total Weight: -273 8.09/8.11 c Elapsed CPU time: 7.95679 s Remaining CPU time: 1792.04 s 8.09/8.12 c ============================[ Search Statistics ]============================== 8.09/8.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.09/8.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.09/8.12 c =============================================================================== 8.09/8.12 c | 0 | 4770 3276 13260 | 5000 0 nan | 0.000 % | 8.09/8.13 c | 101 | 4769 3276 13260 | 5500 101 9 | 0.418 % | 8.09/8.13 c =============================================================================== 8.09/8.13 c core #275 8.09/8.13 c Core size: 154 Core Weight: 1 Total Weight: -272 8.09/8.13 c Elapsed CPU time: 7.97279 s Remaining CPU time: 1792.03 s 8.09/8.14 c ============================[ Search Statistics ]============================== 8.09/8.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.09/8.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.09/8.14 c =============================================================================== 8.09/8.14 c | 0 | 4848 3277 13416 | 5000 0 nan | 0.000 % | 8.09/8.14 c | 101 | 4848 3277 13416 | 5500 101 9 | 0.329 % | 8.09/8.14 c =============================================================================== 8.09/8.14 c core #276 8.09/8.14 c Core size: 88 Core Weight: 1 Total Weight: -271 8.09/8.14 c Elapsed CPU time: 7.98979 s Remaining CPU time: 1792.01 s 8.09/8.15 c ============================[ Search Statistics ]============================== 8.09/8.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.09/8.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.09/8.15 c =============================================================================== 8.09/8.15 c | 0 | 4902 3279 13526 | 5000 0 nan | 0.000 % | 8.09/8.16 c | 101 | 4900 3279 13526 | 5500 101 17 | 0.366 % | 8.09/8.16 c =============================================================================== 8.09/8.16 c core #277 8.09/8.16 c Core size: 68 Core Weight: 1 Total Weight: -270 8.09/8.16 c Elapsed CPU time: 8.00878 s Remaining CPU time: 1791.99 s 8.09/8.17 c ============================[ Search Statistics ]============================== 8.09/8.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.09/8.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.09/8.17 c =============================================================================== 8.09/8.17 c | 0 | 4940 3280 13602 | 5000 0 nan | 0.000 % | 8.09/8.18 c =============================================================================== 8.09/8.18 c core #278 8.09/8.18 c Core size: 8 Core Weight: 1 Total Weight: -269 8.09/8.18 c Elapsed CPU time: 8.02278 s Remaining CPU time: 1791.98 s 8.09/8.19 c ============================[ Search Statistics ]============================== 8.09/8.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.09/8.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.09/8.19 c =============================================================================== 8.09/8.19 c | 0 | 4946 3281 13614 | 5000 0 nan | 0.000 % | 8.18/8.20 c | 100 | 4946 3281 13614 | 5500 100 60 | 0.323 % | 8.18/8.21 c | 251 | 4946 3281 13614 | 6050 251 48 | 0.322 % | 8.18/8.23 c | 477 | 4946 3281 13614 | 6655 477 52 | 0.322 % | 8.18/8.26 c | 815 | 4946 3281 13614 | 7320 815 43 | 0.322 % | 8.18/8.28 c =============================================================================== 8.18/8.28 c core #279 8.18/8.28 c Core size: 168 Core Weight: 1 Total Weight: -268 8.18/8.28 c Elapsed CPU time: 8.11876 s Remaining CPU time: 1791.88 s 8.18/8.29 c ============================[ Search Statistics ]============================== 8.18/8.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.18/8.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.18/8.29 c =============================================================================== 8.18/8.29 c | 0 | 5071 3283 13898 | 5000 0 nan | 0.000 % | 8.29/8.30 c | 101 | 5071 3283 13898 | 5500 101 11 | 0.217 % | 8.29/8.30 c =============================================================================== 8.29/8.30 c core #280 8.29/8.30 c Core size: 124 Core Weight: 1 Total Weight: -267 8.29/8.30 c Elapsed CPU time: 8.14076 s Remaining CPU time: 1791.86 s 8.29/8.31 c ============================[ Search Statistics ]============================== 8.29/8.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.29/8.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.29/8.31 c =============================================================================== 8.29/8.31 c | 0 | 5150 3284 14056 | 5000 0 nan | 0.000 % | 8.29/8.32 c | 102 | 5150 3284 14056 | 5500 102 15 | 0.213 % | 8.29/8.33 c | 252 | 5149 3284 14056 | 6050 251 13 | 0.233 % | 8.29/8.33 c =============================================================================== 8.29/8.33 c core #281 8.29/8.33 c Core size: 68 Core Weight: 1 Total Weight: -266 8.29/8.33 c Elapsed CPU time: 8.16676 s Remaining CPU time: 1791.83 s 8.29/8.34 c ============================[ Search Statistics ]============================== 8.29/8.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.29/8.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.29/8.34 c =============================================================================== 8.29/8.34 c | 0 | 5199 3285 14154 | 5000 0 nan | 0.000 % | 8.29/8.35 c | 102 | 5199 3285 14154 | 5500 102 18 | 0.211 % | 8.29/8.35 c | 252 | 5199 3285 14154 | 6050 252 14 | 0.211 % | 8.29/8.36 c =============================================================================== 8.29/8.36 c core #282 8.29/8.36 c Core size: 154 Core Weight: 1 Total Weight: -265 8.29/8.36 c Elapsed CPU time: 8.19675 s Remaining CPU time: 1791.8 s 8.29/8.37 c ============================[ Search Statistics ]============================== 8.29/8.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.29/8.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.29/8.37 c =============================================================================== 8.29/8.37 c | 0 | 5306 3286 14379 | 5000 0 nan | 0.000 % | 8.29/8.38 c | 100 | 5306 3286 14379 | 5500 100 15 | 0.169 % | 8.29/8.38 c =============================================================================== 8.29/8.38 c core #283 8.29/8.38 c Core size: 95 Core Weight: 1 Total Weight: -264 8.29/8.38 c Elapsed CPU time: 8.21475 s Remaining CPU time: 1791.79 s 8.29/8.39 c ============================[ Search Statistics ]============================== 8.29/8.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.29/8.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.29/8.39 c =============================================================================== 8.29/8.39 c | 0 | 5359 3287 14485 | 5000 0 nan | 0.000 % | 8.39/8.40 c | 100 | 5359 3287 14485 | 5500 100 17 | 0.168 % | 8.39/8.41 c | 250 | 5359 3287 14485 | 6050 250 12 | 0.559 % | 8.39/8.41 c =============================================================================== 8.39/8.41 c core #284 8.39/8.41 c Core size: 223 Core Weight: 1 Total Weight: -263 8.39/8.41 c Elapsed CPU time: 8.24475 s Remaining CPU time: 1791.76 s 8.39/8.42 c ============================[ Search Statistics ]============================== 8.39/8.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.39/8.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.39/8.42 c =============================================================================== 8.39/8.42 c | 0 | 5500 3288 14781 | 5000 0 nan | 0.000 % | 8.39/8.42 c =============================================================================== 8.39/8.42 c core #285 8.39/8.42 c Core size: 90 Core Weight: 1 Total Weight: -262 8.39/8.42 c Elapsed CPU time: 8.25874 s Remaining CPU time: 1791.74 s 8.39/8.44 c ============================[ Search Statistics ]============================== 8.39/8.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.39/8.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.39/8.44 c =============================================================================== 8.39/8.44 c | 0 | 5556 3289 14893 | 5000 0 nan | 0.000 % | 8.39/8.44 c | 100 | 5556 3289 14893 | 5500 100 23 | 0.126 % | 8.39/8.45 c | 250 | 5556 3289 14893 | 6050 250 18 | 0.126 % | 8.39/8.46 c | 475 | 5556 3289 14893 | 6655 475 16 | 0.126 % | 8.39/8.48 c | 812 | 5556 3289 14893 | 7320 812 17 | 0.126 % | 8.49/8.51 c | 1318 | 5556 3289 14893 | 8052 1318 16 | 0.126 % | 8.49/8.56 c | 2078 | 5556 3289 14893 | 8857 2078 16 | 0.126 % | 8.49/8.58 c =============================================================================== 8.49/8.60 c core #286 8.49/8.60 c Core size: 146 Core Weight: 1 Total Weight: -261 8.49/8.60 c Elapsed CPU time: 8.42272 s Remaining CPU time: 1791.58 s 8.59/8.61 c ============================[ Search Statistics ]============================== 8.59/8.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.59/8.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.59/8.61 c =============================================================================== 8.59/8.61 c | 0 | 5644 3290 15069 | 5000 0 nan | 0.000 % | 8.59/8.62 c | 103 | 5644 3290 15069 | 5500 103 17 | 0.124 % | 8.59/8.63 c | 253 | 5643 3290 15069 | 6050 253 16 | 0.159 % | 8.59/8.64 c | 480 | 5619 3290 15069 | 6655 476 17 | 0.566 % | 8.59/8.66 c =============================================================================== 8.59/8.66 c core #287 8.59/8.66 c Core size: 252 Core Weight: 1 Total Weight: -260 8.59/8.66 c Elapsed CPU time: 8.48671 s Remaining CPU time: 1791.51 s 8.59/8.67 c ============================[ Search Statistics ]============================== 8.59/8.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.59/8.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.59/8.67 c =============================================================================== 8.59/8.67 c | 0 | 5800 3291 15381 | 5000 0 nan | 0.000 % | 8.59/8.68 c | 100 | 5800 3291 15381 | 5500 100 12 | 0.121 % | 8.59/8.69 c =============================================================================== 8.59/8.69 c core #288 8.59/8.69 c Core size: 103 Core Weight: 1 Total Weight: -259 8.59/8.69 c Elapsed CPU time: 8.50571 s Remaining CPU time: 1791.49 s 8.59/8.70 c ============================[ Search Statistics ]============================== 8.59/8.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.59/8.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.59/8.70 c =============================================================================== 8.59/8.70 c | 0 | 5863 3292 15507 | 5000 0 nan | 0.000 % | 8.69/8.71 c | 100 | 5862 3292 15507 | 5500 100 20 | 0.153 % | 8.69/8.71 c | 252 | 5862 3292 15507 | 6050 252 15 | 0.153 % | 8.69/8.73 c | 477 | 5861 3292 15507 | 6655 475 16 | 0.153 % | 8.69/8.75 c | 815 | 5861 3292 15507 | 7320 813 14 | 0.153 % | 8.69/8.79 c | 1327 | 5861 3292 15507 | 8052 1325 17 | 0.153 % | 8.79/8.86 c | 2086 | 5861 3292 15507 | 8857 2084 19 | 0.153 % | 8.88/8.93 c =============================================================================== 8.88/8.95 c core #289 8.88/8.95 c Core size: 240 Core Weight: 1 Total Weight: -258 8.88/8.95 c Elapsed CPU time: 8.76067 s Remaining CPU time: 1791.24 s 8.88/8.96 c ============================[ Search Statistics ]============================== 8.88/8.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.88/8.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.88/8.96 c =============================================================================== 8.88/8.96 c | 0 | 6013 3293 15807 | 5000 0 nan | 0.000 % | 8.88/8.97 c | 104 | 6013 3293 15807 | 5500 104 34 | 0.116 % | 8.88/8.98 c | 256 | 6012 3293 15807 | 6050 255 29 | 0.133 % | 8.99/9.00 c | 482 | 6012 3293 15807 | 6655 481 26 | 0.133 % | 8.99/9.02 c | 820 | 6012 3293 15807 | 7320 819 24 | 0.133 % | 8.99/9.07 c | 1328 | 6012 3293 15807 | 8052 1327 25 | 0.133 % | 9.09/9.14 c | 2087 | 6012 3293 15807 | 8857 2086 23 | 0.133 % | 9.19/9.27 c | 3227 | 6012 3293 15807 | 9743 3226 27 | 0.133 % | 9.38/9.47 c | 4938 | 6012 3293 15807 | 10717 4937 29 | 0.133 % | 9.69/9.78 c | 7501 | 6012 3293 15807 | 11789 7500 28 | 0.133 % | 10.29/10.33 c | 11345 | 6008 3293 15807 | 12968 3445 20 | 0.199 % | 10.79/10.81 c =============================================================================== 10.89/10.94 c core #290 10.89/10.94 c Core size: 291 Core Weight: 1 Total Weight: -257 10.89/10.94 c Elapsed CPU time: 10.7174 s Remaining CPU time: 1789.28 s 10.89/10.96 c ============================[ Search Statistics ]============================== 10.89/10.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.89/10.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.89/10.96 c =============================================================================== 10.89/10.96 c | 0 | 6192 3297 16171 | 5000 0 nan | 0.000 % | 10.89/10.98 c | 100 | 6192 3297 16171 | 5500 100 26 | 0.113 % | 10.89/10.98 c | 251 | 6192 3297 16171 | 6050 251 20 | 0.113 % | 10.89/11.00 c | 477 | 6192 3297 16171 | 6655 477 17 | 0.113 % | 10.99/11.02 c | 816 | 6188 3297 16171 | 7320 814 18 | 0.194 % | 10.99/11.05 c | 1324 | 6187 3297 16171 | 8052 1321 20 | 0.194 % | 11.08/11.11 c | 2083 | 6187 3297 16171 | 8857 2080 22 | 0.194 % | 11.08/11.20 c | 3223 | 6187 3297 16171 | 9743 3220 22 | 0.194 % | 11.29/11.34 c | 4931 | 6187 3297 16171 | 10717 4928 23 | 0.194 % | 11.59/11.63 c | 7495 | 6186 3297 16171 | 11789 7275 24 | 0.210 % | 11.79/11.88 c =============================================================================== 11.89/11.96 c core #291 11.89/11.96 c Core size: 163 Core Weight: 1 Total Weight: -256 11.89/11.96 c Elapsed CPU time: 11.7212 s Remaining CPU time: 1788.28 s 11.89/11.99 c ============================[ Search Statistics ]============================== 11.89/11.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.89/11.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.89/11.99 c =============================================================================== 11.89/11.99 c | 0 | 6285 3302 16365 | 5000 0 nan | 0.000 % | 11.89/12.00 c | 102 | 6285 3302 16365 | 5500 102 70 | 0.111 % | 11.99/12.01 c | 252 | 6285 3302 16365 | 6050 252 56 | 0.111 % | 11.99/12.03 c | 477 | 6285 3302 16365 | 6655 477 47 | 0.111 % | 11.99/12.05 c | 814 | 6285 3302 16365 | 7320 814 38 | 0.111 % | 12.09/12.12 c | 1321 | 6285 3302 16365 | 8052 1321 45 | 0.111 % | 12.09/12.17 c | 2082 | 6285 3302 16365 | 8857 2082 37 | 0.111 % | 12.18/12.28 c | 3225 | 6283 3302 16365 | 9743 3224 36 | 0.143 % | 12.49/12.50 c | 4935 | 6283 3302 16365 | 10717 4934 34 | 0.143 % | 12.88/12.90 c | 7497 | 6283 3302 16365 | 11789 7496 36 | 0.143 % | 13.49/13.51 c | 11342 | 6283 3302 16365 | 12968 11341 36 | 0.143 % | 14.58/14.68 c | 17108 | 6283 3302 16365 | 14265 10569 36 | 0.143 % | 16.49/16.53 c | 25761 | 6281 3302 16365 | 15692 12036 39 | 0.175 % | 19.19/19.28 c | 38735 | 6281 3302 16365 | 17261 9206 42 | 0.175 % | 23.68/23.79 c | 58197 | 6281 3302 16365 | 18987 11291 44 | 0.175 % | 28.09/28.17 c =============================================================================== 28.88/28.95 c core #292 28.88/28.95 c Core size: 170 Core Weight: 1 Total Weight: -255 28.88/28.95 c Elapsed CPU time: 28.5077 s Remaining CPU time: 1771.49 s 28.98/29.03 c ============================[ Search Statistics ]============================== 28.98/29.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.98/29.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.98/29.03 c =============================================================================== 28.98/29.03 c | 0 | 6381 3304 16559 | 5000 0 nan | 0.000 % | 28.98/29.06 c | 102 | 6381 3304 16559 | 5500 102 13 | 0.110 % | 28.98/29.06 c =============================================================================== 28.98/29.06 c core #293 28.98/29.06 c Core size: 78 Core Weight: 1 Total Weight: -254 28.98/29.06 c Elapsed CPU time: 28.6196 s Remaining CPU time: 1771.38 s 28.98/29.07 c ============================[ Search Statistics ]============================== 28.98/29.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.98/29.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.98/29.07 c =============================================================================== 28.98/29.07 c | 0 | 6425 3305 16647 | 5000 0 nan | 0.000 % | 28.98/29.08 c | 100 | 6425 3305 16647 | 5500 100 19 | 0.109 % | 28.98/29.09 c | 250 | 6425 3305 16647 | 6050 250 20 | 0.109 % | 29.08/29.11 c | 475 | 6422 3305 16647 | 6655 446 20 | 0.155 % | 29.08/29.13 c | 812 | 6422 3305 16647 | 7320 783 17 | 0.155 % | 29.08/29.17 c | 1318 | 6422 3305 16647 | 8052 1289 17 | 0.155 % | 29.18/29.25 c | 2078 | 6422 3305 16647 | 8857 2049 23 | 0.155 % | 29.28/29.37 c | 3218 | 6422 3305 16647 | 9743 3189 26 | 0.155 % | 29.48/29.57 c | 4927 | 6422 3305 16647 | 10717 4898 34 | 0.155 % | 29.88/29.98 c | 7492 | 6422 3305 16647 | 11789 7463 40 | 0.155 % | 30.48/30.56 c | 11336 | 6422 3305 16647 | 12968 11307 41 | 0.155 % | 31.48/31.54 c | 17103 | 6422 3305 16647 | 14265 10556 39 | 0.155 % | 33.08/33.20 c | 25757 | 6422 3305 16647 | 15692 12024 46 | 0.155 % | 36.67/36.72 c | 38736 | 6422 3305 16647 | 17261 9198 44 | 0.155 % | 41.77/41.84 c | 58199 | 6422 3305 16647 | 18987 11190 49 | 0.155 % | 48.08/48.19 c =============================================================================== 49.27/49.34 c core #294 49.27/49.34 c Core size: 352 Core Weight: 1 Total Weight: -253 49.27/49.34 c Elapsed CPU time: 48.6756 s Remaining CPU time: 1751.32 s 49.38/49.45 c ============================[ Search Statistics ]============================== 49.38/49.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.38/49.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.38/49.45 c =============================================================================== 49.38/49.45 c | 0 | 6641 3306 17079 | 5000 0 nan | 0.000 % | 49.38/49.47 c | 101 | 6640 3306 17079 | 5500 101 11 | 0.135 % | 49.38/49.48 c =============================================================================== 49.38/49.48 c core #295 49.38/49.48 c Core size: 144 Core Weight: 1 Total Weight: -252 49.38/49.48 c Elapsed CPU time: 48.8086 s Remaining CPU time: 1751.19 s 49.38/49.49 c ============================[ Search Statistics ]============================== 49.38/49.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.38/49.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.38/49.49 c =============================================================================== 49.38/49.49 c | 0 | 6732 3307 17272 | 5000 0 nan | 0.000 % | 49.47/49.51 c | 100 | 6732 3307 17272 | 5500 100 51 | 0.074 % | 49.47/49.52 c | 250 | 6732 3307 17272 | 6050 250 45 | 0.074 % | 49.47/49.54 c | 476 | 6732 3307 17272 | 6655 476 30 | 0.074 % | 49.47/49.55 c =============================================================================== 49.47/49.55 c core #296 49.47/49.55 c Core size: 102 Core Weight: 1 Total Weight: -251 49.47/49.55 c Elapsed CPU time: 48.8776 s Remaining CPU time: 1751.12 s 49.47/49.57 c ============================[ Search Statistics ]============================== 49.47/49.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.47/49.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.47/49.57 c =============================================================================== 49.47/49.57 c | 0 | 6800 3308 17408 | 5000 0 nan | 0.000 % | 49.47/49.58 c | 100 | 6800 3308 17408 | 5500 100 52 | 0.074 % | 49.47/49.60 c | 255 | 6800 3308 17408 | 6050 255 47 | 0.073 % | 49.57/49.61 c | 483 | 6800 3308 17408 | 6655 483 32 | 0.073 % | 49.57/49.63 c | 822 | 6799 3308 17408 | 7320 782 27 | 0.088 % | 49.57/49.66 c | 1329 | 6799 3308 17408 | 8052 1289 23 | 0.088 % | 49.68/49.70 c | 2088 | 6799 3308 17408 | 8857 2048 20 | 0.088 % | 49.68/49.79 c | 3228 | 6795 3308 17408 | 9743 2255 19 | 0.147 % | 49.77/49.82 c =============================================================================== 49.77/49.85 c core #297 49.77/49.85 c Core size: 114 Core Weight: 1 Total Weight: -250 49.77/49.85 c Elapsed CPU time: 49.1585 s Remaining CPU time: 1750.84 s 49.77/49.87 c ============================[ Search Statistics ]============================== 49.77/49.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.77/49.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.77/49.87 c =============================================================================== 49.77/49.87 c | 0 | 6861 3309 17530 | 5000 0 nan | 0.000 % | 49.77/49.88 c =============================================================================== 49.77/49.88 c core #298 49.77/49.88 c Core size: 18 Core Weight: 1 Total Weight: -249 49.77/49.88 c Elapsed CPU time: 49.1865 s Remaining CPU time: 1750.81 s 49.77/49.89 c ============================[ Search Statistics ]============================== 49.77/49.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.77/49.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.77/49.89 c =============================================================================== 49.77/49.89 c | 0 | 6871 3310 17550 | 5000 0 nan | 0.000 % | 49.87/49.90 c | 102 | 6871 3310 17550 | 5500 102 16 | 0.073 % | 49.87/49.91 c | 252 | 6871 3310 17550 | 6050 252 13 | 0.073 % | 49.87/49.93 c | 477 | 6871 3310 17550 | 6655 477 17 | 0.073 % | 49.87/49.96 c | 815 | 6871 3310 17550 | 7320 815 17 | 0.073 % | 49.97/50.00 c | 1322 | 6871 3310 17550 | 8052 1322 15 | 0.073 % | 49.97/50.03 c =============================================================================== 49.97/50.04 c core #299 49.97/50.04 c Core size: 151 Core Weight: 1 Total Weight: -248 49.97/50.04 c Elapsed CPU time: 49.3375 s Remaining CPU time: 1750.66 s 49.97/50.06 c ============================[ Search Statistics ]============================== 49.97/50.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.97/50.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.97/50.06 c =============================================================================== 49.97/50.06 c | 0 | 6974 3311 17767 | 5000 0 nan | 0.000 % | 49.97/50.07 c | 100 | 6974 3311 17767 | 5500 100 51 | 0.043 % | 49.97/50.08 c | 250 | 6974 3311 17767 | 6050 250 44 | 0.043 % | 50.07/50.10 c | 476 | 6974 3311 17767 | 6655 476 43 | 0.043 % | 50.07/50.13 c | 814 | 6974 3311 17767 | 7320 814 44 | 0.043 % | 50.07/50.17 c | 1320 | 6972 3311 17767 | 8052 1319 36 | 0.072 % | 50.07/50.18 c =============================================================================== 50.07/50.19 c core #300 50.07/50.19 c Core size: 222 Core Weight: 1 Total Weight: -247 50.07/50.19 c Elapsed CPU time: 49.4735 s Remaining CPU time: 1750.53 s 50.17/50.20 c ============================[ Search Statistics ]============================== 50.17/50.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 50.17/50.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 50.17/50.20 c =============================================================================== 50.17/50.20 c | 0 | 7102 3313 18022 | 5000 0 nan | 0.000 % | 50.17/50.21 c | 100 | 7102 3313 18022 | 5500 100 19 | 0.042 % | 50.17/50.23 c | 250 | 7102 3313 18022 | 6050 250 18 | 0.042 % | 50.17/50.24 c | 475 | 7102 3313 18022 | 6655 475 17 | 0.042 % | 50.17/50.26 c | 812 | 7099 3313 18022 | 7320 805 17 | 0.084 % | 50.27/50.30 c | 1322 | 7099 3313 18022 | 8052 1315 17 | 0.084 % | 50.27/50.33 c =============================================================================== 50.27/50.33 c core #301 50.27/50.33 c Core size: 50 Core Weight: 1 Total Weight: -246 50.27/50.33 c Elapsed CPU time: 49.6155 s Remaining CPU time: 1750.38 s 50.27/50.35 c ============================[ Search Statistics ]============================== 50.27/50.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 50.27/50.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 50.27/50.35 c =============================================================================== 50.27/50.35 c | 0 | 7142 3314 18102 | 5000 0 nan | 0.000 % | 50.27/50.36 c | 100 | 7142 3314 18102 | 5500 100 14 | 0.042 % | 50.27/50.36 c =============================================================================== 50.27/50.36 c core #302 50.27/50.36 c Core size: 17 Core Weight: 1 Total Weight: -245 50.27/50.36 c Elapsed CPU time: 49.6445 s Remaining CPU time: 1750.36 s 50.27/50.38 c ============================[ Search Statistics ]============================== 50.27/50.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 50.27/50.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 50.27/50.38 c =============================================================================== 50.27/50.38 c | 0 | 7156 3315 18130 | 5000 0 nan | 0.000 % | 50.27/50.39 c | 100 | 7156 3315 18130 | 5500 100 25 | 0.042 % | 50.37/50.40 c | 250 | 7156 3315 18130 | 6050 250 19 | 0.042 % | 50.37/50.41 c =============================================================================== 50.37/50.41 c core #303 50.37/50.41 c Core size: 142 Core Weight: 1 Total Weight: -244 50.37/50.41 c Elapsed CPU time: 49.6854 s Remaining CPU time: 1750.31 s 50.37/50.42 c ============================[ Search Statistics ]============================== 50.37/50.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 50.37/50.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 50.37/50.42 c =============================================================================== 50.37/50.42 c | 0 | 7240 3316 18305 | 5000 0 nan | 0.000 % | 50.37/50.43 c | 100 | 7240 3316 18305 | 5500 100 15 | 0.028 % | 50.37/50.44 c | 253 | 7240 3316 18305 | 6050 253 14 | 0.028 % | 50.37/50.45 c | 479 | 7240 3316 18305 | 6655 479 14 | 0.028 % | 50.37/50.48 c | 816 | 7233 3316 18305 | 7320 583 13 | 0.152 % | 50.37/50.48 c =============================================================================== 50.37/50.49 c core #304 50.37/50.49 c Core size: 81 Core Weight: 1 Total Weight: -243 50.37/50.49 c Elapsed CPU time: 49.7634 s Remaining CPU time: 1750.24 s 50.47/50.50 c ============================[ Search Statistics ]============================== 50.47/50.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 50.47/50.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 50.47/50.50 c =============================================================================== 50.47/50.50 c | 0 | 7285 3317 18395 | 5000 0 nan | 0.000 % | 50.47/50.51 c | 100 | 7285 3317 18395 | 5500 100 16 | 0.027 % | 50.47/50.52 c | 250 | 7285 3317 18395 | 6050 250 19 | 0.027 % | 50.47/50.53 c | 475 | 7285 3317 18395 | 6655 475 18 | 0.027 % | 50.47/50.55 c | 814 | 7285 3317 18395 | 7320 814 18 | 0.027 % | 50.47/50.58 c | 1321 | 7285 3317 18395 | 8052 1321 20 | 0.027 % | 50.57/50.62 c | 2080 | 7284 3317 18395 | 8857 2078 18 | 0.041 % | 50.57/50.69 c | 3219 | 7282 3317 18395 | 9743 3113 16 | 0.069 % | 50.67/50.73 c =============================================================================== 50.67/50.75 c core #305 50.67/50.75 c Core size: 100 Core Weight: 1 Total Weight: -242 50.67/50.75 c Elapsed CPU time: 50.0174 s Remaining CPU time: 1749.98 s 50.67/50.77 c ============================[ Search Statistics ]============================== 50.67/50.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 50.67/50.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 50.67/50.77 c =============================================================================== 50.67/50.77 c | 0 | 7337 3318 18499 | 5000 0 nan | 0.000 % | 50.67/50.79 c | 100 | 7337 3318 18499 | 5500 100 46 | 0.027 % | 50.67/50.80 c | 254 | 7337 3318 18499 | 6050 254 49 | 0.027 % | 50.77/50.82 c | 479 | 7337 3318 18499 | 6655 479 69 | 0.027 % | 50.77/50.85 c | 819 | 7337 3318 18499 | 7320 819 64 | 0.027 % | 50.77/50.89 c | 1327 | 7337 3318 18499 | 8052 1327 54 | 0.027 % | 50.86/50.97 c | 2087 | 7337 3318 18499 | 8857 2087 52 | 0.027 % | 50.97/51.09 c | 3226 | 7337 3318 18499 | 9743 3226 51 | 0.027 % | 51.27/51.30 c | 4934 | 7337 3318 18499 | 10717 4934 52 | 0.027 % | 51.57/51.68 c | 7499 | 7337 3318 18499 | 11789 7499 55 | 0.027 % | 52.26/52.37 c | 11347 | 7337 3318 18499 | 12968 11347 62 | 0.027 % | 53.46/53.58 c | 17115 | 7337 3318 18499 | 14265 10565 68 | 0.027 % | 55.47/55.60 c | 25769 | 7337 3318 18499 | 15692 11981 62 | 0.027 % | 58.17/58.25 c | 38743 | 7337 3318 18499 | 17261 9107 52 | 0.027 % | 63.26/63.32 c | 58206 | 7337 3318 18499 | 18987 11089 50 | 0.027 % | 72.86/72.93 c | 87401 | 7337 3318 18499 | 20886 11520 62 | 0.027 % | 86.35/86.44 c | 131190 | 7337 3318 18499 | 22974 13143 63 | 0.027 % | 108.05/108.17 c | 196876 | 7337 3318 18499 | 25272 20970 65 | 0.027 % | 143.74/143.85 c | 295404 | 7336 3318 18499 | 27799 25343 65 | 0.041 % | 236.82/236.98 c | 443197 | 7336 3318 18499 | 30579 19286 66 | 0.041 % | 360.09/360.20 c | 664886 | 7336 3318 18499 | 33637 25089 88 | 0.041 % | 606.93/607.19 c | 997411 | 7336 3318 18499 | 37001 27730 80 | 0.041 % | 893.55/893.82 c | 1496199 | 7335 3318 18499 | 40701 23648 68 | 0.055 % | 1309.55/1309.95 c =============================================================================== 1347.64/1348.07 c core #306 1347.64/1348.07 c Core size: 177 Core Weight: 1 Total Weight: -241 1347.64/1348.07 c Elapsed CPU time: 1339.62 s Remaining CPU time: 460.384 s 1349.84/1350.29 c ============================[ Search Statistics ]============================== 1349.84/1350.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 1349.84/1350.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1349.84/1350.29 c =============================================================================== 1349.84/1350.29 c | 0 | 7436 3319 18697 | 5000 0 nan | 0.000 % | 1349.94/1350.39 c | 100 | 7436 3319 18697 | 5500 100 41 | 0.027 % | 1350.13/1350.57 c | 253 | 7436 3319 18697 | 6050 253 42 | 0.027 % | 1350.23/1350.63 c | 478 | 7436 3319 18697 | 6655 478 30 | 0.027 % | 1350.23/1350.68 c | 815 | 7436 3319 18697 | 7320 815 27 | 0.027 % | 1350.34/1350.76 c | 1322 | 7436 3319 18697 | 8052 1322 23 | 0.027 % | 1350.43/1350.86 c | 2082 | 7436 3319 18697 | 8857 2082 23 | 0.027 % | 1350.53/1350.95 c | 3223 | 7436 3319 18697 | 9743 3223 23 | 0.027 % | 1350.73/1351.11 c | 4932 | 7436 3319 18697 | 10717 4932 23 | 0.027 % | 1351.03/1351.43 c | 7495 | 7436 3319 18697 | 11789 7495 22 | 0.027 % | 1351.73/1352.15 c | 11339 | 7436 3319 18697 | 12968 11339 22 | 0.027 % | 1352.73/1353.10 c =============================================================================== 1352.93/1353.38 c core #307 1352.93/1353.38 c Core size: 95 Core Weight: 1 Total Weight: -240 1352.93/1353.38 c Elapsed CPU time: 1344.89 s Remaining CPU time: 455.11 s 1353.03/1353.42 c ============================[ Search Statistics ]============================== 1353.03/1353.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 1353.03/1353.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1353.03/1353.42 c =============================================================================== 1353.03/1353.42 c | 0 | 7486 3320 18797 | 5000 0 nan | 0.000 % | 1353.03/1353.44 c | 100 | 7486 3320 18797 | 5500 100 18 | 0.027 % | 1353.03/1353.46 c | 255 | 7486 3320 18797 | 6050 255 20 | 0.027 % | 1353.03/1353.47 c | 480 | 7486 3320 18797 | 6655 480 18 | 0.027 % | 1353.03/1353.48 c =============================================================================== 1353.03/1353.48 c core #308 1353.03/1353.48 c Core size: 57 Core Weight: 1 Total Weight: -239 1353.03/1353.48 c Elapsed CPU time: 1344.98 s Remaining CPU time: 455.016 s 1353.12/1353.50 c ============================[ Search Statistics ]============================== 1353.12/1353.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 1353.12/1353.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1353.12/1353.50 c =============================================================================== 1353.12/1353.50 c | 0 | 7526 3321 18877 | 5000 0 nan | 0.000 % | 1353.12/1353.51 c =============================================================================== 1353.12/1353.51 c core #309 1353.12/1353.51 c Core size: 34 Core Weight: 1 Total Weight: -238 1353.12/1353.51 c Elapsed CPU time: 1345 s Remaining CPU time: 454.996 s 1353.12/1353.52 c ============================[ Search Statistics ]============================== 1353.12/1353.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 1353.12/1353.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1353.12/1353.52 c =============================================================================== 1353.12/1353.52 c | 0 | 7545 3322 18915 | 5000 0 nan | 0.000 % | 1353.12/1353.54 c | 101 | 7545 3322 18915 | 5500 101 48 | 0.027 % | 1353.12/1353.55 c | 253 | 7545 3322 18915 | 6050 253 43 | 0.027 % | 1353.12/1353.56 c | 478 | 7545 3322 18915 | 6655 478 38 | 0.027 % | 1353.22/1353.60 c | 818 | 7545 3322 18915 | 7320 818 42 | 0.027 % | 1353.22/1353.66 c | 1330 | 7545 3322 18915 | 8052 1330 54 | 0.027 % | 1353.32/1353.74 c | 2089 | 7545 3322 18915 | 8857 2089 59 | 0.027 % | 1353.43/1353.87 c | 3228 | 7545 3322 18915 | 9743 3228 59 | 0.027 % | 1353.63/1354.08 c | 4936 | 7545 3322 18915 | 10717 4936 56 | 0.027 % | 1354.03/1354.43 c | 7500 | 7545 3322 18915 | 11789 7500 57 | 0.027 % | 1354.92/1355.38 c | 11346 | 7545 3322 18915 | 12968 11346 71 | 0.027 % | 1356.22/1356.67 c | 17113 | 7545 3322 18915 | 14265 10499 87 | 0.027 % | 1357.72/1358.19 c | 25764 | 7545 3322 18915 | 15692 11822 62 | 0.027 % | 1360.72/1361.12 c | 38739 | 7545 3322 18915 | 17261 8822 53 | 0.027 % | 1370.92/1371.32 c | 58203 | 7545 3322 18915 | 18987 10665 88 | 0.027 % | 1382.72/1383.16 c | 87396 | 7545 3322 18915 | 20886 11076 55 | 0.027 % | 1409.71/1410.18 c | 131185 | 7545 3322 18915 | 22974 12554 95 | 0.027 % | 1425.41/1425.83 c =============================================================================== 1425.41/1425.84 c core #310 1425.41/1425.84 c Core size: 54 Core Weight: 1 Total Weight: -237 1425.41/1425.84 c Elapsed CPU time: 1416.9 s Remaining CPU time: 383.104 s 1425.61/1426.03 c ============================[ Search Statistics ]============================== 1425.61/1426.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 1425.61/1426.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1425.61/1426.03 c =============================================================================== 1425.61/1426.03 c | 0 | 7574 3323 18973 | 5000 0 nan | 0.000 % | 1425.61/1426.09 c =============================================================================== 1425.61/1426.10 c core #311 1425.61/1426.10 c Core size: 52 Core Weight: 1 Total Weight: -236 1425.61/1426.10 c Elapsed CPU time: 1417.15 s Remaining CPU time: 382.847 s 1425.71/1426.12 c ============================[ Search Statistics ]============================== 1425.71/1426.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 1425.71/1426.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1425.71/1426.12 c =============================================================================== 1425.71/1426.12 c | 0 | 7603 3324 19031 | 5000 0 nan | 0.000 % | 1425.71/1426.14 c | 102 | 7603 3324 19031 | 5500 102 50 | 0.026 % | 1425.71/1426.15 c | 257 | 7603 3324 19031 | 6050 257 43 | 0.026 % | 1425.71/1426.16 c | 482 | 7603 3324 19031 | 6655 482 44 | 0.026 % | 1425.71/1426.19 c | 819 | 7603 3324 19031 | 7320 819 36 | 0.026 % | 1425.81/1426.23 c | 1330 | 7603 3324 19031 | 8052 1330 40 | 0.026 % | 1425.91/1426.30 c | 2089 | 7603 3324 19031 | 8857 2089 38 | 0.026 % | 1426.00/1426.42 c | 3231 | 7603 3324 19031 | 9743 3231 38 | 0.026 % | 1426.22/1426.63 c | 4943 | 7603 3324 19031 | 10717 4943 37 | 0.026 % | 1426.70/1427.12 c | 7505 | 7603 3324 19031 | 11789 7505 46 | 0.026 % | 1427.31/1427.77 c | 11350 | 7603 3324 19031 | 12968 11350 46 | 0.026 % | 1427.70/1428.16 c =============================================================================== 1427.70/1428.17 c core #312 1427.70/1428.17 c Core size: 138 Core Weight: 1 Total Weight: -235 1427.70/1428.17 c Elapsed CPU time: 1419.2 s Remaining CPU time: 380.805 s 1427.80/1428.22 c ============================[ Search Statistics ]============================== 1427.80/1428.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 1427.80/1428.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1427.80/1428.22 c =============================================================================== 1427.80/1428.22 c | 0 | 7692 3325 19209 | 5000 0 nan | 0.000 % | 1427.80/1428.24 c | 102 | 7692 3325 19209 | 5500 102 24 | 0.026 % | 1427.80/1428.25 c | 252 | 7692 3325 19209 | 6050 252 25 | 0.026 % | 1427.80/1428.26 c | 478 | 7692 3325 19209 | 6655 478 28 | 0.026 % | 1427.80/1428.29 c | 815 | 7692 3325 19209 | 7320 815 25 | 0.026 % | 1427.91/1428.32 c | 1321 | 7692 3325 19209 | 8052 1321 22 | 0.026 % | 1427.91/1428.39 c | 2081 | 7692 3325 19209 | 8857 2081 19 | 0.026 % | 1428.11/1428.50 c | 3222 | 7692 3325 19209 | 9743 3222 19 | 0.026 % | 1428.20/1428.66 c =============================================================================== 1428.30/1428.72 c core #313 1428.30/1428.72 c Core size: 282 Core Weight: 1 Total Weight: -234 1428.30/1428.72 c Elapsed CPU time: 1419.73 s Remaining CPU time: 380.27 s 1428.30/1428.75 c ============================[ Search Statistics ]============================== 1428.30/1428.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 1428.30/1428.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1428.30/1428.75 c =============================================================================== 1428.30/1428.75 c | 0 | 7848 3326 19521 | 5000 0 nan | 0.000 % | 1428.30/1428.77 c | 103 | 7848 3326 19521 | 5500 103 67 | 0.025 % | 1428.30/1428.77 c | 254 | 7848 3326 19521 | 6050 254 42 | 0.025 % | 1428.30/1428.79 c | 480 | 7848 3326 19521 | 6655 480 41 | 0.025 % | 1428.41/1428.82 c | 819 | 7848 3326 19521 | 7320 819 40 | 0.025 % | 1428.41/1428.87 c | 1325 | 7848 3326 19521 | 8052 1325 44 | 0.025 % | 1428.51/1428.94 c | 2084 | 7848 3326 19521 | 8857 2084 40 | 0.025 % | 1428.60/1429.07 c | 3223 | 7848 3326 19521 | 9743 3223 50 | 0.025 % | 1428.90/1429.32 c | 4933 | 7848 3326 19521 | 10717 4933 50 | 0.025 % | 1429.30/1429.77 c | 7495 | 7848 3326 19521 | 11789 7495 56 | 0.025 % | 1430.30/1430.71 c | 11339 | 7848 3326 19521 | 12968 11339 63 | 0.025 % | 1431.81/1432.25 c | 17106 | 7848 3326 19521 | 14265 10518 62 | 0.025 % | 1434.51/1434.97 c | 25756 | 7848 3326 19521 | 15692 11952 66 | 0.025 % | 1438.61/1439.05 c | 38730 | 7848 3326 19521 | 17261 8970 78 | 0.025 % | 1444.40/1444.80 c | 58192 | 7848 3326 19521 | 18987 10903 54 | 0.025 % | 1458.69/1459.19 c | 87385 | 7848 3326 19521 | 20886 11160 87 | 0.025 % | 1487.09/1487.54 c | 131174 | 7848 3326 19521 | 22974 12761 63 | 0.025 % | 1525.98/1526.40 c | 196862 | 7848 3326 19521 | 25272 20287 103 | 0.025 % | 1590.87/1591.31 c | 295388 | 7848 3326 19521 | 27799 15583 91 | 0.025 % | 1672.45/1672.97 c | 443182 | 7848 3326 19521 | 30579 16848 85 | 0.025 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876255-1245163247/watcher-1876255-1245163247 -o /tmp/evaluation-result-1876255-1245163247/solver-1876255-1245163247 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876255-1245163247.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.04 1.01 1.00 3/64 1753 /proc/meminfo: memFree=1856680/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=2580 CPUtime=0 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 220 0 0 0 0 0 0 0 18 0 1 0 183924984 2641920 204 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 645 205 126 292 0 339 0 [startup+0.0487921 s] /proc/loadavg: 1.04 1.01 1.00 3/64 1753 /proc/meminfo: memFree=1856680/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=3140 CPUtime=0.04 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 376 0 0 0 4 0 0 0 18 0 1 0 183924984 3215360 349 1992294400 134512640 135709839 4294956240 18446744073709551615 134574102 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 785 349 134 292 0 490 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3140 [startup+0.101798 s] /proc/loadavg: 1.04 1.01 1.00 3/64 1753 /proc/meminfo: memFree=1856680/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=3664 CPUtime=0.09 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 509 0 0 0 9 0 0 0 18 0 1 0 183924984 3751936 482 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 916 482 134 292 0 621 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3664 [startup+0.301818 s] /proc/loadavg: 1.04 1.01 1.00 3/64 1753 /proc/meminfo: memFree=1856680/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=5848 CPUtime=0.29 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 1058 0 0 0 29 0 0 0 19 0 1 0 183924984 5988352 1025 1992294400 134512640 135709839 4294956240 18446744073709551615 134605088 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 1462 1025 134 292 0 1167 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5848 [startup+0.701858 s] /proc/loadavg: 1.04 1.01 1.00 3/64 1753 /proc/meminfo: memFree=1856680/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=10604 CPUtime=0.69 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 2258 0 0 0 69 0 0 0 23 0 1 0 183924984 10858496 2191 1992294400 134512640 135709839 4294956240 18446744073709551615 135171015 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 2651 2191 135 292 0 2356 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10604 [startup+1.50194 s] /proc/loadavg: 1.04 1.01 1.00 3/65 1754 /proc/meminfo: memFree=1846688/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=14204 CPUtime=1.49 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 3232 0 0 0 145 4 0 0 25 0 1 0 183924984 14544896 3118 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 3551 3118 136 292 0 3256 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14204 [startup+3.1011 s] /proc/loadavg: 1.04 1.01 1.00 2/65 1754 /proc/meminfo: memFree=1843552/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=17452 CPUtime=3.09 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 4161 0 0 0 301 8 0 0 25 0 1 0 183924984 17870848 3946 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 4363 3946 136 292 0 4068 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17452 [startup+6.30143 s] /proc/loadavg: 1.04 1.01 1.00 2/65 1754 /proc/meminfo: memFree=1836960/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=23052 CPUtime=6.29 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 5531 0 0 0 617 12 0 0 25 0 1 0 183924984 23605248 5316 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 5763 5316 136 292 0 5468 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23052 [startup+12.7011 s] /proc/loadavg: 1.11 1.03 1.01 2/65 1754 /proc/meminfo: memFree=1829480/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=29012 CPUtime=12.68 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 7086 0 0 0 1243 25 0 0 25 0 1 0 183924984 29708288 6807 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 7253 6807 136 292 0 6958 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 29012 [startup+25.5014 s] /proc/loadavg: 1.09 1.03 1.00 2/65 1754 /proc/meminfo: memFree=1810472/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=48512 CPUtime=25.48 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 11966 0 0 0 2509 39 0 0 25 0 1 0 183924984 49676288 11687 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 12128 11687 136 292 0 11833 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 48512 [startup+51.102 s] /proc/loadavg: 1.05 1.02 1.00 2/65 1754 /proc/meminfo: memFree=1783848/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=74732 CPUtime=51.07 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 18501 0 0 0 5034 73 0 0 25 0 1 0 183924984 76525568 18222 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 18683 18222 136 292 0 18388 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 74732 [startup+102.305 s] /proc/loadavg: 1.06 1.03 1.00 2/65 1754 /proc/meminfo: memFree=1720872/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=137652 CPUtime=102.26 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 34258 0 0 0 10103 123 0 0 25 0 1 0 183924984 140955648 33979 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 34413 33979 136 292 0 34118 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 137652 [startup+162.301 s] /proc/loadavg: 1.06 1.04 1.00 2/65 1754 /proc/meminfo: memFree=1651048/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=208012 CPUtime=162.24 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 51821 0 0 0 16054 170 0 0 25 0 1 0 183924984 213004288 51542 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 52003 51542 136 292 0 51708 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 208012 [startup+222.301 s] /proc/loadavg: 1.05 1.04 1.00 2/65 1754 /proc/meminfo: memFree=1599592/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=258892 CPUtime=222.23 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 64484 0 0 0 22020 203 0 0 25 0 1 0 183924984 265105408 64205 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 64723 64205 136 292 0 64428 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 258892 [startup+282.301 s] /proc/loadavg: 1.02 1.03 1.00 2/65 1754 /proc/meminfo: memFree=1541480/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=317592 CPUtime=282.2 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 79123 0 0 0 27980 240 0 0 25 0 1 0 183924984 325214208 78844 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 79398 78844 136 292 0 79103 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 317592 [startup+342.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 1754 /proc/meminfo: memFree=1492264/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=366304 CPUtime=342.19 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 91285 0 0 0 33945 274 0 0 25 0 1 0 183924984 375095296 91006 1992294400 134512640 135709839 4294956240 18446744073709551615 134573964 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 91576 91006 136 292 0 91281 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 366304 [startup+402.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 1754 /proc/meminfo: memFree=1452712/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=406472 CPUtime=402.18 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 101290 0 0 0 39917 301 0 0 25 0 1 0 183924984 416227328 101011 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 101618 101011 136 292 0 101323 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 406472 [startup+462.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 1754 /proc/meminfo: memFree=1419112/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=439420 CPUtime=462.16 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 109508 0 0 0 45896 320 0 0 25 0 1 0 183924984 449966080 109229 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 109855 109229 136 292 0 109560 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 439420 [startup+522.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 1754 /proc/meminfo: memFree=1382824/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=476204 CPUtime=522.15 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 118700 0 0 0 51868 347 0 0 25 0 1 0 183924984 487632896 118421 1992294400 134512640 135709839 4294956240 18446744073709551615 134573904 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 119051 118421 136 292 0 118756 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 476204 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1754 /proc/meminfo: memFree=1334568/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=524084 CPUtime=582.13 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 130618 0 0 0 57834 379 0 0 25 0 1 0 183924984 536662016 130339 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 131021 130339 136 292 0 130726 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 524084 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1754 /proc/meminfo: memFree=1282152/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=576112 CPUtime=642.12 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 143623 0 0 0 63794 418 0 0 25 0 1 0 183924984 589938688 143344 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 144028 143344 136 292 0 143733 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 576112 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1756 /proc/meminfo: memFree=1079976/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=778176 CPUtime=882.05 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 194075 0 0 0 87648 557 0 0 25 0 1 0 183924984 796852224 193796 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 194544 193796 136 292 0 194249 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 778176 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1756 /proc/meminfo: memFree=1040488/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=817632 CPUtime=942.04 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 203947 0 0 0 93619 585 0 0 25 0 1 0 183924984 837255168 203668 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 204408 203668 136 292 0 204113 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 817632 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1756 /proc/meminfo: memFree=997608/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=860644 CPUtime=1002.03 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 214650 0 0 0 99588 615 0 0 25 0 1 0 183924984 881299456 214371 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 215161 214371 136 292 0 214866 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 860644 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1756 /proc/meminfo: memFree=952616/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=905832 CPUtime=1062.01 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 225935 0 0 0 105556 645 0 0 25 0 1 0 183924984 927571968 225656 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 226458 225656 136 292 0 226163 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 905832 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1756 /proc/meminfo: memFree=903080/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=954860 CPUtime=1122 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 238199 0 0 0 111514 686 0 0 25 0 1 0 183924984 977776640 237920 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 238715 237920 136 292 0 238420 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 954860 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1756 /proc/meminfo: memFree=848552/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=1009896 CPUtime=1181.98 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 251926 0 0 0 117468 730 0 0 25 0 1 0 183924984 1034133504 251647 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 252474 251647 136 292 0 252179 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1009896 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1762 /proc/meminfo: memFree=804200/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=1053648 CPUtime=1241.96 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 262857 0 0 0 123435 761 0 0 25 0 1 0 183924984 1078935552 262578 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 263412 262578 136 292 0 263117 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1053648 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1762 /proc/meminfo: memFree=751144/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=1106264 CPUtime=1301.95 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 275994 0 0 0 129396 799 0 0 25 0 1 0 183924984 1132814336 275715 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 276566 275715 136 292 0 276271 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1106264 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1762 /proc/meminfo: memFree=700008/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=1157116 CPUtime=1361.92 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 288764 0 0 0 135366 826 0 0 25 0 1 0 183924984 1184886784 288444 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 289279 288444 136 292 0 288984 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1157116 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1762 /proc/meminfo: memFree=699944/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=1157116 CPUtime=1421.91 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 288789 0 0 0 141337 854 0 0 25 0 1 0 183924984 1184886784 288469 1992294400 134512640 135709839 4294956240 18446744073709551615 134517610 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 289279 288469 136 292 0 288984 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1157116 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1762 /proc/meminfo: memFree=699880/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=1157116 CPUtime=1481.89 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 288806 0 0 0 147299 890 0 0 25 0 1 0 183924984 1184886784 288486 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 289279 288486 136 292 0 288984 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1157116 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1762 /proc/meminfo: memFree=699432/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=1157116 CPUtime=1541.87 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 288915 0 0 0 153272 915 0 0 25 0 1 0 183924984 1184886784 288595 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 289279 288595 136 292 0 288984 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1157116 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1762 /proc/meminfo: memFree=698536/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=1157116 CPUtime=1601.86 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 289132 0 0 0 159243 943 0 0 25 0 1 0 183924984 1184886784 288812 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 289279 288812 136 292 0 288984 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1157116 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1762 /proc/meminfo: memFree=669352/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=1186240 CPUtime=1661.84 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 296436 0 0 0 165208 976 0 0 25 0 1 0 183924984 1214709760 296116 1992294400 134512640 135709839 4294956240 18446744073709551615 134568552 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 296560 296116 136 292 0 296265 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1186240 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1762 /proc/meminfo: memFree=639528/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=1216416 CPUtime=1721.83 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 303957 0 0 0 171178 1005 0 0 25 0 1 0 183924984 1245609984 303637 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 304104 303637 136 292 0 303809 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1216416 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1762 /proc/meminfo: memFree=593512/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=1262036 CPUtime=1781.81 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 315352 0 0 0 177143 1038 0 0 25 0 1 0 183924984 1292324864 315032 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 315509 315032 136 292 0 315214 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1262036 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1762 /proc/meminfo: memFree=580968/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=1274416 CPUtime=1800.01 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4194304 318416 0 0 0 178952 1049 0 0 25 0 1 0 183924984 1305001984 318096 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 318604 318096 136 292 0 318309 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1274416 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1763 /proc/meminfo: memFree=1207520/2055920 swapFree=4182564/4192956 [pid=1753] ppid=1751 vsize=0 CPUtime=1800.11 /proc/1753/stat : 1753 (wbo) R 1751 1753 1550 0 -1 4195332 318416 0 0 0 178952 1059 0 0 25 0 1 0 183924984 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/1753/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.7 CPU time (s): 1800.22 CPU user time (s): 1789.53 CPU system time (s): 10.6914 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 1274416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.53 system time used= 10.6914 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 318416 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= 2 involuntary context switches= 3413 runsolver used 1.61075 second user time and 3.43948 second system time The end
Begin job on node17 at 2009-06-16 16:40:47 IDJOB=1876255 IDBENCH=2229 IDSOLVER=698 FILE ID=node17/1876255-1245163247 PBS_JOBID= 9363853 Free space on /tmp= 66356 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876255-1245163247/watcher-1876255-1245163247 -o /tmp/evaluation-result-1876255-1245163247/solver-1876255-1245163247 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876255-1245163247.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 09000b526c4cf3fc454b31cbb57a970b RANDOM SEED=947680849 node17.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1857160 kB Buffers: 37552 kB Cached: 92932 kB SwapCached: 4224 kB Active: 41972 kB Inactive: 96484 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1857160 kB SwapTotal: 4192956 kB SwapFree: 4182564 kB Dirty: 2624 kB Writeback: 0 kB Mapped: 13724 kB Slab: 46284 kB Committed_AS: 165124 kB PageTables: 1456 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876255-1245163247.opb Free space on /tmp at the end= 66356 MiB End job on node17 at 2009-06-16 17:10:50