Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.1 | 1800.05 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-addm4.r.opb |
MD5SUM | 9633aa6e9fb6df7104bc0e43c44542c0 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 165 |
Best CPU time to get the best result obtained on this benchmark | 0.6499 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 165 |
Optimality of the best value was proved | YES |
Number of variables | 1073 |
Total number of constraints | 832 |
Number of constraints which are clauses | 832 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 19 |
Number of terms in the objective function | 1073 |
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 | 1073 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1073 |
Number of bits of the biggest sum of numbers | 11 |
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.02 c wbo 1.6 beta - 20110321 0.00/0.02 c Parsing opb file format. File HOME/instance-3461503-1307101717.opb. 0.00/0.02 c Instance file HOME/instance-3461503-1307101717.opb 0.00/0.02 c File size is 57348 bytes. 0.00/0.02 c Highest Coefficient sum: 20 0.00/0.02 c ============================[ Problem Statistics ]============================= 0.00/0.02 c | | 0.00/0.02 c | Parsing time: 0.00 s | 0.00/0.02 c | Number Variables: 1073 | 0.00/0.02 c | Number Clauses: 832 | 0.00/0.02 c | Number Cardinality: 0 | 0.00/0.02 c | Number PB Constraints: 0 | 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1073 832 5389 | 5000 0 -nan | 0.000 % | 0.00/0.04 c core #1 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 9 Core Weight: 1 Total Weight: 1 0.00/0.04 c Current CPU time: 0.003999 s 0.00/0.04 c 0.00/0.04 c core #2 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 9 Core Weight: 1 Total Weight: 2 0.00/0.04 c Current CPU time: 0.004999 s 0.00/0.04 c 0.00/0.04 c core #3 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 3 0.00/0.04 c Current CPU time: 0.005999 s 0.00/0.04 c 0.00/0.04 c core #4 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 4 0.00/0.04 c Current CPU time: 0.005999 s 0.00/0.04 c 0.00/0.04 c core #5 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 5 0.00/0.04 c Current CPU time: 0.006998 s 0.00/0.04 c 0.00/0.04 c core #6 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 6 0.00/0.04 c Current CPU time: 0.007998 s 0.00/0.04 c 0.00/0.04 c core #7 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 7 0.00/0.04 c Current CPU time: 0.007998 s 0.00/0.04 c 0.00/0.04 c core #8 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 8 0.00/0.04 c Current CPU time: 0.008998 s 0.00/0.04 c 0.00/0.04 c core #9 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 5 Core Weight: 1 Total Weight: 9 0.00/0.04 c Current CPU time: 0.009998 s 0.00/0.04 c 0.00/0.04 c core #10 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 5 Core Weight: 1 Total Weight: 10 0.00/0.04 c Current CPU time: 0.009998 s 0.00/0.04 c 0.00/0.04 c core #11 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 9 Core Weight: 1 Total Weight: 11 0.00/0.04 c Current CPU time: 0.010998 s 0.00/0.04 c 0.00/0.04 c core #12 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 9 Core Weight: 1 Total Weight: 12 0.00/0.04 c Current CPU time: 0.011998 s 0.00/0.04 c 0.00/0.04 c core #13 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 13 0.00/0.04 c Current CPU time: 0.011998 s 0.00/0.04 c 0.00/0.04 c core #14 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 14 0.00/0.04 c Current CPU time: 0.012998 s 0.00/0.04 c 0.00/0.04 c core #15 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 5 Core Weight: 1 Total Weight: 15 0.00/0.04 c Current CPU time: 0.013997 s 0.00/0.04 c 0.00/0.04 c core #16 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 5 Core Weight: 1 Total Weight: 16 0.00/0.04 c Current CPU time: 0.013997 s 0.00/0.04 c 0.00/0.04 c core #17 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 9 Core Weight: 1 Total Weight: 17 0.00/0.04 c Current CPU time: 0.014997 s 0.00/0.04 c 0.00/0.04 c core #18 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 9 Core Weight: 1 Total Weight: 18 0.00/0.04 c Current CPU time: 0.015997 s 0.00/0.04 c 0.00/0.04 c core #19 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 5 Core Weight: 1 Total Weight: 19 0.00/0.04 c Current CPU time: 0.016997 s 0.00/0.04 c 0.00/0.04 c core #20 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 20 0.00/0.04 c Current CPU time: 0.016997 s 0.00/0.04 c 0.00/0.04 c core #21 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 5 Core Weight: 1 Total Weight: 21 0.00/0.04 c Current CPU time: 0.017997 s 0.00/0.04 c 0.00/0.04 c core #22 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 7 Core Weight: 1 Total Weight: 22 0.00/0.04 c Current CPU time: 0.018997 s 0.00/0.04 c 0.00/0.04 c core #23 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 7 Core Weight: 1 Total Weight: 23 0.00/0.04 c Current CPU time: 0.018997 s 0.00/0.04 c 0.00/0.04 c core #24 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 5 Core Weight: 1 Total Weight: 24 0.00/0.04 c Current CPU time: 0.019996 s 0.00/0.04 c 0.00/0.04 c core #25 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 25 0.00/0.04 c Current CPU time: 0.020996 s 0.00/0.04 c 0.00/0.04 c core #26 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 5 Core Weight: 1 Total Weight: 26 0.00/0.04 c Current CPU time: 0.021996 s 0.00/0.04 c 0.00/0.04 c core #27 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 7 Core Weight: 1 Total Weight: 27 0.00/0.04 c Current CPU time: 0.021996 s 0.00/0.04 c 0.00/0.04 c core #28 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 7 Core Weight: 1 Total Weight: 28 0.00/0.04 c Current CPU time: 0.021996 s 0.00/0.04 c 0.00/0.04 c core #29 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 5 Core Weight: 1 Total Weight: 29 0.00/0.04 c Current CPU time: 0.022996 s 0.00/0.04 c 0.00/0.04 c core #30 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 5 Core Weight: 1 Total Weight: 30 0.00/0.04 c Current CPU time: 0.023996 s 0.00/0.04 c 0.00/0.04 c core #31 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 31 0.00/0.04 c Current CPU time: 0.024996 s 0.00/0.04 c 0.00/0.04 c core #32 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 32 0.00/0.04 c Current CPU time: 0.024996 s 0.00/0.04 c 0.00/0.04 c core #33 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 9 Core Weight: 1 Total Weight: 33 0.00/0.04 c Current CPU time: 0.025996 s 0.00/0.04 c 0.00/0.04 c core #34 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 5 Core Weight: 1 Total Weight: 34 0.00/0.04 c Current CPU time: 0.026995 s 0.00/0.04 c 0.00/0.04 c core #35 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 5 Core Weight: 1 Total Weight: 35 0.00/0.04 c Current CPU time: 0.027995 s 0.00/0.04 c 0.00/0.04 c core #36 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 36 0.00/0.04 c Current CPU time: 0.027995 s 0.00/0.04 c 0.00/0.04 c core #37 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 37 0.00/0.04 c Current CPU time: 0.028995 s 0.00/0.04 c 0.00/0.04 c core #38 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 38 0.00/0.04 c Current CPU time: 0.029995 s 0.00/0.04 c 0.00/0.04 c core #39 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 10 Core Weight: 1 Total Weight: 39 0.00/0.04 c Current CPU time: 0.030995 s 0.00/0.04 c 0.00/0.04 c core #40 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 10 Core Weight: 1 Total Weight: 40 0.00/0.04 c Current CPU time: 0.031995 s 0.00/0.04 c 0.00/0.04 c core #41 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 41 0.00/0.04 c Current CPU time: 0.031995 s 0.00/0.04 c 0.00/0.04 c core #42 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 42 0.00/0.04 c Current CPU time: 0.032994 s 0.00/0.04 c 0.00/0.04 c core #43 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 43 0.00/0.07 c Current CPU time: 0.033994 s 0.00/0.07 c 0.00/0.07 c core #44 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 5 Core Weight: 1 Total Weight: 44 0.00/0.07 c Current CPU time: 0.034994 s 0.00/0.07 c 0.00/0.07 c core #45 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 5 Core Weight: 1 Total Weight: 45 0.00/0.07 c Current CPU time: 0.035994 s 0.00/0.07 c 0.00/0.07 c core #46 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 6 Core Weight: 1 Total Weight: 46 0.00/0.07 c Current CPU time: 0.035994 s 0.00/0.07 c 0.00/0.07 c core #47 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 47 0.00/0.07 c Current CPU time: 0.035994 s 0.00/0.07 c 0.00/0.07 c core #48 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 48 0.00/0.07 c Current CPU time: 0.036994 s 0.00/0.07 c 0.00/0.07 c core #49 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 12 Core Weight: 1 Total Weight: 49 0.00/0.07 c Current CPU time: 0.037994 s 0.00/0.07 c 0.00/0.07 c core #50 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 12 Core Weight: 1 Total Weight: 50 0.00/0.07 c Current CPU time: 0.038994 s 0.00/0.07 c 0.00/0.07 c core #51 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 51 0.00/0.07 c Current CPU time: 0.039993 s 0.00/0.07 c 0.00/0.07 c core #52 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 52 0.00/0.07 c Current CPU time: 0.039993 s 0.00/0.07 c 0.00/0.07 c core #53 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 53 0.00/0.07 c Current CPU time: 0.040993 s 0.00/0.07 c 0.00/0.07 c core #54 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 54 0.00/0.07 c Current CPU time: 0.041993 s 0.00/0.07 c 0.00/0.07 c core #55 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 55 0.00/0.07 c Current CPU time: 0.042993 s 0.00/0.07 c 0.00/0.07 c core #56 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 5 Core Weight: 1 Total Weight: 56 0.00/0.07 c Current CPU time: 0.043993 s 0.00/0.07 c 0.00/0.07 c core #57 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 5 Core Weight: 1 Total Weight: 57 0.00/0.07 c Current CPU time: 0.043993 s 0.00/0.07 c 0.00/0.07 c core #58 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 5 Core Weight: 1 Total Weight: 58 0.00/0.07 c Current CPU time: 0.044993 s 0.00/0.07 c 0.00/0.07 c core #59 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 5 Core Weight: 1 Total Weight: 59 0.00/0.07 c Current CPU time: 0.045993 s 0.00/0.07 c 0.00/0.07 c core #60 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 6 Core Weight: 1 Total Weight: 60 0.00/0.07 c Current CPU time: 0.046992 s 0.00/0.07 c 0.00/0.07 c core #61 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 6 Core Weight: 1 Total Weight: 61 0.00/0.07 c Current CPU time: 0.047992 s 0.00/0.07 c 0.00/0.07 c core #62 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 7 Core Weight: 1 Total Weight: 62 0.00/0.07 c Current CPU time: 0.048992 s 0.00/0.07 c 0.00/0.07 c core #63 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 7 Core Weight: 1 Total Weight: 63 0.00/0.07 c Current CPU time: 0.049992 s 0.00/0.07 c 0.00/0.07 c core #64 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 6 Core Weight: 1 Total Weight: 64 0.00/0.07 c Current CPU time: 0.049992 s 0.00/0.07 c 0.00/0.07 c core #65 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 6 Core Weight: 1 Total Weight: 65 0.00/0.07 c Current CPU time: 0.050992 s 0.00/0.07 c 0.00/0.07 c core #66 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 9 Core Weight: 1 Total Weight: 66 0.00/0.07 c Current CPU time: 0.051992 s 0.00/0.07 c 0.00/0.07 c core #67 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 67 0.00/0.07 c Current CPU time: 0.052991 s 0.00/0.07 c 0.00/0.07 c core #68 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 5 Core Weight: 1 Total Weight: 68 0.00/0.07 c Current CPU time: 0.053991 s 0.00/0.07 c 0.00/0.07 c core #69 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 5 Core Weight: 1 Total Weight: 69 0.00/0.07 c Current CPU time: 0.054991 s 0.00/0.07 c 0.00/0.07 c core #70 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 7 Core Weight: 1 Total Weight: 70 0.00/0.07 c Current CPU time: 0.055991 s 0.00/0.07 c 0.00/0.07 c core #71 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 7 Core Weight: 1 Total Weight: 71 0.00/0.07 c Current CPU time: 0.055991 s 0.00/0.07 c 0.00/0.07 c core #72 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 7 Core Weight: 1 Total Weight: 72 0.00/0.07 c Current CPU time: 0.056991 s 0.00/0.07 c 0.00/0.07 c core #73 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 7 Core Weight: 1 Total Weight: 73 0.00/0.07 c Current CPU time: 0.057991 s 0.00/0.07 c 0.00/0.07 c core #74 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 5 Core Weight: 1 Total Weight: 74 0.00/0.07 c Current CPU time: 0.058991 s 0.00/0.07 c 0.00/0.07 c core #75 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 5 Core Weight: 1 Total Weight: 75 0.00/0.07 c Current CPU time: 0.05999 s 0.00/0.07 c 0.00/0.07 c core #76 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 7 Core Weight: 1 Total Weight: 76 0.00/0.07 c Current CPU time: 0.06099 s 0.00/0.07 c 0.00/0.07 c core #77 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 7 Core Weight: 1 Total Weight: 77 0.00/0.07 c Current CPU time: 0.06199 s 0.00/0.07 c 0.00/0.07 c core #78 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 7 Core Weight: 1 Total Weight: 78 0.00/0.07 c Current CPU time: 0.06299 s 0.00/0.07 c 0.00/0.07 c core #79 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 11 Core Weight: 1 Total Weight: 79 0.00/0.07 c Current CPU time: 0.06399 s 0.00/0.07 c 0.00/0.07 c core #80 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 5 Core Weight: 1 Total Weight: 80 0.00/0.07 c Current CPU time: 0.06399 s 0.00/0.07 c 0.00/0.07 c core #81 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 5 Core Weight: 1 Total Weight: 81 0.00/0.07 c Current CPU time: 0.06499 s 0.00/0.07 c 0.00/0.07 c core #82 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 5 Core Weight: 1 Total Weight: 82 0.00/0.07 c Current CPU time: 0.065989 s 0.00/0.07 c 0.00/0.07 c core #83 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 5 Core Weight: 1 Total Weight: 83 0.00/0.07 c Current CPU time: 0.066989 s 0.00/0.07 c 0.00/0.07 c core #84 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 11 Core Weight: 1 Total Weight: 84 0.00/0.07 c Current CPU time: 0.067989 s 0.00/0.07 c 0.00/0.07 c core #85 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 8 Core Weight: 1 Total Weight: 85 0.09/0.11 c Current CPU time: 0.068989 s 0.09/0.11 c 0.09/0.11 c core #86 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 8 Core Weight: 1 Total Weight: 86 0.09/0.11 c Current CPU time: 0.069989 s 0.09/0.11 c 0.09/0.11 c core #87 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 5 Core Weight: 1 Total Weight: 87 0.09/0.11 c Current CPU time: 0.070989 s 0.09/0.11 c 0.09/0.11 c core #88 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 5 Core Weight: 1 Total Weight: 88 0.09/0.11 c Current CPU time: 0.071989 s 0.09/0.11 c 0.09/0.11 c core #89 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 9 Core Weight: 1 Total Weight: 89 0.09/0.11 c Current CPU time: 0.072988 s 0.09/0.11 c 0.09/0.11 c core #90 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 5 Core Weight: 1 Total Weight: 90 0.09/0.11 c Current CPU time: 0.073988 s 0.09/0.11 c 0.09/0.11 c core #91 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 5 Core Weight: 1 Total Weight: 91 0.09/0.11 c Current CPU time: 0.074988 s 0.09/0.11 c 0.09/0.11 c core #92 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 9 Core Weight: 1 Total Weight: 92 0.09/0.11 c Current CPU time: 0.075988 s 0.09/0.11 c 0.09/0.11 c core #93 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 93 0.09/0.11 c Current CPU time: 0.076988 s 0.09/0.11 c 0.09/0.11 c core #94 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 94 0.09/0.11 c Current CPU time: 0.077988 s 0.09/0.11 c 0.09/0.11 c core #95 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 5 Core Weight: 1 Total Weight: 95 0.09/0.11 c Current CPU time: 0.077988 s 0.09/0.11 c 0.09/0.11 c core #96 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 5 Core Weight: 1 Total Weight: 96 0.09/0.11 c Current CPU time: 0.078987 s 0.09/0.11 c 0.09/0.11 c core #97 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 97 0.09/0.11 c Current CPU time: 0.079987 s 0.09/0.11 c 0.09/0.11 c core #98 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 98 0.09/0.11 c Current CPU time: 0.080987 s 0.09/0.11 c 0.09/0.11 c core #99 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 99 0.09/0.11 c Current CPU time: 0.081987 s 0.09/0.11 c 0.09/0.11 c core #100 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 100 0.09/0.11 c Current CPU time: 0.082987 s 0.09/0.11 c 0.09/0.11 c core #101 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 6 Core Weight: 1 Total Weight: 101 0.09/0.11 c Current CPU time: 0.083987 s 0.09/0.11 c 0.09/0.11 c core #102 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 6 Core Weight: 1 Total Weight: 102 0.09/0.11 c Current CPU time: 0.084987 s 0.09/0.11 c 0.09/0.11 c core #103 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 103 0.09/0.11 c Current CPU time: 0.085986 s 0.09/0.11 c 0.09/0.11 c core #104 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 104 0.09/0.11 c Current CPU time: 0.086986 s 0.09/0.11 c 0.09/0.11 c core #105 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: 105 0.09/0.11 c Current CPU time: 0.087986 s 0.09/0.11 c 0.09/0.11 c core #106 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: 106 0.09/0.12 c Current CPU time: 0.088986 s 0.09/0.12 c 0.09/0.12 c core #107 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 107 0.09/0.12 c Current CPU time: 0.089986 s 0.09/0.12 c 0.09/0.12 c core #108 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 5 Core Weight: 1 Total Weight: 108 0.09/0.12 c Current CPU time: 0.090986 s 0.09/0.12 c 0.09/0.12 c core #109 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 5 Core Weight: 1 Total Weight: 109 0.09/0.12 c Current CPU time: 0.091986 s 0.09/0.12 c 0.09/0.12 c core #110 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 5 Core Weight: 1 Total Weight: 110 0.09/0.12 c Current CPU time: 0.092985 s 0.09/0.12 c 0.09/0.12 c core #111 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 111 0.09/0.12 c Current CPU time: 0.093985 s 0.09/0.12 c 0.09/0.12 c core #112 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 112 0.09/0.12 c Current CPU time: 0.094985 s 0.09/0.12 c 0.09/0.12 c core #113 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 10 Core Weight: 1 Total Weight: 113 0.09/0.12 c Current CPU time: 0.095985 s 0.09/0.12 c 0.09/0.12 c core #114 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 10 Core Weight: 1 Total Weight: 114 0.09/0.12 c Current CPU time: 0.096985 s 0.09/0.12 c 0.09/0.12 c core #115 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 14 Core Weight: 1 Total Weight: 115 0.09/0.12 c Current CPU time: 0.097985 s 0.09/0.12 c 0.09/0.12 c core #116 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 15 Core Weight: 1 Total Weight: 116 0.09/0.12 c Current CPU time: 0.098984 s 0.09/0.12 c 0.09/0.12 c core #117 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 15 Core Weight: 1 Total Weight: 117 0.09/0.12 c Current CPU time: 0.099984 s 0.09/0.12 c 0.09/0.12 c core #118 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 13 Core Weight: 1 Total Weight: 118 0.09/0.12 c Current CPU time: 0.100984 s 0.09/0.12 c 0.09/0.12 c core #119 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 10 Core Weight: 1 Total Weight: 119 0.09/0.12 c Current CPU time: 0.101984 s 0.09/0.12 c 0.09/0.12 c core #120 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 10 Core Weight: 1 Total Weight: 120 0.09/0.12 c Current CPU time: 0.102984 s 0.09/0.12 c 0.09/0.12 c core #121 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 28 Core Weight: 1 Total Weight: 121 0.09/0.12 c Current CPU time: 0.103984 s 0.09/0.12 c 0.09/0.12 c core #122 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 105 Core Weight: 1 Total Weight: 122 0.09/0.12 c Current CPU time: 0.105983 s 0.09/0.12 c 0.09/0.12 c core #123 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 79 Core Weight: 1 Total Weight: 123 0.09/0.12 c Current CPU time: 0.106983 s 0.09/0.12 c 0.09/0.12 c core #124 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 16 Core Weight: 1 Total Weight: 124 0.09/0.12 c Current CPU time: 0.107983 s 0.09/0.12 c 0.09/0.12 c core #125 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 16 Core Weight: 1 Total Weight: 125 0.09/0.12 c Current CPU time: 0.108983 s 0.09/0.12 c 0.09/0.12 c core #126 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 9 Core Weight: 1 Total Weight: 126 0.09/0.12 c Current CPU time: 0.109983 s 0.09/0.12 c 0.09/0.12 c core #127 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 9 Core Weight: 1 Total Weight: 127 0.09/0.12 c Current CPU time: 0.110983 s 0.09/0.12 c 0.09/0.12 c core #128 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 21 Core Weight: 1 Total Weight: 128 0.09/0.12 c Current CPU time: 0.112982 s 0.09/0.12 c 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 1459 2033 7570 | 5000 0 -nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #129 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 18 Core Weight: 1 Total Weight: 129 0.09/0.12 c Current CPU time: 0.113982 s 0.09/0.12 c 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 1483 2034 7609 | 5000 0 -nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #130 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 27 Core Weight: 1 Total Weight: 130 0.09/0.12 c Current CPU time: 0.115982 s 0.09/0.12 c 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 1512 2035 7662 | 5000 0 -nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #131 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 58 Core Weight: 1 Total Weight: 131 0.09/0.12 c Current CPU time: 0.117982 s 0.09/0.12 c 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 1563 2036 7753 | 5000 0 -nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #132 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 56 Core Weight: 1 Total Weight: 132 0.09/0.12 c Current CPU time: 0.119981 s 0.09/0.12 c 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 1620 2037 7874 | 5000 0 -nan | 0.000 % | 0.09/0.13 c | 101 | 1620 2037 7874 | 5500 101 18 | 19.881 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #133 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 80 Core Weight: 1 Total Weight: 133 0.09/0.13 c Current CPU time: 0.123981 s 0.09/0.13 c 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 1710 2038 8043 | 5000 0 -nan | 0.000 % | 0.09/0.13 c | 101 | 1710 2038 8043 | 5500 101 20 | 18.610 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #134 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 31 Core Weight: 1 Total Weight: 134 0.09/0.13 c Current CPU time: 0.12598 s 0.09/0.13 c 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 1760 2039 8177 | 5000 0 -nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #135 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 19 Core Weight: 1 Total Weight: 135 0.09/0.13 c Current CPU time: 0.12698 s 0.09/0.13 c 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 1787 2040 8221 | 5000 0 -nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #136 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 9 Core Weight: 1 Total Weight: 136 0.09/0.14 c Current CPU time: 0.12898 s 0.09/0.14 c 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 1795 2041 8235 | 5000 0 -nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #137 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 20 Core Weight: 1 Total Weight: 137 0.09/0.14 c Current CPU time: 0.13098 s 0.09/0.14 c 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 1822 2042 8279 | 5000 0 -nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #138 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 14 Core Weight: 1 Total Weight: 138 0.09/0.14 c Current CPU time: 0.132979 s 0.09/0.14 c 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 1832 2043 8299 | 5000 0 -nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #139 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 15 Core Weight: 1 Total Weight: 139 0.09/0.14 c Current CPU time: 0.134979 s 0.09/0.14 c 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 1844 2044 8321 | 5000 0 -nan | 0.000 % | 0.09/0.14 c | 101 | 1843 2044 8321 | 5500 101 22 | 15.652 % | 0.09/0.15 c | 251 | 1843 2044 8321 | 6050 251 23 | 15.652 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #140 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 22 Core Weight: 1 Total Weight: 140 0.09/0.15 c Current CPU time: 0.141978 s 0.09/0.15 c 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 1876 2045 8359 | 5000 0 -nan | 0.000 % | 0.09/0.15 c | 100 | 1876 2045 8359 | 5500 100 32 | 14.766 % | 0.09/0.16 c | 250 | 1876 2045 8359 | 6050 250 44 | 14.766 % | 0.09/0.16 c | 475 | 1876 2045 8359 | 6655 475 53 | 14.766 % | 0.09/0.17 c | 812 | 1876 2045 8359 | 7320 812 46 | 14.766 % | 0.09/0.19 c | 1321 | 1875 2045 8359 | 8052 1321 43 | 14.811 % | 0.09/0.19 c =============================================================================== 0.18/0.20 c core #141 0.18/0.20 c 0.18/0.20 c 0.18/0.20 c Core size: 87 Core Weight: 1 Total Weight: 141 0.18/0.20 c Current CPU time: 0.189971 s 0.18/0.20 c 0.18/0.20 c ============================[ Search Statistics ]============================== 0.18/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.18/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.18/0.20 c =============================================================================== 0.18/0.20 c | 0 | 1963 2046 8532 | 5000 0 -nan | 0.000 % | 0.18/0.20 c | 100 | 1963 2046 8532 | 5500 100 10 | 14.167 % | 0.18/0.20 c | 251 | 1955 2046 8532 | 6050 251 11 | 14.604 % | 0.18/0.21 c | 476 | 1955 2046 8532 | 6655 476 13 | 14.604 % | 0.18/0.21 c | 814 | 1951 2046 8532 | 7320 814 16 | 14.910 % | 0.18/0.22 c =============================================================================== 0.18/0.22 c core #142 0.18/0.22 c 0.18/0.22 c 0.18/0.22 c Core size: 87 Core Weight: 1 Total Weight: 142 0.18/0.22 c Current CPU time: 0.207968 s 0.18/0.22 c 0.18/0.22 c ============================[ Search Statistics ]============================== 0.18/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.18/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.18/0.22 c =============================================================================== 0.18/0.22 c | 0 | 2056 2047 8715 | 5000 0 -nan | 0.000 % | 0.18/0.22 c =============================================================================== 0.18/0.22 c core #143 0.18/0.22 c 0.18/0.22 c 0.18/0.22 c Core size: 34 Core Weight: 1 Total Weight: 143 0.18/0.22 c Current CPU time: 0.210967 s 0.18/0.22 c 0.18/0.22 c ============================[ Search Statistics ]============================== 0.18/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.18/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.18/0.22 c =============================================================================== 0.18/0.22 c | 0 | 2087 2048 8777 | 5000 0 -nan | 0.000 % | 0.18/0.22 c | 101 | 2087 2048 8777 | 5500 101 36 | 13.078 % | 0.18/0.23 c | 252 | 2086 2048 8777 | 6050 252 32 | 13.120 % | 0.18/0.23 c | 477 | 2086 2048 8777 | 6655 477 34 | 13.120 % | 0.18/0.24 c | 814 | 2086 2048 8777 | 7320 814 36 | 13.120 % | 0.18/0.24 c =============================================================================== 0.18/0.24 c core #144 0.18/0.24 c 0.18/0.24 c 0.18/0.24 c Core size: 49 Core Weight: 1 Total Weight: 144 0.18/0.24 c Current CPU time: 0.229965 s 0.18/0.24 c 0.18/0.24 c ============================[ Search Statistics ]============================== 0.18/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.18/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.18/0.24 c =============================================================================== 0.18/0.24 c | 0 | 2133 2049 8869 | 5000 0 -nan | 0.000 % | 0.18/0.25 c | 105 | 2133 2049 8869 | 5500 105 59 | 12.832 % | 0.18/0.25 c | 255 | 2133 2049 8869 | 6050 255 67 | 12.832 % | 0.18/0.26 c | 481 | 2133 2049 8869 | 6655 481 52 | 12.832 % | 0.18/0.27 c | 818 | 2133 2049 8869 | 7320 818 44 | 12.832 % | 0.18/0.28 c | 1325 | 2133 2049 8869 | 8052 1325 53 | 12.832 % | 0.28/0.31 c | 2085 | 2133 2049 8869 | 8857 2085 58 | 12.832 % | 0.28/0.37 c | 3224 | 2133 2049 8869 | 9743 3224 63 | 12.832 % | 0.39/0.48 c | 4933 | 2133 2049 8869 | 10717 4933 67 | 12.832 % | 0.69/0.72 c | 7495 | 2133 2049 8869 | 11789 7495 69 | 12.832 % | 1.10/1.15 c | 11342 | 2132 2049 8869 | 12968 11342 68 | 12.873 % | 1.49/1.55 c =============================================================================== 1.59/1.61 c core #145 1.59/1.61 c 1.59/1.61 c 1.59/1.61 c Core size: 91 Core Weight: 1 Total Weight: 145 1.59/1.61 c Current CPU time: 1.54576 s 1.59/1.61 c 1.59/1.61 c ============================[ Search Statistics ]============================== 1.59/1.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.61 c =============================================================================== 1.59/1.61 c | 0 | 2221 2050 9045 | 5000 0 -nan | 0.000 % | 1.59/1.61 c | 100 | 2221 2050 9045 | 5500 100 39 | 12.387 % | 1.59/1.61 c | 251 | 2221 2050 9045 | 6050 251 59 | 12.387 % | 1.59/1.62 c | 478 | 2221 2050 9045 | 6655 478 67 | 12.387 % | 1.59/1.63 c | 815 | 2217 2050 9045 | 7320 815 85 | 12.584 % | 1.59/1.65 c | 1321 | 2217 2050 9045 | 8052 1321 81 | 12.584 % | 1.59/1.68 c | 2080 | 2216 2050 9045 | 8857 2080 84 | 12.584 % | 1.69/1.74 c | 3220 | 2216 2050 9045 | 9743 3220 87 | 12.584 % | 1.78/1.86 c | 4928 | 2216 2050 9045 | 10717 4928 94 | 12.584 % | 1.99/2.04 c | 7491 | 2216 2050 9045 | 11789 7491 93 | 12.584 % | 2.28/2.37 c | 11336 | 2215 2050 9045 | 12968 11336 92 | 12.623 % | 2.88/2.94 c | 17107 | 2215 2050 9045 | 14265 10438 82 | 12.623 % | 3.19/3.31 c =============================================================================== 3.30/3.38 c core #146 3.30/3.38 c 3.30/3.38 c 3.30/3.38 c Core size: 116 Core Weight: 1 Total Weight: 146 3.30/3.38 c Current CPU time: 3.2665 s 3.30/3.38 c 3.30/3.38 c ============================[ Search Statistics ]============================== 3.30/3.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.38 c =============================================================================== 3.30/3.38 c | 0 | 2347 2051 9283 | 5000 0 -nan | 0.000 % | 3.30/3.38 c | 102 | 2347 2051 9283 | 5500 102 32 | 11.334 % | 3.30/3.39 c | 252 | 2347 2051 9283 | 6050 252 21 | 11.334 % | 3.30/3.39 c | 478 | 2347 2051 9283 | 6655 478 20 | 11.334 % | 3.38/3.40 c | 817 | 2347 2051 9283 | 7320 817 21 | 11.334 % | 3.38/3.40 c =============================================================================== 3.38/3.41 c core #147 3.38/3.41 c 3.38/3.41 c 3.38/3.41 c Core size: 76 Core Weight: 1 Total Weight: 147 3.38/3.41 c Current CPU time: 3.2975 s 3.38/3.41 c 3.38/3.41 c ============================[ Search Statistics ]============================== 3.38/3.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.38/3.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.38/3.41 c =============================================================================== 3.38/3.41 c | 0 | 2424 2052 9432 | 5000 0 -nan | 0.000 % | 3.38/3.41 c | 100 | 2424 2052 9432 | 5500 100 74 | 10.850 % | 3.38/3.41 c | 252 | 2424 2052 9432 | 6050 252 63 | 10.850 % | 3.38/3.42 c | 477 | 2424 2052 9432 | 6655 477 61 | 10.850 % | 3.38/3.43 c | 816 | 2424 2052 9432 | 7320 816 78 | 10.850 % | 3.38/3.45 c | 1322 | 2424 2052 9432 | 8052 1322 81 | 10.850 % | 3.38/3.48 c | 2082 | 2418 2052 9432 | 8857 2082 89 | 11.070 % | 3.49/3.54 c | 3224 | 2418 2052 9432 | 9743 3224 93 | 11.070 % | 3.59/3.62 c | 4935 | 2418 2052 9432 | 10717 4935 97 | 11.070 % | 3.78/3.81 c | 7498 | 2412 2052 9432 | 11789 7498 111 | 11.291 % | 4.08/4.14 c | 11343 | 2412 2052 9432 | 12968 11343 124 | 11.291 % | 4.89/4.98 c | 17112 | 2412 2052 9432 | 14265 10409 137 | 11.291 % | 5.39/5.43 c =============================================================================== 5.39/5.43 c core #148 5.39/5.43 c 5.39/5.43 c 5.39/5.43 c Core size: 21 Core Weight: 1 Total Weight: 148 5.39/5.43 c Current CPU time: 5.2772 s 5.39/5.43 c 5.39/5.43 c ============================[ Search Statistics ]============================== 5.39/5.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.39/5.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.39/5.43 c =============================================================================== 5.39/5.43 c | 0 | 2452 2053 9478 | 5000 0 -nan | 0.000 % | 5.39/5.44 c | 100 | 2452 2053 9478 | 5500 100 79 | 10.413 % | 5.39/5.44 c | 252 | 2452 2053 9478 | 6050 252 63 | 10.413 % | 5.39/5.45 c | 478 | 2452 2053 9478 | 6655 478 65 | 10.413 % | 5.39/5.46 c | 815 | 2452 2053 9478 | 7320 815 66 | 10.413 % | 5.39/5.48 c | 1323 | 2452 2053 9478 | 8052 1323 82 | 10.413 % | 5.39/5.51 c | 2082 | 2452 2053 9478 | 8857 2082 87 | 10.413 % | 5.51/5.56 c | 3223 | 2452 2053 9478 | 9743 3223 92 | 10.413 % | 5.59/5.67 c | 4932 | 2448 2053 9478 | 10717 4932 105 | 10.559 % | 5.78/5.84 c | 7495 | 2448 2053 9478 | 11789 7495 110 | 10.559 % | 6.18/6.20 c | 11339 | 2448 2053 9478 | 12968 11339 116 | 10.559 % | 6.79/6.84 c | 17105 | 2448 2053 9478 | 14265 10392 114 | 10.559 % | 7.98/8.00 c | 25757 | 2448 2053 9478 | 15692 11670 106 | 10.559 % | 9.38/9.48 c | 38732 | 2448 2053 9478 | 17261 8428 141 | 10.559 % | 11.89/11.91 c | 58194 | 2447 2053 9478 | 18987 10188 86 | 10.596 % | 15.69/15.74 c | 87387 | 2447 2053 9478 | 20886 10165 119 | 10.596 % | 22.49/22.53 c | 131178 | 2447 2053 9478 | 22974 11275 97 | 10.596 % | 31.69/31.73 c | 196867 | 2428 2053 9478 | 25272 18317 99 | 11.290 % | 50.49/50.59 c | 295398 | 2403 2053 9478 | 27799 25637 125 | 12.642 % | 80.68/80.76 c | 443189 | 2391 2053 9478 | 30579 19410 145 | 12.642 % | 101.79/101.80 c =============================================================================== 103.79/103.85 c core #149 103.79/103.85 c 103.79/103.85 c 103.79/103.85 c Core size: 116 Core Weight: 1 Total Weight: 149 103.79/103.85 c Current CPU time: 101.804 s 103.79/103.85 c 103.79/103.85 c ============================[ Search Statistics ]============================== 103.79/103.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 103.79/103.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 103.79/103.85 c =============================================================================== 103.79/103.85 c | 0 | 2569 2054 9709 | 5000 0 -nan | 0.000 % | 103.79/103.85 c | 100 | 2569 2054 9709 | 5500 100 68 | 9.891 % | 103.79/103.86 c | 252 | 2568 2054 9709 | 6050 252 48 | 9.926 % | 103.79/103.86 c | 480 | 2568 2054 9709 | 6655 480 49 | 9.926 % | 103.79/103.87 c | 819 | 2568 2054 9709 | 7320 819 62 | 9.926 % | 103.79/103.89 c | 1326 | 2568 2054 9709 | 8052 1326 80 | 9.926 % | 103.88/103.94 c | 2085 | 2568 2054 9709 | 8857 2085 99 | 9.926 % | 103.99/104.02 c | 3224 | 2568 2054 9709 | 9743 3224 112 | 9.926 % | 104.08/104.13 c | 4932 | 2568 2054 9709 | 10717 4932 122 | 9.926 % | 104.28/104.34 c | 7501 | 2568 2054 9709 | 11789 7501 134 | 9.926 % | 104.69/104.71 c | 11347 | 2568 2054 9709 | 12968 11347 146 | 9.926 % | 105.69/105.70 c | 17114 | 2568 2054 9709 | 14265 10463 165 | 9.926 % | 106.89/106.99 c | 25763 | 2568 2054 9709 | 15692 11728 171 | 9.926 % | 109.38/109.48 c | 38737 | 2568 2054 9709 | 17261 8593 145 | 9.926 % | 112.78/112.87 c | 58200 | 2565 2054 9709 | 18987 10325 140 | 10.067 % | 117.38/117.49 c | 87392 | 2501 2054 9709 | 20886 10384 127 | 12.382 % | 123.69/123.75 c | 131182 | 2491 2054 9709 | 22974 11470 166 | 12.662 % | 134.38/134.49 c | 196877 | 2486 2054 9709 | 25272 18526 178 | 12.838 % | 151.49/151.51 c =============================================================================== 152.49/152.51 c core #150 152.49/152.51 c 152.49/152.51 c 152.49/152.51 c Core size: 97 Core Weight: 1 Total Weight: 150 152.49/152.51 c Current CPU time: 149.577 s 152.49/152.51 c 152.49/152.51 c ============================[ Search Statistics ]============================== 152.49/152.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 152.49/152.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 152.49/152.51 c =============================================================================== 152.49/152.51 c | 0 | 2670 2055 9906 | 5000 0 -nan | 0.000 % | 152.49/152.51 c =============================================================================== 152.49/152.51 c core #151 152.49/152.51 c 152.49/152.51 c 152.49/152.51 c Core size: 14 Core Weight: 1 Total Weight: 151 152.49/152.51 c Current CPU time: 149.706 s 152.49/152.51 c 152.49/152.51 c ============================[ Search Statistics ]============================== 152.49/152.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 152.49/152.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 152.49/152.51 c =============================================================================== 152.49/152.51 c | 0 | 2685 2056 9934 | 5000 0 -nan | 0.000 % | 152.49/152.52 c | 104 | 2685 2056 9934 | 5500 104 48 | 9.291 % | 152.49/152.52 c | 255 | 2685 2056 9934 | 6050 255 37 | 9.291 % | 152.49/152.52 c | 480 | 2685 2056 9934 | 6655 480 41 | 9.291 % | 152.49/152.53 c | 817 | 2685 2056 9934 | 7320 817 47 | 9.291 % | 152.49/152.55 c | 1323 | 2685 2056 9934 | 8052 1323 48 | 9.291 % | 152.49/152.57 c | 2082 | 2685 2056 9934 | 8857 2082 46 | 9.291 % | 152.58/152.62 c | 3223 | 2685 2056 9934 | 9743 3223 49 | 9.291 % | 152.58/152.69 c | 4934 | 2685 2056 9934 | 10717 4934 48 | 9.291 % | 152.80/152.83 c | 7498 | 2685 2056 9934 | 11789 7498 51 | 9.291 % | 153.08/153.13 c | 11344 | 2685 2056 9934 | 12968 11344 50 | 9.291 % | 153.19/153.20 c =============================================================================== 153.19/153.24 c core #152 153.19/153.24 c 153.19/153.24 c 153.19/153.24 c Core size: 74 Core Weight: 1 Total Weight: 152 153.19/153.24 c Current CPU time: 150.393 s 153.19/153.24 c 153.19/153.24 c ============================[ Search Statistics ]============================== 153.19/153.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 153.19/153.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 153.19/153.24 c =============================================================================== 153.19/153.24 c | 0 | 2756 2057 10076 | 5000 0 -nan | 0.000 % | 153.19/153.24 c | 100 | 2754 2057 10076 | 5500 100 12 | 9.139 % | 153.19/153.25 c | 250 | 2748 2057 10076 | 6050 250 18 | 9.370 % | 153.19/153.25 c | 477 | 2747 2057 10076 | 6655 477 25 | 9.370 % | 153.19/153.26 c | 814 | 2740 2057 10076 | 7320 814 29 | 11.283 % | 153.19/153.27 c | 1323 | 2689 2057 10076 | 8052 1323 31 | 11.283 % | 153.19/153.29 c | 2082 | 2689 2057 10076 | 8857 2082 34 | 11.283 % | 153.29/153.33 c | 3223 | 2689 2057 10076 | 9743 3223 33 | 11.283 % | 153.29/153.39 c | 4931 | 2689 2057 10076 | 10717 4931 35 | 11.283 % | 153.48/153.52 c | 7494 | 2686 2057 10076 | 11789 7494 37 | 11.382 % | 153.58/153.63 c =============================================================================== 153.58/153.66 c core #153 153.58/153.66 c 153.58/153.66 c 153.58/153.66 c Core size: 151 Core Weight: 1 Total Weight: 153 153.58/153.66 c Current CPU time: 150.786 s 153.58/153.66 c 153.58/153.66 c ============================[ Search Statistics ]============================== 153.58/153.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 153.58/153.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 153.58/153.66 c =============================================================================== 153.58/153.66 c | 0 | 2928 2058 10399 | 5000 0 -nan | 0.000 % | 153.58/153.66 c | 101 | 2928 2058 10399 | 5500 101 13 | 7.634 % | 153.58/153.67 c | 252 | 2928 2058 10399 | 6050 252 17 | 7.634 % | 153.58/153.67 c | 477 | 2927 2058 10399 | 6655 477 16 | 7.666 % | 153.58/153.67 c =============================================================================== 153.58/153.67 c core #154 153.58/153.67 c 153.58/153.67 c 153.58/153.67 c Core size: 34 Core Weight: 1 Total Weight: 154 153.58/153.67 c Current CPU time: 150.799 s 153.58/153.67 c 153.58/153.67 c ============================[ Search Statistics ]============================== 153.58/153.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 153.58/153.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 153.58/153.67 c =============================================================================== 153.58/153.67 c | 0 | 2959 2059 10461 | 5000 0 -nan | 0.000 % | 153.58/153.68 c | 103 | 2959 2059 10461 | 5500 103 24 | 7.560 % | 153.58/153.68 c | 256 | 2959 2059 10461 | 6050 256 30 | 7.560 % | 153.58/153.69 c | 482 | 2959 2059 10461 | 6655 482 44 | 7.560 % | 153.58/153.70 c | 819 | 2959 2059 10461 | 7320 819 44 | 7.560 % | 153.68/153.71 c | 1325 | 2959 2059 10461 | 8052 1325 52 | 7.560 % | 153.68/153.74 c | 2084 | 2959 2059 10461 | 8857 2084 58 | 7.560 % | 153.68/153.79 c | 3223 | 2959 2059 10461 | 9743 3223 62 | 7.560 % | 153.79/153.88 c | 4936 | 2959 2059 10461 | 10717 4936 69 | 7.560 % | 154.00/154.07 c | 7499 | 2959 2059 10461 | 11789 7499 69 | 7.560 % | 154.49/154.52 c | 11344 | 2959 2059 10461 | 12968 11344 67 | 7.560 % | 154.88/154.98 c | 17112 | 2959 2059 10461 | 14265 10470 61 | 7.560 % | 155.68/155.73 c | 25766 | 2959 2059 10461 | 15692 11835 77 | 7.560 % | 157.08/157.14 c | 38745 | 2959 2059 10461 | 17261 8744 77 | 7.560 % | 159.28/159.31 c | 58206 | 2959 2059 10461 | 18987 10545 94 | 7.560 % | 162.39/162.41 c =============================================================================== 162.70/162.77 c core #155 162.70/162.77 c 162.70/162.77 c 162.70/162.77 c Core size: 74 Core Weight: 1 Total Weight: 155 162.70/162.77 c Current CPU time: 159.63 s 162.70/162.77 c 162.70/162.77 c ============================[ Search Statistics ]============================== 162.70/162.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 162.70/162.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 162.70/162.77 c =============================================================================== 162.70/162.77 c | 0 | 3032 2060 10607 | 5000 0 -nan | 0.000 % | 162.70/162.78 c | 100 | 3032 2060 10607 | 5500 100 130 | 7.392 % | 162.70/162.78 c | 251 | 3032 2060 10607 | 6050 251 83 | 7.392 % | 162.70/162.79 c | 478 | 3032 2060 10607 | 6655 478 71 | 7.392 % | 162.70/162.80 c | 816 | 3032 2060 10607 | 7320 816 89 | 7.392 % | 162.80/162.82 c | 1322 | 3032 2060 10607 | 8052 1322 105 | 7.392 % | 162.80/162.86 c | 2082 | 3032 2060 10607 | 8857 2082 117 | 7.392 % | 162.89/162.94 c | 3221 | 3032 2060 10607 | 9743 3221 127 | 7.392 % | 162.99/163.09 c | 4931 | 3032 2060 10607 | 10717 4931 136 | 7.392 % | 163.29/163.37 c | 7493 | 3032 2060 10607 | 11789 7493 154 | 7.392 % | 163.99/164.08 c | 11338 | 3032 2060 10607 | 12968 11338 176 | 7.392 % | 165.19/165.29 c | 17104 | 3032 2060 10607 | 14265 10335 209 | 7.392 % | 167.49/167.56 c | 25753 | 3032 2060 10607 | 15692 11608 199 | 7.392 % | 170.69/170.77 c | 38727 | 3032 2060 10607 | 17261 8422 187 | 7.392 % | 176.00/176.07 c | 58190 | 3032 2060 10607 | 18987 10125 207 | 7.392 % | 184.08/184.16 c | 87384 | 3032 2060 10607 | 20886 10133 167 | 7.392 % | 191.48/191.50 c | 131173 | 3032 2060 10607 | 22974 11094 173 | 7.392 % | 205.98/206.03 c | 196857 | 3032 2060 10607 | 25272 18030 184 | 7.392 % | 229.18/229.22 c | 295385 | 3032 2060 10607 | 27799 12812 175 | 7.392 % | 257.09/257.13 c | 443174 | 2979 2060 10607 | 30579 22081 224 | 9.163 % | 310.49/310.59 c | 664857 | 2978 2060 10607 | 33637 22471 230 | 9.255 % | 394.19/394.28 c | 997389 | 2963 2060 10607 | 37001 18331 140 | 9.896 % | 541.00/541.08 c | 1496177 | 2947 2060 10607 | 40701 27086 194 | 10.018 % | 786.80/786.85 c | 2244359 | 2926 2060 10607 | 44771 18312 160 | 10.629 % | 806.21/806.25 c =============================================================================== 807.42/807.44 c core #156 807.42/807.44 c 807.42/807.44 c 807.42/807.44 c Core size: 280 Core Weight: 1 Total Weight: 156 807.42/807.44 c Current CPU time: 794.842 s 807.42/807.44 c 807.42/807.44 c ============================[ Search Statistics ]============================== 807.42/807.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 807.42/807.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 807.42/807.44 c =============================================================================== 807.42/807.44 c | 0 | 3325 2061 11175 | 5000 0 -nan | 0.000 % | 807.42/807.44 c | 100 | 3325 2061 11175 | 5500 100 82 | 6.126 % | 807.42/807.44 c | 252 | 3325 2061 11175 | 6050 252 81 | 6.126 % | 807.42/807.45 c | 477 | 3325 2061 11175 | 6655 477 80 | 6.126 % | 807.42/807.46 c | 814 | 3325 2061 11175 | 7320 814 86 | 6.126 % | 807.42/807.49 c | 1322 | 3325 2061 11175 | 8052 1322 92 | 6.126 % | 807.50/807.53 c | 2084 | 3325 2061 11175 | 8857 2084 102 | 6.126 % | 807.61/807.61 c | 3223 | 3325 2061 11175 | 9743 3223 112 | 6.126 % | 807.70/807.75 c | 4932 | 3325 2061 11175 | 10717 4932 124 | 6.126 % | 808.01/808.02 c | 7495 | 3325 2061 11175 | 11789 7495 128 | 6.126 % | 808.41/808.42 c | 11340 | 3325 2061 11175 | 12968 11340 122 | 6.126 % | 809.01/809.06 c | 17107 | 3325 2061 11175 | 14265 10346 146 | 6.126 % | 811.01/811.07 c | 25756 | 3325 2061 11175 | 15692 11660 220 | 6.126 % | 812.93/812.95 c | 38730 | 3325 2061 11175 | 17261 8503 157 | 6.126 % | 815.50/815.57 c | 58191 | 3325 2061 11175 | 18987 10152 162 | 6.126 % | 819.81/819.83 c | 87385 | 3325 2061 11175 | 20886 10051 148 | 6.126 % | 828.71/828.71 c | 131174 | 3325 2061 11175 | 22974 11165 187 | 6.126 % | 842.30/842.37 c | 196859 | 3325 2061 11175 | 25272 18273 136 | 6.126 % | 862.01/862.08 c | 295385 | 3325 2061 11175 | 27799 13574 159 | 6.126 % | 894.33/894.32 c | 443176 | 3324 2061 11175 | 30579 28365 274 | 6.155 % | 950.70/950.77 c | 664860 | 3324 2061 11175 | 33637 16894 267 | 6.155 % | 1043.93/1043.92 c | 997390 | 3324 2061 11175 | 37001 20192 190 | 6.155 % | 1180.34/1180.35 c | 1496178 | 3322 2061 11175 | 40701 25439 160 | 6.211 % | 1345.02/1345.06 c | 2244362 | 3304 2061 11175 | 44771 24227 147 | 6.776 % | 1619.83/1619.80 c | 3366638 | 3298 2061 11175 | 49248 43929 196 | 6.889 % |
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-3461503-1307101717/watcher-3461503-1307101717 -o /tmp/evaluation-result-3461503-1307101717/solver-3461503-1307101717 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461503-1307101717.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.05 2.04 2.00 3/554 4165 /proc/meminfo: memFree=25035356/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=2164 CPUtime=0 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 315 0 0 0 0 0 0 0 23 0 1 0 821768718 2215936 269 33554432000 4194304 5714214 140733915965840 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4165/statm: 541 269 163 372 0 151 0 [startup+0.0868999 s] /proc/loadavg: 2.05 2.04 2.00 3/554 4165 /proc/meminfo: memFree=25035356/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=3172 CPUtime=0.07 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 662 0 0 0 7 0 0 0 23 0 1 0 821768718 3248128 555 33554432000 4194304 5714214 140733915965840 18446744073709551615 4956294 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4165/statm: 793 555 175 372 0 418 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3172 [startup+0.100906 s] /proc/loadavg: 2.05 2.04 2.00 3/554 4165 /proc/meminfo: memFree=25035356/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=3416 CPUtime=0.09 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 700 0 0 0 9 0 0 0 23 0 1 0 821768718 3497984 584 33554432000 4194304 5714214 140733915965840 18446744073709551615 4355585 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4165/statm: 854 584 175 372 0 479 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3416 [startup+0.300858 s] /proc/loadavg: 2.05 2.04 2.00 3/554 4165 /proc/meminfo: memFree=25035356/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=4448 CPUtime=0.28 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 1019 0 0 0 27 1 0 0 18 0 1 0 821768718 4554752 856 33554432000 4194304 5714214 140733915965840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4165/statm: 1112 856 180 372 0 737 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 4448 [startup+0.700784 s] /proc/loadavg: 2.05 2.04 2.00 3/554 4165 /proc/meminfo: memFree=25035356/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=7372 CPUtime=0.69 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 1742 0 0 0 66 3 0 0 18 0 1 0 821768718 7548928 1579 33554432000 4194304 5714214 140733915965840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4165/statm: 1843 1579 180 372 0 1468 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7372 [startup+1.50063 s] /proc/loadavg: 2.04 2.04 2.00 3/555 4166 /proc/meminfo: memFree=25025924/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=10744 CPUtime=1.49 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 2577 0 0 0 144 5 0 0 19 0 1 0 821768718 11001856 2414 33554432000 4194304 5714214 140733915965840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4165/statm: 2686 2414 180 372 0 2311 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10744 [startup+3.10032 s] /proc/loadavg: 2.04 2.04 2.00 3/555 4166 /proc/meminfo: memFree=25022484/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=12188 CPUtime=3.08 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 2986 0 0 0 298 10 0 0 20 0 1 0 821768718 12480512 2796 33554432000 4194304 5714214 140733915965840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4165/statm: 3047 2796 180 372 0 2672 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 12188 [startup+6.30071 s] /proc/loadavg: 2.04 2.04 2.00 3/555 4166 /proc/meminfo: memFree=25011908/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=15868 CPUtime=6.28 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 3885 0 0 0 611 17 0 0 25 0 1 0 821768718 16248832 3695 33554432000 4194304 5714214 140733915965840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4165/statm: 3967 3695 180 372 0 3592 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 15868 [startup+12.7005 s] /proc/loadavg: 2.04 2.04 2.00 3/555 4166 /proc/meminfo: memFree=24993300/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=24432 CPUtime=12.69 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 6017 0 0 0 1241 28 0 0 25 0 1 0 821768718 25018368 5827 33554432000 4194304 5714214 140733915965840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4165/statm: 6108 5827 180 372 0 5733 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24432 [startup+25.501 s] /proc/loadavg: 2.03 2.04 2.00 3/555 4166 /proc/meminfo: memFree=24957844/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=41988 CPUtime=25.49 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 10300 0 0 0 2497 52 0 0 25 0 1 0 821768718 42995712 10110 33554432000 4194304 5714214 140733915965840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4165/statm: 10497 10110 180 372 0 10122 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 41988 [startup+51.1011 s] /proc/loadavg: 2.08 2.05 2.00 3/555 4167 /proc/meminfo: memFree=24909608/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=70300 CPUtime=51.09 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 17258 0 0 0 5006 103 0 0 25 0 1 0 821768718 71987200 17068 33554432000 4194304 5714214 140733915965840 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4165/statm: 17575 17068 180 372 0 17200 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 70300 [startup+102.321 s] /proc/loadavg: 2.18 2.07 2.01 3/555 4168 /proc/meminfo: memFree=24837664/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=110632 CPUtime=102.31 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 27172 0 0 0 10051 180 0 0 25 0 1 0 821768718 113287168 26982 33554432000 4194304 5714214 140733915965840 18446744073709551615 4198375 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4165/statm: 27658 26982 180 372 0 27283 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 110632 [startup+162.301 s] /proc/loadavg: 2.20 2.09 2.02 3/555 4170 /proc/meminfo: memFree=24828464/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=115744 CPUtime=162.28 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 28681 0 0 0 15918 310 0 0 25 0 1 0 821768718 118521856 28429 33554432000 4194304 5714214 140733915965840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4165/statm: 28936 28429 180 372 0 28561 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 115744 [startup+222.3 s] /proc/loadavg: 2.07 2.07 2.01 3/555 4172 /proc/meminfo: memFree=24829300/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=115744 CPUtime=222.28 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 28730 0 0 0 21832 396 0 0 25 0 1 0 821768718 118521856 28478 33554432000 4194304 5714214 140733915965840 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4165/statm: 28936 28478 180 372 0 28561 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 115744 [startup+282.301 s] /proc/loadavg: 2.02 2.05 2.00 3/555 4173 /proc/meminfo: memFree=24778160/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=132924 CPUtime=282.28 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 33192 0 0 0 27723 505 0 0 25 0 1 0 821768718 136114176 32940 33554432000 4194304 5714214 140733915965840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4165/statm: 33231 32940 180 372 0 32856 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 132924 [startup+342.3 s] /proc/loadavg: 2.01 2.04 2.00 3/555 4175 /proc/meminfo: memFree=24712536/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=168164 CPUtime=342.29 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 41860 0 0 0 33643 586 0 0 25 0 1 0 821768718 172199936 41608 33554432000 4194304 5714214 140733915965840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4165/statm: 42041 41608 180 372 0 41666 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 168164 [startup+402.301 s] /proc/loadavg: 2.00 2.03 2.00 3/555 4176 /proc/meminfo: memFree=24632780/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=211152 CPUtime=402.29 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 52441 0 0 0 39544 685 0 0 25 0 1 0 821768718 216219648 52189 33554432000 4194304 5714214 140733915965840 18446744073709551615 4299783 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4165/statm: 52788 52189 180 372 0 52413 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 211152 [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.00 3/555 4178 /proc/meminfo: memFree=24546336/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=256804 CPUtime=462.29 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 63649 0 0 0 45451 778 0 0 25 0 1 0 821768718 262967296 63397 33554432000 4194304 5714214 140733915965840 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4165/statm: 64201 63397 180 372 0 63826 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 256804 [startup+522.301 s] /proc/loadavg: 2.09 2.05 2.01 3/555 4179 /proc/meminfo: memFree=24486308/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=287848 CPUtime=522.29 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 71290 0 0 0 51390 839 0 0 25 0 1 0 821768718 294756352 71038 33554432000 4194304 5714214 140733915965840 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4165/statm: 71962 71038 180 372 0 71587 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 287848 [startup+582.3 s] /proc/loadavg: 2.07 2.05 2.01 3/555 4181 /proc/meminfo: memFree=24409784/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=323796 CPUtime=582.29 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 80172 0 0 0 57334 895 0 0 25 0 1 0 821768718 331567104 79920 33554432000 4194304 5714214 140733915965840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4165/statm: 80949 79920 180 372 0 80574 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 323796 [startup+642.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.02 2.05 2.00 3/555 4196 /proc/meminfo: memFree=24206212/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=419876 CPUtime=822.31 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 104304 0 0 0 81037 1194 0 0 25 0 1 0 821768718 429953024 103744 33554432000 4194304 5714214 140733915965840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4165/statm: 104969 103744 180 372 0 104594 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 419876 [startup+882.301 s] /proc/loadavg: 2.01 2.03 2.00 3/555 4198 /proc/meminfo: memFree=24190552/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=419876 CPUtime=882.31 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 104370 0 0 0 86936 1295 0 0 25 0 1 0 821768718 429953024 103810 33554432000 4194304 5714214 140733915965840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4165/statm: 104969 103810 180 372 0 104594 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 419876 [startup+942.3 s] /proc/loadavg: 2.00 2.03 2.00 3/555 4202 /proc/meminfo: memFree=24182836/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=419876 CPUtime=942.3 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 104474 0 0 0 92856 1374 0 0 25 0 1 0 821768718 429953024 103914 33554432000 4194304 5714214 140733915965840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4165/statm: 104969 103914 180 372 0 104594 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 419876 [startup+1002.3 s] /proc/loadavg: 2.13 2.05 2.01 3/555 4204 /proc/meminfo: memFree=24166136/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=419876 CPUtime=1002.31 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 104597 0 0 0 98794 1437 0 0 25 0 1 0 821768718 429953024 104037 33554432000 4194304 5714214 140733915965840 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4165/statm: 104969 104037 180 372 0 104594 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 419876 [startup+1062.3 s] /proc/loadavg: 2.17 2.07 2.01 3/555 4206 /proc/meminfo: memFree=24149476/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=419876 CPUtime=1062.32 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 104619 0 0 0 104712 1520 0 0 25 0 1 0 821768718 429953024 104059 33554432000 4194304 5714214 140733915965840 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4165/statm: 104969 104059 180 372 0 104594 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 419876 [startup+1122.3 s] /proc/loadavg: 2.06 2.06 2.01 3/555 4208 /proc/meminfo: memFree=24126744/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=419876 CPUtime=1122.31 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 104696 0 0 0 110628 1603 0 0 25 0 1 0 821768718 429953024 104136 33554432000 4194304 5714214 140733915965840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4165/statm: 104969 104136 180 372 0 104594 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 419876 [startup+1182.3 s] /proc/loadavg: 2.13 2.08 2.01 3/555 4209 /proc/meminfo: memFree=24114196/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=419876 CPUtime=1182.32 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 104883 0 0 0 116555 1677 0 0 25 0 1 0 821768718 429953024 104323 33554432000 4194304 5714214 140733915965840 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4165/statm: 104969 104323 180 372 0 104594 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 419876 [startup+1242.3 s] /proc/loadavg: 2.10 2.07 2.01 3/555 4211 /proc/meminfo: memFree=24088612/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=419876 CPUtime=1242.32 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 105027 0 0 0 122462 1770 0 0 25 0 1 0 821768718 429953024 104467 33554432000 4194304 5714214 140733915965840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4165/statm: 104969 104467 180 372 0 104594 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 419876 [startup+1302.3 s] /proc/loadavg: 2.04 2.06 2.01 3/555 4212 /proc/meminfo: memFree=24072452/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=419876 CPUtime=1302.33 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 105157 0 0 0 128376 1857 0 0 25 0 1 0 821768718 429953024 104597 33554432000 4194304 5714214 140733915965840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4165/statm: 104969 104597 180 372 0 104594 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 419876 [startup+1362.3 s] /proc/loadavg: 2.01 2.05 2.00 3/555 4214 /proc/meminfo: memFree=24035088/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=431176 CPUtime=1362.33 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 108008 0 0 0 134289 1944 0 0 25 0 1 0 821768718 441524224 107448 33554432000 4194304 5714214 140733915965840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4165/statm: 107794 107448 180 372 0 107419 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 431176 [startup+1422.32 s] /proc/loadavg: 2.00 2.03 2.00 3/555 4216 /proc/meminfo: memFree=23951108/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=480472 CPUtime=1422.35 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 120234 0 0 0 140202 2033 0 0 25 0 1 0 821768718 492003328 119674 33554432000 4194304 5714214 140733915965840 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4165/statm: 120118 119674 180 372 0 119743 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 480472 [startup+1482.3 s] /proc/loadavg: 2.00 2.03 2.00 3/555 4217 /proc/meminfo: memFree=23881132/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=527828 CPUtime=1482.33 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 131906 0 0 0 146121 2112 0 0 25 0 1 0 821768718 540495872 131346 33554432000 4194304 5714214 140733915965840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4165/statm: 131957 131346 180 372 0 131582 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 527828 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/555 4219 /proc/meminfo: memFree=23813396/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=560644 CPUtime=1542.34 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 139992 0 0 0 152049 2185 0 0 25 0 1 0 821768718 574099456 139432 33554432000 4194304 5714214 140733915965840 18446744073709551615 4300385 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4165/statm: 140161 139432 180 372 0 139786 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 560644 [startup+1602.3 s] /proc/loadavg: 2.07 2.04 2.01 3/555 4220 /proc/meminfo: memFree=23765632/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=586064 CPUtime=1602.33 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 146301 0 0 0 157959 2274 0 0 25 0 1 0 821768718 600129536 145741 33554432000 4194304 5714214 140733915965840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4165/statm: 146516 145741 180 372 0 146141 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 586064 [startup+1662.3 s] /proc/loadavg: 2.06 2.05 2.01 3/555 4222 /proc/meminfo: memFree=23694056/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=624000 CPUtime=1662.34 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 155694 0 0 0 163892 2342 0 0 25 0 1 0 821768718 638976000 155134 33554432000 4194304 5714214 140733915965840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4165/statm: 156000 155134 180 372 0 155625 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 624000 [startup+1722.3 s] /proc/loadavg: 2.29 2.11 2.03 3/555 4223 /proc/meminfo: memFree=23632904/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=658336 CPUtime=1722.34 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 164076 0 0 0 169819 2415 0 0 25 0 1 0 821768718 674136064 163516 33554432000 4194304 5714214 140733915965840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4165/statm: 164584 163516 180 372 0 164209 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 658336 [startup+1782.3 s] /proc/loadavg: 2.10 2.09 2.02 3/555 4225 /proc/meminfo: memFree=23576456/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=695336 CPUtime=1782.34 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 173292 0 0 0 175756 2478 0 0 25 0 1 0 821768718 712024064 172732 33554432000 4194304 5714214 140733915965840 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4165/statm: 173834 172732 180 372 0 173459 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 695336 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.07 2.01 3/555 4254 /proc/meminfo: memFree=24343224/32950928 swapFree=67056580/67111528 [pid=4165] ppid=4163 vsize=695792 CPUtime=1800.05 cores=1,3,5,7 /proc/4165/stat : 4165 (wbo1.6) R 4163 4165 3492 0 -1 4202496 173380 0 0 0 177510 2495 0 0 25 0 1 0 821768718 712491008 172820 33554432000 4194304 5714214 140733915965840 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/4165/statm: 173948 172820 180 372 0 173573 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 695792 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.05 CPU time (s): 1800.1 CPU user time (s): 1775.12 CPU system time (s): 24.9872 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 695792 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1775.12 system time used= 24.9872 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 173380 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= 8 involuntary context switches= 5282 runsolver used 9.29059 second user time and 23.4714 second system time The end
Begin job on node148 at 2011-06-03 13:48:37 IDJOB=3461503 IDBENCH=2842 IDSOLVER=1953 FILE ID=node148/3461503-1307101717 RUNJOBID= node148-1307092688-3517 PBS_JOBID= 13497980 Free space on /tmp= 73864 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-addm4.r.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461503-1307101717/watcher-3461503-1307101717 -o /tmp/evaluation-result-3461503-1307101717/solver-3461503-1307101717 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461503-1307101717.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9633aa6e9fb6df7104bc0e43c44542c0 RANDOM SEED=1391801761 node148.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.854 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.70 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.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 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.83 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.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 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.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 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.82 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.854 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 25035636 kB Buffers: 225120 kB Cached: 525164 kB SwapCached: 7908 kB Active: 7175488 kB Inactive: 432920 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 25035636 kB SwapTotal: 67111528 kB SwapFree: 67056580 kB Dirty: 8864 kB Writeback: 0 kB AnonPages: 6856944 kB Mapped: 44612 kB Slab: 179508 kB PageTables: 57580 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 170408440 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= 73860 MiB End job on node148 at 2011-06-03 14:18:39