Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.07 | 1800.04 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-1000opt.opb |
MD5SUM | 6db624ef9d444e54f2daac91a1bb8591 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -78 |
Best CPU time to get the best result obtained on this benchmark | 0.838872 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2025 |
Total number of constraints | 30658 |
Number of constraints which are clauses | 30658 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 135 |
Biggest coefficient in the objective function | 4 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 327 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 4 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 327 |
Number of bits of the biggest sum of numbers | 9 |
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-3460136-1307118721.opb. 0.00/0.00 c Instance file HOME/instance-3460136-1307118721.opb 0.00/0.00 c File size is 1015615 bytes. 0.00/0.06 c Highest Coefficient sum: 4 0.00/0.06 c ============================[ Problem Statistics ]============================= 0.00/0.06 c | | 0.00/0.06 c | Parsing time: 0.06 s | 0.00/0.06 c | Number Variables: 2025 | 0.00/0.06 c | Number Clauses: 30658 | 0.00/0.06 c | Number Cardinality: 0 | 0.00/0.06 c | Number PB Constraints: 0 | 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 2025 30658 90804 | 10219 0 -nan | 0.000 % | 0.29/0.37 c core #1 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 1 Total Weight: -326 0.29/0.37 c Current CPU time: 0.073988 s 0.29/0.37 c 0.29/0.37 c core #2 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: -325 0.29/0.37 c Current CPU time: 0.080987 s 0.29/0.37 c 0.29/0.37 c core #3 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 7 Core Weight: 1 Total Weight: -324 0.29/0.37 c Current CPU time: 0.087986 s 0.29/0.37 c 0.29/0.37 c core #4 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: -323 0.29/0.37 c Current CPU time: 0.095985 s 0.29/0.37 c 0.29/0.37 c core #5 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: -322 0.29/0.37 c Current CPU time: 0.102984 s 0.29/0.37 c 0.29/0.37 c core #6 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 1 Total Weight: -321 0.29/0.37 c Current CPU time: 0.109983 s 0.29/0.37 c 0.29/0.37 c core #7 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 2 Total Weight: -319 0.29/0.37 c Current CPU time: 0.117982 s 0.29/0.37 c 0.29/0.37 c core #8 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: -318 0.29/0.37 c Current CPU time: 0.124981 s 0.29/0.37 c 0.29/0.37 c core #9 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 2 Total Weight: -316 0.29/0.37 c Current CPU time: 0.131979 s 0.29/0.37 c 0.29/0.37 c core #10 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: -315 0.29/0.37 c Current CPU time: 0.139978 s 0.29/0.37 c 0.29/0.37 c core #11 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 1 Total Weight: -314 0.29/0.37 c Current CPU time: 0.146977 s 0.29/0.37 c 0.29/0.37 c core #12 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 1 Total Weight: -313 0.29/0.37 c Current CPU time: 0.153976 s 0.29/0.37 c 0.29/0.37 c core #13 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 7 Core Weight: 2 Total Weight: -311 0.29/0.37 c Current CPU time: 0.161975 s 0.29/0.37 c 0.29/0.37 c core #14 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 1 Total Weight: -310 0.29/0.37 c Current CPU time: 0.168974 s 0.29/0.37 c 0.29/0.37 c core #15 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 1 Total Weight: -309 0.29/0.37 c Current CPU time: 0.175973 s 0.29/0.37 c 0.29/0.37 c core #16 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 6 Core Weight: 2 Total Weight: -307 0.29/0.37 c Current CPU time: 0.183972 s 0.29/0.37 c 0.29/0.37 c core #17 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: -306 0.29/0.37 c Current CPU time: 0.19097 s 0.29/0.37 c 0.29/0.37 c core #18 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 7 Core Weight: 1 Total Weight: -305 0.29/0.37 c Current CPU time: 0.197969 s 0.29/0.37 c 0.29/0.37 c core #19 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 7 Core Weight: 1 Total Weight: -304 0.29/0.37 c Current CPU time: 0.205968 s 0.29/0.37 c 0.29/0.37 c core #20 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: -303 0.29/0.37 c Current CPU time: 0.212967 s 0.29/0.37 c 0.29/0.37 c core #21 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 1 Total Weight: -302 0.29/0.37 c Current CPU time: 0.219966 s 0.29/0.37 c 0.29/0.37 c core #22 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 1 Total Weight: -301 0.29/0.37 c Current CPU time: 0.227965 s 0.29/0.37 c 0.29/0.37 c core #23 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 1 Total Weight: -300 0.29/0.37 c Current CPU time: 0.234964 s 0.29/0.37 c 0.29/0.37 c core #24 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 1 Total Weight: -299 0.29/0.37 c Current CPU time: 0.241963 s 0.29/0.37 c 0.29/0.37 c core #25 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 7 Core Weight: 1 Total Weight: -298 0.29/0.37 c Current CPU time: 0.249962 s 0.29/0.37 c 0.29/0.37 c core #26 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 7 Core Weight: 1 Total Weight: -297 0.29/0.37 c Current CPU time: 0.25696 s 0.29/0.37 c 0.29/0.37 c core #27 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 3 Total Weight: -294 0.29/0.37 c Current CPU time: 0.263959 s 0.29/0.37 c 0.29/0.37 c core #28 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 6 Core Weight: 2 Total Weight: -292 0.29/0.37 c Current CPU time: 0.270958 s 0.29/0.37 c 0.29/0.37 c core #29 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 1 Total Weight: -291 0.29/0.37 c Current CPU time: 0.278957 s 0.29/0.37 c 0.29/0.37 c core #30 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 1 Total Weight: -290 0.29/0.37 c Current CPU time: 0.285956 s 0.29/0.37 c 0.29/0.37 c core #31 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: -289 0.29/0.37 c Current CPU time: 0.292955 s 0.29/0.37 c 0.29/0.37 c core #32 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 7 Core Weight: 1 Total Weight: -288 0.29/0.37 c Current CPU time: 0.300954 s 0.29/0.37 c 0.29/0.37 c core #33 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 2 Total Weight: -286 0.29/0.37 c Current CPU time: 0.307953 s 0.29/0.37 c 0.29/0.37 c core #34 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 7 Core Weight: 1 Total Weight: -285 0.29/0.37 c Current CPU time: 0.314952 s 0.29/0.37 c 0.29/0.37 c core #35 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 7 Core Weight: 1 Total Weight: -284 0.29/0.37 c Current CPU time: 0.32295 s 0.29/0.37 c 0.29/0.37 c core #36 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 2 Total Weight: -282 0.29/0.37 c Current CPU time: 0.328949 s 0.29/0.37 c 0.29/0.37 c core #37 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: -281 0.29/0.37 c Current CPU time: 0.336948 s 0.29/0.37 c 0.29/0.37 c core #38 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 1 Total Weight: -280 0.29/0.37 c Current CPU time: 0.343947 s 0.29/0.37 c 0.29/0.37 c core #39 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 7 Core Weight: 2 Total Weight: -278 0.29/0.37 c Current CPU time: 0.351946 s 0.29/0.37 c 0.29/0.37 c core #40 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 7 Core Weight: 2 Total Weight: -276 0.29/0.37 c Current CPU time: 0.359945 s 0.29/0.37 c 0.29/0.37 c core #41 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: -275 0.29/0.37 c Current CPU time: 0.366944 s 0.29/0.37 c 0.29/0.37 c core #42 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: -274 0.69/0.75 c Current CPU time: 0.374943 s 0.69/0.75 c 0.69/0.75 c core #43 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 6 Core Weight: 1 Total Weight: -273 0.69/0.75 c Current CPU time: 0.381941 s 0.69/0.75 c 0.69/0.75 c core #44 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 6 Core Weight: 2 Total Weight: -271 0.69/0.75 c Current CPU time: 0.38994 s 0.69/0.75 c 0.69/0.75 c core #45 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 6 Core Weight: 1 Total Weight: -270 0.69/0.75 c Current CPU time: 0.397939 s 0.69/0.75 c 0.69/0.75 c core #46 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 5 Core Weight: 2 Total Weight: -268 0.69/0.75 c Current CPU time: 0.404938 s 0.69/0.75 c 0.69/0.75 c core #47 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 5 Core Weight: 1 Total Weight: -267 0.69/0.75 c Current CPU time: 0.412937 s 0.69/0.75 c 0.69/0.75 c core #48 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 6 Core Weight: 1 Total Weight: -266 0.69/0.75 c Current CPU time: 0.420936 s 0.69/0.75 c 0.69/0.75 c core #49 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 5 Core Weight: 2 Total Weight: -264 0.69/0.75 c Current CPU time: 0.428934 s 0.69/0.75 c 0.69/0.75 c core #50 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 6 Core Weight: 1 Total Weight: -263 0.69/0.75 c Current CPU time: 0.436933 s 0.69/0.75 c 0.69/0.75 c core #51 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 5 Core Weight: 1 Total Weight: -262 0.69/0.75 c Current CPU time: 0.444932 s 0.69/0.75 c 0.69/0.75 c core #52 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 5 Core Weight: 2 Total Weight: -260 0.69/0.75 c Current CPU time: 0.452931 s 0.69/0.75 c 0.69/0.75 c core #53 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 6 Core Weight: 1 Total Weight: -259 0.69/0.75 c Current CPU time: 0.460929 s 0.69/0.75 c 0.69/0.75 c core #54 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 6 Core Weight: 3 Total Weight: -256 0.69/0.75 c Current CPU time: 0.468928 s 0.69/0.75 c 0.69/0.75 c core #55 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 10 Core Weight: 1 Total Weight: -255 0.69/0.75 c Current CPU time: 0.477927 s 0.69/0.75 c 0.69/0.75 c core #56 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 9 Core Weight: 1 Total Weight: -254 0.69/0.75 c Current CPU time: 0.485926 s 0.69/0.75 c 0.69/0.75 c core #57 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 9 Core Weight: 3 Total Weight: -251 0.69/0.75 c Current CPU time: 0.494924 s 0.69/0.75 c 0.69/0.75 c core #58 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 11 Core Weight: 2 Total Weight: -249 0.69/0.75 c Current CPU time: 0.503923 s 0.69/0.75 c 0.69/0.75 c core #59 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 11 Core Weight: 2 Total Weight: -247 0.69/0.75 c Current CPU time: 0.512922 s 0.69/0.75 c 0.69/0.75 c core #60 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 12 Core Weight: 1 Total Weight: -246 0.69/0.75 c Current CPU time: 0.52192 s 0.69/0.75 c 0.69/0.75 c core #61 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 13 Core Weight: 1 Total Weight: -245 0.69/0.75 c Current CPU time: 0.530919 s 0.69/0.75 c 0.69/0.75 c core #62 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 10 Core Weight: 1 Total Weight: -244 0.69/0.75 c Current CPU time: 0.539917 s 0.69/0.75 c 0.69/0.75 c core #63 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 8 Core Weight: 1 Total Weight: -243 0.69/0.75 c Current CPU time: 0.549916 s 0.69/0.75 c 0.69/0.75 c core #64 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 9 Core Weight: 1 Total Weight: -242 0.69/0.75 c Current CPU time: 0.558915 s 0.69/0.75 c 0.69/0.75 c core #65 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 10 Core Weight: 1 Total Weight: -241 0.69/0.75 c Current CPU time: 0.568913 s 0.69/0.75 c 0.69/0.75 c core #66 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 9 Core Weight: 1 Total Weight: -240 0.69/0.75 c Current CPU time: 0.577912 s 0.69/0.75 c 0.69/0.75 c core #67 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 10 Core Weight: 1 Total Weight: -239 0.69/0.75 c Current CPU time: 0.58791 s 0.69/0.75 c 0.69/0.75 c core #68 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 11 Core Weight: 1 Total Weight: -238 0.69/0.75 c Current CPU time: 0.597909 s 0.69/0.75 c 0.69/0.75 c core #69 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 12 Core Weight: 1 Total Weight: -237 0.69/0.75 c Current CPU time: 0.607907 s 0.69/0.75 c 0.69/0.75 c core #70 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 14 Core Weight: 1 Total Weight: -236 0.69/0.75 c Current CPU time: 0.617906 s 0.69/0.75 c 0.69/0.75 c core #71 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 10 Core Weight: 1 Total Weight: -235 0.69/0.75 c Current CPU time: 0.627904 s 0.69/0.75 c 0.69/0.75 c core #72 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 9 Core Weight: 1 Total Weight: -234 0.69/0.75 c Current CPU time: 0.637903 s 0.69/0.75 c 0.69/0.75 c core #73 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 9 Core Weight: 1 Total Weight: -233 0.69/0.75 c Current CPU time: 0.647901 s 0.69/0.75 c 0.69/0.75 c core #74 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 10 Core Weight: 1 Total Weight: -232 0.69/0.75 c Current CPU time: 0.658899 s 0.69/0.75 c 0.69/0.75 c core #75 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 11 Core Weight: 1 Total Weight: -231 0.69/0.75 c Current CPU time: 0.667898 s 0.69/0.75 c 0.69/0.75 c core #76 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 11 Core Weight: 1 Total Weight: -230 0.69/0.75 c Current CPU time: 0.677896 s 0.69/0.75 c 0.69/0.75 c core #77 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 11 Core Weight: 1 Total Weight: -229 0.69/0.75 c Current CPU time: 0.688895 s 0.69/0.75 c 0.69/0.75 c core #78 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 13 Core Weight: 1 Total Weight: -228 0.69/0.75 c Current CPU time: 0.698893 s 0.69/0.75 c 0.69/0.75 c core #79 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 9 Core Weight: 1 Total Weight: -227 0.69/0.75 c Current CPU time: 0.708892 s 0.69/0.75 c 0.69/0.75 c core #80 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 10 Core Weight: 1 Total Weight: -226 0.69/0.75 c Current CPU time: 0.71989 s 0.69/0.75 c 0.69/0.75 c core #81 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 8 Core Weight: 1 Total Weight: -225 0.69/0.75 c Current CPU time: 0.730888 s 0.69/0.75 c 0.69/0.75 c core #82 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 9 Core Weight: 1 Total Weight: -224 0.69/0.75 c Current CPU time: 0.740887 s 0.69/0.75 c 0.69/0.75 c core #83 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 10 Core Weight: 1 Total Weight: -223 0.69/0.75 c Current CPU time: 0.751885 s 0.79/0.89 c 0.79/0.89 c core #84 0.79/0.89 c 0.79/0.89 c 0.79/0.89 c Core size: 10 Core Weight: 1 Total Weight: -222 0.79/0.89 c Current CPU time: 0.762884 s 0.79/0.89 c 0.79/0.89 c core #85 0.79/0.89 c 0.79/0.89 c 0.79/0.89 c Core size: 15 Core Weight: 1 Total Weight: -221 0.79/0.89 c Current CPU time: 0.773882 s 0.79/0.89 c 0.79/0.89 c core #86 0.79/0.89 c 0.79/0.89 c 0.79/0.89 c Core size: 11 Core Weight: 1 Total Weight: -220 0.79/0.89 c Current CPU time: 0.78388 s 0.79/0.89 c 0.79/0.89 c core #87 0.79/0.89 c 0.79/0.89 c 0.79/0.89 c Core size: 8 Core Weight: 1 Total Weight: -219 0.79/0.89 c Current CPU time: 0.794879 s 0.79/0.89 c 0.79/0.89 c core #88 0.79/0.89 c 0.79/0.89 c 0.79/0.89 c Core size: 10 Core Weight: 1 Total Weight: -218 0.79/0.89 c Current CPU time: 0.805877 s 0.79/0.89 c 0.79/0.89 c core #89 0.79/0.89 c 0.79/0.89 c 0.79/0.89 c Core size: 11 Core Weight: 1 Total Weight: -217 0.79/0.89 c Current CPU time: 0.816875 s 0.79/0.89 c 0.79/0.89 c core #90 0.79/0.89 c 0.79/0.89 c 0.79/0.89 c Core size: 11 Core Weight: 1 Total Weight: -216 0.79/0.89 c Current CPU time: 0.827874 s 0.79/0.89 c 0.79/0.89 c core #91 0.79/0.89 c 0.79/0.89 c 0.79/0.89 c Core size: 13 Core Weight: 1 Total Weight: -215 0.79/0.89 c Current CPU time: 0.838872 s 0.79/0.89 c 0.79/0.89 c core #92 0.79/0.89 c 0.79/0.89 c 0.79/0.89 c Core size: 10 Core Weight: 1 Total Weight: -214 0.79/0.89 c Current CPU time: 0.84987 s 0.79/0.89 c 0.79/0.89 c core #93 0.79/0.89 c 0.79/0.89 c 0.79/0.89 c Core size: 9 Core Weight: 1 Total Weight: -213 0.79/0.89 c Current CPU time: 0.860869 s 0.79/0.89 c 0.79/0.89 c core #94 0.79/0.89 c 0.79/0.89 c 0.79/0.89 c Core size: 17 Core Weight: 1 Total Weight: -212 0.79/0.89 c Current CPU time: 0.871867 s 0.79/0.89 c 0.79/0.89 c core #95 0.79/0.89 c 0.79/0.89 c 0.79/0.89 c Core size: 12 Core Weight: 1 Total Weight: -211 0.79/0.89 c Current CPU time: 0.882865 s 0.79/0.89 c 0.79/0.89 c ============================[ Search Statistics ]============================== 0.79/0.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.89 c =============================================================================== 0.79/0.89 c | 0 | 2297 31029 91603 | 10343 0 -nan | 0.000 % | 0.79/0.89 c =============================================================================== 0.89/0.91 c core #96 0.89/0.91 c 0.89/0.91 c 0.89/0.91 c Core size: 13 Core Weight: 1 Total Weight: -210 0.89/0.91 c Current CPU time: 0.893864 s 0.89/0.91 c 0.89/0.91 c ============================[ Search Statistics ]============================== 0.89/0.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.91 c =============================================================================== 0.89/0.91 c | 0 | 2303 31032 91616 | 10344 0 -nan | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.92 c core #97 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 11 Core Weight: 1 Total Weight: -209 0.89/0.92 c Current CPU time: 0.905862 s 0.89/0.92 c 0.89/0.92 c ============================[ Search Statistics ]============================== 0.89/0.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.92 c =============================================================================== 0.89/0.92 c | 0 | 2310 31035 91632 | 10345 0 -nan | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.93 c core #98 0.89/0.93 c 0.89/0.93 c 0.89/0.93 c Core size: 14 Core Weight: 1 Total Weight: -208 0.89/0.93 c Current CPU time: 0.91686 s 0.89/0.93 c 0.89/0.93 c ============================[ Search Statistics ]============================== 0.89/0.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.93 c =============================================================================== 0.89/0.93 c | 0 | 2318 31038 91666 | 10346 0 -nan | 0.000 % | 0.89/0.93 c =============================================================================== 0.89/0.94 c core #99 0.89/0.94 c 0.89/0.94 c 0.89/0.94 c Core size: 15 Core Weight: 1 Total Weight: -207 0.89/0.94 c Current CPU time: 0.928858 s 0.89/0.94 c 0.89/0.94 c ============================[ Search Statistics ]============================== 0.89/0.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.94 c =============================================================================== 0.89/0.94 c | 0 | 2327 31040 91687 | 10346 0 -nan | 0.000 % | 0.89/0.94 c =============================================================================== 0.89/0.95 c core #100 0.89/0.95 c 0.89/0.95 c 0.89/0.95 c Core size: 15 Core Weight: 1 Total Weight: -206 0.89/0.95 c Current CPU time: 0.940856 s 0.89/0.95 c 0.89/0.95 c ============================[ Search Statistics ]============================== 0.89/0.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.95 c =============================================================================== 0.89/0.95 c | 0 | 2334 31041 91710 | 10347 0 -nan | 0.000 % | 0.89/0.95 c =============================================================================== 0.89/0.96 c core #101 0.89/0.96 c 0.89/0.96 c 0.89/0.96 c Core size: 10 Core Weight: 1 Total Weight: -205 0.89/0.96 c Current CPU time: 0.952855 s 0.89/0.96 c 0.89/0.96 c ============================[ Search Statistics ]============================== 0.89/0.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.96 c =============================================================================== 0.89/0.96 c | 0 | 2339 31047 91731 | 10349 0 -nan | 0.000 % | 0.89/0.96 c =============================================================================== 0.89/0.98 c core #102 0.89/0.98 c 0.89/0.98 c 0.89/0.98 c Core size: 6 Core Weight: 1 Total Weight: -204 0.89/0.98 c Current CPU time: 0.963853 s 0.89/0.98 c 0.89/0.98 c ============================[ Search Statistics ]============================== 0.89/0.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.98 c =============================================================================== 0.89/0.98 c | 0 | 2342 31048 91737 | 10349 0 -nan | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.99 c core #103 0.89/0.99 c 0.89/0.99 c 0.89/0.99 c Core size: 25 Core Weight: 1 Total Weight: -203 0.89/0.99 c Current CPU time: 0.975851 s 0.89/0.99 c 0.89/0.99 c ============================[ Search Statistics ]============================== 0.89/0.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.99 c =============================================================================== 0.89/0.99 c | 0 | 2356 31050 91767 | 10350 0 -nan | 0.000 % | 0.89/0.99 c =============================================================================== 0.99/1.00 c core #104 0.99/1.00 c 0.99/1.00 c 0.99/1.00 c Core size: 17 Core Weight: 1 Total Weight: -202 0.99/1.00 c Current CPU time: 0.986849 s 0.99/1.00 c 0.99/1.00 c ============================[ Search Statistics ]============================== 0.99/1.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.00 c =============================================================================== 0.99/1.00 c | 0 | 2365 31054 91791 | 10351 0 -nan | 0.000 % | 0.99/1.00 c =============================================================================== 0.99/1.01 c core #105 0.99/1.01 c 0.99/1.01 c 0.99/1.01 c Core size: 8 Core Weight: 1 Total Weight: -201 0.99/1.01 c Current CPU time: 0.998848 s 0.99/1.01 c 0.99/1.01 c ============================[ Search Statistics ]============================== 0.99/1.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.01 c =============================================================================== 0.99/1.01 c | 0 | 2369 31058 91805 | 10352 0 -nan | 0.000 % | 0.99/1.01 c =============================================================================== 0.99/1.02 c core #106 0.99/1.02 c 0.99/1.02 c 0.99/1.02 c Core size: 22 Core Weight: 1 Total Weight: -200 0.99/1.02 c Current CPU time: 1.00985 s 0.99/1.02 c 0.99/1.02 c ============================[ Search Statistics ]============================== 0.99/1.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.02 c =============================================================================== 0.99/1.02 c | 0 | 2379 31061 91829 | 10353 0 -nan | 0.000 % | 0.99/1.02 c =============================================================================== 0.99/1.03 c core #107 0.99/1.03 c 0.99/1.03 c 0.99/1.03 c Core size: 16 Core Weight: 1 Total Weight: -199 0.99/1.03 c Current CPU time: 1.02184 s 0.99/1.03 c 0.99/1.03 c ============================[ Search Statistics ]============================== 0.99/1.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.03 c =============================================================================== 0.99/1.03 c | 0 | 2393 31063 91860 | 10354 0 -nan | 0.000 % | 0.99/1.03 c =============================================================================== 0.99/1.05 c core #108 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 30 Core Weight: 1 Total Weight: -198 0.99/1.05 c Current CPU time: 1.03384 s 0.99/1.05 c 0.99/1.05 c ============================[ Search Statistics ]============================== 0.99/1.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.05 c =============================================================================== 0.99/1.05 c | 0 | 2402 31070 91891 | 10356 0 -nan | 0.000 % | 0.99/1.05 c =============================================================================== 0.99/1.07 c core #109 0.99/1.07 c 0.99/1.07 c 0.99/1.07 c Core size: 15 Core Weight: 1 Total Weight: -197 0.99/1.07 c Current CPU time: 1.04584 s 0.99/1.07 c 0.99/1.07 c core #110 0.99/1.07 c 0.99/1.07 c 0.99/1.07 c Core size: 18 Core Weight: 1 Total Weight: -196 0.99/1.07 c Current CPU time: 1.05684 s 0.99/1.07 c 0.99/1.07 c ============================[ Search Statistics ]============================== 0.99/1.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.07 c =============================================================================== 0.99/1.07 c | 0 | 2410 31079 91927 | 10359 0 -nan | 0.000 % | 0.99/1.07 c =============================================================================== 0.99/1.08 c core #111 0.99/1.08 c 0.99/1.08 c 0.99/1.08 c Core size: 14 Core Weight: 1 Total Weight: -195 0.99/1.08 c Current CPU time: 1.06884 s 0.99/1.08 c 0.99/1.08 c ============================[ Search Statistics ]============================== 0.99/1.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.08 c =============================================================================== 0.99/1.08 c | 0 | 2419 31080 91939 | 10360 0 -nan | 0.000 % | 0.99/1.08 c =============================================================================== 0.99/1.09 c core #112 0.99/1.09 c 0.99/1.09 c 0.99/1.09 c Core size: 15 Core Weight: 1 Total Weight: -194 0.99/1.09 c Current CPU time: 1.07984 s 0.99/1.09 c 0.99/1.09 c ============================[ Search Statistics ]============================== 0.99/1.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.09 c =============================================================================== 0.99/1.09 c | 0 | 2426 31081 91953 | 10360 0 -nan | 0.000 % | 0.99/1.09 c =============================================================================== 0.99/1.10 c core #113 0.99/1.10 c 0.99/1.10 c 0.99/1.10 c Core size: 23 Core Weight: 1 Total Weight: -193 0.99/1.10 c Current CPU time: 1.09183 s 0.99/1.10 c 0.99/1.10 c ============================[ Search Statistics ]============================== 0.99/1.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.10 c =============================================================================== 0.99/1.10 c | 0 | 2437 31085 91981 | 10361 0 -nan | 0.000 % | 0.99/1.10 c =============================================================================== 1.10/1.12 c core #114 1.10/1.12 c 1.10/1.12 c 1.10/1.12 c Core size: 19 Core Weight: 1 Total Weight: -192 1.10/1.12 c Current CPU time: 1.10483 s 1.10/1.12 c 1.10/1.12 c ============================[ Search Statistics ]============================== 1.10/1.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.12 c =============================================================================== 1.10/1.12 c | 0 | 2444 31086 91995 | 10362 0 -nan | 0.000 % | 1.10/1.12 c =============================================================================== 1.10/1.13 c core #115 1.10/1.13 c 1.10/1.13 c 1.10/1.13 c Core size: 14 Core Weight: 1 Total Weight: -191 1.10/1.13 c Current CPU time: 1.11583 s 1.10/1.13 c 1.10/1.13 c ============================[ Search Statistics ]============================== 1.10/1.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.13 c =============================================================================== 1.10/1.13 c | 0 | 2448 31088 92005 | 10362 0 -nan | 0.000 % | 1.10/1.13 c =============================================================================== 1.10/1.14 c core #116 1.10/1.14 c 1.10/1.14 c 1.10/1.14 c Core size: 13 Core Weight: 1 Total Weight: -190 1.10/1.14 c Current CPU time: 1.12783 s 1.10/1.14 c 1.10/1.14 c ============================[ Search Statistics ]============================== 1.10/1.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.14 c =============================================================================== 1.10/1.14 c | 0 | 2457 31091 92027 | 10363 0 -nan | 0.000 % | 1.10/1.14 c =============================================================================== 1.10/1.15 c core #117 1.10/1.15 c 1.10/1.15 c 1.10/1.15 c Core size: 8 Core Weight: 1 Total Weight: -189 1.10/1.15 c Current CPU time: 1.13983 s 1.10/1.15 c 1.10/1.15 c ============================[ Search Statistics ]============================== 1.10/1.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.15 c =============================================================================== 1.10/1.15 c | 0 | 2462 31092 92037 | 10364 0 -nan | 0.000 % | 1.10/1.15 c =============================================================================== 1.10/1.16 c core #118 1.10/1.16 c 1.10/1.16 c 1.10/1.16 c Core size: 18 Core Weight: 1 Total Weight: -188 1.10/1.16 c Current CPU time: 1.15182 s 1.10/1.16 c 1.10/1.16 c ============================[ Search Statistics ]============================== 1.10/1.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.16 c =============================================================================== 1.10/1.16 c | 0 | 2474 31094 92063 | 10364 0 -nan | 0.000 % | 1.10/1.17 c =============================================================================== 1.10/1.18 c core #119 1.10/1.18 c 1.10/1.18 c 1.10/1.18 c Core size: 24 Core Weight: 1 Total Weight: -187 1.10/1.18 c Current CPU time: 1.16382 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 | 2485 31095 92085 | 10365 0 -nan | 0.000 % | 1.10/1.18 c =============================================================================== 1.10/1.19 c core #120 1.10/1.19 c 1.10/1.19 c 1.10/1.19 c Core size: 22 Core Weight: 1 Total Weight: -186 1.10/1.19 c Current CPU time: 1.17582 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 | 2494 31097 92105 | 10365 0 -nan | 0.000 % | 1.10/1.19 c =============================================================================== 1.10/1.20 c core #121 1.10/1.20 c 1.10/1.20 c 1.10/1.20 c Core size: 13 Core Weight: 1 Total Weight: -185 1.10/1.20 c Current CPU time: 1.18782 s 1.10/1.20 c 1.10/1.20 c ============================[ Search Statistics ]============================== 1.10/1.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.20 c =============================================================================== 1.10/1.20 c | 0 | 2501 31105 92133 | 10368 0 -nan | 0.000 % | 1.10/1.20 c =============================================================================== 1.10/1.21 c core #122 1.10/1.21 c 1.10/1.21 c 1.10/1.21 c Core size: 20 Core Weight: 1 Total Weight: -184 1.10/1.21 c Current CPU time: 1.19982 s 1.10/1.21 c 1.10/1.21 c ============================[ Search Statistics ]============================== 1.10/1.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.21 c =============================================================================== 1.10/1.21 c | 0 | 2514 31108 92164 | 10369 0 -nan | 0.000 % | 1.21/1.21 c =============================================================================== 1.21/1.22 c core #123 1.21/1.22 c 1.21/1.22 c 1.21/1.22 c Core size: 6 Core Weight: 1 Total Weight: -183 1.21/1.22 c Current CPU time: 1.21182 s 1.21/1.22 c 1.21/1.22 c ============================[ Search Statistics ]============================== 1.21/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.22 c =============================================================================== 1.21/1.22 c | 0 | 2518 31111 92177 | 10370 0 -nan | 0.000 % | 1.21/1.23 c =============================================================================== 1.21/1.24 c core #124 1.21/1.24 c 1.21/1.24 c 1.21/1.24 c Core size: 14 Core Weight: 1 Total Weight: -182 1.21/1.24 c Current CPU time: 1.22281 s 1.21/1.24 c 1.21/1.24 c ============================[ Search Statistics ]============================== 1.21/1.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.24 c =============================================================================== 1.21/1.24 c | 0 | 2530 31115 92208 | 10371 0 -nan | 0.000 % | 1.21/1.24 c =============================================================================== 1.21/1.25 c core #125 1.21/1.25 c 1.21/1.25 c 1.21/1.25 c Core size: 19 Core Weight: 1 Total Weight: -181 1.21/1.25 c Current CPU time: 1.23581 s 1.21/1.25 c 1.21/1.25 c ============================[ Search Statistics ]============================== 1.21/1.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.25 c =============================================================================== 1.21/1.25 c | 0 | 2542 31117 92235 | 10372 0 -nan | 0.000 % | 1.21/1.25 c =============================================================================== 1.21/1.26 c core #126 1.21/1.26 c 1.21/1.26 c 1.21/1.26 c Core size: 33 Core Weight: 1 Total Weight: -180 1.21/1.26 c Current CPU time: 1.24681 s 1.21/1.26 c 1.21/1.26 c ============================[ Search Statistics ]============================== 1.21/1.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.26 c =============================================================================== 1.21/1.26 c | 0 | 2567 31123 92300 | 10374 0 -nan | 0.000 % | 1.21/1.26 c | 103 | 2567 31123 92300 | 11411 103 13 | 0.156 % | 1.21/1.26 c =============================================================================== 1.21/1.28 c core #127 1.21/1.28 c 1.21/1.28 c 1.21/1.28 c Core size: 43 Core Weight: 1 Total Weight: -179 1.21/1.28 c Current CPU time: 1.25981 s 1.21/1.28 c 1.21/1.28 c ============================[ Search Statistics ]============================== 1.21/1.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.28 c =============================================================================== 1.21/1.28 c | 0 | 2601 31125 92371 | 10375 0 -nan | 0.000 % | 1.21/1.28 c =============================================================================== 1.21/1.29 c core #128 1.21/1.29 c 1.21/1.29 c 1.21/1.29 c Core size: 12 Core Weight: 1 Total Weight: -178 1.21/1.29 c Current CPU time: 1.27281 s 1.21/1.29 c 1.21/1.29 c ============================[ Search Statistics ]============================== 1.21/1.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.29 c =============================================================================== 1.21/1.29 c | 0 | 2608 31131 92396 | 10377 0 -nan | 0.000 % | 1.21/1.29 c =============================================================================== 1.29/1.30 c core #129 1.29/1.30 c 1.29/1.30 c 1.29/1.30 c Core size: 35 Core Weight: 1 Total Weight: -177 1.29/1.30 c Current CPU time: 1.2858 s 1.29/1.30 c 1.29/1.30 c ============================[ Search Statistics ]============================== 1.29/1.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.30 c =============================================================================== 1.29/1.30 c | 0 | 2631 31137 92453 | 10379 0 -nan | 0.000 % | 1.29/1.30 c =============================================================================== 1.29/1.31 c core #130 1.29/1.31 c 1.29/1.31 c 1.29/1.31 c Core size: 17 Core Weight: 1 Total Weight: -176 1.29/1.31 c Current CPU time: 1.2978 s 1.29/1.31 c 1.29/1.31 c ============================[ Search Statistics ]============================== 1.29/1.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.31 c =============================================================================== 1.29/1.31 c | 0 | 2638 31143 92480 | 10381 0 -nan | 0.000 % | 1.29/1.31 c =============================================================================== 1.29/1.33 c core #131 1.29/1.33 c 1.29/1.33 c 1.29/1.33 c Core size: 14 Core Weight: 1 Total Weight: -175 1.29/1.33 c Current CPU time: 1.3108 s 1.29/1.33 c 1.29/1.33 c ============================[ Search Statistics ]============================== 1.29/1.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.33 c =============================================================================== 1.29/1.33 c | 0 | 2620 31147 92486 | 10382 0 -nan | 0.000 % | 1.29/1.33 c =============================================================================== 1.29/1.34 c core #132 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 25 Core Weight: 1 Total Weight: -174 1.29/1.34 c Current CPU time: 1.3218 s 1.29/1.34 c 1.29/1.34 c ============================[ Search Statistics ]============================== 1.29/1.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.34 c =============================================================================== 1.29/1.34 c | 0 | 2650 31149 92512 | 10383 0 -nan | 0.000 % | 1.29/1.34 c =============================================================================== 1.29/1.35 c core #133 1.29/1.35 c 1.29/1.35 c 1.29/1.35 c Core size: 36 Core Weight: 1 Total Weight: -173 1.29/1.35 c Current CPU time: 1.3338 s 1.29/1.35 c 1.29/1.35 c ============================[ Search Statistics ]============================== 1.29/1.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.35 c =============================================================================== 1.29/1.35 c | 0 | 2671 31150 92554 | 10383 0 -nan | 0.000 % | 1.29/1.35 c =============================================================================== 1.29/1.36 c core #134 1.29/1.36 c 1.29/1.36 c 1.29/1.36 c Core size: 13 Core Weight: 1 Total Weight: -172 1.29/1.36 c Current CPU time: 1.34679 s 1.29/1.36 c 1.29/1.36 c ============================[ Search Statistics ]============================== 1.29/1.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.36 c =============================================================================== 1.29/1.36 c | 0 | 2677 31154 92572 | 10384 0 -nan | 0.000 % | 1.29/1.36 c =============================================================================== 1.29/1.37 c core #135 1.29/1.37 c 1.29/1.37 c 1.29/1.37 c Core size: 24 Core Weight: 1 Total Weight: -171 1.29/1.37 c Current CPU time: 1.35879 s 1.29/1.37 c 1.29/1.37 c ============================[ Search Statistics ]============================== 1.29/1.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.37 c =============================================================================== 1.29/1.37 c | 0 | 2689 31158 92602 | 10386 0 -nan | 0.000 % | 1.29/1.38 c =============================================================================== 1.29/1.39 c core #136 1.29/1.39 c 1.29/1.39 c 1.29/1.39 c Core size: 30 Core Weight: 1 Total Weight: -170 1.29/1.39 c Current CPU time: 1.37079 s 1.29/1.39 c 1.29/1.39 c ============================[ Search Statistics ]============================== 1.29/1.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.39 c =============================================================================== 1.29/1.39 c | 0 | 2710 31165 92659 | 10388 0 -nan | 0.000 % | 1.29/1.39 c =============================================================================== 1.39/1.40 c core #137 1.39/1.40 c 1.39/1.40 c 1.39/1.40 c Core size: 31 Core Weight: 1 Total Weight: -169 1.39/1.40 c Current CPU time: 1.38379 s 1.39/1.40 c 1.39/1.40 c ============================[ Search Statistics ]============================== 1.39/1.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.40 c =============================================================================== 1.39/1.40 c | 0 | 2724 31171 92699 | 10390 0 -nan | 0.000 % | 1.39/1.40 c =============================================================================== 1.39/1.41 c core #138 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 15 Core Weight: 1 Total Weight: -168 1.39/1.41 c Current CPU time: 1.39579 s 1.39/1.41 c 1.39/1.41 c ============================[ Search Statistics ]============================== 1.39/1.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.41 c =============================================================================== 1.39/1.41 c | 0 | 2725 31177 92720 | 10392 0 -nan | 0.000 % | 1.39/1.41 c =============================================================================== 1.39/1.42 c core #139 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 24 Core Weight: 1 Total Weight: -167 1.39/1.42 c Current CPU time: 1.40779 s 1.39/1.42 c 1.39/1.42 c ============================[ Search Statistics ]============================== 1.39/1.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.42 c =============================================================================== 1.39/1.42 c | 0 | 2742 31182 92758 | 10394 0 -nan | 0.000 % | 1.39/1.42 c =============================================================================== 1.39/1.44 c core #140 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 42 Core Weight: 1 Total Weight: -166 1.39/1.44 c Current CPU time: 1.42078 s 1.39/1.44 c 1.39/1.44 c ============================[ Search Statistics ]============================== 1.39/1.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.44 c =============================================================================== 1.39/1.44 c | 0 | 2764 31186 92809 | 10395 0 -nan | 0.000 % | 1.39/1.44 c =============================================================================== 1.39/1.45 c core #141 1.39/1.45 c 1.39/1.45 c 1.39/1.45 c Core size: 16 Core Weight: 1 Total Weight: -165 1.39/1.45 c Current CPU time: 1.43278 s 1.39/1.45 c 1.39/1.45 c ============================[ Search Statistics ]============================== 1.39/1.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.45 c =============================================================================== 1.39/1.45 c | 0 | 2771 31187 92823 | 10395 0 -nan | 0.000 % | 1.39/1.45 c =============================================================================== 1.39/1.46 c core #142 1.39/1.46 c 1.39/1.46 c 1.39/1.46 c Core size: 23 Core Weight: 1 Total Weight: -164 1.39/1.46 c Current CPU time: 1.44578 s 1.39/1.46 c 1.39/1.46 c ============================[ Search Statistics ]============================== 1.39/1.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.46 c =============================================================================== 1.39/1.46 c | 0 | 2786 31193 92866 | 10397 0 -nan | 0.000 % | 1.39/1.46 c | 100 | 2782 31193 92866 | 11437 100 8 | 0.537 % | 1.39/1.46 c =============================================================================== 1.39/1.48 c core #143 1.39/1.48 c 1.39/1.48 c 1.39/1.48 c Core size: 52 Core Weight: 1 Total Weight: -163 1.39/1.48 c Current CPU time: 1.45878 s 1.39/1.48 c 1.39/1.48 c ============================[ Search Statistics ]============================== 1.39/1.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.48 c =============================================================================== 1.39/1.48 c | 0 | 2830 31205 92982 | 10401 0 -nan | 0.000 % | 1.39/1.48 c =============================================================================== 1.39/1.49 c core #144 1.39/1.49 c 1.39/1.49 c 1.39/1.49 c Core size: 55 Core Weight: 1 Total Weight: -162 1.39/1.49 c Current CPU time: 1.47278 s 1.39/1.49 c 1.39/1.49 c ============================[ Search Statistics ]============================== 1.39/1.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.49 c =============================================================================== 1.39/1.49 c | 0 | 2862 31217 93075 | 10405 0 -nan | 0.000 % | 1.39/1.49 c =============================================================================== 1.49/1.50 c core #145 1.49/1.50 c 1.49/1.50 c 1.49/1.50 c Core size: 24 Core Weight: 1 Total Weight: -161 1.49/1.50 c Current CPU time: 1.48477 s 1.49/1.50 c 1.49/1.50 c ============================[ Search Statistics ]============================== 1.49/1.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.50 c =============================================================================== 1.49/1.50 c | 0 | 2878 31220 93109 | 10406 0 -nan | 0.000 % | 1.49/1.50 c | 100 | 2878 31220 93109 | 11447 100 24 | 0.381 % | 1.49/1.51 c | 252 | 2878 31220 93109 | 12592 252 23 | 0.381 % | 1.49/1.51 c =============================================================================== 1.49/1.52 c core #146 1.49/1.52 c 1.49/1.52 c 1.49/1.52 c Core size: 62 Core Weight: 1 Total Weight: -160 1.49/1.52 c Current CPU time: 1.50577 s 1.49/1.52 c 1.49/1.52 c ============================[ Search Statistics ]============================== 1.49/1.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.52 c =============================================================================== 1.49/1.52 c | 0 | 2919 31250 93270 | 10416 0 -nan | 0.000 % | 1.49/1.53 c | 102 | 2919 31250 93270 | 11458 102 26 | 0.443 % | 1.49/1.53 c | 252 | 2919 31250 93270 | 12604 252 19 | 0.443 % | 1.49/1.53 c | 477 | 2913 31250 93270 | 13864 477 16 | 1.160 % | 1.49/1.53 c =============================================================================== 1.49/1.55 c core #147 1.49/1.55 c 1.49/1.55 c 1.49/1.55 c Core size: 78 Core Weight: 1 Total Weight: -159 1.49/1.55 c Current CPU time: 1.52877 s 1.49/1.55 c 1.49/1.55 c ============================[ Search Statistics ]============================== 1.49/1.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.55 c =============================================================================== 1.49/1.55 c | 0 | 2970 31265 93413 | 10421 0 -nan | 0.000 % | 1.49/1.55 c | 105 | 2970 31265 93413 | 11463 105 12 | 0.503 % | 1.49/1.55 c =============================================================================== 1.49/1.56 c core #148 1.49/1.56 c 1.49/1.56 c 1.49/1.56 c Core size: 73 Core Weight: 1 Total Weight: -158 1.49/1.56 c Current CPU time: 1.54377 s 1.49/1.56 c 1.49/1.56 c ============================[ Search Statistics ]============================== 1.49/1.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.56 c =============================================================================== 1.49/1.56 c | 0 | 3019 31272 93526 | 10424 0 -nan | 0.000 % | 1.49/1.56 c | 102 | 3019 31272 93526 | 11466 102 15 | 0.494 % | 1.49/1.56 c | 252 | 3018 31272 93526 | 12613 252 11 | 0.527 % | 1.49/1.57 c =============================================================================== 1.49/1.58 c core #149 1.49/1.58 c 1.49/1.58 c 1.49/1.58 c Core size: 79 Core Weight: 1 Total Weight: -157 1.49/1.58 c Current CPU time: 1.56376 s 1.49/1.58 c 1.49/1.58 c ============================[ Search Statistics ]============================== 1.49/1.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.58 c =============================================================================== 1.49/1.58 c | 0 | 3069 31298 93696 | 10432 0 -nan | 0.000 % | 1.49/1.58 c | 102 | 3069 31298 93696 | 11475 102 24 | 0.551 % | 1.49/1.59 c | 252 | 3068 31298 93696 | 12623 252 20 | 0.551 % | 1.49/1.59 c =============================================================================== 1.59/1.60 c core #150 1.59/1.60 c 1.59/1.60 c 1.59/1.60 c Core size: 56 Core Weight: 1 Total Weight: -156 1.59/1.60 c Current CPU time: 1.58376 s 1.59/1.60 c 1.59/1.60 c ============================[ Search Statistics ]============================== 1.59/1.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.60 c =============================================================================== 1.59/1.60 c | 0 | 3101 31307 93780 | 10435 0 -nan | 0.000 % | 1.59/1.60 c | 100 | 3100 31307 93780 | 11479 100 14 | 0.641 % | 1.59/1.61 c | 250 | 3100 31307 93780 | 12627 250 16 | 0.641 % | 1.59/1.61 c | 475 | 3100 31307 93780 | 13889 475 18 | 0.641 % | 1.59/1.62 c | 815 | 3100 31307 93780 | 15278 815 19 | 0.641 % | 1.59/1.63 c =============================================================================== 1.59/1.64 c core #151 1.59/1.64 c 1.59/1.64 c 1.59/1.64 c Core size: 55 Core Weight: 1 Total Weight: -155 1.59/1.64 c Current CPU time: 1.62475 s 1.59/1.64 c 1.59/1.64 c ============================[ Search Statistics ]============================== 1.59/1.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.64 c =============================================================================== 1.59/1.64 c | 0 | 3138 31338 93935 | 10446 0 -nan | 0.000 % | 1.59/1.65 c | 100 | 3138 31338 93935 | 11490 100 17 | 0.633 % | 1.59/1.65 c | 252 | 3138 31338 93935 | 12639 252 21 | 0.633 % | 1.59/1.65 c | 477 | 3138 31338 93935 | 13903 477 23 | 0.633 % | 1.59/1.66 c | 814 | 3138 31338 93935 | 15293 814 25 | 0.633 % | 1.59/1.68 c | 1321 | 3137 31338 93935 | 16823 1321 26 | 0.697 % | 1.59/1.69 c =============================================================================== 1.69/1.70 c core #152 1.69/1.70 c 1.69/1.70 c 1.69/1.70 c Core size: 58 Core Weight: 1 Total Weight: -154 1.69/1.70 c Current CPU time: 1.68574 s 1.69/1.70 c 1.69/1.70 c ============================[ Search Statistics ]============================== 1.69/1.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.70 c =============================================================================== 1.69/1.70 c | 0 | 3178 31365 94084 | 10455 0 -nan | 0.000 % | 1.69/1.71 c | 100 | 3178 31365 94084 | 11500 100 27 | 0.688 % | 1.69/1.71 c | 250 | 3178 31365 94084 | 12650 250 23 | 0.688 % | 1.69/1.72 c | 477 | 3178 31365 94084 | 13915 477 26 | 0.688 % | 1.69/1.72 c | 814 | 3178 31365 94084 | 15307 814 31 | 0.688 % | 1.69/1.74 c | 1320 | 3178 31365 94084 | 16837 1320 38 | 0.688 % | 1.69/1.77 c | 2081 | 3178 31365 94084 | 18521 2081 39 | 0.688 % | 1.79/1.81 c | 3221 | 3178 31365 94084 | 20373 3221 43 | 0.688 % | 1.89/1.91 c | 4931 | 3178 31365 94084 | 22411 4931 48 | 0.688 % | 2.09/2.10 c | 7495 | 3178 31365 94084 | 24652 7495 50 | 0.688 % | 2.39/2.45 c | 11341 | 3174 31365 94084 | 27117 11341 49 | 0.813 % | 2.79/2.85 c =============================================================================== 2.89/2.93 c core #153 2.89/2.93 c 2.89/2.93 c 2.89/2.93 c Core size: 70 Core Weight: 1 Total Weight: -153 2.89/2.93 c Current CPU time: 2.89656 s 2.89/2.93 c 2.89/2.93 c ============================[ Search Statistics ]============================== 2.89/2.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.93 c =============================================================================== 2.89/2.93 c | 0 | 3226 31403 94290 | 10467 0 -nan | 0.000 % | 2.89/2.93 c | 101 | 3226 31403 94290 | 11514 101 42 | 0.677 % | 2.89/2.93 c | 254 | 3226 31403 94290 | 12665 254 34 | 0.677 % | 2.89/2.94 c | 481 | 3225 31403 94290 | 13932 481 31 | 0.708 % | 2.89/2.94 c | 819 | 3225 31403 94290 | 15325 819 27 | 0.708 % | 2.89/2.96 c | 1325 | 3225 31403 94290 | 16858 1325 28 | 0.708 % | 2.89/2.98 c | 2086 | 3225 31403 94290 | 18544 2086 29 | 0.708 % | 2.99/3.02 c | 3228 | 3225 31403 94290 | 20398 3228 28 | 0.708 % | 2.99/3.06 c =============================================================================== 2.99/3.08 c core #154 2.99/3.08 c 2.99/3.08 c 2.99/3.08 c Core size: 67 Core Weight: 1 Total Weight: -152 2.99/3.08 c Current CPU time: 3.04654 s 2.99/3.08 c 2.99/3.08 c ============================[ Search Statistics ]============================== 2.99/3.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.08 c =============================================================================== 2.99/3.08 c | 0 | 3270 31432 94451 | 10477 0 -nan | 0.000 % | 2.99/3.08 c | 100 | 3270 31432 94451 | 11525 100 26 | 0.698 % | 2.99/3.08 c | 252 | 3270 31432 94451 | 12677 252 32 | 0.698 % | 2.99/3.09 c | 478 | 3270 31432 94451 | 13945 478 29 | 0.698 % | 2.99/3.10 c | 817 | 3270 31432 94451 | 15339 817 32 | 0.698 % | 3.09/3.11 c | 1323 | 3270 31432 94451 | 16873 1323 34 | 0.698 % | 3.09/3.14 c | 2082 | 3270 31432 94451 | 18561 2082 37 | 0.698 % | 3.09/3.19 c | 3226 | 3270 31432 94451 | 20417 3226 36 | 0.698 % | 3.19/3.28 c | 4934 | 3270 31432 94451 | 22459 4934 36 | 0.699 % | 3.30/3.41 c | 7496 | 3270 31432 94451 | 24705 7496 35 | 0.698 % | 3.58/3.62 c | 11340 | 3270 31432 94451 | 27175 11340 35 | 0.699 % | 3.79/3.88 c =============================================================================== 3.89/3.95 c core #155 3.89/3.95 c 3.89/3.95 c 3.89/3.95 c Core size: 74 Core Weight: 1 Total Weight: -151 3.89/3.95 c Current CPU time: 3.90341 s 3.89/3.95 c 3.89/3.95 c ============================[ Search Statistics ]============================== 3.89/3.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.95 c =============================================================================== 3.89/3.95 c | 0 | 3319 31446 94581 | 10482 0 -nan | 0.000 % | 3.89/3.95 c | 104 | 3319 31446 94581 | 11530 104 72 | 0.688 % | 3.89/3.96 c | 257 | 3319 31446 94581 | 12683 257 52 | 0.688 % | 3.89/3.96 c | 483 | 3319 31446 94581 | 13951 483 57 | 0.688 % | 3.89/3.97 c | 822 | 3319 31446 94581 | 15346 822 52 | 0.688 % | 3.89/3.98 c | 1331 | 3319 31446 94581 | 16881 1331 50 | 0.688 % | 3.99/4.01 c | 2090 | 3319 31446 94581 | 18569 2090 49 | 0.688 % | 3.99/4.07 c | 3229 | 3319 31446 94581 | 20426 3229 49 | 0.688 % | 4.19/4.22 c | 4937 | 3319 31446 94581 | 22469 4937 52 | 0.688 % | 4.39/4.47 c | 7501 | 3319 31446 94581 | 24716 7501 53 | 0.688 % | 4.87/4.95 c | 11348 | 3319 31446 94581 | 27187 11348 55 | 0.688 % | 5.97/6.08 c | 17115 | 3319 31446 94581 | 29906 17115 59 | 0.688 % | 8.17/8.26 c | 25767 | 3319 31446 94581 | 32897 25767 60 | 0.688 % | 11.09/11.14 c | 38746 | 3319 31446 94581 | 36186 19402 57 | 0.688 % | 16.17/16.23 c | 58208 | 3319 31446 94581 | 39805 17076 56 | 0.688 % | 21.07/21.12 c | 87401 | 3304 31446 94581 | 43785 19954 53 | 1.586 % | 21.37/21.46 c =============================================================================== 21.98/22.04 c core #156 21.98/22.04 c 21.98/22.04 c 21.98/22.04 c Core size: 77 Core Weight: 1 Total Weight: -150 21.98/22.04 c Current CPU time: 21.8717 s 21.98/22.04 c 21.98/22.04 c ============================[ Search Statistics ]============================== 21.98/22.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.98/22.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.98/22.04 c =============================================================================== 21.98/22.04 c | 0 | 3371 31451 94696 | 10483 0 -nan | 0.000 % | 21.98/22.04 c | 104 | 3371 31451 94696 | 11532 104 85 | 0.678 % | 21.98/22.05 c | 255 | 3371 31451 94696 | 12685 255 53 | 0.678 % | 21.98/22.05 c | 482 | 3371 31451 94696 | 13953 482 54 | 0.678 % | 21.98/22.06 c | 819 | 3371 31451 94696 | 15349 819 54 | 0.678 % | 21.98/22.08 c | 1328 | 3371 31451 94696 | 16884 1328 58 | 0.678 % | 22.09/22.11 c | 2089 | 3371 31451 94696 | 18572 2089 61 | 0.678 % | 22.09/22.19 c | 3228 | 3371 31451 94696 | 20429 3228 64 | 0.678 % | 22.27/22.34 c | 4936 | 3371 31451 94696 | 22472 4936 66 | 0.678 % | 22.57/22.64 c | 7499 | 3371 31451 94696 | 24719 7499 69 | 0.678 % | 22.98/23.10 c | 11347 | 3371 31451 94696 | 27191 11347 71 | 0.678 % | 24.07/24.19 c | 17115 | 3371 31451 94696 | 29911 17115 72 | 0.678 % | 25.28/25.40 c | 25766 | 3371 31451 94696 | 32902 25766 74 | 0.678 % | 27.67/27.72 c | 38740 | 3371 31451 94696 | 36192 17616 82 | 0.678 % | 31.77/31.83 c | 58202 | 3371 31451 94696 | 39811 13701 76 | 0.678 % | 37.98/38.02 c | 87402 | 3369 31451 94696 | 43792 17063 71 | 0.737 % | 47.17/47.25 c | 131191 | 3369 31451 94696 | 48172 31042 74 | 0.737 % | 54.98/55.05 c =============================================================================== 56.09/56.19 c core #157 56.09/56.19 c 56.09/56.19 c 56.09/56.19 c Core size: 85 Core Weight: 1 Total Weight: -149 56.09/56.19 c Current CPU time: 55.8395 s 56.09/56.19 c 56.09/56.19 c ============================[ Search Statistics ]============================== 56.09/56.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 56.09/56.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 56.09/56.19 c =============================================================================== 56.09/56.19 c | 0 | 3421 31480 94871 | 10493 0 -nan | 0.000 % | 56.09/56.19 c | 101 | 3421 31480 94871 | 11542 101 41 | 0.754 % | 56.09/56.19 c | 251 | 3421 31480 94871 | 12696 251 46 | 0.754 % | 56.09/56.20 c | 476 | 3421 31480 94871 | 13966 476 51 | 0.754 % | 56.09/56.21 c | 815 | 3421 31480 94871 | 15363 815 58 | 0.754 % | 56.19/56.23 c | 1322 | 3421 31480 94871 | 16899 1322 77 | 0.754 % | 56.19/56.28 c | 2081 | 3421 31480 94871 | 18589 2081 85 | 0.754 % | 56.28/56.34 c | 3222 | 3421 31480 94871 | 20448 3222 88 | 0.754 % | 56.37/56.45 c | 4934 | 3421 31480 94871 | 22493 4934 92 | 0.754 % | 56.67/56.77 c | 7500 | 3421 31480 94871 | 24742 7500 96 | 0.754 % | 57.29/57.35 c | 11344 | 3421 31480 94871 | 27217 11344 98 | 0.754 % | 58.18/58.26 c | 17111 | 3421 31480 94871 | 29938 17111 98 | 0.754 % | 60.37/60.45 c | 25761 | 3421 31480 94871 | 32932 25761 97 | 0.754 % | 62.79/62.87 c | 38743 | 3421 31480 94871 | 36225 18289 80 | 0.754 % | 68.48/68.53 c | 58205 | 3421 31480 94871 | 39848 14742 79 | 0.754 % | 75.47/75.52 c | 87401 | 3421 31480 94871 | 43833 16963 105 | 0.754 % | 86.07/86.16 c | 131192 | 3421 31480 94871 | 48216 30243 91 | 0.754 % | 105.37/105.47 c | 196877 | 3421 31480 94871 | 53038 28618 87 | 0.754 % | 116.08/116.17 c =============================================================================== 117.97/118.03 c core #158 117.97/118.03 c 117.97/118.03 c 117.97/118.03 c Core size: 124 Core Weight: 1 Total Weight: -148 117.97/118.03 c Current CPU time: 117.453 s 117.97/118.03 c 117.97/118.03 c ============================[ Search Statistics ]============================== 117.97/118.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 117.97/118.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 117.97/118.03 c =============================================================================== 117.97/118.03 c | 0 | 3513 31547 95233 | 10515 0 -nan | 0.000 % | 117.97/118.03 c | 100 | 3513 31547 95233 | 11567 100 47 | 0.735 % | 117.97/118.04 c | 250 | 3513 31547 95233 | 12723 250 58 | 0.735 % | 117.97/118.04 c | 476 | 3513 31547 95233 | 13996 476 54 | 0.735 % | 117.97/118.05 c | 815 | 3513 31547 95233 | 15395 815 64 | 0.735 % | 117.97/118.06 c | 1323 | 3513 31547 95233 | 16935 1323 72 | 0.735 % | 117.97/118.09 c | 2083 | 3513 31547 95233 | 18629 2083 78 | 0.735 % | 118.08/118.16 c | 3223 | 3513 31547 95233 | 20492 3223 91 | 0.735 % | 118.28/118.34 c | 4935 | 3513 31547 95233 | 22541 4935 98 | 0.735 % | 118.58/118.60 c | 7497 | 3513 31547 95233 | 24795 7497 103 | 0.735 % | 119.68/119.72 c | 11341 | 3513 31547 95233 | 27274 11341 110 | 0.735 % | 120.77/120.82 c | 17109 | 3513 31547 95233 | 30002 17109 113 | 0.735 % | 122.28/122.35 c | 25761 | 3513 31547 95233 | 33002 25761 113 | 0.735 % | 125.88/125.90 c | 38735 | 3513 31547 95233 | 36302 18047 109 | 0.735 % | 133.37/133.46 c | 58197 | 3513 31547 95233 | 39933 14722 108 | 0.735 % | 140.90/140.93 c | 87390 | 3513 31547 95233 | 43926 17406 117 | 0.735 % | 153.88/153.90 c | 131179 | 3513 31547 95233 | 48319 30339 120 | 0.735 % | 177.78/177.81 c | 196868 | 3513 31547 95233 | 53151 25618 109 | 0.735 % | 206.08/206.18 c | 295395 | 3513 31547 95233 | 58466 46438 109 | 0.735 % | 261.48/261.55 c | 443192 | 3513 31547 95233 | 64312 17335 109 | 0.735 % | 350.48/350.57 c | 664877 | 3513 31547 95233 | 70744 41223 116 | 0.735 % | 516.01/516.09 c | 997403 | 3513 31547 95233 | 77818 41111 121 | 0.735 % | 610.61/610.64 c =============================================================================== 611.29/611.39 c core #159 611.29/611.39 c 611.29/611.39 c 611.29/611.39 c Core size: 152 Core Weight: 1 Total Weight: -147 611.29/611.39 c Current CPU time: 609.28 s 611.29/611.39 c 611.29/611.39 c ============================[ Search Statistics ]============================== 611.29/611.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 611.29/611.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 611.29/611.39 c =============================================================================== 611.29/611.39 c | 0 | 3615 31625 95638 | 10541 0 -nan | 0.000 % | 611.29/611.39 c | 102 | 3615 31625 95638 | 11595 102 89 | 0.796 % | 611.39/611.40 c | 252 | 3615 31625 95638 | 12755 252 52 | 0.796 % | 611.39/611.40 c | 477 | 3615 31625 95638 | 14030 477 36 | 0.796 % | 611.39/611.41 c | 815 | 3615 31625 95638 | 15434 815 29 | 0.796 % | 611.39/611.42 c | 1321 | 3614 31625 95638 | 16977 1321 27 | 0.823 % | 611.39/611.44 c | 2080 | 3597 31625 95638 | 18675 2080 26 | 1.290 % | 611.39/611.48 c | 3219 | 3592 31625 95638 | 20542 3219 30 | 1.866 % | 611.49/611.53 c | 4928 | 3588 31625 95638 | 22596 4928 35 | 1.866 % | 611.60/611.68 c =============================================================================== 611.71/611.72 c core #160 611.71/611.72 c 611.71/611.72 c 611.71/611.72 c Core size: 86 Core Weight: 1 Total Weight: -146 611.71/611.72 c Current CPU time: 610.172 s 611.71/611.72 c 611.71/611.72 c ============================[ Search Statistics ]============================== 611.71/611.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 611.71/611.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 611.71/611.72 c =============================================================================== 611.71/611.72 c | 0 | 3665 31647 95793 | 10549 0 -nan | 0.000 % | 611.71/611.73 c | 100 | 3665 31647 95793 | 11603 100 35 | 0.812 % | 611.71/611.73 c | 250 | 3665 31647 95793 | 12764 250 23 | 0.812 % | 611.71/611.73 c | 475 | 3665 31647 95793 | 14040 475 27 | 0.812 % | 611.71/611.74 c | 812 | 3665 31647 95793 | 15444 812 28 | 0.812 % | 611.71/611.75 c | 1318 | 3665 31647 95793 | 16989 1318 37 | 0.812 % | 611.71/611.78 c | 2078 | 3665 31647 95793 | 18688 2078 51 | 0.812 % | 611.79/611.83 c | 3217 | 3665 31647 95793 | 20557 3217 60 | 0.812 % | 611.89/611.92 c | 4926 | 3665 31647 95793 | 22612 4926 65 | 0.812 % | 611.99/612.06 c | 7488 | 3665 31647 95793 | 24873 7488 71 | 0.812 % | 612.29/612.35 c | 11335 | 3665 31647 95793 | 27361 11335 75 | 0.812 % | 613.09/613.15 c | 17101 | 3665 31647 95793 | 30097 17101 81 | 0.812 % | 614.59/614.65 c | 25750 | 3665 31647 95793 | 33107 25750 86 | 0.812 % | 616.89/616.91 c | 38724 | 3665 31647 95793 | 36418 18698 86 | 0.812 % | 620.89/620.91 c | 58187 | 3665 31647 95793 | 40059 15095 84 | 0.812 % | 627.39/627.41 c | 87380 | 3665 31647 95793 | 44065 18827 91 | 0.812 % | 636.79/636.88 c | 131170 | 3665 31647 95793 | 48472 32838 106 | 0.812 % | 653.19/653.24 c | 196856 | 3665 31647 95793 | 53319 30268 97 | 0.812 % | 677.60/677.63 c | 295383 | 3665 31647 95793 | 58651 48982 89 | 0.812 % | 717.99/718.03 c | 443174 | 3665 31647 95793 | 64516 22963 87 | 0.812 % | 771.21/771.28 c =============================================================================== 777.70/777.72 c core #161 777.70/777.72 c 777.70/777.72 c 777.70/777.72 c Core size: 139 Core Weight: 1 Total Weight: -145 777.70/777.72 c Current CPU time: 775.37 s 777.70/777.72 c 777.70/777.72 c ============================[ Search Statistics ]============================== 777.70/777.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 777.70/777.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 777.70/777.72 c =============================================================================== 777.70/777.72 c | 0 | 3755 31718 96169 | 10572 0 -nan | 0.000 % | 777.70/777.73 c | 103 | 3755 31718 96169 | 11629 103 74 | 0.793 % | 777.70/777.73 c | 256 | 3755 31718 96169 | 12792 256 56 | 0.793 % | 777.70/777.73 c | 482 | 3755 31718 96169 | 14072 482 57 | 0.793 % | 777.70/777.74 c | 824 | 3755 31718 96169 | 15479 824 45 | 0.793 % | 777.70/777.75 c | 1330 | 3755 31718 96169 | 17027 1330 49 | 0.793 % | 777.70/777.78 c | 2089 | 3755 31718 96169 | 18730 2089 59 | 0.793 % | 777.81/777.82 c | 3230 | 3755 31718 96169 | 20603 3230 62 | 0.793 % | 777.89/777.91 c | 4940 | 3755 31718 96169 | 22663 4940 70 | 0.793 % | 778.09/778.12 c | 7506 | 3755 31718 96169 | 24929 7506 83 | 0.793 % | 778.40/778.47 c | 11353 | 3755 31718 96169 | 27422 11353 90 | 0.793 % | 779.19/779.22 c | 17122 | 3755 31718 96169 | 30165 17122 97 | 0.793 % | 780.79/780.84 c | 25773 | 3755 31718 96169 | 33181 25773 99 | 0.793 % | 783.90/783.90 c | 38747 | 3755 31718 96169 | 36499 18618 108 | 0.793 % | 788.81/788.87 c | 58208 | 3755 31718 96169 | 40149 16143 105 | 0.793 % | 795.09/795.14 c | 87400 | 3755 31718 96169 | 44164 20670 103 | 0.793 % | 802.60/802.60 c | 131200 | 3754 31718 96169 | 48581 33034 62 | 0.819 % | 804.70/804.70 c =============================================================================== 804.90/804.97 c core #162 804.90/804.97 c 804.90/804.97 c 804.90/804.97 c Core size: 131 Core Weight: 1 Total Weight: -144 804.90/804.97 c Current CPU time: 802.762 s 804.90/804.97 c 804.90/804.97 c ============================[ Search Statistics ]============================== 804.90/804.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 804.90/804.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 804.90/804.97 c =============================================================================== 804.90/804.97 c | 0 | 3845 31827 96660 | 10609 0 -nan | 0.000 % | 804.90/804.97 c | 102 | 3845 31827 96660 | 11669 102 123 | 0.774 % | 804.90/804.98 c | 252 | 3845 31827 96660 | 12836 252 61 | 0.774 % | 804.90/804.98 c | 477 | 3845 31827 96660 | 14120 477 43 | 0.774 % | 804.90/804.99 c | 814 | 3845 31827 96660 | 15532 814 37 | 0.774 % | 805.00/805.00 c | 1321 | 3845 31827 96660 | 17085 1321 37 | 0.774 % | 805.00/805.02 c | 2080 | 3845 31827 96660 | 18794 2080 38 | 0.774 % | 805.00/805.06 c | 3220 | 3845 31827 96660 | 20673 3220 39 | 0.774 % | 805.10/805.15 c | 4930 | 3845 31827 96660 | 22741 4930 39 | 0.774 % | 805.20/805.24 c | 7492 | 3845 31827 96660 | 25015 7492 49 | 0.774 % | 805.39/805.47 c | 11337 | 3845 31827 96660 | 27517 11337 54 | 0.774 % | 805.80/805.88 c | 17106 | 3845 31827 96660 | 30268 17106 63 | 0.774 % | 806.70/806.74 c | 25755 | 3845 31827 96660 | 33295 25755 73 | 0.774 % | 807.89/807.97 c | 38730 | 3845 31827 96660 | 36625 18569 73 | 0.774 % | 812.70/812.71 c | 58193 | 3845 31827 96660 | 40287 14055 111 | 0.774 % | 817.31/817.39 c | 87388 | 3845 31827 96660 | 44316 15989 79 | 0.774 % | 829.79/829.80 c | 131177 | 3845 31827 96660 | 48748 29479 117 | 0.774 % | 856.90/856.92 c | 196861 | 3845 31827 96660 | 53622 27030 106 | 0.774 % | 897.00/897.05 c | 295389 | 3845 31827 96660 | 58985 48571 121 | 0.774 % | 960.10/960.11 c | 443181 | 3845 31827 96660 | 64883 21656 119 | 0.774 % | 1057.40/1057.47 c | 664868 | 3845 31827 96660 | 71372 42656 104 | 0.774 % | 1176.71/1176.79 c | 997394 | 3845 31827 96660 | 78509 29159 117 | 0.774 % | 1419.91/1419.91 c | 1496182 | 3845 31827 96660 | 86360 17283 131 | 0.774 % | 1774.22/1774.28 c | 2244368 | 3845 31827 96660 | 94996 50103 124 | 0.774 % |
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-3460136-1307118721/watcher-3460136-1307118721 -o /tmp/evaluation-result-3460136-1307118721/solver-3460136-1307118721 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460136-1307118721.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.13 2.06 1.93 2/453 18515 /proc/meminfo: memFree=31834304/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=3836 CPUtime=0 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 504 0 0 0 0 0 0 0 25 0 1 0 823469978 3928064 457 33554432000 4194304 5714214 140735107882144 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 959 457 197 372 0 336 0 [startup+0.113671 s] /proc/loadavg: 2.13 2.06 1.93 2/453 18515 /proc/meminfo: memFree=31834304/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=7108 CPUtime=0.11 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 2039 0 0 0 11 0 0 0 25 0 1 0 823469978 7278592 1504 33554432000 4194304 5714214 140735107882144 18446744073709551615 4967830 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 1777 1504 175 372 0 1402 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 7108 [startup+0.200655 s] /proc/loadavg: 2.13 2.06 1.93 2/453 18515 /proc/meminfo: memFree=31834304/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=7192 CPUtime=0.19 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 2238 0 0 0 19 0 0 0 25 0 1 0 823469978 7364608 1501 33554432000 4194304 5714214 140735107882144 18446744073709551615 4964930 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 1798 1501 175 372 0 1423 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 7192 [startup+0.300622 s] /proc/loadavg: 2.13 2.06 1.93 2/453 18515 /proc/meminfo: memFree=31834304/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=7192 CPUtime=0.29 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 2238 0 0 0 29 0 0 0 25 0 1 0 823469978 7364608 1501 33554432000 4194304 5714214 140735107882144 18446744073709551615 4336944 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 1798 1501 175 372 0 1423 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7192 [startup+0.700529 s] /proc/loadavg: 2.13 2.06 1.93 2/453 18515 /proc/meminfo: memFree=31834304/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=8384 CPUtime=0.69 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 2681 0 0 0 69 0 0 0 25 0 1 0 823469978 8585216 1839 33554432000 4194304 5714214 140735107882144 18446744073709551615 4336834 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 2096 1839 175 372 0 1721 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8384 [startup+1.5004 s] /proc/loadavg: 2.13 2.06 1.93 3/454 18516 /proc/meminfo: memFree=31826484/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=9672 CPUtime=1.49 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 3389 0 0 0 149 0 0 0 18 0 1 0 823469978 9904128 2162 33554432000 4194304 5714214 140735107882144 18446744073709551615 4967686 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 2418 2162 180 372 0 2043 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9672 [startup+3.1011 s] /proc/loadavg: 2.12 2.05 1.93 3/454 18516 /proc/meminfo: memFree=31824376/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=16792 CPUtime=3.09 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 5128 0 0 0 307 2 0 0 20 0 1 0 823469978 17195008 3901 33554432000 4194304 5714214 140735107882144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 4198 3901 180 372 0 3823 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16792 [startup+6.30054 s] /proc/loadavg: 2.12 2.05 1.93 3/454 18516 /proc/meminfo: memFree=31817444/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=16792 CPUtime=6.27 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 5177 0 0 0 624 3 0 0 25 0 1 0 823469978 17195008 3950 33554432000 4194304 5714214 140735107882144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 4198 3950 180 372 0 3823 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 16792 [startup+12.7003 s] /proc/loadavg: 2.10 2.05 1.93 3/454 18516 /proc/meminfo: memFree=31809320/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=24392 CPUtime=12.67 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 6984 0 0 0 1261 6 0 0 25 0 1 0 823469978 24977408 5757 33554432000 4194304 5714214 140735107882144 18446744073709551615 4319737 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 6098 5757 180 372 0 5723 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 24392 [startup+25.501 s] /proc/loadavg: 2.08 2.05 1.93 3/454 18516 /proc/meminfo: memFree=31784748/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=36940 CPUtime=25.47 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 10081 0 0 0 2537 10 0 0 25 0 1 0 823469978 37826560 8854 33554432000 4194304 5714214 140735107882144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 9235 8854 180 372 0 8860 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 36940 [startup+51.1004 s] /proc/loadavg: 2.20 2.08 1.94 3/454 18517 /proc/meminfo: memFree=31759324/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=52632 CPUtime=51.07 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 13909 0 0 0 5087 20 0 0 25 0 1 0 823469978 53895168 12682 33554432000 4194304 5714214 140735107882144 18446744073709551615 4299952 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 13158 12682 180 372 0 12783 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 52632 [startup+102.301 s] /proc/loadavg: 2.15 2.08 1.94 3/454 18518 /proc/meminfo: memFree=31706592/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=62156 CPUtime=102.28 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 16549 0 0 0 10190 38 0 0 25 0 1 0 823469978 63647744 15227 33554432000 4194304 5714214 140735107882144 18446744073709551615 4299772 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 15539 15227 180 372 0 15164 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 62156 [startup+162.301 s] /proc/loadavg: 2.13 2.08 1.95 3/454 18520 /proc/meminfo: memFree=31677636/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=74044 CPUtime=162.28 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 19382 0 0 0 16177 51 0 0 25 0 1 0 823469978 75821056 18060 33554432000 4194304 5714214 140735107882144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 18511 18060 180 372 0 18136 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 74044 [startup+222.317 s] /proc/loadavg: 2.04 2.06 1.95 3/454 18521 /proc/meminfo: memFree=31631720/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=92024 CPUtime=222.29 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 23927 0 0 0 22164 65 0 0 25 0 1 0 823469978 94232576 22605 33554432000 4194304 5714214 140735107882144 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 23006 22605 180 372 0 22631 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 92024 [startup+282.3 s] /proc/loadavg: 2.05 2.06 1.95 3/454 18523 /proc/meminfo: memFree=31578364/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=129236 CPUtime=282.28 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 32888 0 0 0 28145 83 0 0 25 0 1 0 823469978 132337664 31566 33554432000 4194304 5714214 140735107882144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 32309 31566 180 372 0 31934 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 129236 [startup+342.3 s] /proc/loadavg: 2.06 2.06 1.96 3/454 18525 /proc/meminfo: memFree=31528980/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=154376 CPUtime=342.28 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 39076 0 0 0 34134 94 0 0 25 0 1 0 823469978 158081024 37754 33554432000 4194304 5714214 140735107882144 18446744073709551615 4319337 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 38594 37754 180 372 0 38219 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 154376 [startup+402.3 s] /proc/loadavg: 2.08 2.06 1.96 3/454 18526 /proc/meminfo: memFree=31475244/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=177720 CPUtime=402.28 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 44786 0 0 0 40123 105 0 0 25 0 1 0 823469978 181985280 43464 33554432000 4194304 5714214 140735107882144 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 44430 43464 180 372 0 44055 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 177720 [startup+462.301 s] /proc/loadavg: 2.02 2.05 1.96 3/454 18528 /proc/meminfo: memFree=31437520/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=194792 CPUtime=462.29 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 48915 0 0 0 46111 118 0 0 25 0 1 0 823469978 199467008 47593 33554432000 4194304 5714214 140735107882144 18446744073709551615 4319324 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 48698 47593 180 372 0 48323 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 194792 [startup+522.301 s] /proc/loadavg: 2.07 2.05 1.97 3/454 18529 /proc/meminfo: memFree=31402516/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=218724 CPUtime=522.29 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 54779 0 0 0 52097 132 0 0 25 0 1 0 823469978 223973376 53457 33554432000 4194304 5714214 140735107882144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 54681 53457 180 372 0 54306 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 218724 [startup+582.301 s] /proc/loadavg: 2.02 2.04 1.97 3/454 18531 /proc/meminfo: memFree=31357356/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=243392 CPUtime=582.28 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 60832 0 0 0 58083 145 0 0 25 0 1 0 823469978 249233408 59510 33554432000 4194304 5714214 140735107882144 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 60848 59510 180 372 0 60473 0 Current children cumulated CPU time (s) 582.28 Current children cumulated vsize (KiB) 243392 [startup+642.301 s] ################ # More data... # ################ [startup+882.317 s] /proc/loadavg: 2.00 2.03 1.98 3/454 18539 /proc/meminfo: memFree=31330992/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=242712 CPUtime=882.32 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 63082 0 0 0 87998 234 0 0 25 0 1 0 823469978 248537088 59956 33554432000 4194304 5714214 140735107882144 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 60678 59956 180 372 0 60303 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 242712 [startup+942.301 s] /proc/loadavg: 2.00 2.02 1.98 3/454 18541 /proc/meminfo: memFree=31330580/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=242712 CPUtime=942.3 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 63096 0 0 0 93984 246 0 0 25 0 1 0 823469978 248537088 59970 33554432000 4194304 5714214 140735107882144 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 60678 59970 180 372 0 60303 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 242712 [startup+1002.3 s] /proc/loadavg: 2.00 2.01 1.98 3/454 18542 /proc/meminfo: memFree=31329300/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=242712 CPUtime=1002.3 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 63104 0 0 0 99974 256 0 0 25 0 1 0 823469978 248537088 59978 33554432000 4194304 5714214 140735107882144 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 60678 59978 180 372 0 60303 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 242712 [startup+1062.3 s] /proc/loadavg: 2.08 2.03 1.99 3/454 18544 /proc/meminfo: memFree=31328528/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=242712 CPUtime=1062.3 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 63176 0 0 0 105959 271 0 0 25 0 1 0 823469978 248537088 60050 33554432000 4194304 5714214 140735107882144 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 60678 60050 180 372 0 60303 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 242712 [startup+1122.3 s] /proc/loadavg: 2.02 2.02 1.99 3/454 18545 /proc/meminfo: memFree=31327228/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=242712 CPUtime=1122.31 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 63394 0 0 0 111946 285 0 0 25 0 1 0 823469978 248537088 60268 33554432000 4194304 5714214 140735107882144 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 60678 60268 180 372 0 60303 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 242712 [startup+1182.3 s] /proc/loadavg: 2.13 2.05 2.00 3/454 18547 /proc/meminfo: memFree=31325464/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=242712 CPUtime=1182.31 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 63467 0 0 0 117933 298 0 0 25 0 1 0 823469978 248537088 60341 33554432000 4194304 5714214 140735107882144 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 60678 60341 180 372 0 60303 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 242712 [startup+1242.3 s] /proc/loadavg: 2.10 2.05 2.00 3/454 18549 /proc/meminfo: memFree=31324180/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=242712 CPUtime=1242.31 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 63520 0 0 0 123924 307 0 0 25 0 1 0 823469978 248537088 60394 33554432000 4194304 5714214 140735107882144 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 60678 60394 180 372 0 60303 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 242712 [startup+1302.3 s] /proc/loadavg: 2.04 2.04 2.00 3/454 18550 /proc/meminfo: memFree=31310388/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=255344 CPUtime=1302.31 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 66617 0 0 0 129915 316 0 0 25 0 1 0 823469978 261472256 63491 33554432000 4194304 5714214 140735107882144 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 63836 63491 180 372 0 63461 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 255344 [startup+1362.3 s] /proc/loadavg: 2.01 2.03 2.00 3/454 18552 /proc/meminfo: memFree=31280356/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=273140 CPUtime=1362.31 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 70837 0 0 0 135904 327 0 0 25 0 1 0 823469978 279695360 67711 33554432000 4194304 5714214 140735107882144 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 68285 67711 180 372 0 67910 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 273140 [startup+1422.3 s] /proc/loadavg: 2.00 2.02 2.00 3/454 18553 /proc/meminfo: memFree=31247956/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=295640 CPUtime=1422.33 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 76399 0 0 0 141894 339 0 0 25 0 1 0 823469978 302735360 73273 33554432000 4194304 5714214 140735107882144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 73910 73273 180 372 0 73535 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 295640 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/454 18555 /proc/meminfo: memFree=31201924/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=317724 CPUtime=1482.32 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 81837 0 0 0 147881 351 0 0 25 0 1 0 823469978 325349376 78711 33554432000 4194304 5714214 140735107882144 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 79431 78711 180 372 0 79056 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 317724 [startup+1542.32 s] /proc/loadavg: 2.08 2.04 2.01 3/454 18557 /proc/meminfo: memFree=31188508/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=328880 CPUtime=1542.34 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 84569 0 0 0 153870 364 0 0 25 0 1 0 823469978 336773120 81443 33554432000 4194304 5714214 140735107882144 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 82220 81443 180 372 0 81845 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 328880 [startup+1602.3 s] /proc/loadavg: 2.15 2.07 2.02 3/454 18558 /proc/meminfo: memFree=31145936/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=350324 CPUtime=1602.32 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 89851 0 0 0 159857 375 0 0 25 0 1 0 823469978 358731776 86725 33554432000 4194304 5714214 140735107882144 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 87581 86725 180 372 0 87206 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 350324 [startup+1662.3 s] /proc/loadavg: 2.15 2.09 2.02 3/454 18560 /proc/meminfo: memFree=31131284/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=366100 CPUtime=1662.32 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 93650 0 0 0 165849 383 0 0 25 0 1 0 823469978 374886400 90524 33554432000 4194304 5714214 140735107882144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 91525 90524 180 372 0 91150 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 366100 [startup+1722.3 s] /proc/loadavg: 2.06 2.07 2.02 3/454 18589 /proc/meminfo: memFree=31476396/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=390516 CPUtime=1722.32 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 99698 0 0 0 171836 396 0 0 25 0 1 0 823469978 399888384 96572 33554432000 4194304 5714214 140735107882144 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 97629 96572 180 372 0 97254 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 390516 [startup+1782.3 s] /proc/loadavg: 2.08 2.08 2.02 3/454 18600 /proc/meminfo: memFree=31413120/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=402960 CPUtime=1782.32 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 102723 0 0 0 177824 408 0 0 25 0 1 0 823469978 412631040 99597 33554432000 4194304 5714214 140735107882144 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 100740 99597 180 372 0 100365 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 402960 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.06 2.08 2.02 3/454 18601 /proc/meminfo: memFree=31401828/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=411080 CPUtime=1800.03 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 104722 0 0 0 179593 410 0 0 25 0 1 0 823469978 420945920 101596 33554432000 4194304 5714214 140735107882144 18446744073709551615 4319440 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 102770 101596 180 372 0 102395 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 411080 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800 s] /proc/loadavg: 2.06 2.08 2.02 3/454 18601 /proc/meminfo: memFree=31401828/32951124 swapFree=55639044/67111528 [pid=18515] ppid=18513 vsize=411080 CPUtime=1800.03 cores=0,2,4,6 /proc/18515/stat : 18515 (wbo1.6) R 18513 18515 16116 0 -1 4202496 104722 0 0 0 179593 410 0 0 25 0 1 0 823469978 420945920 101596 33554432000 4194304 5714214 140735107882144 18446744073709551615 4319440 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18515/statm: 102770 101596 180 372 0 102395 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 411080 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.04 CPU time (s): 1800.07 CPU user time (s): 1795.94 CPU system time (s): 4.12737 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 411080 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.94 system time used= 4.12737 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 104723 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= 13 involuntary context switches= 1998 runsolver used 8.38772 second user time and 17.8303 second system time The end
Begin job on node133 at 2011-06-03 18:32:01 IDJOB=3460136 IDBENCH=71835 IDSOLVER=1953 FILE ID=node133/3460136-1307118721 RUNJOBID= node133-1307116828-18295 PBS_JOBID= 13497972 Free space on /tmp= 73976 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-1000opt.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460136-1307118721/watcher-3460136-1307118721 -o /tmp/evaluation-result-3460136-1307118721/solver-3460136-1307118721 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460136-1307118721.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6db624ef9d444e54f2daac91a1bb8591 RANDOM SEED=1356641119 node133.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.834 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.66 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.834 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 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.82 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.834 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 : 6741.12 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.834 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.834 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.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31834584 kB Buffers: 292516 kB Cached: 447968 kB SwapCached: 10584 kB Active: 422068 kB Inactive: 421644 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31834584 kB SwapTotal: 67111528 kB SwapFree: 55639044 kB Dirty: 5440 kB Writeback: 0 kB AnonPages: 100148 kB Mapped: 13664 kB Slab: 151704 kB PageTables: 54008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 114992424 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73968 MiB End job on node133 at 2011-06-03 19:02:03