Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.31 | 1800.27 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb |
MD5SUM | fad34197fa8b5ebd519d12750a352ad5 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 840 |
Best CPU time to get the best result obtained on this benchmark | 1800.23 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 480 |
Optimality of the best value was proved | NO |
Number of variables | 10000 |
Total number of constraints | 656900 |
Number of constraints which are clauses | 656900 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 10000 |
Biggest coefficient in the objective function | 99 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 495457 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 99 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 495457 |
Number of bits of the biggest sum of numbers | 19 |
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-3460850-1307078034.opb. 0.00/0.00 c Instance file HOME/instance-3460850-1307078034.opb 0.00/0.00 c File size is 17233664 bytes. 1.10/1.15 c Highest Coefficient sum: 101 1.10/1.15 c ============================[ Problem Statistics ]============================= 1.10/1.15 c | | 1.10/1.15 c | Parsing time: 1.13 s | 1.10/1.15 c | Number Variables: 10000 | 1.10/1.15 c | Number Clauses: 656900 | 1.10/1.15 c | Number Cardinality: 0 | 1.10/1.15 c | Number PB Constraints: 0 | 1.39/1.44 c ============================[ Search Statistics ]============================== 1.39/1.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.44 c =============================================================================== 1.39/1.44 c | 0 | 10000 656900 1333400 | 218966 0 -nan | 0.000 % | 7.70/7.75 c core #1 7.70/7.75 c 7.70/7.75 c 7.70/7.75 c Core size: 101 Core Weight: 1 Total Weight: 1 7.70/7.75 c Current CPU time: 1.55376 s 7.70/7.75 c 7.70/7.75 c core #2 7.70/7.75 c 7.70/7.75 c 7.70/7.75 c Core size: 101 Core Weight: 2 Total Weight: 3 7.70/7.75 c Current CPU time: 1.69574 s 7.70/7.75 c 7.70/7.75 c core #3 7.70/7.75 c 7.70/7.75 c 7.70/7.75 c Core size: 101 Core Weight: 2 Total Weight: 5 7.70/7.75 c Current CPU time: 1.84472 s 7.70/7.75 c 7.70/7.75 c core #4 7.70/7.75 c 7.70/7.75 c 7.70/7.75 c Core size: 101 Core Weight: 1 Total Weight: 6 7.70/7.75 c Current CPU time: 1.9867 s 7.70/7.75 c 7.70/7.75 c core #5 7.70/7.75 c 7.70/7.75 c 7.70/7.75 c Core size: 101 Core Weight: 1 Total Weight: 7 7.70/7.75 c Current CPU time: 2.13567 s 7.70/7.75 c 7.70/7.75 c core #6 7.70/7.75 c 7.70/7.75 c 7.70/7.75 c Core size: 101 Core Weight: 1 Total Weight: 8 7.70/7.75 c Current CPU time: 2.27565 s 7.70/7.75 c 7.70/7.75 c core #7 7.70/7.75 c 7.70/7.75 c 7.70/7.75 c Core size: 201 Core Weight: 1 Total Weight: 9 7.70/7.75 c Current CPU time: 2.42863 s 7.70/7.75 c 7.70/7.75 c core #8 7.70/7.75 c 7.70/7.75 c 7.70/7.75 c Core size: 101 Core Weight: 1 Total Weight: 10 7.70/7.75 c Current CPU time: 2.56861 s 7.70/7.75 c 7.70/7.75 c core #9 7.70/7.75 c 7.70/7.75 c 7.70/7.75 c Core size: 101 Core Weight: 1 Total Weight: 11 7.70/7.75 c Current CPU time: 2.71759 s 7.70/7.75 c 7.70/7.75 c core #10 7.70/7.75 c 7.70/7.75 c 7.70/7.75 c Core size: 101 Core Weight: 1 Total Weight: 12 7.70/7.75 c Current CPU time: 2.85956 s 7.70/7.75 c 7.70/7.75 c core #11 7.70/7.75 c 7.70/7.75 c 7.70/7.75 c Core size: 101 Core Weight: 1 Total Weight: 13 7.70/7.75 c Current CPU time: 3.00954 s 7.70/7.75 c 7.70/7.75 c core #12 7.70/7.75 c 7.70/7.75 c 7.70/7.75 c Core size: 101 Core Weight: 1 Total Weight: 14 7.70/7.75 c Current CPU time: 3.15052 s 7.70/7.75 c 7.70/7.75 c core #13 7.70/7.75 c 7.70/7.75 c 7.70/7.75 c Core size: 201 Core Weight: 1 Total Weight: 15 7.70/7.75 c Current CPU time: 3.2995 s 7.70/7.75 c 7.70/7.75 c core #14 7.70/7.75 c 7.70/7.75 c 7.70/7.75 c Core size: 101 Core Weight: 1 Total Weight: 16 7.70/7.75 c Current CPU time: 3.43948 s 7.70/7.75 c 7.70/7.75 c core #15 7.70/7.75 c 7.70/7.75 c 7.70/7.75 c Core size: 101 Core Weight: 1 Total Weight: 17 7.70/7.75 c Current CPU time: 3.58845 s 7.70/7.75 c 7.70/7.75 c core #16 7.70/7.75 c 7.70/7.75 c 7.70/7.75 c Core size: 101 Core Weight: 2 Total Weight: 19 7.70/7.75 c Current CPU time: 3.73043 s 7.70/7.75 c 7.70/7.75 c core #17 7.70/7.75 c 7.70/7.75 c 7.70/7.75 c Core size: 101 Core Weight: 1 Total Weight: 20 7.70/7.75 c Current CPU time: 3.87941 s 7.70/7.75 c 7.70/7.75 c core #18 7.70/7.75 c 7.70/7.75 c 7.70/7.75 c Core size: 101 Core Weight: 1 Total Weight: 21 7.70/7.75 c Current CPU time: 4.02139 s 7.70/7.75 c 7.70/7.75 c core #19 7.70/7.75 c 7.70/7.75 c 7.70/7.75 c Core size: 101 Core Weight: 1 Total Weight: 22 7.70/7.75 c Current CPU time: 4.17136 s 7.70/7.75 c 7.70/7.75 c core #20 7.70/7.75 c 7.70/7.75 c 7.70/7.75 c Core size: 101 Core Weight: 1 Total Weight: 23 7.70/7.75 c Current CPU time: 4.31334 s 7.70/7.75 c 7.70/7.75 c core #21 7.70/7.75 c 7.70/7.75 c 7.70/7.75 c Core size: 101 Core Weight: 1 Total Weight: 24 7.70/7.75 c Current CPU time: 4.46232 s 7.70/7.75 c 7.70/7.75 c core #22 7.70/7.76 c 7.70/7.76 c 7.70/7.76 c Core size: 101 Core Weight: 1 Total Weight: 25 7.70/7.76 c Current CPU time: 4.6053 s 7.70/7.76 c 7.70/7.76 c core #23 7.70/7.76 c 7.70/7.76 c 7.70/7.76 c Core size: 101 Core Weight: 1 Total Weight: 26 7.70/7.76 c Current CPU time: 4.75528 s 7.70/7.76 c 7.70/7.76 c core #24 7.70/7.76 c 7.70/7.76 c 7.70/7.76 c Core size: 101 Core Weight: 1 Total Weight: 27 7.70/7.76 c Current CPU time: 4.89825 s 7.70/7.76 c 7.70/7.76 c core #25 7.70/7.76 c 7.70/7.76 c 7.70/7.76 c Core size: 101 Core Weight: 1 Total Weight: 28 7.70/7.76 c Current CPU time: 5.04823 s 7.70/7.76 c 7.70/7.76 c core #26 7.70/7.76 c 7.70/7.76 c 7.70/7.76 c Core size: 101 Core Weight: 1 Total Weight: 29 7.70/7.76 c Current CPU time: 5.19121 s 7.70/7.76 c 7.70/7.76 c core #27 7.70/7.76 c 7.70/7.76 c 7.70/7.76 c Core size: 101 Core Weight: 1 Total Weight: 30 7.70/7.76 c Current CPU time: 5.34219 s 7.70/7.76 c 7.70/7.76 c core #28 7.70/7.76 c 7.70/7.76 c 7.70/7.76 c Core size: 101 Core Weight: 2 Total Weight: 32 7.70/7.76 c Current CPU time: 5.48517 s 7.70/7.76 c 7.70/7.76 c core #29 7.70/7.76 c 7.70/7.76 c 7.70/7.76 c Core size: 101 Core Weight: 1 Total Weight: 33 7.70/7.76 c Current CPU time: 5.63614 s 7.70/7.76 c 7.70/7.76 c core #30 7.70/7.76 c 7.70/7.76 c 7.70/7.76 c Core size: 101 Core Weight: 1 Total Weight: 34 7.70/7.76 c Current CPU time: 5.77912 s 7.70/7.76 c 7.70/7.76 c core #31 7.70/7.76 c 7.70/7.76 c 7.70/7.76 c Core size: 101 Core Weight: 1 Total Weight: 35 7.70/7.76 c Current CPU time: 5.9311 s 7.70/7.76 c 7.70/7.76 c core #32 7.70/7.76 c 7.70/7.76 c 7.70/7.76 c Core size: 101 Core Weight: 1 Total Weight: 36 7.70/7.76 c Current CPU time: 6.07408 s 7.70/7.76 c 7.70/7.76 c core #33 7.70/7.76 c 7.70/7.76 c 7.70/7.76 c Core size: 101 Core Weight: 3 Total Weight: 39 7.70/7.76 c Current CPU time: 6.22405 s 7.70/7.76 c 7.70/7.76 c core #34 7.70/7.76 c 7.70/7.76 c 7.70/7.76 c Core size: 101 Core Weight: 1 Total Weight: 40 7.70/7.76 c Current CPU time: 6.36703 s 7.70/7.76 c 7.70/7.76 c core #35 7.70/7.76 c 7.70/7.76 c 7.70/7.76 c Core size: 101 Core Weight: 1 Total Weight: 41 7.70/7.76 c Current CPU time: 6.51901 s 7.70/7.76 c 7.70/7.76 c core #36 7.70/7.76 c 7.70/7.76 c 7.70/7.76 c Core size: 101 Core Weight: 1 Total Weight: 42 7.70/7.76 c Current CPU time: 6.66499 s 7.70/7.76 c 7.70/7.76 c core #37 7.70/7.76 c 7.70/7.76 c 7.70/7.76 c Core size: 201 Core Weight: 2 Total Weight: 44 7.70/7.76 c Current CPU time: 6.81496 s 7.70/7.76 c 7.70/7.76 c core #38 7.70/7.76 c 7.70/7.76 c 7.70/7.76 c Core size: 101 Core Weight: 1 Total Weight: 45 7.70/7.76 c Current CPU time: 6.95794 s 7.70/7.76 c 7.70/7.76 c core #39 7.70/7.76 c 7.70/7.76 c 7.70/7.76 c Core size: 101 Core Weight: 1 Total Weight: 46 7.70/7.76 c Current CPU time: 7.11192 s 7.70/7.76 c 7.70/7.76 c core #40 7.70/7.76 c 7.70/7.76 c 7.70/7.76 c Core size: 401 Core Weight: 1 Total Weight: 47 7.70/7.76 c Current CPU time: 7.2569 s 7.70/7.76 c 7.70/7.76 c core #41 7.70/7.76 c 7.70/7.76 c 7.70/7.76 c Core size: 101 Core Weight: 3 Total Weight: 50 7.70/7.76 c Current CPU time: 7.40687 s 7.70/7.76 c 7.70/7.76 c core #42 7.70/7.76 c 7.70/7.76 c 7.70/7.76 c Core size: 101 Core Weight: 1 Total Weight: 51 7.70/7.76 c Current CPU time: 7.55085 s 7.70/7.76 c 7.70/7.76 c core #43 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 52 13.89/13.92 c Current CPU time: 7.70383 s 13.89/13.92 c 13.89/13.92 c core #44 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 53 13.89/13.92 c Current CPU time: 7.84981 s 13.89/13.92 c 13.89/13.92 c core #45 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 54 13.89/13.92 c Current CPU time: 8.00078 s 13.89/13.92 c 13.89/13.92 c core #46 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 201 Core Weight: 1 Total Weight: 55 13.89/13.92 c Current CPU time: 8.14676 s 13.89/13.92 c 13.89/13.92 c core #47 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 56 13.89/13.92 c Current CPU time: 8.29874 s 13.89/13.92 c 13.89/13.92 c core #48 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 57 13.89/13.92 c Current CPU time: 8.44372 s 13.89/13.92 c 13.89/13.92 c core #49 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 58 13.89/13.92 c Current CPU time: 8.59469 s 13.89/13.92 c 13.89/13.92 c core #50 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 201 Core Weight: 2 Total Weight: 60 13.89/13.92 c Current CPU time: 8.74067 s 13.89/13.92 c 13.89/13.92 c core #51 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 61 13.89/13.92 c Current CPU time: 8.89465 s 13.89/13.92 c 13.89/13.92 c core #52 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 62 13.89/13.92 c Current CPU time: 9.04063 s 13.89/13.92 c 13.89/13.92 c core #53 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 63 13.89/13.92 c Current CPU time: 9.1926 s 13.89/13.92 c 13.89/13.92 c core #54 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 64 13.89/13.92 c Current CPU time: 9.33658 s 13.89/13.92 c 13.89/13.92 c core #55 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 65 13.89/13.92 c Current CPU time: 9.49056 s 13.89/13.92 c 13.89/13.92 c core #56 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 66 13.89/13.92 c Current CPU time: 9.63654 s 13.89/13.92 c 13.89/13.92 c core #57 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 67 13.89/13.92 c Current CPU time: 9.78851 s 13.89/13.92 c 13.89/13.92 c core #58 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 2 Total Weight: 69 13.89/13.92 c Current CPU time: 9.93349 s 13.89/13.92 c 13.89/13.92 c core #59 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 70 13.89/13.92 c Current CPU time: 10.0875 s 13.89/13.92 c 13.89/13.92 c core #60 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 71 13.89/13.92 c Current CPU time: 10.2324 s 13.89/13.92 c 13.89/13.92 c core #61 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 72 13.89/13.92 c Current CPU time: 10.3844 s 13.89/13.92 c 13.89/13.92 c core #62 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 201 Core Weight: 2 Total Weight: 74 13.89/13.92 c Current CPU time: 10.5304 s 13.89/13.92 c 13.89/13.92 c core #63 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 201 Core Weight: 1 Total Weight: 75 13.89/13.92 c Current CPU time: 10.6834 s 13.89/13.92 c 13.89/13.92 c core #64 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 76 13.89/13.92 c Current CPU time: 10.8274 s 13.89/13.92 c 13.89/13.92 c core #65 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 77 13.89/13.92 c Current CPU time: 10.9793 s 13.89/13.92 c 13.89/13.92 c core #66 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 78 13.89/13.92 c Current CPU time: 11.1253 s 13.89/13.92 c 13.89/13.92 c core #67 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 79 13.89/13.92 c Current CPU time: 11.2803 s 13.89/13.92 c 13.89/13.92 c core #68 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 80 13.89/13.92 c Current CPU time: 11.4263 s 13.89/13.92 c 13.89/13.92 c core #69 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 81 13.89/13.92 c Current CPU time: 11.5802 s 13.89/13.92 c 13.89/13.92 c core #70 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 82 13.89/13.92 c Current CPU time: 11.7282 s 13.89/13.92 c 13.89/13.92 c core #71 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 83 13.89/13.92 c Current CPU time: 11.8822 s 13.89/13.92 c 13.89/13.92 c core #72 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 201 Core Weight: 1 Total Weight: 84 13.89/13.92 c Current CPU time: 12.0292 s 13.89/13.92 c 13.89/13.92 c core #73 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 85 13.89/13.92 c Current CPU time: 12.1811 s 13.89/13.92 c 13.89/13.92 c core #74 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 86 13.89/13.92 c Current CPU time: 12.3271 s 13.89/13.92 c 13.89/13.92 c core #75 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 87 13.89/13.92 c Current CPU time: 12.4821 s 13.89/13.92 c 13.89/13.92 c core #76 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 88 13.89/13.92 c Current CPU time: 12.6291 s 13.89/13.92 c 13.89/13.92 c core #77 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 89 13.89/13.92 c Current CPU time: 12.7831 s 13.89/13.92 c 13.89/13.92 c core #78 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 90 13.89/13.92 c Current CPU time: 12.93 s 13.89/13.92 c 13.89/13.92 c core #79 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 91 13.89/13.92 c Current CPU time: 13.085 s 13.89/13.92 c 13.89/13.92 c core #80 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 92 13.89/13.92 c Current CPU time: 13.232 s 13.89/13.92 c 13.89/13.92 c core #81 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 93 13.89/13.92 c Current CPU time: 13.386 s 13.89/13.92 c 13.89/13.92 c core #82 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 2601 Core Weight: 1 Total Weight: 94 13.89/13.92 c Current CPU time: 13.5539 s 13.89/13.92 c 13.89/13.92 c core #83 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 95 13.89/13.92 c Current CPU time: 13.7159 s 13.89/13.92 c 13.89/13.92 c core #84 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 96 13.89/13.92 c Current CPU time: 13.8649 s 20.59/20.60 c 20.59/20.60 c core #85 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 97 20.59/20.60 c Current CPU time: 14.0219 s 20.59/20.60 c 20.59/20.60 c core #86 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 98 20.59/20.60 c Current CPU time: 14.1708 s 20.59/20.60 c 20.59/20.60 c core #87 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 99 20.59/20.60 c Current CPU time: 14.3278 s 20.59/20.60 c 20.59/20.60 c core #88 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 100 20.59/20.60 c Current CPU time: 14.4778 s 20.59/20.60 c 20.59/20.60 c core #89 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 3 Total Weight: 103 20.59/20.60 c Current CPU time: 14.6338 s 20.59/20.60 c 20.59/20.60 c core #90 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 201 Core Weight: 1 Total Weight: 104 20.59/20.60 c Current CPU time: 14.7838 s 20.59/20.60 c 20.59/20.60 c core #91 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 105 20.59/20.60 c Current CPU time: 14.9417 s 20.59/20.60 c 20.59/20.60 c core #92 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 106 20.59/20.60 c Current CPU time: 15.0917 s 20.59/20.60 c 20.59/20.60 c core #93 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 107 20.59/20.60 c Current CPU time: 15.2497 s 20.59/20.60 c 20.59/20.60 c core #94 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 108 20.59/20.60 c Current CPU time: 15.3997 s 20.59/20.60 c 20.59/20.60 c core #95 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 109 20.59/20.60 c Current CPU time: 15.5586 s 20.59/20.60 c 20.59/20.60 c core #96 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 110 20.59/20.60 c Current CPU time: 15.7096 s 20.59/20.60 c 20.59/20.60 c core #97 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 201 Core Weight: 1 Total Weight: 111 20.59/20.60 c Current CPU time: 15.8676 s 20.59/20.60 c 20.59/20.60 c core #98 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 112 20.59/20.60 c Current CPU time: 16.0166 s 20.59/20.60 c 20.59/20.60 c core #99 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 501 Core Weight: 1 Total Weight: 113 20.59/20.60 c Current CPU time: 16.1775 s 20.59/20.60 c 20.59/20.60 c core #100 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 114 20.59/20.60 c Current CPU time: 16.3275 s 20.59/20.60 c 20.59/20.60 c core #101 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 115 20.59/20.60 c Current CPU time: 16.4865 s 20.59/20.60 c 20.59/20.60 c core #102 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 1801 Core Weight: 1 Total Weight: 116 20.59/20.60 c Current CPU time: 16.6485 s 20.59/20.60 c 20.59/20.60 c core #103 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 117 20.59/20.60 c Current CPU time: 16.8134 s 20.59/20.60 c 20.59/20.60 c core #104 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 118 20.59/20.60 c Current CPU time: 16.9644 s 20.59/20.60 c 20.59/20.60 c core #105 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 119 20.59/20.60 c Current CPU time: 17.1244 s 20.59/20.60 c 20.59/20.60 c core #106 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 120 20.59/20.60 c Current CPU time: 17.2774 s 20.59/20.60 c 20.59/20.60 c core #107 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 121 20.59/20.60 c Current CPU time: 17.4373 s 20.59/20.60 c 20.59/20.60 c core #108 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 122 20.59/20.60 c Current CPU time: 17.5893 s 20.59/20.60 c 20.59/20.60 c core #109 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 123 20.59/20.60 c Current CPU time: 17.7493 s 20.59/20.60 c 20.59/20.60 c core #110 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 124 20.59/20.60 c Current CPU time: 17.9053 s 20.59/20.60 c 20.59/20.60 c core #111 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 125 20.59/20.60 c Current CPU time: 18.0653 s 20.59/20.60 c 20.59/20.60 c core #112 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 126 20.59/20.60 c Current CPU time: 18.2182 s 20.59/20.60 c 20.59/20.60 c core #113 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 127 20.59/20.60 c Current CPU time: 18.3782 s 20.59/20.60 c 20.59/20.60 c core #114 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 128 20.59/20.60 c Current CPU time: 18.5322 s 20.59/20.60 c 20.59/20.60 c core #115 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 129 20.59/20.60 c Current CPU time: 18.6942 s 20.59/20.60 c 20.59/20.60 c core #116 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 1965 Core Weight: 1 Total Weight: 130 20.59/20.60 c Current CPU time: 18.8581 s 20.59/20.60 c 20.59/20.60 c core #117 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 131 20.59/20.60 c Current CPU time: 19.0231 s 20.59/20.60 c 20.59/20.60 c core #118 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 1991 Core Weight: 1 Total Weight: 132 20.59/20.60 c Current CPU time: 19.1911 s 20.59/20.60 c 20.59/20.60 c core #119 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 133 20.59/20.60 c Current CPU time: 19.3641 s 20.59/20.60 c 20.59/20.60 c core #120 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 201 Core Weight: 1 Total Weight: 134 20.59/20.60 c Current CPU time: 19.521 s 20.59/20.60 c 20.59/20.60 c core #121 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 398 Core Weight: 1 Total Weight: 135 20.59/20.60 c Current CPU time: 19.687 s 20.59/20.60 c 20.59/20.60 c core #122 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 2525 Core Weight: 1 Total Weight: 136 20.59/20.60 c Current CPU time: 19.864 s 20.59/20.60 c 20.59/20.60 c core #123 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 1361 Core Weight: 1 Total Weight: 137 20.59/20.60 c Current CPU time: 20.04 s 20.59/20.60 c 20.59/20.60 c core #124 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 101 Core Weight: 1 Total Weight: 138 20.59/20.60 c Current CPU time: 20.2079 s 20.59/20.60 c 20.59/20.60 c core #125 20.59/20.60 c 20.59/20.60 c 20.59/20.60 c Core size: 893 Core Weight: 1 Total Weight: 139 20.59/20.60 c Current CPU time: 20.3789 s 20.59/20.60 c 21.39/21.45 c core #126 21.39/21.45 c 21.39/21.45 c 21.39/21.45 c Core size: 101 Core Weight: 2 Total Weight: 141 21.39/21.45 c Current CPU time: 20.5429 s 21.39/21.45 c 21.39/21.45 c core #127 21.39/21.45 c 21.39/21.45 c 21.39/21.45 c Core size: 101 Core Weight: 5 Total Weight: 146 21.39/21.45 c Current CPU time: 20.7099 s 21.39/21.45 c 21.39/21.45 c core #128 21.39/21.45 c 21.39/21.45 c 21.39/21.45 c Core size: 1909 Core Weight: 1 Total Weight: 147 21.39/21.45 c Current CPU time: 20.8768 s 21.39/21.45 c 21.39/21.45 c core #129 21.39/21.45 c 21.39/21.45 c 21.39/21.45 c Core size: 301 Core Weight: 1 Total Weight: 148 21.39/21.45 c Current CPU time: 21.0508 s 21.39/21.45 c 21.39/21.45 c core #130 21.39/21.45 c 21.39/21.45 c 21.39/21.45 c Core size: 301 Core Weight: 1 Total Weight: 149 21.39/21.45 c Current CPU time: 21.2178 s 21.39/21.45 c 21.39/21.45 c ============================[ Search Statistics ]============================== 21.39/21.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.39/21.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.39/21.45 c =============================================================================== 21.39/21.45 c | 0 | 29655 695916 53255 | 231972 0 -nan | 0.000 % | 21.39/21.45 c =============================================================================== 21.59/21.63 c core #131 21.59/21.63 c 21.59/21.63 c 21.59/21.63 c Core size: 700 Core Weight: 1 Total Weight: 150 21.59/21.63 c Current CPU time: 21.3917 s 21.59/21.63 c 21.59/21.63 c ============================[ Search Statistics ]============================== 21.59/21.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.59/21.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.59/21.63 c =============================================================================== 21.59/21.63 c | 0 | 30352 696583 54069 | 232194 0 -nan | 0.000 % | 21.59/21.63 c =============================================================================== 21.79/21.81 c core #132 21.79/21.81 c 21.79/21.81 c 21.79/21.81 c Core size: 973 Core Weight: 1 Total Weight: 151 21.79/21.81 c Current CPU time: 21.5727 s 21.79/21.81 c 21.79/21.81 c ============================[ Search Statistics ]============================== 21.79/21.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.79/21.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.79/21.81 c =============================================================================== 21.79/21.81 c | 0 | 31330 697520 55321 | 232506 0 -nan | 0.000 % | 21.79/21.82 c =============================================================================== 21.90/21.99 c core #133 21.90/21.99 c 21.90/21.99 c 21.90/21.99 c Core size: 990 Core Weight: 1 Total Weight: 152 21.90/21.99 c Current CPU time: 21.7567 s 21.90/21.99 c 21.90/21.99 c ============================[ Search Statistics ]============================== 21.90/21.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.90/21.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.90/21.99 c =============================================================================== 21.90/21.99 c | 0 | 32427 698451 56941 | 232817 0 -nan | 0.000 % | 22.00/22.02 c =============================================================================== 22.19/22.21 c core #134 22.19/22.21 c 22.19/22.21 c 22.19/22.21 c Core size: 1930 Core Weight: 1 Total Weight: 153 22.19/22.21 c Current CPU time: 21.9607 s 22.19/22.21 c 22.19/22.21 c ============================[ Search Statistics ]============================== 22.19/22.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.19/22.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.19/22.21 c =============================================================================== 22.19/22.21 c | 0 | 34384 700254 59733 | 233418 0 -nan | 0.000 % | 22.29/22.33 c =============================================================================== 22.50/22.51 c core #135 22.50/22.51 c 22.50/22.51 c 22.50/22.51 c Core size: 3662 Core Weight: 1 Total Weight: 154 22.50/22.51 c Current CPU time: 22.2686 s 22.50/22.51 c 22.50/22.51 c ============================[ Search Statistics ]============================== 22.50/22.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.50/22.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.50/22.51 c =============================================================================== 22.50/22.51 c | 0 | 38061 703752 64253 | 234584 0 -nan | 0.000 % | 22.50/22.55 c | 104 | 38061 703752 64253 | 258042 104 509 | 19.932 % | 22.59/22.61 c =============================================================================== 22.69/22.80 c core #136 22.69/22.80 c 22.69/22.80 c 22.69/22.80 c Core size: 2352 Core Weight: 1 Total Weight: 155 22.69/22.80 c Current CPU time: 22.5386 s 22.69/22.80 c 22.69/22.80 c ============================[ Search Statistics ]============================== 22.69/22.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.69/22.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.69/22.80 c =============================================================================== 22.69/22.80 c | 0 | 40425 705985 67286 | 235328 0 -nan | 0.000 % | 22.79/22.84 c | 100 | 40425 705985 67286 | 258861 100 818 | 18.951 % | 22.89/22.91 c | 251 | 40424 705985 67286 | 284747 251 1648 | 18.953 % | 23.39/23.42 c =============================================================================== 23.59/23.62 c core #137 23.59/23.62 c 23.59/23.62 c 23.59/23.62 c Core size: 6197 Core Weight: 1 Total Weight: 156 23.59/23.62 c Current CPU time: 23.3534 s 23.59/23.62 c 23.59/23.62 c ============================[ Search Statistics ]============================== 23.59/23.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.59/23.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.59/23.62 c =============================================================================== 23.59/23.62 c | 0 | 46687 711781 75719 | 237260 0 -nan | 0.000 % | 23.59/23.66 c | 101 | 46687 711781 75719 | 260986 101 705 | 16.734 % | 23.69/23.76 c | 252 | 46687 711781 75719 | 287085 252 863 | 16.734 % | 23.89/23.90 c | 477 | 46687 711781 75719 | 315793 477 839 | 16.734 % | 24.10/24.19 c | 817 | 46687 711781 75719 | 347372 817 1279 | 16.734 % | 24.69/24.77 c | 1324 | 46686 711781 75719 | 382110 1324 1898 | 16.736 % | 25.39/25.47 c | 2086 | 46686 711781 75719 | 420321 2086 2041 | 16.736 % | 27.20/27.20 c =============================================================================== 27.41/27.42 c core #138 27.41/27.42 c 27.41/27.42 c 27.41/27.42 c Core size: 10206 Core Weight: 1 Total Weight: 157 27.41/27.42 c Current CPU time: 27.1229 s 27.41/27.42 c 27.41/27.42 c ============================[ Search Statistics ]============================== 27.41/27.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.41/27.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.41/27.42 c =============================================================================== 27.41/27.42 c | 0 | 56918 720663 89791 | 240221 0 -nan | 0.000 % | 27.41/27.49 c | 101 | 56918 720663 89791 | 264243 101 1452 | 14.041 % | 27.69/27.70 c | 251 | 56918 720663 89791 | 290667 251 1650 | 14.041 % | 27.99/28.07 c | 478 | 56918 720663 89791 | 319734 478 1954 | 14.041 % | 28.39/28.43 c | 816 | 56918 720663 89791 | 351707 816 1497 | 14.041 % | 28.99/29.00 c | 1322 | 56918 720663 89791 | 386878 1322 1190 | 14.041 % | 29.99/30.03 c | 2081 | 56918 720663 89791 | 425566 2081 1199 | 14.041 % | 31.19/31.27 c | 3221 | 56918 720663 89791 | 468122 3221 1109 | 14.041 % | 33.10/33.11 c | 4929 | 56916 720663 89791 | 514935 4929 1107 | 14.044 % | 36.20/36.26 c | 7491 | 56686 720663 89791 | 566428 7491 1334 | 14.391 % | 41.19/41.27 c =============================================================================== 41.49/41.51 c core #139 41.49/41.51 c 41.49/41.51 c 41.49/41.51 c Core size: 9500 Core Weight: 1 Total Weight: 158 41.49/41.51 c Current CPU time: 41.1837 s 41.49/41.51 c 41.49/41.51 c ============================[ Search Statistics ]============================== 41.49/41.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 41.49/41.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 41.49/41.51 c =============================================================================== 41.49/41.51 c | 0 | 66491 728721 103586 | 242907 0 -nan | 0.000 % | 41.49/41.59 c | 101 | 66491 728721 103586 | 267197 101 1071 | 12.170 % | 41.70/41.74 c | 252 | 66491 728721 103586 | 293917 252 592 | 12.170 % | 41.99/42.07 c | 478 | 66491 728721 103586 | 323309 478 523 | 12.170 % | 42.59/42.68 c | 816 | 66491 728721 103586 | 355640 816 707 | 12.170 % | 43.20/43.21 c | 1325 | 66491 728721 103586 | 391204 1325 781 | 12.170 % | 44.10/44.12 c | 2085 | 66491 728721 103586 | 430324 2085 779 | 12.170 % | 45.49/45.56 c | 3224 | 66491 728721 103586 | 473357 3224 761 | 12.170 % | 47.59/47.60 c | 4933 | 66491 728721 103586 | 520692 4933 1085 | 12.170 % | 51.19/51.22 c | 7496 | 66491 728721 103586 | 572761 7496 1251 | 12.170 % | 56.89/56.96 c | 11344 | 66491 728721 103586 | 630038 11344 1253 | 12.170 % | 66.20/66.28 c | 17110 | 66491 728721 103586 | 693042 17110 1350 | 12.170 % | 84.49/84.57 c | 25762 | 66490 728721 103586 | 762346 25762 2074 | 12.171 % | 124.31/124.35 c | 38736 | 66490 728721 103586 | 838580 38736 2877 | 12.171 % | 170.79/170.87 c | 58197 | 66490 728721 103586 | 922438 58197 3266 | 12.171 % | 256.40/256.40 c | 87391 | 66487 728721 103586 | 1014682 87391 3574 | 12.175 % | 423.52/423.51 c | 131184 | 66487 728721 103586 | 1116151 131184 4151 | 12.175 % | 720.81/720.84 c | 196868 | 66486 728721 103586 | 1227766 196868 4121 | 12.176 % | 1386.32/1386.33 c | 295397 | 66486 728721 103586 | 1350542 295397 4494 | 12.176 % |
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-3460850-1307078034/watcher-3460850-1307078034 -o /tmp/evaluation-result-3460850-1307078034/solver-3460850-1307078034 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460850-1307078034.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 2/386 26375 /proc/meminfo: memFree=23135904/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=21596 CPUtime=0.01 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 940 0 0 0 1 0 0 0 25 0 1 0 819406178 22114304 894 33554432000 4194304 5714214 140734740999488 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 5399 894 206 372 0 816 0 [startup+0.081885 s] /proc/loadavg: 2.00 2.00 2.00 2/386 26375 /proc/meminfo: memFree=23135904/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=25288 CPUtime=0.07 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 2096 0 0 0 7 0 0 0 25 0 1 0 819406178 25894912 2017 33554432000 4194304 5714214 140734740999488 18446744073709551615 4228419 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 6322 2018 457 372 0 1739 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 25288 [startup+0.100837 s] /proc/loadavg: 2.00 2.00 2.00 2/386 26375 /proc/meminfo: memFree=23135904/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=25948 CPUtime=0.09 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 2353 0 0 0 9 0 0 0 25 0 1 0 819406178 26570752 2274 33554432000 4194304 5714214 140734740999488 18446744073709551615 4222912 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 6487 2275 528 372 0 1904 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25948 [startup+0.300848 s] /proc/loadavg: 2.00 2.00 2.00 2/386 26375 /proc/meminfo: memFree=23135904/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=36040 CPUtime=0.29 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 5683 0 0 0 29 0 0 0 25 0 1 0 819406178 36904960 5410 33554432000 4194304 5714214 140734740999488 18446744073709551615 4236082 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 9010 5410 1261 372 0 4427 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36040 [startup+0.700763 s] /proc/loadavg: 2.00 2.00 2.00 2/386 26375 /proc/meminfo: memFree=23135904/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=54796 CPUtime=0.69 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 12018 0 0 0 69 0 0 0 25 0 1 0 819406178 56111104 11488 33554432000 4194304 5714214 140734740999488 18446744073709551615 4228183 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 13699 11489 2732 372 0 9116 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 54796 [startup+1.50064 s] /proc/loadavg: 2.00 2.00 2.00 3/387 26377 /proc/meminfo: memFree=23086544/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=160520 CPUtime=1.49 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 44559 0 0 0 145 4 0 0 18 0 1 0 819406178 164372480 39308 33554432000 4194304 5714214 140734740999488 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 40163 39314 172 372 0 39788 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 160520 [startup+3.10034 s] /proc/loadavg: 2.00 2.00 2.00 3/387 26377 /proc/meminfo: memFree=22962172/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=178336 CPUtime=3.09 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 50960 0 0 0 304 5 0 0 20 0 1 0 819406178 182616064 42964 33554432000 4194304 5714214 140734740999488 18446744073709551615 4355633 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 44584 42964 175 372 0 44209 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 178336 [startup+6.30078 s] /proc/loadavg: 2.00 2.00 2.00 3/387 26377 /proc/meminfo: memFree=22960768/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=178336 CPUtime=6.29 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 50968 0 0 0 624 5 0 0 25 0 1 0 819406178 182616064 42972 33554432000 4194304 5714214 140734740999488 18446744073709551615 4336526 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 44584 42972 175 372 0 44209 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 178336 [startup+12.7006 s] /proc/loadavg: 2.00 2.00 2.00 3/387 26377 /proc/meminfo: memFree=22956820/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=178336 CPUtime=12.69 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 50983 0 0 0 1264 5 0 0 25 0 1 0 819406178 182616064 42987 33554432000 4194304 5714214 140734740999488 18446744073709551615 4964892 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 44584 42987 175 372 0 44209 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 178336 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/387 26377 /proc/meminfo: memFree=22931768/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=198144 CPUtime=25.49 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 62411 0 0 0 2541 8 0 0 25 0 1 0 819406178 202899456 47951 33554432000 4194304 5714214 140734740999488 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 49536 47951 180 372 0 49161 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 198144 [startup+51.1008 s] /proc/loadavg: 2.00 2.00 2.00 3/387 26378 /proc/meminfo: memFree=22844540/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=278412 CPUtime=51.09 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 81951 0 0 0 5095 14 0 0 25 0 1 0 819406178 285093888 67491 33554432000 4194304 5714214 140734740999488 18446744073709551615 4311894 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 69603 67491 180 372 0 69228 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 278412 [startup+102.315 s] /proc/loadavg: 2.09 2.03 2.01 3/387 26407 /proc/meminfo: memFree=23287152/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=479104 CPUtime=102.31 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 132800 0 0 0 10205 26 0 0 25 0 1 0 819406178 490602496 118340 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 119776 118340 180 372 0 119401 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 479104 [startup+162.301 s] /proc/loadavg: 2.03 2.02 2.00 3/387 26409 /proc/meminfo: memFree=22908936/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=849368 CPUtime=162.29 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 225381 0 0 0 16188 41 0 0 25 0 1 0 819406178 869752832 210921 33554432000 4194304 5714214 140734740999488 18446744073709551615 4311873 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 212342 210921 180 372 0 211967 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 849368 [startup+222.3 s] /proc/loadavg: 2.01 2.02 2.00 3/387 26410 /proc/meminfo: memFree=22512432/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=1209492 CPUtime=222.29 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 315359 0 0 0 22176 53 0 0 25 0 1 0 819406178 1238519808 300899 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 302373 300899 180 372 0 301998 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 1209492 [startup+282.301 s] /proc/loadavg: 2.00 2.01 2.00 3/387 26412 /proc/meminfo: memFree=22134800/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=1551804 CPUtime=282.3 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 400827 0 0 0 28163 67 0 0 25 0 1 0 819406178 1589047296 386367 33554432000 4194304 5714214 140734740999488 18446744073709551615 4322971 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 387951 386367 180 372 0 387576 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 1551804 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/387 26414 /proc/meminfo: memFree=21800200/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=1880840 CPUtime=342.3 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 483110 0 0 0 34149 81 0 0 25 0 1 0 819406178 1925980160 468650 33554432000 4194304 5714214 140734740999488 18446744073709551615 4311911 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 470210 468650 180 372 0 469835 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 1880840 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/387 26415 /proc/meminfo: memFree=21482952/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=2200924 CPUtime=402.3 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 563139 0 0 0 40135 95 0 0 25 0 1 0 819406178 2253746176 548679 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319915 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 550231 548679 180 372 0 549856 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 2200924 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/387 26417 /proc/meminfo: memFree=21172644/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=2458316 CPUtime=462.3 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 627372 0 0 0 46122 108 0 0 25 0 1 0 819406178 2517315584 612912 33554432000 4194304 5714214 140734740999488 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 614579 612912 180 372 0 614204 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 2458316 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/387 26418 /proc/meminfo: memFree=20906600/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=2666584 CPUtime=522.3 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 679439 0 0 0 52112 118 0 0 25 0 1 0 819406178 2730582016 664979 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 666646 664979 180 372 0 666271 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 2666584 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/387 26420 /proc/meminfo: memFree=20662908/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=2885956 CPUtime=582.3 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 734308 0 0 0 58100 130 0 0 25 0 1 0 819406178 2955218944 719848 33554432000 4194304 5714214 140734740999488 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 721489 719848 180 372 0 721114 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 2885956 [startup+642.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.00 2.01 2.00 3/387 26428 /proc/meminfo: memFree=19450828/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=3921276 CPUtime=882.31 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 992870 0 0 0 88052 179 0 0 25 0 1 0 819406178 4015386624 978410 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 980319 978410 180 372 0 979944 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 3921276 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/387 26430 /proc/meminfo: memFree=19178480/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=4136944 CPUtime=942.31 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1046831 0 0 0 94044 187 0 0 25 0 1 0 819406178 4236230656 1032371 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 1034236 1032371 180 372 0 1033861 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 4136944 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/387 26431 /proc/meminfo: memFree=18947288/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=4331356 CPUtime=1002.31 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1095465 0 0 0 100035 196 0 0 25 0 1 0 819406178 4435308544 1081005 33554432000 4194304 5714214 140734740999488 18446744073709551615 4322844 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 1082839 1081005 180 372 0 1082464 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 4331356 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/387 26433 /proc/meminfo: memFree=18718204/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=4541044 CPUtime=1062.31 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1147855 0 0 0 106026 205 0 0 25 0 1 0 819406178 4650029056 1133395 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 1135261 1133395 180 372 0 1134886 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 4541044 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/387 26434 /proc/meminfo: memFree=18520756/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=4704032 CPUtime=1122.32 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1188644 0 0 0 112018 214 0 0 25 0 1 0 819406178 4816928768 1174184 33554432000 4194304 5714214 140734740999488 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 1176008 1174184 180 372 0 1175633 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 4704032 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/387 26436 /proc/meminfo: memFree=18342876/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=4878512 CPUtime=1182.32 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1232249 0 0 0 118009 223 0 0 25 0 1 0 819406178 4995596288 1217789 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 1219628 1217789 180 372 0 1219253 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 4878512 [startup+1242.3 s] /proc/loadavg: 2.06 2.03 2.01 3/387 26438 /proc/meminfo: memFree=18130932/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=5055660 CPUtime=1242.33 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1276496 0 0 0 124001 232 0 0 25 0 1 0 819406178 5176995840 1262036 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 1263915 1262036 180 372 0 1263540 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 5055660 [startup+1302.3 s] /proc/loadavg: 2.02 2.02 2.00 3/387 26439 /proc/meminfo: memFree=17944264/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=5205856 CPUtime=1302.34 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1314014 0 0 0 129997 237 0 0 25 0 1 0 819406178 5330796544 1299554 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 1301464 1299554 180 372 0 1301089 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 5205856 [startup+1362.3 s] /proc/loadavg: 2.01 2.01 2.00 3/387 26441 /proc/meminfo: memFree=17784868/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=5367852 CPUtime=1362.32 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1354427 0 0 0 135987 245 0 0 25 0 1 0 819406178 5496680448 1339967 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 1341963 1339967 180 372 0 1341588 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 5367852 [startup+1422.31 s] /proc/loadavg: 2.00 2.01 2.00 3/387 26442 /proc/meminfo: memFree=17625468/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=5519552 CPUtime=1422.34 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1392244 0 0 0 141984 250 0 0 25 0 1 0 819406178 5652021248 1377784 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 1379888 1377784 180 372 0 1379513 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 5519552 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/387 26444 /proc/meminfo: memFree=17418208/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=5697728 CPUtime=1482.32 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1436774 0 0 0 147972 260 0 0 25 0 1 0 819406178 5834473472 1422314 33554432000 4194304 5714214 140734740999488 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 1424432 1422314 180 372 0 1424057 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 5697728 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/387 26446 /proc/meminfo: memFree=17191748/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=5907236 CPUtime=1542.33 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1488823 0 0 0 153965 268 0 0 25 0 1 0 819406178 6049009664 1474363 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 1476809 1474363 180 372 0 1476434 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 5907236 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/387 26447 /proc/meminfo: memFree=16958824/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=6098820 CPUtime=1602.33 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1536720 0 0 0 159955 278 0 0 25 0 1 0 819406178 6245191680 1522260 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319266 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 1524705 1522260 180 372 0 1524330 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 6098820 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/387 26449 /proc/meminfo: memFree=16800660/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=6230940 CPUtime=1662.34 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1569689 0 0 0 165947 287 0 0 25 0 1 0 819406178 6380482560 1555229 33554432000 4194304 5714214 140734740999488 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 1557735 1555229 180 372 0 1557360 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 6230940 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/387 26450 /proc/meminfo: memFree=16602460/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=6405692 CPUtime=1722.33 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1613408 0 0 0 171936 297 0 0 25 0 1 0 819406178 6559428608 1598948 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 1601423 1598948 180 372 0 1601048 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 6405692 [startup+1782.3 s] /proc/loadavg: 2.09 2.03 2.01 3/387 26452 /proc/meminfo: memFree=16352796/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=6605060 CPUtime=1782.33 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1663295 0 0 0 177927 306 0 0 25 0 1 0 819406178 6763581440 1648835 33554432000 4194304 5714214 140734740999488 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 1651265 1648835 180 372 0 1650890 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 6605060 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.07 2.03 2.01 3/387 26452 /proc/meminfo: memFree=16307028/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=6647508 CPUtime=1800.05 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1673919 0 0 0 179696 309 0 0 25 0 1 0 819406178 6807048192 1659459 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26375/statm: 1661877 1659459 180 372 0 1661502 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 6647508 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.2 s] /proc/loadavg: 2.07 2.03 2.01 3/387 26452 /proc/meminfo: memFree=16307028/32951124 swapFree=49244120/67111528 [pid=26375] ppid=26373 vsize=0 CPUtime=1800.23 cores=0,2,4,6 /proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4203524 1673919 0 0 0 179696 327 0 0 25 0 1 0 819406178 0 0 33554432000 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0 /proc/26375/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.27 CPU time (s): 1800.31 CPU user time (s): 1796.97 CPU system time (s): 3.34549 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 6647508 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.97 system time used= 3.34549 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1673919 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= 1004 runsolver used 7.40987 second user time and 15.4197 second system time The end
Begin job on node101 at 2011-06-03 07:13:54 IDJOB=3460850 IDBENCH=1974 IDSOLVER=1953 FILE ID=node101/3460850-1307078034 RUNJOBID= node101-1307066208-24303 PBS_JOBID= 13497887 Free space on /tmp= 73932 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_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-3460850-1307078034/watcher-3460850-1307078034 -o /tmp/evaluation-result-3460850-1307078034/solver-3460850-1307078034 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460850-1307078034.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fad34197fa8b5ebd519d12750a352ad5 RANDOM SEED=2000707196 node101.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.841 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.68 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.841 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 : 5226.07 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.841 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.77 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.841 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.83 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.841 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.74 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.841 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.83 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.841 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.841 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23136200 kB Buffers: 222488 kB Cached: 472520 kB SwapCached: 27120 kB Active: 9119948 kB Inactive: 417756 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23136200 kB SwapTotal: 67111528 kB SwapFree: 49244120 kB Dirty: 20972 kB Writeback: 0 kB AnonPages: 8838040 kB Mapped: 18640 kB Slab: 134532 kB PageTables: 75996 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 79317760 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= 73928 MiB End job on node101 at 2011-06-03 07:43:56