Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.6 | ? (TO) | 1800.08 | 1800.06 |
Name | /OPT-SMALLINT-LIN/ heinz/normalized-seymour.opb |
MD5SUM | 81e2a90d1271d1dbaf7ba2223c5c350c |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 424 |
Best CPU time to get the best result obtained on this benchmark | 1797.05 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 1372 |
Total number of constraints | 4944 |
Number of constraints which are clauses | 4944 |
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 | 1 |
Maximum length of a constraint | 19 |
Number of terms in the objective function | 1372 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1372 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1372 |
Number of bits of the biggest sum of numbers | 11 |
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-3479268-1307448396.opb. 0.00/0.00 c Instance file HOME/instance-3479268-1307448396.opb 0.00/0.00 c File size is 314588 bytes. 0.00/0.02 c Highest Coefficient sum: 20 0.00/0.02 c ============================[ Problem Statistics ]============================= 0.00/0.02 c | | 0.00/0.02 c | Parsing time: 0.02 s | 0.00/0.02 c | Number Variables: 1372 | 0.00/0.02 c | Number Clauses: 4944 | 0.00/0.02 c | Number Cardinality: 0 | 0.00/0.02 c | Number PB Constraints: 0 | 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1255 4944 33432 | 5000 0 -nan | 0.000 % | 0.09/0.13 c core #1 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 118 0.09/0.13 c Current CPU time: 0.025996 s 0.09/0.13 c 0.09/0.13 c core #2 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 119 0.09/0.13 c Current CPU time: 0.028995 s 0.09/0.13 c 0.09/0.13 c core #3 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 120 0.09/0.13 c Current CPU time: 0.030995 s 0.09/0.13 c 0.09/0.13 c core #4 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 121 0.09/0.13 c Current CPU time: 0.033994 s 0.09/0.13 c 0.09/0.13 c core #5 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 5 Core Weight: 1 Total Weight: 122 0.09/0.13 c Current CPU time: 0.036994 s 0.09/0.13 c 0.09/0.13 c core #6 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 123 0.09/0.13 c Current CPU time: 0.038994 s 0.09/0.13 c 0.09/0.13 c core #7 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 5 Core Weight: 1 Total Weight: 124 0.09/0.13 c Current CPU time: 0.041993 s 0.09/0.13 c 0.09/0.13 c core #8 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 125 0.09/0.13 c Current CPU time: 0.044993 s 0.09/0.13 c 0.09/0.13 c core #9 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 126 0.09/0.13 c Current CPU time: 0.046992 s 0.09/0.13 c 0.09/0.13 c core #10 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 127 0.09/0.13 c Current CPU time: 0.049992 s 0.09/0.13 c 0.09/0.13 c core #11 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 128 0.09/0.13 c Current CPU time: 0.051992 s 0.09/0.13 c 0.09/0.13 c core #12 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 129 0.09/0.13 c Current CPU time: 0.054991 s 0.09/0.13 c 0.09/0.13 c core #13 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 130 0.09/0.13 c Current CPU time: 0.057991 s 0.09/0.13 c 0.09/0.13 c core #14 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 131 0.09/0.13 c Current CPU time: 0.06099 s 0.09/0.13 c 0.09/0.13 c core #15 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 5 Core Weight: 1 Total Weight: 132 0.09/0.13 c Current CPU time: 0.06299 s 0.09/0.13 c 0.09/0.13 c core #16 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 133 0.09/0.13 c Current CPU time: 0.065989 s 0.09/0.13 c 0.09/0.13 c core #17 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 134 0.09/0.13 c Current CPU time: 0.068989 s 0.09/0.13 c 0.09/0.13 c core #18 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 135 0.09/0.13 c Current CPU time: 0.070989 s 0.09/0.13 c 0.09/0.13 c core #19 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 136 0.09/0.13 c Current CPU time: 0.073988 s 0.09/0.13 c 0.09/0.13 c core #20 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 137 0.09/0.13 c Current CPU time: 0.076988 s 0.09/0.13 c 0.09/0.13 c core #21 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 138 0.09/0.13 c Current CPU time: 0.079987 s 0.09/0.13 c 0.09/0.13 c core #22 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 139 0.09/0.13 c Current CPU time: 0.081987 s 0.09/0.13 c 0.09/0.13 c core #23 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 5 Core Weight: 1 Total Weight: 140 0.09/0.13 c Current CPU time: 0.084987 s 0.09/0.13 c 0.09/0.13 c core #24 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 141 0.09/0.13 c Current CPU time: 0.087986 s 0.09/0.13 c 0.09/0.13 c core #25 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 142 0.09/0.13 c Current CPU time: 0.089986 s 0.09/0.13 c 0.09/0.13 c core #26 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 143 0.09/0.13 c Current CPU time: 0.092985 s 0.09/0.13 c 0.09/0.13 c core #27 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 144 0.09/0.13 c Current CPU time: 0.095985 s 0.09/0.13 c 0.09/0.13 c core #28 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 145 0.09/0.13 c Current CPU time: 0.098984 s 0.09/0.13 c 0.09/0.13 c core #29 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 146 0.09/0.13 c Current CPU time: 0.100984 s 0.09/0.13 c 0.09/0.13 c core #30 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 147 0.09/0.13 c Current CPU time: 0.103984 s 0.09/0.13 c 0.09/0.13 c core #31 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 148 0.09/0.13 c Current CPU time: 0.106983 s 0.09/0.13 c 0.09/0.13 c core #32 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 149 0.09/0.13 c Current CPU time: 0.109983 s 0.09/0.13 c 0.09/0.13 c core #33 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 150 0.09/0.13 c Current CPU time: 0.111982 s 0.09/0.13 c 0.09/0.13 c core #34 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 151 0.09/0.13 c Current CPU time: 0.114982 s 0.09/0.13 c 0.09/0.13 c core #35 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 152 0.09/0.13 c Current CPU time: 0.117982 s 0.09/0.13 c 0.09/0.13 c core #36 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 153 0.09/0.13 c Current CPU time: 0.120981 s 0.09/0.13 c 0.09/0.13 c core #37 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 9 Core Weight: 1 Total Weight: 154 0.09/0.13 c Current CPU time: 0.122981 s 0.09/0.13 c 0.09/0.13 c core #38 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 155 0.09/0.13 c Current CPU time: 0.12598 s 0.09/0.13 c 0.09/0.13 c core #39 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 156 0.09/0.13 c Current CPU time: 0.12898 s 0.09/0.13 c 0.09/0.13 c core #40 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 157 0.09/0.13 c Current CPU time: 0.131979 s 0.09/0.13 c 0.09/0.13 c core #41 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 158 0.09/0.13 c Current CPU time: 0.134979 s 0.09/0.13 c 0.09/0.13 c core #42 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 159 0.09/0.13 c Current CPU time: 0.136979 s 0.19/0.25 c 0.19/0.25 c core #43 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 4 Core Weight: 1 Total Weight: 160 0.19/0.25 c Current CPU time: 0.139978 s 0.19/0.25 c 0.19/0.25 c core #44 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 5 Core Weight: 1 Total Weight: 161 0.19/0.25 c Current CPU time: 0.142978 s 0.19/0.25 c 0.19/0.25 c core #45 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 162 0.19/0.25 c Current CPU time: 0.145977 s 0.19/0.25 c 0.19/0.25 c core #46 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 7 Core Weight: 1 Total Weight: 163 0.19/0.25 c Current CPU time: 0.147977 s 0.19/0.25 c 0.19/0.25 c core #47 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 4 Core Weight: 1 Total Weight: 164 0.19/0.25 c Current CPU time: 0.150977 s 0.19/0.25 c 0.19/0.25 c core #48 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 6 Core Weight: 1 Total Weight: 165 0.19/0.25 c Current CPU time: 0.153976 s 0.19/0.25 c 0.19/0.25 c core #49 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 4 Core Weight: 1 Total Weight: 166 0.19/0.25 c Current CPU time: 0.155976 s 0.19/0.25 c 0.19/0.25 c core #50 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 6 Core Weight: 1 Total Weight: 167 0.19/0.25 c Current CPU time: 0.158975 s 0.19/0.25 c 0.19/0.25 c core #51 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 4 Core Weight: 1 Total Weight: 168 0.19/0.25 c Current CPU time: 0.161975 s 0.19/0.25 c 0.19/0.25 c core #52 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 169 0.19/0.25 c Current CPU time: 0.164974 s 0.19/0.25 c 0.19/0.25 c core #53 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 170 0.19/0.25 c Current CPU time: 0.167974 s 0.19/0.25 c 0.19/0.25 c core #54 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 171 0.19/0.25 c Current CPU time: 0.169974 s 0.19/0.25 c 0.19/0.25 c core #55 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 4 Core Weight: 1 Total Weight: 172 0.19/0.25 c Current CPU time: 0.172973 s 0.19/0.25 c 0.19/0.25 c core #56 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 4 Core Weight: 1 Total Weight: 173 0.19/0.25 c Current CPU time: 0.175973 s 0.19/0.25 c 0.19/0.25 c core #57 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 174 0.19/0.25 c Current CPU time: 0.178972 s 0.19/0.25 c 0.19/0.25 c core #58 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 175 0.19/0.25 c Current CPU time: 0.180972 s 0.19/0.25 c 0.19/0.25 c core #59 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 176 0.19/0.25 c Current CPU time: 0.183972 s 0.19/0.25 c 0.19/0.25 c core #60 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 177 0.19/0.25 c Current CPU time: 0.186971 s 0.19/0.25 c 0.19/0.25 c core #61 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 178 0.19/0.25 c Current CPU time: 0.189971 s 0.19/0.25 c 0.19/0.25 c core #62 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 5 Core Weight: 1 Total Weight: 179 0.19/0.25 c Current CPU time: 0.19297 s 0.19/0.25 c 0.19/0.25 c core #63 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 180 0.19/0.25 c Current CPU time: 0.19597 s 0.19/0.25 c 0.19/0.25 c core #64 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 181 0.19/0.25 c Current CPU time: 0.197969 s 0.19/0.25 c 0.19/0.25 c core #65 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 182 0.19/0.25 c Current CPU time: 0.200969 s 0.19/0.25 c 0.19/0.25 c core #66 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 183 0.19/0.25 c Current CPU time: 0.203968 s 0.19/0.25 c 0.19/0.25 c core #67 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 184 0.19/0.25 c Current CPU time: 0.206968 s 0.19/0.25 c 0.19/0.25 c core #68 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 185 0.19/0.25 c Current CPU time: 0.209968 s 0.19/0.25 c 0.19/0.25 c core #69 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 4 Core Weight: 1 Total Weight: 186 0.19/0.25 c Current CPU time: 0.212967 s 0.19/0.25 c 0.19/0.25 c core #70 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 6 Core Weight: 1 Total Weight: 187 0.19/0.25 c Current CPU time: 0.214967 s 0.19/0.25 c 0.19/0.25 c core #71 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 188 0.19/0.25 c Current CPU time: 0.217966 s 0.19/0.25 c 0.19/0.25 c core #72 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 189 0.19/0.25 c Current CPU time: 0.220966 s 0.19/0.25 c 0.19/0.25 c core #73 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 4 Core Weight: 1 Total Weight: 190 0.19/0.25 c Current CPU time: 0.223965 s 0.19/0.25 c 0.19/0.25 c core #74 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 191 0.19/0.25 c Current CPU time: 0.226965 s 0.19/0.25 c 0.19/0.25 c core #75 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 192 0.19/0.25 c Current CPU time: 0.229965 s 0.19/0.25 c 0.19/0.25 c core #76 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 193 0.19/0.25 c Current CPU time: 0.231964 s 0.19/0.25 c 0.19/0.25 c core #77 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 194 0.19/0.25 c Current CPU time: 0.234964 s 0.19/0.25 c 0.19/0.25 c core #78 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 4 Core Weight: 1 Total Weight: 195 0.19/0.25 c Current CPU time: 0.237963 s 0.19/0.25 c 0.19/0.25 c core #79 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 196 0.19/0.25 c Current CPU time: 0.240963 s 0.19/0.25 c 0.19/0.25 c core #80 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 6 Core Weight: 1 Total Weight: 197 0.19/0.25 c Current CPU time: 0.243962 s 0.19/0.25 c 0.19/0.25 c core #81 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 4 Core Weight: 1 Total Weight: 198 0.19/0.25 c Current CPU time: 0.246962 s 0.19/0.25 c 0.19/0.25 c core #82 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 4 Core Weight: 1 Total Weight: 199 0.19/0.25 c Current CPU time: 0.249962 s 0.19/0.25 c 0.19/0.25 c core #83 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 5 Core Weight: 1 Total Weight: 200 0.19/0.25 c Current CPU time: 0.252961 s 0.19/0.25 c 0.19/0.25 c core #84 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 4 Core Weight: 1 Total Weight: 201 0.19/0.25 c Current CPU time: 0.255961 s 0.29/0.38 c 0.29/0.38 c core #85 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: 202 0.29/0.38 c Current CPU time: 0.25796 s 0.29/0.38 c 0.29/0.38 c core #86 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 203 0.29/0.38 c Current CPU time: 0.26096 s 0.29/0.38 c 0.29/0.38 c core #87 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: 204 0.29/0.38 c Current CPU time: 0.263959 s 0.29/0.38 c 0.29/0.38 c core #88 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 205 0.29/0.38 c Current CPU time: 0.266959 s 0.29/0.38 c 0.29/0.38 c core #89 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 206 0.29/0.38 c Current CPU time: 0.269958 s 0.29/0.38 c 0.29/0.38 c core #90 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 207 0.29/0.38 c Current CPU time: 0.272958 s 0.29/0.38 c 0.29/0.38 c core #91 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 208 0.29/0.38 c Current CPU time: 0.275958 s 0.29/0.38 c 0.29/0.38 c core #92 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 209 0.29/0.38 c Current CPU time: 0.278957 s 0.29/0.38 c 0.29/0.38 c core #93 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 210 0.29/0.38 c Current CPU time: 0.281957 s 0.29/0.38 c 0.29/0.38 c core #94 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 211 0.29/0.38 c Current CPU time: 0.283956 s 0.29/0.38 c 0.29/0.38 c core #95 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 212 0.29/0.38 c Current CPU time: 0.286956 s 0.29/0.38 c 0.29/0.38 c core #96 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 213 0.29/0.38 c Current CPU time: 0.289955 s 0.29/0.38 c 0.29/0.38 c core #97 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 214 0.29/0.38 c Current CPU time: 0.292955 s 0.29/0.38 c 0.29/0.38 c core #98 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: 215 0.29/0.38 c Current CPU time: 0.295955 s 0.29/0.38 c 0.29/0.38 c core #99 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 8 Core Weight: 1 Total Weight: 216 0.29/0.38 c Current CPU time: 0.298954 s 0.29/0.38 c 0.29/0.38 c core #100 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 7 Core Weight: 1 Total Weight: 217 0.29/0.38 c Current CPU time: 0.301954 s 0.29/0.38 c 0.29/0.38 c core #101 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 218 0.29/0.38 c Current CPU time: 0.304953 s 0.29/0.38 c 0.29/0.38 c core #102 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 219 0.29/0.38 c Current CPU time: 0.307953 s 0.29/0.38 c 0.29/0.38 c core #103 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: 220 0.29/0.38 c Current CPU time: 0.310952 s 0.29/0.38 c 0.29/0.38 c core #104 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: 221 0.29/0.38 c Current CPU time: 0.313952 s 0.29/0.38 c 0.29/0.38 c core #105 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 222 0.29/0.38 c Current CPU time: 0.316951 s 0.29/0.38 c 0.29/0.38 c core #106 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 223 0.29/0.38 c Current CPU time: 0.319951 s 0.29/0.38 c 0.29/0.38 c core #107 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: 224 0.29/0.38 c Current CPU time: 0.32295 s 0.29/0.38 c 0.29/0.38 c core #108 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 225 0.29/0.38 c Current CPU time: 0.32595 s 0.29/0.38 c 0.29/0.38 c core #109 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: 226 0.29/0.38 c Current CPU time: 0.328949 s 0.29/0.38 c 0.29/0.38 c core #110 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 227 0.29/0.38 c Current CPU time: 0.331949 s 0.29/0.38 c 0.29/0.38 c core #111 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 7 Core Weight: 1 Total Weight: 228 0.29/0.38 c Current CPU time: 0.334949 s 0.29/0.38 c 0.29/0.38 c core #112 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 229 0.29/0.38 c Current CPU time: 0.337948 s 0.29/0.38 c 0.29/0.38 c core #113 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 230 0.29/0.38 c Current CPU time: 0.340948 s 0.29/0.38 c 0.29/0.38 c core #114 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: 231 0.29/0.38 c Current CPU time: 0.343947 s 0.29/0.38 c 0.29/0.38 c core #115 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 232 0.29/0.38 c Current CPU time: 0.346947 s 0.29/0.38 c 0.29/0.38 c core #116 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: 233 0.29/0.38 c Current CPU time: 0.349946 s 0.29/0.38 c 0.29/0.38 c core #117 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: 234 0.29/0.38 c Current CPU time: 0.352946 s 0.29/0.38 c 0.29/0.38 c core #118 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: 235 0.29/0.38 c Current CPU time: 0.355945 s 0.29/0.38 c 0.29/0.38 c core #119 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 236 0.29/0.38 c Current CPU time: 0.358945 s 0.29/0.38 c 0.29/0.38 c core #120 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 237 0.29/0.38 c Current CPU time: 0.361944 s 0.29/0.38 c 0.29/0.38 c core #121 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 238 0.29/0.38 c Current CPU time: 0.364944 s 0.29/0.38 c 0.29/0.38 c core #122 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 8 Core Weight: 1 Total Weight: 239 0.29/0.38 c Current CPU time: 0.367944 s 0.29/0.38 c 0.29/0.38 c core #123 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 9 Core Weight: 1 Total Weight: 240 0.29/0.38 c Current CPU time: 0.370943 s 0.29/0.38 c 0.29/0.38 c core #124 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 241 0.29/0.38 c Current CPU time: 0.373943 s 0.29/0.38 c 0.29/0.38 c core #125 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 242 0.29/0.38 c Current CPU time: 0.376942 s 0.29/0.38 c 0.29/0.38 c core #126 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: 243 0.49/0.50 c Current CPU time: 0.379942 s 0.49/0.50 c 0.49/0.50 c core #127 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 8 Core Weight: 1 Total Weight: 244 0.49/0.50 c Current CPU time: 0.382941 s 0.49/0.50 c 0.49/0.50 c core #128 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 245 0.49/0.50 c Current CPU time: 0.385941 s 0.49/0.50 c 0.49/0.50 c core #129 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: 246 0.49/0.50 c Current CPU time: 0.38894 s 0.49/0.50 c 0.49/0.50 c core #130 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 5 Core Weight: 1 Total Weight: 247 0.49/0.50 c Current CPU time: 0.39194 s 0.49/0.50 c 0.49/0.50 c core #131 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 248 0.49/0.50 c Current CPU time: 0.394939 s 0.49/0.50 c 0.49/0.50 c core #132 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 5 Core Weight: 1 Total Weight: 249 0.49/0.50 c Current CPU time: 0.397939 s 0.49/0.50 c 0.49/0.50 c core #133 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 11 Core Weight: 1 Total Weight: 250 0.49/0.50 c Current CPU time: 0.400939 s 0.49/0.50 c 0.49/0.50 c core #134 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: 251 0.49/0.50 c Current CPU time: 0.403938 s 0.49/0.50 c 0.49/0.50 c core #135 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: 252 0.49/0.50 c Current CPU time: 0.406938 s 0.49/0.50 c 0.49/0.50 c core #136 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 11 Core Weight: 1 Total Weight: 253 0.49/0.50 c Current CPU time: 0.409937 s 0.49/0.50 c 0.49/0.50 c core #137 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 254 0.49/0.50 c Current CPU time: 0.412937 s 0.49/0.50 c 0.49/0.50 c core #138 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 255 0.49/0.50 c Current CPU time: 0.415936 s 0.49/0.50 c 0.49/0.50 c core #139 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: 256 0.49/0.50 c Current CPU time: 0.418936 s 0.49/0.50 c 0.49/0.50 c core #140 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 257 0.49/0.50 c Current CPU time: 0.421935 s 0.49/0.50 c 0.49/0.50 c core #141 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 6 Core Weight: 1 Total Weight: 258 0.49/0.50 c Current CPU time: 0.424935 s 0.49/0.50 c 0.49/0.50 c core #142 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: 259 0.49/0.50 c Current CPU time: 0.427934 s 0.49/0.50 c 0.49/0.50 c core #143 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 7 Core Weight: 1 Total Weight: 260 0.49/0.50 c Current CPU time: 0.429934 s 0.49/0.50 c 0.49/0.50 c core #144 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: 261 0.49/0.50 c Current CPU time: 0.433934 s 0.49/0.50 c 0.49/0.50 c core #145 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 5 Core Weight: 1 Total Weight: 262 0.49/0.50 c Current CPU time: 0.436933 s 0.49/0.50 c 0.49/0.50 c core #146 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: 263 0.49/0.50 c Current CPU time: 0.439933 s 0.49/0.50 c 0.49/0.50 c core #147 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 5 Core Weight: 1 Total Weight: 264 0.49/0.50 c Current CPU time: 0.442932 s 0.49/0.50 c 0.49/0.50 c core #148 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 6 Core Weight: 1 Total Weight: 265 0.49/0.50 c Current CPU time: 0.445932 s 0.49/0.50 c 0.49/0.50 c core #149 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: 266 0.49/0.50 c Current CPU time: 0.448931 s 0.49/0.50 c 0.49/0.50 c core #150 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 8 Core Weight: 1 Total Weight: 267 0.49/0.50 c Current CPU time: 0.451931 s 0.49/0.50 c 0.49/0.50 c core #151 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 268 0.49/0.50 c Current CPU time: 0.45493 s 0.49/0.50 c 0.49/0.50 c core #152 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 9 Core Weight: 1 Total Weight: 269 0.49/0.50 c Current CPU time: 0.45893 s 0.49/0.50 c 0.49/0.50 c core #153 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 6 Core Weight: 1 Total Weight: 270 0.49/0.50 c Current CPU time: 0.461929 s 0.49/0.50 c 0.49/0.50 c core #154 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 6 Core Weight: 1 Total Weight: 271 0.49/0.50 c Current CPU time: 0.464929 s 0.49/0.50 c 0.49/0.50 c core #155 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 272 0.49/0.50 c Current CPU time: 0.467928 s 0.49/0.50 c 0.49/0.50 c core #156 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: 273 0.49/0.50 c Current CPU time: 0.470928 s 0.49/0.50 c 0.49/0.50 c core #157 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 7 Core Weight: 1 Total Weight: 274 0.49/0.50 c Current CPU time: 0.473927 s 0.49/0.50 c 0.49/0.50 c core #158 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 5 Core Weight: 1 Total Weight: 275 0.49/0.50 c Current CPU time: 0.477927 s 0.49/0.50 c 0.49/0.50 c core #159 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 13 Core Weight: 1 Total Weight: 276 0.49/0.50 c Current CPU time: 0.480926 s 0.49/0.50 c 0.49/0.50 c core #160 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 14 Core Weight: 1 Total Weight: 277 0.49/0.50 c Current CPU time: 0.483926 s 0.49/0.50 c 0.49/0.50 c core #161 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 7 Core Weight: 1 Total Weight: 278 0.49/0.50 c Current CPU time: 0.486925 s 0.49/0.50 c 0.49/0.50 c core #162 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 15 Core Weight: 1 Total Weight: 279 0.49/0.50 c Current CPU time: 0.489925 s 0.49/0.50 c 0.49/0.50 c core #163 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 9 Core Weight: 1 Total Weight: 280 0.49/0.50 c Current CPU time: 0.493924 s 0.49/0.50 c 0.49/0.50 c core #164 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 8 Core Weight: 1 Total Weight: 281 0.49/0.50 c Current CPU time: 0.496924 s 0.49/0.50 c 0.49/0.50 c core #165 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 282 0.49/0.50 c Current CPU time: 0.499924 s 0.49/0.50 c 0.49/0.50 c core #166 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 6 Core Weight: 1 Total Weight: 283 0.49/0.50 c Current CPU time: 0.502923 s 0.49/0.50 c 0.49/0.50 c core #167 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 284 0.49/0.50 c Current CPU time: 0.506922 s 0.59/0.64 c 0.59/0.64 c core #168 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 6 Core Weight: 1 Total Weight: 285 0.59/0.64 c Current CPU time: 0.509922 s 0.59/0.64 c 0.59/0.64 c core #169 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 4 Core Weight: 1 Total Weight: 286 0.59/0.64 c Current CPU time: 0.512922 s 0.59/0.64 c 0.59/0.64 c core #170 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 5 Core Weight: 1 Total Weight: 287 0.59/0.64 c Current CPU time: 0.515921 s 0.59/0.64 c 0.59/0.64 c core #171 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 11 Core Weight: 1 Total Weight: 288 0.59/0.64 c Current CPU time: 0.51992 s 0.59/0.64 c 0.59/0.64 c core #172 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 4 Core Weight: 1 Total Weight: 289 0.59/0.64 c Current CPU time: 0.52292 s 0.59/0.64 c 0.59/0.64 c core #173 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 5 Core Weight: 1 Total Weight: 290 0.59/0.64 c Current CPU time: 0.52592 s 0.59/0.64 c 0.59/0.64 c core #174 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 5 Core Weight: 1 Total Weight: 291 0.59/0.64 c Current CPU time: 0.528919 s 0.59/0.64 c 0.59/0.64 c core #175 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 5 Core Weight: 1 Total Weight: 292 0.59/0.64 c Current CPU time: 0.531919 s 0.59/0.64 c 0.59/0.64 c core #176 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: 293 0.59/0.64 c Current CPU time: 0.534918 s 0.59/0.64 c 0.59/0.64 c core #177 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 5 Core Weight: 1 Total Weight: 294 0.59/0.64 c Current CPU time: 0.538918 s 0.59/0.64 c 0.59/0.64 c core #178 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: 295 0.59/0.64 c Current CPU time: 0.541917 s 0.59/0.64 c 0.59/0.64 c core #179 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 17 Core Weight: 1 Total Weight: 296 0.59/0.64 c Current CPU time: 0.544917 s 0.59/0.64 c 0.59/0.64 c core #180 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 5 Core Weight: 1 Total Weight: 297 0.59/0.64 c Current CPU time: 0.547916 s 0.59/0.64 c 0.59/0.64 c core #181 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 7 Core Weight: 1 Total Weight: 298 0.59/0.64 c Current CPU time: 0.550916 s 0.59/0.64 c 0.59/0.64 c core #182 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 8 Core Weight: 1 Total Weight: 299 0.59/0.64 c Current CPU time: 0.554915 s 0.59/0.64 c 0.59/0.64 c core #183 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 7 Core Weight: 1 Total Weight: 300 0.59/0.64 c Current CPU time: 0.557915 s 0.59/0.64 c 0.59/0.64 c core #184 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 16 Core Weight: 1 Total Weight: 301 0.59/0.64 c Current CPU time: 0.560914 s 0.59/0.64 c 0.59/0.64 c core #185 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 4 Core Weight: 1 Total Weight: 302 0.59/0.64 c Current CPU time: 0.564914 s 0.59/0.64 c 0.59/0.64 c core #186 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 7 Core Weight: 1 Total Weight: 303 0.59/0.64 c Current CPU time: 0.567913 s 0.59/0.64 c 0.59/0.64 c core #187 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: 304 0.59/0.64 c Current CPU time: 0.570913 s 0.59/0.64 c 0.59/0.64 c core #188 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 14 Core Weight: 1 Total Weight: 305 0.59/0.64 c Current CPU time: 0.573912 s 0.59/0.64 c 0.59/0.64 c core #189 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 10 Core Weight: 1 Total Weight: 306 0.59/0.64 c Current CPU time: 0.576912 s 0.59/0.64 c 0.59/0.64 c core #190 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 5 Core Weight: 1 Total Weight: 307 0.59/0.64 c Current CPU time: 0.579911 s 0.59/0.64 c 0.59/0.64 c core #191 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 4 Core Weight: 1 Total Weight: 308 0.59/0.64 c Current CPU time: 0.582911 s 0.59/0.64 c 0.59/0.64 c core #192 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 7 Core Weight: 1 Total Weight: 309 0.59/0.64 c Current CPU time: 0.58691 s 0.59/0.64 c 0.59/0.64 c core #193 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 5 Core Weight: 1 Total Weight: 310 0.59/0.64 c Current CPU time: 0.58991 s 0.59/0.64 c 0.59/0.64 c core #194 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 13 Core Weight: 1 Total Weight: 311 0.59/0.64 c Current CPU time: 0.592909 s 0.59/0.64 c 0.59/0.64 c core #195 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 4 Core Weight: 1 Total Weight: 312 0.59/0.64 c Current CPU time: 0.596909 s 0.59/0.64 c 0.59/0.64 c core #196 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 5 Core Weight: 1 Total Weight: 313 0.59/0.64 c Current CPU time: 0.599908 s 0.59/0.64 c 0.59/0.64 c core #197 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 11 Core Weight: 1 Total Weight: 314 0.59/0.64 c Current CPU time: 0.602908 s 0.59/0.64 c 0.59/0.64 c core #198 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: 315 0.59/0.64 c Current CPU time: 0.606907 s 0.59/0.64 c 0.59/0.64 c core #199 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 4 Core Weight: 1 Total Weight: 316 0.59/0.64 c Current CPU time: 0.609907 s 0.59/0.64 c 0.59/0.64 c core #200 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: 317 0.59/0.64 c Current CPU time: 0.612906 s 0.59/0.64 c 0.59/0.64 c core #201 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: 318 0.59/0.64 c Current CPU time: 0.616906 s 0.59/0.64 c 0.59/0.64 c core #202 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 7 Core Weight: 1 Total Weight: 319 0.59/0.64 c Current CPU time: 0.619905 s 0.59/0.64 c 0.59/0.64 c core #203 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 7 Core Weight: 1 Total Weight: 320 0.59/0.64 c Current CPU time: 0.623905 s 0.59/0.64 c 0.59/0.64 c core #204 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 5 Core Weight: 1 Total Weight: 321 0.59/0.64 c Current CPU time: 0.626904 s 0.59/0.64 c 0.59/0.64 c core #205 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 8 Core Weight: 1 Total Weight: 322 0.59/0.64 c Current CPU time: 0.629904 s 0.59/0.64 c 0.59/0.64 c core #206 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 7 Core Weight: 1 Total Weight: 323 0.59/0.64 c Current CPU time: 0.633903 s 0.59/0.64 c 0.59/0.64 c core #207 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 4 Core Weight: 1 Total Weight: 324 0.59/0.64 c Current CPU time: 0.636903 s 0.59/0.64 c 0.59/0.64 c core #208 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 6 Core Weight: 1 Total Weight: 325 0.59/0.64 c Current CPU time: 0.639902 s 0.59/0.64 c 0.59/0.64 c core #209 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 3 Core Weight: 1 Total Weight: 326 0.69/0.79 c Current CPU time: 0.643902 s 0.69/0.79 c 0.69/0.79 c core #210 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 4 Core Weight: 1 Total Weight: 327 0.69/0.79 c Current CPU time: 0.646901 s 0.69/0.79 c 0.69/0.79 c core #211 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 3 Core Weight: 1 Total Weight: 328 0.69/0.79 c Current CPU time: 0.650901 s 0.69/0.79 c 0.69/0.79 c core #212 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 5 Core Weight: 1 Total Weight: 329 0.69/0.79 c Current CPU time: 0.6539 s 0.69/0.79 c 0.69/0.79 c core #213 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 3 Core Weight: 1 Total Weight: 330 0.69/0.79 c Current CPU time: 0.6569 s 0.69/0.79 c 0.69/0.79 c core #214 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 6 Core Weight: 1 Total Weight: 331 0.69/0.79 c Current CPU time: 0.660899 s 0.69/0.79 c 0.69/0.79 c core #215 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 4 Core Weight: 1 Total Weight: 332 0.69/0.79 c Current CPU time: 0.663899 s 0.69/0.79 c 0.69/0.79 c core #216 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 10 Core Weight: 1 Total Weight: 333 0.69/0.79 c Current CPU time: 0.667898 s 0.69/0.79 c 0.69/0.79 c core #217 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 8 Core Weight: 1 Total Weight: 334 0.69/0.79 c Current CPU time: 0.670898 s 0.69/0.79 c 0.69/0.79 c core #218 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 6 Core Weight: 1 Total Weight: 335 0.69/0.79 c Current CPU time: 0.674897 s 0.69/0.79 c 0.69/0.79 c core #219 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 4 Core Weight: 1 Total Weight: 336 0.69/0.79 c Current CPU time: 0.677896 s 0.69/0.79 c 0.69/0.79 c core #220 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 9 Core Weight: 1 Total Weight: 337 0.69/0.79 c Current CPU time: 0.681896 s 0.69/0.79 c 0.69/0.79 c core #221 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 4 Core Weight: 1 Total Weight: 338 0.69/0.79 c Current CPU time: 0.685895 s 0.69/0.79 c 0.69/0.79 c core #222 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 5 Core Weight: 1 Total Weight: 339 0.69/0.79 c Current CPU time: 0.688895 s 0.69/0.79 c 0.69/0.79 c core #223 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 4 Core Weight: 1 Total Weight: 340 0.69/0.79 c Current CPU time: 0.692894 s 0.69/0.79 c 0.69/0.79 c core #224 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 5 Core Weight: 1 Total Weight: 341 0.69/0.79 c Current CPU time: 0.696894 s 0.69/0.79 c 0.69/0.79 c core #225 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 4 Core Weight: 1 Total Weight: 342 0.69/0.79 c Current CPU time: 0.699893 s 0.69/0.79 c 0.69/0.79 c core #226 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 4 Core Weight: 1 Total Weight: 343 0.69/0.79 c Current CPU time: 0.703892 s 0.69/0.79 c 0.69/0.79 c core #227 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 11 Core Weight: 1 Total Weight: 344 0.69/0.79 c Current CPU time: 0.707892 s 0.69/0.79 c 0.69/0.79 c core #228 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 7 Core Weight: 1 Total Weight: 345 0.69/0.79 c Current CPU time: 0.711891 s 0.69/0.79 c 0.69/0.79 c core #229 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 8 Core Weight: 1 Total Weight: 346 0.69/0.79 c Current CPU time: 0.714891 s 0.69/0.79 c 0.69/0.79 c core #230 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 13 Core Weight: 1 Total Weight: 347 0.69/0.79 c Current CPU time: 0.71889 s 0.69/0.79 c 0.69/0.79 c core #231 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 12 Core Weight: 1 Total Weight: 348 0.69/0.79 c Current CPU time: 0.72289 s 0.69/0.79 c 0.69/0.79 c core #232 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 17 Core Weight: 1 Total Weight: 349 0.69/0.79 c Current CPU time: 0.726889 s 0.69/0.79 c 0.69/0.79 c core #233 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 10 Core Weight: 1 Total Weight: 350 0.69/0.79 c Current CPU time: 0.730888 s 0.69/0.79 c 0.69/0.79 c core #234 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 11 Core Weight: 1 Total Weight: 351 0.69/0.79 c Current CPU time: 0.733888 s 0.69/0.79 c 0.69/0.79 c core #235 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 16 Core Weight: 1 Total Weight: 352 0.69/0.79 c Current CPU time: 0.737887 s 0.69/0.79 c 0.69/0.79 c core #236 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 7 Core Weight: 1 Total Weight: 353 0.69/0.79 c Current CPU time: 0.741887 s 0.69/0.79 c 0.69/0.79 c core #237 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 17 Core Weight: 1 Total Weight: 354 0.69/0.79 c Current CPU time: 0.744886 s 0.69/0.79 c 0.69/0.79 c core #238 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 10 Core Weight: 1 Total Weight: 355 0.69/0.79 c Current CPU time: 0.748886 s 0.69/0.79 c 0.69/0.79 c core #239 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 8 Core Weight: 1 Total Weight: 356 0.69/0.79 c Current CPU time: 0.752885 s 0.69/0.79 c 0.69/0.79 c core #240 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 10 Core Weight: 1 Total Weight: 357 0.69/0.79 c Current CPU time: 0.755885 s 0.69/0.79 c 0.69/0.79 c core #241 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 15 Core Weight: 1 Total Weight: 358 0.69/0.79 c Current CPU time: 0.759884 s 0.69/0.79 c 0.69/0.79 c core #242 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 18 Core Weight: 1 Total Weight: 359 0.69/0.79 c Current CPU time: 0.763883 s 0.69/0.79 c 0.69/0.79 c core #243 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 10 Core Weight: 1 Total Weight: 360 0.69/0.79 c Current CPU time: 0.767883 s 0.69/0.79 c 0.69/0.79 c core #244 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 13 Core Weight: 1 Total Weight: 361 0.69/0.79 c Current CPU time: 0.770882 s 0.69/0.79 c 0.69/0.79 c core #245 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 13 Core Weight: 1 Total Weight: 362 0.69/0.79 c Current CPU time: 0.774882 s 0.69/0.79 c 0.69/0.79 c core #246 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 18 Core Weight: 1 Total Weight: 363 0.69/0.79 c Current CPU time: 0.778881 s 0.69/0.79 c 0.69/0.79 c core #247 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 12 Core Weight: 1 Total Weight: 364 0.69/0.79 c Current CPU time: 0.78288 s 0.69/0.79 c 0.69/0.79 c core #248 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 13 Core Weight: 1 Total Weight: 365 0.69/0.79 c Current CPU time: 0.78688 s 0.69/0.79 c 0.69/0.79 c core #249 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 18 Core Weight: 1 Total Weight: 366 0.69/0.79 c Current CPU time: 0.790879 s 0.69/0.79 c 0.69/0.79 c core #250 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 13 Core Weight: 1 Total Weight: 367 0.79/0.84 c Current CPU time: 0.794879 s 0.79/0.84 c 0.79/0.84 c core #251 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 26 Core Weight: 1 Total Weight: 368 0.79/0.84 c Current CPU time: 0.798878 s 0.79/0.84 c 0.79/0.84 c core #252 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 15 Core Weight: 1 Total Weight: 369 0.79/0.84 c Current CPU time: 0.802877 s 0.79/0.84 c 0.79/0.84 c core #253 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 12 Core Weight: 1 Total Weight: 370 0.79/0.84 c Current CPU time: 0.806877 s 0.79/0.84 c 0.79/0.84 c core #254 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 19 Core Weight: 1 Total Weight: 371 0.79/0.84 c Current CPU time: 0.810876 s 0.79/0.84 c 0.79/0.84 c core #255 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 17 Core Weight: 1 Total Weight: 372 0.79/0.84 c Current CPU time: 0.814876 s 0.79/0.84 c 0.79/0.84 c core #256 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 23 Core Weight: 1 Total Weight: 373 0.79/0.84 c Current CPU time: 0.818875 s 0.79/0.84 c 0.79/0.84 c core #257 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 14 Core Weight: 1 Total Weight: 374 0.79/0.84 c Current CPU time: 0.822874 s 0.79/0.84 c 0.79/0.84 c core #258 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 21 Core Weight: 1 Total Weight: 375 0.79/0.84 c Current CPU time: 0.826874 s 0.79/0.84 c 0.79/0.84 c core #259 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 51 Core Weight: 1 Total Weight: 376 0.79/0.84 c Current CPU time: 0.830873 s 0.79/0.84 c 0.79/0.84 c core #260 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 26 Core Weight: 1 Total Weight: 377 0.79/0.84 c Current CPU time: 0.835872 s 0.79/0.84 c 0.79/0.84 c core #261 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 38 Core Weight: 1 Total Weight: 378 0.79/0.84 c Current CPU time: 0.839872 s 0.79/0.84 c 0.79/0.84 c ============================[ Search Statistics ]============================== 0.79/0.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.84 c =============================================================================== 0.79/0.84 c | 0 | 2287 6460 36966 | 5000 0 -nan | 0.000 % | 0.79/0.84 c =============================================================================== 0.79/0.85 c core #262 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 16 Core Weight: 1 Total Weight: 379 0.79/0.85 c Current CPU time: 0.843871 s 0.79/0.85 c 0.79/0.85 c ============================[ Search Statistics ]============================== 0.79/0.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.85 c =============================================================================== 0.79/0.85 c | 0 | 2308 6461 37000 | 5000 0 -nan | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.85 c core #263 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 42 Core Weight: 1 Total Weight: 380 0.79/0.85 c Current CPU time: 0.84887 s 0.79/0.85 c 0.79/0.85 c ============================[ Search Statistics ]============================== 0.79/0.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.85 c =============================================================================== 0.79/0.85 c | 0 | 2347 6462 37070 | 5000 0 -nan | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.86 c core #264 0.79/0.86 c 0.79/0.86 c 0.79/0.86 c Core size: 122 Core Weight: 1 Total Weight: 381 0.79/0.86 c Current CPU time: 0.85487 s 0.79/0.86 c 0.79/0.86 c ============================[ Search Statistics ]============================== 0.79/0.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.86 c =============================================================================== 0.79/0.86 c | 0 | 2463 6463 37291 | 5000 0 -nan | 0.000 % | 0.79/0.86 c =============================================================================== 0.79/0.86 c core #265 0.79/0.86 c 0.79/0.86 c 0.79/0.86 c Core size: 29 Core Weight: 1 Total Weight: 382 0.79/0.86 c Current CPU time: 0.859869 s 0.79/0.86 c 0.79/0.86 c ============================[ Search Statistics ]============================== 0.79/0.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.86 c =============================================================================== 0.79/0.86 c | 0 | 2493 6464 37346 | 5000 0 -nan | 0.000 % | 0.79/0.86 c | 100 | 2493 6464 37346 | 5500 100 11 | 11.234 % | 0.79/0.87 c =============================================================================== 0.79/0.87 c core #266 0.79/0.87 c 0.79/0.87 c 0.79/0.87 c Core size: 115 Core Weight: 1 Total Weight: 383 0.79/0.87 c Current CPU time: 0.868867 s 0.79/0.87 c 0.79/0.87 c ============================[ Search Statistics ]============================== 0.79/0.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.87 c =============================================================================== 0.79/0.87 c | 0 | 2604 6465 37563 | 5000 0 -nan | 0.000 % | 0.79/0.88 c | 104 | 2603 6465 37563 | 5500 104 14 | 11.203 % | 0.79/0.88 c | 254 | 2603 6465 37563 | 6050 254 25 | 11.203 % | 0.79/0.88 c =============================================================================== 0.79/0.89 c core #267 0.79/0.89 c 0.79/0.89 c 0.79/0.89 c Core size: 29 Core Weight: 1 Total Weight: 384 0.79/0.89 c Current CPU time: 0.881865 s 0.79/0.89 c 0.79/0.89 c ============================[ Search Statistics ]============================== 0.79/0.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.89 c =============================================================================== 0.79/0.89 c | 0 | 2628 6466 37605 | 5000 0 -nan | 0.000 % | 0.79/0.89 c | 100 | 2628 6466 37605 | 5500 100 20 | 9.969 % | 0.79/0.89 c =============================================================================== 0.79/0.90 c core #268 0.79/0.90 c 0.79/0.90 c 0.79/0.90 c Core size: 43 Core Weight: 1 Total Weight: 385 0.79/0.90 c Current CPU time: 0.891864 s 0.79/0.90 c 0.79/0.90 c ============================[ Search Statistics ]============================== 0.79/0.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.90 c =============================================================================== 0.79/0.90 c | 0 | 2667 6467 37681 | 5000 0 -nan | 0.000 % | 0.89/0.90 c | 101 | 2667 6467 37681 | 5500 101 21 | 9.777 % | 0.89/0.90 c | 253 | 2667 6467 37681 | 6050 253 23 | 9.777 % | 0.89/0.91 c | 478 | 2627 6467 37681 | 6655 478 28 | 11.130 % | 0.89/0.92 c | 819 | 2626 6467 37681 | 7320 819 28 | 11.164 % | 0.89/0.92 c =============================================================================== 0.89/0.93 c core #269 0.89/0.93 c 0.89/0.93 c 0.89/0.93 c Core size: 214 Core Weight: 1 Total Weight: 386 0.89/0.93 c Current CPU time: 0.922859 s 0.89/0.93 c 0.89/0.93 c ============================[ Search Statistics ]============================== 0.89/0.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.93 c =============================================================================== 0.89/0.93 c | 0 | 2907 6468 38130 | 5000 0 -nan | 0.000 % | 0.89/0.93 c | 101 | 2907 6468 38130 | 5500 101 10 | 8.152 % | 0.89/0.93 c | 251 | 2907 6468 38130 | 6050 251 11 | 8.152 % | 0.89/0.94 c | 477 | 2907 6468 38130 | 6655 477 12 | 8.183 % | 0.89/0.94 c =============================================================================== 0.89/0.94 c core #270 0.89/0.94 c 0.89/0.94 c 0.89/0.94 c Core size: 79 Core Weight: 1 Total Weight: 387 0.89/0.94 c Current CPU time: 0.935857 s 0.89/0.94 c 0.89/0.94 c ============================[ Search Statistics ]============================== 0.89/0.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.94 c =============================================================================== 0.89/0.94 c | 0 | 2981 6469 38276 | 5000 0 -nan | 0.000 % | 0.89/0.94 c =============================================================================== 0.89/0.95 c core #271 0.89/0.95 c 0.89/0.95 c 0.89/0.95 c Core size: 92 Core Weight: 1 Total Weight: 388 0.89/0.95 c Current CPU time: 0.939857 s 0.89/0.95 c 0.89/0.95 c ============================[ Search Statistics ]============================== 0.89/0.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.95 c =============================================================================== 0.89/0.95 c | 0 | 3069 6470 38445 | 5000 0 -nan | 0.000 % | 0.89/0.95 c | 102 | 3064 6470 38445 | 5500 102 40 | 8.833 % | 0.89/0.95 c | 252 | 3063 6470 38445 | 6050 252 31 | 8.894 % | 0.89/0.96 c | 477 | 3063 6470 38445 | 6655 477 29 | 8.894 % | 0.89/0.96 c =============================================================================== 0.89/0.96 c core #272 0.89/0.96 c 0.89/0.96 c 0.89/0.96 c Core size: 15 Core Weight: 1 Total Weight: 389 0.89/0.96 c Current CPU time: 0.957854 s 0.89/0.96 c 0.89/0.96 c ============================[ Search Statistics ]============================== 0.89/0.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.96 c =============================================================================== 0.89/0.96 c | 0 | 3081 6471 38467 | 5000 0 -nan | 0.000 % | 0.89/0.97 c | 100 | 3080 6471 38467 | 5500 100 14 | 7.424 % | 0.89/0.97 c | 251 | 3080 6471 38467 | 6050 251 14 | 7.424 % | 0.89/0.98 c | 476 | 3065 6471 38467 | 6655 476 16 | 7.875 % | 0.89/0.99 c | 820 | 3062 6471 38467 | 7320 820 15 | 7.965 % | 0.89/0.99 c =============================================================================== 0.89/0.99 c core #273 0.89/0.99 c 0.89/0.99 c 0.89/0.99 c Core size: 203 Core Weight: 1 Total Weight: 390 0.89/0.99 c Current CPU time: 0.98485 s 0.89/0.99 c 0.89/0.99 c ============================[ Search Statistics ]============================== 0.89/0.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.99 c =============================================================================== 0.89/0.99 c | 0 | 3294 6472 38879 | 5000 0 -nan | 0.000 % | 0.89/0.99 c | 103 | 3294 6472 38879 | 5500 103 19 | 6.580 % | 0.99/1.02 c | 253 | 3294 6472 38879 | 6050 253 17 | 6.580 % | 0.99/1.02 c | 479 | 3294 6472 38879 | 6655 479 16 | 6.580 % | 0.99/1.02 c | 819 | 3294 6472 38879 | 7320 819 17 | 6.580 % | 0.99/1.02 c | 1326 | 3293 6472 38879 | 8052 1326 16 | 6.608 % | 0.99/1.04 c | 2086 | 3293 6472 38879 | 8857 2086 18 | 6.608 % | 0.99/1.07 c | 3226 | 3293 6472 38879 | 9743 3226 19 | 6.608 % | 1.11/1.13 c | 4935 | 3293 6472 38879 | 10717 4935 23 | 6.608 % | 1.19/1.24 c | 7503 | 3291 6472 38879 | 11789 7503 23 | 6.835 % | 1.29/1.31 c =============================================================================== 1.29/1.35 c core #274 1.29/1.35 c 1.29/1.35 c 1.29/1.35 c Core size: 96 Core Weight: 1 Total Weight: 391 1.29/1.35 c Current CPU time: 1.3288 s 1.29/1.35 c 1.29/1.35 c ============================[ Search Statistics ]============================== 1.29/1.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.35 c =============================================================================== 1.29/1.35 c | 0 | 3390 6473 39068 | 5000 0 -nan | 0.000 % | 1.29/1.35 c | 101 | 3390 6473 39068 | 5500 101 39 | 6.328 % | 1.29/1.36 c | 251 | 3390 6473 39068 | 6050 251 30 | 6.328 % | 1.29/1.36 c | 477 | 3390 6473 39068 | 6655 477 30 | 6.328 % | 1.29/1.38 c | 814 | 3390 6473 39068 | 7320 814 36 | 6.328 % | 1.29/1.39 c | 1320 | 3390 6473 39068 | 8052 1320 33 | 6.328 % | 1.39/1.42 c | 2082 | 3390 6473 39068 | 8857 2082 32 | 6.328 % | 1.39/1.48 c | 3222 | 3377 6473 39068 | 9743 3222 37 | 6.687 % | 1.49/1.55 c | 4931 | 3376 6473 39068 | 10717 4931 38 | 6.742 % | 1.59/1.69 c | 7494 | 3376 6473 39068 | 11789 7494 34 | 6.742 % | 1.99/2.01 c | 11338 | 3374 6473 39068 | 12968 11338 43 | 6.770 % | 2.09/2.16 c =============================================================================== 2.09/2.21 c core #275 2.09/2.21 c 2.09/2.21 c 2.09/2.21 c Core size: 330 Core Weight: 1 Total Weight: 392 2.09/2.21 c Current CPU time: 2.17867 s 2.09/2.21 c 2.09/2.21 c ============================[ Search Statistics ]============================== 2.09/2.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.21 c =============================================================================== 2.09/2.21 c | 0 | 3735 6474 39740 | 5000 0 -nan | 0.000 % | 2.09/2.22 c | 100 | 3735 6474 39740 | 5500 100 16 | 5.347 % | 2.21/2.22 c | 254 | 3735 6474 39740 | 6050 254 27 | 5.347 % | 2.21/2.23 c | 480 | 3735 6474 39740 | 6655 480 30 | 5.347 % | 2.21/2.24 c | 818 | 3735 6474 39740 | 7320 818 31 | 5.347 % | 2.21/2.27 c | 1324 | 3735 6474 39740 | 8052 1324 34 | 5.347 % | 2.29/2.30 c | 2086 | 3735 6474 39740 | 8857 2086 30 | 5.347 % | 2.29/2.31 c =============================================================================== 2.29/2.32 c core #276 2.29/2.32 c 2.29/2.32 c 2.29/2.32 c Core size: 213 Core Weight: 1 Total Weight: 393 2.29/2.32 c Current CPU time: 2.29065 s 2.29/2.32 c 2.29/2.32 c ============================[ Search Statistics ]============================== 2.29/2.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.32 c =============================================================================== 2.29/2.32 c | 0 | 3952 6475 40169 | 5000 0 -nan | 0.000 % | 2.29/2.33 c =============================================================================== 2.29/2.33 c core #277 2.29/2.33 c 2.29/2.33 c 2.29/2.33 c Core size: 49 Core Weight: 1 Total Weight: 394 2.29/2.33 c Current CPU time: 2.29965 s 2.29/2.33 c 2.29/2.33 c ============================[ Search Statistics ]============================== 2.29/2.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.33 c =============================================================================== 2.29/2.33 c | 0 | 4004 6476 40261 | 5000 0 -nan | 0.000 % | 2.29/2.33 c | 101 | 4004 6476 40261 | 5500 101 38 | 4.621 % | 2.29/2.34 c | 253 | 4004 6476 40261 | 6050 253 25 | 4.621 % | 2.29/2.35 c | 478 | 4004 6476 40261 | 6655 478 21 | 4.621 % | 2.29/2.36 c | 815 | 4004 6476 40261 | 7320 815 29 | 4.621 % | 2.29/2.39 c | 1325 | 4004 6476 40261 | 8052 1325 37 | 4.621 % | 2.39/2.42 c | 2086 | 4004 6476 40261 | 8857 2086 43 | 4.621 % | 2.39/2.48 c | 3228 | 4004 6476 40261 | 9743 3228 42 | 4.621 % | 2.49/2.58 c | 4936 | 4004 6476 40261 | 10717 4936 47 | 4.621 % | 2.69/2.76 c | 7499 | 4004 6476 40261 | 11789 7499 52 | 4.621 % | 2.99/3.06 c | 11343 | 4004 6476 40261 | 12968 11343 58 | 4.621 % | 3.59/3.62 c | 17109 | 4004 6476 40261 | 14265 10472 58 | 4.621 % | 4.41/4.49 c | 25758 | 4003 6476 40261 | 15692 11784 70 | 4.645 % | 5.89/5.90 c | 38733 | 4003 6476 40261 | 17261 8797 67 | 4.645 % | 8.19/8.24 c | 58196 | 4003 6476 40261 | 18987 10615 82 | 4.645 % | 11.89/11.97 c | 87392 | 3997 6476 40261 | 20886 10701 94 | 4.788 % | 17.61/17.67 c | 131181 | 3993 6476 40261 | 22974 11867 93 | 4.955 % | 26.79/26.87 c =============================================================================== 27.99/28.00 c core #278 27.99/28.00 c 27.99/28.00 c 27.99/28.00 c Core size: 291 Core Weight: 1 Total Weight: 395 27.99/28.00 c Current CPU time: 27.6798 s 27.99/28.00 c 27.99/28.00 c ============================[ Search Statistics ]============================== 27.99/28.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.99/28.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.99/28.00 c =============================================================================== 27.99/28.00 c | 0 | 4298 6477 40842 | 5000 0 -nan | 0.000 % | 27.99/28.01 c | 102 | 4298 6477 40842 | 5500 102 80 | 4.169 % | 27.99/28.01 c | 252 | 4298 6477 40842 | 6050 252 89 | 4.169 % | 27.99/28.03 c | 478 | 4298 6477 40842 | 6655 478 70 | 4.169 % | 27.99/28.04 c | 816 | 4298 6477 40842 | 7320 816 62 | 4.169 % | 27.99/28.09 c | 1324 | 4298 6477 40842 | 8052 1324 86 | 4.169 % | 28.09/28.14 c | 2084 | 4298 6477 40842 | 8857 2084 94 | 4.169 % | 28.19/28.23 c | 3223 | 4298 6477 40842 | 9743 3223 110 | 4.169 % | 28.29/28.38 c | 4936 | 4298 6477 40842 | 10717 4936 123 | 4.169 % | 28.50/28.61 c | 7500 | 4298 6477 40842 | 11789 7500 123 | 4.169 % | 29.00/29.05 c | 11344 | 4298 6477 40842 | 12968 11344 121 | 4.169 % | 29.59/29.64 c | 17111 | 4298 6477 40842 | 14265 10471 103 | 4.169 % | 30.81/30.88 c | 25762 | 4298 6477 40842 | 15692 11724 144 | 4.169 % | 32.90/32.96 c | 38736 | 4297 6477 40842 | 17261 8442 101 | 4.326 % | 37.09/37.16 c | 58197 | 4284 6477 40842 | 18987 10035 185 | 4.482 % | 44.29/44.35 c | 87389 | 4284 6477 40842 | 20886 9857 187 | 4.482 % | 54.59/54.64 c | 131180 | 4284 6477 40842 | 22974 10861 190 | 4.482 % | 66.79/66.86 c | 196864 | 4277 6477 40842 | 25272 17980 121 | 4.638 % | 88.29/88.39 c | 295391 | 4277 6477 40842 | 27799 12635 130 | 4.638 % | 118.39/118.48 c | 443186 | 4276 6477 40842 | 30579 19561 212 | 4.660 % | 181.99/182.07 c | 664869 | 4276 6477 40842 | 33637 13395 206 | 4.660 % | 298.40/298.46 c | 997394 | 4276 6477 40842 | 37001 21072 205 | 4.660 % | 381.60/381.66 c =============================================================================== 382.89/382.93 c core #279 382.89/382.93 c 382.89/382.93 c 382.89/382.93 c Core size: 309 Core Weight: 1 Total Weight: 396 382.89/382.93 c Current CPU time: 380.623 s 382.89/382.93 c 382.89/382.93 c ============================[ Search Statistics ]============================== 382.89/382.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 382.89/382.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 382.89/382.93 c =============================================================================== 382.89/382.93 c | 0 | 4617 6478 41467 | 5000 0 -nan | 0.000 % | 382.89/382.93 c | 100 | 4617 6478 41467 | 5500 100 100 | 3.632 % | 382.89/382.94 c | 250 | 4617 6478 41467 | 6050 250 68 | 3.632 % | 382.89/382.95 c | 478 | 4617 6478 41467 | 6655 478 60 | 3.632 % | 382.89/382.97 c | 815 | 4617 6478 41467 | 7320 815 54 | 3.632 % | 382.89/382.99 c | 1321 | 4617 6478 41467 | 8052 1321 47 | 3.632 % | 382.99/383.02 c | 2082 | 4617 6478 41467 | 8857 2082 38 | 3.632 % | 383.10/383.12 c | 3223 | 4616 6478 41467 | 9743 3223 46 | 3.653 % | 383.20/383.26 c | 4932 | 4610 6478 41467 | 10717 4932 55 | 3.778 % | 383.40/383.48 c | 7495 | 4610 6478 41467 | 11789 7495 59 | 3.820 % | 383.80/383.92 c | 11340 | 4607 6478 41467 | 12968 11340 68 | 3.841 % | 384.39/384.43 c | 17106 | 4607 6478 41467 | 14265 10473 94 | 3.841 % | 385.29/385.38 c | 25756 | 4607 6478 41467 | 15692 11877 140 | 3.841 % | 387.30/387.39 c | 38733 | 4607 6478 41467 | 17261 8900 169 | 3.841 % | 390.40/390.49 c | 58194 | 4607 6478 41467 | 18987 10939 178 | 3.841 % | 396.01/396.05 c | 87386 | 4607 6478 41467 | 20886 10967 162 | 3.841 % | 405.10/405.10 c | 131175 | 4607 6478 41467 | 22974 12004 203 | 3.841 % | 424.09/424.14 c | 196859 | 4557 6478 41467 | 25272 18805 239 | 4.884 % | 460.20/460.23 c | 295387 | 4554 6478 41467 | 27799 25876 265 | 4.947 % | 510.80/510.86 c | 443178 | 4554 6478 41467 | 30579 19582 190 | 4.947 % | 574.90/574.93 c | 664862 | 4554 6478 41467 | 33637 28765 199 | 4.947 % | 686.21/686.26 c | 997389 | 4553 6478 41467 | 37001 15904 266 | 4.968 % | 894.00/894.07 c | 1496179 | 4553 6478 41467 | 40701 27969 336 | 4.968 % | 1213.71/1213.75 c | 2244366 | 4553 6478 41467 | 44771 30375 235 | 4.968 % | 1701.32/1701.33 c =============================================================================== 1732.42/1732.42 c core #280 1732.42/1732.42 c 1732.42/1732.42 c 1732.42/1732.42 c Core size: 296 Core Weight: 1 Total Weight: 397 1732.42/1732.42 c Current CPU time: 1724.99 s 1732.42/1732.42 c 1732.42/1732.42 c ============================[ Search Statistics ]============================== 1732.42/1732.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 1732.42/1732.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1732.42/1732.42 c =============================================================================== 1732.42/1732.42 c | 0 | 4912 6479 42055 | 5000 0 -nan | 0.000 % | 1732.42/1732.42 c | 102 | 4912 6479 42055 | 5500 102 78 | 3.383 % | 1732.42/1732.42 c | 253 | 4912 6479 42055 | 6050 253 60 | 3.383 % | 1732.42/1732.43 c | 478 | 4912 6479 42055 | 6655 478 52 | 3.383 % | 1732.42/1732.45 c | 815 | 4912 6479 42055 | 7320 815 52 | 3.383 % | 1732.42/1732.48 c | 1322 | 4912 6479 42055 | 8052 1322 46 | 3.383 % | 1732.53/1732.54 c | 2083 | 4912 6479 42055 | 8857 2083 45 | 3.383 % | 1732.61/1732.61 c | 3224 | 4912 6479 42055 | 9743 3224 45 | 3.383 % | 1732.72/1732.72 c | 4933 | 4912 6479 42055 | 10717 4933 47 | 3.383 % | 1732.92/1732.92 c | 7496 | 4911 6479 42055 | 11789 7496 51 | 3.403 % | 1733.31/1733.37 c | 11341 | 4911 6479 42055 | 12968 11341 56 | 3.403 % | 1733.92/1733.98 c | 17110 | 4911 6479 42055 | 14265 10393 67 | 3.403 % | 1735.02/1735.07 c | 25759 | 4911 6479 42055 | 15692 11723 63 | 3.403 % | 1737.01/1737.00 c | 38733 | 4911 6479 42055 | 17261 8604 64 | 3.403 % | 1739.72/1739.74 c | 58195 | 4905 6479 42055 | 18987 10346 86 | 3.521 % | 1744.12/1744.14 c | 87388 | 4905 6479 42055 | 20886 10270 70 | 3.521 % | 1751.42/1751.47 c | 131178 | 4905 6479 42055 | 22974 11229 128 | 3.521 % | 1764.72/1764.74 c | 196863 | 4899 6479 42055 | 25272 18338 124 | 3.639 % | 1788.32/1788.31 c | 295398 | 4899 6479 42055 | 27799 25008 146 | 3.639 % |
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-3479268-1307448396/watcher-3479268-1307448396 -o /tmp/evaluation-result-3479268-1307448396/solver-3479268-1307448396 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3479268-1307448396.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.90 2.03 1.95 2/556 1324 /proc/meminfo: memFree=28743964/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=2564 CPUtime=0 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 351 0 0 0 0 0 0 0 25 0 1 0 935070232 2625536 305 33554432000 4194304 5714214 140733223905120 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 641 305 172 372 0 189 0 [startup+0.02582 s] /proc/loadavg: 1.90 2.03 1.95 2/556 1324 /proc/meminfo: memFree=28743964/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=3472 CPUtime=0.02 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 727 0 0 0 2 0 0 0 25 0 1 0 935070232 3555328 604 33554432000 4194304 5714214 140733223905120 18446744073709551615 4336999 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 868 604 173 372 0 493 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3472 [startup+0.100847 s] /proc/loadavg: 1.90 2.03 1.95 2/556 1324 /proc/meminfo: memFree=28743964/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=3716 CPUtime=0.09 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 796 0 0 0 9 0 0 0 25 0 1 0 935070232 3805184 673 33554432000 4194304 5714214 140733223905120 18446744073709551615 4199376 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 929 673 175 372 0 554 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3716 [startup+0.300816 s] /proc/loadavg: 1.90 2.03 1.95 2/556 1324 /proc/meminfo: memFree=28743964/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=3932 CPUtime=0.29 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 880 0 0 0 29 0 0 0 25 0 1 0 935070232 4026368 744 33554432000 4194304 5714214 140733223905120 18446744073709551615 4964805 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 983 744 175 372 0 608 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3932 [startup+0.70075 s] /proc/loadavg: 1.90 2.03 1.95 2/556 1324 /proc/meminfo: memFree=28743964/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=5208 CPUtime=0.69 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 1315 0 0 0 69 0 0 0 25 0 1 0 935070232 5332992 1029 33554432000 4194304 5714214 140733223905120 18446744073709551615 4967823 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 1302 1029 175 372 0 927 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5208 [startup+1.50055 s] /proc/loadavg: 1.90 2.03 1.95 3/559 1352 /proc/meminfo: memFree=28730312/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=9320 CPUtime=1.49 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 2574 0 0 0 148 1 0 0 25 0 1 0 935070232 9543680 2065 33554432000 4194304 5714214 140733223905120 18446744073709551615 4314131 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 2330 2065 180 372 0 1955 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9320 [startup+3.10031 s] /proc/loadavg: 1.90 2.03 1.95 3/559 1352 /proc/meminfo: memFree=28680836/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=12148 CPUtime=3.09 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 3332 0 0 0 305 4 0 0 25 0 1 0 935070232 12439552 2797 33554432000 4194304 5714214 140733223905120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 3037 2797 180 372 0 2662 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12148 [startup+6.3008 s] /proc/loadavg: 1.99 2.04 1.96 3/559 1352 /proc/meminfo: memFree=28674156/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=17988 CPUtime=6.29 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 4761 0 0 0 624 5 0 0 22 0 1 0 935070232 18419712 4226 33554432000 4194304 5714214 140733223905120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 4497 4226 180 372 0 4122 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17988 [startup+12.7007 s] /proc/loadavg: 1.99 2.04 1.96 3/559 1352 /proc/meminfo: memFree=28635080/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=29988 CPUtime=12.69 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 7717 0 0 0 1256 13 0 0 18 0 1 0 935070232 30707712 7182 33554432000 4194304 5714214 140733223905120 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 7497 7182 180 372 0 7122 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29988 [startup+25.5006 s] /proc/loadavg: 2.07 2.06 1.96 3/559 1354 /proc/meminfo: memFree=28615524/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=49992 CPUtime=25.49 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 12690 0 0 0 2527 22 0 0 25 0 1 0 935070232 51191808 12155 33554432000 4194304 5714214 140733223905120 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 12498 12155 180 372 0 12123 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 49992 [startup+51.1003 s] /proc/loadavg: 2.04 2.05 1.96 3/559 1354 /proc/meminfo: memFree=28607256/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=57940 CPUtime=51.09 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 14757 0 0 0 5073 36 0 0 25 0 1 0 935070232 59330560 14176 33554432000 4194304 5714214 140733223905120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 14485 14176 180 372 0 14110 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 57940 [startup+102.322 s] /proc/loadavg: 2.02 2.04 1.96 3/559 1356 /proc/meminfo: memFree=28568172/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=95220 CPUtime=102.32 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 23945 0 0 0 10166 66 0 0 25 0 1 0 935070232 97505280 23364 33554432000 4194304 5714214 140733223905120 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 23805 23364 180 372 0 23430 0 Current children cumulated CPU time (s) 102.32 Current children cumulated vsize (KiB) 95220 [startup+162.301 s] /proc/loadavg: 2.00 2.03 1.96 3/559 1356 /proc/meminfo: memFree=28479992/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=142568 CPUtime=162.3 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 35552 0 0 0 16136 94 0 0 25 0 1 0 935070232 145989632 34971 33554432000 4194304 5714214 140733223905120 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 35642 34971 180 372 0 35267 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 142568 [startup+222.301 s] /proc/loadavg: 2.07 2.04 1.97 3/559 1358 /proc/meminfo: memFree=28432460/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=180440 CPUtime=222.29 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 44859 0 0 0 22116 113 0 0 25 0 1 0 935070232 184770560 44278 33554432000 4194304 5714214 140733223905120 18446744073709551615 5013632 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 45110 44278 180 372 0 44735 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 180440 [startup+282.301 s] /proc/loadavg: 2.08 2.04 1.97 3/559 1360 /proc/meminfo: memFree=28373048/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=209928 CPUtime=282.29 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 52063 0 0 0 28093 136 0 0 25 0 1 0 935070232 214966272 51482 33554432000 4194304 5714214 140733223905120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 52482 51482 180 372 0 52107 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 209928 [startup+342.301 s] /proc/loadavg: 2.03 2.03 1.97 3/559 1362 /proc/meminfo: memFree=28338544/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=242676 CPUtime=342.3 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 60005 0 0 0 34076 154 0 0 25 0 1 0 935070232 248500224 59424 33554432000 4194304 5714214 140733223905120 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 60669 59424 180 372 0 60294 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 242676 [startup+402.301 s] /proc/loadavg: 2.01 2.02 1.97 3/559 1364 /proc/meminfo: memFree=28320160/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=260664 CPUtime=402.3 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 64684 0 0 0 40046 184 0 0 25 0 1 0 935070232 266919936 64031 33554432000 4194304 5714214 140733223905120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 65166 64031 180 372 0 64791 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 260664 [startup+462.301 s] /proc/loadavg: 2.00 2.02 1.97 3/559 1364 /proc/meminfo: memFree=28311712/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=260664 CPUtime=462.29 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 64974 0 0 0 46023 206 0 0 25 0 1 0 935070232 266919936 64321 33554432000 4194304 5714214 140733223905120 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 65166 64321 180 372 0 64791 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 260664 [startup+522.301 s] /proc/loadavg: 2.00 2.01 1.97 3/559 1366 /proc/meminfo: memFree=28299620/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=260664 CPUtime=522.3 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 65038 0 0 0 52002 228 0 0 25 0 1 0 935070232 266919936 64385 33554432000 4194304 5714214 140733223905120 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 65166 64385 180 372 0 64791 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 260664 [startup+582.301 s] /proc/loadavg: 2.00 2.01 1.97 3/559 1368 /proc/meminfo: memFree=28271696/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=260664 CPUtime=582.3 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 65074 0 0 0 57979 251 0 0 25 0 1 0 935070232 266919936 64421 33554432000 4194304 5714214 140733223905120 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 65166 64421 180 372 0 64791 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 260664 [startup+642.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.02 1.99 3/559 1374 /proc/meminfo: memFree=28231892/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=298040 CPUtime=822.31 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 74752 0 0 0 81905 326 0 0 25 0 1 0 935070232 305192960 74099 33554432000 4194304 5714214 140733223905120 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 74510 74099 180 372 0 74135 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 298040 [startup+882.3 s] /proc/loadavg: 2.14 2.06 2.01 3/559 1376 /proc/meminfo: memFree=28196884/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=330808 CPUtime=882.31 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 82734 0 0 0 87889 342 0 0 25 0 1 0 935070232 338747392 82081 33554432000 4194304 5714214 140733223905120 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 82702 82081 180 372 0 82327 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 330808 [startup+942.3 s] /proc/loadavg: 2.05 2.05 2.00 3/559 1378 /proc/meminfo: memFree=28181464/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=346388 CPUtime=942.3 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 86528 0 0 0 93878 352 0 0 25 0 1 0 935070232 354701312 85875 33554432000 4194304 5714214 140733223905120 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 86597 85875 180 372 0 86222 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 346388 [startup+1002.3 s] /proc/loadavg: 2.02 2.04 2.00 3/559 1380 /proc/meminfo: memFree=28151296/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=371252 CPUtime=1002.3 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 92644 0 0 0 99862 368 0 0 25 0 1 0 935070232 380162048 91991 33554432000 4194304 5714214 140733223905120 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 92813 91991 180 372 0 92438 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 371252 [startup+1062.3 s] /proc/loadavg: 2.00 2.03 2.00 3/559 1380 /proc/meminfo: memFree=28125592/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=395316 CPUtime=1062.31 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 98382 0 0 0 105845 386 0 0 25 0 1 0 935070232 404803584 97729 33554432000 4194304 5714214 140733223905120 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 98829 97729 180 372 0 98454 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 395316 [startup+1122.3 s] /proc/loadavg: 2.00 2.02 2.00 3/559 1382 /proc/meminfo: memFree=28100744/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=420412 CPUtime=1122.3 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 104558 0 0 0 111828 402 0 0 25 0 1 0 935070232 430501888 103905 33554432000 4194304 5714214 140733223905120 18446744073709551615 4319190 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 105103 103905 180 372 0 104728 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 420412 [startup+1182.3 s] /proc/loadavg: 2.09 2.04 2.01 3/559 1384 /proc/meminfo: memFree=28081732/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=438620 CPUtime=1182.31 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 109060 0 0 0 117812 419 0 0 25 0 1 0 935070232 449146880 108407 33554432000 4194304 5714214 140733223905120 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 109655 108407 180 372 0 109280 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 438620 [startup+1242.3 s] /proc/loadavg: 2.11 2.06 2.01 3/559 1386 /proc/meminfo: memFree=28046112/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=472416 CPUtime=1242.31 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 117464 0 0 0 123791 440 0 0 25 0 1 0 935070232 483753984 116811 33554432000 4194304 5714214 140733223905120 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 118104 116811 180 372 0 117729 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 472416 [startup+1302.3 s] /proc/loadavg: 2.08 2.06 2.01 3/559 1388 /proc/meminfo: memFree=28021284/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=496632 CPUtime=1302.31 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 123462 0 0 0 129773 458 0 0 25 0 1 0 935070232 508551168 122809 33554432000 4194304 5714214 140733223905120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 124158 122809 180 372 0 123783 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 496632 [startup+1362.3 s] /proc/loadavg: 2.03 2.05 2.01 3/559 1388 /proc/meminfo: memFree=27989260/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=524880 CPUtime=1362.32 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 130548 0 0 0 135754 478 0 0 25 0 1 0 935070232 537477120 129895 33554432000 4194304 5714214 140733223905120 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 131220 129895 180 372 0 130845 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 524880 [startup+1422.32 s] /proc/loadavg: 2.10 2.07 2.01 3/559 1390 /proc/meminfo: memFree=27968512/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=537800 CPUtime=1422.34 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 133739 0 0 0 141746 488 0 0 25 0 1 0 935070232 550707200 133086 33554432000 4194304 5714214 140733223905120 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 134450 133086 180 372 0 134075 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 537800 [startup+1482.3 s] /proc/loadavg: 2.08 2.07 2.01 3/559 1392 /proc/meminfo: memFree=27949248/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=550696 CPUtime=1482.32 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 136902 0 0 0 147730 502 0 0 25 0 1 0 935070232 563912704 136249 33554432000 4194304 5714214 140733223905120 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 137674 136249 180 372 0 137299 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 550696 [startup+1542.3 s] /proc/loadavg: 2.06 2.06 2.01 3/559 1394 /proc/meminfo: memFree=27937188/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=563948 CPUtime=1542.32 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 140114 0 0 0 153713 519 0 0 25 0 1 0 935070232 577482752 139461 33554432000 4194304 5714214 140733223905120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 140987 139461 180 372 0 140612 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 563948 [startup+1602.3 s] /proc/loadavg: 2.02 2.05 2.00 3/559 1396 /proc/meminfo: memFree=27919052/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=582492 CPUtime=1602.32 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 144602 0 0 0 159697 535 0 0 25 0 1 0 935070232 596471808 143949 33554432000 4194304 5714214 140733223905120 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 145623 143949 180 372 0 145248 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 582492 [startup+1662.3 s] /proc/loadavg: 2.01 2.04 2.00 3/559 1396 /proc/meminfo: memFree=27894852/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=606720 CPUtime=1662.31 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 150624 0 0 0 165680 551 0 0 25 0 1 0 935070232 621281280 149971 33554432000 4194304 5714214 140733223905120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 151680 149971 180 372 0 151305 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 606720 [startup+1722.3 s] /proc/loadavg: 2.00 2.03 2.00 3/559 1398 /proc/meminfo: memFree=27794756/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=706764 CPUtime=1722.32 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 175616 0 0 0 171669 563 0 0 25 0 1 0 935070232 723726336 174963 33554432000 4194304 5714214 140733223905120 18446744073709551615 4324928 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 176691 174963 180 372 0 176316 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 706764 [startup+1782.3 s] /proc/loadavg: 2.11 2.05 2.01 3/559 1400 /proc/meminfo: memFree=27790900/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=707076 CPUtime=1782.31 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 175889 0 0 0 177643 588 0 0 25 0 1 0 935070232 724045824 175090 33554432000 4194304 5714214 140733223905120 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 176769 175090 180 372 0 176394 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 707076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.08 2.05 2.01 3/559 1400 /proc/meminfo: memFree=27792136/32951124 swapFree=34426104/67111528 [pid=1324] ppid=1322 vsize=707076 CPUtime=1800.02 cores=0,2,4,6 /proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 175893 0 0 0 179407 595 0 0 25 0 1 0 935070232 724045824 175094 33554432000 4194304 5714214 140733223905120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1324/statm: 176769 175094 180 372 0 176394 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 707076 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.06 CPU time (s): 1800.08 CPU user time (s): 1794.09 CPU system time (s): 5.99209 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 707884 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.09 system time used= 5.99209 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 175893 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= 14 involuntary context switches= 2939 runsolver used 10.7824 second user time and 23.4494 second system time The end
Begin job on node118 at 2011-06-07 14:06:36 IDJOB=3479268 IDBENCH=89870 IDSOLVER=1953 FILE ID=node118/3479268-1307448396 RUNJOBID= node118-1307444787-1030 PBS_JOBID= 13520314 Free space on /tmp= 73920 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-seymour.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3479268-1307448396/watcher-3479268-1307448396 -o /tmp/evaluation-result-3479268-1307448396/solver-3479268-1307448396 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3479268-1307448396.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 81e2a90d1271d1dbaf7ba2223c5c350c RANDOM SEED=632906391 node118.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.842 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 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.842 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.842 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.75 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.842 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.68 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.842 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.842 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 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 : 5374.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28744244 kB Buffers: 335260 kB Cached: 1968512 kB SwapCached: 56200 kB Active: 987208 kB Inactive: 2882736 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28744244 kB SwapTotal: 67111528 kB SwapFree: 34426104 kB Dirty: 4700 kB Writeback: 0 kB AnonPages: 1522896 kB Mapped: 14772 kB Slab: 150048 kB PageTables: 115032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 183811264 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= 73912 MiB End job on node118 at 2011-06-07 14:36:38