Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.13 | 1800.16 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb |
MD5SUM | 90154dd1b8a90675a35ad37cbef52f77 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 193 |
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 | 189 |
Optimality of the best value was proved | NO |
Number of variables | 481 |
Total number of constraints | 481 |
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 | 481 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 19 |
Number of terms in the objective function | 481 |
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 | 481 |
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 | 481 |
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-3460914-1307076157.opb. 0.00/0.00 c Instance file HOME/instance-3460914-1307076157.opb 0.00/0.00 c File size is 43841 bytes. 0.00/0.00 c Highest Coefficient sum: 244 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: 481 | 0.00/0.00 c | Number Clauses: 0 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 481 | 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 | 481 481 4331 | 5000 0 -nan | 0.000 % | 0.00/0.02 c core #1 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 9 Core Weight: 1 Total Weight: 1 0.00/0.02 c Current CPU time: 0.002999 s 0.00/0.02 c 0.00/0.02 c core #2 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 9 Core Weight: 1 Total Weight: 2 0.00/0.02 c Current CPU time: 0.003999 s 0.00/0.02 c 0.00/0.02 c core #3 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 8 Core Weight: 1 Total Weight: 3 0.00/0.02 c Current CPU time: 0.003999 s 0.00/0.02 c 0.00/0.02 c core #4 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 10 Core Weight: 1 Total Weight: 4 0.00/0.02 c Current CPU time: 0.003999 s 0.00/0.02 c 0.00/0.02 c core #5 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 13 Core Weight: 1 Total Weight: 5 0.00/0.02 c Current CPU time: 0.004999 s 0.00/0.02 c 0.00/0.02 c core #6 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: 6 0.00/0.02 c Current CPU time: 0.004999 s 0.00/0.02 c 0.00/0.02 c core #7 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 10 Core Weight: 1 Total Weight: 7 0.00/0.02 c Current CPU time: 0.005999 s 0.00/0.02 c 0.00/0.02 c core #8 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 11 Core Weight: 1 Total Weight: 8 0.00/0.02 c Current CPU time: 0.005999 s 0.00/0.02 c 0.00/0.02 c core #9 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 10 Core Weight: 1 Total Weight: 9 0.00/0.02 c Current CPU time: 0.005999 s 0.00/0.02 c 0.00/0.02 c core #10 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 9 Core Weight: 1 Total Weight: 10 0.00/0.02 c Current CPU time: 0.006998 s 0.00/0.02 c 0.00/0.02 c core #11 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 10 Core Weight: 1 Total Weight: 11 0.00/0.02 c Current CPU time: 0.006998 s 0.00/0.02 c 0.00/0.02 c core #12 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 12 0.00/0.02 c Current CPU time: 0.007998 s 0.00/0.02 c 0.00/0.02 c core #13 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 16 Core Weight: 1 Total Weight: 13 0.00/0.02 c Current CPU time: 0.007998 s 0.00/0.02 c 0.00/0.02 c core #14 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: 14 0.00/0.02 c Current CPU time: 0.008998 s 0.00/0.02 c 0.00/0.02 c core #15 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 8 Core Weight: 1 Total Weight: 15 0.00/0.02 c Current CPU time: 0.008998 s 0.00/0.02 c 0.00/0.02 c core #16 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 8 Core Weight: 1 Total Weight: 16 0.00/0.02 c Current CPU time: 0.009998 s 0.00/0.02 c 0.00/0.02 c core #17 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 13 Core Weight: 1 Total Weight: 17 0.00/0.02 c Current CPU time: 0.009998 s 0.00/0.02 c 0.00/0.02 c core #18 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 8 Core Weight: 1 Total Weight: 18 0.00/0.02 c Current CPU time: 0.010998 s 0.00/0.02 c 0.00/0.02 c core #19 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: 19 0.00/0.02 c Current CPU time: 0.010998 s 0.00/0.02 c 0.00/0.02 c core #20 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: 20 0.00/0.02 c Current CPU time: 0.011998 s 0.00/0.02 c 0.00/0.02 c core #21 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 8 Core Weight: 1 Total Weight: 21 0.00/0.02 c Current CPU time: 0.011998 s 0.00/0.02 c 0.00/0.02 c core #22 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 22 0.00/0.02 c Current CPU time: 0.012998 s 0.00/0.02 c 0.00/0.02 c core #23 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: 23 0.00/0.02 c Current CPU time: 0.012998 s 0.00/0.02 c 0.00/0.02 c core #24 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 24 0.00/0.02 c Current CPU time: 0.013997 s 0.00/0.02 c 0.00/0.02 c core #25 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 11 Core Weight: 1 Total Weight: 25 0.00/0.02 c Current CPU time: 0.013997 s 0.00/0.02 c 0.00/0.02 c core #26 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 26 0.00/0.02 c Current CPU time: 0.014997 s 0.00/0.02 c 0.00/0.02 c core #27 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: 27 0.00/0.02 c Current CPU time: 0.014997 s 0.00/0.02 c 0.00/0.02 c core #28 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 28 0.00/0.02 c Current CPU time: 0.015997 s 0.00/0.02 c 0.00/0.02 c core #29 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 11 Core Weight: 1 Total Weight: 29 0.00/0.02 c Current CPU time: 0.016997 s 0.00/0.02 c 0.00/0.02 c core #30 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 30 0.00/0.02 c Current CPU time: 0.016997 s 0.00/0.02 c 0.00/0.02 c core #31 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: 31 0.00/0.02 c Current CPU time: 0.017997 s 0.00/0.02 c 0.00/0.02 c core #32 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 32 0.00/0.02 c Current CPU time: 0.017997 s 0.00/0.02 c 0.00/0.02 c core #33 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 8 Core Weight: 1 Total Weight: 33 0.00/0.02 c Current CPU time: 0.018997 s 0.00/0.02 c 0.00/0.02 c core #34 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: 34 0.00/0.02 c Current CPU time: 0.018997 s 0.00/0.02 c 0.00/0.02 c core #35 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: 35 0.00/0.02 c Current CPU time: 0.019996 s 0.00/0.02 c 0.00/0.02 c core #36 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 36 0.00/0.02 c Current CPU time: 0.020996 s 0.00/0.02 c 0.00/0.02 c core #37 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 37 0.00/0.02 c Current CPU time: 0.020996 s 0.00/0.02 c 0.00/0.02 c core #38 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: 38 0.00/0.02 c Current CPU time: 0.021996 s 0.00/0.02 c 0.00/0.02 c core #39 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 9 Core Weight: 1 Total Weight: 39 0.00/0.02 c Current CPU time: 0.021996 s 0.00/0.02 c 0.00/0.02 c core #40 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 8 Core Weight: 1 Total Weight: 40 0.00/0.02 c Current CPU time: 0.022996 s 0.00/0.02 c 0.00/0.02 c core #41 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: 41 0.00/0.02 c Current CPU time: 0.023996 s 0.00/0.02 c 0.00/0.02 c core #42 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: 42 0.00/0.02 c Current CPU time: 0.023996 s 0.00/0.02 c 0.00/0.02 c core #43 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 43 0.00/0.06 c Current CPU time: 0.024996 s 0.00/0.06 c 0.00/0.06 c core #44 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 5 Core Weight: 1 Total Weight: 44 0.00/0.06 c Current CPU time: 0.025996 s 0.00/0.06 c 0.00/0.06 c core #45 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 6 Core Weight: 1 Total Weight: 45 0.00/0.06 c Current CPU time: 0.025996 s 0.00/0.06 c 0.00/0.06 c core #46 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 9 Core Weight: 1 Total Weight: 46 0.00/0.06 c Current CPU time: 0.026995 s 0.00/0.06 c 0.00/0.06 c core #47 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 47 0.00/0.06 c Current CPU time: 0.027995 s 0.00/0.06 c 0.00/0.06 c core #48 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 7 Core Weight: 1 Total Weight: 48 0.00/0.06 c Current CPU time: 0.028995 s 0.00/0.06 c 0.00/0.06 c core #49 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 6 Core Weight: 1 Total Weight: 49 0.00/0.06 c Current CPU time: 0.028995 s 0.00/0.06 c 0.00/0.06 c core #50 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 8 Core Weight: 1 Total Weight: 50 0.00/0.06 c Current CPU time: 0.029995 s 0.00/0.06 c 0.00/0.06 c core #51 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 5 Core Weight: 1 Total Weight: 51 0.00/0.06 c Current CPU time: 0.030995 s 0.00/0.06 c 0.00/0.06 c core #52 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 7 Core Weight: 1 Total Weight: 52 0.00/0.06 c Current CPU time: 0.031995 s 0.00/0.06 c 0.00/0.06 c core #53 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 53 0.00/0.06 c Current CPU time: 0.031995 s 0.00/0.07 c 0.00/0.07 c core #54 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 54 0.00/0.07 c Current CPU time: 0.032994 s 0.00/0.07 c 0.00/0.07 c core #55 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 5 Core Weight: 1 Total Weight: 55 0.00/0.07 c Current CPU time: 0.033994 s 0.00/0.07 c 0.00/0.07 c core #56 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 56 0.00/0.07 c Current CPU time: 0.034994 s 0.00/0.07 c 0.00/0.07 c core #57 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 57 0.00/0.07 c Current CPU time: 0.035994 s 0.00/0.07 c 0.00/0.07 c core #58 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 58 0.00/0.07 c Current CPU time: 0.036994 s 0.00/0.07 c 0.00/0.07 c core #59 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 9 Core Weight: 1 Total Weight: 59 0.00/0.07 c Current CPU time: 0.037994 s 0.00/0.07 c 0.00/0.07 c core #60 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 60 0.00/0.07 c Current CPU time: 0.038994 s 0.00/0.07 c 0.00/0.07 c core #61 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 61 0.00/0.07 c Current CPU time: 0.039993 s 0.00/0.07 c 0.00/0.07 c core #62 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 62 0.00/0.07 c Current CPU time: 0.040993 s 0.00/0.07 c 0.00/0.07 c core #63 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 63 0.00/0.07 c Current CPU time: 0.041993 s 0.00/0.07 c 0.00/0.07 c core #64 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 64 0.00/0.07 c Current CPU time: 0.042993 s 0.00/0.07 c 0.00/0.07 c core #65 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 6 Core Weight: 1 Total Weight: 65 0.00/0.07 c Current CPU time: 0.043993 s 0.00/0.07 c 0.00/0.07 c core #66 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 66 0.00/0.07 c Current CPU time: 0.044993 s 0.00/0.07 c 0.00/0.07 c core #67 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 67 0.00/0.07 c Current CPU time: 0.045993 s 0.00/0.07 c 0.00/0.07 c core #68 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 68 0.00/0.07 c Current CPU time: 0.046992 s 0.00/0.07 c 0.00/0.07 c core #69 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 5 Core Weight: 1 Total Weight: 69 0.00/0.07 c Current CPU time: 0.047992 s 0.00/0.07 c 0.00/0.07 c core #70 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 70 0.00/0.07 c Current CPU time: 0.048992 s 0.00/0.07 c 0.00/0.07 c core #71 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 5 Core Weight: 1 Total Weight: 71 0.00/0.07 c Current CPU time: 0.049992 s 0.00/0.07 c 0.00/0.07 c core #72 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 10 Core Weight: 1 Total Weight: 72 0.00/0.07 c Current CPU time: 0.051992 s 0.00/0.07 c 0.00/0.07 c core #73 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 17 Core Weight: 1 Total Weight: 73 0.00/0.07 c Current CPU time: 0.052991 s 0.00/0.07 c 0.00/0.07 c core #74 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 12 Core Weight: 1 Total Weight: 74 0.00/0.07 c Current CPU time: 0.053991 s 0.00/0.07 c 0.00/0.07 c core #75 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 14 Core Weight: 1 Total Weight: 75 0.00/0.07 c Current CPU time: 0.054991 s 0.00/0.07 c 0.00/0.07 c core #76 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 14 Core Weight: 1 Total Weight: 76 0.00/0.07 c Current CPU time: 0.056991 s 0.00/0.07 c 0.00/0.07 c core #77 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 11 Core Weight: 1 Total Weight: 77 0.00/0.07 c Current CPU time: 0.057991 s 0.00/0.07 c 0.00/0.07 c core #78 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 7 Core Weight: 1 Total Weight: 78 0.00/0.07 c Current CPU time: 0.058991 s 0.00/0.07 c 0.00/0.07 c core #79 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 10 Core Weight: 1 Total Weight: 79 0.00/0.07 c Current CPU time: 0.05999 s 0.00/0.07 c 0.00/0.07 c core #80 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 8 Core Weight: 1 Total Weight: 80 0.00/0.07 c Current CPU time: 0.06199 s 0.00/0.07 c 0.00/0.07 c core #81 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 10 Core Weight: 1 Total Weight: 81 0.00/0.07 c Current CPU time: 0.06299 s 0.00/0.07 c 0.00/0.07 c core #82 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 11 Core Weight: 1 Total Weight: 82 0.00/0.07 c Current CPU time: 0.06399 s 0.00/0.07 c 0.00/0.07 c core #83 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 8 Core Weight: 1 Total Weight: 83 0.00/0.07 c Current CPU time: 0.06499 s 0.00/0.07 c 0.00/0.07 c core #84 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 10 Core Weight: 1 Total Weight: 84 0.00/0.07 c Current CPU time: 0.066989 s 0.00/0.07 c 0.00/0.07 c core #85 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 9 Core Weight: 1 Total Weight: 85 0.06/0.07 c Current CPU time: 0.067989 s 0.06/0.07 c 0.06/0.07 c core #86 0.06/0.07 c 0.06/0.07 c 0.06/0.07 c Core size: 16 Core Weight: 1 Total Weight: 86 0.06/0.07 c Current CPU time: 0.068989 s 0.06/0.07 c 0.06/0.07 c ============================[ Search Statistics ]============================== 0.06/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.06/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.06/0.07 c =============================================================================== 0.06/0.07 c | 0 | 957 1048 5795 | 5000 0 -nan | 0.000 % | 0.06/0.07 c =============================================================================== 0.06/0.07 c core #87 0.06/0.07 c 0.06/0.07 c 0.06/0.07 c Core size: 14 Core Weight: 1 Total Weight: 87 0.06/0.07 c Current CPU time: 0.070989 s 0.06/0.07 c 0.06/0.07 c ============================[ Search Statistics ]============================== 0.06/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.06/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.06/0.07 c =============================================================================== 0.06/0.07 c | 0 | 969 1049 5818 | 5000 0 -nan | 0.000 % | 0.06/0.07 c =============================================================================== 0.06/0.07 c core #88 0.06/0.07 c 0.06/0.07 c 0.06/0.07 c Core size: 10 Core Weight: 1 Total Weight: 88 0.06/0.07 c Current CPU time: 0.071989 s 0.06/0.07 c 0.06/0.07 c ============================[ Search Statistics ]============================== 0.06/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.06/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.06/0.07 c =============================================================================== 0.06/0.07 c | 0 | 976 1050 5832 | 5000 0 -nan | 0.000 % | 0.06/0.07 c =============================================================================== 0.06/0.07 c core #89 0.06/0.07 c 0.06/0.07 c 0.06/0.07 c Core size: 30 Core Weight: 1 Total Weight: 89 0.06/0.07 c Current CPU time: 0.073988 s 0.06/0.07 c 0.06/0.07 c ============================[ Search Statistics ]============================== 0.06/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.06/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.06/0.07 c =============================================================================== 0.06/0.07 c | 0 | 1002 1051 5880 | 5000 0 -nan | 0.000 % | 0.06/0.07 c =============================================================================== 0.06/0.07 c core #90 0.06/0.07 c 0.06/0.07 c 0.06/0.07 c Core size: 20 Core Weight: 1 Total Weight: 90 0.06/0.07 c Current CPU time: 0.074988 s 0.06/0.07 c 0.06/0.07 c ============================[ Search Statistics ]============================== 0.06/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.06/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.06/0.07 c =============================================================================== 0.06/0.07 c | 0 | 1018 1052 5911 | 5000 0 -nan | 0.000 % | 0.06/0.07 c =============================================================================== 0.06/0.08 c core #91 0.06/0.08 c 0.06/0.08 c 0.06/0.08 c Core size: 22 Core Weight: 1 Total Weight: 91 0.06/0.08 c Current CPU time: 0.076988 s 0.06/0.08 c 0.06/0.08 c ============================[ Search Statistics ]============================== 0.06/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.06/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.06/0.08 c =============================================================================== 0.06/0.08 c | 0 | 1039 1053 5951 | 5000 0 -nan | 0.000 % | 0.06/0.08 c =============================================================================== 0.06/0.08 c core #92 0.06/0.08 c 0.06/0.08 c 0.06/0.08 c Core size: 11 Core Weight: 1 Total Weight: 92 0.06/0.08 c Current CPU time: 0.078987 s 0.06/0.08 c 0.06/0.08 c ============================[ Search Statistics ]============================== 0.06/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.06/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.06/0.08 c =============================================================================== 0.06/0.08 c | 0 | 1047 1054 5967 | 5000 0 -nan | 0.000 % | 0.06/0.08 c =============================================================================== 0.06/0.08 c core #93 0.06/0.08 c 0.06/0.08 c 0.06/0.08 c Core size: 12 Core Weight: 1 Total Weight: 93 0.06/0.08 c Current CPU time: 0.080987 s 0.06/0.08 c 0.06/0.08 c ============================[ Search Statistics ]============================== 0.06/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.06/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.06/0.08 c =============================================================================== 0.06/0.08 c | 0 | 1059 1055 5988 | 5000 0 -nan | 0.000 % | 0.06/0.08 c =============================================================================== 0.06/0.08 c core #94 0.06/0.08 c 0.06/0.08 c 0.06/0.08 c Core size: 21 Core Weight: 1 Total Weight: 94 0.06/0.08 c Current CPU time: 0.081987 s 0.06/0.08 c 0.06/0.08 c ============================[ Search Statistics ]============================== 0.06/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.06/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.06/0.08 c =============================================================================== 0.06/0.08 c | 0 | 1076 1056 6022 | 5000 0 -nan | 0.000 % | 0.06/0.08 c =============================================================================== 0.06/0.08 c core #95 0.06/0.08 c 0.06/0.08 c 0.06/0.08 c Core size: 13 Core Weight: 1 Total Weight: 95 0.06/0.08 c Current CPU time: 0.083987 s 0.06/0.08 c 0.06/0.08 c ============================[ Search Statistics ]============================== 0.06/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.06/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.06/0.08 c =============================================================================== 0.06/0.08 c | 0 | 1086 1057 6042 | 5000 0 -nan | 0.000 % | 0.06/0.08 c =============================================================================== 0.06/0.08 c core #96 0.06/0.08 c 0.06/0.08 c 0.06/0.08 c Core size: 21 Core Weight: 1 Total Weight: 96 0.06/0.08 c Current CPU time: 0.085986 s 0.06/0.08 c 0.06/0.08 c ============================[ Search Statistics ]============================== 0.06/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.06/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.06/0.08 c =============================================================================== 0.06/0.08 c | 0 | 1105 1058 6078 | 5000 0 -nan | 0.000 % | 0.06/0.09 c =============================================================================== 0.06/0.09 c core #97 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 18 Core Weight: 1 Total Weight: 97 0.06/0.09 c Current CPU time: 0.087986 s 0.06/0.09 c 0.06/0.09 c ============================[ Search Statistics ]============================== 0.06/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.06/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.06/0.09 c =============================================================================== 0.06/0.09 c | 0 | 1122 1059 6110 | 5000 0 -nan | 0.000 % | 0.06/0.09 c =============================================================================== 0.06/0.09 c core #98 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 18 Core Weight: 1 Total Weight: 98 0.06/0.09 c Current CPU time: 0.088986 s 0.06/0.09 c 0.06/0.09 c ============================[ Search Statistics ]============================== 0.06/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.06/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.06/0.09 c =============================================================================== 0.06/0.09 c | 0 | 1135 1060 6136 | 5000 0 -nan | 0.000 % | 0.06/0.09 c =============================================================================== 0.06/0.09 c core #99 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 14 Core Weight: 1 Total Weight: 99 0.06/0.09 c Current CPU time: 0.090986 s 0.06/0.09 c 0.06/0.09 c ============================[ Search Statistics ]============================== 0.06/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.06/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.06/0.09 c =============================================================================== 0.06/0.09 c | 0 | 1146 1061 6158 | 5000 0 -nan | 0.000 % | 0.06/0.09 c =============================================================================== 0.06/0.09 c core #100 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 54 Core Weight: 1 Total Weight: 100 0.06/0.09 c Current CPU time: 0.092985 s 0.06/0.09 c 0.06/0.09 c ============================[ Search Statistics ]============================== 0.06/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.06/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.06/0.09 c =============================================================================== 0.06/0.09 c | 0 | 1191 1062 6244 | 5000 0 -nan | 0.000 % | 0.06/0.09 c =============================================================================== 0.06/0.09 c core #101 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 29 Core Weight: 1 Total Weight: 101 0.06/0.09 c Current CPU time: 0.094985 s 0.06/0.09 c 0.06/0.09 c ============================[ Search Statistics ]============================== 0.06/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.06/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.06/0.09 c =============================================================================== 0.06/0.09 c | 0 | 1218 1063 6297 | 5000 0 -nan | 0.000 % | 0.06/0.09 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: 22 Core Weight: 1 Total Weight: 102 0.09/0.10 c Current CPU time: 0.095985 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 | 1240 1064 6339 | 5000 0 -nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #103 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 12 Core Weight: 1 Total Weight: 103 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 | 1249 1065 6357 | 5000 0 -nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #104 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 46 Core Weight: 1 Total Weight: 104 0.09/0.10 c Current CPU time: 0.098984 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 | 1292 1066 6442 | 5000 0 -nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #105 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 78 Core Weight: 1 Total Weight: 105 0.09/0.10 c Current CPU time: 0.100984 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 | 1365 1067 6585 | 5000 0 -nan | 0.000 % | 0.09/0.11 c | 100 | 1364 1067 6585 | 5500 100 8 | 1.241 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #106 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 67 Core Weight: 1 Total Weight: 106 0.09/0.11 c Current CPU time: 0.104984 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 | 1425 1068 6704 | 5000 0 -nan | 0.000 % | 0.09/0.11 c | 104 | 1425 1068 6704 | 5500 104 19 | 0.280 % | 0.09/0.11 c | 254 | 1425 1068 6704 | 6050 254 19 | 0.280 % | 0.09/0.12 c | 481 | 1421 1068 6704 | 6655 481 21 | 0.700 % | 0.09/0.13 c | 820 | 1413 1068 6704 | 7320 820 22 | 1.120 % | 0.09/0.14 c | 1329 | 1413 1068 6704 | 8052 1329 24 | 1.120 % | 0.09/0.15 c =============================================================================== 0.09/0.16 c core #107 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 110 Core Weight: 1 Total Weight: 107 0.09/0.16 c Current CPU time: 0.147977 s 0.09/0.16 c 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 1532 1069 6917 | 5000 0 -nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #108 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 61 Core Weight: 1 Total Weight: 108 0.09/0.16 c Current CPU time: 0.151976 s 0.09/0.16 c 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 1588 1070 7029 | 5000 0 -nan | 0.000 % | 0.09/0.16 c | 101 | 1581 1070 7029 | 5500 101 7 | 0.692 % | 0.09/0.16 c | 251 | 1580 1070 7029 | 6050 251 11 | 0.691 % | 0.09/0.17 c | 477 | 1575 1070 7029 | 6655 477 12 | 1.069 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #109 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 124 Core Weight: 1 Total Weight: 109 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 | 1706 1071 7265 | 5000 0 -nan | 0.000 % | 0.09/0.18 c | 100 | 1706 1071 7265 | 5500 100 16 | 0.293 % | 0.09/0.19 c | 250 | 1704 1071 7265 | 6050 250 25 | 0.293 % | 0.09/0.19 c | 475 | 1694 1071 7265 | 6655 475 18 | 0.878 % | 0.19/0.20 c | 813 | 1692 1071 7265 | 7320 813 15 | 0.995 % | 0.19/0.21 c | 1319 | 1692 1071 7265 | 8052 1319 16 | 0.995 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #110 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 144 Core Weight: 1 Total Weight: 110 0.19/0.23 c Current CPU time: 0.209968 s 0.19/0.23 c 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 1844 1072 7541 | 5000 0 -nan | 0.000 % | 0.19/0.24 c | 100 | 1844 1072 7541 | 5500 100 46 | 0.162 % | 0.19/0.24 c | 252 | 1844 1072 7541 | 6050 252 36 | 0.162 % | 0.19/0.25 c | 477 | 1844 1072 7541 | 6655 477 30 | 0.163 % | 0.19/0.26 c | 814 | 1844 1072 7541 | 7320 814 33 | 0.162 % | 0.19/0.28 c | 1322 | 1844 1072 7541 | 8052 1322 36 | 0.162 % | 0.29/0.31 c | 2087 | 1844 1072 7541 | 8857 2087 36 | 0.162 % | 0.29/0.36 c | 3226 | 1844 1072 7541 | 9743 3226 42 | 0.162 % | 0.39/0.45 c | 4934 | 1844 1072 7541 | 10717 4934 45 | 0.162 % | 0.59/0.61 c | 7499 | 1844 1072 7541 | 11789 7499 48 | 0.162 % | 0.79/0.89 c | 11345 | 1842 1072 7541 | 12968 11345 46 | 0.271 % | 1.29/1.32 c | 17115 | 1841 1072 7541 | 14265 10607 35 | 0.325 % | 1.79/1.85 c =============================================================================== 1.89/1.96 c core #111 1.89/1.96 c 1.89/1.96 c 1.89/1.96 c Core size: 278 Core Weight: 1 Total Weight: 111 1.89/1.96 c Current CPU time: 1.85972 s 1.89/1.96 c 1.89/1.96 c ============================[ Search Statistics ]============================== 1.89/1.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.96 c =============================================================================== 1.89/1.96 c | 0 | 2120 1073 8093 | 5000 0 -nan | 0.000 % | 1.89/1.96 c | 102 | 2120 1073 8093 | 5500 102 50 | 0.141 % | 1.89/1.97 c | 252 | 2120 1073 8093 | 6050 252 36 | 0.141 % | 1.89/1.97 c | 477 | 2120 1073 8093 | 6655 477 29 | 0.141 % | 1.89/1.99 c | 814 | 2120 1073 8093 | 7320 814 27 | 0.141 % | 1.99/2.01 c | 1320 | 2120 1073 8093 | 8052 1320 27 | 0.141 % | 1.99/2.04 c | 2079 | 2120 1073 8093 | 8857 2079 30 | 0.141 % | 1.99/2.09 c | 3223 | 2118 1073 8093 | 9743 3223 36 | 0.236 % | 2.10/2.18 c | 4933 | 2118 1073 8093 | 10717 4933 43 | 0.236 % | 2.29/2.36 c | 7502 | 2118 1073 8093 | 11789 7502 47 | 0.236 % | 2.59/2.65 c | 11347 | 2118 1073 8093 | 12968 11347 54 | 0.236 % | 3.09/3.13 c | 17113 | 2118 1073 8093 | 14265 10488 64 | 0.236 % | 3.69/3.73 c | 25765 | 2118 1073 8093 | 15692 11961 71 | 0.236 % | 4.79/4.86 c | 38741 | 2118 1073 8093 | 17261 9087 75 | 0.236 % | 7.19/7.22 c | 58202 | 2118 1073 8093 | 18987 11111 90 | 0.236 % | 10.59/10.62 c | 87397 | 2118 1073 8093 | 20886 11736 103 | 0.236 % | 17.79/17.83 c | 131189 | 2118 1073 8093 | 22974 13213 109 | 0.236 % | 29.89/29.96 c | 196873 | 2118 1073 8093 | 25272 20769 108 | 0.236 % | 45.11/45.14 c | 295403 | 2113 1073 8093 | 27799 17602 113 | 0.565 % | 66.79/66.87 c =============================================================================== 70.19/70.31 c core #112 70.19/70.31 c 70.19/70.31 c 70.19/70.31 c Core size: 378 Core Weight: 1 Total Weight: 112 70.19/70.31 c Current CPU time: 68.8315 s 70.19/70.31 c 70.19/70.31 c ============================[ Search Statistics ]============================== 70.19/70.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 70.19/70.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 70.19/70.31 c =============================================================================== 70.19/70.31 c | 0 | 2497 1074 8845 | 5000 0 -nan | 0.000 % | 70.19/70.31 c | 101 | 2497 1074 8845 | 5500 101 53 | 0.040 % | 70.30/70.32 c | 251 | 2497 1074 8845 | 6050 251 35 | 0.040 % | 70.30/70.33 c | 476 | 2497 1074 8845 | 6655 476 56 | 0.040 % | 70.30/70.34 c | 814 | 2497 1074 8845 | 7320 814 67 | 0.040 % | 70.30/70.37 c | 1320 | 2497 1074 8845 | 8052 1320 71 | 0.040 % | 70.30/70.41 c | 2080 | 2497 1074 8845 | 8857 2080 66 | 0.040 % | 70.41/70.47 c | 3220 | 2497 1074 8845 | 9743 3220 75 | 0.040 % | 70.49/70.56 c | 4928 | 2497 1074 8845 | 10717 4928 83 | 0.040 % | 70.69/70.73 c | 7491 | 2497 1074 8845 | 11789 7491 80 | 0.040 % | 70.99/71.02 c | 11335 | 2497 1074 8845 | 12968 11335 83 | 0.040 % | 71.51/71.56 c | 17103 | 2497 1074 8845 | 14265 10496 107 | 0.040 % | 72.39/72.41 c | 25754 | 2497 1074 8845 | 15692 11857 87 | 0.040 % | 73.99/74.06 c | 38729 | 2497 1074 8845 | 17261 8810 99 | 0.040 % | 76.69/76.73 c | 58194 | 2497 1074 8845 | 18987 10735 96 | 0.040 % | 80.99/81.09 c | 87392 | 2497 1074 8845 | 20886 10952 103 | 0.040 % | 88.89/88.97 c | 131181 | 2497 1074 8845 | 22974 12400 128 | 0.040 % | 97.99/98.04 c | 196867 | 2497 1074 8845 | 25272 19554 135 | 0.040 % | 115.09/115.17 c | 295395 | 2497 1074 8845 | 27799 14547 149 | 0.040 % | 149.09/149.18 c | 443184 | 2497 1074 8845 | 30579 14196 188 | 0.040 % | 215.39/215.50 c | 664867 | 2497 1074 8845 | 33637 16732 176 | 0.040 % | 314.89/314.90 c | 997394 | 2497 1074 8845 | 37001 17104 167 | 0.040 % | 472.59/472.66 c | 1496184 | 2497 1074 8845 | 40701 18035 202 | 0.040 % | 735.97/736.09 c | 2244367 | 2497 1074 8845 | 44771 23624 210 | 0.040 % | 1211.47/1211.50 c | 3366641 | 2497 1074 8845 | 49248 45180 232 | 0.040 % |
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-3460914-1307076157/watcher-3460914-1307076157 -o /tmp/evaluation-result-3460914-1307076157/solver-3460914-1307076157 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460914-1307076157.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: 1.92 2.00 1.99 2/535 8292 /proc/meminfo: memFree=24563200/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=2500 CPUtime=0 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 435 0 0 0 0 0 0 0 23 0 1 0 800031985 2560000 377 33554432000 4194304 5714214 140735405627920 18446744073709551615 4969593 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 625 377 176 372 0 250 0 [startup+0.0713641 s] /proc/loadavg: 1.92 2.00 1.99 2/535 8292 /proc/meminfo: memFree=24563200/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=5192 CPUtime=0.06 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 1087 0 0 0 6 0 0 0 23 0 1 0 800031985 5316608 1029 33554432000 4194304 5714214 140735405627920 18446744073709551615 4956314 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 1298 1029 176 372 0 923 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5192 [startup+0.100357 s] /proc/loadavg: 1.92 2.00 1.99 2/535 8292 /proc/meminfo: memFree=24563200/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=5976 CPUtime=0.09 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 1273 0 0 0 9 0 0 0 18 0 1 0 800031985 6119424 1215 33554432000 4194304 5714214 140735405627920 18446744073709551615 4968128 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 1494 1215 179 372 0 1119 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5976 [startup+0.300321 s] /proc/loadavg: 1.92 2.00 1.99 2/535 8292 /proc/meminfo: memFree=24563200/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=6828 CPUtime=0.29 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 1502 0 0 0 26 3 0 0 18 0 1 0 800031985 6991872 1444 33554432000 4194304 5714214 140735405627920 18446744073709551615 4200778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 1707 1444 180 372 0 1332 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6828 [startup+0.700249 s] /proc/loadavg: 1.92 2.00 1.99 2/535 8292 /proc/meminfo: memFree=24563200/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=9528 CPUtime=0.69 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 2173 0 0 0 64 5 0 0 18 0 1 0 800031985 9756672 2115 33554432000 4194304 5714214 140735405627920 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 2382 2115 180 372 0 2007 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9528 [startup+1.50111 s] /proc/loadavg: 1.92 2.00 1.99 3/536 8293 /proc/meminfo: memFree=24553164/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=11956 CPUtime=1.49 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 2783 0 0 0 141 8 0 0 18 0 1 0 800031985 12242944 2725 33554432000 4194304 5714214 140735405627920 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 2989 2725 180 372 0 2614 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11956 [startup+3.10082 s] /proc/loadavg: 1.92 2.00 1.99 3/536 8293 /proc/meminfo: memFree=24549272/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=13924 CPUtime=3.09 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 3303 0 0 0 294 15 0 0 20 0 1 0 800031985 14258176 3216 33554432000 4194304 5714214 140735405627920 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 3481 3216 180 372 0 3106 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13924 [startup+6.30025 s] /proc/loadavg: 1.93 2.00 1.99 3/536 8293 /proc/meminfo: memFree=24543692/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=21248 CPUtime=6.29 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 5139 0 0 0 604 25 0 0 22 0 1 0 800031985 21757952 5052 33554432000 4194304 5714214 140735405627920 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 5312 5052 180 372 0 4937 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21248 [startup+12.7001 s] /proc/loadavg: 1.94 2.00 1.99 3/536 8293 /proc/meminfo: memFree=24526820/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=33352 CPUtime=12.69 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 8140 0 0 0 1229 40 0 0 25 0 1 0 800031985 34152448 8053 33554432000 4194304 5714214 140735405627920 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 8338 8053 180 372 0 7963 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33352 [startup+25.5008 s] /proc/loadavg: 1.95 2.00 1.99 3/536 8293 /proc/meminfo: memFree=24506236/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=49268 CPUtime=25.49 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 12029 0 0 0 2492 57 0 0 25 0 1 0 800031985 50450432 11942 33554432000 4194304 5714214 140735405627920 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 12317 11942 180 372 0 11942 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 49268 [startup+51.1002 s] /proc/loadavg: 1.91 1.98 1.99 3/536 8322 /proc/meminfo: memFree=25175948/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=80832 CPUtime=51.09 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 19790 0 0 0 5005 104 0 0 25 0 1 0 800031985 82771968 19703 33554432000 4194304 5714214 140735405627920 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 20208 19703 180 372 0 19833 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 80832 [startup+102.32 s] /proc/loadavg: 1.96 1.98 1.99 3/536 8323 /proc/meminfo: memFree=25123812/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=107820 CPUtime=102.31 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 26668 0 0 0 10030 201 0 0 25 0 1 0 800031985 110407680 26525 33554432000 4194304 5714214 140735405627920 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 26955 26525 180 372 0 26580 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 107820 [startup+162.3 s] /proc/loadavg: 1.98 1.98 1.99 3/536 8325 /proc/meminfo: memFree=25030752/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=119736 CPUtime=162.29 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 29803 0 0 0 15954 275 0 0 25 0 1 0 800031985 122609664 29660 33554432000 4194304 5714214 140735405627920 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 29934 29660 180 372 0 29559 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 119736 [startup+222.301 s] /proc/loadavg: 1.99 1.98 1.99 3/536 8327 /proc/meminfo: memFree=24949620/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=156012 CPUtime=222.28 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 38705 0 0 0 21893 335 0 0 25 0 1 0 800031985 159756288 38562 33554432000 4194304 5714214 140735405627920 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 39003 38562 180 372 0 38628 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 156012 [startup+282.301 s] /proc/loadavg: 1.99 1.98 1.99 3/536 8328 /proc/meminfo: memFree=24849748/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=200208 CPUtime=282.29 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 49554 0 0 0 27827 402 0 0 25 0 1 0 800031985 205012992 49411 33554432000 4194304 5714214 140735405627920 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 50052 49411 180 372 0 49677 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 200208 [startup+342.3 s] /proc/loadavg: 1.99 1.98 1.99 3/536 8330 /proc/meminfo: memFree=24761900/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=238216 CPUtime=342.28 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 58855 0 0 0 33776 452 0 0 25 0 1 0 800031985 243933184 58712 33554432000 4194304 5714214 140735405627920 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 59554 58712 180 372 0 59179 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 238216 [startup+402.3 s] /proc/loadavg: 1.99 1.98 1.99 3/536 8331 /proc/meminfo: memFree=24700220/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=267808 CPUtime=402.28 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 66126 0 0 0 39736 492 0 0 25 0 1 0 800031985 274235392 65983 33554432000 4194304 5714214 140735405627920 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 66952 65983 180 372 0 66577 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 267808 [startup+462.301 s] /proc/loadavg: 2.07 2.00 1.99 3/536 8333 /proc/meminfo: memFree=24628124/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=300556 CPUtime=462.29 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 74303 0 0 0 45682 547 0 0 25 0 1 0 800031985 307769344 74160 33554432000 4194304 5714214 140735405627920 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 75139 74160 180 372 0 74764 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 300556 [startup+522.301 s] /proc/loadavg: 2.17 2.04 2.01 3/536 8335 /proc/meminfo: memFree=24527496/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=349200 CPUtime=522.28 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 86364 0 0 0 51617 611 0 0 25 0 1 0 800031985 357580800 86221 33554432000 4194304 5714214 140735405627920 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 87300 86221 180 372 0 86925 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 349200 [startup+582.3 s] /proc/loadavg: 2.10 2.05 2.01 3/536 8336 /proc/meminfo: memFree=24455780/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=383096 CPUtime=582.28 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 94660 0 0 0 57572 656 0 0 25 0 1 0 800031985 392290304 94517 33554432000 4194304 5714214 140735405627920 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 95774 94517 180 372 0 95399 0 Current children cumulated CPU time (s) 582.28 Current children cumulated vsize (KiB) 383096 [startup+642.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.00 2.01 2.00 3/536 8344 /proc/meminfo: memFree=24110796/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=514212 CPUtime=882.27 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 126963 0 0 0 87387 840 0 0 25 0 1 0 800031985 526553088 126820 33554432000 4194304 5714214 140735405627920 18446744073709551615 4319347 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 128553 126820 180 372 0 128178 0 Current children cumulated CPU time (s) 882.27 Current children cumulated vsize (KiB) 514212 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/536 8346 /proc/meminfo: memFree=24045408/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=544236 CPUtime=942.27 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 134314 0 0 0 93354 873 0 0 25 0 1 0 800031985 557297664 134171 33554432000 4194304 5714214 140735405627920 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 136059 134171 180 372 0 135684 0 Current children cumulated CPU time (s) 942.27 Current children cumulated vsize (KiB) 544236 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/536 8347 /proc/meminfo: memFree=23987076/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=566420 CPUtime=1002.26 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 139765 0 0 0 99317 909 0 0 25 0 1 0 800031985 580014080 139622 33554432000 4194304 5714214 140735405627920 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 141605 139622 180 372 0 141230 0 Current children cumulated CPU time (s) 1002.26 Current children cumulated vsize (KiB) 566420 [startup+1062.3 s] /proc/loadavg: 2.15 2.04 2.01 3/536 8349 /proc/meminfo: memFree=23921312/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=594576 CPUtime=1062.27 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 146786 0 0 0 105281 946 0 0 25 0 1 0 800031985 608845824 146643 33554432000 4194304 5714214 140735405627920 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 148644 146643 180 372 0 148269 0 Current children cumulated CPU time (s) 1062.27 Current children cumulated vsize (KiB) 594576 [startup+1122.3 s] /proc/loadavg: 2.14 2.06 2.02 3/536 8360 /proc/meminfo: memFree=23853656/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=613540 CPUtime=1122.27 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 151565 0 0 0 111247 980 0 0 25 0 1 0 800031985 628264960 151422 33554432000 4194304 5714214 140735405627920 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 153385 151422 180 372 0 153010 0 Current children cumulated CPU time (s) 1122.27 Current children cumulated vsize (KiB) 613540 [startup+1182.3 s] /proc/loadavg: 2.05 2.05 2.01 3/536 8361 /proc/meminfo: memFree=23789240/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=646424 CPUtime=1182.27 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 159733 0 0 0 117208 1019 0 0 25 0 1 0 800031985 661938176 159590 33554432000 4194304 5714214 140735405627920 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 161606 159590 180 372 0 161231 0 Current children cumulated CPU time (s) 1182.27 Current children cumulated vsize (KiB) 646424 [startup+1242.3 s] /proc/loadavg: 2.02 2.04 2.00 3/536 8363 /proc/meminfo: memFree=23724208/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=673260 CPUtime=1242.26 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 166446 0 0 0 123163 1063 0 0 25 0 1 0 800031985 689418240 166303 33554432000 4194304 5714214 140735405627920 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 168315 166303 180 372 0 167940 0 Current children cumulated CPU time (s) 1242.26 Current children cumulated vsize (KiB) 673260 [startup+1302.3 s] /proc/loadavg: 2.00 2.03 2.00 3/536 8364 /proc/meminfo: memFree=23669352/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=707836 CPUtime=1302.28 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 175073 0 0 0 129113 1115 0 0 25 0 1 0 800031985 724824064 174930 33554432000 4194304 5714214 140735405627920 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 176959 174930 180 372 0 176584 0 Current children cumulated CPU time (s) 1302.28 Current children cumulated vsize (KiB) 707836 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.00 3/536 8366 /proc/meminfo: memFree=23599240/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=741444 CPUtime=1362.27 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 183408 0 0 0 135068 1159 0 0 25 0 1 0 800031985 759238656 183265 33554432000 4194304 5714214 140735405627920 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 185361 183265 180 372 0 184986 0 Current children cumulated CPU time (s) 1362.27 Current children cumulated vsize (KiB) 741444 [startup+1422.32 s] /proc/loadavg: 2.00 2.02 2.00 3/536 8368 /proc/meminfo: memFree=23539676/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=781872 CPUtime=1422.28 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 193447 0 0 0 141029 1199 0 0 25 0 1 0 800031985 800636928 193304 33554432000 4194304 5714214 140735405627920 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 195468 193304 180 372 0 195093 0 Current children cumulated CPU time (s) 1422.28 Current children cumulated vsize (KiB) 781872 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.00 3/536 8369 /proc/meminfo: memFree=23481844/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=803508 CPUtime=1482.26 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 198705 0 0 0 146986 1240 0 0 25 0 1 0 800031985 822792192 198562 33554432000 4194304 5714214 140735405627920 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 200877 198562 180 372 0 200502 0 Current children cumulated CPU time (s) 1482.26 Current children cumulated vsize (KiB) 803508 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/536 8371 /proc/meminfo: memFree=23418924/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=834420 CPUtime=1542.27 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 206387 0 0 0 152937 1290 0 0 25 0 1 0 800031985 854446080 206244 33554432000 4194304 5714214 140735405627920 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 208605 206244 180 372 0 208230 0 Current children cumulated CPU time (s) 1542.27 Current children cumulated vsize (KiB) 834420 [startup+1602.3 s] /proc/loadavg: 2.26 2.06 2.02 3/536 8372 /proc/meminfo: memFree=23369044/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=856100 CPUtime=1602.27 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 211746 0 0 0 158900 1327 0 0 25 0 1 0 800031985 876646400 211603 33554432000 4194304 5714214 140735405627920 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 214025 211603 180 372 0 213650 0 Current children cumulated CPU time (s) 1602.27 Current children cumulated vsize (KiB) 856100 [startup+1662.3 s] /proc/loadavg: 2.22 2.08 2.02 3/536 8374 /proc/meminfo: memFree=23316548/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=877088 CPUtime=1662.27 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 216985 0 0 0 164857 1370 0 0 25 0 1 0 800031985 898138112 216842 33554432000 4194304 5714214 140735405627920 18446744073709551615 4319771 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 219272 216842 180 372 0 218897 0 Current children cumulated CPU time (s) 1662.27 Current children cumulated vsize (KiB) 877088 [startup+1722.3 s] /proc/loadavg: 2.08 2.06 2.02 3/536 8376 /proc/meminfo: memFree=23253876/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=906892 CPUtime=1722.26 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 224358 0 0 0 170798 1428 0 0 25 0 1 0 800031985 928657408 224215 33554432000 4194304 5714214 140735405627920 18446744073709551615 4310925 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 226723 224215 180 372 0 226348 0 Current children cumulated CPU time (s) 1722.26 Current children cumulated vsize (KiB) 906892 [startup+1782.3 s] /proc/loadavg: 2.03 2.05 2.01 3/536 8377 /proc/meminfo: memFree=23182276/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=945820 CPUtime=1782.27 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 233832 0 0 0 176756 1471 0 0 25 0 1 0 800031985 968519680 233689 33554432000 4194304 5714214 140735405627920 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 236455 233689 180 372 0 236080 0 Current children cumulated CPU time (s) 1782.27 Current children cumulated vsize (KiB) 945820 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.02 2.04 2.01 3/536 8378 /proc/meminfo: memFree=23165400/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=953204 CPUtime=1800.07 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 235657 0 0 0 178526 1481 0 0 25 0 1 0 800031985 976080896 235514 33554432000 4194304 5714214 140735405627920 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 238301 235514 180 372 0 237926 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 953204 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.02 2.04 2.01 3/536 8378 /proc/meminfo: memFree=23165400/32951124 swapFree=46970528/67111528 [pid=8292] ppid=8290 vsize=953204 CPUtime=1800.07 cores=1,3,5,7 /proc/8292/stat : 8292 (wbo1.6) R 8290 8292 6615 0 -1 4202496 235657 0 0 0 178526 1481 0 0 25 0 1 0 800031985 976080896 235514 33554432000 4194304 5714214 140735405627920 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8292/statm: 238301 235514 180 372 0 237926 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 953204 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.16 CPU time (s): 1800.13 CPU user time (s): 1785.28 CPU system time (s): 14.8547 CPU usage (%): 99.9985 Max. virtual memory (cumulated for all children) (KiB): 953204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.28 system time used= 14.8547 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 235657 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= 16 involuntary context switches= 2388 runsolver used 8.97363 second user time and 22.1486 second system time The end
Begin job on node146 at 2011-06-03 06:42:37 IDJOB=3460914 IDBENCH=1949 IDSOLVER=1953 FILE ID=node146/3460914-1307076157 RUNJOBID= node146-1307067108-7563 PBS_JOBID= 13497840 Free space on /tmp= 73724 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460914-1307076157/watcher-3460914-1307076157 -o /tmp/evaluation-result-3460914-1307076157/solver-3460914-1307076157 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460914-1307076157.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 90154dd1b8a90675a35ad37cbef52f77 RANDOM SEED=1965950093 node146.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.830 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.66 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.830 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.830 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.75 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.830 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.86 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.830 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.75 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.830 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.830 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.830 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: 32951124 kB MemFree: 24563224 kB Buffers: 74756 kB Cached: 197704 kB SwapCached: 60044 kB Active: 916744 kB Inactive: 7229832 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24563224 kB SwapTotal: 67111528 kB SwapFree: 46970528 kB Dirty: 4280 kB Writeback: 12 kB AnonPages: 7825140 kB Mapped: 17276 kB Slab: 72460 kB PageTables: 99196 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 161435744 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= 73720 MiB End job on node146 at 2011-06-03 07:12:39