Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.08 | 1800.04 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-1_6-yes1-4.opb |
MD5SUM | fd5f76b1c73c75148941ed2b2825759f |
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.002999 |
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 | 516 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 4 |
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 wbo 1.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3461435-1307089032.opb. 0.00/0.00 c Instance file HOME/instance-3461435-1307089032.opb 0.00/0.00 c File size is 17622 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: 520 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 400 520 1356 | 5000 0 -nan | 0.000 % | 0.00/0.01 c core #1 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 1 0.00/0.01 c Current CPU time: 0.001999 s 0.00/0.01 c 0.00/0.01 c core #2 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 2 0.00/0.01 c Current CPU time: 0.001999 s 0.00/0.01 c 0.00/0.01 c core #3 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 3 0.00/0.01 c Current CPU time: 0.001999 s 0.00/0.01 c 0.00/0.01 c core #4 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 4 0.00/0.01 c Current CPU time: 0.001999 s 0.00/0.01 c 0.00/0.01 c core #5 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 5 0.00/0.01 c Current CPU time: 0.002999 s 0.00/0.01 c 0.00/0.01 c core #6 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 6 0.00/0.01 c Current CPU time: 0.002999 s 0.00/0.01 c 0.00/0.01 c core #7 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 7 0.00/0.01 c Current CPU time: 0.002999 s 0.00/0.01 c 0.00/0.01 c core #8 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 8 0.00/0.01 c Current CPU time: 0.002999 s 0.00/0.01 c 0.00/0.01 c core #9 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 9 0.00/0.01 c Current CPU time: 0.003999 s 0.00/0.01 c 0.00/0.01 c core #10 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 10 0.00/0.01 c Current CPU time: 0.003999 s 0.00/0.01 c 0.00/0.01 c core #11 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 11 0.00/0.01 c Current CPU time: 0.003999 s 0.00/0.01 c 0.00/0.01 c core #12 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 12 0.00/0.01 c Current CPU time: 0.003999 s 0.00/0.01 c 0.00/0.01 c core #13 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 13 0.00/0.01 c Current CPU time: 0.004999 s 0.00/0.01 c 0.00/0.01 c core #14 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 14 0.00/0.01 c Current CPU time: 0.004999 s 0.00/0.01 c 0.00/0.01 c core #15 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 15 0.00/0.01 c Current CPU time: 0.004999 s 0.00/0.01 c 0.00/0.01 c core #16 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 16 0.00/0.01 c Current CPU time: 0.005999 s 0.00/0.01 c 0.00/0.01 c core #17 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 17 0.00/0.01 c Current CPU time: 0.005999 s 0.00/0.01 c 0.00/0.01 c core #18 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 18 0.00/0.01 c Current CPU time: 0.005999 s 0.00/0.01 c 0.00/0.01 c core #19 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 19 0.00/0.01 c Current CPU time: 0.005999 s 0.00/0.01 c 0.00/0.01 c core #20 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 20 0.00/0.01 c Current CPU time: 0.006998 s 0.00/0.01 c 0.00/0.01 c core #21 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 21 0.00/0.01 c Current CPU time: 0.006998 s 0.00/0.01 c 0.00/0.01 c core #22 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 22 0.00/0.01 c Current CPU time: 0.006998 s 0.00/0.01 c 0.00/0.01 c core #23 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 23 0.00/0.01 c Current CPU time: 0.006998 s 0.00/0.01 c 0.00/0.01 c core #24 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 24 0.00/0.01 c Current CPU time: 0.007998 s 0.00/0.01 c 0.00/0.01 c core #25 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 25 0.00/0.01 c Current CPU time: 0.007998 s 0.00/0.01 c 0.00/0.01 c core #26 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 26 0.00/0.01 c Current CPU time: 0.007998 s 0.00/0.01 c 0.00/0.01 c core #27 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 27 0.00/0.01 c Current CPU time: 0.008998 s 0.00/0.01 c 0.00/0.01 c core #28 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 28 0.00/0.01 c Current CPU time: 0.008998 s 0.00/0.01 c 0.00/0.01 c core #29 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 29 0.00/0.01 c Current CPU time: 0.008998 s 0.00/0.01 c 0.00/0.01 c core #30 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 30 0.00/0.01 c Current CPU time: 0.008998 s 0.00/0.01 c 0.00/0.01 c core #31 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 31 0.00/0.01 c Current CPU time: 0.009998 s 0.00/0.01 c 0.00/0.01 c core #32 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 32 0.00/0.01 c Current CPU time: 0.009998 s 0.00/0.01 c 0.00/0.01 c core #33 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 33 0.00/0.01 c Current CPU time: 0.009998 s 0.00/0.01 c 0.00/0.01 c core #34 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 34 0.00/0.01 c Current CPU time: 0.010998 s 0.00/0.01 c 0.00/0.01 c core #35 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 35 0.00/0.01 c Current CPU time: 0.010998 s 0.00/0.01 c 0.00/0.01 c core #36 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 36 0.00/0.01 c Current CPU time: 0.010998 s 0.00/0.01 c 0.00/0.01 c core #37 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 37 0.00/0.01 c Current CPU time: 0.011998 s 0.00/0.01 c 0.00/0.01 c core #38 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 38 0.00/0.01 c Current CPU time: 0.011998 s 0.00/0.01 c 0.00/0.01 c core #39 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 39 0.00/0.01 c Current CPU time: 0.011998 s 0.00/0.01 c 0.00/0.01 c core #40 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 40 0.00/0.01 c Current CPU time: 0.011998 s 0.00/0.01 c 0.00/0.01 c core #41 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 41 0.00/0.01 c Current CPU time: 0.012998 s 0.00/0.01 c 0.00/0.01 c core #42 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 42 0.00/0.01 c Current CPU time: 0.012998 s 0.00/0.01 c 0.00/0.01 c core #43 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 43 0.00/0.02 c Current CPU time: 0.012998 s 0.00/0.02 c 0.00/0.02 c core #44 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 44 0.00/0.02 c Current CPU time: 0.013997 s 0.00/0.02 c 0.00/0.02 c core #45 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 45 0.00/0.02 c Current CPU time: 0.013997 s 0.00/0.02 c 0.00/0.02 c core #46 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 46 0.00/0.02 c Current CPU time: 0.013997 s 0.00/0.02 c 0.00/0.02 c core #47 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 47 0.00/0.02 c Current CPU time: 0.014997 s 0.00/0.02 c 0.00/0.02 c core #48 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 48 0.00/0.02 c Current CPU time: 0.014997 s 0.00/0.02 c 0.00/0.02 c core #49 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 49 0.00/0.02 c Current CPU time: 0.014997 s 0.00/0.02 c 0.00/0.02 c core #50 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 50 0.00/0.02 c Current CPU time: 0.015997 s 0.00/0.02 c 0.00/0.02 c core #51 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 51 0.00/0.02 c Current CPU time: 0.015997 s 0.00/0.02 c 0.00/0.02 c core #52 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 52 0.00/0.02 c Current CPU time: 0.015997 s 0.00/0.02 c 0.00/0.02 c core #53 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 53 0.00/0.02 c Current CPU time: 0.016997 s 0.00/0.02 c 0.00/0.02 c core #54 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 54 0.00/0.02 c Current CPU time: 0.016997 s 0.00/0.02 c 0.00/0.02 c core #55 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 55 0.00/0.02 c Current CPU time: 0.016997 s 0.00/0.02 c 0.00/0.02 c core #56 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 56 0.00/0.02 c Current CPU time: 0.017997 s 0.00/0.02 c 0.00/0.02 c core #57 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 57 0.00/0.02 c Current CPU time: 0.017997 s 0.00/0.02 c 0.00/0.02 c core #58 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 58 0.00/0.02 c Current CPU time: 0.017997 s 0.00/0.02 c 0.00/0.02 c core #59 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 59 0.00/0.02 c Current CPU time: 0.018997 s 0.00/0.02 c 0.00/0.02 c core #60 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 60 0.00/0.02 c Current CPU time: 0.018997 s 0.00/0.02 c 0.00/0.02 c core #61 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 61 0.00/0.02 c Current CPU time: 0.018997 s 0.00/0.02 c 0.00/0.02 c core #62 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 62 0.00/0.02 c Current CPU time: 0.019996 s 0.00/0.02 c 0.00/0.02 c core #63 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 63 0.00/0.02 c Current CPU time: 0.019996 s 0.00/0.02 c 0.00/0.02 c core #64 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 64 0.00/0.02 c Current CPU time: 0.019996 s 0.00/0.02 c 0.00/0.02 c core #65 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 65 0.00/0.02 c Current CPU time: 0.020996 s 0.00/0.02 c 0.00/0.02 c core #66 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 66 0.00/0.02 c Current CPU time: 0.020996 s 0.00/0.02 c 0.00/0.02 c core #67 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 67 0.00/0.02 c Current CPU time: 0.020996 s 0.00/0.02 c 0.00/0.02 c core #68 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 68 0.00/0.02 c Current CPU time: 0.021996 s 0.00/0.02 c 0.00/0.02 c core #69 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 69 0.00/0.02 c Current CPU time: 0.021996 s 0.00/0.02 c 0.00/0.02 c core #70 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 70 0.00/0.02 c Current CPU time: 0.021996 s 0.00/0.02 c 0.00/0.02 c core #71 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 71 0.00/0.02 c Current CPU time: 0.022996 s 0.00/0.02 c 0.00/0.02 c core #72 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 72 0.00/0.02 c Current CPU time: 0.022996 s 0.00/0.02 c 0.00/0.02 c core #73 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 73 0.00/0.02 c Current CPU time: 0.023996 s 0.00/0.02 c 0.00/0.02 c core #74 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 74 0.00/0.02 c Current CPU time: 0.023996 s 0.00/0.02 c 0.00/0.02 c core #75 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 75 0.00/0.02 c Current CPU time: 0.023996 s 0.00/0.02 c 0.00/0.02 c core #76 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 76 0.00/0.02 c Current CPU time: 0.024996 s 0.00/0.02 c 0.00/0.02 c core #77 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 77 0.00/0.02 c Current CPU time: 0.024996 s 0.00/0.02 c 0.00/0.02 c core #78 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 78 0.00/0.02 c Current CPU time: 0.024996 s 0.00/0.02 c 0.00/0.02 c core #79 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 79 0.00/0.02 c Current CPU time: 0.025996 s 0.00/0.02 c 0.00/0.02 c core #80 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 80 0.00/0.02 c Current CPU time: 0.025996 s 0.00/0.02 c 0.00/0.02 c core #81 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 81 0.00/0.02 c Current CPU time: 0.025996 s 0.00/0.02 c 0.00/0.02 c core #82 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 82 0.00/0.02 c Current CPU time: 0.026995 s 0.00/0.02 c 0.00/0.02 c core #83 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 83 0.00/0.02 c Current CPU time: 0.026995 s 0.00/0.02 c 0.00/0.02 c core #84 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 84 0.00/0.02 c Current CPU time: 0.027995 s 0.00/0.02 c 0.00/0.02 c core #85 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 85 0.00/0.04 c Current CPU time: 0.027995 s 0.00/0.04 c 0.00/0.04 c core #86 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 86 0.00/0.04 c Current CPU time: 0.027995 s 0.00/0.04 c 0.00/0.04 c core #87 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 87 0.00/0.04 c Current CPU time: 0.028995 s 0.00/0.04 c 0.00/0.04 c core #88 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 88 0.00/0.04 c Current CPU time: 0.028995 s 0.00/0.04 c 0.00/0.04 c core #89 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 89 0.00/0.04 c Current CPU time: 0.029995 s 0.00/0.04 c 0.00/0.04 c core #90 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 90 0.00/0.04 c Current CPU time: 0.029995 s 0.00/0.04 c 0.00/0.04 c core #91 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 91 0.00/0.04 c Current CPU time: 0.029995 s 0.00/0.04 c 0.00/0.04 c core #92 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 92 0.00/0.04 c Current CPU time: 0.030995 s 0.00/0.04 c 0.00/0.04 c core #93 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 93 0.00/0.04 c Current CPU time: 0.030995 s 0.00/0.04 c 0.00/0.04 c core #94 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 94 0.00/0.04 c Current CPU time: 0.030995 s 0.00/0.04 c 0.00/0.04 c core #95 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 95 0.00/0.04 c Current CPU time: 0.031995 s 0.00/0.04 c 0.00/0.04 c core #96 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 96 0.00/0.04 c Current CPU time: 0.031995 s 0.00/0.04 c 0.00/0.04 c core #97 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 97 0.00/0.04 c Current CPU time: 0.032994 s 0.00/0.04 c 0.00/0.04 c core #98 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 98 0.00/0.04 c Current CPU time: 0.032994 s 0.00/0.04 c 0.00/0.04 c core #99 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 99 0.00/0.04 c Current CPU time: 0.033994 s 0.00/0.04 c 0.00/0.04 c core #100 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 100 0.00/0.04 c Current CPU time: 0.033994 s 0.00/0.04 c 0.00/0.04 c core #101 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 101 0.00/0.04 c Current CPU time: 0.033994 s 0.00/0.04 c 0.00/0.04 c core #102 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 15 Core Weight: 1 Total Weight: 102 0.00/0.04 c Current CPU time: 0.034994 s 0.00/0.04 c 0.00/0.04 c core #103 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 13 Core Weight: 1 Total Weight: 103 0.00/0.04 c Current CPU time: 0.034994 s 0.00/0.04 c 0.00/0.04 c core #104 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 9 Core Weight: 1 Total Weight: 104 0.00/0.04 c Current CPU time: 0.035994 s 0.00/0.04 c 0.00/0.04 c core #105 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 9 Core Weight: 1 Total Weight: 105 0.00/0.04 c Current CPU time: 0.035994 s 0.00/0.04 c 0.00/0.04 c core #106 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 12 Core Weight: 1 Total Weight: 106 0.00/0.04 c Current CPU time: 0.036994 s 0.00/0.04 c 0.00/0.04 c core #107 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 20 Core Weight: 1 Total Weight: 107 0.00/0.04 c Current CPU time: 0.036994 s 0.00/0.04 c 0.00/0.04 c core #108 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 9 Core Weight: 1 Total Weight: 108 0.00/0.04 c Current CPU time: 0.036994 s 0.00/0.04 c 0.00/0.04 c core #109 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 16 Core Weight: 1 Total Weight: 109 0.00/0.04 c Current CPU time: 0.037994 s 0.00/0.04 c 0.00/0.04 c core #110 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 9 Core Weight: 1 Total Weight: 110 0.00/0.04 c Current CPU time: 0.037994 s 0.00/0.04 c 0.00/0.04 c core #111 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 17 Core Weight: 1 Total Weight: 111 0.00/0.04 c Current CPU time: 0.038994 s 0.00/0.04 c 0.00/0.04 c core #112 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 9 Core Weight: 1 Total Weight: 112 0.00/0.04 c Current CPU time: 0.038994 s 0.00/0.04 c 0.00/0.04 c core #113 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 39 Core Weight: 1 Total Weight: 113 0.00/0.04 c Current CPU time: 0.039993 s 0.00/0.04 c 0.00/0.04 c core #114 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 14 Core Weight: 1 Total Weight: 114 0.00/0.04 c Current CPU time: 0.039993 s 0.00/0.04 c 0.00/0.04 c core #115 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 21 Core Weight: 1 Total Weight: 115 0.00/0.04 c Current CPU time: 0.040993 s 0.00/0.04 c 0.00/0.04 c core #116 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 15 Core Weight: 1 Total Weight: 116 0.00/0.04 c Current CPU time: 0.040993 s 0.00/0.04 c 0.00/0.04 c core #117 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 9 Core Weight: 1 Total Weight: 117 0.00/0.04 c Current CPU time: 0.041993 s 0.00/0.04 c 0.00/0.04 c core #118 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 16 Core Weight: 1 Total Weight: 118 0.00/0.04 c Current CPU time: 0.041993 s 0.00/0.04 c 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 794 1038 2518 | 5000 0 -nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #119 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 14 Core Weight: 1 Total Weight: 119 0.00/0.04 c Current CPU time: 0.042993 s 0.00/0.04 c 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 805 1039 2543 | 5000 0 -nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #120 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 26 Core Weight: 1 Total Weight: 120 0.00/0.04 c Current CPU time: 0.043993 s 0.00/0.04 c 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 829 1041 2597 | 5000 0 -nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #121 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 17 Core Weight: 1 Total Weight: 121 0.00/0.04 c Current CPU time: 0.043993 s 0.00/0.04 c 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 842 1042 2625 | 5000 0 -nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #122 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 17 Core Weight: 1 Total Weight: 122 0.00/0.04 c Current CPU time: 0.044993 s 0.00/0.04 c 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 855 1043 2653 | 5000 0 -nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #123 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 38 Core Weight: 1 Total Weight: 123 0.00/0.04 c Current CPU time: 0.045993 s 0.00/0.04 c 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 895 1044 2738 | 5000 0 -nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #124 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 34 Core Weight: 1 Total Weight: 124 0.00/0.04 c Current CPU time: 0.046992 s 0.00/0.04 c 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 916 1046 2786 | 5000 0 -nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #125 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 25 Core Weight: 1 Total Weight: 125 0.00/0.04 c Current CPU time: 0.047992 s 0.00/0.04 c 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 939 1047 2833 | 5000 0 -nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #126 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 13 Core Weight: 1 Total Weight: 126 0.00/0.04 c Current CPU time: 0.047992 s 0.00/0.04 c 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 944 1055 2864 | 5000 0 -nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #127 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 60 Core Weight: 1 Total Weight: 127 0.00/0.05 c Current CPU time: 0.047992 s 0.00/0.05 c 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 972 1058 2929 | 5000 0 -nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #128 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 48 Core Weight: 1 Total Weight: 128 0.00/0.05 c Current CPU time: 0.049992 s 0.00/0.05 c 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 1005 1065 3014 | 5000 0 -nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #129 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 73 Core Weight: 1 Total Weight: 129 0.00/0.05 c Current CPU time: 0.050992 s 0.00/0.05 c 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 1069 1073 3165 | 5000 0 -nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #130 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 48 Core Weight: 1 Total Weight: 130 0.00/0.05 c Current CPU time: 0.052991 s 0.00/0.05 c 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 1111 1075 3252 | 5000 0 -nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #131 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 98 Core Weight: 1 Total Weight: 131 0.00/0.05 c Current CPU time: 0.053991 s 0.00/0.05 c 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 1133 1100 3424 | 5000 0 -nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #132 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 48 Core Weight: 1 Total Weight: 132 0.00/0.05 c Current CPU time: 0.054991 s 0.00/0.05 c 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 1135 1108 3464 | 5000 0 -nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #133 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 108 Core Weight: 1 Total Weight: 133 0.00/0.05 c Current CPU time: 0.055991 s 0.00/0.05 c 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 1005 1115 3505 | 5000 0 -nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #134 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 107 Core Weight: 1 Total Weight: 134 0.00/0.06 c Current CPU time: 0.056991 s 0.00/0.06 c 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 1011 1116 3511 | 5000 0 -nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #135 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 107 Core Weight: 1 Total Weight: 135 0.00/0.06 c Current CPU time: 0.057991 s 0.00/0.06 c 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 984 1118 3515 | 5000 0 -nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #136 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 167 Core Weight: 1 Total Weight: 136 0.00/0.06 c Current CPU time: 0.05999 s 0.00/0.06 c 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 1081 1127 3625 | 5000 0 -nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #137 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 105 Core Weight: 1 Total Weight: 137 0.00/0.06 c Current CPU time: 0.06099 s 0.00/0.06 c 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 1092 1128 3647 | 5000 0 -nan | 0.000 % | 0.00/0.06 c | 100 | 1092 1128 3647 | 5500 100 16 | 12.640 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #138 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 102 Core Weight: 1 Total Weight: 138 0.00/0.06 c Current CPU time: 0.06399 s 0.00/0.06 c 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 1103 1129 3669 | 5000 0 -nan | 0.000 % | 0.00/0.06 c | 100 | 1103 1129 3669 | 5500 100 22 | 12.530 % | 0.00/0.07 c | 250 | 1103 1129 3669 | 6050 250 23 | 12.530 % | 0.00/0.07 c | 479 | 1103 1129 3669 | 6655 479 24 | 12.530 % | 0.07/0.08 c =============================================================================== 0.07/0.08 c core #139 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 110 Core Weight: 1 Total Weight: 139 0.07/0.08 c Current CPU time: 0.078987 s 0.07/0.08 c 0.07/0.08 c ============================[ Search Statistics ]============================== 0.07/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.07/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.07/0.08 c =============================================================================== 0.07/0.08 c | 0 | 1120 1130 3703 | 5000 0 -nan | 0.000 % | 0.07/0.08 c | 100 | 1120 1130 3703 | 5500 100 28 | 12.363 % | 0.07/0.08 c | 250 | 1120 1130 3703 | 6050 250 31 | 12.363 % | 0.07/0.09 c | 480 | 1120 1130 3703 | 6655 480 32 | 12.363 % | 0.07/0.09 c | 820 | 1120 1130 3703 | 7320 820 34 | 12.363 % | 0.09/0.11 c | 1328 | 1120 1130 3703 | 8052 1328 37 | 12.363 % | 0.09/0.14 c | 2090 | 1112 1130 3703 | 8857 2090 36 | 12.989 % | 0.19/0.20 c | 3235 | 1112 1130 3703 | 9743 3235 37 | 12.989 % | 0.19/0.29 c =============================================================================== 0.29/0.31 c core #140 0.29/0.31 c 0.29/0.31 c 0.29/0.31 c Core size: 133 Core Weight: 1 Total Weight: 140 0.29/0.31 c Current CPU time: 0.299954 s 0.29/0.31 c 0.29/0.31 c ============================[ Search Statistics ]============================== 0.29/0.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.31 c =============================================================================== 0.29/0.31 c | 0 | 1134 1132 3747 | 5000 0 -nan | 0.000 % | 0.29/0.31 c | 101 | 1134 1132 3747 | 5500 101 39 | 12.769 % | 0.29/0.31 c =============================================================================== 0.29/0.32 c core #141 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 147 Core Weight: 1 Total Weight: 141 0.29/0.32 c Current CPU time: 0.303953 s 0.29/0.32 c 0.29/0.32 c core #142 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 164 Core Weight: 1 Total Weight: 142 0.29/0.32 c Current CPU time: 0.304953 s 0.29/0.32 c 0.29/0.32 c core #143 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 155 Core Weight: 1 Total Weight: 143 0.29/0.32 c Current CPU time: 0.305953 s 0.29/0.32 c 0.29/0.32 c core #144 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 252 Core Weight: 1 Total Weight: 144 0.29/0.32 c Current CPU time: 0.306953 s 0.29/0.32 c 0.29/0.32 c core #145 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 285 Core Weight: 1 Total Weight: 145 0.29/0.32 c Current CPU time: 0.307953 s 0.29/0.32 c 0.29/0.32 c core #146 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 288 Core Weight: 1 Total Weight: 146 0.29/0.32 c Current CPU time: 0.308953 s 0.29/0.32 c 0.29/0.32 c core #147 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 327 Core Weight: 1 Total Weight: 147 0.29/0.32 c Current CPU time: 0.309952 s 0.29/0.32 c 0.29/0.32 c core #148 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 347 Core Weight: 1 Total Weight: 148 0.29/0.32 c Current CPU time: 0.310952 s 0.29/0.32 c 0.29/0.32 c core #149 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 352 Core Weight: 1 Total Weight: 149 0.29/0.32 c Current CPU time: 0.311952 s 0.29/0.32 c 0.29/0.32 c core #150 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 356 Core Weight: 1 Total Weight: 150 0.29/0.32 c Current CPU time: 0.313952 s 0.29/0.32 c 0.29/0.32 c ============================[ Search Statistics ]============================== 0.29/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.32 c =============================================================================== 0.29/0.32 c | 0 | 865 1144 3846 | 5000 0 -nan | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #151 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 353 Core Weight: 1 Total Weight: 151 0.29/0.32 c Current CPU time: 0.314952 s 0.29/0.32 c 0.29/0.32 c ============================[ Search Statistics ]============================== 0.29/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.32 c =============================================================================== 0.29/0.32 c | 0 | 870 1145 3856 | 5000 0 -nan | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #152 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 364 Core Weight: 1 Total Weight: 152 0.29/0.32 c Current CPU time: 0.315951 s 0.29/0.32 c 0.29/0.32 c ============================[ Search Statistics ]============================== 0.29/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.32 c =============================================================================== 0.29/0.32 c | 0 | 890 1146 3878 | 5000 0 -nan | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.33 c core #153 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 366 Core Weight: 1 Total Weight: 153 0.29/0.33 c Current CPU time: 0.317951 s 0.29/0.33 c 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 904 1147 3906 | 5000 0 -nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #154 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 366 Core Weight: 1 Total Weight: 154 0.29/0.33 c Current CPU time: 0.319951 s 0.29/0.33 c 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 919 1148 3936 | 5000 0 -nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #155 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 338 Core Weight: 1 Total Weight: 155 0.29/0.33 c Current CPU time: 0.321951 s 0.29/0.33 c 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 935 1149 3950 | 5000 0 -nan | 0.000 % | 0.29/0.33 c | 100 | 922 1149 3950 | 5500 100 22 | 34.143 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #156 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 375 Core Weight: 1 Total Weight: 156 0.29/0.33 c Current CPU time: 0.32495 s 0.29/0.33 c 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 957 1150 3994 | 5000 0 -nan | 0.000 % | 0.29/0.33 c | 102 | 957 1150 3994 | 5500 102 31 | 32.700 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #157 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 215 Core Weight: 1 Total Weight: 157 0.29/0.34 c Current CPU time: 0.328949 s 0.29/0.34 c 0.29/0.34 c ============================[ Search Statistics ]============================== 0.29/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 961 1151 4002 | 5000 0 -nan | 0.000 % | 0.29/0.34 c | 102 | 961 1151 4002 | 5500 102 31 | 32.609 % | 0.29/0.34 c | 253 | 959 1151 4002 | 6050 253 32 | 32.749 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #158 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 326 Core Weight: 1 Total Weight: 158 0.29/0.34 c Current CPU time: 0.332949 s 0.29/0.34 c 0.29/0.34 c ============================[ Search Statistics ]============================== 0.29/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 968 1152 4016 | 5000 0 -nan | 0.000 % | 0.29/0.34 c | 102 | 968 1152 4016 | 5500 102 31 | 32.449 % | 0.29/0.35 c | 252 | 968 1152 4016 | 6050 252 32 | 32.449 % | 0.29/0.35 c | 480 | 968 1152 4016 | 6655 480 36 | 32.449 % | 0.29/0.36 c | 818 | 968 1152 4016 | 7320 818 40 | 32.449 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c core #159 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 274 Core Weight: 1 Total Weight: 159 0.29/0.38 c Current CPU time: 0.365944 s 0.29/0.38 c 0.29/0.38 c ============================[ Search Statistics ]============================== 0.29/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 972 1153 4024 | 5000 0 -nan | 0.000 % | 0.29/0.38 c | 102 | 972 1153 4024 | 5500 102 31 | 32.359 % | 0.29/0.38 c | 252 | 972 1153 4024 | 6050 252 32 | 32.359 % | 0.29/0.39 c | 478 | 972 1153 4024 | 6655 478 37 | 32.359 % | 0.39/0.40 c | 816 | 972 1153 4024 | 7320 816 39 | 32.359 % | 0.39/0.42 c | 1322 | 959 1153 4024 | 8052 1322 40 | 33.264 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c core #160 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 317 Core Weight: 1 Total Weight: 160 0.39/0.42 c Current CPU time: 0.410937 s 0.39/0.42 c 0.39/0.42 c ============================[ Search Statistics ]============================== 0.39/0.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.42 c =============================================================================== 0.39/0.42 c | 0 | 977 1154 4034 | 5000 0 -nan | 0.000 % | 0.39/0.42 c | 102 | 977 1154 4034 | 5500 102 31 | 32.247 % | 0.39/0.43 c | 252 | 973 1154 4034 | 6050 252 33 | 32.524 % | 0.39/0.43 c | 479 | 973 1154 4034 | 6655 479 38 | 32.524 % | 0.39/0.44 c | 817 | 973 1154 4034 | 7320 817 38 | 32.524 % | 0.39/0.47 c | 1327 | 973 1154 4034 | 8052 1327 40 | 32.524 % | 0.49/0.51 c | 2087 | 973 1154 4034 | 8857 2087 42 | 32.524 % | 0.49/0.59 c | 3226 | 973 1154 4034 | 9743 3226 42 | 32.525 % | 0.59/0.61 c =============================================================================== 0.59/0.62 c core #161 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 380 Core Weight: 1 Total Weight: 161 0.59/0.62 c Current CPU time: 0.606907 s 0.59/0.62 c 0.59/0.62 c ============================[ Search Statistics ]============================== 0.59/0.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.62 c =============================================================================== 0.59/0.62 c | 0 | 1000 1155 4080 | 5000 0 -nan | 0.000 % | 0.59/0.62 c | 102 | 1000 1155 4080 | 5500 102 39 | 31.741 % | 0.59/0.63 c | 253 | 1000 1155 4080 | 6050 253 41 | 31.741 % | 0.59/0.63 c | 480 | 1000 1155 4080 | 6655 480 44 | 31.741 % | 0.59/0.64 c | 818 | 1000 1155 4080 | 7320 818 45 | 31.741 % | 0.59/0.65 c =============================================================================== 0.59/0.65 c core #162 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 359 Core Weight: 1 Total Weight: 162 0.59/0.65 c Current CPU time: 0.637903 s 0.59/0.65 c 0.59/0.65 c ============================[ Search Statistics ]============================== 0.59/0.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.65 c =============================================================================== 0.59/0.65 c | 0 | 1017 1156 4114 | 5000 0 -nan | 0.000 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c core #163 0.59/0.66 c 0.59/0.66 c 0.59/0.66 c Core size: 340 Core Weight: 1 Total Weight: 163 0.59/0.66 c Current CPU time: 0.640902 s 0.59/0.66 c 0.59/0.66 c ============================[ Search Statistics ]============================== 0.59/0.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.66 c =============================================================================== 0.59/0.66 c | 0 | 1035 1157 4150 | 5000 0 -nan | 0.000 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c core #164 0.59/0.66 c 0.59/0.66 c 0.59/0.66 c Core size: 280 Core Weight: 1 Total Weight: 164 0.59/0.66 c Current CPU time: 0.642902 s 0.59/0.66 c 0.59/0.66 c ============================[ Search Statistics ]============================== 0.59/0.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.66 c =============================================================================== 0.59/0.66 c | 0 | 1041 1158 4162 | 5000 0 -nan | 0.000 % | 0.59/0.66 c | 102 | 1041 1158 4162 | 5500 102 39 | 30.877 % | 0.59/0.66 c | 252 | 1041 1158 4162 | 6050 252 46 | 30.877 % | 0.59/0.67 c | 478 | 1041 1158 4162 | 6655 478 46 | 30.877 % | 0.59/0.68 c | 815 | 1041 1158 4162 | 7320 815 45 | 30.877 % | 0.59/0.69 c | 1324 | 1041 1158 4162 | 8052 1324 49 | 30.877 % | 0.69/0.73 c | 2087 | 1041 1158 4162 | 8857 2087 53 | 30.877 % | 0.79/0.81 c | 3226 | 1037 1158 4162 | 9743 3226 54 | 31.142 % | 0.89/0.94 c | 4934 | 1037 1158 4162 | 10717 4934 53 | 31.142 % | 1.11/1.18 c | 7499 | 1037 1158 4162 | 11789 7499 52 | 31.408 % | 1.59/1.68 c | 11346 | 1033 1158 4162 | 12968 11346 52 | 31.408 % | 2.29/2.32 c | 17114 | 1033 1158 4162 | 14265 10381 50 | 31.408 % | 2.39/2.42 c =============================================================================== 2.39/2.48 c core #165 2.39/2.48 c 2.39/2.48 c 2.39/2.48 c Core size: 381 Core Weight: 1 Total Weight: 165 2.39/2.48 c Current CPU time: 2.44763 s 2.39/2.48 c 2.39/2.48 c ============================[ Search Statistics ]============================== 2.39/2.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.48 c =============================================================================== 2.39/2.48 c | 0 | 1064 1159 4208 | 5000 0 -nan | 0.000 % | 2.39/2.48 c =============================================================================== 2.39/2.49 c core #166 2.39/2.49 c 2.39/2.49 c 2.39/2.49 c Core size: 342 Core Weight: 1 Total Weight: 166 2.39/2.49 c Current CPU time: 2.45363 s 2.39/2.49 c 2.39/2.49 c ============================[ Search Statistics ]============================== 2.39/2.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.49 c =============================================================================== 2.39/2.49 c | 0 | 1073 1160 4226 | 5000 0 -nan | 0.000 % | 2.39/2.49 c | 102 | 1073 1160 4226 | 5500 102 47 | 30.234 % | 2.39/2.49 c | 252 | 1073 1160 4226 | 6050 252 57 | 30.234 % | 2.39/2.50 c | 479 | 1073 1160 4226 | 6655 479 65 | 30.234 % | 2.49/2.51 c | 819 | 1073 1160 4226 | 7320 819 68 | 30.234 % | 2.49/2.53 c | 1326 | 1073 1160 4226 | 8052 1326 72 | 30.234 % | 2.49/2.57 c | 2088 | 1073 1160 4226 | 8857 2088 71 | 30.234 % | 2.59/2.68 c | 3230 | 1073 1160 4226 | 9743 3230 72 | 30.234 % | 2.79/2.84 c | 4940 | 1073 1160 4226 | 10717 4940 73 | 30.234 % | 3.09/3.12 c | 7502 | 1073 1160 4226 | 11789 7502 73 | 30.234 % | 3.69/3.73 c | 11347 | 1069 1160 4226 | 12968 11347 73 | 30.494 % | 3.79/3.81 c =============================================================================== 3.79/3.82 c core #167 3.79/3.82 c 3.79/3.82 c 3.79/3.82 c Core size: 248 Core Weight: 1 Total Weight: 167 3.79/3.82 c Current CPU time: 3.76343 s 3.79/3.82 c 3.79/3.82 c ============================[ Search Statistics ]============================== 3.79/3.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.82 c =============================================================================== 3.79/3.82 c | 0 | 1078 1161 4236 | 5000 0 -nan | 0.000 % | 3.79/3.82 c | 102 | 1078 1161 4236 | 5500 102 44 | 30.136 % | 3.79/3.82 c | 254 | 1078 1161 4236 | 6050 254 54 | 30.136 % | 3.79/3.83 c | 479 | 1078 1161 4236 | 6655 479 64 | 30.136 % | 3.79/3.84 c | 817 | 1078 1161 4236 | 7320 817 68 | 30.136 % | 3.79/3.86 c | 1326 | 1074 1161 4236 | 8052 1326 72 | 30.460 % | 3.89/3.90 c | 2085 | 1074 1161 4236 | 8857 2085 77 | 30.460 % | 3.99/4.03 c | 3225 | 1074 1161 4236 | 9743 3225 79 | 30.460 % | 4.09/4.13 c | 4935 | 1073 1161 4236 | 10717 4935 74 | 30.460 % | 4.49/4.52 c | 7500 | 1073 1161 4236 | 11789 7500 76 | 30.460 % | 5.09/5.18 c | 11345 | 1073 1161 4236 | 12968 11345 76 | 30.460 % | 6.29/6.30 c | 17116 | 1073 1161 4236 | 14265 10348 75 | 30.460 % | 6.51/6.57 c =============================================================================== 6.51/6.59 c core #168 6.51/6.59 c 6.51/6.59 c 6.51/6.59 c Core size: 384 Core Weight: 1 Total Weight: 168 6.51/6.59 c Current CPU time: 6.51501 s 6.51/6.59 c 6.51/6.59 c ============================[ Search Statistics ]============================== 6.51/6.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.51/6.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.51/6.59 c =============================================================================== 6.51/6.59 c | 0 | 1106 1162 4292 | 5000 0 -nan | 0.000 % | 6.51/6.59 c | 100 | 1106 1162 4292 | 5500 100 29 | 29.599 % | 6.51/6.60 c | 253 | 1106 1162 4292 | 6050 253 21 | 29.599 % | 6.51/6.60 c =============================================================================== 6.51/6.60 c core #169 6.51/6.60 c 6.51/6.60 c 6.51/6.60 c Core size: 338 Core Weight: 1 Total Weight: 169 6.51/6.60 c Current CPU time: 6.52701 s 6.51/6.60 c 6.51/6.60 c ============================[ Search Statistics ]============================== 6.51/6.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.51/6.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.51/6.60 c =============================================================================== 6.51/6.60 c | 0 | 1121 1163 4322 | 5000 0 -nan | 0.000 % | 6.51/6.60 c | 102 | 1121 1163 4322 | 5500 102 26 | 29.319 % | 6.51/6.60 c | 252 | 1121 1163 4322 | 6050 252 32 | 29.319 % | 6.51/6.61 c | 478 | 1121 1163 4322 | 6655 478 35 | 29.319 % | 6.61/6.62 c | 816 | 1121 1163 4322 | 7320 816 36 | 29.319 % | 6.61/6.64 c | 1324 | 1121 1163 4322 | 8052 1324 37 | 29.319 % | 6.61/6.64 c =============================================================================== 6.61/6.65 c core #170 6.61/6.65 c 6.61/6.65 c 6.61/6.65 c Core size: 342 Core Weight: 1 Total Weight: 170 6.61/6.65 c Current CPU time: 6.575 s 6.61/6.65 c 6.61/6.65 c ============================[ Search Statistics ]============================== 6.61/6.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.61/6.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.61/6.65 c =============================================================================== 6.61/6.65 c | 0 | 1141 1164 4362 | 5000 0 -nan | 0.000 % | 6.61/6.65 c | 104 | 1141 1164 4362 | 5500 104 49 | 28.954 % | 6.61/6.65 c | 254 | 1140 1164 4362 | 6050 254 38 | 29.016 % | 6.61/6.66 c | 482 | 1140 1164 4362 | 6655 482 46 | 29.016 % | 6.61/6.66 c | 819 | 1140 1164 4362 | 7320 819 48 | 29.016 % | 6.61/6.68 c | 1325 | 1139 1164 4362 | 8052 1325 44 | 29.078 % | 6.69/6.71 c | 2084 | 1138 1164 4362 | 8857 2084 53 | 29.141 % | 6.69/6.78 c | 3223 | 1131 1164 4362 | 9743 3223 59 | 29.577 % | 6.69/6.80 c =============================================================================== 6.79/6.80 c core #171 6.79/6.80 c 6.79/6.80 c 6.79/6.80 c Core size: 385 Core Weight: 1 Total Weight: 171 6.79/6.80 c Current CPU time: 6.72398 s 6.79/6.80 c 6.79/6.80 c ============================[ Search Statistics ]============================== 6.79/6.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.79/6.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.79/6.80 c =============================================================================== 6.79/6.80 c | 0 | 1171 1165 4422 | 5000 0 -nan | 0.000 % | 6.79/6.80 c | 102 | 1171 1165 4422 | 5500 102 63 | 28.423 % | 6.79/6.81 c | 252 | 1171 1165 4422 | 6050 252 44 | 28.423 % | 6.79/6.81 c | 477 | 1171 1165 4422 | 6655 477 42 | 28.423 % | 6.79/6.82 c | 814 | 1171 1165 4422 | 7320 814 47 | 28.423 % | 6.79/6.84 c | 1320 | 1171 1165 4422 | 8052 1320 48 | 28.423 % | 6.79/6.86 c | 2085 | 1171 1165 4422 | 8857 2085 51 | 28.423 % | 6.89/6.94 c | 3225 | 1171 1165 4422 | 9743 3225 52 | 28.423 % | 6.99/7.06 c | 4933 | 1158 1165 4422 | 10717 4933 52 | 29.462 % | 7.09/7.10 c =============================================================================== 7.09/7.12 c core #172 7.09/7.12 c 7.09/7.12 c 7.09/7.12 c Core size: 346 Core Weight: 1 Total Weight: 172 7.09/7.12 c Current CPU time: 7.03193 s 7.09/7.12 c 7.09/7.12 c ============================[ Search Statistics ]============================== 7.09/7.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.09/7.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.09/7.12 c =============================================================================== 7.09/7.12 c | 0 | 1194 1166 4468 | 5000 0 -nan | 0.000 % | 7.09/7.12 c | 100 | 1194 1166 4468 | 5500 100 17 | 28.029 % | 7.09/7.12 c =============================================================================== 7.09/7.12 c core #173 7.09/7.12 c 7.09/7.12 c 7.09/7.12 c Core size: 339 Core Weight: 1 Total Weight: 173 7.09/7.12 c Current CPU time: 7.03693 s 7.09/7.12 c 7.09/7.12 c ============================[ Search Statistics ]============================== 7.09/7.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.09/7.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.09/7.12 c =============================================================================== 7.09/7.12 c | 0 | 1204 1167 4488 | 5000 0 -nan | 0.000 % | 7.09/7.12 c | 100 | 1204 1167 4488 | 5500 100 60 | 27.861 % | 7.09/7.13 c | 251 | 1204 1167 4488 | 6050 251 37 | 27.861 % | 7.09/7.13 c | 477 | 1204 1167 4488 | 6655 477 31 | 27.861 % | 7.09/7.14 c | 815 | 1204 1167 4488 | 7320 815 28 | 27.861 % | 7.09/7.15 c =============================================================================== 7.09/7.15 c core #174 7.09/7.15 c 7.09/7.15 c 7.09/7.15 c Core size: 342 Core Weight: 1 Total Weight: 174 7.09/7.15 c Current CPU time: 7.06492 s 7.09/7.15 c 7.09/7.15 c ============================[ Search Statistics ]============================== 7.09/7.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.09/7.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.09/7.15 c =============================================================================== 7.09/7.15 c | 0 | 1214 1168 4508 | 5000 0 -nan | 0.000 % | 7.09/7.15 c | 102 | 1214 1168 4508 | 5500 102 39 | 27.695 % | 7.09/7.16 c | 256 | 1214 1168 4508 | 6050 256 34 | 27.695 % | 7.09/7.16 c | 483 | 1214 1168 4508 | 6655 483 38 | 27.695 % | 7.09/7.17 c | 820 | 1213 1168 4508 | 7320 820 45 | 27.755 % | 7.09/7.19 c | 1330 | 1206 1168 4508 | 8052 1330 54 | 28.172 % | 7.19/7.24 c | 2089 | 1201 1168 4508 | 8857 2089 62 | 28.469 % | 7.29/7.31 c | 3230 | 1201 1168 4508 | 9743 3230 66 | 28.469 % | 7.39/7.43 c | 4938 | 1199 1168 4508 | 10717 4938 66 | 28.588 % | 7.60/7.67 c | 7502 | 1199 1168 4508 | 11789 7502 66 | 28.588 % | 8.39/8.45 c | 11349 | 1199 1168 4508 | 12968 11349 70 | 28.588 % | 9.19/9.29 c | 17118 | 1199 1168 4508 | 14265 10371 74 | 28.827 % | 10.39/10.47 c | 25770 | 1193 1168 4508 | 15692 11627 70 | 28.946 % | 11.49/11.58 c =============================================================================== 11.69/11.74 c core #175 11.69/11.74 c 11.69/11.74 c 11.69/11.74 c Core size: 352 Core Weight: 1 Total Weight: 175 11.69/11.74 c Current CPU time: 11.5952 s 11.69/11.74 c 11.69/11.74 c ============================[ Search Statistics ]============================== 11.69/11.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.69/11.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.69/11.74 c =============================================================================== 11.69/11.74 c | 0 | 1240 1169 4560 | 5000 0 -nan | 0.000 % | 11.69/11.74 c | 102 | 1240 1169 4560 | 5500 102 49 | 27.273 % | 11.69/11.74 c | 252 | 1240 1169 4560 | 6050 252 44 | 27.273 % | 11.69/11.75 c | 478 | 1240 1169 4560 | 6655 478 49 | 27.273 % | 11.69/11.76 c | 816 | 1240 1169 4560 | 7320 816 51 | 27.273 % | 11.69/11.77 c | 1324 | 1240 1169 4560 | 8052 1324 68 | 27.273 % | 11.79/11.80 c | 2083 | 1240 1169 4560 | 8857 2083 77 | 27.273 % | 11.79/11.86 c | 3222 | 1240 1169 4560 | 9743 3222 85 | 27.273 % | 12.01/12.03 c | 4931 | 1240 1169 4560 | 10717 4931 92 | 27.273 % | 12.29/12.31 c | 7494 | 1240 1169 4560 | 11789 7494 95 | 27.273 % | 12.99/13.05 c | 11344 | 1240 1169 4560 | 12968 11344 98 | 27.273 % | 14.09/14.19 c | 17114 | 1240 1169 4560 | 14265 10335 101 | 27.273 % | 15.19/15.31 c | 25763 | 1240 1169 4560 | 15692 11544 95 | 27.273 % | 17.09/17.14 c | 38737 | 1240 1169 4560 | 17261 8265 83 | 27.273 % | 20.99/21.02 c | 58201 | 1240 1169 4560 | 18987 9879 83 | 27.273 % | 28.89/28.95 c | 87393 | 1240 1169 4560 | 20886 19466 107 | 27.273 % | 41.19/41.23 c | 131182 | 1240 1169 4560 | 22974 20291 103 | 27.273 % | 57.49/57.58 c | 196868 | 1237 1169 4560 | 25272 14386 90 | 27.449 % | 76.69/76.72 c =============================================================================== 77.29/77.30 c core #176 77.29/77.30 c 77.29/77.30 c 77.29/77.30 c Core size: 387 Core Weight: 1 Total Weight: 176 77.29/77.30 c Current CPU time: 76.7363 s 77.29/77.30 c 77.29/77.30 c ============================[ Search Statistics ]============================== 77.29/77.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 77.29/77.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 77.29/77.30 c =============================================================================== 77.29/77.30 c | 0 | 1282 1170 4644 | 5000 0 -nan | 0.000 % | 77.29/77.30 c | 101 | 1282 1170 4644 | 5500 101 61 | 26.617 % | 77.29/77.31 c | 251 | 1282 1170 4644 | 6050 251 40 | 26.617 % | 77.29/77.31 c | 477 | 1282 1170 4644 | 6655 477 41 | 26.617 % | 77.29/77.32 c | 814 | 1282 1170 4644 | 7320 814 41 | 26.617 % | 77.29/77.33 c | 1323 | 1282 1170 4644 | 8052 1323 42 | 26.617 % | 77.29/77.36 c | 2083 | 1282 1170 4644 | 8857 2083 43 | 26.617 % | 77.39/77.43 c | 3222 | 1282 1170 4644 | 9743 3222 43 | 26.617 % | 77.49/77.56 c | 4931 | 1282 1170 4644 | 10717 4931 44 | 26.617 % | 77.79/77.84 c | 7495 | 1282 1170 4644 | 11789 7495 44 | 26.617 % | 78.39/78.43 c | 11340 | 1282 1170 4644 | 12968 11340 45 | 26.617 % | 79.21/79.22 c | 17117 | 1282 1170 4644 | 14265 10324 44 | 26.617 % | 80.39/80.40 c | 25766 | 1271 1170 4644 | 15692 11577 44 | 27.247 % | 80.49/80.51 c =============================================================================== 80.59/80.63 c core #177 80.59/80.63 c 80.59/80.63 c 80.59/80.63 c Core size: 334 Core Weight: 1 Total Weight: 177 80.59/80.63 c Current CPU time: 80.1578 s 80.59/80.63 c 80.59/80.63 c ============================[ Search Statistics ]============================== 80.59/80.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.59/80.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.59/80.63 c =============================================================================== 80.59/80.63 c | 0 | 1298 1171 4676 | 5000 0 -nan | 0.000 % | 80.59/80.63 c | 102 | 1298 1171 4676 | 5500 102 60 | 26.376 % | 80.59/80.63 c | 252 | 1298 1171 4676 | 6050 252 51 | 26.376 % | 80.59/80.63 c | 479 | 1298 1171 4676 | 6655 479 46 | 26.376 % | 80.59/80.64 c | 817 | 1298 1171 4676 | 7320 817 51 | 26.376 % | 80.59/80.66 c | 1325 | 1298 1171 4676 | 8052 1325 61 | 26.376 % | 80.59/80.69 c | 2084 | 1298 1171 4676 | 8857 2084 67 | 26.376 % | 80.69/80.74 c | 3226 | 1298 1171 4676 | 9743 3226 76 | 26.376 % | 80.79/80.85 c | 4936 | 1298 1171 4676 | 10717 4936 81 | 26.376 % | 80.99/81.01 c | 7498 | 1298 1171 4676 | 11789 7498 85 | 26.376 % | 81.50/81.53 c | 11343 | 1298 1171 4676 | 12968 11343 94 | 26.376 % | 82.51/82.57 c | 17109 | 1298 1171 4676 | 14265 10335 99 | 26.376 % | 84.89/84.94 c | 25760 | 1298 1171 4676 | 15692 11572 106 | 26.376 % | 87.19/87.29 c =============================================================================== 87.29/87.30 c core #178 87.29/87.30 c 87.29/87.30 c 87.29/87.30 c Core size: 321 Core Weight: 1 Total Weight: 178 87.29/87.30 c Current CPU time: 86.8078 s 87.29/87.30 c 87.29/87.30 c ============================[ Search Statistics ]============================== 87.29/87.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.29/87.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.29/87.30 c =============================================================================== 87.29/87.30 c | 0 | 1305 1172 4690 | 5000 0 -nan | 0.000 % | 87.29/87.30 c | 102 | 1305 1172 4690 | 5500 102 64 | 26.271 % | 87.29/87.30 c | 252 | 1305 1172 4690 | 6050 252 48 | 26.271 % | 87.29/87.31 c | 477 | 1305 1172 4690 | 6655 477 63 | 26.271 % | 87.29/87.31 c | 815 | 1305 1172 4690 | 7320 815 61 | 26.271 % | 87.29/87.34 c | 1321 | 1305 1172 4690 | 8052 1321 70 | 26.271 % | 87.29/87.37 c | 2082 | 1305 1172 4690 | 8857 2082 63 | 26.271 % | 87.40/87.43 c | 3221 | 1305 1172 4690 | 9743 3221 66 | 26.271 % | 87.49/87.56 c | 4930 | 1305 1172 4690 | 10717 4930 61 | 26.271 % | 87.79/87.80 c | 7501 | 1305 1172 4690 | 11789 7501 71 | 26.271 % | 88.20/88.23 c | 11348 | 1305 1172 4690 | 12968 11348 68 | 26.271 % | 89.00/89.04 c | 17114 | 1305 1172 4690 | 14265 10285 85 | 26.271 % | 90.39/90.42 c | 25765 | 1305 1172 4690 | 15692 11544 117 | 26.271 % | 92.79/92.86 c | 38740 | 1305 1172 4690 | 17261 8218 112 | 26.271 % | 96.81/96.81 c | 58201 | 1302 1172 4690 | 18987 9684 115 | 27.232 % | 105.00/105.01 c | 87401 | 1302 1172 4690 | 20886 19320 110 | 27.232 % | 105.39/105.50 c =============================================================================== 105.51/105.53 c core #179 105.51/105.53 c 105.51/105.53 c 105.51/105.53 c Core size: 322 Core Weight: 1 Total Weight: 179 105.51/105.53 c Current CPU time: 104.928 s 105.51/105.53 c 105.51/105.53 c ============================[ Search Statistics ]============================== 105.51/105.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 105.51/105.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 105.51/105.53 c =============================================================================== 105.51/105.53 c | 0 | 1312 1173 4704 | 5000 0 -nan | 0.000 % | 105.51/105.53 c | 102 | 1312 1173 4704 | 5500 102 64 | 26.168 % | 105.51/105.53 c | 253 | 1312 1173 4704 | 6050 253 42 | 26.168 % | 105.51/105.54 c | 479 | 1312 1173 4704 | 6655 479 52 | 26.168 % | 105.51/105.54 c | 818 | 1312 1173 4704 | 7320 818 51 | 26.168 % | 105.51/105.55 c | 1324 | 1312 1173 4704 | 8052 1324 51 | 26.168 % | 105.51/105.58 c | 2083 | 1312 1173 4704 | 8857 2083 62 | 26.168 % | 105.61/105.62 c | 3222 | 1312 1173 4704 | 9743 3222 64 | 26.168 % | 105.69/105.70 c | 4933 | 1312 1173 4704 | 10717 4933 74 | 26.168 % | 105.79/105.85 c | 7495 | 1312 1173 4704 | 11789 7495 91 | 26.168 % | 106.09/106.18 c | 11340 | 1312 1173 4704 | 12968 11340 101 | 26.168 % | 106.90/106.98 c | 17108 | 1312 1173 4704 | 14265 10319 108 | 26.168 % | 108.49/108.56 c | 25758 | 1312 1173 4704 | 15692 11506 93 | 26.168 % | 110.19/110.23 c | 38732 | 1312 1173 4704 | 17261 16299 98 | 26.168 % | 115.29/115.32 c | 58195 | 1312 1173 4704 | 18987 8948 115 | 26.168 % | 121.69/121.72 c | 87387 | 1312 1173 4704 | 20886 18579 120 | 26.168 % | 135.69/135.73 c | 131180 | 1312 1173 4704 | 22974 19369 116 | 26.168 % | 161.39/161.47 c | 196864 | 1312 1173 4704 | 25272 14309 130 | 26.168 % | 194.00/194.02 c | 295391 | 1312 1173 4704 | 27799 18158 104 | 26.168 % | 238.10/238.16 c | 443185 | 1308 1173 4704 | 30579 22888 126 | 26.449 % | 297.09/297.11 c | 664890 | 1293 1173 4704 | 33637 25849 88 | 27.237 % | 315.30/315.30 c =============================================================================== 316.82/316.82 c core #180 316.82/316.82 c 316.82/316.82 c 316.82/316.82 c Core size: 385 Core Weight: 1 Total Weight: 180 316.82/316.82 c Current CPU time: 315.18 s 316.82/316.82 c 316.82/316.82 c ============================[ Search Statistics ]============================== 316.82/316.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 316.82/316.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 316.82/316.82 c =============================================================================== 316.82/316.82 c | 0 | 1356 1174 4792 | 5000 0 -nan | 0.000 % | 316.82/316.82 c | 102 | 1356 1174 4792 | 5500 102 63 | 25.535 % | 316.82/316.82 c | 253 | 1356 1174 4792 | 6050 253 57 | 25.535 % | 316.82/316.83 c | 478 | 1356 1174 4792 | 6655 478 48 | 25.535 % | 316.82/316.84 c | 816 | 1356 1174 4792 | 7320 816 57 | 25.535 % | 316.82/316.85 c | 1324 | 1356 1174 4792 | 8052 1324 60 | 25.535 % | 316.82/316.88 c | 2085 | 1356 1174 4792 | 8857 2085 71 | 25.535 % | 316.90/316.92 c | 3224 | 1356 1174 4792 | 9743 3224 74 | 25.535 % | 317.00/317.02 c | 4934 | 1356 1174 4792 | 10717 4934 72 | 25.535 % | 317.20/317.22 c | 7496 | 1356 1174 4792 | 11789 7496 73 | 25.535 % | 317.60/317.63 c | 11342 | 1356 1174 4792 | 12968 11342 86 | 25.535 % | 318.20/318.28 c | 17111 | 1356 1174 4792 | 14265 10327 105 | 25.535 % | 319.50/319.52 c | 25763 | 1356 1174 4792 | 15692 11559 109 | 25.535 % | 322.50/322.58 c | 38740 | 1356 1174 4792 | 17261 8262 111 | 25.535 % | 326.30/326.33 c | 58202 | 1356 1174 4792 | 18987 9871 99 | 25.535 % | 331.49/331.58 c | 87394 | 1356 1174 4792 | 20886 19465 101 | 25.535 % | 339.60/339.69 c | 131184 | 1356 1174 4792 | 22974 20308 103 | 25.535 % | 356.60/356.63 c | 196873 | 1356 1174 4792 | 25272 15233 110 | 25.535 % | 384.40/384.47 c | 295400 | 1356 1174 4792 | 27799 20256 117 | 25.535 % | 424.40/424.40 c | 443189 | 1348 1174 4792 | 30579 26839 95 | 26.030 % | 466.00/466.05 c =============================================================================== 467.20/467.28 c core #181 467.20/467.28 c 467.20/467.28 c 467.20/467.28 c Core size: 335 Core Weight: 1 Total Weight: 181 467.20/467.28 c Current CPU time: 465.087 s 467.20/467.28 c 467.20/467.28 c ============================[ Search Statistics ]============================== 467.20/467.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 467.20/467.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 467.20/467.28 c =============================================================================== 467.20/467.28 c | 0 | 1372 1175 4824 | 5000 0 -nan | 0.000 % | 467.20/467.28 c | 100 | 1372 1175 4824 | 5500 100 49 | 25.313 % | 467.20/467.29 c | 250 | 1372 1175 4824 | 6050 250 43 | 25.313 % | 467.20/467.29 c | 477 | 1372 1175 4824 | 6655 477 45 | 25.313 % | 467.30/467.30 c | 814 | 1372 1175 4824 | 7320 814 62 | 25.313 % | 467.30/467.32 c | 1320 | 1372 1175 4824 | 8052 1320 70 | 25.313 % | 467.30/467.35 c | 2081 | 1372 1175 4824 | 8857 2081 83 | 25.313 % | 467.42/467.42 c | 3223 | 1372 1175 4824 | 9743 3223 89 | 25.313 % | 467.52/467.60 c | 4934 | 1372 1175 4824 | 10717 4934 98 | 25.313 % | 468.00/468.04 c | 7498 | 1372 1175 4824 | 11789 7498 107 | 25.313 % | 468.90/468.94 c | 11342 | 1372 1175 4824 | 12968 11342 114 | 25.313 % | 470.00/470.02 c | 17108 | 1372 1175 4824 | 14265 10332 116 | 25.313 % | 471.92/471.92 c | 25757 | 1372 1175 4824 | 15692 11546 113 | 25.313 % | 475.80/475.81 c | 38731 | 1372 1175 4824 | 17261 8266 122 | 25.313 % | 480.20/480.27 c | 58194 | 1368 1175 4824 | 18987 9616 70 | 25.531 % | 487.00/487.05 c | 87389 | 1368 1175 4824 | 20886 18830 108 | 25.531 % | 495.02/495.08 c | 131178 | 1368 1175 4824 | 22974 19658 88 | 25.531 % | 511.30/511.35 c | 196863 | 1368 1175 4824 | 25272 14438 97 | 25.531 % | 533.70/533.72 c | 295390 | 1363 1175 4824 | 27799 17443 87 | 26.456 % | 573.61/573.69 c | 443182 | 1351 1175 4824 | 30579 21077 107 | 26.456 % | 652.71/652.71 c | 664866 | 1347 1175 4824 | 33637 28888 105 | 26.674 % | 765.80/765.89 c | 997391 | 1347 1175 4824 | 37001 30896 87 | 26.674 % | 927.02/927.03 c | 1496179 | 1333 1175 4824 | 40701 26647 109 | 27.436 % | 952.21/952.25 c =============================================================================== 953.31/953.31 c core #182 953.31/953.31 c 953.31/953.31 c 953.31/953.31 c Core size: 391 Core Weight: 1 Total Weight: 182 953.31/953.31 c Current CPU time: 949.243 s 953.31/953.31 c 953.31/953.31 c ============================[ Search Statistics ]============================== 953.31/953.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 953.31/953.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 953.31/953.31 c =============================================================================== 953.31/953.31 c | 0 | 1417 1176 4914 | 5000 0 -nan | 0.000 % | 953.31/953.32 c | 101 | 1417 1176 4914 | 5500 101 57 | 24.708 % | 953.31/953.32 c | 251 | 1417 1176 4914 | 6050 251 44 | 24.708 % | 953.31/953.32 c | 477 | 1417 1176 4914 | 6655 477 72 | 24.708 % | 953.31/953.33 c | 815 | 1417 1176 4914 | 7320 815 67 | 24.708 % | 953.31/953.36 c | 1322 | 1417 1176 4914 | 8052 1322 86 | 24.708 % | 953.41/953.40 c | 2081 | 1417 1176 4914 | 8857 2081 99 | 24.708 % | 953.41/953.49 c | 3221 | 1417 1176 4914 | 9743 3221 115 | 24.708 % | 953.63/953.70 c | 4929 | 1417 1176 4914 | 10717 4929 127 | 24.708 % | 953.92/953.99 c | 7492 | 1417 1176 4914 | 11789 7492 131 | 24.708 % | 954.61/954.71 c | 11338 | 1417 1176 4914 | 12968 11338 137 | 24.708 % | 956.11/956.19 c | 17104 | 1417 1176 4914 | 14265 10339 150 | 24.708 % | 958.03/958.10 c | 25755 | 1417 1176 4914 | 15692 11564 141 | 24.708 % | 961.21/961.28 c | 38734 | 1417 1176 4914 | 17261 16316 124 | 24.708 % | 963.81/963.84 c | 58197 | 1417 1176 4914 | 18987 9044 109 | 24.708 % | 969.72/969.72 c | 87389 | 1417 1176 4914 | 20886 18521 130 | 24.708 % | 978.61/978.64 c | 131179 | 1414 1176 4914 | 22974 18814 124 | 24.867 % | 996.21/996.22 c | 196863 | 1406 1176 4914 | 25272 13204 135 | 25.292 % | 1028.42/1028.49 c | 295393 | 1401 1176 4914 | 27799 14878 161 | 25.558 % | 1060.33/1060.36 c | 443183 | 1397 1176 4914 | 30579 21602 102 | 25.770 % | 1137.12/1137.12 c | 664870 | 1397 1176 4914 | 33637 24589 161 | 25.770 % | 1282.92/1282.98 c | 997396 | 1397 1176 4914 | 37001 34312 86 | 25.770 % | 1441.12/1441.12 c | 1496184 | 1386 1176 4914 | 40701 24968 118 | 26.408 % | 1725.84/1725.82 c | 2244367 | 1385 1176 4914 | 44771 23693 89 | 26.408 % |
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3461435-1307089032/watcher-3461435-1307089032 -o /tmp/evaluation-result-3461435-1307089032/solver-3461435-1307089032 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461435-1307089032.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.01 2.00 1/471 24393 /proc/meminfo: memFree=20425636/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=2376 CPUtime=0.01 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 381 0 0 0 1 0 0 0 25 0 1 0 820502895 2433024 330 33554432000 4194304 5714214 140733395772496 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 594 330 175 372 0 219 0 [startup+0.0802979 s] /proc/loadavg: 2.04 2.01 2.00 1/471 24393 /proc/meminfo: memFree=20425636/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=3140 CPUtime=0.07 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 594 0 0 0 7 0 0 0 18 0 1 0 820502895 3215360 542 33554432000 4194304 5714214 140733395772496 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 785 542 180 372 0 410 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3140 [startup+0.100294 s] /proc/loadavg: 2.04 2.01 2.00 1/471 24393 /proc/meminfo: memFree=20425636/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=3320 CPUtime=0.09 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 626 0 0 0 9 0 0 0 18 0 1 0 820502895 3399680 574 33554432000 4194304 5714214 140733395772496 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 830 574 180 372 0 455 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3320 [startup+0.300244 s] /proc/loadavg: 2.04 2.01 2.00 1/471 24393 /proc/meminfo: memFree=20425636/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=4528 CPUtime=0.29 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 924 0 0 0 28 1 0 0 18 0 1 0 820502895 4636672 872 33554432000 4194304 5714214 140733395772496 18446744073709551615 4198136 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 1132 873 180 372 0 757 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4528 [startup+0.701185 s] /proc/loadavg: 2.04 2.01 2.00 1/471 24393 /proc/meminfo: memFree=20425636/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=4948 CPUtime=0.69 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 1052 0 0 0 67 2 0 0 18 0 1 0 820502895 5066752 1000 33554432000 4194304 5714214 140733395772496 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 1237 1000 180 372 0 862 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4948 [startup+1.50105 s] /proc/loadavg: 2.04 2.01 2.00 3/474 24421 /proc/meminfo: memFree=20419560/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=7304 CPUtime=1.49 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 1634 0 0 0 147 2 0 0 19 0 1 0 820502895 7479296 1582 33554432000 4194304 5714214 140733395772496 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 1826 1582 180 372 0 1451 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7304 [startup+3.10065 s] /proc/loadavg: 2.04 2.01 2.00 3/474 24421 /proc/meminfo: memFree=20410756/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=10312 CPUtime=3.09 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 2404 0 0 0 305 4 0 0 25 0 1 0 820502895 10559488 2325 33554432000 4194304 5714214 140733395772496 18446744073709551615 4319373 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 2578 2325 180 372 0 2203 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10312 [startup+6.30016 s] /proc/loadavg: 2.04 2.01 2.00 3/474 24421 /proc/meminfo: memFree=20407760/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=10840 CPUtime=6.29 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 2551 0 0 0 622 7 0 0 25 0 1 0 820502895 11100160 2472 33554432000 4194304 5714214 140733395772496 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 2710 2472 180 372 0 2335 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10840 [startup+12.7011 s] /proc/loadavg: 2.03 2.01 2.00 3/474 24421 /proc/meminfo: memFree=20395932/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=15316 CPUtime=12.69 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 3630 0 0 0 1255 14 0 0 25 0 1 0 820502895 15683584 3551 33554432000 4194304 5714214 140733395772496 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 3829 3551 180 372 0 3454 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15316 [startup+25.5008 s] /proc/loadavg: 2.03 2.01 2.00 3/474 24422 /proc/meminfo: memFree=20375256/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=26360 CPUtime=25.49 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 6305 0 0 0 2526 23 0 0 25 0 1 0 820502895 26992640 6226 33554432000 4194304 5714214 140733395772496 18446744073709551615 4320112 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 6590 6226 180 372 0 6215 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 26360 [startup+51.1002 s] /proc/loadavg: 2.02 2.01 2.00 3/474 24422 /proc/meminfo: memFree=20342072/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=42704 CPUtime=51.09 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 10336 0 0 0 5074 35 0 0 25 0 1 0 820502895 43728896 10257 33554432000 4194304 5714214 140733395772496 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 10676 10257 180 372 0 10301 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 42704 [startup+102.318 s] /proc/loadavg: 2.00 2.00 2.00 3/474 24424 /proc/meminfo: memFree=20265148/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=69140 CPUtime=102.31 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 16842 0 0 0 10175 56 0 0 25 0 1 0 820502895 70799360 16712 33554432000 4194304 5714214 140733395772496 18446744073709551615 4300272 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 17285 16712 180 372 0 16910 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 69140 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/474 24425 /proc/meminfo: memFree=20265472/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=69140 CPUtime=162.29 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 17002 0 0 0 16153 76 0 0 25 0 1 0 820502895 70799360 16872 33554432000 4194304 5714214 140733395772496 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 17285 16872 180 372 0 16910 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 69140 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/474 24427 /proc/meminfo: memFree=20205924/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=83052 CPUtime=222.29 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 20438 0 0 0 22133 96 0 0 25 0 1 0 820502895 85045248 20308 33554432000 4194304 5714214 140733395772496 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 20763 20308 180 372 0 20388 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 83052 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/474 24429 /proc/meminfo: memFree=20132112/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=115860 CPUtime=282.3 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 28485 0 0 0 28110 120 0 0 25 0 1 0 820502895 118640640 28355 33554432000 4194304 5714214 140733395772496 18446744073709551615 4319420 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 28965 28355 180 372 0 28590 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 115860 [startup+342.301 s] /proc/loadavg: 2.11 2.03 2.01 3/474 24430 /proc/meminfo: memFree=20051592/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=138736 CPUtime=342.3 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 34103 0 0 0 34083 147 0 0 25 0 1 0 820502895 142065664 33973 33554432000 4194304 5714214 140733395772496 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 34684 33973 180 372 0 34309 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 138736 [startup+402.3 s] /proc/loadavg: 2.04 2.02 2.00 3/474 24432 /proc/meminfo: memFree=20007656/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=138736 CPUtime=402.3 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 34280 0 0 0 40061 169 0 0 25 0 1 0 820502895 142065664 34150 33554432000 4194304 5714214 140733395772496 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 34684 34150 180 372 0 34309 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 138736 [startup+462.301 s] /proc/loadavg: 2.01 2.02 2.00 3/474 24433 /proc/meminfo: memFree=19990752/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=138736 CPUtime=462.3 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 34423 0 0 0 46038 192 0 0 25 0 1 0 820502895 142065664 34293 33554432000 4194304 5714214 140733395772496 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 34684 34293 180 372 0 34309 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 138736 [startup+522.3 s] /proc/loadavg: 2.04 2.03 2.00 3/474 24435 /proc/meminfo: memFree=19972360/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=135116 CPUtime=522.3 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 34483 0 0 0 52016 214 0 0 25 0 1 0 820502895 138358784 33488 33554432000 4194304 5714214 140733395772496 18446744073709551615 4319274 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 33779 33488 180 372 0 33404 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 135116 [startup+582.301 s] /proc/loadavg: 2.04 2.03 2.00 3/474 24437 /proc/meminfo: memFree=19935636/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=135116 CPUtime=582.31 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 34492 0 0 0 57999 232 0 0 25 0 1 0 820502895 138358784 33497 33554432000 4194304 5714214 140733395772496 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 33779 33497 180 372 0 33404 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 135116 [startup+642.3 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.01 2.00 3/474 24443 /proc/meminfo: memFree=19804316/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=187812 CPUtime=822.31 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 47470 0 0 0 81934 297 0 0 25 0 1 0 820502895 192319488 46475 33554432000 4194304 5714214 140733395772496 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 46953 46475 180 372 0 46578 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 187812 [startup+882.301 s] /proc/loadavg: 2.09 2.03 2.01 3/474 24445 /proc/meminfo: memFree=19757668/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=214140 CPUtime=882.32 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 53982 0 0 0 87914 318 0 0 25 0 1 0 820502895 219279360 52987 33554432000 4194304 5714214 140733395772496 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 53535 52987 180 372 0 53160 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 214140 [startup+942.3 s] /proc/loadavg: 2.07 2.04 2.01 3/474 24446 /proc/meminfo: memFree=19694024/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=244572 CPUtime=942.31 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 61479 0 0 0 93895 336 0 0 25 0 1 0 820502895 250441728 60484 33554432000 4194304 5714214 140733395772496 18446744073709551615 4319240 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 61143 60484 180 372 0 60768 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 244572 [startup+1002.3 s] /proc/loadavg: 2.02 2.03 2.00 3/474 24448 /proc/meminfo: memFree=19690388/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=245660 CPUtime=1002.31 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 62057 0 0 0 99870 361 0 0 25 0 1 0 820502895 251555840 60844 33554432000 4194304 5714214 140733395772496 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 61415 60844 180 372 0 61040 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 245660 [startup+1062.3 s] /proc/loadavg: 2.10 2.05 2.01 3/474 24449 /proc/meminfo: memFree=19659720/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=245660 CPUtime=1062.32 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 62178 0 0 0 105848 384 0 0 25 0 1 0 820502895 251555840 60965 33554432000 4194304 5714214 140733395772496 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 61415 60965 180 372 0 61040 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 245660 [startup+1122.3 s] /proc/loadavg: 2.12 2.07 2.01 3/474 24451 /proc/meminfo: memFree=19632524/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=245660 CPUtime=1122.31 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 62207 0 0 0 111832 399 0 0 25 0 1 0 820502895 251555840 60994 33554432000 4194304 5714214 140733395772496 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 61415 60994 180 372 0 61040 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 245660 [startup+1182.3 s] /proc/loadavg: 2.04 2.05 2.01 3/474 24453 /proc/meminfo: memFree=19599252/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=245660 CPUtime=1182.32 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 62214 0 0 0 117818 414 0 0 25 0 1 0 820502895 251555840 61001 33554432000 4194304 5714214 140733395772496 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 61415 61001 180 372 0 61040 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 245660 [startup+1242.3 s] /proc/loadavg: 2.01 2.04 2.00 3/474 24454 /proc/meminfo: memFree=19580244/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=245660 CPUtime=1242.32 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 62253 0 0 0 123809 423 0 0 25 0 1 0 820502895 251555840 61040 33554432000 4194304 5714214 140733395772496 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 61415 61040 180 372 0 61040 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 245660 [startup+1302.3 s] /proc/loadavg: 2.00 2.03 2.00 3/474 24456 /proc/meminfo: memFree=19559628/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=245660 CPUtime=1302.33 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 62274 0 0 0 129793 440 0 0 25 0 1 0 820502895 251555840 61061 33554432000 4194304 5714214 140733395772496 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 61415 61061 180 372 0 61040 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 245660 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.00 3/474 24457 /proc/meminfo: memFree=19542112/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=245660 CPUtime=1362.32 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 62328 0 0 0 135774 458 0 0 25 0 1 0 820502895 251555840 61115 33554432000 4194304 5714214 140733395772496 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 61415 61115 180 372 0 61040 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 245660 [startup+1422.32 s] /proc/loadavg: 2.06 2.03 2.00 3/474 24459 /proc/meminfo: memFree=19510204/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=254560 CPUtime=1422.34 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 64523 0 0 0 141756 478 0 0 25 0 1 0 820502895 260669440 63310 33554432000 4194304 5714214 140733395772496 18446744073709551615 4319964 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 63640 63310 180 372 0 63265 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 254560 [startup+1482.3 s] /proc/loadavg: 2.08 2.04 2.00 3/474 24461 /proc/meminfo: memFree=19468896/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=282576 CPUtime=1482.33 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 71337 0 0 0 147736 497 0 0 25 0 1 0 820502895 289357824 70124 33554432000 4194304 5714214 140733395772496 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 70644 70124 180 372 0 70269 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 282576 [startup+1542.3 s] /proc/loadavg: 2.03 2.03 2.00 3/474 24462 /proc/meminfo: memFree=19426216/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=309660 CPUtime=1542.32 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 77922 0 0 0 153717 515 0 0 25 0 1 0 820502895 317091840 76709 33554432000 4194304 5714214 140733395772496 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 77415 76709 180 372 0 77040 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 309660 [startup+1602.3 s] /proc/loadavg: 2.13 2.05 2.01 3/474 24464 /proc/meminfo: memFree=19395792/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=324008 CPUtime=1602.33 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 81493 0 0 0 159705 528 0 0 25 0 1 0 820502895 331784192 80280 33554432000 4194304 5714214 140733395772496 18446744073709551615 4319420 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 81002 80280 180 372 0 80627 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 324008 [startup+1662.3 s] /proc/loadavg: 2.10 2.06 2.01 3/474 24465 /proc/meminfo: memFree=19355080/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=346872 CPUtime=1662.33 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 87150 0 0 0 165695 538 0 0 25 0 1 0 820502895 355196928 85937 33554432000 4194304 5714214 140733395772496 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 86718 85937 180 372 0 86343 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 346872 [startup+1722.3 s] /proc/loadavg: 2.04 2.05 2.00 3/474 24467 /proc/meminfo: memFree=19319204/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=360824 CPUtime=1722.33 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 90607 0 0 0 171678 555 0 0 25 0 1 0 820502895 369483776 89394 33554432000 4194304 5714214 140733395772496 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 90206 89394 180 372 0 89831 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 360824 [startup+1782.3 s] /proc/loadavg: 2.01 2.03 2.00 3/474 24469 /proc/meminfo: memFree=19264616/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=398212 CPUtime=1782.34 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 99823 0 0 0 177657 577 0 0 25 0 1 0 820502895 407769088 98610 33554432000 4194304 5714214 140733395772496 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 99553 98610 180 372 0 99178 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 398212 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.03 2.00 3/474 24469 /proc/meminfo: memFree=19257540/32950928 swapFree=61858088/67111528 [pid=24393] ppid=24391 vsize=400780 CPUtime=1800.05 cores=0,2,4,6 /proc/24393/stat : 24393 (wbo1.6) R 24391 24393 21173 0 -1 4202496 100406 0 0 0 179423 582 0 0 25 0 1 0 820502895 410398720 99193 33554432000 4194304 5714214 140733395772496 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24393/statm: 100195 99193 180 372 0 99820 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 400780 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.04 CPU time (s): 1800.08 CPU user time (s): 1794.24 CPU system time (s): 5.84311 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 400780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.24 system time used= 5.84311 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 100407 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12 involuntary context switches= 2145 runsolver used 8.86765 second user time and 18.9431 second system time The end
Begin job on node125 at 2011-06-03 10:17:12 IDJOB=3461435 IDBENCH=2164 IDSOLVER=1953 FILE ID=node125/3461435-1307089032 RUNJOBID= node125-1307083625-24004 PBS_JOBID= 13497861 Free space on /tmp= 73756 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-4.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461435-1307089032/watcher-3461435-1307089032 -o /tmp/evaluation-result-3461435-1307089032/solver-3461435-1307089032 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461435-1307089032.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fd5f76b1c73c75148941ed2b2825759f RANDOM SEED=144542883 node125.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5266.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 20425916 kB Buffers: 340348 kB Cached: 3467124 kB SwapCached: 3616 kB Active: 8810016 kB Inactive: 3370684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 20425916 kB SwapTotal: 67111528 kB SwapFree: 61858088 kB Dirty: 4300 kB Writeback: 0 kB AnonPages: 8370968 kB Mapped: 34112 kB Slab: 214264 kB PageTables: 62080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 130039040 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73752 MiB End job on node125 at 2011-06-03 10:47:14