Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.19 | 1800.16 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb |
MD5SUM | 3119db8d3d273f04fc4f3b1324a85224 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 944 |
Best CPU time to get the best result obtained on this benchmark | 1800.32 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 452 |
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 | 493167 |
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 | 493167 |
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-3460841-1307077500.opb. 0.00/0.00 c Instance file HOME/instance-3460841-1307077500.opb 0.00/0.00 c File size is 17233680 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.43 c ============================[ Search Statistics ]============================== 1.39/1.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.43 c =============================================================================== 1.39/1.43 c | 0 | 10000 656900 1333400 | 218966 0 -nan | 0.000 % | 7.71/7.76 c core #1 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 1 7.71/7.76 c Current CPU time: 1.55876 s 7.71/7.76 c 7.71/7.76 c core #2 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 2 7.71/7.76 c Current CPU time: 1.69974 s 7.71/7.76 c 7.71/7.76 c core #3 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 3 7.71/7.76 c Current CPU time: 1.84772 s 7.71/7.76 c 7.71/7.76 c core #4 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 3 Total Weight: 6 7.71/7.76 c Current CPU time: 1.9877 s 7.71/7.76 c 7.71/7.76 c core #5 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 7 7.71/7.76 c Current CPU time: 2.13567 s 7.71/7.76 c 7.71/7.76 c core #6 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 8 7.71/7.76 c Current CPU time: 2.27465 s 7.71/7.76 c 7.71/7.76 c core #7 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 9 7.71/7.76 c Current CPU time: 2.42563 s 7.71/7.76 c 7.71/7.76 c core #8 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 10 7.71/7.76 c Current CPU time: 2.56761 s 7.71/7.76 c 7.71/7.76 c core #9 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 11 7.71/7.76 c Current CPU time: 2.71659 s 7.71/7.76 c 7.71/7.76 c core #10 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 12 7.71/7.76 c Current CPU time: 2.85857 s 7.71/7.76 c 7.71/7.76 c core #11 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 13 7.71/7.76 c Current CPU time: 3.00854 s 7.71/7.76 c 7.71/7.76 c core #12 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 14 7.71/7.76 c Current CPU time: 3.15052 s 7.71/7.76 c 7.71/7.76 c core #13 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 15 7.71/7.76 c Current CPU time: 3.2985 s 7.71/7.76 c 7.71/7.76 c core #14 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 16 7.71/7.76 c Current CPU time: 3.44148 s 7.71/7.76 c 7.71/7.76 c core #15 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 17 7.71/7.76 c Current CPU time: 3.59245 s 7.71/7.76 c 7.71/7.76 c core #16 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 18 7.71/7.76 c Current CPU time: 3.73443 s 7.71/7.76 c 7.71/7.76 c core #17 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 19 7.71/7.76 c Current CPU time: 3.88341 s 7.71/7.76 c 7.71/7.76 c core #18 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 20 7.71/7.76 c Current CPU time: 4.02439 s 7.71/7.76 c 7.71/7.76 c core #19 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 2 Total Weight: 22 7.71/7.76 c Current CPU time: 4.17436 s 7.71/7.76 c 7.71/7.76 c core #20 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 23 7.71/7.76 c Current CPU time: 4.31834 s 7.71/7.76 c 7.71/7.76 c core #21 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 24 7.71/7.76 c Current CPU time: 4.46632 s 7.71/7.76 c 7.71/7.76 c core #22 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 301 Core Weight: 1 Total Weight: 25 7.71/7.76 c Current CPU time: 4.6083 s 7.71/7.76 c 7.71/7.76 c core #23 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 3 Total Weight: 28 7.71/7.76 c Current CPU time: 4.75928 s 7.71/7.76 c 7.71/7.76 c core #24 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 29 7.71/7.76 c Current CPU time: 4.90225 s 7.71/7.76 c 7.71/7.76 c core #25 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 2 Total Weight: 31 7.71/7.76 c Current CPU time: 5.05023 s 7.71/7.76 c 7.71/7.76 c core #26 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 32 7.71/7.76 c Current CPU time: 5.19321 s 7.71/7.76 c 7.71/7.76 c core #27 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 33 7.71/7.76 c Current CPU time: 5.34419 s 7.71/7.76 c 7.71/7.76 c core #28 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 2 Total Weight: 35 7.71/7.76 c Current CPU time: 5.48616 s 7.71/7.76 c 7.71/7.76 c core #29 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 36 7.71/7.76 c Current CPU time: 5.63514 s 7.71/7.76 c 7.71/7.76 c core #30 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 37 7.71/7.76 c Current CPU time: 5.77812 s 7.71/7.76 c 7.71/7.76 c core #31 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 38 7.71/7.76 c Current CPU time: 5.9281 s 7.71/7.76 c 7.71/7.76 c core #32 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 39 7.71/7.76 c Current CPU time: 6.07408 s 7.71/7.76 c 7.71/7.76 c core #33 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 40 7.71/7.76 c Current CPU time: 6.22505 s 7.71/7.76 c 7.71/7.76 c core #34 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 41 7.71/7.76 c Current CPU time: 6.36703 s 7.71/7.76 c 7.71/7.76 c core #35 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 42 7.71/7.76 c Current CPU time: 6.52101 s 7.71/7.76 c 7.71/7.76 c core #36 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 43 7.71/7.76 c Current CPU time: 6.66699 s 7.71/7.76 c 7.71/7.76 c core #37 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 44 7.71/7.76 c Current CPU time: 6.81896 s 7.71/7.76 c 7.71/7.76 c core #38 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 45 7.71/7.76 c Current CPU time: 6.96294 s 7.71/7.76 c 7.71/7.76 c core #39 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 46 7.71/7.76 c Current CPU time: 7.11592 s 7.71/7.76 c 7.71/7.76 c core #40 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 2 Total Weight: 48 7.71/7.76 c Current CPU time: 7.2589 s 7.71/7.76 c 7.71/7.76 c core #41 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 49 7.71/7.76 c Current CPU time: 7.40887 s 7.71/7.76 c 7.71/7.76 c core #42 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 50 7.71/7.76 c Current CPU time: 7.55385 s 7.71/7.76 c 7.71/7.76 c core #43 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 51 13.89/13.94 c Current CPU time: 7.70683 s 13.89/13.94 c 13.89/13.94 c core #44 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 401 Core Weight: 1 Total Weight: 52 13.89/13.94 c Current CPU time: 7.85081 s 13.89/13.94 c 13.89/13.94 c core #45 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 53 13.89/13.94 c Current CPU time: 8.00178 s 13.89/13.94 c 13.89/13.94 c core #46 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 54 13.89/13.94 c Current CPU time: 8.14776 s 13.89/13.94 c 13.89/13.94 c core #47 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 1401 Core Weight: 1 Total Weight: 55 13.89/13.94 c Current CPU time: 8.30574 s 13.89/13.94 c 13.89/13.94 c core #48 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 56 13.89/13.94 c Current CPU time: 8.45271 s 13.89/13.94 c 13.89/13.94 c core #49 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 57 13.89/13.94 c Current CPU time: 8.60469 s 13.89/13.94 c 13.89/13.94 c core #50 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 58 13.89/13.94 c Current CPU time: 8.74867 s 13.89/13.94 c 13.89/13.94 c core #51 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 201 Core Weight: 1 Total Weight: 59 13.89/13.94 c Current CPU time: 8.90265 s 13.89/13.94 c 13.89/13.94 c core #52 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 60 13.89/13.94 c Current CPU time: 9.04662 s 13.89/13.94 c 13.89/13.94 c core #53 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 601 Core Weight: 1 Total Weight: 61 13.89/13.94 c Current CPU time: 9.1996 s 13.89/13.94 c 13.89/13.94 c core #54 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 62 13.89/13.94 c Current CPU time: 9.34458 s 13.89/13.94 c 13.89/13.94 c core #55 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 63 13.89/13.94 c Current CPU time: 9.50056 s 13.89/13.94 c 13.89/13.94 c core #56 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 64 13.89/13.94 c Current CPU time: 9.64653 s 13.89/13.94 c 13.89/13.94 c core #57 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 65 13.89/13.94 c Current CPU time: 9.80051 s 13.89/13.94 c 13.89/13.94 c core #58 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 66 13.89/13.94 c Current CPU time: 9.94649 s 13.89/13.94 c 13.89/13.94 c core #59 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 67 13.89/13.94 c Current CPU time: 10.0995 s 13.89/13.94 c 13.89/13.94 c core #60 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 501 Core Weight: 1 Total Weight: 68 13.89/13.94 c Current CPU time: 10.2464 s 13.89/13.94 c 13.89/13.94 c core #61 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 2 Total Weight: 70 13.89/13.94 c Current CPU time: 10.3984 s 13.89/13.94 c 13.89/13.94 c core #62 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 71 13.89/13.94 c Current CPU time: 10.5454 s 13.89/13.94 c 13.89/13.94 c core #63 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 72 13.89/13.94 c Current CPU time: 10.6984 s 13.89/13.94 c 13.89/13.94 c core #64 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 73 13.89/13.94 c Current CPU time: 10.8454 s 13.89/13.94 c 13.89/13.94 c core #65 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 74 13.89/13.94 c Current CPU time: 10.9983 s 13.89/13.94 c 13.89/13.94 c core #66 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 75 13.89/13.94 c Current CPU time: 11.1443 s 13.89/13.94 c 13.89/13.94 c core #67 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 2 Total Weight: 77 13.89/13.94 c Current CPU time: 11.2993 s 13.89/13.94 c 13.89/13.94 c core #68 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 78 13.89/13.94 c Current CPU time: 11.4453 s 13.89/13.94 c 13.89/13.94 c core #69 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 79 13.89/13.94 c Current CPU time: 11.5982 s 13.89/13.94 c 13.89/13.94 c core #70 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 80 13.89/13.94 c Current CPU time: 11.7482 s 13.89/13.94 c 13.89/13.94 c core #71 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 2 Total Weight: 82 13.89/13.94 c Current CPU time: 11.9022 s 13.89/13.94 c 13.89/13.94 c core #72 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 2 Total Weight: 84 13.89/13.94 c Current CPU time: 12.0492 s 13.89/13.94 c 13.89/13.94 c core #73 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 85 13.89/13.94 c Current CPU time: 12.2031 s 13.89/13.94 c 13.89/13.94 c core #74 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 86 13.89/13.94 c Current CPU time: 12.3501 s 13.89/13.94 c 13.89/13.94 c core #75 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 87 13.89/13.94 c Current CPU time: 12.5041 s 13.89/13.94 c 13.89/13.94 c core #76 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 201 Core Weight: 1 Total Weight: 88 13.89/13.94 c Current CPU time: 12.6511 s 13.89/13.94 c 13.89/13.94 c core #77 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 89 13.89/13.94 c Current CPU time: 12.8051 s 13.89/13.94 c 13.89/13.94 c core #78 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 90 13.89/13.94 c Current CPU time: 12.952 s 13.89/13.94 c 13.89/13.94 c core #79 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 91 13.89/13.94 c Current CPU time: 13.107 s 13.89/13.94 c 13.89/13.94 c core #80 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 92 13.89/13.94 c Current CPU time: 13.255 s 13.89/13.94 c 13.89/13.94 c core #81 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 301 Core Weight: 2 Total Weight: 94 13.89/13.94 c Current CPU time: 13.41 s 13.89/13.94 c 13.89/13.94 c core #82 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 95 13.89/13.94 c Current CPU time: 13.5579 s 13.89/13.94 c 13.89/13.94 c core #83 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 101 Core Weight: 1 Total Weight: 96 13.89/13.94 c Current CPU time: 13.7169 s 13.89/13.94 c 13.89/13.94 c core #84 13.89/13.94 c 13.89/13.94 c 13.89/13.94 c Core size: 2801 Core Weight: 1 Total Weight: 97 13.89/13.94 c Current CPU time: 13.8879 s 20.39/20.46 c 20.39/20.46 c core #85 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 1 Total Weight: 98 20.39/20.46 c Current CPU time: 14.0499 s 20.39/20.46 c 20.39/20.46 c core #86 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 3 Total Weight: 101 20.39/20.46 c Current CPU time: 14.1988 s 20.39/20.46 c 20.39/20.46 c core #87 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 1 Total Weight: 102 20.39/20.46 c Current CPU time: 14.3568 s 20.39/20.46 c 20.39/20.46 c core #88 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 1 Total Weight: 103 20.39/20.46 c Current CPU time: 14.5088 s 20.39/20.46 c 20.39/20.46 c core #89 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 1 Total Weight: 104 20.39/20.46 c Current CPU time: 14.6668 s 20.39/20.46 c 20.39/20.46 c core #90 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 1 Total Weight: 105 20.39/20.46 c Current CPU time: 14.8167 s 20.39/20.46 c 20.39/20.46 c core #91 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 1 Total Weight: 106 20.39/20.46 c Current CPU time: 14.9737 s 20.39/20.46 c 20.39/20.46 c core #92 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 1 Total Weight: 107 20.39/20.46 c Current CPU time: 15.1247 s 20.39/20.46 c 20.39/20.46 c core #93 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 1 Total Weight: 108 20.39/20.46 c Current CPU time: 15.2827 s 20.39/20.46 c 20.39/20.46 c core #94 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 2 Total Weight: 110 20.39/20.46 c Current CPU time: 15.4337 s 20.39/20.46 c 20.39/20.46 c core #95 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 801 Core Weight: 1 Total Weight: 111 20.39/20.46 c Current CPU time: 15.5966 s 20.39/20.46 c 20.39/20.46 c core #96 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 1201 Core Weight: 1 Total Weight: 112 20.39/20.46 c Current CPU time: 15.7556 s 20.39/20.46 c 20.39/20.46 c core #97 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 1 Total Weight: 113 20.39/20.46 c Current CPU time: 15.9166 s 20.39/20.46 c 20.39/20.46 c core #98 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 1 Total Weight: 114 20.39/20.46 c Current CPU time: 16.0696 s 20.39/20.46 c 20.39/20.46 c core #99 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 401 Core Weight: 1 Total Weight: 115 20.39/20.46 c Current CPU time: 16.2295 s 20.39/20.46 c 20.39/20.46 c core #100 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 1 Total Weight: 116 20.39/20.46 c Current CPU time: 16.3815 s 20.39/20.46 c 20.39/20.46 c core #101 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 1 Total Weight: 117 20.39/20.46 c Current CPU time: 16.5405 s 20.39/20.46 c 20.39/20.46 c core #102 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 301 Core Weight: 1 Total Weight: 118 20.39/20.46 c Current CPU time: 16.6925 s 20.39/20.46 c 20.39/20.46 c core #103 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 801 Core Weight: 1 Total Weight: 119 20.39/20.46 c Current CPU time: 16.8584 s 20.39/20.46 c 20.39/20.46 c core #104 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 1 Total Weight: 120 20.39/20.46 c Current CPU time: 17.0114 s 20.39/20.46 c 20.39/20.46 c core #105 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 1 Total Weight: 121 20.39/20.46 c Current CPU time: 17.1714 s 20.39/20.46 c 20.39/20.46 c core #106 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 1 Total Weight: 122 20.39/20.46 c Current CPU time: 17.3244 s 20.39/20.46 c 20.39/20.46 c core #107 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 1 Total Weight: 123 20.39/20.46 c Current CPU time: 17.4843 s 20.39/20.46 c 20.39/20.46 c core #108 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 1 Total Weight: 124 20.39/20.46 c Current CPU time: 17.6373 s 20.39/20.46 c 20.39/20.46 c core #109 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 201 Core Weight: 1 Total Weight: 125 20.39/20.46 c Current CPU time: 17.7963 s 20.39/20.46 c 20.39/20.46 c core #110 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 4 Total Weight: 129 20.39/20.46 c Current CPU time: 17.9493 s 20.39/20.46 c 20.39/20.46 c core #111 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 1 Total Weight: 130 20.39/20.46 c Current CPU time: 18.1092 s 20.39/20.46 c 20.39/20.46 c core #112 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 2 Total Weight: 132 20.39/20.46 c Current CPU time: 18.2632 s 20.39/20.46 c 20.39/20.46 c core #113 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 1 Total Weight: 133 20.39/20.46 c Current CPU time: 18.4232 s 20.39/20.46 c 20.39/20.46 c core #114 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 201 Core Weight: 1 Total Weight: 134 20.39/20.46 c Current CPU time: 18.5802 s 20.39/20.46 c 20.39/20.46 c core #115 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 1 Total Weight: 135 20.39/20.46 c Current CPU time: 18.7412 s 20.39/20.46 c 20.39/20.46 c core #116 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 1 Total Weight: 136 20.39/20.46 c Current CPU time: 18.8961 s 20.39/20.46 c 20.39/20.46 c core #117 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 3 Total Weight: 139 20.39/20.46 c Current CPU time: 19.0571 s 20.39/20.46 c 20.39/20.46 c core #118 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 1 Total Weight: 140 20.39/20.46 c Current CPU time: 19.2121 s 20.39/20.46 c 20.39/20.46 c core #119 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 200 Core Weight: 1 Total Weight: 141 20.39/20.46 c Current CPU time: 19.3731 s 20.39/20.46 c 20.39/20.46 c core #120 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 299 Core Weight: 1 Total Weight: 142 20.39/20.46 c Current CPU time: 19.532 s 20.39/20.46 c 20.39/20.46 c core #121 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 299 Core Weight: 1 Total Weight: 143 20.39/20.46 c Current CPU time: 19.699 s 20.39/20.46 c 20.39/20.46 c core #122 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 1546 Core Weight: 1 Total Weight: 144 20.39/20.46 c Current CPU time: 19.864 s 20.39/20.46 c 20.39/20.46 c core #123 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 1 Total Weight: 145 20.39/20.46 c Current CPU time: 20.035 s 20.39/20.46 c 20.39/20.46 c core #124 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 3313 Core Weight: 1 Total Weight: 146 20.39/20.46 c Current CPU time: 20.2299 s 20.39/20.46 c 20.39/20.46 c core #125 20.39/20.46 c 20.39/20.46 c 20.39/20.46 c Core size: 101 Core Weight: 1 Total Weight: 147 20.39/20.46 c Current CPU time: 20.4029 s 21.09/21.13 c 21.09/21.13 c core #126 21.09/21.13 c 21.09/21.13 c 21.09/21.13 c Core size: 203 Core Weight: 1 Total Weight: 148 21.09/21.13 c Current CPU time: 20.5619 s 21.09/21.13 c 21.09/21.13 c core #127 21.09/21.13 c 21.09/21.13 c 21.09/21.13 c Core size: 303 Core Weight: 1 Total Weight: 149 21.09/21.13 c Current CPU time: 20.7338 s 21.09/21.13 c 21.09/21.13 c core #128 21.09/21.13 c 21.09/21.13 c 21.09/21.13 c Core size: 693 Core Weight: 1 Total Weight: 150 21.09/21.13 c Current CPU time: 20.8978 s 21.09/21.13 c 21.09/21.13 c ============================[ Search Statistics ]============================== 21.09/21.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.09/21.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.09/21.13 c =============================================================================== 21.09/21.13 c | 0 | 27029 694116 50205 | 231372 0 -nan | 0.000 % | 21.09/21.14 c =============================================================================== 21.29/21.30 c core #129 21.29/21.30 c 21.29/21.30 c 21.29/21.30 c Core size: 1354 Core Weight: 1 Total Weight: 151 21.29/21.30 c Current CPU time: 21.0828 s 21.29/21.30 c 21.29/21.30 c ============================[ Search Statistics ]============================== 21.29/21.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.29/21.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.29/21.30 c =============================================================================== 21.29/21.30 c | 0 | 28683 695427 51964 | 231809 0 -nan | 0.000 % | 21.29/21.32 c =============================================================================== 21.39/21.49 c core #130 21.39/21.49 c 21.39/21.49 c 21.39/21.49 c Core size: 1452 Core Weight: 1 Total Weight: 152 21.39/21.49 c Current CPU time: 21.2628 s 21.39/21.49 c 21.39/21.49 c ============================[ Search Statistics ]============================== 21.39/21.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.39/21.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.39/21.49 c =============================================================================== 21.39/21.49 c | 0 | 30555 696819 53896 | 232273 0 -nan | 0.000 % | 21.49/21.50 c =============================================================================== 21.59/21.67 c core #131 21.59/21.67 c 21.59/21.67 c 21.59/21.67 c Core size: 784 Core Weight: 1 Total Weight: 153 21.59/21.67 c Current CPU time: 21.4477 s 21.59/21.67 c 21.59/21.67 c ============================[ Search Statistics ]============================== 21.59/21.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.59/21.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.59/21.67 c =============================================================================== 21.59/21.67 c | 0 | 31341 697572 54878 | 232524 0 -nan | 0.000 % | 21.59/21.69 c =============================================================================== 21.79/21.86 c core #132 21.79/21.86 c 21.79/21.86 c 21.79/21.86 c Core size: 1351 Core Weight: 1 Total Weight: 154 21.79/21.86 c Current CPU time: 21.6297 s 21.79/21.86 c 21.79/21.86 c ============================[ Search Statistics ]============================== 21.79/21.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.79/21.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.79/21.86 c =============================================================================== 21.79/21.86 c | 0 | 32696 698868 56463 | 232956 0 -nan | 0.000 % | 21.79/21.89 c =============================================================================== 22.01/22.07 c core #133 22.01/22.07 c 22.01/22.07 c 22.01/22.07 c Core size: 2092 Core Weight: 1 Total Weight: 155 22.01/22.07 c Current CPU time: 21.8357 s 22.01/22.07 c 22.01/22.07 c ============================[ Search Statistics ]============================== 22.01/22.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.01/22.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.01/22.07 c =============================================================================== 22.01/22.07 c | 0 | 34768 700865 58918 | 233621 0 -nan | 0.000 % | 22.29/22.35 c =============================================================================== 22.49/22.54 c core #134 22.49/22.54 c 22.49/22.54 c 22.49/22.54 c Core size: 4821 Core Weight: 1 Total Weight: 156 22.49/22.54 c Current CPU time: 22.2916 s 22.49/22.54 c 22.49/22.54 c ============================[ Search Statistics ]============================== 22.49/22.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.49/22.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.49/22.54 c =============================================================================== 22.49/22.54 c | 0 | 39647 705438 65474 | 235146 0 -nan | 0.000 % | 22.59/22.60 c | 101 | 39644 705438 65474 | 258660 101 1045 | 19.495 % | 23.39/23.40 c =============================================================================== 23.49/23.59 c core #135 23.49/23.59 c 23.49/23.59 c 23.49/23.59 c Core size: 7340 Core Weight: 1 Total Weight: 157 23.49/23.59 c Current CPU time: 23.3295 s 23.49/23.59 c 23.49/23.59 c ============================[ Search Statistics ]============================== 23.49/23.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.49/23.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.49/23.59 c =============================================================================== 23.49/23.59 c | 0 | 47050 712258 75554 | 237419 0 -nan | 0.000 % | 23.59/23.64 c | 100 | 47050 712258 75554 | 261161 100 861 | 16.801 % | 23.69/23.75 c | 252 | 47050 712258 75554 | 287277 252 959 | 16.801 % | 23.89/23.91 c | 477 | 47050 712258 75554 | 316005 477 975 | 16.801 % | 24.09/24.15 c | 814 | 47049 712258 75554 | 347605 814 1026 | 16.803 % | 24.21/24.24 c =============================================================================== 24.40/24.43 c core #136 24.40/24.43 c 24.40/24.43 c 24.40/24.43 c Core size: 1661 Core Weight: 1 Total Weight: 158 24.40/24.43 c Current CPU time: 24.1553 s 24.40/24.43 c 24.40/24.43 c ============================[ Search Statistics ]============================== 24.40/24.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.40/24.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.40/24.43 c =============================================================================== 24.40/24.43 c | 0 | 48730 713782 77962 | 237927 0 -nan | 0.000 % | 24.49/24.50 c | 101 | 48730 713782 77962 | 261720 101 2165 | 16.287 % | 24.59/24.69 c | 252 | 48730 713782 77962 | 287892 252 2638 | 16.287 % | 24.99/25.01 c | 478 | 48730 713782 77962 | 316681 478 2978 | 16.287 % | 25.30/25.38 c | 819 | 48730 713782 77962 | 348349 819 2903 | 16.287 % | 25.79/25.80 c | 1326 | 48730 713782 77962 | 383184 1326 2350 | 16.287 % | 26.79/26.83 c | 2088 | 48729 713782 77962 | 421502 2088 2834 | 16.289 % | 28.09/28.15 c | 3227 | 48729 713782 77962 | 463653 3227 2898 | 16.289 % | 30.09/30.15 c | 4936 | 48718 713782 77962 | 510018 4936 3047 | 16.310 % | 31.99/32.08 c =============================================================================== 32.30/32.30 c core #137 32.30/32.30 c 32.30/32.30 c 32.30/32.30 c Core size: 10473 Core Weight: 1 Total Weight: 159 32.30/32.30 c Current CPU time: 31.9701 s 32.30/32.30 c 32.30/32.30 c ============================[ Search Statistics ]============================== 32.30/32.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.30/32.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.30/32.30 c =============================================================================== 32.30/32.30 c | 0 | 59380 722804 93205 | 240934 0 -nan | 0.000 % | 32.30/32.39 c | 100 | 59380 722804 93205 | 265028 100 467 | 13.507 % | 32.49/32.57 c | 251 | 59380 722804 93205 | 291530 251 789 | 13.507 % | 32.79/32.80 c | 479 | 59380 722804 93205 | 320684 479 754 | 13.507 % | 33.17/33.27 c | 818 | 59380 722804 93205 | 352752 818 793 | 13.507 % | 34.27/34.34 c | 1324 | 59380 722804 93205 | 388027 1324 1311 | 13.507 % | 35.27/35.38 c | 2084 | 59380 722804 93205 | 426830 2084 1493 | 13.507 % | 36.68/36.76 c | 3225 | 59380 722804 93205 | 469513 3225 1257 | 13.507 % | 38.77/38.81 c | 4934 | 59380 722804 93205 | 516464 4934 1313 | 13.507 % | 43.27/43.37 c | 7498 | 59379 722804 93205 | 568111 7498 1500 | 13.509 % | 51.07/51.19 c | 11343 | 59379 722804 93205 | 624922 11343 1837 | 13.509 % | 59.98/60.07 c | 17110 | 59378 722804 93205 | 687414 17110 1813 | 13.510 % | 76.37/76.43 c | 25759 | 59377 722804 93205 | 756156 25759 2260 | 13.511 % | 105.68/105.77 c | 38735 | 59376 722804 93205 | 831771 38735 2672 | 13.513 % | 158.27/158.34 c | 58197 | 59376 722804 93205 | 914948 58197 3022 | 13.513 % | 281.78/281.84 c | 87389 | 59375 722804 93205 | 1006443 87389 3649 | 13.514 % | 479.28/479.33 c | 131178 | 59375 722804 93205 | 1107088 131178 3873 | 13.514 % | 877.99/878.07 c | 196863 | 59374 722804 93205 | 1217797 196863 4169 | 13.516 % | 982.60/982.64 c =============================================================================== 984.79/984.81 c core #138 984.79/984.81 c 984.79/984.81 c 984.79/984.81 c Core size: 11714 Core Weight: 1 Total Weight: 160 984.79/984.81 c Current CPU time: 982.303 s 984.79/984.81 c 984.79/984.81 c ============================[ Search Statistics ]============================== 984.79/984.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 984.79/984.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 984.79/984.81 c =============================================================================== 984.79/984.81 c | 0 | 71145 732044 110755 | 244014 0 -nan | 0.000 % | 984.89/984.90 c | 104 | 71145 732044 110755 | 268416 104 915 | 11.422 % | 985.09/985.18 c | 255 | 71145 732044 110755 | 295257 255 916 | 11.422 % | 985.39/985.44 c | 481 | 71145 732044 110755 | 324783 481 908 | 11.422 % | 985.89/985.91 c | 818 | 71145 732044 110755 | 357261 818 675 | 11.422 % | 986.40/986.48 c | 1325 | 71145 732044 110755 | 392988 1325 544 | 11.422 % | 987.59/987.66 c | 2084 | 71145 732044 110755 | 432286 2084 1208 | 11.422 % | 989.29/989.30 c | 3223 | 71145 732044 110755 | 475515 3223 1063 | 11.422 % | 993.00/993.00 c | 4931 | 71145 732044 110755 | 523067 4931 1268 | 11.422 % | 997.71/997.73 c | 7493 | 71145 732044 110755 | 575373 7493 1258 | 11.422 % | 1004.39/1004.48 c | 11337 | 71145 732044 110755 | 632911 11337 1306 | 11.422 % | 1016.20/1016.20 c | 17103 | 71145 732044 110755 | 696202 17103 1635 | 11.422 % | 1032.20/1032.22 c | 25753 | 71145 732044 110755 | 765822 25753 1439 | 11.422 % | 1064.20/1064.27 c | 38727 | 71145 732044 110755 | 842404 38727 1848 | 11.422 % | 1108.82/1108.89 c | 58188 | 71145 732044 110755 | 926645 58188 1889 | 11.422 % | 1182.09/1182.17 c | 87381 | 71144 732044 110755 | 1019309 87381 1998 | 11.423 % | 1327.00/1327.05 c | 131174 | 71144 732044 110755 | 1121240 131174 2350 | 11.423 % | 1675.33/1675.33 c | 196859 | 71144 732044 110755 | 1233364 196859 3011 | 11.423 % |
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-3460841-1307077500/watcher-3460841-1307077500 -o /tmp/evaluation-result-3460841-1307077500/solver-3460841-1307077500 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460841-1307077500.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.02 2.13 2/488 3986 /proc/meminfo: memFree=21509160/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=20548 CPUtime=0 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 675 0 0 0 0 0 0 0 22 0 1 0 551941267 21041152 628 33554432000 4194304 5714214 140737039459312 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/3986/statm: 5137 630 174 372 0 554 0 [startup+0.067352 s] /proc/loadavg: 2.00 2.02 2.13 2/488 3986 /proc/meminfo: memFree=21509160/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=24468 CPUtime=0.06 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 1859 0 0 0 6 0 0 0 22 0 1 0 551941267 25055232 1779 33554432000 4194304 5714214 140737039459312 18446744073709551615 4228051 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/3986/statm: 6117 1779 403 372 0 1534 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 24468 [startup+0.100345 s] /proc/loadavg: 2.00 2.02 2.13 2/488 3986 /proc/meminfo: memFree=21509160/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=25948 CPUtime=0.09 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 2346 0 0 0 9 0 0 0 22 0 1 0 551941267 26570752 2266 33554432000 4194304 5714214 140737039459312 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/3986/statm: 6487 2268 526 372 0 1904 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25948 [startup+0.300313 s] /proc/loadavg: 2.00 2.02 2.13 2/488 3986 /proc/meminfo: memFree=21509160/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=36040 CPUtime=0.29 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 5674 0 0 0 29 0 0 0 23 0 1 0 551941267 36904960 5400 33554432000 4194304 5714214 140737039459312 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/3986/statm: 9010 5401 1259 372 0 4427 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36040 [startup+0.700244 s] /proc/loadavg: 2.00 2.02 2.13 2/488 3986 /proc/meminfo: memFree=21509160/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=54796 CPUtime=0.69 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 12010 0 0 0 68 1 0 0 25 0 1 0 551941267 56111104 11479 33554432000 4194304 5714214 140737039459312 18446744073709551615 4233381 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/3986/statm: 13699 11480 2730 372 0 9116 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 54796 [startup+1.50111 s] /proc/loadavg: 2.00 2.02 2.13 3/489 3987 /proc/meminfo: memFree=21318688/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=162132 CPUtime=1.49 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 44660 0 0 0 145 4 0 0 25 0 1 0 551941267 166023168 39408 33554432000 4194304 5714214 140737039459312 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/3986/statm: 40533 39412 172 372 0 40158 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 162132 [startup+3.10084 s] /proc/loadavg: 2.00 2.02 2.13 3/489 3987 /proc/meminfo: memFree=21198532/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=178336 CPUtime=3.09 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 50960 0 0 0 304 5 0 0 25 0 1 0 551941267 182616064 42963 33554432000 4194304 5714214 140737039459312 18446744073709551615 4336971 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/3986/statm: 44584 42963 175 372 0 44209 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 178336 [startup+6.30026 s] /proc/loadavg: 2.00 2.02 2.13 3/489 3987 /proc/meminfo: memFree=21199040/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=178336 CPUtime=6.29 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 50968 0 0 0 624 5 0 0 25 0 1 0 551941267 182616064 42971 33554432000 4194304 5714214 140737039459312 18446744073709551615 4355644 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/3986/statm: 44584 42971 175 372 0 44209 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 178336 [startup+12.7011 s] /proc/loadavg: 2.00 2.02 2.13 3/489 3988 /proc/meminfo: memFree=21194368/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=178336 CPUtime=12.69 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 50988 0 0 0 1264 5 0 0 25 0 1 0 551941267 182616064 42991 33554432000 4194304 5714214 140737039459312 18446744073709551615 4956403 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/3986/statm: 44584 42991 175 372 0 44209 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 178336 [startup+25.5009 s] /proc/loadavg: 2.08 2.04 2.13 3/489 3988 /proc/meminfo: memFree=21133728/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=213612 CPUtime=25.49 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 64499 0 0 0 2539 10 0 0 19 0 1 0 551941267 218738688 51395 33554432000 4194304 5714214 140737039459312 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/3986/statm: 53403 51395 180 372 0 53028 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 213612 [startup+51.1004 s] /proc/loadavg: 2.05 2.03 2.12 3/489 3989 /proc/meminfo: memFree=20897876/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=280940 CPUtime=51.07 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 81450 0 0 0 5087 20 0 0 25 0 1 0 551941267 287682560 68346 33554432000 4194304 5714214 140737039459312 18446744073709551615 4305130 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3986/statm: 70235 68346 180 372 0 69860 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 280940 [startup+102.318 s] /proc/loadavg: 2.02 2.03 2.11 3/489 3990 /proc/meminfo: memFree=20477584/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=546756 CPUtime=102.29 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 148567 0 0 0 10191 38 0 0 25 0 1 0 551941267 559878144 135463 33554432000 4194304 5714214 140737039459312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3986/statm: 136689 135463 180 372 0 136314 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 546756 [startup+162.301 s] /proc/loadavg: 2.01 2.02 2.10 3/489 3992 /proc/meminfo: memFree=20097632/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=869980 CPUtime=162.27 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 229355 0 0 0 16170 57 0 0 25 0 1 0 551941267 890859520 216251 33554432000 4194304 5714214 140737039459312 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3986/statm: 217495 216251 180 372 0 217120 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 869980 [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.09 3/489 3993 /proc/meminfo: memFree=19532536/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=1166396 CPUtime=222.28 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 303430 0 0 0 22153 75 0 0 25 0 1 0 551941267 1194389504 290326 33554432000 4194304 5714214 140737039459312 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3986/statm: 291599 290326 180 372 0 291224 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 1166396 [startup+282.301 s] /proc/loadavg: 2.00 2.01 2.08 3/489 3995 /proc/meminfo: memFree=19041236/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=1421120 CPUtime=282.28 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 367133 0 0 0 28140 88 0 0 25 0 1 0 551941267 1455226880 354029 33554432000 4194304 5714214 140737039459312 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3986/statm: 355280 354029 180 372 0 354905 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 1421120 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.08 3/489 3996 /proc/meminfo: memFree=18584772/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=1648840 CPUtime=342.27 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 423959 0 0 0 34127 100 0 0 25 0 1 0 551941267 1688412160 410855 33554432000 4194304 5714214 140737039459312 18446744073709551615 4311837 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3986/statm: 412210 410855 180 372 0 411835 0 Current children cumulated CPU time (s) 342.27 Current children cumulated vsize (KiB) 1648840 [startup+402.301 s] /proc/loadavg: 2.06 2.01 2.08 3/489 3998 /proc/meminfo: memFree=18089844/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=1866552 CPUtime=402.28 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 478379 0 0 0 40115 113 0 0 25 0 1 0 551941267 1911349248 465275 33554432000 4194304 5714214 140737039459312 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3986/statm: 466638 465275 180 372 0 466263 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 1866552 [startup+462.301 s] /proc/loadavg: 2.07 2.03 2.08 3/489 4000 /proc/meminfo: memFree=17615960/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=2097792 CPUtime=462.28 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 536210 0 0 0 46101 127 0 0 25 0 1 0 551941267 2148139008 523106 33554432000 4194304 5714214 140737039459312 18446744073709551615 4319405 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3986/statm: 524448 523106 180 372 0 524073 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 2097792 [startup+522.301 s] /proc/loadavg: 2.02 2.02 2.07 3/489 4001 /proc/meminfo: memFree=17184908/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=2288760 CPUtime=522.28 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 583953 0 0 0 52091 137 0 0 25 0 1 0 551941267 2343690240 570849 33554432000 4194304 5714214 140737039459312 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3986/statm: 572190 570849 180 372 0 571815 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 2288760 [startup+582.301 s] /proc/loadavg: 2.08 2.04 2.08 3/489 4003 /proc/meminfo: memFree=16721992/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=2524740 CPUtime=582.28 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 642829 0 0 0 58078 150 0 0 25 0 1 0 551941267 2585333760 629725 33554432000 4194304 5714214 140737039459312 18446744073709551615 4311848 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3986/statm: 631185 629725 180 372 0 630810 0 Current children cumulated CPU time (s) 582.28 Current children cumulated vsize (KiB) 2524740 [startup+642.3 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.00 2.01 2.05 3/489 4011 /proc/meminfo: memFree=14834836/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=3415276 CPUtime=882.29 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 865453 0 0 0 88030 199 0 0 25 0 1 0 551941267 3497242624 852349 33554432000 4194304 5714214 140737039459312 18446744073709551615 4311854 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3986/statm: 853819 852349 180 372 0 853444 0 Current children cumulated CPU time (s) 882.29 Current children cumulated vsize (KiB) 3415276 [startup+942.301 s] /proc/loadavg: 2.16 2.04 2.06 3/489 4012 /proc/meminfo: memFree=14480176/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=3573768 CPUtime=942.29 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 905113 0 0 0 94023 206 0 0 25 0 1 0 551941267 3659538432 892009 33554432000 4194304 5714214 140737039459312 18446744073709551615 4305201 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3986/statm: 893442 892009 180 372 0 893067 0 Current children cumulated CPU time (s) 942.29 Current children cumulated vsize (KiB) 3573768 [startup+1002.3 s] /proc/loadavg: 2.13 2.05 2.06 3/489 4014 /proc/meminfo: memFree=14102572/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=3812316 CPUtime=1002.3 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 963768 0 0 0 100006 224 0 0 25 0 1 0 551941267 3903811584 950664 33554432000 4194304 5714214 140737039459312 18446744073709551615 4311824 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3986/statm: 953079 950664 180 372 0 952704 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 3812316 [startup+1062.3 s] /proc/loadavg: 2.05 2.04 2.05 3/489 4016 /proc/meminfo: memFree=13944324/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=3812316 CPUtime=1062.29 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 963787 0 0 0 105995 234 0 0 25 0 1 0 551941267 3903811584 950683 33554432000 4194304 5714214 140737039459312 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3986/statm: 953079 950683 180 372 0 952704 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 3812316 [startup+1122.3 s] /proc/loadavg: 2.11 2.06 2.06 3/489 4017 /proc/meminfo: memFree=13773772/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=3812316 CPUtime=1122.29 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 963978 0 0 0 111985 244 0 0 25 0 1 0 551941267 3903811584 950874 33554432000 4194304 5714214 140737039459312 18446744073709551615 4311824 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3986/statm: 953079 950874 180 372 0 952704 0 Current children cumulated CPU time (s) 1122.29 Current children cumulated vsize (KiB) 3812316 [startup+1182.3 s] /proc/loadavg: 2.08 2.06 2.06 3/489 4019 /proc/meminfo: memFree=13622216/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=3812316 CPUtime=1182.29 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 964005 0 0 0 117978 251 0 0 25 0 1 0 551941267 3903811584 950901 33554432000 4194304 5714214 140737039459312 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3986/statm: 953079 950901 180 372 0 952704 0 Current children cumulated CPU time (s) 1182.29 Current children cumulated vsize (KiB) 3812316 [startup+1242.3 s] /proc/loadavg: 2.03 2.05 2.05 3/489 4020 /proc/meminfo: memFree=13442392/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=3812316 CPUtime=1242.3 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 964063 0 0 0 123969 261 0 0 25 0 1 0 551941267 3903811584 950959 33554432000 4194304 5714214 140737039459312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3986/statm: 953079 950959 180 372 0 952704 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 3812316 [startup+1302.3 s] /proc/loadavg: 2.01 2.03 2.04 3/489 4022 /proc/meminfo: memFree=13331256/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=3812316 CPUtime=1302.31 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 964087 0 0 0 129964 267 0 0 25 0 1 0 551941267 3903811584 950983 33554432000 4194304 5714214 140737039459312 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3986/statm: 953079 950983 180 372 0 952704 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 3812316 [startup+1362.3 s] /proc/loadavg: 2.00 2.03 2.04 3/489 4024 /proc/meminfo: memFree=13206860/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=3812316 CPUtime=1362.3 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 964119 0 0 0 135957 273 0 0 25 0 1 0 551941267 3903811584 951015 33554432000 4194304 5714214 140737039459312 18446744073709551615 4322971 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3986/statm: 953079 951015 180 372 0 952704 0 Current children cumulated CPU time (s) 1362.3 Current children cumulated vsize (KiB) 3812316 [startup+1422.32 s] /proc/loadavg: 2.00 2.02 2.03 3/489 4025 /proc/meminfo: memFree=13077988/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=3812316 CPUtime=1422.32 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 964756 0 0 0 141953 279 0 0 25 0 1 0 551941267 3903811584 951652 33554432000 4194304 5714214 140737039459312 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3986/statm: 953079 951652 180 372 0 952704 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 3812316 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.03 3/489 4027 /proc/meminfo: memFree=12953980/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=3812316 CPUtime=1482.31 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 964757 0 0 0 147948 283 0 0 25 0 1 0 551941267 3903811584 951653 33554432000 4194304 5714214 140737039459312 18446744073709551615 4311848 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3986/statm: 953079 951653 180 372 0 952704 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 3812316 [startup+1542.3 s] /proc/loadavg: 2.08 2.04 2.03 3/489 4028 /proc/meminfo: memFree=12805036/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=3812316 CPUtime=1542.3 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 964757 0 0 0 153944 286 0 0 25 0 1 0 551941267 3903811584 951653 33554432000 4194304 5714214 140737039459312 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3986/statm: 953079 951653 180 372 0 952704 0 Current children cumulated CPU time (s) 1542.3 Current children cumulated vsize (KiB) 3812316 [startup+1602.3 s] /proc/loadavg: 2.07 2.04 2.03 3/489 4030 /proc/meminfo: memFree=12609092/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=3812316 CPUtime=1602.31 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 964757 0 0 0 159941 290 0 0 25 0 1 0 551941267 3903811584 951653 33554432000 4194304 5714214 140737039459312 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3986/statm: 953079 951653 180 372 0 952704 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 3812316 [startup+1662.3 s] /proc/loadavg: 2.16 2.06 2.04 3/489 4032 /proc/meminfo: memFree=12469832/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=3812316 CPUtime=1662.31 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 964757 0 0 0 165935 296 0 0 25 0 1 0 551941267 3903811584 951653 33554432000 4194304 5714214 140737039459312 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3986/statm: 953079 951653 180 372 0 952704 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 3812316 [startup+1722.3 s] /proc/loadavg: 2.18 2.08 2.04 3/489 4033 /proc/meminfo: memFree=12280940/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=3812316 CPUtime=1722.31 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 964758 0 0 0 171929 302 0 0 25 0 1 0 551941267 3903811584 951654 33554432000 4194304 5714214 140737039459312 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3986/statm: 953079 951654 180 372 0 952704 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 3812316 [startup+1782.3 s] /proc/loadavg: 2.06 2.06 2.03 3/489 4035 /proc/meminfo: memFree=12145012/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=3812316 CPUtime=1782.31 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 964769 0 0 0 177923 308 0 0 25 0 1 0 551941267 3903811584 951665 33554432000 4194304 5714214 140737039459312 18446744073709551615 4311837 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3986/statm: 953079 951665 180 372 0 952704 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 3812316 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.05 2.06 2.03 2/487 4036 /proc/meminfo: memFree=17725760/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=3812316 CPUtime=1800.01 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4202496 964769 0 0 0 179692 309 0 0 25 0 1 0 551941267 3903811584 951665 33554432000 4194304 5714214 140737039459312 18446744073709551615 4311894 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3986/statm: 953079 951665 180 372 0 952704 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 3812316 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.12 s] /proc/loadavg: 2.05 2.06 2.03 2/487 4036 /proc/meminfo: memFree=17725760/32951124 swapFree=46575304/67111528 [pid=3986] ppid=3984 vsize=0 CPUtime=1800.14 cores=1,3,5,7 /proc/3986/stat : 3986 (wbo1.6) R 3984 3986 31334 0 -1 4203524 964769 0 0 0 179694 320 0 0 25 0 1 0 551941267 0 0 33554432000 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/3986/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.16 CPU time (s): 1800.19 CPU user time (s): 1796.94 CPU system time (s): 3.24451 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 3812316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.94 system time used= 3.24451 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 964769 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= 1836 runsolver used 7.93879 second user time and 20.1149 second system time The end
Begin job on node107 at 2011-06-03 07:05:00 IDJOB=3460841 IDBENCH=1965 IDSOLVER=1953 FILE ID=node107/3460841-1307077500 RUNJOBID= node107-1307075697-3851 PBS_JOBID= 13497881 Free space on /tmp= 73828 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460841-1307077500/watcher-3460841-1307077500 -o /tmp/evaluation-result-3460841-1307077500/solver-3460841-1307077500 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460841-1307077500.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3119db8d3d273f04fc4f3b1324a85224 RANDOM SEED=101005938 node107.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.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 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.829 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.67 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.829 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.82 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.829 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.829 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 : 5359.47 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.829 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.829 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: 21509432 kB Buffers: 296008 kB Cached: 2058804 kB SwapCached: 22548 kB Active: 9169044 kB Inactive: 1924340 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21509432 kB SwapTotal: 67111528 kB SwapFree: 46575304 kB Dirty: 42228 kB Writeback: 4 kB AnonPages: 8733544 kB Mapped: 44060 kB Slab: 185456 kB PageTables: 94696 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 145136168 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= 73840 MiB End job on node107 at 2011-06-03 07:35:02