Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.3 | 1800.24 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb |
MD5SUM | 093efae700664f798191c0b27cec34af |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 736 |
Best CPU time to get the best result obtained on this benchmark | 1800.31 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 447 |
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 | 494527 |
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 | 494527 |
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-3460848-1307078022.opb. 0.00/0.00 c Instance file HOME/instance-3460848-1307078022.opb 0.00/0.00 c File size is 17233660 bytes. 1.19/1.26 c Highest Coefficient sum: 101 1.19/1.26 c ============================[ Problem Statistics ]============================= 1.19/1.26 c | | 1.19/1.26 c | Parsing time: 1.24 s | 1.19/1.26 c | Number Variables: 10000 | 1.19/1.26 c | Number Clauses: 656900 | 1.19/1.26 c | Number Cardinality: 0 | 1.19/1.26 c | Number PB Constraints: 0 | 1.49/1.58 c ============================[ Search Statistics ]============================== 1.49/1.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.58 c =============================================================================== 1.49/1.58 c | 0 | 10000 656900 1333400 | 218966 0 -nan | 0.000 % | 8.49/8.57 c core #1 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 1 8.49/8.57 c Current CPU time: 1.70874 s 8.49/8.57 c 8.49/8.57 c core #2 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 2 8.49/8.57 c Current CPU time: 1.86871 s 8.49/8.57 c 8.49/8.57 c core #3 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 3 8.49/8.57 c Current CPU time: 2.03369 s 8.49/8.57 c 8.49/8.57 c core #4 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 4 8.49/8.57 c Current CPU time: 2.18767 s 8.49/8.57 c 8.49/8.57 c core #5 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 5 8.49/8.57 c Current CPU time: 2.35064 s 8.49/8.57 c 8.49/8.57 c core #6 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 6 8.49/8.57 c Current CPU time: 2.50262 s 8.49/8.57 c 8.49/8.57 c core #7 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 7 8.49/8.57 c Current CPU time: 2.66659 s 8.49/8.57 c 8.49/8.57 c core #8 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 8 8.49/8.57 c Current CPU time: 2.81957 s 8.49/8.57 c 8.49/8.57 c core #9 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 9 8.49/8.57 c Current CPU time: 2.98155 s 8.49/8.57 c 8.49/8.57 c core #10 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 10 8.49/8.57 c Current CPU time: 3.13452 s 8.49/8.57 c 8.49/8.57 c core #11 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 11 8.49/8.57 c Current CPU time: 3.3005 s 8.49/8.57 c 8.49/8.57 c core #12 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 12 8.49/8.57 c Current CPU time: 3.45847 s 8.49/8.57 c 8.49/8.57 c core #13 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 301 Core Weight: 1 Total Weight: 13 8.49/8.57 c Current CPU time: 3.62645 s 8.49/8.57 c 8.49/8.57 c core #14 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 3 Total Weight: 16 8.49/8.57 c Current CPU time: 3.78242 s 8.49/8.57 c 8.49/8.57 c core #15 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 17 8.49/8.57 c Current CPU time: 3.9514 s 8.49/8.57 c 8.49/8.57 c core #16 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 18 8.49/8.57 c Current CPU time: 4.10938 s 8.49/8.57 c 8.49/8.57 c core #17 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 19 8.49/8.57 c Current CPU time: 4.28035 s 8.49/8.57 c 8.49/8.57 c core #18 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 20 8.49/8.57 c Current CPU time: 4.43633 s 8.49/8.57 c 8.49/8.57 c core #19 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 21 8.49/8.57 c Current CPU time: 4.6053 s 8.49/8.57 c 8.49/8.57 c core #20 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 22 8.49/8.57 c Current CPU time: 4.76628 s 8.49/8.57 c 8.49/8.57 c core #21 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 23 8.49/8.57 c Current CPU time: 4.93425 s 8.49/8.57 c 8.49/8.57 c core #22 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 201 Core Weight: 1 Total Weight: 24 8.49/8.57 c Current CPU time: 5.09323 s 8.49/8.57 c 8.49/8.57 c core #23 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 25 8.49/8.57 c Current CPU time: 5.2572 s 8.49/8.57 c 8.49/8.57 c core #24 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 26 8.49/8.57 c Current CPU time: 5.41618 s 8.49/8.57 c 8.49/8.57 c core #25 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 27 8.49/8.57 c Current CPU time: 5.58315 s 8.49/8.57 c 8.49/8.57 c core #26 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 28 8.49/8.57 c Current CPU time: 5.74313 s 8.49/8.57 c 8.49/8.57 c core #27 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 2 Total Weight: 30 8.49/8.57 c Current CPU time: 5.9131 s 8.49/8.57 c 8.49/8.57 c core #28 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 201 Core Weight: 1 Total Weight: 31 8.49/8.57 c Current CPU time: 6.07008 s 8.49/8.57 c 8.49/8.57 c core #29 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 6 Total Weight: 37 8.49/8.57 c Current CPU time: 6.23605 s 8.49/8.57 c 8.49/8.57 c core #30 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 38 8.49/8.57 c Current CPU time: 6.39803 s 8.49/8.57 c 8.49/8.57 c core #31 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 39 8.49/8.57 c Current CPU time: 6.569 s 8.49/8.57 c 8.49/8.57 c core #32 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 2 Total Weight: 41 8.49/8.57 c Current CPU time: 6.72898 s 8.49/8.57 c 8.49/8.57 c core #33 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 42 8.49/8.57 c Current CPU time: 6.89995 s 8.49/8.57 c 8.49/8.57 c core #34 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 43 8.49/8.57 c Current CPU time: 7.05893 s 8.49/8.57 c 8.49/8.57 c core #35 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 44 8.49/8.57 c Current CPU time: 7.2249 s 8.49/8.57 c 8.49/8.57 c core #36 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 45 8.49/8.57 c Current CPU time: 7.38088 s 8.49/8.57 c 8.49/8.57 c core #37 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 46 8.49/8.57 c Current CPU time: 7.54485 s 8.49/8.57 c 8.49/8.57 c core #38 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 47 8.49/8.57 c Current CPU time: 7.69983 s 8.49/8.57 c 8.49/8.57 c core #39 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 48 8.49/8.57 c Current CPU time: 7.8648 s 8.49/8.57 c 8.49/8.57 c core #40 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 49 8.49/8.57 c Current CPU time: 8.02078 s 8.49/8.57 c 8.49/8.57 c core #41 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 50 8.49/8.57 c Current CPU time: 8.18475 s 8.49/8.57 c 8.49/8.57 c core #42 8.49/8.57 c 8.49/8.57 c 8.49/8.57 c Core size: 101 Core Weight: 1 Total Weight: 51 8.49/8.57 c Current CPU time: 8.34373 s 8.49/8.57 c 8.49/8.57 c core #43 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 52 15.30/15.40 c Current CPU time: 8.5137 s 15.30/15.40 c 15.30/15.40 c core #44 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 53 15.30/15.40 c Current CPU time: 8.67368 s 15.30/15.40 c 15.30/15.40 c core #45 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 54 15.30/15.40 c Current CPU time: 8.84266 s 15.30/15.40 c 15.30/15.40 c core #46 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 2 Total Weight: 56 15.30/15.40 c Current CPU time: 9.00363 s 15.30/15.40 c 15.30/15.40 c core #47 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 57 15.30/15.40 c Current CPU time: 9.1716 s 15.30/15.40 c 15.30/15.40 c core #48 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 58 15.30/15.40 c Current CPU time: 9.33058 s 15.30/15.40 c 15.30/15.40 c core #49 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 59 15.30/15.40 c Current CPU time: 9.50056 s 15.30/15.40 c 15.30/15.40 c core #50 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 60 15.30/15.40 c Current CPU time: 9.66253 s 15.30/15.40 c 15.30/15.40 c core #51 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 61 15.30/15.40 c Current CPU time: 9.8345 s 15.30/15.40 c 15.30/15.40 c core #52 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 62 15.30/15.40 c Current CPU time: 9.99448 s 15.30/15.40 c 15.30/15.40 c core #53 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 1101 Core Weight: 1 Total Weight: 63 15.30/15.40 c Current CPU time: 10.1645 s 15.30/15.40 c 15.30/15.40 c core #54 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 64 15.30/15.40 c Current CPU time: 10.3284 s 15.30/15.40 c 15.30/15.40 c core #55 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 65 15.30/15.40 c Current CPU time: 10.4994 s 15.30/15.40 c 15.30/15.40 c core #56 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 66 15.30/15.40 c Current CPU time: 10.6634 s 15.30/15.40 c 15.30/15.40 c core #57 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 67 15.30/15.40 c Current CPU time: 10.8324 s 15.30/15.40 c 15.30/15.40 c core #58 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 68 15.30/15.40 c Current CPU time: 10.9943 s 15.30/15.40 c 15.30/15.40 c core #59 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 3 Total Weight: 71 15.30/15.40 c Current CPU time: 11.1643 s 15.30/15.40 c 15.30/15.40 c core #60 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 72 15.30/15.40 c Current CPU time: 11.3233 s 15.30/15.40 c 15.30/15.40 c core #61 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 73 15.30/15.40 c Current CPU time: 11.4963 s 15.30/15.40 c 15.30/15.40 c core #62 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 74 15.30/15.40 c Current CPU time: 11.6592 s 15.30/15.40 c 15.30/15.40 c core #63 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 501 Core Weight: 1 Total Weight: 75 15.30/15.40 c Current CPU time: 11.8342 s 15.30/15.40 c 15.30/15.40 c core #64 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 76 15.30/15.40 c Current CPU time: 11.9952 s 15.30/15.40 c 15.30/15.40 c core #65 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 77 15.30/15.40 c Current CPU time: 12.1652 s 15.30/15.40 c 15.30/15.40 c core #66 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 78 15.30/15.40 c Current CPU time: 12.3271 s 15.30/15.40 c 15.30/15.40 c core #67 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 79 15.30/15.40 c Current CPU time: 12.5011 s 15.30/15.40 c 15.30/15.40 c core #68 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 80 15.30/15.40 c Current CPU time: 12.6651 s 15.30/15.40 c 15.30/15.40 c core #69 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 81 15.30/15.40 c Current CPU time: 12.838 s 15.30/15.40 c 15.30/15.40 c core #70 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 1101 Core Weight: 1 Total Weight: 82 15.30/15.40 c Current CPU time: 13.009 s 15.30/15.40 c 15.30/15.40 c core #71 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 83 15.30/15.40 c Current CPU time: 13.185 s 15.30/15.40 c 15.30/15.40 c core #72 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 84 15.30/15.40 c Current CPU time: 13.345 s 15.30/15.40 c 15.30/15.40 c core #73 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 85 15.30/15.40 c Current CPU time: 13.5169 s 15.30/15.40 c 15.30/15.40 c core #74 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 86 15.30/15.40 c Current CPU time: 13.6799 s 15.30/15.40 c 15.30/15.40 c core #75 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 2 Total Weight: 88 15.30/15.40 c Current CPU time: 13.8529 s 15.30/15.40 c 15.30/15.40 c core #76 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 89 15.30/15.40 c Current CPU time: 14.0119 s 15.30/15.40 c 15.30/15.40 c core #77 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 90 15.30/15.40 c Current CPU time: 14.1798 s 15.30/15.40 c 15.30/15.40 c core #78 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 201 Core Weight: 1 Total Weight: 91 15.30/15.40 c Current CPU time: 14.3408 s 15.30/15.40 c 15.30/15.40 c core #79 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 92 15.30/15.40 c Current CPU time: 14.5108 s 15.30/15.40 c 15.30/15.40 c core #80 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 301 Core Weight: 1 Total Weight: 93 15.30/15.40 c Current CPU time: 14.6728 s 15.30/15.40 c 15.30/15.40 c core #81 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 94 15.30/15.40 c Current CPU time: 14.8437 s 15.30/15.40 c 15.30/15.40 c core #82 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 95 15.30/15.40 c Current CPU time: 15.0087 s 15.30/15.40 c 15.30/15.40 c core #83 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 1 Total Weight: 96 15.30/15.40 c Current CPU time: 15.1837 s 15.30/15.40 c 15.30/15.40 c core #84 15.30/15.40 c 15.30/15.40 c 15.30/15.40 c Core size: 101 Core Weight: 2 Total Weight: 98 15.30/15.40 c Current CPU time: 15.3457 s 22.69/22.77 c 22.69/22.77 c core #85 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 101 Core Weight: 2 Total Weight: 100 22.69/22.77 c Current CPU time: 15.5186 s 22.69/22.77 c 22.69/22.77 c core #86 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 101 Core Weight: 1 Total Weight: 101 22.69/22.77 c Current CPU time: 15.6846 s 22.69/22.77 c 22.69/22.77 c core #87 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 101 Core Weight: 1 Total Weight: 102 22.69/22.77 c Current CPU time: 15.8606 s 22.69/22.77 c 22.69/22.77 c core #88 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 101 Core Weight: 1 Total Weight: 103 22.69/22.77 c Current CPU time: 16.0276 s 22.69/22.77 c 22.69/22.77 c core #89 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 101 Core Weight: 4 Total Weight: 107 22.69/22.77 c Current CPU time: 16.1975 s 22.69/22.77 c 22.69/22.77 c core #90 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 101 Core Weight: 1 Total Weight: 108 22.69/22.77 c Current CPU time: 16.3645 s 22.69/22.77 c 22.69/22.77 c core #91 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 101 Core Weight: 2 Total Weight: 110 22.69/22.77 c Current CPU time: 16.5415 s 22.69/22.77 c 22.69/22.77 c core #92 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 101 Core Weight: 1 Total Weight: 111 22.69/22.77 c Current CPU time: 16.7095 s 22.69/22.77 c 22.69/22.77 c core #93 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 101 Core Weight: 1 Total Weight: 112 22.69/22.77 c Current CPU time: 16.8834 s 22.69/22.77 c 22.69/22.77 c core #94 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 201 Core Weight: 1 Total Weight: 113 22.69/22.77 c Current CPU time: 17.0494 s 22.69/22.77 c 22.69/22.77 c core #95 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 401 Core Weight: 1 Total Weight: 114 22.69/22.77 c Current CPU time: 17.2254 s 22.69/22.77 c 22.69/22.77 c core #96 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 101 Core Weight: 1 Total Weight: 115 22.69/22.77 c Current CPU time: 17.3884 s 22.69/22.77 c 22.69/22.77 c core #97 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 1001 Core Weight: 1 Total Weight: 116 22.69/22.77 c Current CPU time: 17.5683 s 22.69/22.77 c 22.69/22.77 c core #98 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 101 Core Weight: 2 Total Weight: 118 22.69/22.77 c Current CPU time: 17.7383 s 22.69/22.77 c 22.69/22.77 c core #99 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 101 Core Weight: 1 Total Weight: 119 22.69/22.77 c Current CPU time: 17.9173 s 22.69/22.77 c 22.69/22.77 c core #100 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 101 Core Weight: 1 Total Weight: 120 22.69/22.77 c Current CPU time: 18.0843 s 22.69/22.77 c 22.69/22.77 c core #101 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 1901 Core Weight: 1 Total Weight: 121 22.69/22.77 c Current CPU time: 18.2662 s 22.69/22.77 c 22.69/22.77 c core #102 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 101 Core Weight: 1 Total Weight: 122 22.69/22.77 c Current CPU time: 18.4402 s 22.69/22.77 c 22.69/22.77 c core #103 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 101 Core Weight: 1 Total Weight: 123 22.69/22.77 c Current CPU time: 18.6192 s 22.69/22.77 c 22.69/22.77 c core #104 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 101 Core Weight: 1 Total Weight: 124 22.69/22.77 c Current CPU time: 18.7891 s 22.69/22.77 c 22.69/22.77 c core #105 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 101 Core Weight: 1 Total Weight: 125 22.69/22.77 c Current CPU time: 18.9661 s 22.69/22.77 c 22.69/22.77 c core #106 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 101 Core Weight: 6 Total Weight: 131 22.69/22.77 c Current CPU time: 19.1381 s 22.69/22.77 c 22.69/22.77 c core #107 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 101 Core Weight: 1 Total Weight: 132 22.69/22.77 c Current CPU time: 19.3151 s 22.69/22.77 c 22.69/22.77 c core #108 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 101 Core Weight: 1 Total Weight: 133 22.69/22.77 c Current CPU time: 19.484 s 22.69/22.77 c 22.69/22.77 c core #109 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 101 Core Weight: 1 Total Weight: 134 22.69/22.77 c Current CPU time: 19.667 s 22.69/22.77 c 22.69/22.77 c core #110 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 201 Core Weight: 2 Total Weight: 136 22.69/22.77 c Current CPU time: 19.839 s 22.69/22.77 c 22.69/22.77 c core #111 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 101 Core Weight: 2 Total Weight: 138 22.69/22.77 c Current CPU time: 20.018 s 22.69/22.77 c 22.69/22.77 c core #112 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 101 Core Weight: 1 Total Weight: 139 22.69/22.77 c Current CPU time: 20.1849 s 22.69/22.77 c 22.69/22.77 c core #113 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 101 Core Weight: 1 Total Weight: 140 22.69/22.77 c Current CPU time: 20.3599 s 22.69/22.77 c 22.69/22.77 c core #114 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 200 Core Weight: 1 Total Weight: 141 22.69/22.77 c Current CPU time: 20.5269 s 22.69/22.77 c 22.69/22.77 c core #115 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 1361 Core Weight: 1 Total Weight: 142 22.69/22.77 c Current CPU time: 20.7188 s 22.69/22.77 c 22.69/22.77 c core #116 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 201 Core Weight: 2 Total Weight: 144 22.69/22.77 c Current CPU time: 20.8918 s 22.69/22.77 c 22.69/22.77 c core #117 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 1649 Core Weight: 1 Total Weight: 145 22.69/22.77 c Current CPU time: 21.0778 s 22.69/22.77 c 22.69/22.77 c core #118 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 1259 Core Weight: 1 Total Weight: 146 22.69/22.77 c Current CPU time: 21.2558 s 22.69/22.77 c 22.69/22.77 c core #119 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 200 Core Weight: 1 Total Weight: 147 22.69/22.77 c Current CPU time: 21.4387 s 22.69/22.77 c 22.69/22.77 c core #120 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 101 Core Weight: 3 Total Weight: 150 22.69/22.77 c Current CPU time: 21.6167 s 22.69/22.77 c 22.69/22.77 c core #121 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 497 Core Weight: 1 Total Weight: 151 22.69/22.77 c Current CPU time: 21.7987 s 22.69/22.77 c 22.69/22.77 c core #122 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 101 Core Weight: 4 Total Weight: 155 22.69/22.77 c Current CPU time: 21.9757 s 22.69/22.77 c 22.69/22.77 c core #123 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 101 Core Weight: 1 Total Weight: 156 22.69/22.77 c Current CPU time: 22.1596 s 22.69/22.77 c 22.69/22.77 c core #124 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 398 Core Weight: 1 Total Weight: 157 22.69/22.77 c Current CPU time: 22.3386 s 22.69/22.77 c 22.69/22.77 c core #125 22.69/22.77 c 22.69/22.77 c 22.69/22.77 c Core size: 499 Core Weight: 1 Total Weight: 158 22.69/22.77 c Current CPU time: 22.5266 s 22.69/22.77 c 22.69/22.77 c ============================[ Search Statistics ]============================== 22.69/22.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.69/22.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.69/22.77 c =============================================================================== 22.69/22.77 c | 0 | 23854 690521 46930 | 230173 0 -nan | 0.000 % | 22.69/22.77 c =============================================================================== 22.89/22.96 c core #126 22.89/22.96 c 22.89/22.96 c 22.89/22.96 c Core size: 700 Core Weight: 1 Total Weight: 159 22.89/22.96 c Current CPU time: 22.7095 s 22.89/22.96 c 22.89/22.96 c ============================[ Search Statistics ]============================== 22.89/22.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.89/22.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.89/22.96 c =============================================================================== 22.89/22.96 c | 0 | 24881 691194 47839 | 230398 0 -nan | 0.000 % | 22.89/22.97 c =============================================================================== 23.11/23.15 c core #127 23.11/23.15 c 23.11/23.15 c 23.11/23.15 c Core size: 692 Core Weight: 1 Total Weight: 160 23.11/23.15 c Current CPU time: 22.9085 s 23.11/23.15 c 23.11/23.15 c ============================[ Search Statistics ]============================== 23.11/23.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.11/23.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.11/23.15 c =============================================================================== 23.11/23.15 c | 0 | 25568 691857 48682 | 230619 0 -nan | 0.000 % | 23.11/23.19 c =============================================================================== 23.29/23.38 c core #128 23.29/23.38 c 23.29/23.38 c 23.29/23.38 c Core size: 2338 Core Weight: 1 Total Weight: 161 23.29/23.38 c Current CPU time: 23.1265 s 23.29/23.38 c 23.29/23.38 c ============================[ Search Statistics ]============================== 23.29/23.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.29/23.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.29/23.38 c =============================================================================== 23.29/23.38 c | 0 | 27915 694121 51445 | 231373 0 -nan | 0.000 % | 23.39/23.40 c =============================================================================== 23.49/23.58 c core #129 23.49/23.58 c 23.49/23.58 c 23.49/23.58 c Core size: 1078 Core Weight: 1 Total Weight: 162 23.49/23.58 c Current CPU time: 23.3375 s 23.49/23.58 c 23.49/23.58 c ============================[ Search Statistics ]============================== 23.49/23.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.49/23.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.49/23.58 c =============================================================================== 23.49/23.58 c | 0 | 28993 695158 52746 | 231719 0 -nan | 0.000 % | 23.59/23.64 c =============================================================================== 23.79/23.84 c core #130 23.79/23.84 c 23.79/23.84 c 23.79/23.84 c Core size: 2722 Core Weight: 1 Total Weight: 163 23.79/23.84 c Current CPU time: 23.5824 s 23.79/23.84 c 23.79/23.84 c ============================[ Search Statistics ]============================== 23.79/23.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.79/23.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.79/23.84 c =============================================================================== 23.79/23.84 c | 0 | 31739 697736 56288 | 232578 0 -nan | 0.000 % | 23.90/23.90 c =============================================================================== 24.00/24.11 c core #131 24.00/24.11 c 24.00/24.11 c 24.00/24.11 c Core size: 2613 Core Weight: 1 Total Weight: 164 24.00/24.11 c Current CPU time: 23.8344 s 24.00/24.11 c 24.00/24.11 c ============================[ Search Statistics ]============================== 24.00/24.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.00/24.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.00/24.11 c =============================================================================== 24.00/24.11 c | 0 | 34474 700210 59932 | 233403 0 -nan | 0.000 % | 24.11/24.16 c | 101 | 34474 700210 59932 | 256743 101 1491 | 21.605 % | 24.59/24.65 c =============================================================================== 24.79/24.87 c core #132 24.79/24.87 c 24.79/24.87 c 24.79/24.87 c Core size: 6135 Core Weight: 1 Total Weight: 165 24.79/24.87 c Current CPU time: 24.5853 s 24.79/24.87 c 24.79/24.87 c ============================[ Search Statistics ]============================== 24.79/24.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.79/24.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.79/24.87 c =============================================================================== 24.79/24.87 c | 0 | 40661 705995 67719 | 235331 0 -nan | 0.000 % | 24.89/24.93 c | 101 | 40661 705995 67719 | 258864 101 1211 | 18.852 % | 25.09/25.11 c | 251 | 40661 705995 67719 | 284751 251 2008 | 18.852 % | 25.20/25.29 c | 480 | 40661 705995 67719 | 313226 480 2008 | 18.852 % | 25.59/25.64 c | 817 | 40658 705995 67719 | 344549 817 2473 | 18.858 % | 26.79/26.87 c =============================================================================== 26.99/27.09 c core #133 26.99/27.09 c 26.99/27.09 c 26.99/27.09 c Core size: 9281 Core Weight: 1 Total Weight: 166 26.99/27.09 c Current CPU time: 26.7999 s 26.99/27.09 c 26.99/27.09 c ============================[ Search Statistics ]============================== 26.99/27.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.99/27.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.99/27.09 c =============================================================================== 26.99/27.09 c | 0 | 50032 714497 80227 | 238165 0 -nan | 0.000 % | 27.09/27.16 c | 100 | 50032 714497 80227 | 261982 100 1295 | 15.751 % | 27.29/27.36 c | 254 | 50032 714497 80227 | 288180 254 1513 | 15.751 % | 27.59/27.60 c | 480 | 50032 714497 80227 | 316998 480 1410 | 15.751 % | 27.89/27.92 c | 819 | 50032 714497 80227 | 348698 819 1183 | 15.751 % | 28.29/28.31 c | 1326 | 50032 714497 80227 | 383568 1326 1099 | 15.751 % | 28.89/28.99 c | 2085 | 50032 714497 80227 | 421925 2085 1136 | 15.751 % | 29.99/30.08 c | 3226 | 50032 714497 80227 | 464117 3226 1221 | 15.751 % | 31.80/31.83 c | 4935 | 50029 714497 80227 | 510529 4935 1674 | 15.756 % | 35.29/35.34 c | 7498 | 50028 714497 80227 | 561582 7498 2328 | 15.758 % | 40.70/40.71 c | 11342 | 50020 714497 80227 | 617740 11342 2711 | 15.771 % | 44.19/44.25 c =============================================================================== 44.50/44.56 c core #134 44.50/44.56 c 44.50/44.56 c 44.50/44.56 c Core size: 10565 Core Weight: 1 Total Weight: 167 44.50/44.56 c Current CPU time: 44.1873 s 44.50/44.56 c 44.50/44.56 c ============================[ Search Statistics ]============================== 44.50/44.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.50/44.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.50/44.56 c =============================================================================== 44.50/44.56 c | 0 | 60688 723604 95169 | 241201 0 -nan | 0.000 % | 44.59/44.65 c | 100 | 60688 723604 95169 | 265321 100 1556 | 13.231 % | 44.79/44.84 c | 252 | 60688 723604 95169 | 291853 252 1308 | 13.231 % | 45.00/45.10 c | 479 | 60688 723604 95169 | 321038 479 853 | 13.231 % | 45.59/45.66 c | 817 | 60688 723604 95169 | 353142 817 899 | 13.231 % | 46.59/46.61 c | 1327 | 60688 723604 95169 | 388457 1327 1091 | 13.231 % | 47.79/47.86 c | 2087 | 60688 723604 95169 | 427302 2087 1088 | 13.231 % | 49.59/49.61 c | 3228 | 60688 723604 95169 | 470033 3228 958 | 13.231 % | 51.89/51.95 c | 4936 | 60688 723604 95169 | 517036 4936 1082 | 13.231 % | 55.60/55.62 c | 7499 | 60688 723604 95169 | 568740 7499 1193 | 13.231 % | 62.49/62.50 c | 11344 | 60688 723604 95169 | 625614 11344 1310 | 13.231 % | 74.70/74.79 c | 17110 | 60688 723604 95169 | 688175 17110 1490 | 13.231 % | 96.30/96.37 c | 25763 | 60688 723604 95169 | 756993 25763 2078 | 13.231 % | 121.49/121.50 c | 38738 | 60688 723604 95169 | 832692 38738 1965 | 13.231 % | 166.79/166.80 c | 58201 | 60687 723604 95169 | 915961 58201 1988 | 13.232 % | 245.50/245.59 c | 87395 | 60686 723604 95169 | 1007557 87395 2299 | 13.234 % | 391.52/391.51 c | 131184 | 60686 723604 95169 | 1108313 131184 2580 | 13.234 % | 659.41/659.47 c | 196868 | 60686 723604 95169 | 1219144 196868 2794 | 13.234 % | 1116.22/1116.28 c | 295396 | 60686 723604 95169 | 1341059 295396 3003 | 13.234 % |
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-3460848-1307078022/watcher-3460848-1307078022 -o /tmp/evaluation-result-3460848-1307078022/solver-3460848-1307078022 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460848-1307078022.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.03 2.06 3/433 17144 /proc/meminfo: memFree=20923012/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=21456 CPUtime=0 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 908 0 0 0 0 0 0 0 25 0 1 0 819400085 21970944 861 33554432000 4194304 5714214 140734519556784 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 5364 862 199 372 0 781 0 [startup+0.030969 s] /proc/loadavg: 2.00 2.03 2.06 3/433 17144 /proc/meminfo: memFree=20923012/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=22576 CPUtime=0.02 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 1220 0 0 0 2 0 0 0 25 0 1 0 819400085 23117824 1173 33554432000 4194304 5714214 140734519556784 18446744073709551615 4907967 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 5644 1173 261 372 0 1061 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 22576 [startup+0.100972 s] /proc/loadavg: 2.00 2.03 2.06 3/433 17144 /proc/meminfo: memFree=20923012/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=25684 CPUtime=0.09 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 2263 0 0 0 9 0 0 0 25 0 1 0 819400085 26300416 2183 33554432000 4194304 5714214 140734519556784 18446744073709551615 4232592 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 6421 2183 501 372 0 1838 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25684 [startup+0.300972 s] /proc/loadavg: 2.00 2.03 2.06 3/433 17144 /proc/meminfo: memFree=20923012/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=34720 CPUtime=0.29 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 5202 0 0 0 29 0 0 0 25 0 1 0 819400085 35553280 4928 33554432000 4194304 5714214 140734519556784 18446744073709551615 5136774 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 8680 4929 1168 372 0 4097 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 34720 [startup+0.700882 s] /proc/loadavg: 2.00 2.03 2.06 3/433 17144 /proc/meminfo: memFree=20923012/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=52024 CPUtime=0.69 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 10945 0 0 0 68 1 0 0 25 0 1 0 819400085 53272576 10414 33554432000 4194304 5714214 140734519556784 18446744073709551615 4233632 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 13006 10415 2476 372 0 8423 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 52024 [startup+1.50071 s] /proc/loadavg: 2.00 2.03 2.06 3/437 17151 /proc/meminfo: memFree=20831212/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=142444 CPUtime=1.49 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 40057 0 0 0 144 5 0 0 25 0 1 0 819400085 145862656 34805 33554432000 4194304 5714214 140734519556784 18446744073709551615 4207665 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 35611 34805 170 372 0 35236 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 142444 [startup+3.10041 s] /proc/loadavg: 2.00 2.03 2.06 3/437 17151 /proc/meminfo: memFree=20572424/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=178336 CPUtime=3.09 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 50961 0 0 0 304 5 0 0 25 0 1 0 819400085 182616064 42964 33554432000 4194304 5714214 140734519556784 18446744073709551615 4336814 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 44584 42964 175 372 0 44209 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 178336 [startup+6.30087 s] /proc/loadavg: 2.00 2.03 2.06 3/437 17151 /proc/meminfo: memFree=20571864/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=178336 CPUtime=6.29 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 50968 0 0 0 624 5 0 0 25 0 1 0 819400085 182616064 42971 33554432000 4194304 5714214 140734519556784 18446744073709551615 4355851 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 44584 42971 175 372 0 44209 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 178336 [startup+12.7007 s] /proc/loadavg: 2.00 2.03 2.06 3/437 17152 /proc/meminfo: memFree=20570556/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=178336 CPUtime=12.69 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 50984 0 0 0 1264 5 0 0 25 0 1 0 819400085 182616064 42987 33554432000 4194304 5714214 140734519556784 18446744073709551615 4977970 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 44584 42987 175 372 0 44209 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 178336 [startup+25.5003 s] /proc/loadavg: 2.00 2.03 2.06 3/437 17152 /proc/meminfo: memFree=20525856/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=200016 CPUtime=25.49 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 60012 0 0 0 2542 7 0 0 18 0 1 0 819400085 204816384 48713 33554432000 4194304 5714214 140734519556784 18446744073709551615 4322937 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 50004 48713 180 372 0 49629 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 200016 [startup+51.1006 s] /proc/loadavg: 2.00 2.02 2.05 3/437 17153 /proc/meminfo: memFree=20288692/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=363436 CPUtime=51.09 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 101049 0 0 0 5093 16 0 0 25 0 1 0 819400085 372158464 88371 33554432000 4194304 5714214 140734519556784 18446744073709551615 4311876 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 90859 88371 180 372 0 90484 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 363436 [startup+102.316 s] /proc/loadavg: 2.00 2.02 2.05 3/437 17154 /proc/meminfo: memFree=20032508/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=406696 CPUtime=102.31 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 112586 0 0 0 10210 21 0 0 25 0 1 0 819400085 416456704 99908 33554432000 4194304 5714214 140734519556784 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 101674 99908 180 372 0 101299 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 406696 [startup+162.301 s] /proc/loadavg: 2.09 2.04 2.05 3/437 17156 /proc/meminfo: memFree=19511180/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=607588 CPUtime=162.3 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 162825 0 0 0 16194 36 0 0 25 0 1 0 819400085 622170112 150147 33554432000 4194304 5714214 140734519556784 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 151897 150147 180 372 0 151522 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 607588 [startup+222.301 s] /proc/loadavg: 2.07 2.05 2.05 3/437 17157 /proc/meminfo: memFree=18961208/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=850472 CPUtime=222.3 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 223509 0 0 0 22184 46 0 0 25 0 1 0 819400085 870883328 210831 33554432000 4194304 5714214 140734519556784 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 212618 210831 180 372 0 212243 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 850472 [startup+282.301 s] /proc/loadavg: 2.18 2.07 2.06 3/437 17159 /proc/meminfo: memFree=18452628/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=1092560 CPUtime=282.3 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 283986 0 0 0 28170 60 0 0 25 0 1 0 819400085 1118781440 271308 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319269 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 273140 271308 180 372 0 272765 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 1092560 [startup+342.301 s] /proc/loadavg: 2.14 2.07 2.06 3/437 17160 /proc/meminfo: memFree=17977572/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=1314420 CPUtime=342.3 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 339473 0 0 0 34160 70 0 0 25 0 1 0 819400085 1345966080 326795 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 328605 326795 180 372 0 328230 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 1314420 [startup+402.301 s] /proc/loadavg: 2.05 2.05 2.05 3/437 17162 /proc/meminfo: memFree=17503452/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=1536860 CPUtime=402.3 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 395088 0 0 0 40148 82 0 0 25 0 1 0 819400085 1573744640 382410 33554432000 4194304 5714214 140734519556784 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 384215 382410 180 372 0 383840 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 1536860 [startup+462.3 s] /proc/loadavg: 2.02 2.04 2.04 3/437 17164 /proc/meminfo: memFree=17056420/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=1737716 CPUtime=462.3 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 445172 0 0 0 46138 92 0 0 25 0 1 0 819400085 1779421184 432494 33554432000 4194304 5714214 140734519556784 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 434429 432494 180 372 0 434054 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 1737716 [startup+522.3 s] /proc/loadavg: 2.00 2.03 2.04 3/437 17165 /proc/meminfo: memFree=16598332/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=1953128 CPUtime=522.31 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 499031 0 0 0 52129 102 0 0 25 0 1 0 819400085 2000003072 486353 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 488282 486353 180 372 0 487907 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 1953128 [startup+582.3 s] /proc/loadavg: 2.00 2.02 2.03 3/437 17167 /proc/meminfo: memFree=16289152/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=2133644 CPUtime=582.31 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 544176 0 0 0 58119 112 0 0 25 0 1 0 819400085 2184851456 531498 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 533411 531498 180 372 0 533036 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 2133644 [startup+642.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.09 2.05 2.03 3/437 17175 /proc/meminfo: memFree=15341632/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=3072444 CPUtime=882.32 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 778733 0 0 0 88070 162 0 0 25 0 1 0 819400085 3146182656 766055 33554432000 4194304 5714214 140734519556784 18446744073709551615 4311837 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 768111 766055 180 372 0 767736 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 3072444 [startup+942.301 s] /proc/loadavg: 2.03 2.04 2.02 3/437 17176 /proc/meminfo: memFree=15155472/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=3261604 CPUtime=942.32 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 826006 0 0 0 94060 172 0 0 25 0 1 0 819400085 3339882496 813328 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 815401 813328 180 372 0 815026 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 3261604 [startup+1002.3 s] /proc/loadavg: 2.01 2.03 2.02 3/437 17178 /proc/meminfo: memFree=15008368/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=3405264 CPUtime=1002.32 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 861893 0 0 0 100050 182 0 0 25 0 1 0 819400085 3486990336 849215 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 851316 849215 180 372 0 850941 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 3405264 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.01 3/437 17180 /proc/meminfo: memFree=14856440/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=3558580 CPUtime=1062.33 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 900233 0 0 0 106042 191 0 0 25 0 1 0 819400085 3643985920 887555 33554432000 4194304 5714214 140734519556784 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 889645 887555 180 372 0 889270 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 3558580 [startup+1122.3 s] /proc/loadavg: 2.00 2.02 2.01 3/437 17181 /proc/meminfo: memFree=14706128/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=3706732 CPUtime=1122.33 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 937301 0 0 0 112035 198 0 0 25 0 1 0 819400085 3795693568 924623 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 926683 924623 180 372 0 926308 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 3706732 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/437 17183 /proc/meminfo: memFree=14427588/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=3891432 CPUtime=1182.33 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 983475 0 0 0 118027 206 0 0 25 0 1 0 819400085 3984826368 970797 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 972858 970797 180 372 0 972483 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 3891432 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 2.00 3/437 17184 /proc/meminfo: memFree=14069072/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=4068140 CPUtime=1242.34 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 1027350 0 0 0 124019 215 0 0 25 0 1 0 819400085 4165775360 1014672 33554432000 4194304 5714214 140734519556784 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 1017035 1014672 180 372 0 1016660 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 4068140 [startup+1302.3 s] /proc/loadavg: 2.03 2.02 2.00 3/437 17186 /proc/meminfo: memFree=13709168/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=4251792 CPUtime=1302.35 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 1073239 0 0 0 130013 222 0 0 25 0 1 0 819400085 4353835008 1060561 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 1062948 1060561 180 372 0 1062573 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 4251792 [startup+1362.3 s] /proc/loadavg: 2.01 2.01 2.00 3/437 17188 /proc/meminfo: memFree=13362440/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=4387436 CPUtime=1362.33 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 1107145 0 0 0 136004 229 0 0 25 0 1 0 819400085 4492734464 1094467 33554432000 4194304 5714214 140734519556784 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 1096859 1094467 180 372 0 1096484 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 4387436 [startup+1422.32 s] /proc/loadavg: 2.05 2.02 2.00 3/437 17189 /proc/meminfo: memFree=13062084/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=4487332 CPUtime=1422.35 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 1132130 0 0 0 142000 235 0 0 25 0 1 0 819400085 4595027968 1119452 33554432000 4194304 5714214 140734519556784 18446744073709551615 4311706 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 1121833 1119452 180 372 0 1121458 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 4487332 [startup+1482.3 s] /proc/loadavg: 2.02 2.02 2.00 3/437 17191 /proc/meminfo: memFree=12819508/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=4559792 CPUtime=1482.34 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 1150249 0 0 0 147995 239 0 0 25 0 1 0 819400085 4669227008 1137571 33554432000 4194304 5714214 140734519556784 18446744073709551615 4311848 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 1139948 1137571 180 372 0 1139573 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 4559792 [startup+1542.3 s] /proc/loadavg: 2.04 2.03 2.00 3/437 17192 /proc/meminfo: memFree=12563168/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=4630984 CPUtime=1542.34 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 1168034 0 0 0 153991 243 0 0 25 0 1 0 819400085 4742127616 1155356 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 1157746 1155356 180 372 0 1157371 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 4630984 [startup+1602.3 s] /proc/loadavg: 2.07 2.03 2.00 3/437 17194 /proc/meminfo: memFree=12263288/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=4712740 CPUtime=1602.34 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 1188487 0 0 0 159987 247 0 0 25 0 1 0 819400085 4825845760 1175809 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 1178185 1175809 180 372 0 1177810 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 4712740 [startup+1662.3 s] /proc/loadavg: 2.08 2.04 2.00 3/437 17196 /proc/meminfo: memFree=12003608/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=4768184 CPUtime=1662.35 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 1202326 0 0 0 165985 250 0 0 25 0 1 0 819400085 4882620416 1189648 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 1192046 1189648 180 372 0 1191671 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 4768184 [startup+1722.3 s] /proc/loadavg: 2.03 2.03 2.00 3/437 17197 /proc/meminfo: memFree=11737956/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=4834832 CPUtime=1722.34 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 1218971 0 0 0 171981 253 0 0 25 0 1 0 819400085 4950867968 1206293 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 1208708 1206293 180 372 0 1208333 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 4834832 [startup+1782.3 s] /proc/loadavg: 2.16 2.08 2.02 3/437 17199 /proc/meminfo: memFree=11526136/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=4895072 CPUtime=1782.35 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 1234006 0 0 0 177978 257 0 0 25 0 1 0 819400085 5012553728 1221328 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 1223768 1221328 180 372 0 1223393 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 4895072 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.12 2.07 2.01 3/437 17199 /proc/meminfo: memFree=11460648/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=4915160 CPUtime=1800.07 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 1239028 0 0 0 179749 258 0 0 25 0 1 0 819400085 5033123840 1226350 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17144/statm: 1228790 1226350 180 372 0 1228415 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 4915160 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.2 s] /proc/loadavg: 2.12 2.07 2.01 3/437 17199 /proc/meminfo: memFree=11460648/32951124 swapFree=60787360/67111528 [pid=17144] ppid=17142 vsize=0 CPUtime=1800.25 cores=0,2,4,6 /proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4203524 1239028 0 0 0 179749 276 0 0 25 0 1 0 819400085 0 0 33554432000 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0 /proc/17144/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.24 CPU time (s): 1800.3 CPU user time (s): 1797.49 CPU system time (s): 2.80557 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 4915160 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.49 system time used= 2.80557 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1239028 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= 12 involuntary context switches= 2409 runsolver used 8.14976 second user time and 16.6775 second system time The end
Begin job on node135 at 2011-06-03 07:13:42 IDJOB=3460848 IDBENCH=1972 IDSOLVER=1953 FILE ID=node135/3460848-1307078022 RUNJOBID= node135-1307074417-16910 PBS_JOBID= 13497851 Free space on /tmp= 73928 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460848-1307078022/watcher-3460848-1307078022 -o /tmp/evaluation-result-3460848-1307078022/solver-3460848-1307078022 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460848-1307078022.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 093efae700664f798191c0b27cec34af RANDOM SEED=229975099 node135.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.851 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.70 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.851 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.83 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.851 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 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 : 6640.14 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.851 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.78 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.851 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.851 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.74 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.851 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: 32951124 kB MemFree: 20923292 kB Buffers: 209516 kB Cached: 457568 kB SwapCached: 6168 kB Active: 11386332 kB Inactive: 383404 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 20923292 kB SwapTotal: 67111528 kB SwapFree: 60787360 kB Dirty: 35332 kB Writeback: 0 kB AnonPages: 11102156 kB Mapped: 25564 kB Slab: 125604 kB PageTables: 65452 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 124375896 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73920 MiB End job on node135 at 2011-06-03 07:43:44