Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.09 | 1800.05 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-test1.r.opb |
MD5SUM | 8e6ac0bad8d074da12c63269189a8260 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 110 |
Best CPU time to get the best result obtained on this benchmark | 0.12498 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 110 |
Optimality of the best value was proved | YES |
Number of variables | 2091 |
Total number of constraints | 362 |
Number of constraints which are clauses | 362 |
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 | 3 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 2091 |
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 | 2091 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2091 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3461538-1307104411.opb. 0.00/0.00 c Instance file HOME/instance-3461538-1307104411.opb 0.00/0.00 c File size is 60474 bytes. 0.00/0.01 c Highest Coefficient sum: 49 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.00 s | 0.00/0.01 c | Number Variables: 2091 | 0.00/0.01 c | Number Clauses: 362 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 2091 362 4800 | 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: 12 Core Weight: 1 Total Weight: 1 0.00/0.04 c Current CPU time: 0.005999 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: 17 Core Weight: 1 Total Weight: 2 0.00/0.04 c Current CPU time: 0.006998 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: 33 Core Weight: 1 Total Weight: 3 0.00/0.04 c Current CPU time: 0.006998 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: 13 Core Weight: 1 Total Weight: 4 0.00/0.04 c Current CPU time: 0.007998 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: 7 Core Weight: 1 Total Weight: 5 0.00/0.04 c Current CPU time: 0.008998 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: 30 Core Weight: 1 Total Weight: 6 0.00/0.04 c Current CPU time: 0.009998 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.010998 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: 13 Core Weight: 1 Total Weight: 8 0.00/0.04 c Current CPU time: 0.011998 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: 15 Core Weight: 1 Total Weight: 9 0.00/0.04 c Current CPU time: 0.012998 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: 7 Core Weight: 1 Total Weight: 10 0.00/0.04 c Current CPU time: 0.012998 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: 25 Core Weight: 1 Total Weight: 11 0.00/0.04 c Current CPU time: 0.013997 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: 10 Core Weight: 1 Total Weight: 12 0.00/0.04 c Current CPU time: 0.014997 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: 14 Core Weight: 1 Total Weight: 13 0.00/0.04 c Current CPU time: 0.015997 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: 31 Core Weight: 1 Total Weight: 14 0.00/0.04 c Current CPU time: 0.016997 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: 14 Core Weight: 1 Total Weight: 15 0.00/0.04 c Current CPU time: 0.017997 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: 14 Core Weight: 1 Total Weight: 16 0.00/0.04 c Current CPU time: 0.018997 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: 5 Core Weight: 1 Total Weight: 17 0.00/0.04 c Current CPU time: 0.019996 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: 14 Core Weight: 1 Total Weight: 18 0.00/0.04 c Current CPU time: 0.020996 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: 15 Core Weight: 1 Total Weight: 19 0.00/0.04 c Current CPU time: 0.021996 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: 7 Core Weight: 1 Total Weight: 20 0.00/0.04 c Current CPU time: 0.022996 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: 16 Core Weight: 1 Total Weight: 21 0.00/0.04 c Current CPU time: 0.023996 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: 4 Core Weight: 1 Total Weight: 22 0.00/0.04 c Current CPU time: 0.024996 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: 9 Core Weight: 1 Total Weight: 23 0.00/0.04 c Current CPU time: 0.025996 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: 18 Core Weight: 1 Total Weight: 24 0.00/0.04 c Current CPU time: 0.026995 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: 14 Core Weight: 1 Total Weight: 25 0.00/0.04 c Current CPU time: 0.027995 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: 8 Core Weight: 1 Total Weight: 26 0.00/0.04 c Current CPU time: 0.028995 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: 12 Core Weight: 1 Total Weight: 27 0.00/0.04 c Current CPU time: 0.029995 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: 6 Core Weight: 1 Total Weight: 28 0.00/0.04 c Current CPU time: 0.030995 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: 6 Core Weight: 1 Total Weight: 29 0.00/0.04 c Current CPU time: 0.031995 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: 7 Core Weight: 1 Total Weight: 30 0.00/0.04 c Current CPU time: 0.032994 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: 14 Core Weight: 1 Total Weight: 31 0.00/0.04 c Current CPU time: 0.033994 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: 10 Core Weight: 1 Total Weight: 32 0.00/0.04 c Current CPU time: 0.034994 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: 7 Core Weight: 1 Total Weight: 33 0.00/0.04 c Current CPU time: 0.035994 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: 9 Core Weight: 1 Total Weight: 34 0.00/0.04 c Current CPU time: 0.036994 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: 10 Core Weight: 1 Total Weight: 35 0.00/0.04 c Current CPU time: 0.037994 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: 13 Core Weight: 1 Total Weight: 36 0.00/0.04 c Current CPU time: 0.038994 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: 9 Core Weight: 1 Total Weight: 37 0.00/0.04 c Current CPU time: 0.039993 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: 15 Core Weight: 1 Total Weight: 38 0.00/0.04 c Current CPU time: 0.040993 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: 27 Core Weight: 1 Total Weight: 39 0.00/0.04 c Current CPU time: 0.041993 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: 14 Core Weight: 1 Total Weight: 40 0.00/0.04 c Current CPU time: 0.042993 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: 12 Core Weight: 1 Total Weight: 41 0.00/0.04 c Current CPU time: 0.043993 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: 10 Core Weight: 1 Total Weight: 42 0.00/0.04 c Current CPU time: 0.044993 s 0.00/0.04 c 0.00/0.04 c core #43 0.00/0.04 c 0.08/0.09 c 0.08/0.09 c Core size: 13 Core Weight: 1 Total Weight: 43 0.08/0.09 c Current CPU time: 0.045993 s 0.08/0.09 c 0.08/0.09 c core #44 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 7 Core Weight: 1 Total Weight: 44 0.08/0.09 c Current CPU time: 0.046992 s 0.08/0.09 c 0.08/0.09 c core #45 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 45 0.08/0.09 c Current CPU time: 0.047992 s 0.08/0.09 c 0.08/0.09 c core #46 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 13 Core Weight: 1 Total Weight: 46 0.08/0.09 c Current CPU time: 0.048992 s 0.08/0.09 c 0.08/0.09 c core #47 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 13 Core Weight: 1 Total Weight: 47 0.08/0.09 c Current CPU time: 0.049992 s 0.08/0.09 c 0.08/0.09 c core #48 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 11 Core Weight: 1 Total Weight: 48 0.08/0.09 c Current CPU time: 0.051992 s 0.08/0.09 c 0.08/0.09 c core #49 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 6 Core Weight: 1 Total Weight: 49 0.08/0.09 c Current CPU time: 0.052991 s 0.08/0.09 c 0.08/0.09 c core #50 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 7 Core Weight: 1 Total Weight: 50 0.08/0.09 c Current CPU time: 0.053991 s 0.08/0.09 c 0.08/0.09 c core #51 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 9 Core Weight: 1 Total Weight: 51 0.08/0.09 c Current CPU time: 0.054991 s 0.08/0.09 c 0.08/0.09 c core #52 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 6 Core Weight: 1 Total Weight: 52 0.08/0.09 c Current CPU time: 0.055991 s 0.08/0.09 c 0.08/0.09 c core #53 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 12 Core Weight: 1 Total Weight: 53 0.08/0.09 c Current CPU time: 0.056991 s 0.08/0.09 c 0.08/0.09 c core #54 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 9 Core Weight: 1 Total Weight: 54 0.08/0.09 c Current CPU time: 0.057991 s 0.08/0.09 c 0.08/0.09 c core #55 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 12 Core Weight: 1 Total Weight: 55 0.08/0.09 c Current CPU time: 0.058991 s 0.08/0.09 c 0.08/0.09 c core #56 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 12 Core Weight: 1 Total Weight: 56 0.08/0.09 c Current CPU time: 0.06099 s 0.08/0.09 c 0.08/0.09 c core #57 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 12 Core Weight: 1 Total Weight: 57 0.08/0.09 c Current CPU time: 0.06199 s 0.08/0.09 c 0.08/0.09 c core #58 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 10 Core Weight: 1 Total Weight: 58 0.08/0.09 c Current CPU time: 0.06299 s 0.08/0.09 c 0.08/0.09 c core #59 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 5 Core Weight: 1 Total Weight: 59 0.08/0.09 c Current CPU time: 0.06399 s 0.08/0.09 c 0.08/0.09 c core #60 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 14 Core Weight: 1 Total Weight: 60 0.08/0.09 c Current CPU time: 0.06499 s 0.08/0.09 c 0.08/0.09 c core #61 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 13 Core Weight: 1 Total Weight: 61 0.08/0.09 c Current CPU time: 0.065989 s 0.08/0.09 c 0.08/0.09 c core #62 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 7 Core Weight: 1 Total Weight: 62 0.08/0.09 c Current CPU time: 0.067989 s 0.08/0.09 c 0.08/0.09 c core #63 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 9 Core Weight: 1 Total Weight: 63 0.08/0.09 c Current CPU time: 0.068989 s 0.08/0.09 c 0.08/0.09 c core #64 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 9 Core Weight: 1 Total Weight: 64 0.08/0.09 c Current CPU time: 0.069989 s 0.08/0.09 c 0.08/0.09 c core #65 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 12 Core Weight: 1 Total Weight: 65 0.08/0.09 c Current CPU time: 0.070989 s 0.08/0.09 c 0.08/0.09 c core #66 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 7 Core Weight: 1 Total Weight: 66 0.08/0.09 c Current CPU time: 0.071989 s 0.08/0.09 c 0.08/0.09 c core #67 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 9 Core Weight: 1 Total Weight: 67 0.08/0.09 c Current CPU time: 0.073988 s 0.08/0.09 c 0.08/0.09 c core #68 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 9 Core Weight: 1 Total Weight: 68 0.08/0.09 c Current CPU time: 0.074988 s 0.08/0.09 c 0.08/0.09 c core #69 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 5 Core Weight: 1 Total Weight: 69 0.08/0.09 c Current CPU time: 0.075988 s 0.08/0.09 c 0.08/0.09 c core #70 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 16 Core Weight: 1 Total Weight: 70 0.08/0.09 c Current CPU time: 0.076988 s 0.08/0.09 c 0.08/0.09 c core #71 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 6 Core Weight: 1 Total Weight: 71 0.08/0.09 c Current CPU time: 0.077988 s 0.08/0.09 c 0.08/0.09 c core #72 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 10 Core Weight: 1 Total Weight: 72 0.08/0.09 c Current CPU time: 0.079987 s 0.08/0.09 c 0.08/0.09 c core #73 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 6 Core Weight: 1 Total Weight: 73 0.08/0.09 c Current CPU time: 0.080987 s 0.08/0.09 c 0.08/0.09 c core #74 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 6 Core Weight: 1 Total Weight: 74 0.08/0.09 c Current CPU time: 0.081987 s 0.08/0.09 c 0.08/0.09 c core #75 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 5 Core Weight: 1 Total Weight: 75 0.08/0.09 c Current CPU time: 0.082987 s 0.08/0.09 c 0.08/0.09 c core #76 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 10 Core Weight: 1 Total Weight: 76 0.08/0.09 c Current CPU time: 0.084987 s 0.08/0.09 c 0.08/0.09 c core #77 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 11 Core Weight: 1 Total Weight: 77 0.08/0.09 c Current CPU time: 0.085986 s 0.08/0.09 c 0.08/0.09 c core #78 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 10 Core Weight: 1 Total Weight: 78 0.08/0.09 c Current CPU time: 0.086986 s 0.08/0.09 c 0.08/0.09 c core #79 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 38 Core Weight: 1 Total Weight: 79 0.08/0.09 c Current CPU time: 0.087986 s 0.08/0.09 c 0.08/0.09 c core #80 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 12 Core Weight: 1 Total Weight: 80 0.08/0.09 c Current CPU time: 0.089986 s 0.08/0.09 c 0.08/0.09 c core #81 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 14 Core Weight: 1 Total Weight: 81 0.08/0.09 c Current CPU time: 0.090986 s 0.08/0.09 c 0.08/0.09 c core #82 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 59 Core Weight: 1 Total Weight: 82 0.08/0.09 c Current CPU time: 0.091986 s 0.08/0.09 c 0.08/0.09 c core #83 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 17 Core Weight: 1 Total Weight: 83 0.08/0.09 c Current CPU time: 0.093985 s 0.08/0.09 c 0.08/0.09 c core #84 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 44 Core Weight: 1 Total Weight: 84 0.08/0.09 c Current CPU time: 0.094985 s 0.08/0.09 c 0.08/0.09 c core #85 0.08/0.09 c 0.08/0.09 c 0.09/0.10 c Core size: 21 Core Weight: 1 Total Weight: 85 0.09/0.10 c Current CPU time: 0.096985 s 0.09/0.10 c 0.09/0.10 c core #86 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 13 Core Weight: 1 Total Weight: 86 0.09/0.10 c Current CPU time: 0.097985 s 0.09/0.10 c 0.09/0.10 c core #87 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 18 Core Weight: 1 Total Weight: 87 0.09/0.10 c Current CPU time: 0.098984 s 0.09/0.10 c 0.09/0.10 c core #88 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 15 Core Weight: 1 Total Weight: 88 0.09/0.10 c Current CPU time: 0.100984 s 0.09/0.10 c 0.09/0.10 c core #89 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 40 Core Weight: 1 Total Weight: 89 0.09/0.10 c Current CPU time: 0.101984 s 0.09/0.10 c 0.09/0.10 c core #90 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 43 Core Weight: 1 Total Weight: 90 0.09/0.10 c Current CPU time: 0.103984 s 0.09/0.10 c 0.09/0.10 c core #91 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 35 Core Weight: 1 Total Weight: 91 0.09/0.10 c Current CPU time: 0.104984 s 0.09/0.10 c 0.09/0.10 c ============================[ Search Statistics ]============================== 0.09/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 2137 2544 8076 | 5000 0 -nan | 0.000 % | 0.09/0.10 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: 92 Core Weight: 1 Total Weight: 92 0.09/0.11 c Current CPU time: 0.107983 s 0.09/0.11 c 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 2275 2545 8293 | 5000 0 -nan | 0.000 % | 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: 43 Core Weight: 1 Total Weight: 93 0.09/0.11 c Current CPU time: 0.110983 s 0.09/0.11 c 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 2322 2546 8379 | 5000 0 -nan | 0.000 % | 0.09/0.11 c | 100 | 2319 2546 8379 | 5500 100 9 | 32.254 % | 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: 101 Core Weight: 1 Total Weight: 94 0.09/0.11 c Current CPU time: 0.115982 s 0.09/0.11 c 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 2440 2547 8591 | 5000 0 -nan | 0.000 % | 0.09/0.12 c | 100 | 2426 2547 8591 | 5500 100 9 | 29.592 % | 0.09/0.12 c | 250 | 2426 2547 8591 | 6050 250 21 | 29.592 % | 0.09/0.12 c | 480 | 2408 2547 8591 | 6655 480 30 | 29.825 % | 0.09/0.13 c =============================================================================== 0.09/0.14 c core #95 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 187 Core Weight: 1 Total Weight: 95 0.09/0.14 c Current CPU time: 0.12998 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 | 2658 2548 8991 | 5000 0 -nan | 0.000 % | 0.09/0.14 c | 100 | 2657 2548 8991 | 5500 100 13 | 26.467 % | 0.09/0.14 c | 250 | 2656 2548 8991 | 6050 250 15 | 26.467 % | 0.09/0.15 c | 475 | 2651 2548 8991 | 6655 475 20 | 26.689 % | 0.09/0.16 c | 813 | 2647 2548 8991 | 7320 813 25 | 26.744 % | 0.09/0.17 c | 1321 | 2643 2548 8991 | 8052 1321 25 | 26.827 % | 0.09/0.17 c =============================================================================== 0.09/0.18 c core #96 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 149 Core Weight: 1 Total Weight: 96 0.09/0.18 c Current CPU time: 0.162975 s 0.09/0.18 c 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 2828 2549 9309 | 5000 0 -nan | 0.000 % | 0.09/0.18 c | 100 | 2828 2549 9309 | 5500 100 18 | 24.787 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #97 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 57 Core Weight: 1 Total Weight: 97 0.09/0.18 c Current CPU time: 0.168974 s 0.09/0.18 c 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 2878 2550 9409 | 5000 0 -nan | 0.000 % | 0.09/0.18 c | 101 | 2877 2550 9409 | 5500 101 25 | 24.514 % | 0.09/0.19 c | 252 | 2870 2550 9409 | 6050 252 30 | 25.171 % | 0.09/0.19 c | 477 | 2870 2550 9409 | 6655 477 38 | 25.171 % | 0.19/0.21 c | 814 | 2851 2550 9409 | 7320 814 46 | 25.171 % | 0.19/0.23 c | 1320 | 2827 2550 9409 | 8052 1320 59 | 25.801 % | 0.19/0.26 c | 2079 | 2815 2550 9409 | 8857 2079 64 | 26.115 % | 0.19/0.29 c =============================================================================== 0.29/0.30 c core #98 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 250 Core Weight: 1 Total Weight: 98 0.29/0.30 c Current CPU time: 0.273958 s 0.29/0.30 c 0.29/0.30 c ============================[ Search Statistics ]============================== 0.29/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.30 c =============================================================================== 0.29/0.30 c | 0 | 3177 2551 9955 | 5000 0 -nan | 0.000 % | 0.29/0.30 c | 100 | 3176 2551 9955 | 5500 100 29 | 21.740 % | 0.29/0.31 c | 251 | 3173 2551 9955 | 6050 251 40 | 21.790 % | 0.29/0.32 c | 479 | 3173 2551 9955 | 6655 479 40 | 21.790 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #99 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 97 Core Weight: 1 Total Weight: 99 0.29/0.33 c Current CPU time: 0.297954 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 | 3327 2552 10184 | 5000 0 -nan | 0.000 % | 0.29/0.33 c | 101 | 3327 2552 10184 | 5500 101 30 | 19.851 % | 0.29/0.34 c | 251 | 3327 2552 10184 | 6050 251 28 | 19.851 % | 0.29/0.34 c | 478 | 3327 2552 10184 | 6655 478 45 | 19.851 % | 0.29/0.35 c | 818 | 3327 2552 10184 | 7320 818 64 | 19.851 % | 0.29/0.37 c | 1324 | 3327 2552 10184 | 8052 1324 71 | 19.851 % | 0.39/0.40 c | 2083 | 3327 2552 10184 | 8857 2083 77 | 19.851 % | 0.39/0.47 c | 3225 | 3327 2552 10184 | 9743 3225 93 | 19.851 % | 0.49/0.56 c | 4943 | 3327 2552 10184 | 10717 4943 86 | 19.851 % | 0.69/0.74 c | 7506 | 3327 2552 10184 | 11789 7506 107 | 19.851 % | 1.11/1.14 c | 11352 | 3327 2552 10184 | 12968 11352 115 | 19.851 % | 1.79/1.86 c | 17119 | 3327 2552 10184 | 14265 10122 119 | 19.851 % | 3.09/3.18 c | 25770 | 3270 2552 10184 | 15692 11180 130 | 21.224 % | 4.09/4.16 c =============================================================================== 4.19/4.29 c core #100 4.19/4.29 c 4.19/4.29 c 4.19/4.29 c Core size: 261 Core Weight: 1 Total Weight: 100 4.19/4.29 c Current CPU time: 4.09738 s 4.19/4.29 c 4.19/4.29 c ============================[ Search Statistics ]============================== 4.19/4.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.29 c =============================================================================== 4.19/4.29 c | 0 | 3616 2553 10732 | 5000 0 -nan | 0.000 % | 4.19/4.29 c | 104 | 3616 2553 10732 | 5500 104 55 | 18.005 % | 4.19/4.30 c | 254 | 3616 2553 10732 | 6050 254 59 | 18.005 % | 4.19/4.31 c | 479 | 3616 2553 10732 | 6655 479 73 | 18.005 % | 4.30/4.33 c | 816 | 3616 2553 10732 | 7320 816 88 | 18.005 % | 4.30/4.35 c | 1322 | 3616 2553 10732 | 8052 1322 80 | 18.005 % | 4.30/4.40 c | 2082 | 3616 2553 10732 | 8857 2082 97 | 18.005 % | 4.41/4.48 c | 3221 | 3616 2553 10732 | 9743 3221 111 | 18.005 % | 4.59/4.63 c | 4929 | 3616 2553 10732 | 10717 4929 132 | 18.005 % | 4.89/4.96 c | 7492 | 3616 2553 10732 | 11789 7492 168 | 18.005 % | 5.29/5.35 c | 11338 | 3616 2553 10732 | 12968 11338 173 | 18.005 % | 5.99/6.08 c | 17104 | 3616 2553 10732 | 14265 10009 174 | 18.005 % | 7.19/7.21 c | 25754 | 3616 2553 10732 | 15692 10868 198 | 18.005 % | 9.70/9.74 c | 38729 | 3616 2553 10732 | 17261 15452 231 | 18.005 % | 12.69/12.73 c | 58194 | 3616 2553 10732 | 18987 16589 201 | 18.005 % | 17.61/17.65 c | 87390 | 3616 2553 10732 | 20886 15477 156 | 18.005 % | 20.70/20.76 c =============================================================================== 20.81/20.82 c core #101 20.81/20.82 c 20.81/20.82 c 20.81/20.82 c Core size: 58 Core Weight: 1 Total Weight: 101 20.81/20.82 c Current CPU time: 20.0609 s 20.81/20.82 c 20.81/20.82 c ============================[ Search Statistics ]============================== 20.81/20.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.81/20.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.81/20.82 c =============================================================================== 20.81/20.82 c | 0 | 3675 2554 10847 | 5000 0 -nan | 0.000 % | 20.81/20.82 c | 101 | 3674 2554 10847 | 5500 101 43 | 17.756 % | 20.81/20.82 c | 254 | 3673 2554 10847 | 6050 254 50 | 17.756 % | 20.81/20.82 c | 479 | 3673 2554 10847 | 6655 479 42 | 17.756 % | 20.81/20.83 c | 816 | 3673 2554 10847 | 7320 816 57 | 17.756 % | 20.81/20.85 c | 1324 | 3673 2554 10847 | 8052 1324 77 | 17.756 % | 20.81/20.89 c | 2083 | 3673 2554 10847 | 8857 2083 91 | 17.756 % | 20.91/20.94 c | 3223 | 3673 2554 10847 | 9743 3223 101 | 17.756 % | 21.00/21.06 c | 4933 | 3673 2554 10847 | 10717 4933 126 | 17.756 % | 21.19/21.29 c | 7496 | 3673 2554 10847 | 11789 7496 149 | 17.756 % | 21.59/21.68 c | 11340 | 3673 2554 10847 | 12968 11340 171 | 17.756 % | 22.60/22.69 c | 17106 | 3673 2554 10847 | 14265 10105 206 | 17.756 % | 24.21/24.23 c | 25756 | 3673 2554 10847 | 15692 11000 255 | 17.756 % | 26.89/26.95 c | 38733 | 3673 2554 10847 | 17261 15493 277 | 17.756 % | 30.59/30.64 c | 58194 | 3673 2554 10847 | 18987 16542 239 | 17.756 % | 36.69/36.78 c | 87387 | 3673 2554 10847 | 20886 15439 301 | 17.756 % | 46.69/46.71 c | 131176 | 3673 2554 10847 | 22974 15363 272 | 17.756 % | 61.40/61.43 c | 196860 | 3670 2554 10847 | 25272 20673 286 | 17.846 % | 96.19/96.20 c | 295387 | 3669 2554 10847 | 27799 23620 292 | 17.846 % | 106.71/106.79 c =============================================================================== 108.30/108.34 c core #102 108.30/108.34 c 108.30/108.34 c 108.30/108.34 c Core size: 426 Core Weight: 1 Total Weight: 102 108.30/108.34 c Current CPU time: 106.117 s 108.30/108.34 c 108.30/108.34 c ============================[ Search Statistics ]============================== 108.30/108.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 108.30/108.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 108.30/108.34 c =============================================================================== 108.30/108.34 c | 0 | 4146 2555 11742 | 5000 0 -nan | 0.000 % | 108.30/108.34 c | 100 | 4146 2555 11742 | 5500 100 42 | 15.215 % | 108.30/108.35 c | 251 | 4146 2555 11742 | 6050 251 41 | 15.215 % | 108.30/108.36 c | 476 | 4146 2555 11742 | 6655 476 66 | 15.215 % | 108.30/108.38 c | 813 | 4146 2555 11742 | 7320 813 56 | 15.215 % | 108.30/108.40 c | 1321 | 4146 2555 11742 | 8052 1321 59 | 15.215 % | 108.39/108.43 c | 2080 | 4146 2555 11742 | 8857 2080 61 | 15.215 % | 108.39/108.47 c | 3219 | 4146 2555 11742 | 9743 3219 54 | 15.215 % | 108.50/108.54 c | 4932 | 4146 2555 11742 | 10717 4932 53 | 15.215 % | 108.59/108.69 c | 7494 | 4146 2555 11742 | 11789 7494 67 | 15.215 % | 109.00/109.06 c | 11339 | 4146 2555 11742 | 12968 11339 85 | 15.215 % | 109.70/109.73 c | 17105 | 4146 2555 11742 | 14265 9896 168 | 15.215 % | 111.01/111.02 c | 25756 | 4146 2555 11742 | 15692 10412 177 | 15.215 % | 113.00/113.06 c | 38730 | 4146 2555 11742 | 17261 15037 162 | 15.215 % | 115.60/115.69 c =============================================================================== 115.89/115.90 c core #103 115.89/115.90 c 115.89/115.90 c 115.89/115.90 c Core size: 676 Core Weight: 1 Total Weight: 103 115.89/115.90 c Current CPU time: 113.585 s 115.89/115.90 c 115.89/115.90 c ============================[ Search Statistics ]============================== 115.89/115.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 115.89/115.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 115.89/115.90 c =============================================================================== 115.89/115.90 c | 0 | 4930 2556 13197 | 5000 0 -nan | 0.000 % | 115.89/115.91 c | 101 | 4930 2556 13197 | 5500 101 67 | 11.347 % | 115.89/115.91 c | 251 | 4930 2556 13197 | 6050 251 65 | 11.347 % | 115.89/115.92 c | 476 | 4930 2556 13197 | 6655 476 65 | 11.347 % | 115.89/115.93 c | 813 | 4930 2556 13197 | 7320 813 71 | 11.347 % | 115.89/115.95 c | 1321 | 4930 2556 13197 | 8052 1321 78 | 11.347 % | 115.99/116.04 c | 2083 | 4930 2556 13197 | 8857 2083 90 | 11.347 % | 115.99/116.09 c | 3222 | 4930 2556 13197 | 9743 3222 96 | 11.347 % | 116.19/116.22 c | 4930 | 4927 2556 13197 | 10717 4930 120 | 11.419 % | 116.40/116.47 c | 7492 | 4927 2556 13197 | 11789 7492 151 | 11.419 % | 116.79/116.81 c | 11336 | 4926 2556 13197 | 12968 11336 160 | 11.419 % | 117.39/117.46 c | 17102 | 4926 2556 13197 | 14265 9447 262 | 11.419 % | 118.59/118.70 c | 25753 | 4926 2556 13197 | 15692 10361 240 | 11.419 % | 120.59/120.69 c | 38727 | 4926 2556 13197 | 17261 14996 153 | 11.419 % | 123.39/123.41 c | 58188 | 4926 2556 13197 | 18987 16350 205 | 11.419 % | 129.59/129.71 c | 87380 | 4926 2556 13197 | 20886 14663 289 | 11.419 % | 139.79/139.83 c | 131169 | 4926 2556 13197 | 22974 13980 183 | 11.419 % | 157.39/157.45 c | 196857 | 4922 2556 13197 | 25272 18310 227 | 11.491 % | 178.29/178.32 c | 295383 | 4659 2556 13197 | 27799 18207 187 | 16.220 % | 213.41/213.47 c =============================================================================== 214.89/214.91 c core #104 214.89/214.91 c 214.89/214.91 c 214.89/214.91 c Core size: 884 Core Weight: 1 Total Weight: 104 214.89/214.91 c Current CPU time: 210.645 s 214.89/214.91 c 214.89/214.91 c ============================[ Search Statistics ]============================== 214.89/214.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.89/214.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.89/214.91 c =============================================================================== 214.89/214.91 c | 0 | 5892 2557 15040 | 5000 0 -nan | 0.000 % | 214.89/214.92 c | 100 | 5892 2557 15040 | 5500 100 44 | 8.538 % | 214.89/214.92 c | 252 | 5892 2557 15040 | 6050 252 54 | 8.538 % | 214.89/214.93 c | 481 | 5892 2557 15040 | 6655 481 118 | 8.538 % | 214.89/214.98 c | 818 | 5892 2557 15040 | 7320 818 107 | 8.538 % | 214.99/215.01 c | 1326 | 5892 2557 15040 | 8052 1326 130 | 8.538 % | 215.09/215.11 c | 2087 | 5892 2557 15040 | 8857 2087 131 | 8.538 % | 215.20/215.23 c | 3232 | 5892 2557 15040 | 9743 3232 145 | 8.538 % | 215.40/215.45 c | 4940 | 5892 2557 15040 | 10717 4940 148 | 8.538 % | 215.61/215.69 c | 7502 | 5892 2557 15040 | 11789 7502 160 | 8.538 % | 216.19/216.20 c | 11346 | 5892 2557 15040 | 12968 11346 181 | 8.538 % | 217.10/217.13 c | 17115 | 5892 2557 15040 | 14265 10228 211 | 8.538 % | 218.69/218.73 c | 25764 | 5892 2557 15040 | 15692 11323 244 | 8.538 % | 220.49/220.58 c | 38738 | 5892 2557 15040 | 17261 15131 246 | 8.538 % | 226.10/226.10 c | 58208 | 5892 2557 15040 | 18987 15603 520 | 8.538 % | 234.79/234.84 c | 87400 | 5892 2557 15040 | 20886 13990 688 | 8.538 % | 250.50/250.54 c | 131190 | 5892 2557 15040 | 22974 12868 460 | 8.538 % | 267.50/267.51 c | 196876 | 5892 2557 15040 | 25272 15724 390 | 8.538 % | 303.90/303.94 c | 295405 | 5892 2557 15040 | 27799 19158 342 | 8.538 % | 368.90/368.94 c | 443195 | 5888 2557 15040 | 30579 18458 783 | 8.600 % | 435.29/435.38 c | 664878 | 5886 2557 15040 | 33637 24176 397 | 8.631 % | 562.40/562.41 c | 997405 | 5886 2557 15040 | 37001 29219 582 | 8.631 % | 750.91/750.99 c | 1496193 | 5886 2557 15040 | 40701 36271 394 | 8.631 % | 1224.01/1224.05 c | 2244376 | 5884 2557 15040 | 44771 27443 726 | 8.662 % |
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-3461538-1307104411/watcher-3461538-1307104411 -o /tmp/evaluation-result-3461538-1307104411/solver-3461538-1307104411 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461538-1307104411.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.01 2.03 2.01 2/530 29682 /proc/meminfo: memFree=14416412/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=3600 CPUtime=0.01 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 717 0 0 0 1 0 0 0 23 0 1 0 822039792 3686400 656 33554432000 4194304 5714214 140737336040208 18446744073709551615 4977933 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 900 656 175 372 0 525 0 [startup+0.085067 s] /proc/loadavg: 2.01 2.03 2.01 2/530 29682 /proc/meminfo: memFree=14416412/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=4292 CPUtime=0.08 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 1119 0 0 0 8 0 0 0 23 0 1 0 822039792 4395008 836 33554432000 4194304 5714214 140737336040208 18446744073709551615 4337086 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 1073 836 175 372 0 698 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4292 [startup+0.101064 s] /proc/loadavg: 2.01 2.03 2.01 2/530 29682 /proc/meminfo: memFree=14416412/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=4504 CPUtime=0.09 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 1231 0 0 0 9 0 0 0 23 0 1 0 822039792 4612096 869 33554432000 4194304 5714214 140737336040208 18446744073709551615 4316101 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 1126 870 176 372 0 751 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4504 [startup+0.301029 s] /proc/loadavg: 2.01 2.03 2.01 2/530 29682 /proc/meminfo: memFree=14416412/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=5344 CPUtime=0.29 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 1464 0 0 0 27 2 0 0 18 0 1 0 822039792 5472256 1101 33554432000 4194304 5714214 140737336040208 18446744073709551615 4324888 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 1336 1101 180 372 0 961 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5344 [startup+0.700962 s] /proc/loadavg: 2.01 2.03 2.01 2/530 29682 /proc/meminfo: memFree=14416412/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=8472 CPUtime=0.69 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 2294 0 0 0 61 8 0 0 18 0 1 0 822039792 8675328 1867 33554432000 4194304 5714214 140737336040208 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 2118 1867 180 372 0 1743 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8472 [startup+1.50082 s] /proc/loadavg: 2.01 2.03 2.01 3/531 29683 /proc/meminfo: memFree=14406112/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=14268 CPUtime=1.49 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 3701 0 0 0 139 10 0 0 19 0 1 0 822039792 14610432 3274 33554432000 4194304 5714214 140737336040208 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 3567 3274 180 372 0 3192 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14268 [startup+3.10055 s] /proc/loadavg: 2.01 2.03 2.01 3/531 29683 /proc/meminfo: memFree=14401152/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=17752 CPUtime=3.09 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 4583 0 0 0 295 14 0 0 24 0 1 0 822039792 18178048 4156 33554432000 4194304 5714214 140737336040208 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 4438 4156 180 372 0 4063 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17752 [startup+6.301 s] /proc/loadavg: 2.01 2.03 2.01 2/529 29684 /proc/meminfo: memFree=15246676/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=21352 CPUtime=6.3 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 5509 0 0 0 597 33 0 0 25 0 1 0 822039792 21864448 5049 33554432000 4194304 5714214 140737336040208 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 5338 5049 180 372 0 4963 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 21352 [startup+12.7009 s] /proc/loadavg: 1.93 2.01 2.00 3/531 29738 /proc/meminfo: memFree=15219720/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=31168 CPUtime=12.69 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 7953 0 0 0 1218 51 0 0 25 0 1 0 822039792 31916032 7493 33554432000 4194304 5714214 140737336040208 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 7792 7493 180 372 0 7417 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31168 [startup+25.5007 s] /proc/loadavg: 1.94 2.01 2.00 3/531 29738 /proc/meminfo: memFree=15172712/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=40388 CPUtime=25.49 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 10288 0 0 0 2471 78 0 0 25 0 1 0 822039792 41357312 9784 33554432000 4194304 5714214 140737336040208 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 10097 9784 180 372 0 9722 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 40388 [startup+51.1003 s] /proc/loadavg: 1.96 2.01 2.00 3/531 29740 /proc/meminfo: memFree=15105692/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=63260 CPUtime=51.09 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 16011 0 0 0 4982 127 0 0 25 0 1 0 822039792 64778240 15507 33554432000 4194304 5714214 140737336040208 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 15815 15507 180 372 0 15440 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 63260 [startup+102.32 s] /proc/loadavg: 1.98 2.00 2.00 3/531 29740 /proc/meminfo: memFree=15015768/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=108052 CPUtime=102.31 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 26923 0 0 0 10029 202 0 0 25 0 1 0 822039792 110645248 26419 33554432000 4194304 5714214 140737336040208 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 27013 26419 180 372 0 26638 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 108052 [startup+162.3 s] /proc/loadavg: 2.09 2.03 2.01 3/531 29742 /proc/meminfo: memFree=14988720/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=106644 CPUtime=162.29 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 28518 0 0 0 15893 336 0 0 25 0 1 0 822039792 109203456 26255 33554432000 4194304 5714214 140737336040208 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 26661 26255 180 372 0 26286 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 106644 [startup+222.301 s] /proc/loadavg: 2.08 2.04 2.01 3/531 29744 /proc/meminfo: memFree=14935012/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=134952 CPUtime=222.29 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 35599 0 0 0 21793 436 0 0 25 0 1 0 822039792 138190848 33336 33554432000 4194304 5714214 140737336040208 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 33738 33336 180 372 0 33363 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 134952 [startup+282.301 s] /proc/loadavg: 2.10 2.05 2.01 3/531 29746 /proc/meminfo: memFree=14879076/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=134952 CPUtime=282.3 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 35687 0 0 0 27686 544 0 0 25 0 1 0 822039792 138190848 33424 33554432000 4194304 5714214 140737336040208 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 33738 33424 180 372 0 33363 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 134952 [startup+342.3 s] /proc/loadavg: 2.07 2.06 2.01 3/531 29748 /proc/meminfo: memFree=14840628/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=173140 CPUtime=342.29 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 45267 0 0 0 33611 618 0 0 25 0 1 0 822039792 177295360 43004 33554432000 4194304 5714214 140737336040208 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 43285 43004 180 372 0 42910 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 173140 [startup+402.301 s] /proc/loadavg: 2.02 2.04 2.01 3/531 29748 /proc/meminfo: memFree=14823380/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=190652 CPUtime=402.3 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 49617 0 0 0 39511 719 0 0 25 0 1 0 822039792 195227648 47354 33554432000 4194304 5714214 140737336040208 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 47663 47354 180 372 0 47288 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 190652 [startup+462.301 s] /proc/loadavg: 2.01 2.03 2.00 3/531 29750 /proc/meminfo: memFree=14792496/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=220780 CPUtime=462.3 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 57476 0 0 0 45411 819 0 0 25 0 1 0 822039792 226078720 54897 33554432000 4194304 5714214 140737336040208 18446744073709551615 4311848 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 55195 54897 180 372 0 54820 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 220780 [startup+522.3 s] /proc/loadavg: 2.00 2.02 2.00 3/531 29752 /proc/meminfo: memFree=14766820/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=247736 CPUtime=522.3 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 64186 0 0 0 51322 908 0 0 25 0 1 0 822039792 253681664 61607 33554432000 4194304 5714214 140737336040208 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 61934 61607 180 372 0 61559 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 247736 [startup+582.301 s] /proc/loadavg: 2.00 2.02 2.00 3/531 29754 /proc/meminfo: memFree=14732964/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=281924 CPUtime=582.31 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 73171 0 0 0 57238 993 0 0 25 0 1 0 822039792 288690176 70071 33554432000 4194304 5714214 140737336040208 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 70481 70071 180 372 0 70106 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 281924 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.14 2.06 2.01 3/531 29760 /proc/meminfo: memFree=14586984/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=417452 CPUtime=822.3 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 106962 0 0 0 80941 1289 0 0 25 0 1 0 822039792 427470848 103862 33554432000 4194304 5714214 140737336040208 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 104363 103862 180 372 0 103988 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 417452 [startup+882.3 s] /proc/loadavg: 2.10 2.06 2.01 3/531 29762 /proc/meminfo: memFree=14523492/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=451692 CPUtime=882.3 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 115482 0 0 0 86892 1338 0 0 25 0 1 0 822039792 462532608 112382 33554432000 4194304 5714214 140737336040208 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 112923 112382 180 372 0 112548 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 451692 [startup+942.301 s] /proc/loadavg: 2.04 2.05 2.01 3/531 29764 /proc/meminfo: memFree=14497812/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=475620 CPUtime=942.31 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 121434 0 0 0 92838 1393 0 0 25 0 1 0 822039792 487034880 118334 33554432000 4194304 5714214 140737336040208 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 118905 118334 180 372 0 118530 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 475620 [startup+1002.3 s] /proc/loadavg: 2.01 2.04 2.00 3/531 29764 /proc/meminfo: memFree=14453044/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=478260 CPUtime=1002.31 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 122114 0 0 0 98801 1430 0 0 25 0 1 0 822039792 489738240 119014 33554432000 4194304 5714214 140737336040208 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 119565 119014 180 372 0 119190 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 478260 [startup+1062.3 s] /proc/loadavg: 2.00 2.03 2.00 3/531 29766 /proc/meminfo: memFree=14424024/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=505460 CPUtime=1062.31 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 128889 0 0 0 104766 1465 0 0 25 0 1 0 822039792 517591040 125789 33554432000 4194304 5714214 140737336040208 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 126365 125789 180 372 0 125990 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 505460 [startup+1122.3 s] /proc/loadavg: 2.00 2.02 2.00 3/531 29768 /proc/meminfo: memFree=14355068/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=532912 CPUtime=1122.31 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 135941 0 0 0 110723 1508 0 0 25 0 1 0 822039792 545701888 132643 33554432000 4194304 5714214 140737336040208 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 133228 132643 180 372 0 132853 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 532912 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 2.00 3/531 29770 /proc/meminfo: memFree=14305952/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=552932 CPUtime=1182.32 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 140928 0 0 0 116668 1564 0 0 25 0 1 0 822039792 566202368 137630 33554432000 4194304 5714214 140737336040208 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 138233 137630 180 372 0 137858 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 552932 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 2.00 3/531 29772 /proc/meminfo: memFree=14250768/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=582896 CPUtime=1242.31 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 148926 0 0 0 122604 1627 0 0 25 0 1 0 822039792 596885504 145102 33554432000 4194304 5714214 140737336040208 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 145724 145102 180 372 0 145349 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 582896 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/531 29772 /proc/meminfo: memFree=14238232/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=594952 CPUtime=1302.33 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 151892 0 0 0 128529 1704 0 0 25 0 1 0 822039792 609230848 148068 33554432000 4194304 5714214 140737336040208 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 148738 148068 180 372 0 148363 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 594952 [startup+1362.3 s] /proc/loadavg: 2.26 2.06 2.02 3/531 29774 /proc/meminfo: memFree=14206600/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=628648 CPUtime=1362.32 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 160322 0 0 0 134443 1789 0 0 25 0 1 0 822039792 643735552 156498 33554432000 4194304 5714214 140737336040208 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 157162 156498 180 372 0 156787 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 628648 [startup+1422.32 s] /proc/loadavg: 2.16 2.07 2.02 3/531 29776 /proc/meminfo: memFree=14154024/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=676564 CPUtime=1422.34 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 172561 0 0 0 140383 1851 0 0 25 0 1 0 822039792 692801536 168443 33554432000 4194304 5714214 140737336040208 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 169141 168443 180 372 0 168766 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 676564 [startup+1482.3 s] /proc/loadavg: 2.06 2.05 2.01 3/531 29778 /proc/meminfo: memFree=14111728/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=676564 CPUtime=1482.31 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 172570 0 0 0 146325 1906 0 0 25 0 1 0 822039792 692801536 168452 33554432000 4194304 5714214 140737336040208 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 169141 168452 180 372 0 168766 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 676564 [startup+1542.3 s] /proc/loadavg: 2.02 2.04 2.00 3/531 29780 /proc/meminfo: memFree=14042152/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=677488 CPUtime=1542.32 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 172798 0 0 0 152250 1982 0 0 25 0 1 0 822039792 693747712 168680 33554432000 4194304 5714214 140737336040208 18446744073709551615 4319254 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 169372 168680 180 372 0 168997 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 677488 [startup+1602.3 s] /proc/loadavg: 2.00 2.03 2.00 3/531 29780 /proc/meminfo: memFree=14011020/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=707636 CPUtime=1602.32 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 180278 0 0 0 158205 2027 0 0 25 0 1 0 822039792 724619264 176160 33554432000 4194304 5714214 140737336040208 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 176909 176160 180 372 0 176534 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 707636 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.00 3/531 29791 /proc/meminfo: memFree=14011452/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=707636 CPUtime=1662.32 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 180279 0 0 0 164155 2077 0 0 25 0 1 0 822039792 724619264 176161 33554432000 4194304 5714214 140737336040208 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 176909 176161 180 372 0 176534 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 707636 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.00 3/531 29793 /proc/meminfo: memFree=14002888/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=715424 CPUtime=1722.32 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 182225 0 0 0 170120 2112 0 0 25 0 1 0 822039792 732594176 178107 33554432000 4194304 5714214 140737336040208 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 178856 178107 180 372 0 178481 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 715424 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/531 29795 /proc/meminfo: memFree=13967416/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=718520 CPUtime=1782.32 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 182935 0 0 0 176081 2151 0 0 25 0 1 0 822039792 735764480 178817 33554432000 4194304 5714214 140737336040208 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 179630 178817 180 372 0 179255 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 718520 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.01 2.00 5/531 29795 /proc/meminfo: memFree=13964312/32951132 swapFree=46579808/67111528 [pid=29682] ppid=29680 vsize=721476 CPUtime=1800.04 cores=1,3,5,7 /proc/29682/stat : 29682 (wbo1.6) R 29680 29682 28716 0 -1 4202496 183625 0 0 0 177834 2170 0 0 25 0 1 0 822039792 738791424 179507 33554432000 4194304 5714214 140737336040208 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29682/statm: 180369 179507 180 372 0 179994 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 721476 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.09 CPU user time (s): 1778.35 CPU system time (s): 21.7337 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 721476 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1778.35 system time used= 21.7337 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 183625 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= 9 involuntary context switches= 4938 runsolver used 9.09962 second user time and 22.0316 second system time The end
Begin job on node128 at 2011-06-03 14:33:31 IDJOB=3461538 IDBENCH=2886 IDSOLVER=1953 FILE ID=node128/3461538-1307104411 RUNJOBID= node128-1307091794-28735 PBS_JOBID= 13497962 Free space on /tmp= 73912 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-test1.r.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461538-1307104411/watcher-3461538-1307104411 -o /tmp/evaluation-result-3461538-1307104411/solver-3461538-1307104411 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461538-1307104411.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8e6ac0bad8d074da12c63269189a8260 RANDOM SEED=614820896 node128.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.852 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.852 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.852 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.82 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.852 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.852 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.852 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.852 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.852 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 : 5434.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 14416692 kB Buffers: 321088 kB Cached: 3456392 kB SwapCached: 35620 kB Active: 9840704 kB Inactive: 8377248 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 14416692 kB SwapTotal: 67111528 kB SwapFree: 46579808 kB Dirty: 4284 kB Writeback: 0 kB AnonPages: 14414384 kB Mapped: 18476 kB Slab: 132636 kB PageTables: 113988 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 175659900 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73904 MiB End job on node128 at 2011-06-03 15:03:33