Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.16 | 1800.16 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb |
MD5SUM | 6549a0bbc5c463b1b909374436b51d65 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 188 |
Best CPU time to get the best result obtained on this benchmark | 1797.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 183 |
Optimality of the best value was proved | NO |
Number of variables | 470 |
Total number of constraints | 470 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 470 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 470 |
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 | 470 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 470 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3460838-1307076369.opb. 0.00/0.00 c Instance file HOME/instance-3460838-1307076369.opb 0.00/0.00 c File size is 42851 bytes. 0.00/0.00 c Highest Coefficient sum: 248 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 470 | 0.00/0.00 c | Number Clauses: 0 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 470 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 470 470 4238 | 5000 0 -nan | 0.000 % | 0.02/0.02 c core #1 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 9 Core Weight: 1 Total Weight: 1 0.02/0.02 c Current CPU time: 0.003999 s 0.02/0.02 c 0.02/0.02 c core #2 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 10 Core Weight: 1 Total Weight: 2 0.02/0.02 c Current CPU time: 0.003999 s 0.02/0.02 c 0.02/0.02 c core #3 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 12 Core Weight: 1 Total Weight: 3 0.02/0.02 c Current CPU time: 0.004999 s 0.02/0.02 c 0.02/0.02 c core #4 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 15 Core Weight: 1 Total Weight: 4 0.02/0.02 c Current CPU time: 0.004999 s 0.02/0.02 c 0.02/0.02 c core #5 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 10 Core Weight: 1 Total Weight: 5 0.02/0.02 c Current CPU time: 0.005999 s 0.02/0.02 c 0.02/0.02 c core #6 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 13 Core Weight: 1 Total Weight: 6 0.02/0.02 c Current CPU time: 0.005999 s 0.02/0.02 c 0.02/0.02 c core #7 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 7 Core Weight: 1 Total Weight: 7 0.02/0.02 c Current CPU time: 0.005999 s 0.02/0.02 c 0.02/0.02 c core #8 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 5 Core Weight: 1 Total Weight: 8 0.02/0.02 c Current CPU time: 0.006998 s 0.02/0.02 c 0.02/0.02 c core #9 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 11 Core Weight: 1 Total Weight: 9 0.02/0.02 c Current CPU time: 0.006998 s 0.02/0.02 c 0.02/0.02 c core #10 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 8 Core Weight: 1 Total Weight: 10 0.02/0.02 c Current CPU time: 0.007998 s 0.02/0.02 c 0.02/0.02 c core #11 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 12 Core Weight: 1 Total Weight: 11 0.02/0.02 c Current CPU time: 0.007998 s 0.02/0.02 c 0.02/0.02 c core #12 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 8 Core Weight: 1 Total Weight: 12 0.02/0.02 c Current CPU time: 0.008998 s 0.02/0.02 c 0.02/0.02 c core #13 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 10 Core Weight: 1 Total Weight: 13 0.02/0.02 c Current CPU time: 0.008998 s 0.02/0.02 c 0.02/0.02 c core #14 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 11 Core Weight: 1 Total Weight: 14 0.02/0.02 c Current CPU time: 0.009998 s 0.02/0.02 c 0.02/0.02 c core #15 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 5 Core Weight: 1 Total Weight: 15 0.02/0.02 c Current CPU time: 0.009998 s 0.02/0.02 c 0.02/0.02 c core #16 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 8 Core Weight: 1 Total Weight: 16 0.02/0.02 c Current CPU time: 0.010998 s 0.02/0.02 c 0.02/0.02 c core #17 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 9 Core Weight: 1 Total Weight: 17 0.02/0.02 c Current CPU time: 0.010998 s 0.02/0.02 c 0.02/0.02 c core #18 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 14 Core Weight: 1 Total Weight: 18 0.02/0.02 c Current CPU time: 0.011998 s 0.02/0.02 c 0.02/0.02 c core #19 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 9 Core Weight: 1 Total Weight: 19 0.02/0.02 c Current CPU time: 0.011998 s 0.02/0.02 c 0.02/0.02 c core #20 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 6 Core Weight: 1 Total Weight: 20 0.02/0.02 c Current CPU time: 0.012998 s 0.02/0.02 c 0.02/0.02 c core #21 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 6 Core Weight: 1 Total Weight: 21 0.02/0.02 c Current CPU time: 0.012998 s 0.02/0.02 c 0.02/0.02 c core #22 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 10 Core Weight: 1 Total Weight: 22 0.02/0.02 c Current CPU time: 0.013997 s 0.02/0.02 c 0.02/0.02 c core #23 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 9 Core Weight: 1 Total Weight: 23 0.02/0.02 c Current CPU time: 0.013997 s 0.02/0.02 c 0.02/0.02 c core #24 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 10 Core Weight: 1 Total Weight: 24 0.02/0.02 c Current CPU time: 0.014997 s 0.02/0.02 c 0.02/0.02 c core #25 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 8 Core Weight: 1 Total Weight: 25 0.02/0.02 c Current CPU time: 0.014997 s 0.02/0.02 c 0.02/0.02 c core #26 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 26 0.02/0.02 c Current CPU time: 0.015997 s 0.02/0.02 c 0.02/0.02 c core #27 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 6 Core Weight: 1 Total Weight: 27 0.02/0.02 c Current CPU time: 0.016997 s 0.02/0.02 c 0.02/0.02 c core #28 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 28 0.02/0.02 c Current CPU time: 0.016997 s 0.02/0.02 c 0.02/0.02 c core #29 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 8 Core Weight: 1 Total Weight: 29 0.02/0.02 c Current CPU time: 0.017997 s 0.02/0.02 c 0.02/0.02 c core #30 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 8 Core Weight: 1 Total Weight: 30 0.02/0.02 c Current CPU time: 0.017997 s 0.02/0.02 c 0.02/0.02 c core #31 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 6 Core Weight: 1 Total Weight: 31 0.02/0.02 c Current CPU time: 0.018997 s 0.02/0.02 c 0.02/0.02 c core #32 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 7 Core Weight: 1 Total Weight: 32 0.02/0.02 c Current CPU time: 0.018997 s 0.02/0.02 c 0.02/0.02 c core #33 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 5 Core Weight: 1 Total Weight: 33 0.02/0.02 c Current CPU time: 0.019996 s 0.02/0.02 c 0.02/0.02 c core #34 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 34 0.02/0.02 c Current CPU time: 0.020996 s 0.02/0.02 c 0.02/0.02 c core #35 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 7 Core Weight: 1 Total Weight: 35 0.02/0.02 c Current CPU time: 0.020996 s 0.02/0.02 c 0.02/0.02 c core #36 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 9 Core Weight: 1 Total Weight: 36 0.02/0.02 c Current CPU time: 0.021996 s 0.02/0.02 c 0.02/0.02 c core #37 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 37 0.02/0.02 c Current CPU time: 0.022996 s 0.02/0.02 c 0.02/0.02 c core #38 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 5 Core Weight: 1 Total Weight: 38 0.02/0.02 c Current CPU time: 0.022996 s 0.02/0.02 c 0.02/0.02 c core #39 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 8 Core Weight: 1 Total Weight: 39 0.02/0.02 c Current CPU time: 0.023996 s 0.02/0.02 c 0.02/0.02 c core #40 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 5 Core Weight: 1 Total Weight: 40 0.02/0.02 c Current CPU time: 0.024996 s 0.02/0.02 c 0.02/0.02 c core #41 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 41 0.02/0.02 c Current CPU time: 0.025996 s 0.02/0.02 c 0.02/0.02 c core #42 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 42 0.02/0.02 c Current CPU time: 0.025996 s 0.02/0.02 c 0.02/0.02 c core #43 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 43 0.02/0.07 c Current CPU time: 0.026995 s 0.02/0.07 c 0.02/0.07 c core #44 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 5 Core Weight: 1 Total Weight: 44 0.02/0.07 c Current CPU time: 0.027995 s 0.02/0.07 c 0.02/0.07 c core #45 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 6 Core Weight: 1 Total Weight: 45 0.02/0.07 c Current CPU time: 0.028995 s 0.02/0.07 c 0.02/0.07 c core #46 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 5 Core Weight: 1 Total Weight: 46 0.02/0.07 c Current CPU time: 0.028995 s 0.02/0.07 c 0.02/0.07 c core #47 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 4 Core Weight: 1 Total Weight: 47 0.02/0.07 c Current CPU time: 0.029995 s 0.02/0.07 c 0.02/0.07 c core #48 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 5 Core Weight: 1 Total Weight: 48 0.02/0.07 c Current CPU time: 0.030995 s 0.02/0.07 c 0.02/0.07 c core #49 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 49 0.02/0.07 c Current CPU time: 0.031995 s 0.02/0.07 c 0.02/0.07 c core #50 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 8 Core Weight: 1 Total Weight: 50 0.02/0.07 c Current CPU time: 0.031995 s 0.02/0.07 c 0.02/0.07 c core #51 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 4 Core Weight: 1 Total Weight: 51 0.02/0.07 c Current CPU time: 0.032994 s 0.02/0.07 c 0.02/0.07 c core #52 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 4 Core Weight: 1 Total Weight: 52 0.02/0.07 c Current CPU time: 0.033994 s 0.02/0.07 c 0.02/0.07 c core #53 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 7 Core Weight: 1 Total Weight: 53 0.02/0.07 c Current CPU time: 0.034994 s 0.02/0.07 c 0.02/0.07 c core #54 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 4 Core Weight: 1 Total Weight: 54 0.02/0.07 c Current CPU time: 0.035994 s 0.02/0.07 c 0.02/0.07 c core #55 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 4 Core Weight: 1 Total Weight: 55 0.02/0.07 c Current CPU time: 0.036994 s 0.02/0.07 c 0.02/0.07 c core #56 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 4 Core Weight: 1 Total Weight: 56 0.02/0.07 c Current CPU time: 0.037994 s 0.02/0.07 c 0.02/0.07 c core #57 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 4 Core Weight: 1 Total Weight: 57 0.02/0.07 c Current CPU time: 0.037994 s 0.02/0.07 c 0.02/0.07 c core #58 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 7 Core Weight: 1 Total Weight: 58 0.02/0.07 c Current CPU time: 0.038994 s 0.02/0.07 c 0.02/0.07 c core #59 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 5 Core Weight: 1 Total Weight: 59 0.02/0.07 c Current CPU time: 0.039993 s 0.02/0.07 c 0.02/0.07 c core #60 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 4 Core Weight: 1 Total Weight: 60 0.02/0.07 c Current CPU time: 0.040993 s 0.02/0.07 c 0.02/0.07 c core #61 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 4 Core Weight: 1 Total Weight: 61 0.02/0.07 c Current CPU time: 0.041993 s 0.02/0.07 c 0.02/0.07 c core #62 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 6 Core Weight: 1 Total Weight: 62 0.02/0.07 c Current CPU time: 0.042993 s 0.02/0.07 c 0.02/0.07 c core #63 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 4 Core Weight: 1 Total Weight: 63 0.02/0.07 c Current CPU time: 0.043993 s 0.02/0.07 c 0.02/0.07 c core #64 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 64 0.02/0.07 c Current CPU time: 0.044993 s 0.02/0.07 c 0.02/0.07 c core #65 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 65 0.02/0.07 c Current CPU time: 0.045993 s 0.02/0.07 c 0.02/0.07 c core #66 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 8 Core Weight: 1 Total Weight: 66 0.02/0.07 c Current CPU time: 0.046992 s 0.02/0.07 c 0.02/0.07 c core #67 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 4 Core Weight: 1 Total Weight: 67 0.02/0.07 c Current CPU time: 0.046992 s 0.02/0.07 c 0.02/0.07 c core #68 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 68 0.02/0.07 c Current CPU time: 0.048992 s 0.02/0.07 c 0.02/0.07 c core #69 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 69 0.02/0.07 c Current CPU time: 0.049992 s 0.02/0.07 c 0.02/0.07 c core #70 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 4 Core Weight: 1 Total Weight: 70 0.02/0.07 c Current CPU time: 0.050992 s 0.02/0.07 c 0.02/0.07 c core #71 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 13 Core Weight: 1 Total Weight: 71 0.02/0.07 c Current CPU time: 0.051992 s 0.02/0.07 c 0.02/0.07 c core #72 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 17 Core Weight: 1 Total Weight: 72 0.02/0.07 c Current CPU time: 0.052991 s 0.02/0.07 c 0.02/0.07 c core #73 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 10 Core Weight: 1 Total Weight: 73 0.02/0.07 c Current CPU time: 0.053991 s 0.02/0.07 c 0.02/0.07 c core #74 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 10 Core Weight: 1 Total Weight: 74 0.02/0.07 c Current CPU time: 0.055991 s 0.02/0.07 c 0.02/0.07 c core #75 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 10 Core Weight: 1 Total Weight: 75 0.02/0.07 c Current CPU time: 0.056991 s 0.02/0.07 c 0.02/0.07 c core #76 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 8 Core Weight: 1 Total Weight: 76 0.02/0.07 c Current CPU time: 0.057991 s 0.02/0.07 c 0.02/0.07 c core #77 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 8 Core Weight: 1 Total Weight: 77 0.02/0.07 c Current CPU time: 0.05999 s 0.02/0.07 c 0.02/0.07 c core #78 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 9 Core Weight: 1 Total Weight: 78 0.02/0.07 c Current CPU time: 0.06099 s 0.02/0.07 c 0.02/0.07 c core #79 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 15 Core Weight: 1 Total Weight: 79 0.02/0.07 c Current CPU time: 0.06199 s 0.02/0.07 c 0.02/0.07 c core #80 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 14 Core Weight: 1 Total Weight: 80 0.02/0.07 c Current CPU time: 0.06299 s 0.02/0.07 c 0.02/0.07 c core #81 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 11 Core Weight: 1 Total Weight: 81 0.02/0.07 c Current CPU time: 0.06399 s 0.02/0.07 c 0.02/0.07 c core #82 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 19 Core Weight: 1 Total Weight: 82 0.02/0.07 c Current CPU time: 0.065989 s 0.02/0.07 c 0.02/0.07 c core #83 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 12 Core Weight: 1 Total Weight: 83 0.02/0.07 c Current CPU time: 0.066989 s 0.02/0.07 c 0.02/0.07 c core #84 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 8 Core Weight: 1 Total Weight: 84 0.02/0.07 c Current CPU time: 0.067989 s 0.02/0.07 c 0.02/0.07 c core #85 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 12 Core Weight: 1 Total Weight: 85 0.02/0.07 c Current CPU time: 0.068989 s 0.02/0.07 c 0.02/0.07 c ============================[ Search Statistics ]============================== 0.02/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.07 c =============================================================================== 0.02/0.07 c | 0 | 952 1025 5707 | 5000 0 -nan | 0.000 % | 0.02/0.07 c =============================================================================== 0.02/0.07 c core #86 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 14 Core Weight: 1 Total Weight: 86 0.02/0.07 c Current CPU time: 0.070989 s 0.02/0.07 c 0.02/0.07 c ============================[ Search Statistics ]============================== 0.02/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.07 c =============================================================================== 0.02/0.07 c | 0 | 963 1026 5729 | 5000 0 -nan | 0.000 % | 0.02/0.07 c =============================================================================== 0.02/0.07 c core #87 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 19 Core Weight: 1 Total Weight: 87 0.02/0.07 c Current CPU time: 0.071989 s 0.02/0.07 c 0.02/0.07 c ============================[ Search Statistics ]============================== 0.02/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.07 c =============================================================================== 0.02/0.07 c | 0 | 980 1027 5760 | 5000 0 -nan | 0.000 % | 0.02/0.07 c =============================================================================== 0.02/0.07 c core #88 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 45 Core Weight: 1 Total Weight: 88 0.02/0.07 c Current CPU time: 0.073988 s 0.02/0.07 c 0.02/0.07 c ============================[ Search Statistics ]============================== 0.02/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.07 c =============================================================================== 0.02/0.07 c | 0 | 1023 1028 5844 | 5000 0 -nan | 0.000 % | 0.02/0.07 c =============================================================================== 0.02/0.07 c core #89 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 23 Core Weight: 1 Total Weight: 89 0.02/0.07 c Current CPU time: 0.075988 s 0.02/0.07 c 0.02/0.07 c ============================[ Search Statistics ]============================== 0.02/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.07 c =============================================================================== 0.02/0.07 c | 0 | 1039 1029 5876 | 5000 0 -nan | 0.000 % | 0.02/0.07 c =============================================================================== 0.02/0.08 c core #90 0.02/0.08 c 0.02/0.08 c 0.02/0.08 c Core size: 16 Core Weight: 1 Total Weight: 90 0.02/0.08 c Current CPU time: 0.076988 s 0.02/0.08 c 0.02/0.08 c ============================[ Search Statistics ]============================== 0.02/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.08 c =============================================================================== 0.02/0.08 c | 0 | 1052 1030 5901 | 5000 0 -nan | 0.000 % | 0.02/0.08 c =============================================================================== 0.02/0.08 c core #91 0.02/0.08 c 0.02/0.08 c 0.02/0.08 c Core size: 20 Core Weight: 1 Total Weight: 91 0.02/0.08 c Current CPU time: 0.078987 s 0.02/0.08 c 0.02/0.08 c ============================[ Search Statistics ]============================== 0.02/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.08 c =============================================================================== 0.02/0.08 c | 0 | 1069 1031 5935 | 5000 0 -nan | 0.000 % | 0.02/0.08 c =============================================================================== 0.02/0.08 c core #92 0.02/0.08 c 0.02/0.08 c 0.02/0.08 c Core size: 12 Core Weight: 1 Total Weight: 92 0.02/0.08 c Current CPU time: 0.079987 s 0.02/0.08 c 0.02/0.08 c ============================[ Search Statistics ]============================== 0.02/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.08 c =============================================================================== 0.02/0.08 c | 0 | 1078 1032 5952 | 5000 0 -nan | 0.000 % | 0.02/0.08 c =============================================================================== 0.02/0.08 c core #93 0.02/0.08 c 0.02/0.08 c 0.02/0.08 c Core size: 16 Core Weight: 1 Total Weight: 93 0.02/0.08 c Current CPU time: 0.081987 s 0.02/0.08 c 0.02/0.08 c ============================[ Search Statistics ]============================== 0.02/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.08 c =============================================================================== 0.02/0.08 c | 0 | 1092 1033 5979 | 5000 0 -nan | 0.000 % | 0.02/0.08 c =============================================================================== 0.02/0.08 c core #94 0.02/0.08 c 0.02/0.08 c 0.02/0.08 c Core size: 16 Core Weight: 1 Total Weight: 94 0.02/0.08 c Current CPU time: 0.083987 s 0.02/0.08 c 0.02/0.08 c ============================[ Search Statistics ]============================== 0.02/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.08 c =============================================================================== 0.02/0.08 c | 0 | 1103 1034 6001 | 5000 0 -nan | 0.000 % | 0.02/0.08 c =============================================================================== 0.02/0.08 c core #95 0.02/0.08 c 0.02/0.08 c 0.02/0.08 c Core size: 53 Core Weight: 1 Total Weight: 95 0.02/0.08 c Current CPU time: 0.085986 s 0.02/0.08 c 0.02/0.08 c ============================[ Search Statistics ]============================== 0.02/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.08 c =============================================================================== 0.02/0.08 c | 0 | 1149 1035 6088 | 5000 0 -nan | 0.000 % | 0.02/0.08 c =============================================================================== 0.02/0.09 c core #96 0.02/0.09 c 0.02/0.09 c 0.02/0.09 c Core size: 73 Core Weight: 1 Total Weight: 96 0.02/0.09 c Current CPU time: 0.087986 s 0.02/0.09 c 0.02/0.09 c ============================[ Search Statistics ]============================== 0.02/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.09 c =============================================================================== 0.02/0.09 c | 0 | 1209 1036 6207 | 5000 0 -nan | 0.000 % | 0.02/0.09 c =============================================================================== 0.02/0.09 c core #97 0.02/0.09 c 0.02/0.09 c 0.02/0.09 c Core size: 17 Core Weight: 1 Total Weight: 97 0.02/0.09 c Current CPU time: 0.089986 s 0.02/0.09 c 0.02/0.09 c ============================[ Search Statistics ]============================== 0.02/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.09 c =============================================================================== 0.02/0.09 c | 0 | 1222 1037 6233 | 5000 0 -nan | 0.000 % | 0.02/0.09 c =============================================================================== 0.02/0.09 c core #98 0.02/0.09 c 0.02/0.09 c 0.02/0.09 c Core size: 26 Core Weight: 1 Total Weight: 98 0.02/0.09 c Current CPU time: 0.091986 s 0.02/0.09 c 0.02/0.09 c ============================[ Search Statistics ]============================== 0.02/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.09 c =============================================================================== 0.02/0.09 c | 0 | 1244 1038 6277 | 5000 0 -nan | 0.000 % | 0.02/0.09 c =============================================================================== 0.02/0.09 c core #99 0.02/0.09 c 0.02/0.09 c 0.02/0.09 c Core size: 36 Core Weight: 1 Total Weight: 99 0.02/0.09 c Current CPU time: 0.092985 s 0.02/0.09 c 0.02/0.09 c ============================[ Search Statistics ]============================== 0.02/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.09 c =============================================================================== 0.02/0.09 c | 0 | 1276 1039 6339 | 5000 0 -nan | 0.000 % | 0.02/0.09 c =============================================================================== 0.02/0.09 c core #100 0.02/0.09 c 0.02/0.09 c 0.02/0.09 c Core size: 50 Core Weight: 1 Total Weight: 100 0.02/0.09 c Current CPU time: 0.094985 s 0.02/0.09 c 0.02/0.09 c ============================[ Search Statistics ]============================== 0.02/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.09 c =============================================================================== 0.02/0.09 c | 0 | 1318 1040 6422 | 5000 0 -nan | 0.000 % | 0.02/0.09 c =============================================================================== 0.09/0.10 c core #101 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 52 Core Weight: 1 Total Weight: 101 0.09/0.10 c Current CPU time: 0.096985 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 | 1370 1041 6524 | 5000 0 -nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #102 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 28 Core Weight: 1 Total Weight: 102 0.09/0.10 c Current CPU time: 0.097985 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 | 1394 1042 6572 | 5000 0 -nan | 0.000 % | 0.09/0.10 c | 101 | 1393 1042 6572 | 5500 101 12 | 1.277 % | 0.09/0.10 c | 251 | 1392 1042 6572 | 6050 251 18 | 1.277 % | 0.09/0.11 c | 479 | 1390 1042 6572 | 6655 479 17 | 1.419 % | 0.09/0.12 c | 818 | 1390 1042 6572 | 7320 818 19 | 1.418 % | 0.09/0.13 c | 1324 | 1390 1042 6572 | 8052 1324 21 | 1.418 % | 0.09/0.14 c =============================================================================== 0.09/0.15 c core #103 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 151 Core Weight: 1 Total Weight: 103 0.09/0.15 c Current CPU time: 0.139978 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 | 1545 1043 6870 | 5000 0 -nan | 0.000 % | 0.09/0.15 c | 101 | 1544 1043 6870 | 5500 101 8 | 1.092 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #104 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 78 Core Weight: 1 Total Weight: 104 0.09/0.15 c Current CPU time: 0.145977 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 | 1622 1044 7021 | 5000 0 -nan | 0.000 % | 0.09/0.16 c | 100 | 1619 1044 7021 | 5500 100 23 | 0.920 % | 0.09/0.16 c | 252 | 1616 1044 7021 | 6050 252 21 | 0.920 % | 0.09/0.17 c | 479 | 1616 1044 7021 | 6655 479 20 | 0.920 % | 0.09/0.18 c | 817 | 1616 1044 7021 | 7320 817 18 | 0.920 % | 0.09/0.18 c =============================================================================== 0.09/0.19 c core #105 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 152 Core Weight: 1 Total Weight: 105 0.09/0.19 c Current CPU time: 0.169974 s 0.09/0.19 c 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 1771 1045 7317 | 5000 0 -nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #106 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 26 Core Weight: 1 Total Weight: 106 0.09/0.19 c Current CPU time: 0.171973 s 0.09/0.19 c 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 1792 1046 7359 | 5000 0 -nan | 0.000 % | 0.09/0.19 c | 100 | 1792 1046 7359 | 5500 100 29 | 0.389 % | 0.19/0.20 c | 250 | 1792 1046 7359 | 6050 250 43 | 0.389 % | 0.19/0.21 c | 477 | 1792 1046 7359 | 6655 477 47 | 0.389 % | 0.19/0.22 c | 814 | 1792 1046 7359 | 7320 814 45 | 0.389 % | 0.19/0.24 c | 1324 | 1792 1046 7359 | 8052 1324 40 | 0.389 % | 0.19/0.26 c | 2087 | 1792 1046 7359 | 8857 2087 39 | 0.389 % | 0.29/0.32 c | 3226 | 1786 1046 7359 | 9743 3226 41 | 0.723 % | 0.39/0.42 c | 4934 | 1786 1046 7359 | 10717 4934 40 | 0.723 % | 0.49/0.56 c | 7496 | 1784 1046 7359 | 11789 7496 38 | 0.834 % | 0.79/0.83 c | 11341 | 1784 1046 7359 | 12968 11341 42 | 0.834 % | 0.89/0.94 c =============================================================================== 0.89/0.97 c core #107 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 205 Core Weight: 1 Total Weight: 107 0.89/0.97 c Current CPU time: 0.926859 s 0.89/0.97 c 0.89/0.97 c ============================[ Search Statistics ]============================== 0.89/0.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.97 c =============================================================================== 0.89/0.97 c | 0 | 1989 1047 7751 | 5000 0 -nan | 0.000 % | 0.89/0.98 c | 101 | 1986 1047 7751 | 5500 101 13 | 0.702 % | 0.89/0.98 c =============================================================================== 0.89/0.98 c core #108 0.89/0.98 c 0.89/0.98 c 0.89/0.98 c Core size: 36 Core Weight: 1 Total Weight: 108 0.89/0.98 c Current CPU time: 0.933858 s 0.89/0.98 c 0.89/0.98 c ============================[ Search Statistics ]============================== 0.89/0.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.98 c =============================================================================== 0.89/0.98 c | 0 | 2019 1048 7811 | 5000 0 -nan | 0.000 % | 0.89/0.98 c | 101 | 2019 1048 7811 | 5500 101 46 | 0.247 % | 0.89/0.99 c | 251 | 2019 1048 7811 | 6050 251 37 | 0.247 % | 0.89/1.00 c | 478 | 2017 1048 7811 | 6655 478 39 | 0.346 % | 0.89/1.01 c | 815 | 2017 1048 7811 | 7320 815 44 | 0.346 % | 1.00/1.03 c | 1327 | 2017 1048 7811 | 8052 1327 46 | 0.346 % | 1.00/1.06 c | 2086 | 2017 1048 7811 | 8857 2086 49 | 0.346 % | 1.11/1.12 c | 3226 | 2017 1048 7811 | 9743 3226 57 | 0.346 % | 1.19/1.22 c | 4937 | 2017 1048 7811 | 10717 4937 64 | 0.346 % | 1.39/1.41 c | 7500 | 2017 1048 7811 | 11789 7500 68 | 0.346 % | 1.69/1.73 c | 11346 | 2017 1048 7811 | 12968 11346 76 | 0.346 % | 2.39/2.40 c | 17114 | 2017 1048 7811 | 14265 10483 100 | 0.346 % | 3.09/3.21 c | 25764 | 2017 1048 7811 | 15692 11900 88 | 0.346 % | 4.79/4.85 c | 38744 | 2017 1048 7811 | 17261 8974 92 | 0.346 % | 7.99/8.01 c | 58207 | 2017 1048 7811 | 18987 10903 103 | 0.346 % | 12.79/12.84 c | 87400 | 2017 1048 7811 | 20886 11248 114 | 0.346 % | 22.29/22.31 c | 131189 | 2017 1048 7811 | 22974 12576 104 | 0.346 % | 34.59/34.62 c | 196873 | 2017 1048 7811 | 25272 20143 129 | 0.346 % | 41.99/42.04 c =============================================================================== 43.59/43.67 c core #109 43.59/43.67 c 43.59/43.67 c 43.59/43.67 c Core size: 196 Core Weight: 1 Total Weight: 109 43.59/43.67 c Current CPU time: 42.9215 s 43.59/43.67 c 43.59/43.67 c ============================[ Search Statistics ]============================== 43.59/43.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 43.59/43.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 43.59/43.67 c =============================================================================== 43.59/43.67 c | 0 | 2213 1049 8197 | 5000 0 -nan | 0.000 % | 43.59/43.68 c | 100 | 2213 1049 8197 | 5500 100 52 | 0.135 % | 43.59/43.69 c | 250 | 2213 1049 8197 | 6050 250 41 | 0.135 % | 43.59/43.69 c | 475 | 2213 1049 8197 | 6655 475 45 | 0.135 % | 43.69/43.71 c | 813 | 2213 1049 8197 | 7320 813 44 | 0.135 % | 43.69/43.73 c | 1319 | 2213 1049 8197 | 8052 1319 49 | 0.135 % | 43.69/43.76 c | 2078 | 2213 1049 8197 | 8857 2078 64 | 0.135 % | 43.79/43.83 c | 3217 | 2213 1049 8197 | 9743 3217 74 | 0.135 % | 43.90/43.94 c | 4927 | 2213 1049 8197 | 10717 4927 83 | 0.135 % | 44.09/44.11 c | 7489 | 2213 1049 8197 | 11789 7489 80 | 0.135 % | 44.29/44.38 c | 11334 | 2213 1049 8197 | 12968 11334 82 | 0.135 % | 45.00/45.02 c | 17102 | 2213 1049 8197 | 14265 10412 125 | 0.135 % | 45.99/46.10 c | 25758 | 2213 1049 8197 | 15692 11776 150 | 0.135 % | 47.79/47.88 c | 38735 | 2213 1049 8197 | 17261 8781 135 | 0.135 % | 50.99/51.05 c | 58198 | 2213 1049 8197 | 18987 10571 133 | 0.135 % | 56.49/56.57 c | 87392 | 2213 1049 8197 | 20886 10841 144 | 0.135 % | 69.20/69.31 c | 131181 | 2213 1049 8197 | 22974 12224 157 | 0.135 % | 85.30/85.31 c | 196867 | 2213 1049 8197 | 25272 19621 163 | 0.135 % | 111.79/111.87 c | 295396 | 2213 1049 8197 | 27799 15714 148 | 0.135 % | 154.20/154.21 c | 443187 | 2213 1049 8197 | 30579 20353 187 | 0.135 % | 212.49/212.56 c | 664874 | 2213 1049 8197 | 33637 16467 149 | 0.135 % | 309.60/309.63 c | 997399 | 2211 1049 8197 | 37001 28965 191 | 0.226 % | 467.90/467.90 c | 1496191 | 2211 1049 8197 | 40701 31633 170 | 0.226 % | 751.79/751.89 c | 2244374 | 2211 1049 8197 | 44771 40368 189 | 0.226 % | 1155.88/1156.01 c | 3366648 | 2211 1049 8197 | 49248 30080 189 | 0.226 % |
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-3460838-1307076369/watcher-3460838-1307076369 -o /tmp/evaluation-result-3460838-1307076369/solver-3460838-1307076369 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460838-1307076369.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.10 2.04 2.00 2/473 23539 /proc/meminfo: memFree=20319916/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=2904 CPUtime=0.01 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 533 0 0 0 1 0 0 0 25 0 1 0 819236609 2973696 476 33554432000 4194304 5714214 140737163389152 18446744073709551615 4964770 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23539/statm: 726 476 176 372 0 351 0 [startup+0.027336 s] /proc/loadavg: 2.10 2.04 2.00 2/473 23539 /proc/meminfo: memFree=20319916/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=3592 CPUtime=0.02 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 705 0 0 0 2 0 0 0 25 0 1 0 819236609 3678208 648 33554432000 4194304 5714214 140737163389152 18446744073709551615 4336971 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23539/statm: 898 648 176 372 0 523 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3592 [startup+0.10026 s] /proc/loadavg: 2.10 2.04 2.00 2/473 23539 /proc/meminfo: memFree=20319916/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=5828 CPUtime=0.09 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 1258 0 0 0 9 0 0 0 25 0 1 0 819236609 5967872 1201 33554432000 4194304 5714214 140737163389152 18446744073709551615 4964715 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23539/statm: 1457 1201 179 372 0 1082 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5828 [startup+0.300224 s] /proc/loadavg: 2.10 2.04 2.00 2/473 23539 /proc/meminfo: memFree=20319916/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=6676 CPUtime=0.29 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 1450 0 0 0 27 2 0 0 25 0 1 0 819236609 6836224 1393 33554432000 4194304 5714214 140737163389152 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23539/statm: 1669 1393 180 372 0 1294 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6676 [startup+0.700153 s] /proc/loadavg: 2.10 2.04 2.00 2/473 23539 /proc/meminfo: memFree=20319916/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=9328 CPUtime=0.69 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 2117 0 0 0 66 3 0 0 25 0 1 0 819236609 9551872 2060 33554432000 4194304 5714214 140737163389152 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23539/statm: 2332 2060 180 372 0 1957 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9328 [startup+1.50101 s] /proc/loadavg: 2.10 2.04 2.00 3/474 23540 /proc/meminfo: memFree=20309000/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=11612 CPUtime=1.49 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 2744 0 0 0 142 7 0 0 25 0 1 0 819236609 11890688 2662 33554432000 4194304 5714214 140737163389152 18446744073709551615 4310869 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23539/statm: 2903 2662 180 372 0 2528 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11612 [startup+3.10079 s] /proc/loadavg: 2.09 2.03 2.00 3/474 23540 /proc/meminfo: memFree=20304164/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=15924 CPUtime=3.09 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 3800 0 0 0 299 10 0 0 25 0 1 0 819236609 16306176 3718 33554432000 4194304 5714214 140737163389152 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23539/statm: 3981 3718 180 372 0 3606 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15924 [startup+6.30017 s] /proc/loadavg: 2.09 2.03 2.00 3/474 23540 /proc/meminfo: memFree=20293740/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=22684 CPUtime=6.29 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 5490 0 0 0 612 17 0 0 25 0 1 0 819236609 23228416 5408 33554432000 4194304 5714214 140737163389152 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23539/statm: 5671 5408 180 372 0 5296 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22684 [startup+12.701 s] /proc/loadavg: 2.08 2.03 2.00 3/474 23541 /proc/meminfo: memFree=20277396/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=32312 CPUtime=12.69 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 7786 0 0 0 1242 27 0 0 25 0 1 0 819236609 33087488 7704 33554432000 4194304 5714214 140737163389152 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23539/statm: 8078 7704 180 372 0 7703 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32312 [startup+25.5008 s] /proc/loadavg: 2.07 2.03 2.00 3/474 23541 /proc/meminfo: memFree=20255684/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=45056 CPUtime=25.5 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 10915 0 0 0 2506 44 0 0 25 0 1 0 819236609 46137344 10833 33554432000 4194304 5714214 140737163389152 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23539/statm: 11264 10833 180 372 0 10889 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 45056 [startup+51.1003 s] /proc/loadavg: 2.04 2.03 2.00 3/474 23542 /proc/meminfo: memFree=20212920/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=67588 CPUtime=51.09 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 16474 0 0 0 5029 80 0 0 25 0 1 0 819236609 69210112 16341 33554432000 4194304 5714214 140737163389152 18446744073709551615 4319832 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23539/statm: 16897 16341 180 372 0 16522 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 67588 [startup+102.317 s] /proc/loadavg: 2.02 2.02 2.00 3/474 23543 /proc/meminfo: memFree=20171232/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=72636 CPUtime=102.31 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 17988 0 0 0 10096 135 0 0 25 0 1 0 819236609 74379264 17855 33554432000 4194304 5714214 140737163389152 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23539/statm: 18159 17855 180 372 0 17784 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 72636 [startup+162.301 s] /proc/loadavg: 2.00 2.02 2.00 3/474 23545 /proc/meminfo: memFree=20082024/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=115436 CPUtime=162.29 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 28463 0 0 0 16036 193 0 0 25 0 1 0 819236609 118206464 28330 33554432000 4194304 5714214 140737163389152 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23539/statm: 28859 28330 180 372 0 28484 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 115436 [startup+222.3 s] /proc/loadavg: 2.16 2.04 2.01 3/474 23546 /proc/meminfo: memFree=20007568/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=150540 CPUtime=222.29 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 36981 0 0 0 21976 253 0 0 25 0 1 0 819236609 154152960 36848 33554432000 4194304 5714214 140737163389152 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23539/statm: 37635 36848 180 372 0 37260 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 150540 [startup+282.301 s] /proc/loadavg: 2.13 2.05 2.01 3/474 23548 /proc/meminfo: memFree=19921244/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=195184 CPUtime=282.3 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 48076 0 0 0 27921 309 0 0 25 0 1 0 819236609 199868416 47943 33554432000 4194304 5714214 140737163389152 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23539/statm: 48796 47943 180 372 0 48421 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 195184 [startup+342.3 s] /proc/loadavg: 2.05 2.04 2.00 3/474 23549 /proc/meminfo: memFree=19844348/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=230140 CPUtime=342.29 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 56715 0 0 0 33871 358 0 0 25 0 1 0 819236609 235663360 56582 33554432000 4194304 5714214 140737163389152 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23539/statm: 57535 56582 180 372 0 57160 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 230140 [startup+402.301 s] /proc/loadavg: 2.09 2.06 2.01 3/474 23551 /proc/meminfo: memFree=19775988/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=261924 CPUtime=402.29 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 64490 0 0 0 39815 414 0 0 25 0 1 0 819236609 268210176 64357 33554432000 4194304 5714214 140737163389152 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23539/statm: 65481 64357 180 372 0 65106 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 261924 [startup+462.301 s] /proc/loadavg: 2.06 2.06 2.01 3/474 23553 /proc/meminfo: memFree=19699312/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=297632 CPUtime=462.3 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 73276 0 0 0 45769 461 0 0 25 0 1 0 819236609 304775168 73143 33554432000 4194304 5714214 140737163389152 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23539/statm: 74408 73143 180 372 0 74033 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 297632 [startup+522.301 s] /proc/loadavg: 2.02 2.04 2.00 3/474 23554 /proc/meminfo: memFree=19632440/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=331436 CPUtime=522.29 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 81653 0 0 0 51728 501 0 0 25 0 1 0 819236609 339390464 81520 33554432000 4194304 5714214 140737163389152 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23539/statm: 82859 81520 180 372 0 82484 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 331436 [startup+582.301 s] /proc/loadavg: 2.00 2.03 2.00 3/474 23556 /proc/meminfo: memFree=19576372/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=353700 CPUtime=582.29 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 87184 0 0 0 57689 540 0 0 25 0 1 0 819236609 362188800 87051 33554432000 4194304 5714214 140737163389152 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23539/statm: 88425 87051 180 372 0 88050 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 353700 [startup+642.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.07 2.04 2.01 3/474 23564 /proc/meminfo: memFree=19269036/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=497264 CPUtime=882.27 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 122668 0 0 0 87475 752 0 0 25 0 1 0 819236609 509198336 122535 33554432000 4194304 5714214 140737163389152 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23539/statm: 124316 122535 180 372 0 123941 0 Current children cumulated CPU time (s) 882.27 Current children cumulated vsize (KiB) 497264 [startup+942.301 s] /proc/loadavg: 2.11 2.06 2.01 3/474 23574 /proc/meminfo: memFree=19203868/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=519436 CPUtime=942.27 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 128186 0 0 0 93439 788 0 0 25 0 1 0 819236609 531902464 128053 33554432000 4194304 5714214 140737163389152 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23539/statm: 129859 128053 180 372 0 129484 0 Current children cumulated CPU time (s) 942.27 Current children cumulated vsize (KiB) 519436 [startup+1002.3 s] /proc/loadavg: 2.08 2.06 2.01 3/474 23576 /proc/meminfo: memFree=19140948/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=546200 CPUtime=1002.28 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 134803 0 0 0 99406 822 0 0 25 0 1 0 819236609 559308800 134670 33554432000 4194304 5714214 140737163389152 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23539/statm: 136550 134670 180 372 0 136175 0 Current children cumulated CPU time (s) 1002.28 Current children cumulated vsize (KiB) 546200 [startup+1062.3 s] /proc/loadavg: 2.03 2.05 2.00 3/474 23578 /proc/meminfo: memFree=19084744/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=570712 CPUtime=1062.28 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 140919 0 0 0 105367 861 0 0 25 0 1 0 819236609 584409088 140786 33554432000 4194304 5714214 140737163389152 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23539/statm: 142678 140786 180 372 0 142303 0 Current children cumulated CPU time (s) 1062.28 Current children cumulated vsize (KiB) 570712 [startup+1122.3 s] /proc/loadavg: 2.01 2.04 2.00 3/474 23582 /proc/meminfo: memFree=19040424/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=593216 CPUtime=1122.27 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 146500 0 0 0 111322 905 0 0 25 0 1 0 819236609 607453184 146367 33554432000 4194304 5714214 140737163389152 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23539/statm: 148304 146367 180 372 0 147929 0 Current children cumulated CPU time (s) 1122.27 Current children cumulated vsize (KiB) 593216 [startup+1182.3 s] /proc/loadavg: 2.00 2.03 2.00 3/474 23584 /proc/meminfo: memFree=18975312/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=623668 CPUtime=1182.27 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 154105 0 0 0 117277 950 0 0 25 0 1 0 819236609 638636032 153972 33554432000 4194304 5714214 140737163389152 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23539/statm: 155917 153972 180 372 0 155542 0 Current children cumulated CPU time (s) 1182.27 Current children cumulated vsize (KiB) 623668 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 2.00 3/474 23585 /proc/meminfo: memFree=18917500/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=650452 CPUtime=1242.28 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 160785 0 0 0 123239 989 0 0 25 0 1 0 819236609 666062848 160652 33554432000 4194304 5714214 140737163389152 18446744073709551615 4319968 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23539/statm: 162613 160652 180 372 0 162238 0 Current children cumulated CPU time (s) 1242.28 Current children cumulated vsize (KiB) 650452 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.00 3/474 23587 /proc/meminfo: memFree=18875784/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=669412 CPUtime=1302.29 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 165525 0 0 0 129208 1021 0 0 25 0 1 0 819236609 685477888 165392 33554432000 4194304 5714214 140737163389152 18446744073709551615 4320137 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23539/statm: 167353 165392 180 372 0 166978 0 Current children cumulated CPU time (s) 1302.29 Current children cumulated vsize (KiB) 669412 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 2.00 3/474 23589 /proc/meminfo: memFree=18830740/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=689936 CPUtime=1362.28 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 170641 0 0 0 135167 1061 0 0 25 0 1 0 819236609 706494464 170508 33554432000 4194304 5714214 140737163389152 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23539/statm: 172484 170508 180 372 0 172109 0 Current children cumulated CPU time (s) 1362.28 Current children cumulated vsize (KiB) 689936 [startup+1422.32 s] /proc/loadavg: 2.10 2.03 2.01 3/474 23590 /proc/meminfo: memFree=18773288/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=715868 CPUtime=1422.3 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 177098 0 0 0 141131 1099 0 0 25 0 1 0 819236609 733048832 176965 33554432000 4194304 5714214 140737163389152 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23539/statm: 178967 176965 180 372 0 178592 0 Current children cumulated CPU time (s) 1422.3 Current children cumulated vsize (KiB) 715868 [startup+1482.3 s] /proc/loadavg: 2.04 2.03 2.00 3/474 23592 /proc/meminfo: memFree=18714240/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=742820 CPUtime=1482.28 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 183794 0 0 0 147092 1136 0 0 25 0 1 0 819236609 760647680 183661 33554432000 4194304 5714214 140737163389152 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23539/statm: 185705 183661 180 372 0 185330 0 Current children cumulated CPU time (s) 1482.28 Current children cumulated vsize (KiB) 742820 [startup+1542.3 s] /proc/loadavg: 2.07 2.03 2.00 3/474 23593 /proc/meminfo: memFree=18669456/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=758828 CPUtime=1542.29 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 187756 0 0 0 153059 1170 0 0 25 0 1 0 819236609 777039872 187623 33554432000 4194304 5714214 140737163389152 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23539/statm: 189707 187623 180 372 0 189332 0 Current children cumulated CPU time (s) 1542.29 Current children cumulated vsize (KiB) 758828 [startup+1602.3 s] /proc/loadavg: 2.02 2.03 2.00 3/474 23595 /proc/meminfo: memFree=18620320/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=777636 CPUtime=1602.29 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 192454 0 0 0 159018 1211 0 0 25 0 1 0 819236609 796299264 192321 33554432000 4194304 5714214 140737163389152 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23539/statm: 194409 192321 180 372 0 194034 0 Current children cumulated CPU time (s) 1602.29 Current children cumulated vsize (KiB) 777636 [startup+1662.3 s] /proc/loadavg: 2.01 2.02 2.00 3/474 23597 /proc/meminfo: memFree=18559648/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=802108 CPUtime=1662.29 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 198477 0 0 0 164974 1255 0 0 25 0 1 0 819236609 821358592 198344 33554432000 4194304 5714214 140737163389152 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23539/statm: 200527 198344 180 372 0 200152 0 Current children cumulated CPU time (s) 1662.29 Current children cumulated vsize (KiB) 802108 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/474 23630 /proc/meminfo: memFree=19565412/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=829496 CPUtime=1722.29 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 205298 0 0 0 170926 1303 0 0 25 0 1 0 819236609 849403904 205165 33554432000 4194304 5714214 140737163389152 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23539/statm: 207374 205165 180 372 0 206999 0 Current children cumulated CPU time (s) 1722.29 Current children cumulated vsize (KiB) 829496 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/474 23632 /proc/meminfo: memFree=19474772/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=868056 CPUtime=1782.29 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 214854 0 0 0 176883 1346 0 0 25 0 1 0 819236609 888889344 214721 33554432000 4194304 5714214 140737163389152 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23539/statm: 217014 214721 180 372 0 216639 0 Current children cumulated CPU time (s) 1782.29 Current children cumulated vsize (KiB) 868056 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.00 2.01 2.00 3/474 23632 /proc/meminfo: memFree=19453924/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=874056 CPUtime=1800.1 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 216440 0 0 0 178658 1352 0 0 25 0 1 0 819236609 895033344 216307 33554432000 4194304 5714214 140737163389152 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23539/statm: 218514 216307 180 372 0 218139 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 874056 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.1 s] /proc/loadavg: 2.00 2.01 2.00 3/474 23632 /proc/meminfo: memFree=19453924/32950928 swapFree=61858088/67111528 [pid=23539] ppid=23537 vsize=874056 CPUtime=1800.1 cores=1,3,5,7 /proc/23539/stat : 23539 (wbo1.6) R 23537 23539 21173 0 -1 4202496 216440 0 0 0 178658 1352 0 0 25 0 1 0 819236609 895033344 216307 33554432000 4194304 5714214 140737163389152 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23539/statm: 218514 216307 180 372 0 218139 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 874056 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.16 CPU time (s): 1800.16 CPU user time (s): 1786.59 CPU system time (s): 13.5659 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 874056 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.59 system time used= 13.5659 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 216442 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= 6 involuntary context switches= 2146 runsolver used 7.97579 second user time and 19.88 second system time The end
Begin job on node125 at 2011-06-03 06:46:09 IDJOB=3460838 IDBENCH=1961 IDSOLVER=1953 FILE ID=node125/3460838-1307076369 RUNJOBID= node125-1307068628-22230 PBS_JOBID= 13497861 Free space on /tmp= 73756 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460838-1307076369/watcher-3460838-1307076369 -o /tmp/evaluation-result-3460838-1307076369/solver-3460838-1307076369 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460838-1307076369.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6549a0bbc5c463b1b909374436b51d65 RANDOM SEED=1080976095 node125.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5266.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 20320328 kB Buffers: 338444 kB Cached: 3466716 kB SwapCached: 3616 kB Active: 8910980 kB Inactive: 3374996 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 20320328 kB SwapTotal: 67111528 kB SwapFree: 61858088 kB Dirty: 4292 kB Writeback: 0 kB AnonPages: 8478644 kB Mapped: 34832 kB Slab: 214248 kB PageTables: 61916 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 130136344 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73752 MiB End job on node125 at 2011-06-03 07:16:12