Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.3 | 1800.34 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_3.opb.PB06.opb |
MD5SUM | 8eed52e8cea562b1b1ee5bae07565266 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1077 |
Best CPU time to get the best result obtained on this benchmark | 1800.28 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 478 |
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 | 500105 |
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 | 500105 |
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-3460843-1307077852.opb. 0.00/0.00 c Instance file HOME/instance-3460843-1307077852.opb 0.00/0.00 c File size is 17233726 bytes. 1.11/1.15 c Highest Coefficient sum: 101 1.11/1.15 c ============================[ Problem Statistics ]============================= 1.11/1.15 c | | 1.11/1.15 c | Parsing time: 1.13 s | 1.11/1.15 c | Number Variables: 10000 | 1.11/1.15 c | Number Clauses: 656900 | 1.11/1.15 c | Number Cardinality: 0 | 1.11/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.71/7.78 c core #1 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 1 7.71/7.78 c Current CPU time: 1.55076 s 7.71/7.78 c 7.71/7.78 c core #2 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 2 7.71/7.78 c Current CPU time: 1.69374 s 7.71/7.78 c 7.71/7.78 c core #3 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 3 7.71/7.78 c Current CPU time: 1.84272 s 7.71/7.78 c 7.71/7.78 c core #4 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 4 7.71/7.78 c Current CPU time: 1.9837 s 7.71/7.78 c 7.71/7.78 c core #5 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 5 7.71/7.78 c Current CPU time: 2.13267 s 7.71/7.78 c 7.71/7.78 c core #6 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 6 7.71/7.78 c Current CPU time: 2.27265 s 7.71/7.78 c 7.71/7.78 c core #7 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 7 7.71/7.78 c Current CPU time: 2.42363 s 7.71/7.78 c 7.71/7.78 c core #8 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 2 Total Weight: 9 7.71/7.78 c Current CPU time: 2.56461 s 7.71/7.78 c 7.71/7.78 c core #9 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 10 7.71/7.78 c Current CPU time: 2.71459 s 7.71/7.78 c 7.71/7.78 c core #10 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 201 Core Weight: 1 Total Weight: 11 7.71/7.78 c Current CPU time: 2.85757 s 7.71/7.78 c 7.71/7.78 c core #11 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 12 7.71/7.78 c Current CPU time: 3.00654 s 7.71/7.78 c 7.71/7.78 c core #12 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 13 7.71/7.78 c Current CPU time: 3.14752 s 7.71/7.78 c 7.71/7.78 c core #13 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 2 Total Weight: 15 7.71/7.78 c Current CPU time: 3.2965 s 7.71/7.78 c 7.71/7.78 c core #14 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 16 7.71/7.78 c Current CPU time: 3.43748 s 7.71/7.78 c 7.71/7.78 c core #15 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 17 7.71/7.78 c Current CPU time: 3.58945 s 7.71/7.78 c 7.71/7.78 c core #16 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 18 7.71/7.78 c Current CPU time: 3.73243 s 7.71/7.78 c 7.71/7.78 c core #17 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 19 7.71/7.78 c Current CPU time: 3.88141 s 7.71/7.78 c 7.71/7.78 c core #18 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 201 Core Weight: 3 Total Weight: 22 7.71/7.78 c Current CPU time: 4.02239 s 7.71/7.78 c 7.71/7.78 c core #19 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 23 7.71/7.78 c Current CPU time: 4.17237 s 7.71/7.78 c 7.71/7.78 c core #20 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 24 7.71/7.78 c Current CPU time: 4.31434 s 7.71/7.78 c 7.71/7.78 c core #21 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 25 7.71/7.78 c Current CPU time: 4.46432 s 7.71/7.78 c 7.71/7.78 c core #22 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 26 7.71/7.78 c Current CPU time: 4.6083 s 7.71/7.78 c 7.71/7.78 c core #23 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 27 7.71/7.78 c Current CPU time: 4.76328 s 7.71/7.78 c 7.71/7.78 c core #24 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 28 7.71/7.78 c Current CPU time: 4.90825 s 7.71/7.78 c 7.71/7.78 c core #25 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 29 7.71/7.78 c Current CPU time: 5.06023 s 7.71/7.78 c 7.71/7.78 c core #26 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 30 7.71/7.78 c Current CPU time: 5.20321 s 7.71/7.78 c 7.71/7.78 c core #27 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 31 7.71/7.78 c Current CPU time: 5.35518 s 7.71/7.78 c 7.71/7.78 c core #28 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 32 7.71/7.78 c Current CPU time: 5.49816 s 7.71/7.78 c 7.71/7.78 c core #29 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 33 7.71/7.78 c Current CPU time: 5.65314 s 7.71/7.78 c 7.71/7.78 c core #30 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 2 Total Weight: 35 7.71/7.78 c Current CPU time: 5.79612 s 7.71/7.78 c 7.71/7.78 c core #31 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 36 7.71/7.78 c Current CPU time: 5.94909 s 7.71/7.78 c 7.71/7.78 c core #32 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 37 7.71/7.78 c Current CPU time: 6.09307 s 7.71/7.78 c 7.71/7.78 c core #33 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 2 Total Weight: 39 7.71/7.78 c Current CPU time: 6.24405 s 7.71/7.78 c 7.71/7.78 c core #34 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 40 7.71/7.78 c Current CPU time: 6.38803 s 7.71/7.78 c 7.71/7.78 c core #35 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 41 7.71/7.78 c Current CPU time: 6.54 s 7.71/7.78 c 7.71/7.78 c core #36 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 42 7.71/7.78 c Current CPU time: 6.68398 s 7.71/7.78 c 7.71/7.78 c core #37 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 43 7.71/7.78 c Current CPU time: 6.83496 s 7.71/7.78 c 7.71/7.78 c core #38 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 44 7.71/7.78 c Current CPU time: 6.97794 s 7.71/7.78 c 7.71/7.78 c core #39 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 45 7.71/7.78 c Current CPU time: 7.12992 s 7.71/7.78 c 7.71/7.78 c core #40 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 46 7.71/7.78 c Current CPU time: 7.27389 s 7.71/7.78 c 7.71/7.78 c core #41 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 47 7.71/7.78 c Current CPU time: 7.42487 s 7.71/7.78 c 7.71/7.78 c core #42 7.71/7.78 c 7.71/7.78 c 7.71/7.78 c Core size: 101 Core Weight: 1 Total Weight: 48 7.71/7.78 c Current CPU time: 7.56785 s 7.71/7.78 c 7.71/7.78 c core #43 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 2 Total Weight: 50 13.89/13.95 c Current CPU time: 7.72083 s 13.89/13.95 c 13.89/13.95 c core #44 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 51 13.89/13.95 c Current CPU time: 7.8648 s 13.89/13.95 c 13.89/13.95 c core #45 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 52 13.89/13.95 c Current CPU time: 8.01578 s 13.89/13.95 c 13.89/13.95 c core #46 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 53 13.89/13.95 c Current CPU time: 8.15976 s 13.89/13.95 c 13.89/13.95 c core #47 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 54 13.89/13.95 c Current CPU time: 8.31374 s 13.89/13.95 c 13.89/13.95 c core #48 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 55 13.89/13.95 c Current CPU time: 8.45871 s 13.89/13.95 c 13.89/13.95 c core #49 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 56 13.89/13.95 c Current CPU time: 8.61069 s 13.89/13.95 c 13.89/13.95 c core #50 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 57 13.89/13.95 c Current CPU time: 8.75367 s 13.89/13.95 c 13.89/13.95 c core #51 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 58 13.89/13.95 c Current CPU time: 8.90765 s 13.89/13.95 c 13.89/13.95 c core #52 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 59 13.89/13.95 c Current CPU time: 9.05462 s 13.89/13.95 c 13.89/13.95 c core #53 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 60 13.89/13.95 c Current CPU time: 9.2056 s 13.89/13.95 c 13.89/13.95 c core #54 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 61 13.89/13.95 c Current CPU time: 9.35158 s 13.89/13.95 c 13.89/13.95 c core #55 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 2 Total Weight: 63 13.89/13.95 c Current CPU time: 9.50356 s 13.89/13.95 c 13.89/13.95 c core #56 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 64 13.89/13.95 c Current CPU time: 9.64953 s 13.89/13.95 c 13.89/13.95 c core #57 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 401 Core Weight: 2 Total Weight: 66 13.89/13.95 c Current CPU time: 9.80151 s 13.89/13.95 c 13.89/13.95 c core #58 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 67 13.89/13.95 c Current CPU time: 9.94449 s 13.89/13.95 c 13.89/13.95 c core #59 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 6 Total Weight: 73 13.89/13.95 c Current CPU time: 10.1005 s 13.89/13.95 c 13.89/13.95 c core #60 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 74 13.89/13.95 c Current CPU time: 10.2464 s 13.89/13.95 c 13.89/13.95 c core #61 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 201 Core Weight: 1 Total Weight: 75 13.89/13.95 c Current CPU time: 10.3984 s 13.89/13.95 c 13.89/13.95 c core #62 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 76 13.89/13.95 c Current CPU time: 10.5424 s 13.89/13.95 c 13.89/13.95 c core #63 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 77 13.89/13.95 c Current CPU time: 10.6964 s 13.89/13.95 c 13.89/13.95 c core #64 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 301 Core Weight: 1 Total Weight: 78 13.89/13.95 c Current CPU time: 10.8454 s 13.89/13.95 c 13.89/13.95 c core #65 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 201 Core Weight: 1 Total Weight: 79 13.89/13.95 c Current CPU time: 10.9993 s 13.89/13.95 c 13.89/13.95 c core #66 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 601 Core Weight: 1 Total Weight: 80 13.89/13.95 c Current CPU time: 11.1463 s 13.89/13.95 c 13.89/13.95 c core #67 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 81 13.89/13.95 c Current CPU time: 11.2993 s 13.89/13.95 c 13.89/13.95 c core #68 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 82 13.89/13.95 c Current CPU time: 11.4453 s 13.89/13.95 c 13.89/13.95 c core #69 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 83 13.89/13.95 c Current CPU time: 11.6002 s 13.89/13.95 c 13.89/13.95 c core #70 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 84 13.89/13.95 c Current CPU time: 11.7472 s 13.89/13.95 c 13.89/13.95 c core #71 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 85 13.89/13.95 c Current CPU time: 11.9012 s 13.89/13.95 c 13.89/13.95 c core #72 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 86 13.89/13.95 c Current CPU time: 12.0492 s 13.89/13.95 c 13.89/13.95 c core #73 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 901 Core Weight: 1 Total Weight: 87 13.89/13.95 c Current CPU time: 12.2071 s 13.89/13.95 c 13.89/13.95 c core #74 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 88 13.89/13.95 c Current CPU time: 12.3551 s 13.89/13.95 c 13.89/13.95 c core #75 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 89 13.89/13.95 c Current CPU time: 12.5101 s 13.89/13.95 c 13.89/13.95 c core #76 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 90 13.89/13.95 c Current CPU time: 12.6571 s 13.89/13.95 c 13.89/13.95 c core #77 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 91 13.89/13.95 c Current CPU time: 12.8151 s 13.89/13.95 c 13.89/13.95 c core #78 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 92 13.89/13.95 c Current CPU time: 12.962 s 13.89/13.95 c 13.89/13.95 c core #79 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 1001 Core Weight: 1 Total Weight: 93 13.89/13.95 c Current CPU time: 13.12 s 13.89/13.95 c 13.89/13.95 c core #80 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 94 13.89/13.95 c Current CPU time: 13.269 s 13.89/13.95 c 13.89/13.95 c core #81 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 95 13.89/13.95 c Current CPU time: 13.427 s 13.89/13.95 c 13.89/13.95 c core #82 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 96 13.89/13.95 c Current CPU time: 13.5759 s 13.89/13.95 c 13.89/13.95 c core #83 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 97 13.89/13.95 c Current CPU time: 13.7349 s 13.89/13.95 c 13.89/13.95 c core #84 13.89/13.95 c 13.89/13.95 c 13.89/13.95 c Core size: 101 Core Weight: 1 Total Weight: 98 13.89/13.95 c Current CPU time: 13.8859 s 20.49/20.54 c 20.49/20.54 c core #85 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 1 Total Weight: 99 20.49/20.54 c Current CPU time: 14.0419 s 20.49/20.54 c 20.49/20.54 c core #86 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 301 Core Weight: 1 Total Weight: 100 20.49/20.54 c Current CPU time: 14.1938 s 20.49/20.54 c 20.49/20.54 c core #87 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 1 Total Weight: 101 20.49/20.54 c Current CPU time: 14.3498 s 20.49/20.54 c 20.49/20.54 c core #88 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 1 Total Weight: 102 20.49/20.54 c Current CPU time: 14.4998 s 20.49/20.54 c 20.49/20.54 c core #89 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 1 Total Weight: 103 20.49/20.54 c Current CPU time: 14.6548 s 20.49/20.54 c 20.49/20.54 c core #90 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 1 Total Weight: 104 20.49/20.54 c Current CPU time: 14.8047 s 20.49/20.54 c 20.49/20.54 c core #91 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 1 Total Weight: 105 20.49/20.54 c Current CPU time: 14.9627 s 20.49/20.54 c 20.49/20.54 c core #92 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 1 Total Weight: 106 20.49/20.54 c Current CPU time: 15.1157 s 20.49/20.54 c 20.49/20.54 c core #93 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 1 Total Weight: 107 20.49/20.54 c Current CPU time: 15.2717 s 20.49/20.54 c 20.49/20.54 c core #94 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 1 Total Weight: 108 20.49/20.54 c Current CPU time: 15.4217 s 20.49/20.54 c 20.49/20.54 c core #95 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 2601 Core Weight: 1 Total Weight: 109 20.49/20.54 c Current CPU time: 15.5976 s 20.49/20.54 c 20.49/20.54 c core #96 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 1 Total Weight: 110 20.49/20.54 c Current CPU time: 15.7546 s 20.49/20.54 c 20.49/20.54 c core #97 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 1 Total Weight: 111 20.49/20.54 c Current CPU time: 15.9116 s 20.49/20.54 c 20.49/20.54 c core #98 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 1 Total Weight: 112 20.49/20.54 c Current CPU time: 16.0636 s 20.49/20.54 c 20.49/20.54 c core #99 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 1 Total Weight: 113 20.49/20.54 c Current CPU time: 16.2215 s 20.49/20.54 c 20.49/20.54 c core #100 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 1 Total Weight: 114 20.49/20.54 c Current CPU time: 16.3735 s 20.49/20.54 c 20.49/20.54 c core #101 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 1 Total Weight: 115 20.49/20.54 c Current CPU time: 16.5305 s 20.49/20.54 c 20.49/20.54 c core #102 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 2 Total Weight: 117 20.49/20.54 c Current CPU time: 16.6845 s 20.49/20.54 c 20.49/20.54 c core #103 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 1 Total Weight: 118 20.49/20.54 c Current CPU time: 16.8424 s 20.49/20.54 c 20.49/20.54 c core #104 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 2 Total Weight: 120 20.49/20.54 c Current CPU time: 16.9964 s 20.49/20.54 c 20.49/20.54 c core #105 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 1 Total Weight: 121 20.49/20.54 c Current CPU time: 17.1574 s 20.49/20.54 c 20.49/20.54 c core #106 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 1 Total Weight: 122 20.49/20.54 c Current CPU time: 17.3104 s 20.49/20.54 c 20.49/20.54 c core #107 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 901 Core Weight: 1 Total Weight: 123 20.49/20.54 c Current CPU time: 17.4723 s 20.49/20.54 c 20.49/20.54 c core #108 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 1 Total Weight: 124 20.49/20.54 c Current CPU time: 17.6273 s 20.49/20.54 c 20.49/20.54 c core #109 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 1 Total Weight: 125 20.49/20.54 c Current CPU time: 17.7873 s 20.49/20.54 c 20.49/20.54 c core #110 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 2 Total Weight: 127 20.49/20.54 c Current CPU time: 17.9393 s 20.49/20.54 c 20.49/20.54 c core #111 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 1 Total Weight: 128 20.49/20.54 c Current CPU time: 18.0992 s 20.49/20.54 c 20.49/20.54 c core #112 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 3 Total Weight: 131 20.49/20.54 c Current CPU time: 18.2532 s 20.49/20.54 c 20.49/20.54 c core #113 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 1388 Core Weight: 1 Total Weight: 132 20.49/20.54 c Current CPU time: 18.4212 s 20.49/20.54 c 20.49/20.54 c core #114 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 3405 Core Weight: 1 Total Weight: 133 20.49/20.54 c Current CPU time: 18.6162 s 20.49/20.54 c 20.49/20.54 c core #115 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 4 Total Weight: 137 20.49/20.54 c Current CPU time: 18.7841 s 20.49/20.54 c 20.49/20.54 c core #116 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 1 Total Weight: 138 20.49/20.54 c Current CPU time: 18.9411 s 20.49/20.54 c 20.49/20.54 c core #117 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 691 Core Weight: 1 Total Weight: 139 20.49/20.54 c Current CPU time: 19.1071 s 20.49/20.54 c 20.49/20.54 c core #118 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 2273 Core Weight: 1 Total Weight: 140 20.49/20.54 c Current CPU time: 19.2801 s 20.49/20.54 c 20.49/20.54 c core #119 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 2 Total Weight: 142 20.49/20.54 c Current CPU time: 19.45 s 20.49/20.54 c 20.49/20.54 c core #120 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 1445 Core Weight: 1 Total Weight: 143 20.49/20.54 c Current CPU time: 19.619 s 20.49/20.54 c 20.49/20.54 c core #121 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 1721 Core Weight: 1 Total Weight: 144 20.49/20.54 c Current CPU time: 19.794 s 20.49/20.54 c 20.49/20.54 c core #122 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 101 Core Weight: 1 Total Weight: 145 20.49/20.54 c Current CPU time: 19.958 s 20.49/20.54 c 20.49/20.54 c core #123 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 201 Core Weight: 1 Total Weight: 146 20.49/20.54 c Current CPU time: 20.1229 s 20.49/20.54 c 20.49/20.54 c core #124 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 1918 Core Weight: 1 Total Weight: 147 20.49/20.54 c Current CPU time: 20.2959 s 20.49/20.54 c 20.49/20.54 c core #125 20.49/20.54 c 20.49/20.54 c 20.49/20.54 c Core size: 203 Core Weight: 1 Total Weight: 148 20.49/20.54 c Current CPU time: 20.4699 s 20.49/20.54 c 20.69/20.70 c ============================[ Search Statistics ]============================== 20.69/20.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.69/20.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.69/20.70 c =============================================================================== 20.69/20.70 c | 0 | 31407 697589 54723 | 232529 0 -nan | 0.000 % | 20.69/20.71 c =============================================================================== 20.81/20.88 c core #126 20.81/20.88 c 20.81/20.88 c 20.81/20.88 c Core size: 402 Core Weight: 1 Total Weight: 149 20.81/20.88 c Current CPU time: 20.6369 s 20.81/20.88 c 20.81/20.88 c ============================[ Search Statistics ]============================== 20.81/20.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.81/20.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.81/20.88 c =============================================================================== 20.81/20.88 c | 0 | 31806 697974 55171 | 232658 0 -nan | 0.000 % | 20.81/20.89 c =============================================================================== 20.99/21.06 c core #127 20.99/21.06 c 20.99/21.06 c 20.99/21.06 c Core size: 502 Core Weight: 1 Total Weight: 150 20.99/21.06 c Current CPU time: 20.8168 s 20.99/21.06 c 20.99/21.06 c ============================[ Search Statistics ]============================== 20.99/21.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.99/21.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.99/21.06 c =============================================================================== 20.99/21.06 c | 0 | 32303 698458 55724 | 232819 0 -nan | 0.000 % | 20.99/21.06 c =============================================================================== 21.19/21.25 c core #128 21.19/21.25 c 21.19/21.25 c 21.19/21.25 c Core size: 1078 Core Weight: 1 Total Weight: 151 21.19/21.25 c Current CPU time: 20.9948 s 21.19/21.25 c 21.19/21.25 c ============================[ Search Statistics ]============================== 21.19/21.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.19/21.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.19/21.25 c =============================================================================== 21.19/21.25 c | 0 | 33381 699494 57011 | 233164 0 -nan | 0.000 % | 21.19/21.26 c =============================================================================== 21.39/21.43 c core #129 21.39/21.43 c 21.39/21.43 c 21.39/21.43 c Core size: 1172 Core Weight: 1 Total Weight: 152 21.39/21.43 c Current CPU time: 21.1888 s 21.39/21.43 c 21.39/21.43 c ============================[ Search Statistics ]============================== 21.39/21.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.39/21.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.39/21.43 c =============================================================================== 21.39/21.43 c | 0 | 34540 700614 58409 | 233538 0 -nan | 0.000 % | 21.49/21.51 c =============================================================================== 21.69/21.70 c core #130 21.69/21.70 c 21.69/21.70 c 21.69/21.70 c Core size: 2967 Core Weight: 1 Total Weight: 153 21.69/21.70 c Current CPU time: 21.4377 s 21.69/21.70 c 21.69/21.70 c ============================[ Search Statistics ]============================== 21.69/21.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.69/21.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.69/21.70 c =============================================================================== 21.69/21.70 c | 0 | 37528 703469 61998 | 234489 0 -nan | 0.000 % | 21.69/21.78 c =============================================================================== 21.91/21.96 c core #131 21.91/21.96 c 21.91/21.96 c 21.91/21.96 c Core size: 3196 Core Weight: 1 Total Weight: 154 21.91/21.96 c Current CPU time: 21.7057 s 21.91/21.96 c 21.91/21.96 c ============================[ Search Statistics ]============================== 21.91/21.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.91/21.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.91/21.96 c =============================================================================== 21.91/21.96 c | 0 | 40755 706495 66475 | 235498 0 -nan | 0.000 % | 22.09/22.19 c =============================================================================== 22.29/22.38 c core #132 22.29/22.38 c 22.29/22.38 c 22.29/22.38 c Core size: 5160 Core Weight: 1 Total Weight: 155 22.29/22.38 c Current CPU time: 22.1056 s 22.29/22.38 c 22.29/22.38 c ============================[ Search Statistics ]============================== 22.29/22.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.29/22.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.29/22.38 c =============================================================================== 22.29/22.38 c | 0 | 45954 711325 73237 | 237108 0 -nan | 0.000 % | 22.39/22.43 c | 100 | 45953 711325 73237 | 260819 100 615 | 17.048 % | 22.49/22.52 c | 251 | 45950 711325 73237 | 286901 251 526 | 17.053 % | 23.01/23.10 c =============================================================================== 23.19/23.30 c core #133 23.19/23.30 c 23.19/23.30 c 23.19/23.30 c Core size: 7483 Core Weight: 1 Total Weight: 156 23.19/23.30 c Current CPU time: 23.0135 s 23.19/23.30 c 23.19/23.30 c ============================[ Search Statistics ]============================== 23.19/23.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.19/23.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.19/23.30 c =============================================================================== 23.19/23.30 c | 0 | 53503 718172 83771 | 239390 0 -nan | 0.000 % | 23.29/23.36 c | 100 | 53503 718172 83771 | 263329 100 606 | 14.891 % | 23.49/23.52 c | 251 | 53503 718172 83771 | 289662 251 847 | 14.891 % | 23.69/23.75 c | 477 | 53503 718172 83771 | 318628 477 1297 | 14.891 % | 23.99/24.07 c | 814 | 53503 718172 83771 | 350491 814 1735 | 14.891 % | 24.59/24.67 c | 1321 | 53503 718172 83771 | 385541 1321 1991 | 14.891 % | 25.39/25.48 c | 2081 | 53502 718172 83771 | 424095 2081 1783 | 14.892 % | 26.99/27.06 c | 3222 | 53500 718172 83771 | 466504 3222 2273 | 14.896 % | 29.89/29.98 c | 4932 | 53499 718172 83771 | 513155 4932 2851 | 14.897 % | 34.78/34.80 c | 7497 | 53498 718172 83771 | 564470 7497 3248 | 14.899 % | 41.08/41.15 c | 11342 | 53497 718172 83771 | 620917 11342 3267 | 14.900 % | 47.59/47.61 c =============================================================================== 47.79/47.89 c core #134 47.79/47.89 c 47.79/47.89 c 47.79/47.89 c Core size: 10900 Core Weight: 1 Total Weight: 157 47.79/47.89 c Current CPU time: 47.5068 s 47.79/47.89 c 47.79/47.89 c ============================[ Search Statistics ]============================== 47.79/47.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 47.79/47.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 47.79/47.89 c =============================================================================== 47.79/47.89 c | 0 | 64481 727333 99413 | 242444 0 -nan | 0.000 % | 47.88/47.97 c | 100 | 64481 727333 99413 | 266688 100 1027 | 12.562 % | 48.09/48.13 c | 255 | 64481 727333 99413 | 293357 255 600 | 12.562 % | 48.31/48.41 c | 482 | 64481 727333 99413 | 322693 482 556 | 12.562 % | 48.88/48.93 c | 823 | 64481 727333 99413 | 354962 823 783 | 12.562 % | 49.78/49.85 c | 1329 | 64481 727333 99413 | 390459 1329 976 | 12.562 % | 50.98/51.02 c | 2088 | 64481 727333 99413 | 429504 2088 1126 | 12.562 % | 52.88/52.94 c | 3228 | 64481 727333 99413 | 472455 3228 1115 | 12.562 % | 55.79/55.81 c | 4937 | 64481 727333 99413 | 519700 4937 1368 | 12.562 % | 59.58/59.61 c | 7503 | 64481 727333 99413 | 571671 7503 1358 | 12.562 % | 64.69/64.74 c | 11347 | 64479 727333 99413 | 628838 11347 1307 | 12.565 % | 75.69/75.81 c | 17115 | 64479 727333 99413 | 691721 17115 1464 | 12.565 % | 89.87/89.91 c | 25764 | 64479 727333 99413 | 760894 25764 1466 | 12.565 % | 113.38/113.47 c | 38738 | 64478 727333 99413 | 836983 38738 1646 | 12.566 % | 158.18/158.28 c | 58199 | 64478 727333 99413 | 920681 58199 2132 | 12.566 % | 234.58/234.65 c | 87391 | 64476 727333 99413 | 1012750 87391 2499 | 12.569 % | 399.29/399.36 c | 131182 | 64475 727333 99413 | 1114025 131182 3084 | 12.570 % | 699.17/699.27 c | 196866 | 64475 727333 99413 | 1225427 196866 3650 | 12.570 % | 1681.95/1682.05 c | 295392 | 64473 727333 99413 | 1347970 295392 4561 | 12.573 % |
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-3460843-1307077852/watcher-3460843-1307077852 -o /tmp/evaluation-result-3460843-1307077852/solver-3460843-1307077852 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460843-1307077852.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: 1.72 2.41 3.13 2/560 27229 /proc/meminfo: memFree=30178792/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=22036 CPUtime=0.02 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1063 0 0 0 2 0 0 0 20 0 1 0 819383913 22564864 1017 33554432000 4194304 5714214 140735392715904 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 5509 1017 233 372 0 926 0 [startup+0.093504 s] /proc/loadavg: 1.72 2.41 3.13 2/560 27229 /proc/meminfo: memFree=30178792/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=25684 CPUtime=0.08 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 2243 0 0 0 8 0 0 0 20 0 1 0 819383913 26300416 2164 33554432000 4194304 5714214 140735392715904 18446744073709551615 4742977 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 6421 2165 496 372 0 1838 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 25684 [startup+0.100446 s] /proc/loadavg: 1.72 2.41 3.13 2/560 27229 /proc/meminfo: memFree=30178792/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=25948 CPUtime=0.09 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 2332 0 0 0 9 0 0 0 20 0 1 0 819383913 26570752 2253 33554432000 4194304 5714214 140735392715904 18446744073709551615 4195024 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 6487 2253 522 372 0 1904 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25948 [startup+0.300533 s] /proc/loadavg: 1.72 2.41 3.13 2/560 27229 /proc/meminfo: memFree=30178792/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=36040 CPUtime=0.29 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 5651 0 0 0 29 0 0 0 21 0 1 0 819383913 36904960 5378 33554432000 4194304 5714214 140735392715904 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 9010 5378 1252 372 0 4427 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36040 [startup+0.700456 s] /proc/loadavg: 1.72 2.41 3.13 2/560 27229 /proc/meminfo: memFree=30178792/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=54664 CPUtime=0.69 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 11976 0 0 0 68 1 0 0 22 0 1 0 819383913 55975936 11446 33554432000 4194304 5714214 140735392715904 18446744073709551615 4336999 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 13666 11447 2721 372 0 9083 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 54664 [startup+1.50034 s] /proc/loadavg: 1.72 2.41 3.13 4/562 27231 /proc/meminfo: memFree=30079736/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=159464 CPUtime=1.49 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 44221 0 0 0 144 5 0 0 25 0 1 0 819383913 163291136 38970 33554432000 4194304 5714214 140735392715904 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 39866 38977 172 372 0 39491 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 159464 [startup+3.10106 s] /proc/loadavg: 1.74 2.40 3.13 4/562 27231 /proc/meminfo: memFree=29830496/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=178336 CPUtime=3.09 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 50960 0 0 0 303 6 0 0 25 0 1 0 819383913 182616064 42964 33554432000 4194304 5714214 140735392715904 18446744073709551615 4968040 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 44584 42964 175 372 0 44209 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 178336 [startup+6.30047 s] /proc/loadavg: 1.74 2.40 3.13 4/562 27231 /proc/meminfo: memFree=29830332/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=178336 CPUtime=6.29 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 50968 0 0 0 623 6 0 0 25 0 1 0 819383913 182616064 42972 33554432000 4194304 5714214 140735392715904 18446744073709551615 4956185 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 44584 42972 175 372 0 44209 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 178336 [startup+12.7003 s] /proc/loadavg: 1.78 2.39 3.11 4/562 27231 /proc/meminfo: memFree=29829256/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=178336 CPUtime=12.69 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 50986 0 0 0 1263 6 0 0 25 0 1 0 819383913 182616064 42990 33554432000 4194304 5714214 140735392715904 18446744073709551615 4199344 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 44584 42990 175 372 0 44209 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 178336 [startup+25.5002 s] /proc/loadavg: 1.82 2.37 3.10 4/562 27232 /proc/meminfo: memFree=29778544/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=213204 CPUtime=25.49 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 69335 0 0 0 2540 9 0 0 25 0 1 0 819383913 218320896 50833 33554432000 4194304 5714214 140735392715904 18446744073709551615 4314115 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 53301 50833 180 372 0 52926 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 213204 [startup+51.1009 s] /proc/loadavg: 2.00 2.37 3.08 4/562 27232 /proc/meminfo: memFree=29490408/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=406728 CPUtime=51.08 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 118081 0 0 0 5090 18 0 0 25 0 1 0 819383913 416489472 99579 33554432000 4194304 5714214 140735392715904 18446744073709551615 4311894 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 101682 99579 180 372 0 101307 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 406728 [startup+102.322 s] /proc/loadavg: 2.12 2.34 3.03 4/562 27234 /proc/meminfo: memFree=29192452/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=406728 CPUtime=102.29 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 118092 0 0 0 10206 23 0 0 25 0 1 0 819383913 416489472 99590 33554432000 4194304 5714214 140735392715904 18446744073709551615 4322957 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 101682 99590 180 372 0 101307 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 406728 [startup+162.3 s] /proc/loadavg: 2.05 2.28 2.97 4/562 27235 /proc/meminfo: memFree=28596464/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=669296 CPUtime=162.27 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 184371 0 0 0 16191 36 0 0 25 0 1 0 819383913 685359104 165869 33554432000 4194304 5714214 140735392715904 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 167324 165869 180 372 0 166949 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 669296 [startup+222.301 s] /proc/loadavg: 2.01 2.22 2.90 4/562 27237 /proc/meminfo: memFree=27944580/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=960700 CPUtime=222.27 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 257197 0 0 0 22175 52 0 0 25 0 1 0 819383913 983756800 238695 33554432000 4194304 5714214 140735392715904 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 240175 238695 180 372 0 239800 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 960700 [startup+282.301 s] /proc/loadavg: 2.00 2.18 2.84 4/562 27239 /proc/meminfo: memFree=27397480/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=1214564 CPUtime=282.28 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 320604 0 0 0 28164 64 0 0 25 0 1 0 819383913 1243713536 302102 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 303641 302102 180 372 0 303266 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 1214564 [startup+342.301 s] /proc/loadavg: 2.00 2.14 2.78 4/562 27240 /proc/meminfo: memFree=26791588/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=1519116 CPUtime=342.27 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 396750 0 0 0 34148 79 0 0 25 0 1 0 819383913 1555574784 378248 33554432000 4194304 5714214 140735392715904 18446744073709551615 4311911 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 379779 378248 180 372 0 379404 0 Current children cumulated CPU time (s) 342.27 Current children cumulated vsize (KiB) 1519116 [startup+402.301 s] /proc/loadavg: 2.00 2.12 2.74 4/562 27242 /proc/meminfo: memFree=26240140/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=1782784 CPUtime=402.28 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 462686 0 0 0 40139 89 0 0 25 0 1 0 819383913 1825570816 444184 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 445696 444184 180 372 0 445321 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 1782784 [startup+462.301 s] /proc/loadavg: 2.00 2.09 2.68 4/562 27243 /proc/meminfo: memFree=25649988/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=2054532 CPUtime=462.28 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 530512 0 0 0 46126 102 0 0 25 0 1 0 819383913 2103840768 512010 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 513633 512010 180 372 0 513258 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 2054532 [startup+522.301 s] /proc/loadavg: 2.00 2.07 2.64 4/562 27245 /proc/meminfo: memFree=25186688/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=2310980 CPUtime=522.27 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 594627 0 0 0 52114 113 0 0 25 0 1 0 819383913 2366443520 576125 33554432000 4194304 5714214 140735392715904 18446744073709551615 4311848 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 577745 576125 180 372 0 577370 0 Current children cumulated CPU time (s) 522.27 Current children cumulated vsize (KiB) 2310980 [startup+582.301 s] /proc/loadavg: 2.00 2.06 2.60 4/562 27247 /proc/meminfo: memFree=24718560/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=2584412 CPUtime=582.27 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 662985 0 0 0 58105 122 0 0 25 0 1 0 819383913 2646437888 644483 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 646103 644483 180 372 0 645728 0 Current children cumulated CPU time (s) 582.27 Current children cumulated vsize (KiB) 2584412 [startup+642.301 s] ################ # More data... # ################ [startup+942.3 s] /proc/loadavg: 2.00 2.04 2.41 4/562 27256 /proc/meminfo: memFree=22914424/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=3806200 CPUtime=942.26 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 968256 0 0 0 94049 177 0 0 25 0 1 0 819383913 3897548800 949754 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 951550 949754 180 372 0 951175 0 Current children cumulated CPU time (s) 942.26 Current children cumulated vsize (KiB) 3806200 [startup+1002.3 s] /proc/loadavg: 2.00 2.03 2.38 4/562 27258 /proc/meminfo: memFree=22747848/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=3969960 CPUtime=1002.26 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1009210 0 0 0 100040 186 0 0 25 0 1 0 819383913 4065239040 990708 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 992490 990708 180 372 0 992115 0 Current children cumulated CPU time (s) 1002.26 Current children cumulated vsize (KiB) 3969960 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.35 4/562 27259 /proc/meminfo: memFree=22600636/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=4118496 CPUtime=1062.26 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1046351 0 0 0 106034 192 0 0 25 0 1 0 819383913 4217339904 1027849 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 1029624 1027849 180 372 0 1029249 0 Current children cumulated CPU time (s) 1062.26 Current children cumulated vsize (KiB) 4118496 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.33 4/562 27261 /proc/meminfo: memFree=22453928/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=4263384 CPUtime=1122.25 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1082573 0 0 0 112027 198 0 0 25 0 1 0 819383913 4365705216 1064071 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 1065846 1064071 180 372 0 1065471 0 Current children cumulated CPU time (s) 1122.25 Current children cumulated vsize (KiB) 4263384 [startup+1182.3 s] /proc/loadavg: 2.21 2.07 2.33 4/562 27263 /proc/meminfo: memFree=22304464/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=4412012 CPUtime=1182.26 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1119703 0 0 0 118023 203 0 0 25 0 1 0 819383913 4517900288 1101201 33554432000 4194304 5714214 140735392715904 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 1103003 1101201 180 372 0 1102628 0 Current children cumulated CPU time (s) 1182.26 Current children cumulated vsize (KiB) 4412012 [startup+1242.3 s] /proc/loadavg: 2.25 2.11 2.33 4/562 27264 /proc/meminfo: memFree=22182664/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=4532696 CPUtime=1242.26 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1149873 0 0 0 124016 210 0 0 25 0 1 0 819383913 4641480704 1131371 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 1133174 1131371 180 372 0 1132799 0 Current children cumulated CPU time (s) 1242.26 Current children cumulated vsize (KiB) 4532696 [startup+1302.3 s] /proc/loadavg: 2.17 2.12 2.31 4/562 27266 /proc/meminfo: memFree=22066068/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=4647004 CPUtime=1302.28 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1178430 0 0 0 130015 213 0 0 25 0 1 0 819383913 4758532096 1159928 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 1161751 1159928 180 372 0 1161376 0 Current children cumulated CPU time (s) 1302.28 Current children cumulated vsize (KiB) 4647004 [startup+1362.3 s] /proc/loadavg: 2.06 2.09 2.29 4/562 27267 /proc/meminfo: memFree=21947608/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=4766672 CPUtime=1362.25 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1208342 0 0 0 136008 217 0 0 25 0 1 0 819383913 4881072128 1189840 33554432000 4194304 5714214 140735392715904 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 1191668 1189840 180 372 0 1191293 0 Current children cumulated CPU time (s) 1362.25 Current children cumulated vsize (KiB) 4766672 [startup+1422.32 s] /proc/loadavg: 2.02 2.07 2.27 4/562 27269 /proc/meminfo: memFree=21793936/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=4920528 CPUtime=1422.28 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1246809 0 0 0 142005 223 0 0 25 0 1 0 819383913 5038620672 1228307 33554432000 4194304 5714214 140735392715904 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 1230132 1228307 180 372 0 1229757 0 Current children cumulated CPU time (s) 1422.28 Current children cumulated vsize (KiB) 4920528 [startup+1482.3 s] /proc/loadavg: 2.01 2.06 2.25 4/562 27271 /proc/meminfo: memFree=21716660/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=4997712 CPUtime=1482.26 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1266100 0 0 0 148000 226 0 0 25 0 1 0 819383913 5117657088 1247598 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 1249428 1247598 180 372 0 1249053 0 Current children cumulated CPU time (s) 1482.26 Current children cumulated vsize (KiB) 4997712 [startup+1542.3 s] /proc/loadavg: 2.00 2.05 2.23 4/562 27272 /proc/meminfo: memFree=21644100/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=5069836 CPUtime=1542.25 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1284127 0 0 0 153997 228 0 0 25 0 1 0 819383913 5191512064 1265625 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 1267459 1265625 180 372 0 1267084 0 Current children cumulated CPU time (s) 1542.25 Current children cumulated vsize (KiB) 5069836 [startup+1602.3 s] /proc/loadavg: 2.00 2.04 2.22 4/562 27274 /proc/meminfo: memFree=21419136/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=5247604 CPUtime=1602.25 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1328570 0 0 0 159990 235 0 0 25 0 1 0 819383913 5373546496 1310068 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319915 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 1311901 1310068 180 372 0 1311526 0 Current children cumulated CPU time (s) 1602.25 Current children cumulated vsize (KiB) 5247604 [startup+1662.3 s] /proc/loadavg: 2.00 2.03 2.20 4/562 27275 /proc/meminfo: memFree=21049468/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=5426428 CPUtime=1662.24 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1373218 0 0 0 165981 243 0 0 25 0 1 0 819383913 5556662272 1354716 33554432000 4194304 5714214 140735392715904 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 1356607 1354716 180 372 0 1356232 0 Current children cumulated CPU time (s) 1662.24 Current children cumulated vsize (KiB) 5426428 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.18 4/562 27277 /proc/meminfo: memFree=20734972/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=5556520 CPUtime=1722.25 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1405696 0 0 0 171975 250 0 0 25 0 1 0 819383913 5689876480 1387194 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 1389130 1387194 180 372 0 1388755 0 Current children cumulated CPU time (s) 1722.25 Current children cumulated vsize (KiB) 5556520 [startup+1782.3 s] /proc/loadavg: 2.19 2.06 2.18 3/562 27279 /proc/meminfo: memFree=20454960/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=5643788 CPUtime=1782.24 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1427499 0 0 0 177971 253 0 0 25 0 1 0 819383913 5779238912 1408997 33554432000 4194304 5714214 140735392715904 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 1410947 1408997 180 372 0 1410572 0 Current children cumulated CPU time (s) 1782.24 Current children cumulated vsize (KiB) 5643788 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.14 2.06 2.18 3/563 27280 /proc/meminfo: memFree=22363680/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=5663072 CPUtime=1800.07 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1432317 0 0 0 179752 255 0 0 25 0 1 0 819383913 5798985728 1413815 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27227/statm: 1415768 1413815 180 372 0 1415393 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 5663072 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.22 s] /proc/loadavg: 2.14 2.06 2.18 3/563 27280 /proc/meminfo: memFree=22363680/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=0 CPUtime=1800.17 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4203524 1432317 0 0 0 179752 265 0 0 25 0 1 0 819383913 0 0 33554432000 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 2 0 0 0 /proc/27227/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 [startup+1800.3 s] /proc/loadavg: 2.14 2.06 2.18 3/563 27280 /proc/meminfo: memFree=22363680/32950928 swapFree=41528364/67111528 [pid=27227] ppid=27224 vsize=0 CPUtime=1800.25 cores=0,2,4,6 /proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4203524 1432317 0 0 0 179752 273 0 0 25 0 1 0 819383913 0 0 33554432000 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 2 0 0 0 /proc/27227/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.34 CPU time (s): 1800.3 CPU user time (s): 1797.52 CPU system time (s): 2.77158 CPU usage (%): 99.9975 Max. virtual memory (cumulated for all children) (KiB): 5663072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.52 system time used= 2.77158 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1432317 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= 5 involuntary context switches= 1967 runsolver used 10.1545 second user time and 24.3003 second system time The end
Begin job on node126 at 2011-06-03 07:10:52 IDJOB=3460843 IDBENCH=1967 IDSOLVER=1953 FILE ID=node126/3460843-1307077852 RUNJOBID= node126-1307077852-27210 PBS_JOBID= 13497860 Free space on /tmp= 73760 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_3.opb.PB06.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460843-1307077852/watcher-3460843-1307077852 -o /tmp/evaluation-result-3460843-1307077852/solver-3460843-1307077852 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460843-1307077852.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8eed52e8cea562b1b1ee5bae07565266 RANDOM SEED=138557171 node126.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.783 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.56 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.783 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.783 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.74 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.783 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.783 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.80 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.783 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.783 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.783 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30179484 kB Buffers: 264188 kB Cached: 432656 kB SwapCached: 15328 kB Active: 2076744 kB Inactive: 375392 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30179484 kB SwapTotal: 67111528 kB SwapFree: 41528364 kB Dirty: 41936 kB Writeback: 0 kB AnonPages: 1752276 kB Mapped: 23296 kB Slab: 147584 kB PageTables: 100108 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 176376572 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= 73772 MiB End job on node126 at 2011-06-03 07:40:54