Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.1 | 1800.05 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-seymour.opb |
MD5SUM | 97ebaccbda37d5c570b4e2ec3cd7f8f0 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 425 |
Best CPU time to get the best result obtained on this benchmark | 1797.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 425 |
Optimality of the best value was proved | NO |
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-3460990-1307074484.opb. 0.00/0.00 c Instance file HOME/instance-3460990-1307074484.opb 0.00/0.00 c File size is 324105 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.12 c core #1 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 118 0.09/0.12 c Current CPU time: 0.022996 s 0.09/0.12 c 0.09/0.12 c core #2 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 5 Core Weight: 1 Total Weight: 119 0.09/0.12 c Current CPU time: 0.025996 s 0.09/0.12 c 0.09/0.12 c core #3 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 120 0.09/0.12 c Current CPU time: 0.027995 s 0.09/0.12 c 0.09/0.12 c core #4 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 12 Core Weight: 1 Total Weight: 121 0.09/0.12 c Current CPU time: 0.030995 s 0.09/0.12 c 0.09/0.12 c core #5 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: 122 0.09/0.12 c Current CPU time: 0.032994 s 0.09/0.12 c 0.09/0.12 c core #6 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 13 Core Weight: 1 Total Weight: 123 0.09/0.12 c Current CPU time: 0.034994 s 0.09/0.12 c 0.09/0.12 c core #7 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 12 Core Weight: 1 Total Weight: 124 0.09/0.12 c Current CPU time: 0.037994 s 0.09/0.12 c 0.09/0.12 c core #8 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 125 0.09/0.12 c Current CPU time: 0.039993 s 0.09/0.12 c 0.09/0.12 c core #9 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 8 Core Weight: 1 Total Weight: 126 0.09/0.12 c Current CPU time: 0.042993 s 0.09/0.12 c 0.09/0.12 c core #10 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: 127 0.09/0.12 c Current CPU time: 0.044993 s 0.09/0.12 c 0.09/0.12 c core #11 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 128 0.09/0.12 c Current CPU time: 0.047992 s 0.09/0.12 c 0.09/0.12 c core #12 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 7 Core Weight: 1 Total Weight: 129 0.09/0.12 c Current CPU time: 0.049992 s 0.09/0.12 c 0.09/0.12 c core #13 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 5 Core Weight: 1 Total Weight: 130 0.09/0.12 c Current CPU time: 0.051992 s 0.09/0.12 c 0.09/0.12 c core #14 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 13 Core Weight: 1 Total Weight: 131 0.09/0.12 c Current CPU time: 0.053991 s 0.09/0.12 c 0.09/0.12 c core #15 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 132 0.09/0.12 c Current CPU time: 0.055991 s 0.09/0.12 c 0.09/0.12 c core #16 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 14 Core Weight: 1 Total Weight: 133 0.09/0.12 c Current CPU time: 0.058991 s 0.09/0.12 c 0.09/0.12 c core #17 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 7 Core Weight: 1 Total Weight: 134 0.09/0.12 c Current CPU time: 0.06099 s 0.09/0.12 c 0.09/0.12 c core #18 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 15 Core Weight: 1 Total Weight: 135 0.09/0.12 c Current CPU time: 0.06399 s 0.09/0.12 c 0.09/0.12 c core #19 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 136 0.09/0.12 c Current CPU time: 0.065989 s 0.09/0.12 c 0.09/0.12 c core #20 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 7 Core Weight: 1 Total Weight: 137 0.09/0.12 c Current CPU time: 0.068989 s 0.09/0.12 c 0.09/0.12 c core #21 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 9 Core Weight: 1 Total Weight: 138 0.09/0.12 c Current CPU time: 0.070989 s 0.09/0.12 c 0.09/0.12 c core #22 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 8 Core Weight: 1 Total Weight: 139 0.09/0.12 c Current CPU time: 0.073988 s 0.09/0.12 c 0.09/0.12 c core #23 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: 140 0.09/0.12 c Current CPU time: 0.075988 s 0.09/0.12 c 0.09/0.12 c core #24 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 141 0.09/0.12 c Current CPU time: 0.078987 s 0.09/0.12 c 0.09/0.12 c core #25 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 142 0.09/0.12 c Current CPU time: 0.080987 s 0.09/0.12 c 0.09/0.12 c core #26 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: 143 0.09/0.12 c Current CPU time: 0.083987 s 0.09/0.12 c 0.09/0.12 c core #27 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 144 0.09/0.12 c Current CPU time: 0.085986 s 0.09/0.12 c 0.09/0.12 c core #28 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: 145 0.09/0.12 c Current CPU time: 0.088986 s 0.09/0.12 c 0.09/0.12 c core #29 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 5 Core Weight: 1 Total Weight: 146 0.09/0.12 c Current CPU time: 0.090986 s 0.09/0.12 c 0.09/0.12 c core #30 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 11 Core Weight: 1 Total Weight: 147 0.09/0.12 c Current CPU time: 0.093985 s 0.09/0.12 c 0.09/0.12 c core #31 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 5 Core Weight: 1 Total Weight: 148 0.09/0.12 c Current CPU time: 0.095985 s 0.09/0.12 c 0.09/0.12 c core #32 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: 149 0.09/0.12 c Current CPU time: 0.098984 s 0.09/0.12 c 0.09/0.12 c core #33 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 5 Core Weight: 1 Total Weight: 150 0.09/0.12 c Current CPU time: 0.100984 s 0.09/0.12 c 0.09/0.12 c core #34 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: 151 0.09/0.12 c Current CPU time: 0.102984 s 0.09/0.12 c 0.09/0.12 c core #35 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 5 Core Weight: 1 Total Weight: 152 0.09/0.12 c Current CPU time: 0.105983 s 0.09/0.12 c 0.09/0.12 c core #36 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 5 Core Weight: 1 Total Weight: 153 0.09/0.12 c Current CPU time: 0.107983 s 0.09/0.12 c 0.09/0.12 c core #37 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: 154 0.09/0.12 c Current CPU time: 0.110983 s 0.09/0.12 c 0.09/0.12 c core #38 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 155 0.09/0.12 c Current CPU time: 0.112982 s 0.09/0.12 c 0.09/0.12 c core #39 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 5 Core Weight: 1 Total Weight: 156 0.09/0.12 c Current CPU time: 0.115982 s 0.09/0.12 c 0.09/0.12 c core #40 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 5 Core Weight: 1 Total Weight: 157 0.09/0.12 c Current CPU time: 0.118981 s 0.09/0.12 c 0.09/0.12 c core #41 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: 158 0.09/0.12 c Current CPU time: 0.120981 s 0.09/0.12 c 0.09/0.12 c core #42 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 159 0.09/0.12 c Current CPU time: 0.123981 s 0.19/0.23 c 0.19/0.23 c core #43 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 160 0.19/0.23 c Current CPU time: 0.12598 s 0.19/0.23 c 0.19/0.23 c core #44 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 4 Core Weight: 1 Total Weight: 161 0.19/0.23 c Current CPU time: 0.12898 s 0.19/0.23 c 0.19/0.23 c core #45 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 10 Core Weight: 1 Total Weight: 162 0.19/0.23 c Current CPU time: 0.13098 s 0.19/0.23 c 0.19/0.23 c core #46 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 163 0.19/0.23 c Current CPU time: 0.133979 s 0.19/0.23 c 0.19/0.23 c core #47 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 164 0.19/0.23 c Current CPU time: 0.135979 s 0.19/0.23 c 0.19/0.23 c core #48 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 165 0.19/0.23 c Current CPU time: 0.138978 s 0.19/0.23 c 0.19/0.23 c core #49 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 5 Core Weight: 1 Total Weight: 166 0.19/0.23 c Current CPU time: 0.141978 s 0.19/0.23 c 0.19/0.23 c core #50 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 167 0.19/0.23 c Current CPU time: 0.143978 s 0.19/0.23 c 0.19/0.23 c core #51 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 7 Core Weight: 1 Total Weight: 168 0.19/0.23 c Current CPU time: 0.146977 s 0.19/0.23 c 0.19/0.23 c core #52 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 4 Core Weight: 1 Total Weight: 169 0.19/0.23 c Current CPU time: 0.148977 s 0.19/0.23 c 0.19/0.23 c core #53 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 5 Core Weight: 1 Total Weight: 170 0.19/0.23 c Current CPU time: 0.151976 s 0.19/0.23 c 0.19/0.23 c core #54 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 171 0.19/0.23 c Current CPU time: 0.154976 s 0.19/0.23 c 0.19/0.23 c core #55 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 172 0.19/0.23 c Current CPU time: 0.156976 s 0.19/0.23 c 0.19/0.23 c core #56 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 8 Core Weight: 1 Total Weight: 173 0.19/0.23 c Current CPU time: 0.159975 s 0.19/0.23 c 0.19/0.23 c core #57 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 174 0.19/0.23 c Current CPU time: 0.162975 s 0.19/0.23 c 0.19/0.23 c core #58 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 7 Core Weight: 1 Total Weight: 175 0.19/0.23 c Current CPU time: 0.164974 s 0.19/0.23 c 0.19/0.23 c core #59 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 4 Core Weight: 1 Total Weight: 176 0.19/0.23 c Current CPU time: 0.167974 s 0.19/0.23 c 0.19/0.23 c core #60 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 5 Core Weight: 1 Total Weight: 177 0.19/0.23 c Current CPU time: 0.169974 s 0.19/0.23 c 0.19/0.23 c core #61 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 4 Core Weight: 1 Total Weight: 178 0.19/0.23 c Current CPU time: 0.172973 s 0.19/0.23 c 0.19/0.23 c core #62 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 7 Core Weight: 1 Total Weight: 179 0.19/0.23 c Current CPU time: 0.175973 s 0.19/0.23 c 0.19/0.23 c core #63 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 6 Core Weight: 1 Total Weight: 180 0.19/0.23 c Current CPU time: 0.177972 s 0.19/0.23 c 0.19/0.23 c core #64 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 5 Core Weight: 1 Total Weight: 181 0.19/0.23 c Current CPU time: 0.180972 s 0.19/0.23 c 0.19/0.23 c core #65 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 16 Core Weight: 1 Total Weight: 182 0.19/0.23 c Current CPU time: 0.183972 s 0.19/0.23 c 0.19/0.23 c core #66 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 183 0.19/0.23 c Current CPU time: 0.185971 s 0.19/0.23 c 0.19/0.23 c core #67 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 184 0.19/0.23 c Current CPU time: 0.188971 s 0.19/0.23 c 0.19/0.23 c core #68 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 185 0.19/0.23 c Current CPU time: 0.19197 s 0.19/0.23 c 0.19/0.23 c core #69 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 4 Core Weight: 1 Total Weight: 186 0.19/0.23 c Current CPU time: 0.19397 s 0.19/0.23 c 0.19/0.23 c core #70 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 4 Core Weight: 1 Total Weight: 187 0.19/0.23 c Current CPU time: 0.19697 s 0.19/0.23 c 0.19/0.23 c core #71 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 4 Core Weight: 1 Total Weight: 188 0.19/0.23 c Current CPU time: 0.199969 s 0.19/0.23 c 0.19/0.23 c core #72 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 189 0.19/0.23 c Current CPU time: 0.202969 s 0.19/0.23 c 0.19/0.23 c core #73 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 5 Core Weight: 1 Total Weight: 190 0.19/0.23 c Current CPU time: 0.204968 s 0.19/0.23 c 0.19/0.23 c core #74 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 191 0.19/0.23 c Current CPU time: 0.207968 s 0.19/0.23 c 0.19/0.23 c core #75 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 192 0.19/0.23 c Current CPU time: 0.210967 s 0.19/0.23 c 0.19/0.23 c core #76 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 193 0.19/0.23 c Current CPU time: 0.212967 s 0.19/0.23 c 0.19/0.23 c core #77 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 7 Core Weight: 1 Total Weight: 194 0.19/0.23 c Current CPU time: 0.215967 s 0.19/0.23 c 0.19/0.23 c core #78 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 195 0.19/0.23 c Current CPU time: 0.218966 s 0.19/0.23 c 0.19/0.23 c core #79 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 5 Core Weight: 1 Total Weight: 196 0.19/0.23 c Current CPU time: 0.220966 s 0.19/0.23 c 0.19/0.23 c core #80 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 197 0.19/0.23 c Current CPU time: 0.223965 s 0.19/0.23 c 0.19/0.23 c core #81 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 198 0.19/0.23 c Current CPU time: 0.226965 s 0.19/0.23 c 0.19/0.23 c core #82 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 199 0.19/0.23 c Current CPU time: 0.229965 s 0.19/0.23 c 0.19/0.23 c core #83 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 14 Core Weight: 1 Total Weight: 200 0.19/0.23 c Current CPU time: 0.231964 s 0.19/0.23 c 0.19/0.23 c core #84 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 201 0.29/0.35 c Current CPU time: 0.234964 s 0.29/0.35 c 0.29/0.35 c core #85 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 10 Core Weight: 1 Total Weight: 202 0.29/0.35 c Current CPU time: 0.237963 s 0.29/0.35 c 0.29/0.35 c core #86 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 203 0.29/0.35 c Current CPU time: 0.240963 s 0.29/0.35 c 0.29/0.35 c core #87 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 5 Core Weight: 1 Total Weight: 204 0.29/0.35 c Current CPU time: 0.242963 s 0.29/0.35 c 0.29/0.35 c core #88 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 205 0.29/0.35 c Current CPU time: 0.245962 s 0.29/0.35 c 0.29/0.35 c core #89 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 206 0.29/0.35 c Current CPU time: 0.248962 s 0.29/0.35 c 0.29/0.35 c core #90 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 207 0.29/0.35 c Current CPU time: 0.250961 s 0.29/0.35 c 0.29/0.35 c core #91 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 208 0.29/0.35 c Current CPU time: 0.253961 s 0.29/0.35 c 0.29/0.35 c core #92 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 209 0.29/0.35 c Current CPU time: 0.25696 s 0.29/0.35 c 0.29/0.35 c core #93 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 7 Core Weight: 1 Total Weight: 210 0.29/0.35 c Current CPU time: 0.25996 s 0.29/0.35 c 0.29/0.35 c core #94 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 6 Core Weight: 1 Total Weight: 211 0.29/0.35 c Current CPU time: 0.26296 s 0.29/0.35 c 0.29/0.35 c core #95 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 13 Core Weight: 1 Total Weight: 212 0.29/0.35 c Current CPU time: 0.265959 s 0.29/0.35 c 0.29/0.35 c core #96 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 213 0.29/0.35 c Current CPU time: 0.267959 s 0.29/0.35 c 0.29/0.35 c core #97 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 214 0.29/0.35 c Current CPU time: 0.270958 s 0.29/0.35 c 0.29/0.35 c core #98 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 7 Core Weight: 1 Total Weight: 215 0.29/0.35 c Current CPU time: 0.273958 s 0.29/0.35 c 0.29/0.35 c core #99 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 216 0.29/0.35 c Current CPU time: 0.276957 s 0.29/0.35 c 0.29/0.35 c core #100 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 217 0.29/0.35 c Current CPU time: 0.279957 s 0.29/0.35 c 0.29/0.35 c core #101 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 5 Core Weight: 1 Total Weight: 218 0.29/0.35 c Current CPU time: 0.281957 s 0.29/0.35 c 0.29/0.35 c core #102 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 8 Core Weight: 1 Total Weight: 219 0.29/0.35 c Current CPU time: 0.284956 s 0.29/0.35 c 0.29/0.35 c core #103 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 220 0.29/0.35 c Current CPU time: 0.287956 s 0.29/0.35 c 0.29/0.35 c core #104 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 221 0.29/0.35 c Current CPU time: 0.290955 s 0.29/0.35 c 0.29/0.35 c core #105 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 222 0.29/0.35 c Current CPU time: 0.293955 s 0.29/0.35 c 0.29/0.35 c core #106 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 223 0.29/0.35 c Current CPU time: 0.296954 s 0.29/0.35 c 0.29/0.35 c core #107 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 224 0.29/0.35 c Current CPU time: 0.298954 s 0.29/0.35 c 0.29/0.35 c core #108 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 9 Core Weight: 1 Total Weight: 225 0.29/0.35 c Current CPU time: 0.301954 s 0.29/0.35 c 0.29/0.35 c core #109 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 226 0.29/0.35 c Current CPU time: 0.304953 s 0.29/0.35 c 0.29/0.35 c core #110 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 12 Core Weight: 1 Total Weight: 227 0.29/0.35 c Current CPU time: 0.307953 s 0.29/0.35 c 0.29/0.35 c core #111 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 228 0.29/0.35 c Current CPU time: 0.310952 s 0.29/0.35 c 0.29/0.35 c core #112 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 9 Core Weight: 1 Total Weight: 229 0.29/0.35 c Current CPU time: 0.313952 s 0.29/0.35 c 0.29/0.35 c core #113 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 230 0.29/0.35 c Current CPU time: 0.316951 s 0.29/0.35 c 0.29/0.35 c core #114 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 6 Core Weight: 1 Total Weight: 231 0.29/0.35 c Current CPU time: 0.318951 s 0.29/0.35 c 0.29/0.35 c core #115 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 232 0.29/0.35 c Current CPU time: 0.321951 s 0.29/0.35 c 0.29/0.35 c core #116 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 233 0.29/0.35 c Current CPU time: 0.32495 s 0.29/0.35 c 0.29/0.35 c core #117 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 234 0.29/0.35 c Current CPU time: 0.32795 s 0.29/0.35 c 0.29/0.35 c core #118 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 235 0.29/0.35 c Current CPU time: 0.330949 s 0.29/0.35 c 0.29/0.35 c core #119 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 7 Core Weight: 1 Total Weight: 236 0.29/0.35 c Current CPU time: 0.333949 s 0.29/0.35 c 0.29/0.35 c core #120 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 7 Core Weight: 1 Total Weight: 237 0.29/0.35 c Current CPU time: 0.336948 s 0.29/0.35 c 0.29/0.35 c core #121 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 13 Core Weight: 1 Total Weight: 238 0.29/0.35 c Current CPU time: 0.339948 s 0.29/0.35 c 0.29/0.35 c core #122 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 7 Core Weight: 1 Total Weight: 239 0.29/0.35 c Current CPU time: 0.341948 s 0.29/0.35 c 0.29/0.35 c core #123 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 13 Core Weight: 1 Total Weight: 240 0.29/0.35 c Current CPU time: 0.344947 s 0.29/0.35 c 0.29/0.35 c core #124 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 9 Core Weight: 1 Total Weight: 241 0.29/0.35 c Current CPU time: 0.347947 s 0.29/0.35 c 0.29/0.35 c core #125 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 242 0.29/0.35 c Current CPU time: 0.349946 s 0.29/0.35 c 0.29/0.35 c core #126 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 6 Core Weight: 1 Total Weight: 243 0.39/0.48 c Current CPU time: 0.352946 s 0.39/0.48 c 0.39/0.48 c core #127 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 4 Core Weight: 1 Total Weight: 244 0.39/0.48 c Current CPU time: 0.355945 s 0.39/0.48 c 0.39/0.48 c core #128 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 9 Core Weight: 1 Total Weight: 245 0.39/0.48 c Current CPU time: 0.358945 s 0.39/0.48 c 0.39/0.48 c core #129 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 6 Core Weight: 1 Total Weight: 246 0.39/0.48 c Current CPU time: 0.361944 s 0.39/0.48 c 0.39/0.48 c core #130 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 4 Core Weight: 1 Total Weight: 247 0.39/0.48 c Current CPU time: 0.364944 s 0.39/0.48 c 0.39/0.48 c core #131 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 5 Core Weight: 1 Total Weight: 248 0.39/0.48 c Current CPU time: 0.367944 s 0.39/0.48 c 0.39/0.48 c core #132 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 4 Core Weight: 1 Total Weight: 249 0.39/0.48 c Current CPU time: 0.370943 s 0.39/0.48 c 0.39/0.48 c core #133 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 8 Core Weight: 1 Total Weight: 250 0.39/0.48 c Current CPU time: 0.373943 s 0.39/0.48 c 0.39/0.48 c core #134 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 8 Core Weight: 1 Total Weight: 251 0.39/0.48 c Current CPU time: 0.376942 s 0.39/0.48 c 0.39/0.48 c core #135 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 252 0.39/0.48 c Current CPU time: 0.379942 s 0.39/0.48 c 0.39/0.48 c core #136 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 253 0.39/0.48 c Current CPU time: 0.382941 s 0.39/0.48 c 0.39/0.48 c core #137 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 6 Core Weight: 1 Total Weight: 254 0.39/0.48 c Current CPU time: 0.385941 s 0.39/0.48 c 0.39/0.48 c core #138 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 4 Core Weight: 1 Total Weight: 255 0.39/0.48 c Current CPU time: 0.38894 s 0.39/0.48 c 0.39/0.48 c core #139 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 7 Core Weight: 1 Total Weight: 256 0.39/0.48 c Current CPU time: 0.39194 s 0.39/0.48 c 0.39/0.48 c core #140 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 4 Core Weight: 1 Total Weight: 257 0.39/0.48 c Current CPU time: 0.394939 s 0.39/0.48 c 0.39/0.48 c core #141 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 258 0.39/0.48 c Current CPU time: 0.397939 s 0.39/0.48 c 0.39/0.48 c core #142 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 5 Core Weight: 1 Total Weight: 259 0.39/0.48 c Current CPU time: 0.400939 s 0.39/0.48 c 0.39/0.48 c core #143 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 260 0.39/0.48 c Current CPU time: 0.403938 s 0.39/0.48 c 0.39/0.48 c core #144 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 7 Core Weight: 1 Total Weight: 261 0.39/0.48 c Current CPU time: 0.406938 s 0.39/0.48 c 0.39/0.48 c core #145 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 262 0.39/0.48 c Current CPU time: 0.409937 s 0.39/0.48 c 0.39/0.48 c core #146 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 4 Core Weight: 1 Total Weight: 263 0.39/0.48 c Current CPU time: 0.412937 s 0.39/0.48 c 0.39/0.48 c core #147 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 5 Core Weight: 1 Total Weight: 264 0.39/0.48 c Current CPU time: 0.415936 s 0.39/0.48 c 0.39/0.48 c core #148 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 4 Core Weight: 1 Total Weight: 265 0.39/0.48 c Current CPU time: 0.418936 s 0.39/0.48 c 0.39/0.48 c core #149 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 4 Core Weight: 1 Total Weight: 266 0.39/0.48 c Current CPU time: 0.421935 s 0.39/0.48 c 0.39/0.48 c core #150 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 267 0.39/0.48 c Current CPU time: 0.424935 s 0.39/0.48 c 0.39/0.48 c core #151 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 8 Core Weight: 1 Total Weight: 268 0.39/0.48 c Current CPU time: 0.427934 s 0.39/0.48 c 0.39/0.48 c core #152 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 4 Core Weight: 1 Total Weight: 269 0.39/0.48 c Current CPU time: 0.430934 s 0.39/0.48 c 0.39/0.48 c core #153 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 270 0.39/0.48 c Current CPU time: 0.433934 s 0.39/0.48 c 0.39/0.48 c core #154 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 271 0.39/0.48 c Current CPU time: 0.436933 s 0.39/0.48 c 0.39/0.48 c core #155 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 272 0.39/0.48 c Current CPU time: 0.439933 s 0.39/0.48 c 0.39/0.48 c core #156 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 273 0.39/0.48 c Current CPU time: 0.442932 s 0.39/0.48 c 0.39/0.48 c core #157 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 4 Core Weight: 1 Total Weight: 274 0.39/0.48 c Current CPU time: 0.445932 s 0.39/0.48 c 0.39/0.48 c core #158 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 7 Core Weight: 1 Total Weight: 275 0.39/0.48 c Current CPU time: 0.449931 s 0.39/0.48 c 0.39/0.48 c core #159 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 7 Core Weight: 1 Total Weight: 276 0.39/0.48 c Current CPU time: 0.452931 s 0.39/0.48 c 0.39/0.48 c core #160 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 6 Core Weight: 1 Total Weight: 277 0.39/0.48 c Current CPU time: 0.45593 s 0.39/0.48 c 0.39/0.48 c core #161 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 4 Core Weight: 1 Total Weight: 278 0.39/0.48 c Current CPU time: 0.45893 s 0.39/0.48 c 0.39/0.48 c core #162 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 4 Core Weight: 1 Total Weight: 279 0.39/0.48 c Current CPU time: 0.461929 s 0.39/0.48 c 0.39/0.48 c core #163 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 280 0.39/0.48 c Current CPU time: 0.464929 s 0.39/0.48 c 0.39/0.48 c core #164 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 281 0.39/0.48 c Current CPU time: 0.467928 s 0.39/0.48 c 0.39/0.48 c core #165 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 282 0.39/0.48 c Current CPU time: 0.470928 s 0.39/0.48 c 0.39/0.48 c core #166 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 5 Core Weight: 1 Total Weight: 283 0.39/0.48 c Current CPU time: 0.474927 s 0.39/0.48 c 0.39/0.48 c core #167 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 4 Core Weight: 1 Total Weight: 284 0.59/0.61 c Current CPU time: 0.477927 s 0.59/0.61 c 0.59/0.61 c core #168 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c Core size: 3 Core Weight: 1 Total Weight: 285 0.59/0.61 c Current CPU time: 0.480926 s 0.59/0.61 c 0.59/0.61 c core #169 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c Core size: 6 Core Weight: 1 Total Weight: 286 0.59/0.61 c Current CPU time: 0.483926 s 0.59/0.61 c 0.59/0.61 c core #170 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c Core size: 4 Core Weight: 1 Total Weight: 287 0.59/0.61 c Current CPU time: 0.486925 s 0.59/0.61 c 0.59/0.61 c core #171 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c Core size: 10 Core Weight: 1 Total Weight: 288 0.59/0.61 c Current CPU time: 0.489925 s 0.59/0.61 c 0.59/0.61 c core #172 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c Core size: 9 Core Weight: 1 Total Weight: 289 0.59/0.61 c Current CPU time: 0.493924 s 0.59/0.61 c 0.59/0.61 c core #173 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c Core size: 5 Core Weight: 1 Total Weight: 290 0.59/0.61 c Current CPU time: 0.496924 s 0.59/0.61 c 0.59/0.61 c core #174 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c Core size: 5 Core Weight: 1 Total Weight: 291 0.59/0.61 c Current CPU time: 0.499924 s 0.59/0.61 c 0.59/0.61 c core #175 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c Core size: 3 Core Weight: 1 Total Weight: 292 0.59/0.61 c Current CPU time: 0.502923 s 0.59/0.61 c 0.59/0.61 c core #176 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c Core size: 3 Core Weight: 1 Total Weight: 293 0.59/0.61 c Current CPU time: 0.505923 s 0.59/0.61 c 0.59/0.61 c core #177 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c Core size: 3 Core Weight: 1 Total Weight: 294 0.59/0.61 c Current CPU time: 0.509922 s 0.59/0.61 c 0.59/0.61 c core #178 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c Core size: 4 Core Weight: 1 Total Weight: 295 0.59/0.61 c Current CPU time: 0.512922 s 0.59/0.61 c 0.59/0.61 c core #179 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c Core size: 3 Core Weight: 1 Total Weight: 296 0.59/0.61 c Current CPU time: 0.515921 s 0.59/0.61 c 0.59/0.61 c core #180 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c Core size: 3 Core Weight: 1 Total Weight: 297 0.59/0.61 c Current CPU time: 0.518921 s 0.59/0.61 c 0.59/0.61 c core #181 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c Core size: 3 Core Weight: 1 Total Weight: 298 0.59/0.61 c Current CPU time: 0.52292 s 0.59/0.61 c 0.59/0.61 c core #182 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c Core size: 3 Core Weight: 1 Total Weight: 299 0.59/0.61 c Current CPU time: 0.52592 s 0.59/0.61 c 0.59/0.61 c core #183 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c Core size: 5 Core Weight: 1 Total Weight: 300 0.59/0.61 c Current CPU time: 0.528919 s 0.59/0.61 c 0.59/0.61 c core #184 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c Core size: 3 Core Weight: 1 Total Weight: 301 0.59/0.61 c Current CPU time: 0.531919 s 0.59/0.61 c 0.59/0.61 c core #185 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c Core size: 3 Core Weight: 1 Total Weight: 302 0.59/0.61 c Current CPU time: 0.535918 s 0.59/0.61 c 0.59/0.61 c core #186 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c Core size: 5 Core Weight: 1 Total Weight: 303 0.59/0.61 c Current CPU time: 0.538918 s 0.59/0.61 c 0.59/0.61 c core #187 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c Core size: 4 Core Weight: 1 Total Weight: 304 0.59/0.61 c Current CPU time: 0.541917 s 0.59/0.61 c 0.59/0.61 c core #188 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c Core size: 4 Core Weight: 1 Total Weight: 305 0.59/0.62 c Current CPU time: 0.544917 s 0.59/0.62 c 0.59/0.62 c core #189 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 306 0.59/0.62 c Current CPU time: 0.547916 s 0.59/0.62 c 0.59/0.62 c core #190 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 12 Core Weight: 1 Total Weight: 307 0.59/0.62 c Current CPU time: 0.551916 s 0.59/0.62 c 0.59/0.62 c core #191 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 308 0.59/0.62 c Current CPU time: 0.554915 s 0.59/0.62 c 0.59/0.62 c core #192 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 6 Core Weight: 1 Total Weight: 309 0.59/0.62 c Current CPU time: 0.557915 s 0.59/0.62 c 0.59/0.62 c core #193 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 5 Core Weight: 1 Total Weight: 310 0.59/0.62 c Current CPU time: 0.561914 s 0.59/0.62 c 0.59/0.62 c core #194 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 311 0.59/0.62 c Current CPU time: 0.564914 s 0.59/0.62 c 0.59/0.62 c core #195 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 312 0.59/0.62 c Current CPU time: 0.567913 s 0.59/0.62 c 0.59/0.62 c core #196 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 6 Core Weight: 1 Total Weight: 313 0.59/0.62 c Current CPU time: 0.571913 s 0.59/0.62 c 0.59/0.62 c core #197 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 5 Core Weight: 1 Total Weight: 314 0.59/0.62 c Current CPU time: 0.574912 s 0.59/0.62 c 0.59/0.62 c core #198 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 4 Core Weight: 1 Total Weight: 315 0.59/0.62 c Current CPU time: 0.577912 s 0.59/0.62 c 0.59/0.62 c core #199 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 316 0.59/0.62 c Current CPU time: 0.580911 s 0.59/0.62 c 0.59/0.62 c core #200 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 4 Core Weight: 1 Total Weight: 317 0.59/0.62 c Current CPU time: 0.584911 s 0.59/0.62 c 0.59/0.62 c core #201 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 318 0.59/0.62 c Current CPU time: 0.58791 s 0.59/0.62 c 0.59/0.62 c core #202 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 5 Core Weight: 1 Total Weight: 319 0.59/0.62 c Current CPU time: 0.59091 s 0.59/0.62 c 0.59/0.62 c core #203 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 320 0.59/0.62 c Current CPU time: 0.594909 s 0.59/0.62 c 0.59/0.62 c core #204 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 321 0.59/0.62 c Current CPU time: 0.597909 s 0.59/0.62 c 0.59/0.62 c core #205 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 7 Core Weight: 1 Total Weight: 322 0.59/0.62 c Current CPU time: 0.600908 s 0.59/0.62 c 0.59/0.62 c core #206 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 323 0.59/0.62 c Current CPU time: 0.604908 s 0.59/0.62 c 0.59/0.62 c core #207 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 324 0.59/0.62 c Current CPU time: 0.607907 s 0.59/0.62 c 0.59/0.62 c core #208 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 4 Core Weight: 1 Total Weight: 325 0.59/0.62 c Current CPU time: 0.610907 s 0.59/0.62 c 0.69/0.76 c core #209 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 3 Core Weight: 1 Total Weight: 326 0.69/0.76 c Current CPU time: 0.614906 s 0.69/0.76 c 0.69/0.76 c core #210 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 4 Core Weight: 1 Total Weight: 327 0.69/0.76 c Current CPU time: 0.617906 s 0.69/0.76 c 0.69/0.76 c core #211 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 3 Core Weight: 1 Total Weight: 328 0.69/0.76 c Current CPU time: 0.621905 s 0.69/0.76 c 0.69/0.76 c core #212 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 3 Core Weight: 1 Total Weight: 329 0.69/0.76 c Current CPU time: 0.624905 s 0.69/0.76 c 0.69/0.76 c core #213 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 5 Core Weight: 1 Total Weight: 330 0.69/0.76 c Current CPU time: 0.627904 s 0.69/0.76 c 0.69/0.76 c core #214 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 3 Core Weight: 1 Total Weight: 331 0.69/0.76 c Current CPU time: 0.631903 s 0.69/0.76 c 0.69/0.76 c core #215 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 3 Core Weight: 1 Total Weight: 332 0.69/0.76 c Current CPU time: 0.634903 s 0.69/0.76 c 0.69/0.76 c core #216 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 8 Core Weight: 1 Total Weight: 333 0.69/0.76 c Current CPU time: 0.637903 s 0.69/0.76 c 0.69/0.76 c core #217 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 18 Core Weight: 1 Total Weight: 334 0.69/0.76 c Current CPU time: 0.641902 s 0.69/0.76 c 0.69/0.76 c core #218 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 32 Core Weight: 1 Total Weight: 335 0.69/0.76 c Current CPU time: 0.644901 s 0.69/0.76 c 0.69/0.76 c core #219 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 13 Core Weight: 1 Total Weight: 336 0.69/0.76 c Current CPU time: 0.648901 s 0.69/0.76 c 0.69/0.76 c core #220 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 15 Core Weight: 1 Total Weight: 337 0.69/0.76 c Current CPU time: 0.6519 s 0.69/0.76 c 0.69/0.76 c core #221 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 16 Core Weight: 1 Total Weight: 338 0.69/0.76 c Current CPU time: 0.6559 s 0.69/0.76 c 0.69/0.76 c core #222 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 8 Core Weight: 1 Total Weight: 339 0.69/0.76 c Current CPU time: 0.658899 s 0.69/0.76 c 0.69/0.76 c core #223 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 6 Core Weight: 1 Total Weight: 340 0.69/0.76 c Current CPU time: 0.662899 s 0.69/0.76 c 0.69/0.76 c core #224 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 35 Core Weight: 1 Total Weight: 341 0.69/0.76 c Current CPU time: 0.665898 s 0.69/0.76 c 0.69/0.76 c core #225 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 10 Core Weight: 1 Total Weight: 342 0.69/0.76 c Current CPU time: 0.669898 s 0.69/0.76 c 0.69/0.76 c core #226 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 47 Core Weight: 1 Total Weight: 343 0.69/0.76 c Current CPU time: 0.672897 s 0.69/0.76 c 0.69/0.76 c core #227 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 11 Core Weight: 1 Total Weight: 344 0.69/0.76 c Current CPU time: 0.676897 s 0.69/0.76 c 0.69/0.76 c core #228 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 15 Core Weight: 1 Total Weight: 345 0.69/0.76 c Current CPU time: 0.679896 s 0.69/0.76 c 0.69/0.76 c core #229 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 16 Core Weight: 1 Total Weight: 346 0.69/0.76 c Current CPU time: 0.683896 s 0.69/0.76 c 0.69/0.76 c core #230 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 7 Core Weight: 1 Total Weight: 347 0.69/0.76 c Current CPU time: 0.687895 s 0.69/0.76 c 0.69/0.76 c core #231 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 15 Core Weight: 1 Total Weight: 348 0.69/0.76 c Current CPU time: 0.690894 s 0.69/0.76 c 0.69/0.76 c core #232 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 16 Core Weight: 1 Total Weight: 349 0.69/0.76 c Current CPU time: 0.694894 s 0.69/0.76 c 0.69/0.76 c core #233 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 8 Core Weight: 1 Total Weight: 350 0.69/0.76 c Current CPU time: 0.697893 s 0.69/0.76 c 0.69/0.76 c core #234 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 13 Core Weight: 1 Total Weight: 351 0.69/0.76 c Current CPU time: 0.701893 s 0.69/0.76 c 0.69/0.76 c core #235 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 10 Core Weight: 1 Total Weight: 352 0.69/0.76 c Current CPU time: 0.704892 s 0.69/0.76 c 0.69/0.76 c core #236 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 13 Core Weight: 1 Total Weight: 353 0.69/0.76 c Current CPU time: 0.708892 s 0.69/0.76 c 0.69/0.76 c core #237 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 15 Core Weight: 1 Total Weight: 354 0.69/0.76 c Current CPU time: 0.712891 s 0.69/0.76 c 0.69/0.76 c core #238 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 6 Core Weight: 1 Total Weight: 355 0.69/0.76 c Current CPU time: 0.715891 s 0.69/0.76 c 0.69/0.76 c core #239 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 16 Core Weight: 1 Total Weight: 356 0.69/0.76 c Current CPU time: 0.71989 s 0.69/0.76 c 0.69/0.76 c core #240 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 18 Core Weight: 1 Total Weight: 357 0.69/0.76 c Current CPU time: 0.723889 s 0.69/0.76 c 0.69/0.76 c core #241 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 12 Core Weight: 1 Total Weight: 358 0.69/0.76 c Current CPU time: 0.726889 s 0.69/0.76 c 0.69/0.76 c core #242 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 15 Core Weight: 1 Total Weight: 359 0.69/0.76 c Current CPU time: 0.730888 s 0.69/0.76 c 0.69/0.76 c core #243 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 13 Core Weight: 1 Total Weight: 360 0.69/0.76 c Current CPU time: 0.734888 s 0.69/0.76 c 0.69/0.76 c core #244 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 9 Core Weight: 1 Total Weight: 361 0.69/0.76 c Current CPU time: 0.737887 s 0.69/0.76 c 0.69/0.76 c core #245 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 24 Core Weight: 1 Total Weight: 362 0.69/0.76 c Current CPU time: 0.741887 s 0.69/0.76 c 0.69/0.76 c core #246 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 8 Core Weight: 1 Total Weight: 363 0.69/0.76 c Current CPU time: 0.745886 s 0.69/0.76 c 0.69/0.76 c core #247 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 27 Core Weight: 1 Total Weight: 364 0.69/0.76 c Current CPU time: 0.749886 s 0.69/0.76 c 0.69/0.76 c core #248 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 8 Core Weight: 1 Total Weight: 365 0.69/0.76 c Current CPU time: 0.752885 s 0.69/0.76 c 0.69/0.76 c core #249 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 8 Core Weight: 1 Total Weight: 366 0.69/0.76 c Current CPU time: 0.756884 s 0.69/0.76 c 0.69/0.76 c core #250 0.69/0.76 c 0.69/0.76 c 0.69/0.77 c Core size: 12 Core Weight: 1 Total Weight: 367 0.69/0.77 c Current CPU time: 0.760884 s 0.69/0.77 c 0.69/0.77 c core #251 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 40 Core Weight: 1 Total Weight: 368 0.69/0.77 c Current CPU time: 0.763883 s 0.69/0.77 c 0.69/0.77 c core #252 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 36 Core Weight: 1 Total Weight: 369 0.69/0.77 c Current CPU time: 0.767883 s 0.69/0.77 c 0.69/0.77 c ============================[ Search Statistics ]============================== 0.69/0.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.77 c =============================================================================== 0.69/0.77 c | 0 | 2305 6451 36903 | 5000 0 -nan | 0.000 % | 0.69/0.77 c =============================================================================== 0.69/0.78 c core #253 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 40 Core Weight: 1 Total Weight: 370 0.69/0.78 c Current CPU time: 0.772882 s 0.69/0.78 c 0.69/0.78 c ============================[ Search Statistics ]============================== 0.69/0.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.78 c =============================================================================== 0.69/0.78 c | 0 | 2348 6452 36977 | 5000 0 -nan | 0.000 % | 0.69/0.78 c =============================================================================== 0.69/0.78 c core #254 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 17 Core Weight: 1 Total Weight: 371 0.69/0.78 c Current CPU time: 0.775882 s 0.69/0.78 c 0.69/0.78 c ============================[ Search Statistics ]============================== 0.69/0.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.78 c =============================================================================== 0.69/0.78 c | 0 | 2365 6453 37006 | 5000 0 -nan | 0.000 % | 0.69/0.78 c =============================================================================== 0.69/0.78 c core #255 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 28 Core Weight: 1 Total Weight: 372 0.69/0.78 c Current CPU time: 0.779881 s 0.69/0.78 c 0.69/0.78 c ============================[ Search Statistics ]============================== 0.69/0.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.78 c =============================================================================== 0.69/0.78 c | 0 | 2388 6454 37051 | 5000 0 -nan | 0.000 % | 0.69/0.79 c =============================================================================== 0.69/0.79 c core #256 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 66 Core Weight: 1 Total Weight: 373 0.69/0.79 c Current CPU time: 0.78488 s 0.69/0.79 c 0.69/0.79 c ============================[ Search Statistics ]============================== 0.69/0.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.79 c =============================================================================== 0.69/0.79 c | 0 | 2458 6455 37182 | 5000 0 -nan | 0.000 % | 0.69/0.79 c | 100 | 2458 6455 37182 | 5500 100 12 | 11.708 % | 0.69/0.79 c =============================================================================== 0.79/0.80 c core #257 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 164 Core Weight: 1 Total Weight: 374 0.79/0.80 c Current CPU time: 0.791879 s 0.79/0.80 c 0.79/0.80 c ============================[ Search Statistics ]============================== 0.79/0.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.80 c =============================================================================== 0.79/0.80 c | 0 | 2639 6456 37505 | 5000 0 -nan | 0.000 % | 0.79/0.80 c =============================================================================== 0.79/0.80 c core #258 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 22 Core Weight: 1 Total Weight: 375 0.79/0.80 c Current CPU time: 0.795879 s 0.79/0.80 c 0.79/0.80 c ============================[ Search Statistics ]============================== 0.79/0.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.80 c =============================================================================== 0.79/0.80 c | 0 | 2655 6457 37536 | 5000 0 -nan | 0.000 % | 0.79/0.80 c | 103 | 2653 6457 37536 | 5500 103 9 | 10.010 % | 0.79/0.80 c =============================================================================== 0.79/0.81 c core #259 0.79/0.81 c 0.79/0.81 c 0.79/0.81 c Core size: 59 Core Weight: 1 Total Weight: 376 0.79/0.81 c Current CPU time: 0.801878 s 0.79/0.81 c 0.79/0.81 c ============================[ Search Statistics ]============================== 0.79/0.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.81 c =============================================================================== 0.79/0.81 c | 0 | 2717 6458 37654 | 5000 0 -nan | 0.000 % | 0.79/0.81 c | 101 | 2717 6458 37654 | 5500 101 23 | 9.222 % | 0.79/0.81 c | 252 | 2711 6458 37654 | 6050 252 27 | 9.422 % | 0.79/0.82 c | 481 | 2710 6458 37654 | 6655 481 26 | 9.489 % | 0.79/0.82 c =============================================================================== 0.79/0.82 c core #260 0.79/0.82 c 0.79/0.82 c 0.79/0.82 c Core size: 101 Core Weight: 1 Total Weight: 377 0.79/0.82 c Current CPU time: 0.817875 s 0.79/0.82 c 0.79/0.82 c ============================[ Search Statistics ]============================== 0.79/0.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.82 c =============================================================================== 0.79/0.82 c | 0 | 2821 6459 37857 | 5000 0 -nan | 0.000 % | 0.79/0.83 c | 100 | 2821 6459 37857 | 5500 100 48 | 8.765 % | 0.79/0.83 c | 250 | 2821 6459 37857 | 6050 250 55 | 9.088 % | 0.79/0.84 c | 476 | 2821 6459 37857 | 6655 476 49 | 9.088 % | 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: 61 Core Weight: 1 Total Weight: 378 0.79/0.84 c Current CPU time: 0.834873 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 | 2881 6460 37966 | 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: 38 Core Weight: 1 Total Weight: 379 0.79/0.85 c Current CPU time: 0.839872 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 | 2915 6461 38029 | 5000 0 -nan | 0.000 % | 0.79/0.85 c | 100 | 2915 6461 38029 | 5500 100 20 | 8.044 % | 0.79/0.85 c | 250 | 2915 6461 38029 | 6050 250 20 | 8.044 % | 0.79/0.85 c =============================================================================== 0.79/0.86 c core #263 0.79/0.86 c 0.79/0.86 c 0.79/0.86 c Core size: 109 Core Weight: 1 Total Weight: 380 0.79/0.86 c Current CPU time: 0.85087 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 | 3038 6462 38257 | 5000 0 -nan | 0.000 % | 0.79/0.86 c | 100 | 3038 6462 38257 | 5500 100 39 | 7.237 % | 0.79/0.87 c | 250 | 3038 6462 38257 | 6050 250 39 | 7.237 % | 0.79/0.87 c | 476 | 3038 6462 38257 | 6655 476 33 | 7.237 % | 0.79/0.88 c | 813 | 3038 6462 38257 | 7320 813 33 | 7.237 % | 0.89/0.90 c | 1320 | 3038 6462 38257 | 8052 1320 35 | 7.237 % | 0.89/0.94 c | 2079 | 3038 6462 38257 | 8857 2079 36 | 7.237 % | 0.89/0.99 c | 3219 | 3038 6462 38257 | 9743 3219 36 | 7.237 % | 1.00/1.08 c | 4929 | 3035 6462 38257 | 10717 4929 36 | 7.328 % | 1.10/1.15 c =============================================================================== 1.10/1.18 c core #264 1.10/1.18 c 1.10/1.18 c 1.10/1.18 c Core size: 200 Core Weight: 1 Total Weight: 381 1.10/1.18 c Current CPU time: 1.15782 s 1.10/1.18 c 1.10/1.18 c ============================[ Search Statistics ]============================== 1.10/1.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.18 c =============================================================================== 1.10/1.18 c | 0 | 3236 6463 38649 | 5000 0 -nan | 0.000 % | 1.10/1.18 c | 102 | 3236 6463 38649 | 5500 102 10 | 6.717 % | 1.10/1.18 c | 253 | 3235 6463 38649 | 6050 253 11 | 6.745 % | 1.10/1.18 c =============================================================================== 1.10/1.19 c core #265 1.10/1.19 c 1.10/1.19 c 1.10/1.19 c Core size: 155 Core Weight: 1 Total Weight: 382 1.10/1.19 c Current CPU time: 1.17182 s 1.10/1.19 c 1.10/1.19 c ============================[ Search Statistics ]============================== 1.10/1.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.19 c =============================================================================== 1.10/1.19 c | 0 | 3402 6464 38969 | 5000 0 -nan | 0.000 % | 1.10/1.19 c | 100 | 3402 6464 38969 | 5500 100 52 | 6.100 % | 1.19/1.20 c | 250 | 3402 6464 38969 | 6050 250 44 | 6.100 % | 1.19/1.20 c | 475 | 3402 6464 38969 | 6655 475 47 | 6.100 % | 1.19/1.22 c | 812 | 3402 6464 38969 | 7320 812 52 | 6.100 % | 1.19/1.24 c | 1319 | 3402 6464 38969 | 8052 1319 45 | 6.100 % | 1.19/1.27 c | 2078 | 3402 6464 38969 | 8857 2078 43 | 6.100 % | 1.29/1.32 c | 3218 | 3402 6464 38969 | 9743 3218 42 | 6.100 % | 1.39/1.41 c | 4926 | 3402 6464 38969 | 10717 4926 44 | 6.100 % | 1.49/1.56 c | 7488 | 3401 6464 38969 | 11789 7488 43 | 6.155 % | 1.69/1.78 c | 11332 | 3398 6464 38969 | 12968 11332 44 | 6.210 % | 2.29/2.32 c | 17100 | 3385 6464 38969 | 14265 10454 50 | 6.569 % | 2.49/2.53 c =============================================================================== 2.59/2.60 c core #266 2.59/2.60 c 2.59/2.60 c 2.59/2.60 c Core size: 314 Core Weight: 1 Total Weight: 383 2.59/2.60 c Current CPU time: 2.50662 s 2.59/2.60 c 2.59/2.60 c ============================[ Search Statistics ]============================== 2.59/2.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.60 c =============================================================================== 2.59/2.60 c | 0 | 3727 6465 39613 | 5000 0 -nan | 0.000 % | 2.59/2.60 c | 101 | 3727 6465 39613 | 5500 101 71 | 5.262 % | 2.59/2.61 c | 255 | 3727 6465 39613 | 6050 255 69 | 5.262 % | 2.59/2.62 c | 480 | 3727 6465 39613 | 6655 480 64 | 5.262 % | 2.59/2.63 c | 819 | 3727 6465 39613 | 7320 819 65 | 5.262 % | 2.59/2.66 c | 1329 | 3727 6465 39613 | 8052 1329 61 | 5.262 % | 2.59/2.69 c | 2088 | 3727 6465 39613 | 8857 2088 61 | 5.262 % | 2.68/2.75 c | 3232 | 3727 6465 39613 | 9743 3232 61 | 5.262 % | 2.79/2.86 c | 4941 | 3714 6465 39613 | 10717 4941 62 | 5.618 % | 2.99/3.01 c | 7506 | 3714 6465 39613 | 11789 7506 68 | 5.618 % | 3.30/3.33 c | 11351 | 3713 6465 39613 | 12968 11351 73 | 5.770 % | 3.39/3.41 c =============================================================================== 3.39/3.42 c core #267 3.39/3.42 c 3.39/3.42 c 3.39/3.42 c Core size: 48 Core Weight: 1 Total Weight: 384 3.39/3.42 c Current CPU time: 3.2885 s 3.39/3.42 c 3.39/3.42 c ============================[ Search Statistics ]============================== 3.39/3.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.42 c =============================================================================== 3.39/3.42 c | 0 | 3779 6466 39705 | 5000 0 -nan | 0.000 % | 3.39/3.42 c | 100 | 3779 6466 39705 | 5500 100 24 | 4.907 % | 3.39/3.43 c | 250 | 3779 6466 39705 | 6050 250 27 | 4.907 % | 3.39/3.44 c | 479 | 3779 6466 39705 | 6655 479 22 | 4.907 % | 3.39/3.45 c | 820 | 3777 6466 39705 | 7320 820 31 | 4.957 % | 3.39/3.47 c | 1326 | 3777 6466 39705 | 8052 1326 34 | 4.957 % | 3.39/3.49 c | 2088 | 3777 6466 39705 | 8857 2088 47 | 4.957 % | 3.49/3.55 c | 3229 | 3775 6466 39705 | 9743 3229 50 | 5.008 % | 3.58/3.64 c | 4937 | 3775 6466 39705 | 10717 4937 51 | 5.008 % | 3.58/3.68 c =============================================================================== 3.58/3.68 c core #268 3.58/3.68 c 3.58/3.68 c 3.58/3.68 c Core size: 30 Core Weight: 1 Total Weight: 385 3.58/3.68 c Current CPU time: 3.52246 s 3.58/3.68 c 3.58/3.68 c ============================[ Search Statistics ]============================== 3.58/3.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.58/3.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.58/3.68 c =============================================================================== 3.58/3.68 c | 0 | 3797 6467 39741 | 5000 0 -nan | 0.000 % | 3.58/3.69 c | 100 | 3797 6467 39741 | 5500 100 82 | 4.885 % | 3.58/3.69 c | 252 | 3797 6467 39741 | 6050 252 56 | 4.885 % | 3.69/3.70 c | 477 | 3795 6467 39741 | 6655 477 37 | 4.960 % | 3.69/3.71 c | 819 | 3789 6467 39741 | 7320 819 29 | 5.085 % | 3.69/3.71 c =============================================================================== 3.69/3.72 c core #269 3.69/3.72 c 3.69/3.72 c 3.69/3.72 c Core size: 171 Core Weight: 1 Total Weight: 386 3.69/3.72 c Current CPU time: 3.55746 s 3.69/3.72 c 3.69/3.72 c ============================[ Search Statistics ]============================== 3.69/3.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.72 c =============================================================================== 3.69/3.72 c | 0 | 3975 6468 40192 | 5000 0 -nan | 0.000 % | 3.69/3.72 c | 100 | 3975 6468 40192 | 5500 100 17 | 4.401 % | 3.69/3.73 c | 250 | 3975 6468 40192 | 6050 250 17 | 4.401 % | 3.69/3.73 c | 477 | 3975 6468 40192 | 6655 477 18 | 4.401 % | 3.69/3.74 c | 815 | 3975 6468 40192 | 7320 815 24 | 4.401 % | 3.69/3.75 c | 1323 | 3975 6468 40192 | 8052 1323 25 | 4.401 % | 3.69/3.78 c | 2083 | 3974 6468 40192 | 8857 2083 26 | 4.425 % | 3.69/3.78 c =============================================================================== 3.69/3.79 c core #270 3.69/3.79 c 3.69/3.79 c 3.69/3.79 c Core size: 174 Core Weight: 1 Total Weight: 387 3.69/3.79 c Current CPU time: 3.61845 s 3.69/3.79 c 3.69/3.79 c ============================[ Search Statistics ]============================== 3.69/3.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.79 c =============================================================================== 3.69/3.79 c | 0 | 4151 6469 40539 | 5000 0 -nan | 0.000 % | 3.69/3.79 c | 101 | 4151 6469 40539 | 5500 101 25 | 4.112 % | 3.79/3.80 c | 251 | 4151 6469 40539 | 6050 251 22 | 4.112 % | 3.79/3.80 c | 476 | 4151 6469 40539 | 6655 476 21 | 4.112 % | 3.79/3.81 c | 815 | 4151 6469 40539 | 7320 815 20 | 4.112 % | 3.79/3.83 c | 1321 | 4151 6469 40539 | 8052 1321 26 | 4.112 % | 3.79/3.86 c | 2080 | 4151 6469 40539 | 8857 2080 32 | 4.112 % | 3.89/3.91 c | 3222 | 4151 6469 40539 | 9743 3222 35 | 4.112 % | 3.89/3.98 c | 4930 | 4151 6469 40539 | 10717 4930 36 | 4.112 % | 4.09/4.12 c | 7493 | 4151 6469 40539 | 11789 7493 47 | 4.112 % | 4.30/4.37 c | 11339 | 4151 6469 40539 | 12968 11339 52 | 4.112 % | 4.79/4.82 c | 17105 | 4149 6469 40539 | 14265 10480 57 | 4.158 % | 5.50/5.54 c | 25760 | 4149 6469 40539 | 15692 11772 78 | 4.158 % | 7.09/7.19 c =============================================================================== 7.29/7.38 c core #271 7.29/7.38 c 7.29/7.38 c 7.29/7.38 c Core size: 245 Core Weight: 1 Total Weight: 388 7.29/7.38 c Current CPU time: 7.05293 s 7.29/7.38 c 7.29/7.38 c ============================[ Search Statistics ]============================== 7.29/7.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.29/7.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.29/7.38 c =============================================================================== 7.29/7.38 c | 0 | 4391 6470 41016 | 5000 0 -nan | 0.000 % | 7.29/7.39 c | 100 | 4391 6470 41016 | 5500 100 15 | 3.833 % | 7.29/7.39 c | 250 | 4389 6470 41016 | 6050 250 19 | 3.877 % | 7.39/7.40 c | 478 | 4389 6470 41016 | 6655 478 27 | 3.876 % | 7.39/7.41 c | 816 | 4389 6470 41016 | 7320 816 33 | 3.876 % | 7.39/7.43 c | 1323 | 4389 6470 41016 | 8052 1323 37 | 3.876 % | 7.39/7.46 c | 2088 | 4389 6470 41016 | 8857 2088 41 | 3.876 % | 7.49/7.51 c | 3228 | 4389 6470 41016 | 9743 3228 47 | 3.876 % | 7.60/7.63 c | 4938 | 4389 6470 41016 | 10717 4938 48 | 3.876 % | 7.79/7.82 c | 7503 | 4389 6470 41016 | 11789 7503 53 | 3.876 % | 8.08/8.15 c | 11347 | 4389 6470 41016 | 12968 11347 67 | 3.876 % | 8.81/8.88 c | 17125 | 4389 6470 41016 | 14265 10396 98 | 3.876 % | 10.09/10.18 c | 25775 | 4389 6470 41016 | 15692 11709 117 | 3.876 % | 12.59/12.67 c | 38752 | 4389 6470 41016 | 17261 8608 122 | 3.876 % | 15.49/15.50 c | 58216 | 4389 6470 41016 | 18987 10375 117 | 3.876 % | 19.99/20.03 c | 87410 | 4389 6470 41016 | 20886 10335 119 | 3.876 % | 26.59/26.63 c | 131201 | 4389 6470 41016 | 22974 11577 107 | 3.876 % | 34.79/34.80 c =============================================================================== 34.79/34.88 c core #272 34.79/34.88 c 34.79/34.88 c 34.79/34.88 c Core size: 25 Core Weight: 1 Total Weight: 389 34.79/34.88 c Current CPU time: 33.9548 s 34.79/34.88 c 34.79/34.88 c ============================[ Search Statistics ]============================== 34.79/34.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.79/34.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.79/34.88 c =============================================================================== 34.79/34.88 c | 0 | 4412 6471 41054 | 5000 0 -nan | 0.000 % | 34.79/34.88 c | 100 | 4412 6471 41054 | 5500 100 64 | 3.731 % | 34.79/34.89 c | 250 | 4412 6471 41054 | 6050 250 47 | 3.731 % | 34.79/34.89 c | 476 | 4412 6471 41054 | 6655 476 44 | 3.731 % | 34.89/34.91 c | 815 | 4412 6471 41054 | 7320 815 50 | 3.731 % | 34.89/34.93 c | 1321 | 4412 6471 41054 | 8052 1321 59 | 3.731 % | 34.89/34.97 c | 2090 | 4412 6471 41054 | 8857 2090 66 | 3.731 % | 34.99/35.02 c | 3230 | 4412 6471 41054 | 9743 3230 73 | 3.731 % | 35.10/35.12 c | 4938 | 4412 6471 41054 | 10717 4938 84 | 3.731 % | 35.21/35.29 c | 7502 | 4412 6471 41054 | 11789 7502 89 | 3.731 % | 35.49/35.56 c | 11347 | 4412 6471 41054 | 12968 11347 88 | 3.731 % | 36.09/36.13 c | 17115 | 4412 6471 41054 | 14265 10499 85 | 3.731 % | 36.99/37.08 c | 25766 | 4412 6471 41054 | 15692 11911 76 | 3.731 % | 38.58/38.63 c | 38754 | 4412 6471 41054 | 17261 8762 112 | 3.731 % | 40.88/40.98 c | 58216 | 4412 6471 41054 | 18987 10525 98 | 3.731 % | 44.79/44.87 c | 87408 | 4412 6471 41054 | 20886 10519 149 | 3.731 % | 54.29/54.33 c | 131200 | 4412 6471 41054 | 22974 11682 178 | 3.731 % | 67.19/67.29 c | 196886 | 4412 6471 41054 | 25272 18728 164 | 3.731 % | 86.91/86.93 c | 295414 | 4412 6471 41054 | 27799 13726 145 | 3.731 % | 120.30/120.39 c | 443204 | 4412 6471 41054 | 30579 25133 200 | 3.731 % | 172.29/172.38 c | 664887 | 4412 6471 41054 | 33637 17697 165 | 3.731 % | 257.59/257.61 c | 997412 | 4412 6471 41054 | 37001 27516 178 | 3.731 % | 405.50/405.56 c | 1496209 | 4412 6471 41054 | 40701 16829 253 | 3.731 % | 687.71/687.70 c | 2244398 | 4412 6471 41054 | 44771 27242 213 | 3.731 % | 1110.72/1110.73 c | 3366673 | 4412 6471 41054 | 49248 19664 259 | 3.731 % | 1683.94/1683.91 c =============================================================================== 1718.43/1718.40 c core #273 1718.43/1718.40 c 1718.43/1718.40 c 1718.43/1718.40 c Core size: 250 Core Weight: 1 Total Weight: 390 1718.43/1718.40 c Current CPU time: 1701.27 s 1718.43/1718.40 c 1718.43/1718.40 c ============================[ Search Statistics ]============================== 1718.43/1718.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 1718.43/1718.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1718.43/1718.40 c =============================================================================== 1718.43/1718.40 c | 0 | 4660 6472 41549 | 5000 0 -nan | 0.000 % | 1718.43/1718.41 c | 100 | 4660 6472 41549 | 5500 100 22 | 3.520 % | 1718.43/1718.42 c | 250 | 4660 6472 41549 | 6050 250 27 | 3.520 % | 1718.43/1718.42 c | 477 | 4660 6472 41549 | 6655 477 33 | 3.520 % | 1718.43/1718.44 c | 814 | 4660 6472 41549 | 7320 814 42 | 3.520 % | 1718.43/1718.46 c | 1321 | 4660 6472 41549 | 8052 1321 50 | 3.520 % | 1718.54/1718.50 c | 2083 | 4660 6472 41549 | 8857 2083 58 | 3.520 % | 1718.54/1718.58 c | 3225 | 4660 6472 41549 | 9743 3225 60 | 3.520 % | 1718.73/1718.75 c | 4933 | 4660 6472 41549 | 10717 4933 66 | 3.520 % | 1719.03/1719.03 c | 7495 | 4660 6472 41549 | 11789 7495 71 | 3.520 % | 1719.53/1719.53 c | 11339 | 4660 6472 41549 | 12968 11339 72 | 3.520 % | 1720.34/1720.40 c | 17107 | 4660 6472 41549 | 14265 10437 75 | 3.520 % | 1721.54/1721.52 c | 25757 | 4660 6472 41549 | 15692 11773 93 | 3.520 % | 1723.53/1723.50 c | 38731 | 4660 6472 41549 | 17261 8561 121 | 3.520 % | 1725.84/1725.87 c | 58195 | 4660 6472 41549 | 18987 10364 96 | 3.520 % | 1729.53/1729.53 c | 87391 | 4660 6472 41549 | 20886 10409 102 | 3.520 % | 1736.43/1736.43 c | 131181 | 4660 6472 41549 | 22974 11689 94 | 3.520 % | 1747.03/1747.02 c | 196865 | 4660 6472 41549 | 25272 18689 92 | 3.520 % | 1764.44/1764.48 c | 295392 | 4660 6472 41549 | 27799 25372 143 | 3.520 % | 1792.33/1792.35 c | 443181 | 4660 6472 41549 | 30579 21014 142 | 3.520 % |
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-3460990-1307074484/watcher-3460990-1307074484 -o /tmp/evaluation-result-3460990-1307074484/solver-3460990-1307074484 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460990-1307074484.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 2.02 2.00 3/386 26181 /proc/meminfo: memFree=23821412/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=2840 CPUtime=0.01 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 436 0 0 0 1 0 0 0 25 0 1 0 819051197 2908160 389 33554432000 4194304 5714214 140733268593424 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 710 389 207 372 0 255 0 [startup+0.0764781 s] /proc/loadavg: 2.06 2.02 2.00 3/386 26181 /proc/meminfo: memFree=23821412/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=3656 CPUtime=0.07 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 801 0 0 0 7 0 0 0 25 0 1 0 819051197 3743744 674 33554432000 4194304 5714214 140733268593424 18446744073709551615 4355644 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 914 674 175 372 0 539 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3656 [startup+0.100474 s] /proc/loadavg: 2.06 2.02 2.00 3/386 26181 /proc/meminfo: memFree=23821412/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=3716 CPUtime=0.09 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 814 0 0 0 9 0 0 0 25 0 1 0 819051197 3805184 687 33554432000 4194304 5714214 140733268593424 18446744073709551615 4345921 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 929 687 175 372 0 554 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3716 [startup+0.300448 s] /proc/loadavg: 2.06 2.02 2.00 3/386 26181 /proc/meminfo: memFree=23821412/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=4372 CPUtime=0.29 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 978 0 0 0 29 0 0 0 25 0 1 0 819051197 4476928 835 33554432000 4194304 5714214 140733268593424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 1093 835 175 372 0 718 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4372 [startup+0.700366 s] /proc/loadavg: 2.06 2.02 2.00 3/386 26181 /proc/meminfo: memFree=23821412/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=5416 CPUtime=0.69 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 1428 0 0 0 69 0 0 0 25 0 1 0 819051197 5545984 1108 33554432000 4194304 5714214 140733268593424 18446744073709551615 4356115 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 1354 1108 176 372 0 979 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5416 [startup+1.50024 s] /proc/loadavg: 2.06 2.02 2.00 3/387 26182 /proc/meminfo: memFree=23816072/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=8768 CPUtime=1.49 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 2350 0 0 0 146 3 0 0 25 0 1 0 819051197 8978432 1941 33554432000 4194304 5714214 140733268593424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 2192 1941 180 372 0 1817 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8768 [startup+3.10094 s] /proc/loadavg: 2.05 2.02 2.00 3/387 26182 /proc/meminfo: memFree=23811112/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=13796 CPUtime=3.09 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 3636 0 0 0 298 11 0 0 25 0 1 0 819051197 14127104 3201 33554432000 4194304 5714214 140733268593424 18446744073709551615 4319182 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 3449 3201 180 372 0 3074 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13796 [startup+6.30037 s] /proc/loadavg: 2.05 2.02 2.00 3/387 26182 /proc/meminfo: memFree=23807584/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=17776 CPUtime=6.29 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 4634 0 0 0 600 29 0 0 24 0 1 0 819051197 18202624 4199 33554432000 4194304 5714214 140733268593424 18446744073709551615 4311837 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 4444 4199 180 372 0 4069 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17776 [startup+12.7002 s] /proc/loadavg: 2.04 2.02 2.00 3/387 26182 /proc/meminfo: memFree=23797064/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=24784 CPUtime=12.69 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 6335 0 0 0 1226 43 0 0 25 0 1 0 819051197 25378816 5900 33554432000 4194304 5714214 140733268593424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 6196 5900 180 372 0 5821 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24784 [startup+25.501 s] /proc/loadavg: 2.04 2.02 2.00 3/387 26183 /proc/meminfo: memFree=23776244/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=38308 CPUtime=25.49 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 9685 0 0 0 2484 65 0 0 25 0 1 0 819051197 39227392 9250 33554432000 4194304 5714214 140733268593424 18446744073709551615 4319912 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 9577 9250 180 372 0 9202 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 38308 [startup+51.1004 s] /proc/loadavg: 2.02 2.02 2.00 3/387 26183 /proc/meminfo: memFree=23756096/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=49392 CPUtime=51.09 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 13059 0 0 0 4986 123 0 0 25 0 1 0 819051197 50577408 12105 33554432000 4194304 5714214 140733268593424 18446744073709551615 4311911 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 12348 12105 180 372 0 11973 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 49392 [startup+102.314 s] /proc/loadavg: 2.01 2.01 2.00 3/387 26186 /proc/meminfo: memFree=23689348/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=95328 CPUtime=102.3 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 24286 0 0 0 10022 208 0 0 25 0 1 0 819051197 97615872 23332 33554432000 4194304 5714214 140733268593424 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 23832 23332 180 372 0 23457 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 95328 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/387 26187 /proc/meminfo: memFree=23609428/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=146304 CPUtime=162.29 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 36798 0 0 0 15939 290 0 0 25 0 1 0 819051197 149815296 35844 33554432000 4194304 5714214 140733268593424 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 36576 35845 180 372 0 36201 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 146304 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/387 26189 /proc/meminfo: memFree=23525544/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=189608 CPUtime=222.3 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 47296 0 0 0 21870 360 0 0 25 0 1 0 819051197 194158592 46342 33554432000 4194304 5714214 140733268593424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 47402 46342 180 372 0 47027 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 189608 [startup+282.3 s] /proc/loadavg: 2.09 2.03 2.01 3/387 26190 /proc/meminfo: memFree=23483712/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=232532 CPUtime=282.3 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 57960 0 0 0 27781 449 0 0 25 0 1 0 819051197 238112768 57006 33554432000 4194304 5714214 140733268593424 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 58133 57006 180 372 0 57758 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 232532 [startup+342.301 s] /proc/loadavg: 2.07 2.03 2.01 3/387 26192 /proc/meminfo: memFree=23432196/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=284232 CPUtime=342.3 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 70856 0 0 0 33721 509 0 0 25 0 1 0 819051197 291053568 69902 33554432000 4194304 5714214 140733268593424 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 71058 69902 180 372 0 70683 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 284232 [startup+402.3 s] /proc/loadavg: 2.02 2.03 2.00 3/387 26194 /proc/meminfo: memFree=23403620/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=313484 CPUtime=402.3 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 77992 0 0 0 39672 558 0 0 25 0 1 0 819051197 321007616 77038 33554432000 4194304 5714214 140733268593424 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 78371 77038 180 372 0 77996 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 313484 [startup+462.301 s] /proc/loadavg: 2.07 2.04 2.00 3/387 26195 /proc/meminfo: memFree=23371096/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=346752 CPUtime=462.3 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 86047 0 0 0 45620 610 0 0 25 0 1 0 819051197 355074048 85093 33554432000 4194304 5714214 140733268593424 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 86688 85093 180 372 0 86313 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 346752 [startup+522.301 s] /proc/loadavg: 2.02 2.03 2.00 3/387 26197 /proc/meminfo: memFree=23348492/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=370232 CPUtime=522.3 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 91773 0 0 0 51568 662 0 0 25 0 1 0 819051197 379117568 90819 33554432000 4194304 5714214 140733268593424 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 92558 90819 180 372 0 92183 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 370232 [startup+582.3 s] /proc/loadavg: 2.01 2.02 2.00 3/387 26198 /proc/meminfo: memFree=23316828/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=402628 CPUtime=582.3 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 99693 0 0 0 57524 706 0 0 25 0 1 0 819051197 412291072 98739 33554432000 4194304 5714214 140733268593424 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 100657 98739 180 372 0 100282 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 402628 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.12 2.03 2.01 3/387 26205 /proc/meminfo: memFree=23161292/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=515316 CPUtime=822.31 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 127634 0 0 0 81304 927 0 0 25 0 1 0 819051197 527683584 126680 33554432000 4194304 5714214 140733268593424 18446744073709551615 4319266 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 128829 126680 180 372 0 128454 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 515316 [startup+882.301 s] /proc/loadavg: 2.10 2.04 2.01 3/387 26206 /proc/meminfo: memFree=23116980/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=544092 CPUtime=882.31 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 134755 0 0 0 87255 976 0 0 25 0 1 0 819051197 557150208 133801 33554432000 4194304 5714214 140733268593424 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 136023 133801 180 372 0 135648 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 544092 [startup+942.3 s] /proc/loadavg: 2.04 2.03 2.00 3/387 26208 /proc/meminfo: memFree=23095380/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=553900 CPUtime=942.31 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 137248 0 0 0 93207 1024 0 0 25 0 1 0 819051197 567193600 136294 33554432000 4194304 5714214 140733268593424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 138475 136294 180 372 0 138100 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 553900 [startup+1002.3 s] /proc/loadavg: 2.01 2.02 2.00 3/387 26210 /proc/meminfo: memFree=23038052/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=589684 CPUtime=1002.31 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 146107 0 0 0 99167 1064 0 0 25 0 1 0 819051197 603836416 145153 33554432000 4194304 5714214 140733268593424 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 147421 145153 180 372 0 147046 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 589684 [startup+1062.3 s] /proc/loadavg: 2.15 2.06 2.01 3/387 26211 /proc/meminfo: memFree=23005648/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=612236 CPUtime=1062.32 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 151695 0 0 0 105124 1108 0 0 25 0 1 0 819051197 626929664 150741 33554432000 4194304 5714214 140733268593424 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 153059 150741 180 372 0 152684 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 612236 [startup+1122.3 s] /proc/loadavg: 2.05 2.05 2.00 3/387 26213 /proc/meminfo: memFree=22969776/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=634908 CPUtime=1122.31 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 157265 0 0 0 111081 1150 0 0 25 0 1 0 819051197 650145792 156311 33554432000 4194304 5714214 140733268593424 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 158727 156311 180 372 0 158352 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 634908 [startup+1182.3 s] /proc/loadavg: 2.02 2.04 2.00 3/387 26214 /proc/meminfo: memFree=22920356/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=662548 CPUtime=1182.32 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 164197 0 0 0 117009 1223 0 0 25 0 1 0 819051197 678449152 163243 33554432000 4194304 5714214 140733268593424 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 165637 163243 180 372 0 165262 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 662548 [startup+1242.3 s] /proc/loadavg: 2.00 2.03 2.00 3/387 26217 /proc/meminfo: memFree=22871212/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=698392 CPUtime=1242.32 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 173106 0 0 0 122966 1266 0 0 25 0 1 0 819051197 715153408 172152 33554432000 4194304 5714214 140733268593424 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 174598 172152 180 372 0 174223 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 698392 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 2.00 3/387 26219 /proc/meminfo: memFree=22847248/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=717212 CPUtime=1302.33 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 177633 0 0 0 128935 1298 0 0 25 0 1 0 819051197 734425088 176679 33554432000 4194304 5714214 140733268593424 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 179303 176679 180 372 0 178928 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 717212 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.00 3/387 26220 /proc/meminfo: memFree=22805676/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=739164 CPUtime=1362.32 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 183082 0 0 0 134899 1333 0 0 25 0 1 0 819051197 756903936 182128 33554432000 4194304 5714214 140733268593424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 184791 182128 180 372 0 184416 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 739164 [startup+1422.31 s] /proc/loadavg: 2.11 2.04 2.01 3/387 26222 /proc/meminfo: memFree=22763952/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=767048 CPUtime=1422.34 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 190112 0 0 0 140874 1360 0 0 25 0 1 0 819051197 785457152 189086 33554432000 4194304 5714214 140733268593424 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 191762 189086 180 372 0 191387 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 767048 [startup+1482.3 s] /proc/loadavg: 2.04 2.03 2.00 3/387 26223 /proc/meminfo: memFree=22741700/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=779412 CPUtime=1482.32 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 193133 0 0 0 146839 1393 0 0 25 0 1 0 819051197 798117888 192107 33554432000 4194304 5714214 140733268593424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 194853 192107 180 372 0 194478 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 779412 [startup+1542.3 s] /proc/loadavg: 2.01 2.02 2.00 3/387 26225 /proc/meminfo: memFree=22702232/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=807300 CPUtime=1542.33 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 200087 0 0 0 152807 1426 0 0 25 0 1 0 819051197 826675200 199061 33554432000 4194304 5714214 140733268593424 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 201825 199061 180 372 0 201450 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 807300 [startup+1602.3 s] /proc/loadavg: 2.09 2.05 2.01 3/387 26227 /proc/meminfo: memFree=22663608/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=831220 CPUtime=1602.33 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 206043 0 0 0 158779 1454 0 0 25 0 1 0 819051197 851169280 205017 33554432000 4194304 5714214 140733268593424 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 207805 205017 180 372 0 207430 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 831220 [startup+1662.3 s] /proc/loadavg: 2.07 2.05 2.01 3/387 26228 /proc/meminfo: memFree=22636888/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=851968 CPUtime=1662.33 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 211143 0 0 0 164756 1477 0 0 25 0 1 0 819051197 872415232 210117 33554432000 4194304 5714214 140733268593424 18446744073709551615 4319752 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 212992 210117 180 372 0 212617 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 851968 [startup+1722.3 s] /proc/loadavg: 2.02 2.04 2.00 3/387 26230 /proc/meminfo: memFree=22546800/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=927776 CPUtime=1722.33 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 232952 0 0 0 170737 1496 0 0 20 0 1 0 819051197 950042624 229751 33554432000 4194304 5714214 140733268593424 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 231944 229751 180 372 0 231569 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 927776 [startup+1782.3 s] /proc/loadavg: 1.96 2.02 1.99 3/387 26259 /proc/meminfo: memFree=22897008/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=927776 CPUtime=1782.33 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 232952 0 0 0 176650 1583 0 0 25 0 1 0 819051197 950042624 229751 33554432000 4194304 5714214 140733268593424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 231944 229751 180 372 0 231569 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 927776 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.97 2.01 1.99 3/387 26260 /proc/meminfo: memFree=22892544/32951124 swapFree=49244120/67111528 [pid=26181] ppid=26179 vsize=927776 CPUtime=1800.05 cores=1,3,5,7 /proc/26181/stat : 26181 (wbo1.6) R 26179 26181 23490 0 -1 4202496 232953 0 0 0 178398 1607 0 0 25 0 1 0 819051197 950042624 229752 33554432000 4194304 5714214 140733268593424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/26181/statm: 231944 229752 180 372 0 231569 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 927776 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.05 CPU time (s): 1800.1 CPU user time (s): 1783.98 CPU system time (s): 16.1115 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 939276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1783.98 system time used= 16.1116 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 232953 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= 10 involuntary context switches= 3042 runsolver used 6.66599 second user time and 15.3687 second system time The end
Begin job on node101 at 2011-06-03 06:14:44 IDJOB=3460990 IDBENCH=1873 IDSOLVER=1953 FILE ID=node101/3460990-1307074484 RUNJOBID= node101-1307066208-24304 PBS_JOBID= 13497887 Free space on /tmp= 73952 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-seymour.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460990-1307074484/watcher-3460990-1307074484 -o /tmp/evaluation-result-3460990-1307074484/solver-3460990-1307074484 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460990-1307074484.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 97ebaccbda37d5c570b4e2ec3cd7f8f0 RANDOM SEED=1147658073 node101.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23821692 kB Buffers: 220980 kB Cached: 454032 kB SwapCached: 27120 kB Active: 8437236 kB Inactive: 416336 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23821692 kB SwapTotal: 67111528 kB SwapFree: 49244120 kB Dirty: 4700 kB Writeback: 0 kB AnonPages: 8173048 kB Mapped: 18640 kB Slab: 134072 kB PageTables: 74688 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 78642724 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= 73944 MiB End job on node101 at 2011-06-03 06:44:46