Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.21 | 1800.67 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb |
MD5SUM | 8f571153d6467ee7e7ad42bf78d06f61 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 200 |
Best CPU time to get the best result obtained on this benchmark | 0.008997 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 200 |
Optimality of the best value was proved | YES |
Number of variables | 400 |
Total number of constraints | 520 |
Number of constraints which are clauses | 519 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 400 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 400 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
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-1876185-1245153270.opb. 0.00/0.00 c Instance file HOME/instance-1876185-1245153270.opb 0.00/0.00 c File size is 17634 bytes. 0.00/0.00 c Highest Coefficient sum: 4 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 400 | 0.00/0.00 c | Number Clauses: 919 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 1 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 1 0.00/0.00 c Elapsed CPU time: 0.002999 s Remaining CPU time: 1800 s 0.00/0.00 c core #2 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 2 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 1800 s 0.00/0.00 c core #3 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 3 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 1800 s 0.00/0.00 c core #4 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 4 0.00/0.00 c Elapsed CPU time: 0.004999 s Remaining CPU time: 1800 s 0.00/0.00 c core #5 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 5 0.00/0.00 c Elapsed CPU time: 0.005999 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #6 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 6 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #7 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 7 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #8 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 8 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #9 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 9 0.00/0.00 c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #10 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 10 0.00/0.01 c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #11 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 11 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #12 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 12 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #13 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 13 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #14 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 14 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #15 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 15 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #16 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 16 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #17 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 17 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #18 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 18 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #19 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 19 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #20 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 20 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #21 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 21 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #22 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 22 0.00/0.01 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #23 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 23 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #24 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 24 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #25 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 25 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #26 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 26 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #27 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 27 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #28 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 28 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #29 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 29 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #30 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 30 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #31 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 31 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #32 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 32 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #33 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 33 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #34 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 34 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #35 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 35 0.00/0.02 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #36 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 36 0.00/0.03 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #37 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 37 0.00/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #38 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 38 0.00/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #39 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 39 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #40 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 40 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #41 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 41 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #42 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 42 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #43 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 43 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #44 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 44 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #45 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 45 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #46 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 46 0.00/0.03 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #47 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 47 0.00/0.03 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #48 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 48 0.00/0.04 c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #49 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 49 0.00/0.04 c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #50 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 50 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #51 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 51 0.00/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #52 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 52 0.00/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #53 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 53 0.00/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #54 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 54 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #55 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 55 0.00/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #56 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 56 0.00/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 1799.95 s 0.00/0.04 c core #57 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 57 0.00/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.00/0.04 c core #58 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 58 0.00/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #59 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 59 0.00/0.05 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #60 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 60 0.00/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #61 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 61 0.00/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #62 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 62 0.00/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #63 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 63 0.00/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #64 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 64 0.00/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #65 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 65 0.00/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #66 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 66 0.00/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #67 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 67 0.00/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.00/0.05 c core #68 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 68 0.00/0.05 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s 0.00/0.05 c core #69 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 69 0.00/0.05 c Elapsed CPU time: 0.057991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #70 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 70 0.00/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #71 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 71 0.00/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #72 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 72 0.00/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #73 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 73 0.00/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #74 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 74 0.00/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #75 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 75 0.00/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #76 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 76 0.00/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #77 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 77 0.00/0.06 c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s 0.00/0.06 c core #78 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 78 0.00/0.06 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 0.00/0.06 c core #79 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 79 0.00/0.06 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #80 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 80 0.00/0.07 c Elapsed CPU time: 0.068989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #81 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 81 0.00/0.07 c Elapsed CPU time: 0.069989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #82 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 82 0.00/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #83 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 83 0.00/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #84 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 84 0.00/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #85 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 85 0.00/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #86 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 86 0.00/0.07 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #87 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 87 0.00/0.07 c Elapsed CPU time: 0.075988 s Remaining CPU time: 1799.92 s 0.00/0.07 c core #88 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 88 0.00/0.07 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #89 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 89 0.00/0.08 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #90 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 90 0.00/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #91 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 91 0.00/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #92 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 92 0.00/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #93 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 93 0.00/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #94 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 94 0.00/0.08 c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #95 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 95 0.00/0.08 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #96 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 96 0.00/0.08 c Elapsed CPU time: 0.085986 s Remaining CPU time: 1799.91 s 0.00/0.08 c core #97 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 97 0.00/0.08 c Elapsed CPU time: 0.086986 s Remaining CPU time: 1799.91 s 0.00/0.08 c core #98 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 98 0.00/0.08 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #99 0.00/0.09 c Core size: 4 Core Weight: 1 Total Weight: 99 0.00/0.09 c Elapsed CPU time: 0.088986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #100 0.00/0.09 c Core size: 4 Core Weight: 1 Total Weight: 100 0.00/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #101 0.00/0.09 c Core size: 4 Core Weight: 1 Total Weight: 101 0.00/0.09 c Elapsed CPU time: 0.090986 s Remaining CPU time: 1799.91 s 0.09/0.09 c core #102 0.09/0.09 c Core size: 4 Core Weight: 1 Total Weight: 102 0.09/0.09 c Elapsed CPU time: 0.091986 s Remaining CPU time: 1799.91 s 0.09/0.09 c core #103 0.09/0.09 c Core size: 3 Core Weight: 1 Total Weight: 103 0.09/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.09/0.09 c core #104 0.09/0.09 c Core size: 4 Core Weight: 1 Total Weight: 104 0.09/0.09 c Elapsed CPU time: 0.093985 s Remaining CPU time: 1799.91 s 0.09/0.09 c core #105 0.09/0.09 c Core size: 12 Core Weight: 1 Total Weight: 105 0.09/0.09 c Elapsed CPU time: 0.094985 s Remaining CPU time: 1799.91 s 0.09/0.09 c core #106 0.09/0.09 c Core size: 12 Core Weight: 1 Total Weight: 106 0.09/0.09 c Elapsed CPU time: 0.096985 s Remaining CPU time: 1799.9 s 0.09/0.09 c core #107 0.09/0.09 c Core size: 10 Core Weight: 1 Total Weight: 107 0.09/0.09 c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #108 0.09/0.10 c Core size: 20 Core Weight: 1 Total Weight: 108 0.09/0.10 c Elapsed CPU time: 0.098984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #109 0.09/0.10 c Core size: 9 Core Weight: 1 Total Weight: 109 0.09/0.10 c Elapsed CPU time: 0.099984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #110 0.09/0.10 c Core size: 12 Core Weight: 1 Total Weight: 110 0.09/0.10 c Elapsed CPU time: 0.100984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #111 0.09/0.10 c Core size: 9 Core Weight: 1 Total Weight: 111 0.09/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #112 0.09/0.10 c Core size: 15 Core Weight: 1 Total Weight: 112 0.09/0.10 c Elapsed CPU time: 0.103984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #113 0.09/0.10 c Core size: 32 Core Weight: 1 Total Weight: 113 0.09/0.10 c Elapsed CPU time: 0.104984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #114 0.09/0.10 c Core size: 15 Core Weight: 1 Total Weight: 114 0.09/0.10 c Elapsed CPU time: 0.105983 s Remaining CPU time: 1799.89 s 0.09/0.10 c core #115 0.09/0.10 c Core size: 18 Core Weight: 1 Total Weight: 115 0.09/0.10 c Elapsed CPU time: 0.106983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #116 0.09/0.11 c Core size: 20 Core Weight: 1 Total Weight: 116 0.09/0.11 c Elapsed CPU time: 0.106983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #117 0.09/0.11 c Core size: 9 Core Weight: 1 Total Weight: 117 0.09/0.11 c Elapsed CPU time: 0.107983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #118 0.09/0.11 c Core size: 23 Core Weight: 1 Total Weight: 118 0.09/0.11 c Elapsed CPU time: 0.108983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #119 0.09/0.11 c Core size: 42 Core Weight: 1 Total Weight: 119 0.09/0.11 c Elapsed CPU time: 0.109983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #120 0.09/0.11 c Core size: 32 Core Weight: 1 Total Weight: 120 0.09/0.11 c Elapsed CPU time: 0.111982 s Remaining CPU time: 1799.89 s 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 823 1040 2591 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #121 0.09/0.11 c Core size: 25 Core Weight: 1 Total Weight: 121 0.09/0.11 c Elapsed CPU time: 0.112982 s Remaining CPU time: 1799.89 s 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 839 1041 2626 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #122 0.09/0.11 c Core size: 97 Core Weight: 1 Total Weight: 122 0.09/0.11 c Elapsed CPU time: 0.115982 s Remaining CPU time: 1799.88 s 0.09/0.12 c Learning 1 hard constraints 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 877 1043 2709 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #123 0.09/0.12 c Core size: 106 Core Weight: 1 Total Weight: 123 0.09/0.12 c Elapsed CPU time: 0.118981 s Remaining CPU time: 1799.88 s 0.09/0.12 c Learning 3 hard constraints 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 885 1047 2775 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #124 0.09/0.12 c Core size: 33 Core Weight: 1 Total Weight: 124 0.09/0.12 c Elapsed CPU time: 0.119981 s Remaining CPU time: 1799.88 s 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 898 1048 2803 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #125 0.09/0.12 c Core size: 98 Core Weight: 1 Total Weight: 125 0.09/0.12 c Elapsed CPU time: 0.122981 s Remaining CPU time: 1799.88 s 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 938 1049 2875 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #126 0.09/0.12 c Core size: 30 Core Weight: 1 Total Weight: 126 0.09/0.12 c Elapsed CPU time: 0.124981 s Remaining CPU time: 1799.88 s 0.09/0.13 c Learning 2 hard constraints 0.09/0.13 c core #127 0.09/0.13 c Core size: 29 Core Weight: 1 Total Weight: 127 0.09/0.13 c Elapsed CPU time: 0.12698 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #128 0.09/0.13 c Core size: 68 Core Weight: 1 Total Weight: 128 0.09/0.13 c Elapsed CPU time: 0.12798 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #129 0.09/0.13 c Core size: 95 Core Weight: 1 Total Weight: 129 0.09/0.13 c Elapsed CPU time: 0.12998 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #130 0.09/0.13 c Core size: 93 Core Weight: 1 Total Weight: 130 0.09/0.13 c Elapsed CPU time: 0.13098 s Remaining CPU time: 1799.87 s 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 827 1056 2928 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #131 0.09/0.13 c Core size: 127 Core Weight: 1 Total Weight: 131 0.09/0.13 c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 s 0.09/0.13 c Learning 2 hard constraints 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 861 1059 2974 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #132 0.09/0.13 c Core size: 106 Core Weight: 1 Total Weight: 132 0.09/0.13 c Elapsed CPU time: 0.135979 s Remaining CPU time: 1799.86 s 0.09/0.14 c Learning 1 hard constraints 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 886 1061 2999 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #133 0.09/0.14 c Core size: 106 Core Weight: 1 Total Weight: 133 0.09/0.14 c Elapsed CPU time: 0.137979 s Remaining CPU time: 1799.86 s 0.09/0.14 c Learning 2 hard constraints 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 853 1064 3018 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #134 0.09/0.14 c Core size: 179 Core Weight: 1 Total Weight: 134 0.09/0.14 c Elapsed CPU time: 0.139978 s Remaining CPU time: 1799.86 s 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 899 1065 3087 | 5000 0 nan | 0.000 % | 0.09/0.15 c | 102 | 883 1065 3087 | 5500 99 11 | 16.667 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #135 0.09/0.15 c Core size: 111 Core Weight: 1 Total Weight: 135 0.09/0.15 c Elapsed CPU time: 0.145977 s Remaining CPU time: 1799.85 s 0.09/0.15 c Learning 1 hard constraints 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 908 1067 3097 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #136 0.09/0.15 c Core size: 141 Core Weight: 1 Total Weight: 136 0.09/0.15 c Elapsed CPU time: 0.148977 s Remaining CPU time: 1799.85 s 0.09/0.15 c Learning 3 hard constraints 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 907 1071 3122 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #137 0.09/0.15 c Core size: 163 Core Weight: 1 Total Weight: 137 0.09/0.15 c Elapsed CPU time: 0.150977 s Remaining CPU time: 1799.85 s 0.09/0.15 c Learning 2 hard constraints 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 882 1074 3157 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #138 0.09/0.15 c Core size: 143 Core Weight: 1 Total Weight: 138 0.09/0.15 c Elapsed CPU time: 0.152976 s Remaining CPU time: 1799.85 s 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 902 1075 3179 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #139 0.09/0.16 c Core size: 170 Core Weight: 1 Total Weight: 139 0.09/0.16 c Elapsed CPU time: 0.155976 s Remaining CPU time: 1799.84 s 0.09/0.16 c Learning 1 hard constraints 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 918 1077 3214 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #140 0.09/0.16 c Core size: 228 Core Weight: 1 Total Weight: 140 0.09/0.16 c Elapsed CPU time: 0.160975 s Remaining CPU time: 1799.84 s 0.09/0.16 c Learning 2 hard constraints 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 952 1080 3282 | 5000 0 nan | 0.000 % | 0.09/0.17 c | 101 | 950 1080 3282 | 5500 99 10 | 17.031 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #141 0.09/0.17 c Core size: 418 Core Weight: 1 Total Weight: 141 0.09/0.17 c Elapsed CPU time: 0.168974 s Remaining CPU time: 1799.83 s 0.09/0.17 c Learning 13 hard constraints 0.09/0.17 c ============================[ Search Statistics ]============================== 0.09/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 1066 1094 3521 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #142 0.09/0.17 c Core size: 192 Core Weight: 1 Total Weight: 142 0.09/0.17 c Elapsed CPU time: 0.172973 s Remaining CPU time: 1799.83 s 0.09/0.18 c Learning 3 hard constraints 0.09/0.18 c core #143 0.09/0.18 c Core size: 195 Core Weight: 1 Total Weight: 143 0.09/0.18 c Elapsed CPU time: 0.174973 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #144 0.09/0.18 c Core size: 233 Core Weight: 1 Total Weight: 144 0.09/0.18 c Elapsed CPU time: 0.176973 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #145 0.09/0.18 c Core size: 259 Core Weight: 1 Total Weight: 145 0.09/0.18 c Elapsed CPU time: 0.178972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #146 0.09/0.18 c Core size: 272 Core Weight: 1 Total Weight: 146 0.09/0.18 c Elapsed CPU time: 0.180972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #147 0.09/0.19 c Core size: 282 Core Weight: 1 Total Weight: 147 0.09/0.19 c Elapsed CPU time: 0.183972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #148 0.09/0.19 c Core size: 296 Core Weight: 1 Total Weight: 148 0.09/0.19 c Elapsed CPU time: 0.185971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #149 0.09/0.19 c Core size: 322 Core Weight: 1 Total Weight: 149 0.09/0.19 c Elapsed CPU time: 0.187971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #150 0.09/0.19 c Core size: 334 Core Weight: 1 Total Weight: 150 0.09/0.19 c Elapsed CPU time: 0.19097 s Remaining CPU time: 1799.81 s 0.09/0.20 c core #151 0.09/0.20 c Core size: 342 Core Weight: 1 Total Weight: 151 0.09/0.20 c Elapsed CPU time: 0.19297 s Remaining CPU time: 1799.81 s 0.19/0.20 c core #152 0.19/0.20 c Core size: 346 Core Weight: 1 Total Weight: 152 0.19/0.20 c Elapsed CPU time: 0.19497 s Remaining CPU time: 1799.81 s 0.19/0.20 c core #153 0.19/0.20 c Core size: 352 Core Weight: 1 Total Weight: 153 0.19/0.20 c Elapsed CPU time: 0.197969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #154 0.19/0.20 c Core size: 386 Core Weight: 1 Total Weight: 154 0.19/0.20 c Elapsed CPU time: 0.199969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #155 0.19/0.20 c Core size: 345 Core Weight: 1 Total Weight: 155 0.19/0.20 c Elapsed CPU time: 0.202969 s Remaining CPU time: 1799.8 s 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 737 1111 3641 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #156 0.19/0.21 c Core size: 270 Core Weight: 1 Total Weight: 156 0.19/0.21 c Elapsed CPU time: 0.205968 s Remaining CPU time: 1799.79 s 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 744 1112 3649 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #157 0.19/0.21 c Core size: 381 Core Weight: 1 Total Weight: 157 0.19/0.21 c Elapsed CPU time: 0.209968 s Remaining CPU time: 1799.79 s 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 752 1113 3665 | 5000 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #158 0.19/0.22 c Core size: 385 Core Weight: 1 Total Weight: 158 0.19/0.22 c Elapsed CPU time: 0.213967 s Remaining CPU time: 1799.79 s 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 762 1114 3685 | 5000 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #159 0.19/0.22 c Core size: 393 Core Weight: 1 Total Weight: 159 0.19/0.22 c Elapsed CPU time: 0.218966 s Remaining CPU time: 1799.78 s 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 777 1115 3715 | 5000 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #160 0.19/0.23 c Core size: 365 Core Weight: 1 Total Weight: 160 0.19/0.23 c Elapsed CPU time: 0.222966 s Remaining CPU time: 1799.78 s 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 786 1116 3733 | 5000 0 nan | 0.000 % | 0.19/0.23 c | 101 | 786 1116 3733 | 5500 101 14 | 41.605 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #161 0.19/0.23 c Core size: 366 Core Weight: 1 Total Weight: 161 0.19/0.23 c Elapsed CPU time: 0.230964 s Remaining CPU time: 1799.77 s 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 795 1117 3751 | 5000 0 nan | 0.000 % | 0.19/0.24 c | 100 | 791 1117 3751 | 5500 99 18 | 41.624 % | 0.19/0.25 c | 253 | 791 1117 3751 | 6050 252 21 | 41.624 % | 0.19/0.26 c | 481 | 791 1117 3751 | 6655 480 22 | 41.624 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #162 0.19/0.27 c Core size: 367 Core Weight: 1 Total Weight: 162 0.19/0.27 c Elapsed CPU time: 0.266959 s Remaining CPU time: 1799.73 s 0.19/0.28 c ============================[ Search Statistics ]============================== 0.19/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.28 c =============================================================================== 0.19/0.28 c | 0 | 804 1118 3769 | 5000 0 nan | 0.000 % | 0.19/0.28 c | 101 | 804 1118 3769 | 5500 101 24 | 41.056 % | 0.19/0.29 c | 251 | 799 1118 3769 | 6050 250 26 | 41.422 % | 0.29/0.30 c | 476 | 799 1118 3769 | 6655 475 27 | 41.422 % | 0.29/0.32 c | 813 | 799 1118 3769 | 7320 804 27 | 41.422 % | 0.29/0.37 c | 1319 | 792 1118 3769 | 8052 1244 27 | 41.936 % | 0.39/0.40 c =============================================================================== 0.39/0.41 c core #163 0.39/0.41 c Core size: 390 Core Weight: 1 Total Weight: 163 0.39/0.41 c Elapsed CPU time: 0.394939 s Remaining CPU time: 1799.61 s 0.39/0.41 c ============================[ Search Statistics ]============================== 0.39/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.41 c =============================================================================== 0.39/0.41 c | 0 | 820 1119 3801 | 5000 0 nan | 0.000 % | 0.39/0.41 c | 101 | 820 1119 3801 | 5500 101 29 | 40.580 % | 0.39/0.42 c | 252 | 820 1119 3801 | 6050 252 32 | 40.580 % | 0.39/0.43 c | 478 | 820 1119 3801 | 6655 478 34 | 40.580 % | 0.39/0.46 c | 816 | 820 1119 3801 | 7320 816 36 | 40.580 % | 0.49/0.52 c | 1322 | 820 1119 3801 | 8052 1322 38 | 40.580 % | 0.59/0.64 c | 2083 | 820 1119 3801 | 8857 2083 39 | 40.580 % | 0.79/0.80 c | 3225 | 815 1119 3801 | 9743 3167 40 | 41.232 % | 1.10/1.19 c | 4935 | 812 1119 3801 | 10717 4877 41 | 41.884 % | 1.39/1.47 c =============================================================================== 1.49/1.51 c core #164 1.49/1.51 c Core size: 409 Core Weight: 1 Total Weight: 164 1.49/1.51 c Elapsed CPU time: 1.49177 s Remaining CPU time: 1798.51 s 1.49/1.52 c ============================[ Search Statistics ]============================== 1.49/1.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.52 c =============================================================================== 1.49/1.52 c | 0 | 843 1120 3847 | 5000 0 nan | 0.000 % | 1.49/1.52 c | 101 | 843 1120 3847 | 5500 101 34 | 39.915 % | 1.49/1.53 c | 251 | 843 1120 3847 | 6050 251 29 | 39.915 % | 1.49/1.53 c =============================================================================== 1.49/1.53 c core #165 1.49/1.53 c Core size: 397 Core Weight: 1 Total Weight: 165 1.49/1.53 c Elapsed CPU time: 1.51077 s Remaining CPU time: 1798.49 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 | 857 1121 3875 | 5000 0 nan | 0.000 % | 1.49/1.54 c | 101 | 857 1121 3875 | 5500 101 34 | 39.520 % | 1.49/1.54 c =============================================================================== 1.49/1.54 c core #166 1.49/1.54 c Core size: 364 Core Weight: 1 Total Weight: 166 1.49/1.54 c Elapsed CPU time: 1.51977 s Remaining CPU time: 1798.48 s 1.49/1.54 c ============================[ Search Statistics ]============================== 1.49/1.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.54 c =============================================================================== 1.49/1.54 c | 0 | 862 1122 3885 | 5000 0 nan | 0.000 % | 1.49/1.55 c | 100 | 862 1122 3885 | 5500 100 35 | 39.381 % | 1.49/1.55 c | 256 | 862 1122 3885 | 6050 256 42 | 39.381 % | 1.49/1.56 c =============================================================================== 1.49/1.56 c core #167 1.49/1.56 c Core size: 397 Core Weight: 1 Total Weight: 167 1.49/1.56 c Elapsed CPU time: 1.54177 s Remaining CPU time: 1798.46 s 1.49/1.57 c ============================[ Search Statistics ]============================== 1.49/1.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.57 c =============================================================================== 1.49/1.57 c | 0 | 878 1123 3917 | 5000 0 nan | 0.000 % | 1.49/1.57 c | 100 | 878 1123 3917 | 5500 100 16 | 38.943 % | 1.49/1.58 c | 252 | 878 1123 3917 | 6050 252 19 | 38.943 % | 1.49/1.58 c =============================================================================== 1.49/1.58 c core #168 1.49/1.58 c Core size: 411 Core Weight: 1 Total Weight: 168 1.49/1.58 c Elapsed CPU time: 1.55776 s Remaining CPU time: 1798.44 s 1.49/1.58 c ============================[ Search Statistics ]============================== 1.49/1.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.58 c =============================================================================== 1.49/1.58 c | 0 | 895 1124 3951 | 5000 0 nan | 0.000 % | 1.49/1.59 c | 101 | 895 1124 3951 | 5500 101 34 | 38.488 % | 1.49/1.59 c | 252 | 895 1124 3951 | 6050 252 36 | 38.488 % | 1.60/1.61 c | 480 | 885 1124 3951 | 6655 479 47 | 39.450 % | 1.60/1.63 c | 818 | 885 1124 3951 | 7320 817 48 | 39.450 % | 1.60/1.68 c | 1324 | 881 1124 3951 | 8052 1322 48 | 39.450 % | 1.69/1.79 c | 2085 | 881 1124 3951 | 8857 2083 49 | 39.725 % | 1.99/2.06 c | 3226 | 873 1124 3951 | 9743 3222 50 | 40.000 % | 2.39/2.48 c | 4934 | 873 1124 3951 | 10717 4930 50 | 40.000 % | 3.30/3.36 c | 7496 | 873 1124 3951 | 11789 7492 50 | 40.000 % | 5.69/5.72 c | 11340 | 873 1124 3951 | 12968 11336 52 | 40.000 % | 7.79/7.85 c =============================================================================== 7.99/8.00 c core #169 7.99/8.00 c Core size: 410 Core Weight: 1 Total Weight: 169 7.99/8.00 c Elapsed CPU time: 7.94179 s Remaining CPU time: 1792.06 s 7.99/8.02 c ============================[ Search Statistics ]============================== 7.99/8.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.99/8.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.99/8.02 c =============================================================================== 7.99/8.02 c | 0 | 917 1125 3995 | 5000 0 nan | 0.000 % | 7.99/8.03 c | 101 | 917 1125 3995 | 5500 101 39 | 37.915 % | 7.99/8.03 c =============================================================================== 7.99/8.03 c core #170 7.99/8.03 c Core size: 368 Core Weight: 1 Total Weight: 170 7.99/8.03 c Elapsed CPU time: 7.97179 s Remaining CPU time: 1792.03 s 7.99/8.04 c ============================[ Search Statistics ]============================== 7.99/8.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.99/8.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.99/8.04 c =============================================================================== 7.99/8.04 c | 0 | 924 1126 4009 | 5000 0 nan | 0.000 % | 7.99/8.04 c | 101 | 924 1126 4009 | 5500 101 39 | 37.736 % | 7.99/8.05 c =============================================================================== 7.99/8.05 c core #171 7.99/8.05 c Core size: 406 Core Weight: 1 Total Weight: 171 7.99/8.05 c Elapsed CPU time: 7.98379 s Remaining CPU time: 1792.02 s 7.99/8.05 c ============================[ Search Statistics ]============================== 7.99/8.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.99/8.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.99/8.05 c =============================================================================== 7.99/8.05 c | 0 | 970 1127 4041 | 5000 0 nan | 0.000 % | 7.99/8.05 c | 100 | 970 1127 4041 | 5500 100 32 | 35.333 % | 7.99/8.06 c | 251 | 970 1127 4041 | 6050 251 26 | 35.333 % | 7.99/8.07 c | 476 | 970 1127 4041 | 6655 476 27 | 35.333 % | 7.99/8.10 c | 817 | 966 1127 4041 | 7320 816 28 | 35.600 % | 8.09/8.14 c | 1324 | 966 1127 4041 | 8052 1323 29 | 35.600 % | 8.09/8.18 c =============================================================================== 8.09/8.19 c core #172 8.09/8.19 c Core size: 399 Core Weight: 1 Total Weight: 172 8.09/8.19 c Elapsed CPU time: 8.12176 s Remaining CPU time: 1791.88 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 | 984 1128 4069 | 5000 0 nan | 0.000 % | 8.19/8.20 c | 100 | 984 1128 4069 | 5500 100 32 | 35.007 % | 8.19/8.20 c =============================================================================== 8.19/8.20 c core #173 8.19/8.20 c Core size: 345 Core Weight: 1 Total Weight: 173 8.19/8.20 c Elapsed CPU time: 8.13276 s Remaining CPU time: 1791.87 s 8.19/8.20 c ============================[ Search Statistics ]============================== 8.19/8.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.19/8.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.19/8.20 c =============================================================================== 8.19/8.20 c | 0 | 1001 1129 4085 | 5000 0 nan | 0.000 % | 8.19/8.21 c | 100 | 1001 1129 4085 | 5500 100 35 | 34.231 % | 8.19/8.21 c =============================================================================== 8.19/8.21 c core #174 8.19/8.21 c Core size: 300 Core Weight: 1 Total Weight: 174 8.19/8.21 c Elapsed CPU time: 8.14676 s Remaining CPU time: 1791.85 s 8.19/8.22 c ============================[ Search Statistics ]============================== 8.19/8.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.19/8.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.19/8.22 c =============================================================================== 8.19/8.22 c | 0 | 1006 1130 4095 | 5000 0 nan | 0.000 % | 8.19/8.22 c | 100 | 1006 1130 4095 | 5500 100 26 | 34.119 % | 8.19/8.23 c | 251 | 1006 1130 4095 | 6050 251 33 | 34.119 % | 8.19/8.24 c | 476 | 1006 1130 4095 | 6655 476 36 | 34.119 % | 8.19/8.27 c | 814 | 1006 1130 4095 | 7320 814 38 | 34.119 % | 8.29/8.32 c | 1321 | 1006 1130 4095 | 8052 1321 39 | 34.119 % | 8.29/8.39 c | 2081 | 1006 1130 4095 | 8857 2081 42 | 34.119 % | 8.49/8.57 c | 3222 | 1006 1130 4095 | 9743 3222 45 | 34.119 % | 8.79/8.88 c | 4931 | 1006 1130 4095 | 10717 4931 47 | 34.119 % | 9.19/9.28 c =============================================================================== 9.29/9.32 c core #175 9.29/9.32 c Core size: 434 Core Weight: 1 Total Weight: 175 9.29/9.32 c Elapsed CPU time: 9.24659 s Remaining CPU time: 1790.75 s 9.29/9.33 c ============================[ Search Statistics ]============================== 9.29/9.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.29/9.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.29/9.33 c =============================================================================== 9.29/9.33 c | 0 | 1034 1131 4151 | 5000 0 nan | 0.000 % | 9.29/9.34 c | 102 | 1034 1131 4151 | 5500 102 38 | 33.505 % | 9.29/9.34 c | 253 | 1034 1131 4151 | 6050 253 39 | 33.505 % | 9.29/9.35 c | 478 | 1033 1131 4151 | 6655 475 38 | 33.569 % | 9.29/9.36 c =============================================================================== 9.29/9.36 c core #176 9.29/9.36 c Core size: 402 Core Weight: 1 Total Weight: 176 9.29/9.36 c Elapsed CPU time: 9.28959 s Remaining CPU time: 1790.71 s 9.29/9.37 c ============================[ Search Statistics ]============================== 9.29/9.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.29/9.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.29/9.37 c =============================================================================== 9.29/9.37 c | 0 | 1052 1132 4187 | 5000 0 nan | 0.000 % | 9.29/9.37 c | 101 | 1052 1132 4187 | 5500 101 24 | 33.121 % | 9.29/9.38 c | 252 | 1052 1132 4187 | 6050 252 28 | 33.121 % | 9.29/9.39 c | 478 | 1052 1132 4187 | 6655 478 38 | 33.121 % | 9.38/9.41 c | 816 | 1052 1132 4187 | 7320 816 42 | 33.121 % | 9.38/9.46 c | 1323 | 1052 1132 4187 | 8052 1323 49 | 33.121 % | 9.49/9.56 c | 2082 | 1052 1132 4187 | 8857 2082 48 | 33.121 % | 9.69/9.76 c | 3224 | 1052 1132 4187 | 9743 3224 51 | 33.121 % | 10.09/10.18 c | 4934 | 1052 1132 4187 | 10717 4934 52 | 33.121 % | 10.69/10.78 c | 7497 | 1052 1132 4187 | 11789 7497 52 | 33.121 % | 12.99/13.02 c | 11342 | 1052 1132 4187 | 12968 11342 52 | 33.121 % | 15.39/15.40 c | 17111 | 1052 1132 4187 | 14265 10319 49 | 33.121 % | 17.89/17.99 c =============================================================================== 18.19/18.27 c core #177 18.19/18.27 c Core size: 407 Core Weight: 1 Total Weight: 177 18.19/18.27 c Elapsed CPU time: 18.1302 s Remaining CPU time: 1781.87 s 18.19/18.29 c ============================[ Search Statistics ]============================== 18.19/18.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.19/18.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.19/18.29 c =============================================================================== 18.19/18.29 c | 0 | 1070 1133 4223 | 5000 0 nan | 0.000 % | 18.29/18.30 c | 100 | 1070 1133 4223 | 5500 100 36 | 32.747 % | 18.29/18.31 c | 250 | 1070 1133 4223 | 6050 250 46 | 32.747 % | 18.29/18.33 c | 475 | 1070 1133 4223 | 6655 475 48 | 32.747 % | 18.29/18.36 c | 814 | 1070 1133 4223 | 7320 814 57 | 32.747 % | 18.38/18.43 c | 1323 | 1070 1133 4223 | 8052 1323 61 | 32.747 % | 18.38/18.48 c | 2082 | 1070 1133 4223 | 8857 2082 56 | 32.747 % | 18.59/18.63 c | 3224 | 1070 1133 4223 | 9743 3224 56 | 32.747 % | 18.99/19.01 c | 4934 | 1070 1133 4223 | 10717 4934 57 | 32.747 % | 19.48/19.57 c | 7496 | 1070 1133 4223 | 11789 7496 58 | 32.747 % | 21.28/21.37 c | 11343 | 1070 1133 4223 | 12968 11343 59 | 32.747 % | 23.59/23.62 c | 17112 | 1070 1133 4223 | 14265 10333 58 | 32.747 % | 26.58/26.68 c | 25761 | 1070 1133 4223 | 15692 11563 59 | 32.747 % | 33.68/33.72 c | 38738 | 1070 1133 4223 | 17261 8263 64 | 32.747 % | 45.48/45.50 c | 58200 | 1070 1133 4223 | 18987 9780 62 | 32.747 % | 60.17/60.29 c | 87395 | 1070 1133 4223 | 20886 19327 71 | 32.747 % | 75.17/75.27 c =============================================================================== 75.17/75.30 c core #178 75.17/75.30 c Core size: 409 Core Weight: 1 Total Weight: 178 75.17/75.30 c Elapsed CPU time: 74.8426 s Remaining CPU time: 1725.16 s 75.37/75.41 c ============================[ Search Statistics ]============================== 75.37/75.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 75.37/75.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 75.37/75.41 c =============================================================================== 75.37/75.41 c | 0 | 1087 1134 4257 | 5000 0 nan | 0.000 % | 75.37/75.43 c =============================================================================== 75.37/75.43 c core #179 75.37/75.43 c Core size: 376 Core Weight: 1 Total Weight: 179 75.37/75.43 c Elapsed CPU time: 74.9776 s Remaining CPU time: 1725.02 s 75.37/75.44 c ============================[ Search Statistics ]============================== 75.37/75.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 75.37/75.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 75.37/75.44 c =============================================================================== 75.37/75.44 c | 0 | 1098 1135 4279 | 5000 0 nan | 0.000 % | 75.37/75.44 c | 102 | 1098 1135 4279 | 5500 102 36 | 32.180 % | 75.37/75.45 c =============================================================================== 75.37/75.45 c core #180 75.37/75.45 c Core size: 350 Core Weight: 1 Total Weight: 180 75.37/75.45 c Elapsed CPU time: 74.9916 s Remaining CPU time: 1725.01 s 75.37/75.45 c ============================[ Search Statistics ]============================== 75.37/75.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 75.37/75.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 75.37/75.45 c =============================================================================== 75.37/75.45 c | 0 | 1109 1136 4301 | 5000 0 nan | 0.000 % | 75.37/75.46 c | 103 | 1109 1136 4301 | 5500 103 37 | 31.963 % | 75.37/75.46 c | 253 | 1109 1136 4301 | 6050 253 38 | 31.963 % | 75.37/75.47 c | 480 | 1109 1136 4301 | 6655 480 39 | 31.963 % | 75.37/75.49 c | 819 | 1109 1136 4301 | 7320 819 42 | 31.963 % | 75.47/75.53 c | 1326 | 1109 1136 4301 | 8052 1326 48 | 31.963 % | 75.57/75.64 c | 2085 | 1109 1136 4301 | 8857 2085 53 | 31.963 % | 75.78/75.86 c | 3224 | 1109 1136 4301 | 9743 3224 57 | 31.963 % | 76.17/76.25 c | 4933 | 1109 1136 4301 | 10717 4933 60 | 31.963 % | 77.07/77.12 c | 7495 | 1109 1136 4301 | 11789 7495 62 | 31.963 % | 79.47/79.55 c | 11340 | 1109 1136 4301 | 12968 11340 65 | 31.963 % | 82.37/82.47 c | 17107 | 1109 1136 4301 | 14265 10269 64 | 31.963 % | 86.57/86.62 c | 25757 | 1109 1136 4301 | 15692 11494 64 | 31.963 % | 91.87/91.91 c | 38733 | 1109 1136 4301 | 17261 16322 65 | 31.963 % | 104.76/104.81 c | 58194 | 1109 1136 4301 | 18987 8941 74 | 31.963 % | 110.97/111.03 c =============================================================================== 111.07/111.18 c core #181 111.07/111.18 c Core size: 410 Core Weight: 1 Total Weight: 181 111.07/111.18 c Elapsed CPU time: 110.516 s Remaining CPU time: 1689.48 s 111.16/111.26 c ============================[ Search Statistics ]============================== 111.16/111.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 111.16/111.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 111.16/111.26 c =============================================================================== 111.16/111.26 c | 0 | 1126 1137 4335 | 5000 0 nan | 0.000 % | 111.16/111.28 c | 101 | 1126 1137 4335 | 5500 101 37 | 31.633 % | 111.16/111.28 c | 252 | 1126 1137 4335 | 6050 252 27 | 31.633 % | 111.26/111.30 c | 479 | 1126 1137 4335 | 6655 479 35 | 31.633 % | 111.26/111.32 c | 819 | 1126 1137 4335 | 7320 819 39 | 31.633 % | 111.26/111.37 c | 1325 | 1126 1137 4335 | 8052 1325 42 | 31.633 % | 111.36/111.43 c | 2084 | 1126 1137 4335 | 8857 2084 46 | 31.633 % | 111.46/111.58 c | 3224 | 1126 1137 4335 | 9743 3224 47 | 31.633 % | 111.76/111.89 c | 4933 | 1126 1137 4335 | 10717 4933 57 | 31.633 % | 112.36/112.44 c | 7495 | 1126 1137 4335 | 11789 7495 62 | 31.633 % | 112.96/113.02 c =============================================================================== 113.06/113.12 c core #182 113.06/113.12 c Core size: 419 Core Weight: 1 Total Weight: 182 113.06/113.12 c Elapsed CPU time: 112.428 s Remaining CPU time: 1687.57 s 113.06/113.14 c ============================[ Search Statistics ]============================== 113.06/113.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 113.06/113.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 113.06/113.14 c =============================================================================== 113.06/113.14 c | 0 | 1153 1138 4389 | 5000 0 nan | 0.000 % | 113.06/113.15 c | 101 | 1153 1138 4389 | 5500 101 38 | 31.123 % | 113.06/113.15 c | 252 | 1153 1138 4389 | 6050 252 28 | 31.123 % | 113.06/113.16 c | 477 | 1145 1138 4389 | 6655 476 22 | 33.454 % | 113.06/113.17 c =============================================================================== 113.06/113.17 c core #183 113.06/113.17 c Core size: 237 Core Weight: 1 Total Weight: 183 113.06/113.17 c Elapsed CPU time: 112.477 s Remaining CPU time: 1687.52 s 113.06/113.17 c ============================[ Search Statistics ]============================== 113.06/113.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 113.06/113.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 113.06/113.17 c =============================================================================== 113.06/113.17 c | 0 | 1165 1139 4413 | 5000 0 nan | 0.000 % | 113.06/113.18 c | 100 | 1165 1139 4413 | 5500 100 47 | 30.902 % | 113.06/113.18 c | 250 | 1165 1139 4413 | 6050 250 36 | 30.902 % | 113.06/113.19 c | 475 | 1165 1139 4413 | 6655 475 53 | 30.902 % | 113.16/113.21 c | 813 | 1165 1139 4413 | 7320 813 50 | 30.902 % | 113.16/113.27 c | 1319 | 1165 1139 4413 | 8052 1319 73 | 30.902 % | 113.26/113.36 c | 2078 | 1165 1139 4413 | 8857 2078 88 | 30.902 % | 113.36/113.48 c | 3217 | 1165 1139 4413 | 9743 3217 78 | 30.902 % | 113.56/113.69 c | 4925 | 1165 1139 4413 | 10717 4925 69 | 30.902 % | 113.96/114.08 c | 7488 | 1165 1139 4413 | 11789 7488 69 | 30.902 % | 115.26/115.32 c | 11332 | 1165 1139 4413 | 12968 11332 64 | 30.902 % | 117.06/117.15 c | 17101 | 1165 1139 4413 | 14265 10194 61 | 30.902 % | 121.06/121.17 c | 25750 | 1165 1139 4413 | 15692 11394 69 | 30.902 % | 125.85/125.91 c | 38725 | 1165 1139 4413 | 17261 16169 78 | 30.902 % | 130.36/130.48 c =============================================================================== 131.06/131.18 c core #184 131.06/131.18 c Core size: 425 Core Weight: 1 Total Weight: 184 131.06/131.18 c Elapsed CPU time: 130.36 s Remaining CPU time: 1669.64 s 131.16/131.25 c ============================[ Search Statistics ]============================== 131.16/131.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 131.16/131.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 131.16/131.25 c =============================================================================== 131.16/131.25 c | 0 | 1195 1140 4473 | 5000 0 nan | 0.000 % | 131.16/131.27 c | 100 | 1195 1140 4473 | 5500 100 31 | 30.361 % | 131.16/131.28 c | 251 | 1195 1140 4473 | 6050 251 33 | 30.361 % | 131.16/131.29 c | 476 | 1195 1140 4473 | 6655 476 35 | 30.361 % | 131.26/131.30 c | 813 | 1195 1140 4473 | 7320 813 33 | 30.361 % | 131.26/131.35 c | 1319 | 1195 1140 4473 | 8052 1319 46 | 30.361 % | 131.36/131.45 c | 2079 | 1195 1140 4473 | 8857 2079 54 | 30.361 % | 131.56/131.61 c | 3219 | 1195 1140 4473 | 9743 3219 58 | 30.361 % | 131.76/131.86 c | 4929 | 1195 1140 4473 | 10717 4929 62 | 30.361 % | 132.45/132.57 c | 7491 | 1195 1140 4473 | 11789 7491 64 | 30.361 % | 134.26/134.33 c | 11339 | 1195 1140 4473 | 12968 11339 68 | 30.361 % | 137.86/137.94 c | 17105 | 1195 1140 4473 | 14265 10298 76 | 30.361 % | 142.46/142.58 c | 25754 | 1195 1140 4473 | 15692 11459 75 | 30.361 % | 142.66/142.71 c =============================================================================== 142.66/142.71 c core #185 142.66/142.71 c Core size: 351 Core Weight: 1 Total Weight: 185 142.66/142.71 c Elapsed CPU time: 141.826 s Remaining CPU time: 1658.17 s 142.66/142.75 c ============================[ Search Statistics ]============================== 142.66/142.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 142.66/142.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 142.66/142.75 c =============================================================================== 142.66/142.75 c | 0 | 1206 1141 4495 | 5000 0 nan | 0.000 % | 142.66/142.76 c | 101 | 1206 1141 4495 | 5500 101 35 | 30.168 % | 142.66/142.77 c | 254 | 1206 1141 4495 | 6050 254 34 | 30.168 % | 142.66/142.78 c | 479 | 1206 1141 4495 | 6655 479 33 | 30.168 % | 142.76/142.80 c | 819 | 1206 1141 4495 | 7320 819 40 | 30.168 % | 142.76/142.84 c | 1325 | 1206 1141 4495 | 8052 1325 47 | 30.168 % | 142.86/142.95 c | 2084 | 1206 1141 4495 | 8857 2084 57 | 30.168 % | 143.15/143.20 c | 3225 | 1206 1141 4495 | 9743 3225 68 | 30.168 % | 143.56/143.69 c | 4935 | 1206 1141 4495 | 10717 4935 72 | 30.168 % | 144.26/144.30 c | 7497 | 1206 1141 4495 | 11789 7497 74 | 30.168 % | 145.46/145.59 c | 11341 | 1206 1141 4495 | 12968 11341 71 | 30.168 % | 148.05/148.13 c | 17110 | 1206 1141 4495 | 14265 10298 65 | 30.168 % | 152.76/152.90 c | 25763 | 1206 1141 4495 | 15692 11529 66 | 30.168 % | 158.05/158.20 c | 38739 | 1206 1141 4495 | 17261 16358 63 | 30.168 % | 168.85/168.91 c | 58200 | 1206 1141 4495 | 18987 8961 81 | 30.168 % | 187.34/187.48 c | 87393 | 1206 1141 4495 | 20886 18502 88 | 30.168 % | 187.84/187.91 c =============================================================================== 187.84/187.93 c core #186 187.84/187.93 c Core size: 238 Core Weight: 1 Total Weight: 186 187.84/187.93 c Elapsed CPU time: 186.794 s Remaining CPU time: 1613.21 s 187.94/188.03 c ============================[ Search Statistics ]============================== 187.94/188.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.94/188.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.94/188.03 c =============================================================================== 187.94/188.03 c | 0 | 1218 1142 4519 | 5000 0 nan | 0.000 % | 187.94/188.04 c | 100 | 1218 1142 4519 | 5500 100 28 | 29.960 % | 187.94/188.05 c | 250 | 1218 1142 4519 | 6050 250 29 | 29.960 % | 187.94/188.08 c | 475 | 1218 1142 4519 | 6655 475 34 | 29.960 % | 188.05/188.11 c | 812 | 1218 1142 4519 | 7320 812 36 | 29.960 % | 188.05/188.16 c | 1319 | 1218 1142 4519 | 8052 1319 37 | 29.960 % | 188.15/188.26 c | 2078 | 1218 1142 4519 | 8857 2078 38 | 29.960 % | 188.34/188.42 c =============================================================================== 188.34/188.45 c core #187 188.34/188.45 c Core size: 392 Core Weight: 1 Total Weight: 187 188.34/188.45 c Elapsed CPU time: 187.312 s Remaining CPU time: 1612.69 s 188.34/188.46 c ============================[ Search Statistics ]============================== 188.34/188.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.34/188.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.34/188.46 c =============================================================================== 188.34/188.46 c | 0 | 1237 1143 4557 | 5000 0 nan | 0.000 % | 188.34/188.47 c | 102 | 1237 1143 4557 | 5500 102 34 | 29.636 % | 188.34/188.47 c | 252 | 1237 1143 4557 | 6050 252 38 | 29.636 % | 188.34/188.48 c | 477 | 1237 1143 4557 | 6655 477 38 | 29.636 % | 188.45/188.50 c | 815 | 1233 1143 4557 | 7320 814 31 | 29.864 % | 188.45/188.54 c | 1321 | 1233 1143 4557 | 8052 1320 37 | 29.864 % | 188.55/188.61 c | 2080 | 1233 1143 4557 | 8857 2079 40 | 29.864 % | 188.64/188.77 c | 3220 | 1233 1143 4557 | 9743 3219 45 | 29.864 % | 189.04/189.11 c | 4928 | 1233 1143 4557 | 10717 4927 51 | 29.864 % | 189.94/190.07 c | 7491 | 1233 1143 4557 | 11789 7490 55 | 29.864 % | 191.84/191.97 c | 11336 | 1233 1143 4557 | 12968 11335 58 | 29.864 % | 195.64/195.79 c | 17103 | 1233 1143 4557 | 14265 10325 61 | 29.864 % | 201.44/201.56 c | 25755 | 1233 1143 4557 | 15692 11550 63 | 29.864 % | 203.35/203.45 c =============================================================================== 203.84/203.94 c core #188 203.84/203.94 c Core size: 413 Core Weight: 1 Total Weight: 188 203.84/203.94 c Elapsed CPU time: 202.741 s Remaining CPU time: 1597.26 s 203.84/203.99 c ============================[ Search Statistics ]============================== 203.84/203.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.84/203.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.84/203.99 c =============================================================================== 203.84/203.99 c | 0 | 1267 1144 4617 | 5000 0 nan | 0.000 % | 203.94/204.01 c | 101 | 1267 1144 4617 | 5500 101 31 | 29.139 % | 203.94/204.02 c | 253 | 1267 1144 4617 | 6050 253 45 | 29.139 % | 203.94/204.03 c | 478 | 1267 1144 4617 | 6655 478 46 | 29.139 % | 203.94/204.05 c | 815 | 1267 1144 4617 | 7320 815 39 | 29.139 % | 204.04/204.10 c | 1321 | 1267 1144 4617 | 8052 1321 54 | 29.139 % | 204.04/204.18 c | 2081 | 1267 1144 4617 | 8857 2081 57 | 29.139 % | 204.24/204.32 c | 3220 | 1267 1144 4617 | 9743 3220 59 | 29.139 % | 204.63/204.78 c | 4929 | 1267 1144 4617 | 10717 4929 64 | 29.139 % | 205.54/205.68 c | 7495 | 1267 1144 4617 | 11789 7495 67 | 29.139 % | 207.54/207.69 c | 11339 | 1267 1144 4617 | 12968 11339 70 | 29.139 % | 210.64/210.77 c | 17106 | 1267 1144 4617 | 14265 10319 71 | 29.139 % | 215.34/215.41 c | 25756 | 1267 1144 4617 | 15692 11522 71 | 29.139 % | 222.63/222.72 c | 38733 | 1267 1144 4617 | 17261 8182 66 | 29.139 % | 229.74/229.81 c | 58195 | 1267 1144 4617 | 18987 9280 59 | 29.139 % | 242.63/242.75 c | 87389 | 1267 1144 4617 | 20886 18854 83 | 29.139 % | 274.22/274.36 c | 131178 | 1267 1144 4617 | 22974 19660 80 | 29.139 % | 310.91/311.04 c | 196863 | 1267 1144 4617 | 25272 13385 50 | 29.139 % | 315.01/315.17 c =============================================================================== 315.71/315.84 c core #189 315.71/315.84 c Core size: 423 Core Weight: 1 Total Weight: 189 315.71/315.84 c Elapsed CPU time: 314.02 s Remaining CPU time: 1485.98 s 315.91/316.05 c ============================[ Search Statistics ]============================== 315.91/316.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 315.91/316.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 315.91/316.05 c =============================================================================== 315.91/316.05 c | 0 | 1293 1145 4669 | 5000 0 nan | 0.000 % | 315.91/316.09 c | 101 | 1293 1145 4669 | 5500 101 30 | 28.721 % | 316.01/316.10 c | 251 | 1293 1145 4669 | 6050 251 39 | 28.721 % | 316.01/316.12 c | 477 | 1293 1145 4669 | 6655 477 39 | 28.721 % | 316.01/316.14 c | 817 | 1293 1145 4669 | 7320 817 43 | 28.721 % | 316.01/316.18 c | 1324 | 1293 1145 4669 | 8052 1324 50 | 28.721 % | 316.12/316.25 c | 2084 | 1293 1145 4669 | 8857 2084 60 | 28.721 % | 316.21/316.36 c | 3223 | 1293 1145 4669 | 9743 3223 61 | 28.721 % | 316.51/316.64 c | 4931 | 1293 1145 4669 | 10717 4931 64 | 28.721 % | 317.11/317.28 c | 7494 | 1293 1145 4669 | 11789 7494 73 | 28.721 % | 318.71/318.86 c | 11338 | 1293 1145 4669 | 12968 11338 83 | 28.721 % | 320.91/321.04 c | 17113 | 1293 1145 4669 | 14265 10292 99 | 28.721 % | 326.41/326.58 c | 25763 | 1293 1145 4669 | 15692 11485 99 | 28.721 % | 332.51/332.61 c | 38740 | 1293 1145 4669 | 17261 16301 77 | 28.721 % | 341.01/341.20 c | 58201 | 1293 1145 4669 | 18987 17825 73 | 28.721 % | 364.30/364.48 c | 87394 | 1293 1145 4669 | 20886 17552 78 | 28.721 % | 373.40/373.52 c =============================================================================== 374.70/374.82 c core #190 374.70/374.82 c Core size: 375 Core Weight: 1 Total Weight: 190 374.70/374.82 c Elapsed CPU time: 372.71 s Remaining CPU time: 1427.29 s 374.80/374.97 c ============================[ Search Statistics ]============================== 374.80/374.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 374.80/374.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 374.80/374.97 c =============================================================================== 374.80/374.97 c | 0 | 1316 1146 4715 | 5000 0 nan | 0.000 % | 374.80/374.99 c | 100 | 1316 1146 4715 | 5500 100 45 | 28.361 % | 374.80/375.00 c | 250 | 1316 1146 4715 | 6050 250 36 | 28.361 % | 374.90/375.02 c | 476 | 1316 1146 4715 | 6655 476 43 | 28.361 % | 374.90/375.05 c | 813 | 1316 1146 4715 | 7320 813 47 | 28.361 % | 374.90/375.10 c | 1319 | 1316 1146 4715 | 8052 1319 55 | 28.361 % | 375.00/375.17 c | 2078 | 1316 1146 4715 | 8857 2078 65 | 28.361 % | 375.20/375.30 c | 3218 | 1316 1146 4715 | 9743 3218 69 | 28.361 % | 375.50/375.64 c | 4926 | 1316 1146 4715 | 10717 4926 73 | 28.361 % | 376.10/376.23 c | 7489 | 1316 1146 4715 | 11789 7489 84 | 28.361 % | 376.89/377.02 c | 11335 | 1316 1146 4715 | 12968 11335 80 | 28.361 % | 378.89/379.07 c | 17106 | 1316 1146 4715 | 14265 10309 89 | 28.361 % | 384.40/384.52 c | 25760 | 1316 1146 4715 | 15692 11505 105 | 28.361 % | 393.49/393.65 c | 38737 | 1316 1146 4715 | 17261 16345 104 | 28.361 % | 404.29/404.49 c | 58203 | 1316 1146 4715 | 18987 17694 119 | 28.361 % | 418.78/418.98 c | 87396 | 1316 1146 4715 | 20886 17152 71 | 28.361 % | 439.58/439.79 c | 131185 | 1316 1146 4715 | 22974 17693 98 | 28.361 % | 484.57/484.72 c | 196873 | 1316 1146 4715 | 25272 12430 119 | 28.361 % | 540.65/540.85 c | 295402 | 1315 1146 4715 | 27799 16593 80 | 28.416 % | 637.33/637.58 c | 443195 | 1315 1146 4715 | 30579 18456 139 | 28.416 % | 805.09/805.38 c | 664879 | 1314 1146 4715 | 33637 13657 101 | 28.688 % | 1066.73/1067.07 c =============================================================================== 1073.32/1073.69 c core #191 1073.32/1073.69 c Core size: 443 Core Weight: 1 Total Weight: 191 1073.32/1073.69 c Elapsed CPU time: 1068.33 s Remaining CPU time: 731.67 s 1074.32/1074.66 c ============================[ Search Statistics ]============================== 1074.32/1074.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 1074.32/1074.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1074.32/1074.66 c =============================================================================== 1074.32/1074.66 c | 0 | 1348 1147 4779 | 5000 0 nan | 0.000 % | 1074.43/1074.73 c | 102 | 1348 1147 4779 | 5500 102 48 | 27.876 % | 1074.52/1074.81 c | 253 | 1348 1147 4779 | 6050 253 46 | 27.876 % | 1074.52/1074.82 c | 478 | 1348 1147 4779 | 6655 478 48 | 27.876 % | 1074.52/1074.87 c | 816 | 1348 1147 4779 | 7320 816 50 | 27.876 % | 1074.62/1074.94 c | 1323 | 1348 1147 4779 | 8052 1323 51 | 27.876 % | 1074.72/1075.01 c | 2082 | 1348 1147 4779 | 8857 2082 58 | 27.876 % | 1074.82/1075.17 c | 3223 | 1348 1147 4779 | 9743 3223 61 | 27.876 % | 1075.02/1075.34 c | 4932 | 1348 1147 4779 | 10717 4932 62 | 27.876 % | 1075.52/1075.87 c | 7495 | 1348 1147 4779 | 11789 7495 70 | 27.876 % | 1076.53/1076.87 c | 11339 | 1348 1147 4779 | 12968 11339 72 | 27.876 % | 1078.32/1078.63 c | 17105 | 1348 1147 4779 | 14265 10289 91 | 27.876 % | 1080.21/1080.55 c | 25754 | 1348 1147 4779 | 15692 11415 73 | 27.876 % | 1083.82/1084.19 c | 38732 | 1348 1147 4779 | 17261 16223 100 | 27.876 % | 1091.31/1091.64 c | 58194 | 1348 1147 4779 | 18987 17420 102 | 27.876 % | 1115.41/1115.77 c | 87388 | 1348 1147 4779 | 20886 17106 103 | 27.876 % | 1137.61/1137.91 c | 131178 | 1344 1147 4779 | 22974 16574 70 | 28.090 % | 1178.69/1179.08 c | 196863 | 1344 1147 4779 | 25272 22630 96 | 28.090 % | 1258.77/1259.16 c | 295389 | 1344 1147 4779 | 27799 15979 79 | 28.090 % | 1324.05/1324.48 c =============================================================================== 1329.95/1330.35 c core #192 1329.95/1330.35 c Core size: 415 Core Weight: 1 Total Weight: 192 1329.95/1330.35 c Elapsed CPU time: 1323.99 s Remaining CPU time: 476.008 s 1330.45/1330.84 c ============================[ Search Statistics ]============================== 1330.45/1330.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 1330.45/1330.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1330.45/1330.84 c =============================================================================== 1330.45/1330.84 c | 0 | 1378 1148 4839 | 5000 0 nan | 0.000 % | 1330.55/1330.91 c | 102 | 1378 1148 4839 | 5500 102 41 | 27.436 % | 1330.55/1330.92 c | 254 | 1378 1148 4839 | 6050 254 49 | 27.436 % | 1330.55/1330.95 c | 479 | 1378 1148 4839 | 6655 479 56 | 27.436 % | 1330.55/1331.00 c | 817 | 1378 1148 4839 | 7320 817 55 | 27.436 % | 1330.65/1331.09 c | 1323 | 1378 1148 4839 | 8052 1323 64 | 27.436 % | 1330.75/1331.16 c | 2082 | 1378 1148 4839 | 8857 2082 65 | 27.436 % | 1330.95/1331.34 c | 3221 | 1378 1148 4839 | 9743 3221 75 | 27.436 % | 1331.25/1331.64 c | 4929 | 1378 1148 4839 | 10717 4929 76 | 27.436 % | 1332.15/1332.51 c | 7491 | 1378 1148 4839 | 11789 7491 79 | 27.436 % | 1333.05/1333.44 c | 11336 | 1378 1148 4839 | 12968 11336 75 | 27.436 % | 1335.65/1336.01 c | 17104 | 1378 1148 4839 | 14265 10197 76 | 27.436 % | 1338.64/1339.08 c | 25753 | 1378 1148 4839 | 15692 11215 74 | 27.436 % | 1345.95/1346.39 c | 38727 | 1378 1148 4839 | 17261 15953 101 | 27.436 % | 1358.44/1358.86 c | 58189 | 1378 1148 4839 | 18987 17503 133 | 27.436 % | 1375.34/1375.76 c | 87381 | 1378 1148 4839 | 20886 17199 130 | 27.436 % | 1398.94/1399.34 c | 131171 | 1378 1148 4839 | 22974 17434 108 | 27.436 % | 1433.03/1433.47 c | 196857 | 1374 1148 4839 | 25272 22635 85 | 27.646 % | 1525.50/1525.98 c | 295385 | 1374 1148 4839 | 27799 13178 80 | 27.646 % | 1639.77/1640.27 c | 443174 | 1373 1148 4839 | 30579 17779 122 | 27.699 % |
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-1876185-1245153270/watcher-1876185-1245153270 -o /tmp/evaluation-result-1876185-1245153270/solver-1876185-1245153270 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876185-1245153270.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.00 1.00 1.00 3/64 2420 /proc/meminfo: memFree=1933472/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=2536 CPUtime=0 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 232 0 0 0 0 0 0 0 18 0 1 0 182927210 2596864 211 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 634 211 133 292 0 339 0 [startup+0.0933751 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2420 /proc/meminfo: memFree=1933472/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=2752 CPUtime=0.09 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 289 0 0 0 9 0 0 0 18 0 1 0 182927210 2818048 268 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 688 268 133 292 0 393 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2752 [startup+0.101377 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2420 /proc/meminfo: memFree=1933472/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=2884 CPUtime=0.09 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 299 0 0 0 9 0 0 0 18 0 1 0 182927210 2953216 278 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 721 278 134 292 0 426 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2884 [startup+0.301394 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2420 /proc/meminfo: memFree=1933472/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=3884 CPUtime=0.29 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 571 0 0 0 28 1 0 0 18 0 1 0 182927210 3977216 550 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 971 550 136 292 0 676 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3884 [startup+0.701434 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2420 /proc/meminfo: memFree=1933472/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=4548 CPUtime=0.69 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 710 0 0 0 68 1 0 0 20 0 1 0 182927210 4657152 689 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 1137 689 136 292 0 842 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4548 [startup+1.50151 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2421 /proc/meminfo: memFree=1930456/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=5868 CPUtime=1.49 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 1053 0 0 0 147 2 0 0 25 0 1 0 182927210 6008832 1032 1992294400 134512640 135709839 4294956240 18446744073709551615 134583459 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 1467 1032 136 292 0 1172 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5868 [startup+3.10167 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2421 /proc/meminfo: memFree=1929304/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=7412 CPUtime=3.09 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 1454 0 0 0 305 4 0 0 25 0 1 0 182927210 7589888 1433 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 1853 1433 136 292 0 1558 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7412 [startup+6.30298 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2421 /proc/meminfo: memFree=1925976/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=10120 CPUtime=6.29 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 2115 0 0 0 624 5 0 0 25 0 1 0 182927210 10362880 2094 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 2530 2094 136 292 0 2235 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10120 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2421 /proc/meminfo: memFree=1923552/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=12120 CPUtime=12.69 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 2621 0 0 0 1259 10 0 0 25 0 1 0 182927210 12410880 2600 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 3030 2600 136 292 0 2735 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12120 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2421 /proc/meminfo: memFree=1913696/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=21968 CPUtime=25.48 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 5071 0 0 0 2530 18 0 0 25 0 1 0 182927210 22495232 5050 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 5492 5050 136 292 0 5197 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21968 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2421 /proc/meminfo: memFree=1893600/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=42064 CPUtime=51.07 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 10071 0 0 0 5077 30 0 0 25 0 1 0 182927210 43073536 10050 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 10516 10050 136 292 0 10221 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 42064 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2421 /proc/meminfo: memFree=1859360/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=75872 CPUtime=102.26 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 18531 0 0 0 10169 57 0 0 25 0 1 0 182927210 77692928 18510 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 18968 18510 136 292 0 18673 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 75872 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2421 /proc/meminfo: memFree=1822560/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=113060 CPUtime=162.25 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 27860 0 0 0 16128 97 0 0 25 0 1 0 182927210 115773440 27824 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 28265 27824 136 292 0 27970 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 113060 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2421 /proc/meminfo: memFree=1797024/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=137936 CPUtime=222.23 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 34084 0 0 0 22099 124 0 0 25 0 1 0 182927210 141246464 34048 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 34484 34048 136 292 0 34189 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 137936 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2421 /proc/meminfo: memFree=1750368/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=184828 CPUtime=282.22 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 45766 0 0 0 28068 154 0 0 25 0 1 0 182927210 189263872 45730 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 46207 45730 136 292 0 45912 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 184828 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2421 /proc/meminfo: memFree=1714912/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=219820 CPUtime=342.2 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 54540 0 0 0 34031 189 0 0 25 0 1 0 182927210 225095680 54504 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 54955 54504 136 292 0 54660 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 219820 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2427 /proc/meminfo: memFree=1683232/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=251756 CPUtime=402.18 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 62494 0 0 0 40002 216 0 0 25 0 1 0 182927210 257798144 62458 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 62939 62458 136 292 0 62644 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 251756 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2427 /proc/meminfo: memFree=1636640/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=298068 CPUtime=462.17 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 74044 0 0 0 45971 246 0 0 25 0 1 0 182927210 305221632 74008 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 74517 74008 136 292 0 74222 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 298068 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2427 /proc/meminfo: memFree=1579424/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=355380 CPUtime=522.15 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 88342 0 0 0 51941 274 0 0 25 0 1 0 182927210 363909120 88306 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 88845 88306 136 292 0 88550 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 355380 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2427 /proc/meminfo: memFree=1524000/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=411732 CPUtime=582.14 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 102359 0 0 0 57909 305 0 0 25 0 1 0 182927210 421613568 102323 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 102933 102323 136 292 0 102638 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 411732 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2427 /proc/meminfo: memFree=1457056/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=477524 CPUtime=642.13 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 118759 0 0 0 63877 336 0 0 25 0 1 0 182927210 488984576 118723 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 119381 118723 136 292 0 119086 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 477524 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2427 /proc/meminfo: memFree=1266592/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=668308 CPUtime=882.07 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 166264 0 0 0 87761 446 0 0 25 0 1 0 182927210 684347392 166228 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 167077 166228 136 292 0 166782 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 668308 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2427 /proc/meminfo: memFree=1232992/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=702104 CPUtime=942.06 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 174684 0 0 0 93736 470 0 0 25 0 1 0 182927210 718954496 174648 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 175526 174648 136 292 0 175231 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 702104 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2427 /proc/meminfo: memFree=1199776/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=735072 CPUtime=1002.04 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 182933 0 0 0 99714 490 0 0 25 0 1 0 182927210 752713728 182897 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 183768 182897 136 292 0 183473 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 735072 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2427 /proc/meminfo: memFree=1178208/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=756768 CPUtime=1062.02 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 188341 0 0 0 105697 505 0 0 25 0 1 0 182927210 774930432 188305 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 189192 188305 136 292 0 188897 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 756768 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2427 /proc/meminfo: memFree=1164960/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=767848 CPUtime=1122.01 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 191590 0 0 0 111671 530 0 0 25 0 1 0 182927210 786276352 191520 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 191962 191520 136 292 0 191667 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 767848 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2427 /proc/meminfo: memFree=1147552/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=785780 CPUtime=1181.99 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 196055 0 0 0 117645 554 0 0 25 0 1 0 182927210 804638720 195985 1992294400 134512640 135709839 4294956240 18446744073709551615 134568696 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 196445 195985 136 292 0 196150 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 785780 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2427 /proc/meminfo: memFree=1121056/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=812208 CPUtime=1241.97 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 202603 0 0 0 123621 576 0 0 25 0 1 0 182927210 831700992 202533 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 203052 202533 136 292 0 202757 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 812208 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2427 /proc/meminfo: memFree=1095712/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=837280 CPUtime=1301.97 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 208843 0 0 0 129602 595 0 0 25 0 1 0 182927210 857374720 208773 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 209320 208773 136 292 0 209025 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 837280 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2427 /proc/meminfo: memFree=1077408/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=855912 CPUtime=1361.95 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 213587 0 0 0 135577 618 0 0 25 0 1 0 182927210 876453888 213517 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 213978 213517 136 292 0 213683 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 855912 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2427 /proc/meminfo: memFree=1018976/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=913716 CPUtime=1421.93 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 227986 0 0 0 141541 652 0 0 25 0 1 0 182927210 935645184 227916 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 228429 227916 136 292 0 228134 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 913716 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2427 /proc/meminfo: memFree=985824/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=947360 CPUtime=1481.91 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 236347 0 0 0 147512 679 0 0 25 0 1 0 182927210 970096640 236277 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 236840 236277 136 292 0 236545 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 947360 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2427 /proc/meminfo: memFree=951456/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=981452 CPUtime=1541.89 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 244819 0 0 0 153488 701 0 0 25 0 1 0 182927210 1005006848 244749 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 245363 244749 136 292 0 245068 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 981452 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2427 /proc/meminfo: memFree=920352/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=1013252 CPUtime=1601.88 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 252695 0 0 0 159465 723 0 0 25 0 1 0 182927210 1037570048 252625 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 253313 252625 136 292 0 253018 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1013252 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2427 /proc/meminfo: memFree=882848/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=1050120 CPUtime=1661.86 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 261908 0 0 0 165436 750 0 0 25 0 1 0 182927210 1075322880 261838 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 262530 261838 136 292 0 262235 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1050120 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2427 /proc/meminfo: memFree=863008/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=1070316 CPUtime=1721.85 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 266919 0 0 0 171417 768 0 0 25 0 1 0 182927210 1096003584 266849 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 267579 266849 136 292 0 267284 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1070316 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2427 /proc/meminfo: memFree=844704/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=1088500 CPUtime=1781.83 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 271441 0 0 0 177401 782 0 0 25 0 1 0 182927210 1114624000 271371 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 272125 271371 136 292 0 271830 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1088500 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2427 /proc/meminfo: memFree=832032/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=1100912 CPUtime=1800.03 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4194304 274551 0 0 0 179213 790 0 0 25 0 1 0 182927210 1127333888 274481 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 275228 274481 136 292 0 274933 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1100912 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 2428 /proc/meminfo: memFree=1479000/2055920 swapFree=4181652/4192956 [pid=2420] ppid=2418 vsize=0 CPUtime=1800.14 /proc/2420/stat : 2420 (wbo) R 2418 2420 2069 0 -1 4195332 274551 0 0 0 179213 801 0 0 25 0 1 0 182927210 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/2420/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.67 CPU time (s): 1800.21 CPU user time (s): 1792.14 CPU system time (s): 8.07677 CPU usage (%): 99.9744 Max. virtual memory (cumulated for all children) (KiB): 1100912 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.14 system time used= 8.07677 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274551 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= 5 involuntary context switches= 2066 runsolver used 1.41078 second user time and 3.9144 second system time The end
Begin job on node18 at 2009-06-16 13:54:30 IDJOB=1876185 IDBENCH=2101 IDSOLVER=698 FILE ID=node18/1876185-1245153270 PBS_JOBID= 9363736 Free space on /tmp= 66172 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.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-1876185-1245153270/watcher-1876185-1245153270 -o /tmp/evaluation-result-1876185-1245153270/solver-1876185-1245153270 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876185-1245153270.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8f571153d6467ee7e7ad42bf78d06f61 RANDOM SEED=1080370554 node18.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.236 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.236 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: 1933824 kB Buffers: 20664 kB Cached: 57232 kB SwapCached: 5540 kB Active: 46020 kB Inactive: 39744 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1933824 kB SwapTotal: 4192956 kB SwapFree: 4181652 kB Dirty: 2396 kB Writeback: 0 kB Mapped: 12940 kB Slab: 22380 kB Committed_AS: 145288 kB PageTables: 1376 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-1876185-1245153270.opb Free space on /tmp at the end= 66172 MiB End job on node18 at 2009-06-16 14:24:33